On equations of fake projective planes with automorphism group of order $21$

Basic Information

• Paper ID: 2109.02070
• Title: On equations of fake projective planes with automorphism group of order $21$
• Author: Lev Borisov (Rutgers University)
• Classification: math.AG (Algebraic Geometry)
• Published Journal: Épijournal de Géométrie Algébrique, Volume 7 (2023), Article No. 17
• Paper Link: https://arxiv.org/abs/2109.02070

Abstract

This paper investigates Dolgachev elliptic surfaces with double and triple fibers, finding explicit equations for two new pairs of fake projective planes with 21 automorphisms, thereby completing the task of finding explicit equations for fake projective planes with this automorphism group. This particularly includes the fake projective plane discovered by J. Keum.

Research Background and Motivation

Problem Background

1. Origins of Fake Projective Plane Theory: The theory of fake projective planes originated from D. Mumford's celebrated example, who constructed a surface of general type whose Hodge numbers coincide with those of the ordinary projective plane $\mathbb{CP}^2$, though the construction method did not yield explicit equations.
2. Classification Results: Following work by multiple scholars, D. Cartwright and T. Steger completed the classification of all fake projective planes, determining exactly 50 pairs of conjugate such surfaces, organized into 28 classes. These surfaces are classified as free quotients of the complex 2-dimensional ball $B^2 = \{(z_1, z_2), |z_1|^2 + |z_2|^2 < 1\}$ by certain discrete arithmetic subgroups.
3. Challenge of Explicit Equations: Despite the complete classification, this classification does not lead to polynomial equations, as no known method exists for constructing explicit automorphic forms for these groups.

Research Motivation

1. Need for Explicitness: In recent years, the author has participated in collaborative projects aimed at discovering explicit polynomial equations defining fake projective planes and related surfaces.
2. Role of Automorphism Groups: Fake projective planes with non-trivial automorphism groups provide avenues for exploration, as symmetry can simplify computations.
3. Completing the Classification: According to the Cartwright-Steger classification, the maximum order of the automorphism group of a fake projective plane is 21, with three pairs of conjugate fake projective planes having automorphism groups of this size. This paper aims to find explicit equations for the remaining two pairs.

Core Contributions

1. Construction of Two New Fake Projective Planes: Found explicit equations for two pairs of fake projective planes with 21 automorphisms
2. Completed Classification for Order 21 Automorphism Groups: Including the fake projective plane discovered by J. Keum, completed explicit construction of all fake projective planes with order 21 automorphism groups
3. Developed New Construction Methods: Established a systematic construction framework through the study of Dolgachev elliptic surfaces
4. Provided Concrete Polynomial Equations: Gave explicit representations of fake projective planes defined by 84 cubic equations in $\mathbb{CP}^9$

Detailed Methodology

Task Definition

Finding explicit polynomial equations for fake projective planes with order 21 automorphism groups, specifically:

• $(a = 7, p = 2, \{7\}, D_3^{27})$: The surface constructed by Keum
• $(C_{20}, p = 2, \emptyset, D_3^{27})$: The third surface

Core Construction Framework

1. Geometric Setup

In all three cases with order 21 automorphism groups, the minimal resolution $Y$ of the quotient $P^2_{fake}/C_7$ has special geometric structure:

• Three singular points of type $\frac{1}{3}(1,7)$, permuted by the residual $C_3$ action
• Minimal resolution has three disjoint chains: $S - B - C$, $S_1 - B_1 - C_1$, $S_2 - B_2 - C_2$
• $Y$ fibers over $\mathbb{CP}^1$ with two multiple fibers, three nodal fibers, and one $I_9$ type fiber

2. Ring Structure Analysis

Consider the ring $R = \bigoplus_{a,b \geq 0} H^0(Y, \mathcal{O}(aF + bS))$, computing its graded dimension: $\sum_{a,b \geq 0} \dim H^0(Y, \mathcal{O}(aF + bS)) s^b t^a = \frac{1+2st^4 +2st^5 + s^2t^9}{(1-t^2)(1-t^3)(1-s)(1-st^3)}$

This shows that $R$ has a graded free module structure of rank 6 over the ring $\mathbb{C}[u_0, u_1, v_1, v_2]$.

Construction Steps

Step 1: Nine-Parameter Family Construction

Construct a nine-parameter family of $(2,3)$-Dolgachev surfaces with a rational 6-section $S$. Generic members have, in addition to double and triple fibers, 12 distinct singular nodal fibers. The defining equations are nine quadratic forms of weights $3 \times (2,8)$, $3 \times (2,9)$, and $3 \times (2,10)$.

Step 2: Parameter Reduction

Construct subfamilies with additional conditions: seven-parameter, five-parameter, and two-parameter:

• Seven-parameter: special fiber contains a line
• Five-parameter: special fiber contains two disjoint lines
• Two-parameter: specified nodes on two disjoint lines

Step 3: Finite Field Reduction

Through searching parameter choices over finite fields, seek finite field reductions of the surface $Y_0$, checking whether the resulting surface has more severe singularities than nodes at two special points. The smallest successful prime is 79.

