Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions

Basic Information

• Paper ID: 2208.08737
• Title: Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions
• Authors: Dimitri Markushevich (Univ. Lille), Anne Moreau (Université Paris-Saclay)
• Classification: math.AG (Algebraic Geometry)
• Published Journal: Épijournal de Géométrie Algébrique, Volume 8 (2024), Article No. 9
• Paper Link: https://arxiv.org/abs/2208.08737

Abstract

The Bernstein-Schwarzman conjecture asserts that quotients of complex affine space by irreducible complex crystallographic reflection groups are weighted projective spaces. This conjecture has been proven in dimension 2 by Schwarzman and Tokunaga-Yoshida (for almost all such groups) and in arbitrary dimension by Looijenga, Bernstein-Schwarzman, and Kac-Peterson (for all Coxeter-type crystallographic reflection groups). This paper proves the conjecture for crystallographic reflection groups in dimension 3, where the associated braid group is Klein's simple group of order 168. In this case, the quotient is the 3-dimensional weighted projective space with weights 1, 2, 4, 7. The main component of the proof is the computation of the algebra of invariant theta functions. Unlike the Coxeter case, the invariant algebra is not a free polynomial algebra, which constitutes the principal technical obstacle.

Research Background and Motivation

1. Core Problem: This research aims to prove a special case of the Bernstein-Schwarzman conjecture, namely that the quotient space J/G of the Jacobian of Klein's quartic curve is isomorphic to the weighted projective space P(1,2,4,7).
2. Problem Significance:
   • The Bernstein-Schwarzman conjecture is an important open problem in algebraic geometry concerning the structure of quotient spaces by complex crystallographic reflection groups
   • Klein's quartic curve is the genus 3 curve with the largest automorphism group and holds a special position in algebraic geometry and number theory
   • This curve is related to the modular curve X(7) and Shimura curves, containing rich number-theoretic content
3. Limitations of Existing Methods:
   • For Coxeter-type groups, existing methods rely on the property that the invariant algebra is a free polynomial algebra
   • For genuine complex crystallographic reflection groups (non-Coxeter type), the invariant algebra is no longer free, and traditional methods fail
   • Before this paper's publication, the conjecture remained completely open for rank ≥ 3 non-Coxeter type complex crystallographic reflection groups
4. Research Motivation:
   • The group K24 is the unique rank 3 complex crystallographic reflection group whose projectivization of the linear part is a simple group (Klein group H)
   • The quotient space C³/Γ is isomorphic to the quotient of Klein's quartic curve Jacobian, connecting group theory, algebraic geometry, and number theory

Core Contributions

1. Main Theorem Proof: Proves that the quotient space J/G of the Jacobian J of Klein's quartic curve is isomorphic to the weighted projective space P(1,2,4,7), where G is the complete automorphism group of order 336
2. Computation of Invariant Theta Function Algebra:
   • Determines the Hilbert function of the algebra S(L²)^G
   • Proves that this function coincides with the Hilbert function of the second Veronese algebra of P(1,2,4,7)
3. Technical Breakthrough:
   • Overcomes the technical obstacle of non-free invariant algebras
   • Establishes transformation formulas for theta functions and unitary representation theory of group actions
4. Geometric Characterization:
   • Proves that the quotient space can be embedded as an octic hypersurface in P(1,1,2,4,7)
   • Completes the proof of isomorphism through singularity analysis
5. Theoretical Extension: Proposes general conjectures concerning quotient spaces of commensurable complex crystallographic groups

Detailed Methods

Problem Definition

Prove that the quotient space J/G of the Jacobian J of Klein's quartic curve C := {x³y + y³z + z³x = 0} ⊂ P² under the action of its complete automorphism group G = {±1} × H is isomorphic to the weighted projective space P(1,2,4,7).

Core Method Architecture

1. Construction of Complex Crystallographic Reflection Groups

• Define complex root system Φ containing 42 vectors, obtained from (2,0,0), (0,α,α), and (1,1,α) through sign changes and coordinate permutations, where α = (1+i√7)/2
• Construct fundamental reflections r₁, r₂, r₃ and the corresponding lattice Λ = Q(Φ)
• Establish the semidirect product Γ = Λ ⋊ G, where G is the group of order 336

2. Theta Function Theory

Define theta functions:

θₘ,ₖ(z) = θₖ[m/0](ω₂⁻¹z, Z)

where Z ∈ H₃ is the period matrix in the Siegel upper half-space.

3. Modular Transformation Formulas

Establish key transformation formulas (Theorem 3.4): For even k and γ ∈ Sp(2r,Z),

θₖ[m/0]^γ = χ ∑ₘ' ũₘ,ₘ' θₖ[m'/0]

where ũₘ,ₘ' = e^(πikb̃m) ∑ₘ̂ e^(2πik(m-dm'+½c̃m̂)ᵀm̂)

4. Unitary Representation Construction

Construct representations of G into unitary groups U(k³) through appropriate normalization constants:

