Some Lower Bounds for the Maximal Number of A-Singularities in Algebraic Surfaces

Basic Information

• Paper ID: 2510.14539
• Title: Some lower bounds for the maximal number of A-singularities in algebraic surfaces
• Author: Juan García Escudero
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 16, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.14539

Abstract

This paper constructs algebraic surfaces with a large number of A-type singularities. The construction employs binary polynomials from previous work used to construct nodal surfaces and certain families of Belyi polynomials. In certain cases, explicit expressions in the form of classical Jacobi polynomials are obtained.

Research Background and Motivation

Problem Description

This research addresses a central problem in algebraic geometry: determining the maximum number of A-type singularities on algebraic surfaces of a given degree. Specifically, it investigates the maximum number μ_{A_ν}(d) and μ^{(R)}_{A_ν}(d) of A_ν-type singularities on surfaces of degree d in complex projective space P³(C) and real projective space P³(R), respectively.

Research Significance

1. Theoretical Importance: The study of A-type singularities constitutes an essential component of singularity theory in algebraic geometry, providing fundamental insights into the geometric properties of algebraic surfaces
2. Historical Development: This field has a long research tradition, beginning with the classical Cayley cubic surface and Kummer quartic surface
3. Technical Challenges: Constructing explicit surfaces with many singularities presents significant computational difficulties

Limitations of Existing Research

Current lower bound results are primarily concentrated on:

• Relatively mature research on A₁ singularities (nodes)
• Limited lower bound results for higher-order A_ν singularities (ν > 1)
• Lack of unified construction methods for handling different types of A singularities

Core Contributions

1. Generalization of Belyi Polynomial Construction: Proposes three new families of Belyi polynomials B^{(1)}, B^{(2)}, B^{(3)}, systematically extending previous construction methods
2. Improved Lower Bounds for A-Type Singularities:
   • For A₂ singularities: μ_(3m) ≥ 3m²(3m-1)/2 + (3m(m-1)+1)⌊(m-1)/2⌋
   • For A_{3m+1} singularities: μ_{A_{3m+1}}(3(2m+1)) ≥ 3m(10m+7) + 4
3. Explicit Constructions: Provides explicit equations for surfaces defined over the rational numbers with favorable computational properties
4. Connection to Classical Polynomials: Establishes that certain Belyi polynomials can be expressed in terms of classical Jacobi polynomials

Detailed Methodology

Core Construction Framework

The paper's approach combines two classes of polynomials:

1. Binary Polynomial Family J

Defines the binary polynomial family:

Ĵ_{d,τ}(x,y) := λ_{d,τ} ∏_μ L_{d,τ,μ}(x,y)

where:

L_{d,τ,μ}(x,y) := y + (cos(2π/d(6μ-1/6 - τ/π)) - x)tan(π/d(6μ-1/6 - τ/π)) + sin(2π/d(6μ-1/6 - τ/π))

Through transformation, a polynomial defined over the rationals is obtained:

J_d(x,y) := Ĵ_{d,0}(x, y/√3)

2. Belyi Polynomial Families

Three Belyi polynomial families are constructed:

B^{(1)} Family: Possesses k-1 critical points of multiplicity ν with critical value -1, and one critical point of multiplicity ν with critical value 1, where:

• k = 3m+1, m ∈ Z⁺
• d = kν+1, ν = 3n+k-2, n ∈ Z≥0

B^{(2)} Family: Possesses b-1 critical points of multiplicity ν with critical value -1, one critical point of multiplicity ν with critical value 1, and one additional critical point of multiplicity ε with critical value -1

B^{(3)} Family: More complex parameterization covering various cases

Surface Construction

The main theorem states that surfaces of degree d = 3q:

J_d(u,v) + (B^{(t)}_{d,ν,ε}(w) + 1)/2 = 0

possess the following number of A_ν-type singularities:

d(d-1)(s-1)/2 + d(d-3)/3 + 1

where s = k, b, p correspond to t = 1, 2, 3 respectively.

Technical Innovations

1. Systematic Belyi Polynomial Construction: Constructs Belyi polynomials systematically through bicolored plane tree colorings, providing clear combinatorial interpretations
2. Parametrization Method: Establishes precise relationships between degree, multiplicity, and critical points, making the construction process controllable
3. Definition over Rationals: Ensures all constructed surfaces can be defined over the rational numbers, possessing favorable arithmetic properties

Experimental Setup

Construction Verification