Step 4: Lifting to Algebraic Numbers

By successively solving conditions modulo powers of 79, lift parameters to $p$-adic numbers, then identify them as algebraic numbers, constructing $Y_0$ over a degree 12 number field, ultimately realizing it over $\mathbb{Q}(\sqrt{-7})$.

Step 5: Geometric Analysis and Sevenfold Cover

Study geometric characteristics of $Y_0$, finding curves $S_1$ and $S_2$ and the birational action of $C_3$. Construct $P^2_{fake}$ by adjoining seventh roots of rational functions, computing its bicanonical linear system.

Step 6: Identification and Verification

Identify specific fake projective planes by finding torsion line bundles, verifying that it is indeed $(C_{20}, p = 2, \emptyset, D_3^{27})$.

Experimental Setup

Computational Tools

• Primary Software: Mathematica (majority of computations)
• Auxiliary Software: Magma, Macaulay2, PARI/GP, C language
• Computational Resources: Amarel cluster at Rutgers University

Key Computational Challenges

1. Large-Scale System Solving: Solving consistency relations with over 1600 equations and 92 unknowns
2. Finite Field Search: Brute-force search over $\mathbb{F}_p^5$, requiring parallel computation
3. Symbolic Verification: Smoothness verification of 84 cubic polynomials

Experimental Results

Main Achievements

1. First Fake Projective Plane: $(C_{20}, p = 2, \emptyset, D_3^{27})$

• Definition Field: $\mathbb{Q}(\sqrt{-7})$
• Embedding: Defined in $\mathbb{CP}^9$ by 84 cubic equations
• Verification: Confirmed by finding non-reduced $C_3$-invariant elements, verifying at least 21 non-trivial 2-torsion elements

2. Second Fake Projective Plane: Keum's Construction

• Identification: Confirmed as $(a = 7, p = 2, \{7\}, D_3^{27})$ by elimination
• Construction: Using the second five-parameter family through brute-force search
• Verification: Same verification procedure confirms it as a fake projective plane

Technical Achievements

1. Computational Complexity: Successfully handled extremely complex symbolic computations, with some intermediate formulas reaching hundreds of megabytes
2. Numerical Precision: Achieved high-precision algebraic number identification through $p$-adic lifting and lattice reduction algorithms
3. Verification Completeness: Verified construction correctness through multiple independent methods

Related Work

Historical Development

1. Mumford (1979): First example of a fake projective plane
2. Cartwright-Steger (2011): Complete classification theory
3. Borisov et al. Series: Systematic study of explicit equations

Position of This Paper

• Completes explicit construction for the order 21 automorphism group case
• Lays foundation for finding equations of the Mumford fake projective plane
• Develops general methods for construction via Dolgachev surfaces

Conclusions and Discussion

Main Conclusions

1. Successfully found explicit equations for all three pairs of fake projective planes with order 21 automorphism groups
2. Developed systematic construction methods based on Dolgachev elliptic surfaces
3. Demonstrated the effectiveness of finite field methods in explicit construction in algebraic geometry

Limitations

1. Computational Complexity: Methods rely on extensive symbolic computation and numerical search
2. Generalization Difficulty: Direct generalization of the method to other automorphism group cases is not straightforward
3. Theoretical Understanding: Lacks deeper theoretical explanation for why this specific construction works

Future Directions

1. Mumford Plane: Utilize knowledge of the Keum plane to find explicit equations for the Mumford fake projective plane
2. Method Optimization: Seek simpler variables to simplify Dolgachev surface equations
3. General Theory: Develop more general explicit construction theoretical frameworks

In-Depth Evaluation

Strengths

1. Technical Innovation: Cleverly combines algebraic geometry theory, computational algebra, and numerical methods
2. Completeness: Completes explicit construction of an important classification problem
3. Methodological Contribution: Provides systematic methods for addressing similar problems
4. Computational Techniques: Demonstrates the powerful application of modern computational tools in pure mathematics research

Weaknesses

1. Theoretical Depth: Primarily showcases computational techniques, lacking deeper theoretical insights
2. Readability: Extensive technical details make the paper difficult to follow
3. Generalizability: Limited generalization potential of the methods

Impact

1. Academic Value: Provides important explicit examples for fake projective plane theory
2. Computational Geometry: Advances computational algebraic geometry
3. Methodology: Provides exemplars for similar explicit construction problems

Applicable Scenarios

This method is particularly suitable for:

1. Explicit construction of algebraic varieties with rich symmetry
2. Geometric problems requiring combination of theoretical analysis and large-scale computation
3. Research on fake projective planes and related surfaces

References

The paper cites key literature in the field, including:

• Mumford's original construction
• Cartwright-Steger's classification work
• Keum's research on specific fake projective planes
• The author's previous series on explicit construction

Summary: Through sophisticated theoretical analysis and large-scale computation, this paper successfully completes the construction of explicit equations for fake projective planes with order 21 automorphism groups, providing a complete solution to this important algebraic geometry problem. Despite the complexity of the methods, its technical innovation and completeness make it a significant contribution to the field.