Quartic Curves and Their Bitangents
arXiv:1008.4104 · doi:10.1016/j.jsc.2011.01.007
Abstract
A smooth quartic curve in the complex projective plane has 36 inequivalent representations as a symmetric determinant of linear forms and 63 representations as a sum of three squares. These correspond to Cayley octads and Steiner complexes respectively. We present exact algorithms for computing these objects from the 28 bitangents. This expresses Vinnikov quartics as spectrahedra and positive quartics as Gram matrices. We explore the geometry of Gram spectrahedra and we find equations for the variety of Cayley octads. Interwoven is an exposition of much of the 19th century theory of plane quartics.
26 pages, 3 figures, added references, fixed theorems 4.3 and 7.8, other minor changes
References in corpus (3)
Cited by in corpus (23)
- Determinantal representations of hyperbolic plane curves: An elementary approach
- Learning Algebraic Varieties from Samples
- Computing Linear Matrix Representations of Helton-Vinnikov Curves
- Computing Tropical Linear Spaces
- Lifting tropical bitangents
- Some new canonical forms for polynomials
- The separating semigroup of a real curve
- Minimal families of curves on surfaces
- Combinatorics and real lifts of bitangents to tropical quartic curves
- Sixty-Four Curves of Degree Six
- Symmetric Determinantal Representations in Characteristic 2
- Gram Spectrahedra of Ternary Quartics
- Rationality of real conic bundles with quartic discriminant curve
- Dimension of gram spectrahedra of univariate polynomials
- Bad Projections of the PSD Cone
- An elementary proof of Hilbert's theorem on ternary quartics
- Plane quartics: the matrix of bitangents
- Newton polytopes and witness sets
- Definite Determinantal Representations of Multivariate Polynomials
- RNS superstring measure for genus 3
- (Positive) Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial
- A Real Generalized Trisecant Trichotomy
- Real Rank Geometry of Ternary Forms