The multiplicity-one theorem for the superspeciality of curves of genus two

Basic Information

• Paper ID: 2409.13212
• Title: The multiplicity-one theorem for the superspeciality of curves of genus two
• Authors: Shushi Harashita (Yokohama National University), Yuya Yamamoto (Yokohama National University)
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 14, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2409.13212

Abstract

This paper investigates the superspeciality of genus two curves. In 1958, Igusa proved that the polynomial determining the supersingularity of elliptic curves in Legendre form is separable. This paper obtains analogous results for genus two curves in Rosenhain form, specifically proving that the ideal determining the superspeciality of curves has multiplicity one at each superspecial point. While Igusa employed the Picard-Fuchs differential operator annihilating the Gauß hypergeometric series, this paper utilizes the three-variable Lauricella D-type hypergeometric differential equation system.

Research Background and Motivation

1. Problems to be Addressed:
   • Generalize Igusa's classical result on elliptic curves (genus one) to genus two curves
   • Prove that the ideal determining superspeciality of genus two curves has multiplicity one at all superspecial points
   • Establish deep connections between the Cartier-Manin matrix and Lauricella hypergeometric series
2. Significance of the Problem:
   • Superspecial curves occupy an important position in algebraic geometry and number theory
   • The Jacobians of such curves are isomorphic to products of supersingular elliptic curves
   • Understanding their distribution and properties is fundamental for studying algebraic curves over finite fields
3. Limitations of Existing Methods:
   • Igusa's method is based on univariate Gauß hypergeometric series and cannot be directly generalized to higher genus cases
   • Previous research on genus two curves has been largely limited to smaller families, lacking results for complete families
4. Research Motivation:
   • Develop new technical tools to handle superspeciality problems in higher genus cases
   • Establish bridges between multivariate hypergeometric theory and algebraic curve theory

Core Contributions

1. Established connections between Cartier-Manin matrix elements and Lauricella D-type hypergeometric series
2. Proved Main Theorem A: All elements of the Cartier-Manin matrix satisfy the Lauricella hypergeometric differential equation system
3. Proved Main Theorem B: The superspecial locus is defined by a reduced scheme (multiplicity-one theorem)
4. Developed contiguity relation theory, establishing differential relationships between different matrix elements
5. Generalized Igusa's classical result from genus one to genus two, laying the foundation for research on higher genus cases

Detailed Methodology

Problem Setup

Consider a genus two curve over a field $K$ of characteristic $p > 2$: $C: y^2 = f(x) := x(x-1)(x-\lambda_1)(x-\lambda_2)(x-\lambda_3)$

where $\{0,1,\lambda_1,\lambda_2,\lambda_3\}$ are five distinct elements.

Objective: Prove that the ideal $I = (c_{p-1}, c_{p-2}, c_{2p-1}, c_{2p-2})$ determining $C$'s superspeciality is reduced at all its zeros in $\mathbb{F}_p[\lambda_1,\lambda_2,\lambda_3]$.

Core Technical Architecture

1. Lauricella D-type Hypergeometric Series

Define the three-variable Lauricella hypergeometric series: $F(a,b_1,b_2,b_3,c;z_1,z_2,z_3) := \sum_{n_1=0}^{\infty}\sum_{n_2=0}^{\infty}\sum_{n_3=0}^{\infty} A_{n_1,n_2,n_3}z_1^{n_1}z_2^{n_2}z_3^{n_3}$

where the coefficients are: $A_{n_1,n_2,n_3} := \frac{(a;\sum_{k=1}^3 n_k)\prod_{k=1}^3(b_k;n_k)}{(c;\sum_{k=1}^3 n_k)\prod_{k=1}^3(1;n_k)}$

2. Differential Equation System

This series satisfies the partial differential equation system:

• $D_\ell w = 0$ for $\ell = 1,2,3$
• $D_{\ell,m} w = 0$ for $1 \leq \ell < m \leq 3$