• U₁ = (1/k³)Ũᵣ₁, U₂ = (1/k³)Ũᵣ₂, U₃ = (1/ik³)Ũᵣ₃
• Verify that these matrices satisfy the same relations as the fundamental reflections

Technical Innovations

1. Handling Non-Free Invariant Algebras:
   • Unlike the Coxeter case, S(L²)^G is not a polynomial algebra
   • Compute the Hilbert function and compare with the second Veronese algebra of P(1,2,4,7)
2. Character Calculations:
   • Utilize Gauss sum theory to compute character values of group representations
   • Handle complex summations involving Legendre symbols
3. Algebraic Independence Verification:
   • Verify algebraic independence of generators through numerical computation of Jacobian determinants
   • Use rapidly convergent Fourier series approximations

Experimental Setup

Computational Tools

• Employ the Macaulay2 computer algebra system for symbolic computation
• Perform exact calculations of matrix representations of group elements and Reynolds operators

Numerical Verification

• Compute the Jacobian determinant at the specific point (t₀,v₀) = (1,(1/8,1/16,1/4))
• Obtain high-precision approximations through truncated Fourier series: J(t₀,v₀) ≈ 0.000064967853 + 0.000075028580i

Key Computations

1. Hilbert Function Calculation:

   hₛ(L²)G(k/2) = 1/336[k³ + 21k² + 140k + 294 + (-1)^(k/2) × 42 + 48(k/7)]
   

2. Generator Selection: Select four algebraically independent G-invariant theta functions ϕ₀, ϕ₁, ϕ₂, ϕ₃ with degrees 2, 2, 4, 8 respectively

Experimental Results

Main Results

1. Hilbert Function Consistency: Proves that the Hilbert function of S(L²)^G completely coincides with that of the second Veronese algebra of P(1,2,4,7)
2. Embedding Realization: The quotient space J/G can be embedded in P(1,1,2,4,7) as an octic hypersurface defined by a single relation
3. Singularity Analysis:
   • Confirms that the singularities of J/G completely match those of P(1,2,4,7)
   • Includes one isolated singularity of type 1/7(1,2,4) and a line with singularities of type 1/2(1,0,1)

Classification Results

Through detailed normal form analysis, proves that all octic hypersurfaces in P(1,1,2,4,7) with singularities of type P(1,2,4,7) are equivalent under coordinate transformations to the standard form y₀y₄ = y₃².

Deformation Theory

Discovers that P(1,2,4,7) admits a complete universal deformation of dimension 5, providing partial smoothings whose general members are 2-Gorenstein Fano 3-folds with rigid isolated singularities.

Related Work

Historical Development

1. Bernstein-Schwarzman Conjecture: Proposed in the 1980s, completely resolved for Coxeter-type groups
2. Looijenga's Work: Establishes the foundational framework for theta function methods
3. Klein Quartic Curve Research: Classical object of study as the modular curve X(7)

Contributions of This Paper

• First complete proof for non-Coxeter type complex crystallographic reflection groups of rank ≥ 3 (Note: Rains later provided a general proof in 2023)
• Establishes applications of theta function transformation theory in the non-free case

Conclusions and Discussion

Main Conclusions

1. Successfully proves the Bernstein-Schwarzman conjecture for the group K24
2. Establishes effective methods for handling non-free invariant algebras
3. Reveals deep connections between Klein quartic curve geometry and crystallographic reflection group theory

Limitations

1. Methods are highly dependent on special properties of the Klein group, difficult to generalize directly
2. High computational complexity requiring extensive symbolic and numerical calculations
3. Generalization to arbitrary non-Coxeter type groups still requires new techniques

Future Directions

1. Calabi-Yau Orbifold Research: Study the double cover Y → X as target spaces for superstring compactifications
2. Mirror Symmetry: Seek corresponding mirror families
3. Conjecture Generalization: Investigate quotient space structures of commensurable crystallographic groups

In-Depth Evaluation

Strengths

1. Theoretical Breakthrough: Resolves a non-trivial case of a long-standing important conjecture
2. Method Innovation: Develops new techniques for handling non-free invariant algebras
3. Computational Rigor: Combines symbolic computation and numerical verification to ensure reliability
4. Geometric Insight: Reveals deep connections between algebraic geometry, group theory, and number theory

Weaknesses

1. Special Case Limitation: Methods are highly dependent on special properties of the Klein group
2. Computational Complexity: Involves extensive technical calculations, affecting readability
3. Generalization Difficulty: Extension to other non-Coxeter type groups is not straightforward

Impact

1. Theoretical Value: Provides significant progress on the Bernstein-Schwarzman conjecture
2. Methodological Significance: Establishes new technical frameworks
3. Application Prospects: Potential applications in string theory and mirror symmetry

Applicable Scenarios

• Research on complex crystallographic reflection group theory
• Geometric study of Klein curves and their deformations
• Deformation theory of weighted projective spaces
• Calabi-Yau orbifold research in string theory

References

The paper cites 21 important references, including original work by Bernstein-Schwarzman, Igusa's theta function theory, Looijenga's reflection group research and other classical literature, as well as the authors' prior work and related modern developments.