Pith. sign in

REVIEW 3 cited by

Classification of Horikawa surfaces with T-singularities

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2410.02943 v3 pith:BGW5CPRU submitted 2024-10-03 math.AG math.DGmath.GTmath.SG

classification math.AGmath.DGmath.GTmath.SG
keywords surfacesonlyt-singularitieshorikawaclassificationclassifyksbasmoothable
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We classify all projective surfaces with only T-singularities, ample canonical class, and $K^2=2p_g-4$. In this way, we identify all surfaces, smoothable or not, with only T-singularities in the Koll\'ar--Shepherd-Barron--Alexeev (KSBA) moduli space of Horikawa surfaces. We also prove that they are not smoothable when $p_g \geq 10$, except for the Lee-Park (Fintushel-Stern) examples, which we show to have only one deformation type unless $p_g=6$ (in which case they have two). This demonstrates that the challenging Horikawa problem cannot be addressed through complex T-degenerations. We propose new questions regarding diffeomorphism types based on our classification. Furthermore, the techniques developed in this paper enable us to classify all KSBA surfaces with only T-singularities and $K^2\leq 2p_g-3$, for example, quintic surfaces and I-surfaces.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Pseudo-hyperbolicity of Horikawa surfaces

    math.AG 2026-08 conditional novelty 7.0 of 10

    Very general Horikawa surfaces with p_g ≥ 5 (and first-kind with p_g = 3, 4) contain only finitely many rational or elliptic curves, with explicit counts in most strata.

  2. Degenerations of the complex projective plane with only rational singularities

    math.AG 2026-07 conditional novelty 7.0 of 10

    Assuming Wahl's conjecture, every normal degeneration of the projective plane to a surface with only rational singularities is one of the Markov-equation family or one of six newly found surfaces.

  3. Normal stable degenerations of Noether-Horikawa surfaces

    math.AG 2025-07 conditional novelty 7.0 of 10

    Every Q-Gorenstein smoothable normal stable Horikawa surface falls into one of seven explicit families, and its global smoothability is controlled by a single local condition at its elliptic double cone singularities.

Pith tools