The Variety of Flexes of Plane Cubics

Basic Information

• Paper ID: 2408.16488
• Title: The Variety of Flexes of Plane Cubics
• Author: Vladimir L. Popov (Steklov Mathematical Institute, Russian Academy of Sciences)
• Classification: math.AG (Algebraic Geometry)
• Publication Date: July 27, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2408.16488

Abstract

Let $X$ denote the variety of flexes of plane cubic curves. This paper proves that: (1) $X$ is an irreducible rational algebraic variety with a faithful algebraic action of ${\rm PSL}_3$; (2) $X$ is ${\rm PSL}_3$-equivariantly birationally isomorphic to the homogeneous fibered space ${\rm PSL}_3/K \times \mathbb{P}^1$, where $K$ is a subgroup isomorphic to the binary tetrahedral group ${\rm SL}_2(\mathbb{F}_3)$.

Research Background and Motivation

Problem Background

The core object of this paper is the variety of flexes $X$ of plane cubic curves. For an elliptic curve $C$, the flexes (or inflection points) are points on the curve where the tangent line has third-order contact. The classical result states that each elliptic curve has exactly 9 flexes.

Research Significance

1. Geometric Significance: The flex variety $X$ parametrizes all elliptic curves and their flex pairs $(C, c)$, where $C$ is an elliptic curve and $c$ is one of its flexes.
2. Group Action Theory: $X$ carries a natural action of ${\rm PSL}_3(\mathbb{C})$. Studying its structure helps understand the geometric properties of group actions.
3. Invariant Theory: By investigating the rationality and birational classification of $X$, this work provides important examples for invariant theory.

Existing Research

• Harris Har and Kulikov Kul1, Kul2 studied the monodromy groups and cohomological properties of $X$.
• Popov Pop3 previously proved the unirational rationality of $X$.
• This paper further determines the precise structure of $X$ on this foundation.

Core Contributions

1. Proved the irreducibility of $X$ (Theorem 1): This is fundamental to understanding the geometric structure of $X$.
2. Established a birational isomorphism between $X$ and a homogeneous fibered space (Theorem 2): This provides a precise geometric description of $X$.
3. Proved the rationality of $X$ (Theorem 3): This completes the birational classification of $X$.
4. Constructed relative section theory: This provides new technical tools for group action theory.

Detailed Methodology

Basic Setup

Let $V := \mathbb{C}^3$ and $U := S^3(V^*)$ denote the space of cubic homogeneous polynomials on $V$. Define the map:

• $F := \sum_{i_0+i_1+i_2=3} \alpha_{i_0i_1i_2} x_0^{i_0} x_1^{i_1} x_2^{i_2}$
• $H := \det\left(\frac{\partial^2 F}{\partial x_i \partial x_j}\right)$ (Hessian determinant)

The flex variety is defined as: $X := \{a \in \mathbb{P}(U) \times \mathbb{P}(V) \mid F(a) = H(a) = 0\}$

Key Technical Constructions

1. Hesse Pencil Theory

Construct a two-dimensional linear subspace: $L := \{\alpha(x_0^3 + x_1^3 + x_2^3) + \beta x_0x_1x_2 \mid (\alpha, \beta) \in \mathbb{C}^2\}$

The corresponding projective line: $\ell := \mathbb{P}(L) \subset \mathbb{P}(U)$

2. Special Point Set $F$

Define nine special points $F = \{t_{i,j} \mid i,j \in \mathbb{F}_3\}$:

• $t_{0,0} = (0:-1:1)$, $t_{0,1} = (0:-\varepsilon:1)$, $t_{0,2} = (0:-\varepsilon^2:1)$
• $t_{1,0} = (1:0:-1)$, $t_{1,1} = (1:0:-\varepsilon)$, $t_{1,2} = (1:0:-\varepsilon^2)$
• $t_{2,0} = (-1:1:0)$, $t_{2,1} = (-\varepsilon:1:0)$, $t_{2,2} = (-\varepsilon^2:1:0)$

where $\varepsilon$ is a primitive cube root of unity.

3. Hessian Group

Define the Hessian group: ${\rm Hes} := N_{{\rm PSL}_3, F} = \{g \in {\rm PSL}_3 \mid g \cdot F = F\}$

This is a finite group of order 216 that acts transitively on $F$.

Main Proof Strategy

Proof of Theorem 1 (Irreducibility)

1. Utilize fiber dimension analysis: For $f \in U \setminus \{0\}$, we have $\dim \pi_9^{-1}(p_U(f)) = \begin{cases} 1 & \text{if } f \in J \\ 0 & \text{if } f \notin J \end{cases}$ where $J$ is the set of forms for which $\dim {\rm Fl}(C(f)) = 1$.
2. Exclude the existence of 10-dimensional irreducible components through dimension calculations.
3. Prove uniqueness using the transitivity of the monodromy group.

Proof of Theorem 2 (Birational Isomorphism)

