most recent 30 from http://mathoverflow.net 2013-05-25T12:35:31Z http://mathoverflow.net/feeds/question/317 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/317/dualizing-sheaf-on-singular-curves Kevin Lin 2009-10-11T21:47:37Z 2009-10-11T22:26:20Z

<p>I am trying to understand the stabilization map, which takes a prestable curve (a curve with some marked points, and at worst nodal singularities) and returns a stable curve (a curve with some marked points, at worst nodal singularities, and finite automorphisms). Essentially what the stabilization map does is it contracts all of the unstable components of the curve, that is, those with infinite automorphisms.</p> <p>There is furthermore supposed to be a map from the moduli of prestable curves to the moduli of stable curves, and therefore we need a nice description of the stabilization map which works well in flat families.</p> <p>One possible such description is supposed to be: Take the dualizing sheaf omega_C of the prestable curve C; then take L := omega_C(x₁ + ... + x_n), where the x_i are the marked points; then some large power of L will be generated by global sections, and the stabilization of C is the image of C under the corresponding map to projective space.</p> <p>In particular, if C' is an unstable component of C, then L restricted to C' should be O_C', as the image of C' should be a point.</p> <p>I have several dumb questions:</p> <ol> <li><p>Why is omega_C an invertible sheaf? Does it follow from, e.g., Hartshorne III.7.11?</p></li> <li><p>Why is some large power of L generated by global sections?</p></li> <li><p>How do we know that this power can be chosen to be constant in families?</p></li> <li><p>How do we see that L restricted to unstable C' is O_C'?</p></li> </ol> <p>My more general question is: Given a singular curve, or at least a prestable curve, what explicit information can we deduce about the dualizing sheaf? For example, is there a way to figure out what the dualizing sheaf looks like when restricted to an irreducible component, or at least a smooth irreducible component?</p>

http://mathoverflow.net/questions/317/dualizing-sheaf-on-singular-curves/323#323 S. Carnahan 2009-10-11T22:26:20Z 2009-10-11T22:26:20Z

<p>The dualizing sheaf looks like the sheaf of 1-forms, with logarithmic singularities at nodes (of the form f(z)dz/z, f regular at 0) such that the residues on each component of a node add to zero. The answer to the second part of number 1 is "yes" but you can also just calculate using the explicit description.</p>