The paper verifies theoretical results through concrete examples:

1. Low Degree Cases:
   • Degree 9 surface possesses 127 complex A₂ singularities
   • Degree 15 surface possesses 376 A₃ singularities
   • Degree 21 surface possesses 757 A₄ singularities
2. Computational Tools: Uses the Singular computer algebra system for Gröbner basis computations to verify low degree cases

Visualization

Employs the Surfer visualization tool to display portions of the real part of the degree 21 surface, intuitively showing the distribution of A₄ singularities.

Experimental Results

Main Improvements

Compared to previous methods using folding polynomials FA²_d(u,v) and polynomials M^j_d(w), the constructions in this paper produce one additional A_ν singularity in each case.

Specific Numerical Results

• A₁ Singularities (Nodes): For real surfaces of degree 3m, the lower bound is 3m(3m-1)/2⌊3m/2⌋ + (3m(m-1)+1)⌊(3m-1)/2⌋
• A₂ Singularities (Cusps): μ_(3m) ≥ 3m²(3m-1)/2 + (3m(m-1)+1)⌊(m-1)/2⌋
• Higher-Order Singularities: μ_{A_{3m+1}}(3(2m+1)) ≥ 3m(10m+7) + 4

Explicit Expressions

For certain special cases, explicit expressions in the form of Jacobi polynomials are obtained:

• B^{(1)}{9m²,3m-1}(w) = w^{3m}P^{1,-3m}{3m-1}(1-2w)^{3m}
• B^{(2)}{a+b(b-1),b-1,a-1}(w) = w^a P^{a/b,-b}(1-2w)^b

Related Work

Historical Development

1. Classical Results: The Cayley cubic surface (1869), Kummer quartic surface, and others established the foundation
2. Modern Development: Contributions by Chmutov, Barth, Endrass, and others established systematic lower bound theory
3. Upper Bound Theory: Work by Beauville, Miyaoka, Varchenko, and others provided theoretical constraints

Positioning of This Work

This paper builds upon the author's previous work:

• Generalizes the 3m-degree polynomial families from 9
• Extends the Belyi polynomial methods from 10, 11
• Unifies different construction techniques from 21

Conclusions and Discussion

Main Conclusions

1. Successfully constructs three new Belyi polynomial families, systematically improving lower bounds for A-type singularities
2. Provides explicit surface equations defined over the rational numbers
3. Establishes profound connections with classical Jacobi polynomials

Limitations

1. Computational Complexity: Explicit computation of high-degree Belyi polynomials remains difficult
2. Generality: Certain results apply only to specific degree forms (e.g., 3m)
3. Real Singularities: Construction of real singularities is more challenging than complex singularities

Future Directions

1. Seek more general Belyi polynomial construction methods
2. Improve computational techniques for high-degree cases
3. Investigate analogous problems for other singularity types (D-type, E-type)

In-Depth Evaluation

Strengths

1. Theoretical Depth: Ingeniously combines algebraic geometry, combinatorics, and classical orthogonal polynomial theory
2. Systematicity: Provides a unified framework for handling different types of A singularities
3. Constructive Nature: Furnishes explicit surface equations with practical computational value
4. Technical Innovation: The plane tree method provides intuitive combinatorial interpretation for Belyi polynomial construction

Weaknesses

1. Computational Limitations: For high-degree cases, still relies on computer algebra systems
2. Specificity: Results primarily concentrate on cases where degree is a multiple of 3
3. Limited Visualization: Provides only one visualization example

Impact

1. Theoretical Contribution: Provides new construction techniques for singularity theory
2. Computational Value: Explicit formulas have practical significance for related computations
3. Methodological Significance: Demonstrates the power of interdisciplinary mathematical approaches

Applicable Scenarios

1. Singularity classification and counting problems in algebraic geometry
2. Explicit constructions in computational algebraic geometry
3. Interdisciplinary research with singularity theory in physics

References

The paper cites 27 related references, spanning from classical work by Cayley and Kummer to modern computational algebraic geometry research, reflecting the deep historical foundations and active research status of this field. Key references include:

• 6 Cayley's classical work on cubic surfaces
• 19 Kummer's pioneering research on quartic surfaces
• 21 Labs' important work on Belyi polynomials and singularities
• The author's series of previous works 9-15

This paper makes important contributions to the field of singularity theory in algebraic geometry, systematically improving lower bounds for A-type singularities through clever construction methods, laying a solid foundation for further development in this field.