where $D_\ell$ and $D_{\ell,m}$ are specific second-order partial differential operators.

3. Cartier-Manin Matrix

For curve $C$, its Cartier-Manin matrix is: $M = \begin{pmatrix} c_{p-1} & c_{p-2} \\ c_{2p-1} & c_{2p-2} \end{pmatrix}$

where $c_k$ is the coefficient of $x^k$ in the expansion of $f(x)^{(p-1)/2}$.

Technical Innovations

1. Truncated Hypergeometric Series Theory: Through the work of Ohashi-Harashita, established precise relationships between Cartier-Manin matrix elements and truncated Lauricella series: $c_{ip-j} = \frac{(c';d')}{(a';d')} \tilde{F}_{i,j}$
2. Contiguity Relations: Discovered key differential relationships:
   • $\left(\sum_{k=1}^3 (z_k^2-z_k)\partial_k\right)c_{ip-1} = -\frac{1}{2}(z_1+z_2+z_3-2)c_{ip-1} - \frac{1}{2}c_{ip-2}$
   • $\left(\sum_{k=1}^3 (1-z_k)\partial_k\right)c_{ip-2} = \frac{1}{2}(c_{ip-1}+c_{ip-2})$
3. Jacobian Matrix Analysis: Utilized contiguity relations to prove the full rank of the Jacobian matrix at superspecial points.

Experimental Setup

Theoretical Verification Methods

This paper employs purely theoretical proof methods, primarily including:

1. Differential Equation Verification: Direct computation verifying that Cartier-Manin matrix elements satisfy the Lauricella differential equation system
2. Recurrence Relation Analysis: Utilization of standard recurrence relations and contiguity relations
3. Jacobian Criterion Application: Use of the Jacobian criterion from algebraic geometry to determine the multiplicity of singular points

Proof Strategy

1. Step One: Prove that $c_{ip-j}$ satisfies the corresponding partial differential equation system (Theorem A)
2. Step Two: Establish contiguity relations connecting different matrix elements
3. Step Three: Analyze the rank of the Jacobian matrix and apply the Jacobian criterion to prove reducedness (Theorem B)

Main Results

Theorem A (Differential Equation Properties)

Statement: For each $i,j \in \{1,2\}$, the elements $c_{ip-j}$ of the Cartier-Manin matrix satisfy:

• $D_\ell^{(j)} c_{ip-j} = 0$ for $\ell = 1,2,3$
• $D_{\ell,m} c_{ip-j} = 0$ for $1 \leq \ell < m \leq 3$

Proof Outline:

• Utilize the relationship between truncated series $\tilde{F}_{i,j}$ and complete Lauricella series
• Divide the proof into five cases through support set analysis
• Key challenge lies in handling boundary cases, particularly when indices reach $(p-1)/2$ modulo $p$

Theorem B (Multiplicity-One Theorem)

Statement: The scheme defined by the ideal $(c_{p-1}, c_{2p-1}, c_{p-2}, c_{2p-2})$ in $\mathbb{F}_p[z_1,z_2,z_3]$ is reduced.

Proof Strategy:

1. Jacobian Matrix Construction: $J = \begin{pmatrix} \frac{\partial c_{p-1}}{\partial z_1} & \frac{\partial c_{2p-1}}{\partial z_1} & \frac{\partial c_{p-2}}{\partial z_1} & \frac{\partial c_{2p-2}}{\partial z_1} \\ \frac{\partial c_{p-1}}{\partial z_2} & \frac{\partial c_{2p-1}}{\partial z_2} & \frac{\partial c_{p-2}}{\partial z_2} & \frac{\partial c_{2p-2}}{\partial z_2} \\ \frac{\partial c_{p-1}}{\partial z_3} & \frac{\partial c_{2p-1}}{\partial z_3} & \frac{\partial c_{p-2}}{\partial z_3} & \frac{\partial c_{2p-2}}{\partial z_3} \end{pmatrix}$
2. Rank Analysis: Utilize contiguity relations to prove $\text{rank}(J) = 3$, thereby applying the Jacobian criterion

