Unirationality of the moduli spaces of curves of genus 11, 13 (and 12) (Q794723)

From MaRDI portal
Revision as of 18:11, 5 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Unirationality of the moduli spaces of curves of genus 11, 13 (and 12)
scientific article

    Statements

    Unirationality of the moduli spaces of curves of genus 11, 13 (and 12) (English)
    0 references
    0 references
    0 references
    1984
    0 references
    Given a field k, the moduli space \({\mathcal M}_ g(k)\) is an irreducible k- variety parametrizing the isomorphism classes of nonsingular curves of genus g defined over k. It is a classical problem whether \({\mathcal M}_ g(k)\) is unirational, or equivalently whether there exists a k-family of curves depending rationally on free parameters and containing up to isomorphism almost every curve of genus g. The answer is known to be yes if \(g\leq 10\), \(k={\mathbb{C}}\) (classical) or if \(g=12\), \(k={\mathbb{C}}\) (Sernesi, 1981), no if \(g\geq 23\) (Mumford, Harris, Eisenbud 1981-84). This paper extends the ''range of unirationality'' of \({\mathcal M}_ g(k)\) to \(g\leq 13\), k arbitrary (e.g. \(k=rational\) numbers). (The case \(g\leq 10\) is not discussed in detail in this paper, but can be done by the same method.) The proof has two parts: (a) one constructs a family of space curves having general moduli and some other good properties having to do mostly with the ''postulation''; this uses a combination of classical geometric techniques and elementary deformation theory, esp. some recent work of \textit{E. Sernesi} [Invent. Math. 75, 25-57 (1984; see the preceding review)]; (b) one represents the curves obtained as degeneracy loci of certain vector bundles on \({\mathbb{P}}^ 3\) and determines their cohomology; this allows one, using Horrocks' method for monads, to parametrize the bundles, hence the curves, by certain matrices of homogeneous forms; the latter are easily shown to form a rational variety, which proves the theorem.
    0 references
    unirationality of the moduli spaces of curves
    0 references
    deformation
    0 references
    monads
    0 references

    Identifiers