Canonical systems and their limits on stable curves

TL;DR

This paper introduces the sepcanonical system as a new limiting object for the canonical system on stable curves, providing insights into degenerations and hyperelliptic limits, with implications for the moduli space of curves.

Contribution

It defines the sepcanonical system for stable curves, differing from previous limits, and establishes its properties and relation to hyperelliptic degenerations.

Findings

Sepcanonical system coincides with dualizing sheaf sections on 2-inseparable curves.

Sepcanonical system is essentially very ample except for certain hyperelliptic configurations.

Future work will connect these limits to the hyperelliptic locus in moduli space.

Abstract

We propose an object called 'sepcanonical system' on a stable curve $X_0$ which is to serve as limiting object- distinct from other such limits introduced previously- for the canonical system, as a smooth curve degenerates to $X_0$. First for curves which cannot be separated by 2 or fewer nodes, the so-called '2-inseparable' curves, the sepcanonical system is just the sections of the dualizing sheaf, which is not very ample iff $X_0$ is a limit of smooth hyperelliptic curves (such $X_0$ are called 2-inseparable hyperelliptics). For general, 2-separable curves $X_0$ this assertion is false, leading us to introduce the sepcanonical system, which is a collection of linear systems on the '2-inseparable parts' of $X_0$, each associated to a different twisted limit of the canonical system, where the entire collection varies smoothly with $X_0$. To define sepcanonical system, we must endow the curve with extra structure called an 'azimuthal structure'. We show that the sepcanonical system is 'essentially very ample' unless the curve is a tree-like arrangement of 2-inseparable hyperelliptics. In a subsequent paper, we will show that the latter property is equivalent to the curve being a limit of smooth hyperelliptics, and will essentially give defining equation for the closure of the locus of smooth hyperelliptic curves in the moduli space of stable curves. The current version includes additional references to, among others, Catanese, Maino, Esteves and Caporaso.