1. Prove that $\ell$ is a relative section for the action of ${\rm PSL}_3$ on $\mathbb{P}(U)$.
2. Use relative section theory to construct the isomorphism $X \sim {\rm PSL}_3 \times_{{\rm Hes}_{i,j}} \ell$.
3. Show that this is the projectivization of a homogeneous vector bundle.

Proof of Theorem 3 (Rationality)

1. Reduce the problem to proving the rationality of ${\rm PSL}_3/{\rm Hes}_{i,j}$ using Theorem 2.
2. Classify the finite subgroup cases:
   • Case (a): $K \cap Z$ is trivial
   • Case (b): $Z \subseteq K$
3. Complete the proof using the special properties of parabolic subgroups and Serre's theory.

Experimental Setup

This is a purely theoretical paper with no numerical experiments. The theoretical results are verified through rigorous mathematical proofs.

Experimental Results

Main Theoretical Results

Theorem 1: The algebraic variety $X$ is irreducible.

Theorem 2:

• (a) The algebraic variety $X$ is ${\rm PSL}_3$-equivariantly birationally isomorphic to ${\rm PSL}_3 \times_{{\rm Hes}_{i,j}} \ell$.
• (b) The homogeneous fibered space ${\rm PSL}_3 \times_{{\rm Hes}_{i,j}} \ell$ is the projectivization of a rank-2 homogeneous vector bundle.

Theorem 3: The algebraic variety $X$ is rational.

Auxiliary Results

Theorem 4: The line $\ell$ is a relative section for the action of ${\rm PSL}_3$ on $\mathbb{P}(U)$, and its normalizer is the Hessian group.

Theorem 5: For each finite subgroup $K$ of $G = {\rm SL}_3(\mathbb{C})$, the 8-dimensional homogeneous space $G/K$ is a rational algebraic variety.

Related Work

Historical Development

1. Classical Theory: The theory of flexes on elliptic curves dates back to the 19th century, and the Hesse pencil is an important construction in classical projective geometry.
2. Modern Development: Harris studied Galois groups of enumeration problems, while Kulikov explored related cohomological properties.
3. Invariant Theory: This paper's methods are closely related to the Popov-Vinberg framework of invariant theory.

Technical Innovations

1. Relative Section Theory: The relative section theory developed in this paper generalizes previous results.
2. Homogeneous Fibered Spaces: The use of homogeneous fibered space theory provides a precise description of $X$.
3. Finite Group Actions: Systematic study of the rationality of quotient spaces by finite group actions.

Conclusions and Discussion

Main Conclusions

1. The flex variety $X$ has a clear geometric structure: it is an irreducible rational variety.
2. $X$ can be precisely described as a homogeneous fibered space whose base space is ${\rm PSL}_3/{\rm SL}_2(\mathbb{F}_3)$.
3. This result completes our understanding of the geometry of flexes on elliptic curves.

Theoretical Significance

1. Geometric Aspect: Provides an important example for studying the geometry of moduli spaces.
2. Group-Theoretic Aspect: Demonstrates applications of finite group actions in algebraic geometry.
3. Invariant Theory: Provides a paradigm for concrete calculations in invariant theory.

Technical Contributions

1. Develops a theoretical framework for relative sections.
2. Provides a systematic proof method for the rationality of homogeneous spaces.
3. Establishes deep connections between group actions and geometric structures.

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete geometric description of $X$ from irreducibility to rationality.
2. Methodological Innovation: The development of relative section theory has independent theoretical value.
3. Technical Rigor: The proofs are rigorous and comprehensive in technical detail.
4. Depth of Results: Reveals deep connections between the flex variety and homogeneous fibered spaces.

Technical Characteristics

1. Interdisciplinary Integration: Combines algebraic geometry, group theory, and invariant theory.
2. Classical and Modern Synthesis: Combines classical Hesse pencil theory with modern algebraic geometry methods.
3. Concrete and Abstract Unity: Balances concrete calculations with abstract theoretical frameworks.

Potential Impact

1. Theoretical Development: Provides new research methods for moduli space theory.
2. Technical Generalization: Relative section theory may have applications to other geometric problems.
3. Educational Value: Provides an excellent example for learning algebraic geometry and group action theory.

Limitations

1. Scope of Application: Primarily limited to cubic curves; generalization to higher degrees requires new techniques.
2. Computational Complexity: Some proofs involve extensive concrete calculations that may be difficult to generalize.
3. Characteristic Restriction: Primarily works over algebraically closed fields of characteristic 0.

References

This paper cites classical literature in algebraic geometry, group theory, and invariant theory, including:

• Borel's theory of linear algebraic groups
• Shafarevich's foundations of algebraic geometry
• Popov-Vinberg's invariant theory
• Harris's work on enumerative geometry
• Kulikov's research on flex varieties

This paper has significant theoretical value in algebraic geometry. It not only completes our understanding of the flex variety of elliptic curves but also develops new technical tools, providing important theoretical foundations and methodological support for related research.