Reconstructing plane quartics from their invariants (Q2283113)

From MaRDI portal
Revision as of 03:15, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Reconstructing plane quartics from their invariants
scientific article

    Statements

    Reconstructing plane quartics from their invariants (English)
    0 references
    0 references
    0 references
    30 December 2019
    0 references
    Let \(R_{3,n}\) denote the ring of ternary forms of degree \(n\) over the complex field \(\mathbb{C}\). Consider the action of \(\operatorname{SL} _3(\mathbb{C})\) on the ring \(R_{3,n}\). Explicit generators are known for \(n \leq 4\). While the cases \(n \leq 3\) are classically known, the case of \(n = 4\) was shown by \textit{J. Dixmier} [Adv. Math. 64, 279--304 (1987; Zbl 0668.14006)] and by Ohno (unpublished, see also \textit{A.-S. Elsenhans} [J. Symb. Comput. 68, Part 2, 109--115 (2015; Zbl 1360.13017)] and \textit{M. Girard} and \textit{D. R. Kohel} [Lect. Notes Comput. Sci. 4076, 346--360 (2006; Zbl 1143.14304)]). By the work of these authors it follows that the ring \(\mathbb{C}[R_{3,4}]^{\operatorname{SL} _3(\mathbb{C})}\) is generated by 13 elements, the so-called Dixmier-Ohno invariants of ternary quartics. The main result of the present paper is an explicit method that, given a generic tuple of Dixmier-Ohno invariants, reconstructs a corresponding plane quartic curve. The main technical tool is a method of \textit{J.-F. Mestre} [Prog. Math. 94, 313--334 (1991; Zbl 0752.14027)], see also the authors in [Open Book Ser. 1, 463--486 (2013; Zbl 1344.11049)]. A Magma package of the authors for reconstructing plane quartics from Dixmier-Ohno invariants is available under \url{https://github.com/JRSijsling/quartic\_reconstruction/}.
    0 references
    plane quartic curves
    0 references
    invariant theory
    0 references
    Dixmier-Ohno invariants
    0 references
    moduli spaces
    0 references
    reconstruction
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references