Contiguity Relations

Two key differential relationships are established:

1. Relation 1: $\left(\sum_{k=1}^3 (z_k^2-z_k)\partial_k\right)c_{ip-1} = -\frac{1}{2}(z_1+z_2+z_3-2)c_{ip-1} - \frac{1}{2}c_{ip-2}$
2. Relation 2: $\left(\sum_{k=1}^3 (1-z_k)\partial_k\right)c_{ip-2} = \frac{1}{2}(c_{ip-1}+c_{ip-2})$

The proofs of these relations involve complex combinatorial calculations and fine analysis of index sets.

Related Work

Historical Development

1. Igusa (1958): Proved that the polynomial $H_p(t)$ determining supersingularity of elliptic curves is separable
2. Deuring (1941): Established foundational theory of elliptic curve supersingularity
3. Ibukiyama-Katsura-Oort (1986): Studied supersingular genus two curves in smaller families
4. Ohashi-Harashita (2023): Established connections between hypergeometric series and the Cartier operator

Innovations in This Paper

• Complete Family Treatment: First to establish the multiplicity-one theorem for complete families of genus two curves
• Multivariate Techniques: Developed new methods based on Lauricella series
• Systematic Generalization: Provides a template for research on higher genus cases

Conclusions and Discussion

Main Conclusions

1. Successful Generalization: Extended Igusa's classical result from elliptic curves to genus two curves
2. Technical Breakthrough: Established deep connections between multivariate hypergeometric theory and algebraic curve superspeciality
3. Completeness: Established the multiplicity-one property for the entire family of genus two curves

Limitations

1. Characteristic Restriction: The method requires $p > 2$, cannot handle characteristic 2
2. Genus Restriction: Currently applicable only to genus two curves; generalization to higher genus requires new techniques
3. Computational Complexity: Proofs of contiguity relations involve substantial technical calculations

Future Directions

1. Higher Genus Generalization: Study analogous problems for genus three and higher curves
2. Characteristic 2 Case: Develop theory applicable to characteristic 2
3. Algorithmic Implementation: Convert theoretical results into practical computational algorithms
4. Application Extension: Explore applications in cryptography and coding theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes profound connections between algebraic geometry and special function theory
2. Technical Innovation: Develops new tools and methods for handling multivariate cases
3. Completeness: Provides a complete theoretical framework with rigorous proofs
4. Generalization Value: Provides important theoretical foundation for subsequent research

Weaknesses

1. Technical Threshold: Requires deep background in algebraic geometry and special function theory
2. Computational Complexity: Some proof steps involve substantial technical calculations
3. Application Scope: Currently primarily theoretical results; practical applications remain to be developed

Impact

1. Academic Contribution: Possesses significant theoretical value in algebraic geometry
2. Methodological Significance: Provides new technical pathways for research on related problems
3. Long-term Impact: Likely to become an important foundation for research on superspeciality of higher genus curves

Applicable Scenarios

1. Theoretical Research: Algebraic geometry, number theory, special function theory
2. Cryptography: Theoretical foundations of elliptic curve cryptography
3. Coding Theory: Construction and analysis of algebraic geometry codes

References

1. Igusa, J.: Class number of a definite quaternion with prime discriminant (1958)
2. Ohashi, R. and Harashita, S.: Differential forms on the curves associated to Appell-Lauricella hypergeometric series (2023)
3. Matsumoto, K.: Appell and Lauricella Hypergeometric Functions (2020)
4. Silverman, J.H.: The Arithmetic of Elliptic Curves (2009)

This paper achieves important theoretical breakthroughs, successfully generalizing Igusa's classical result to the genus two case and opening new directions for research on superspecial curves in algebraic geometry. While demanding in technical requirements, its theoretical value and methodological significance make it an important contribution to the field.