pith. sign in

arxiv: 2605.00309 · v1 · submitted 2026-05-01 · 🧮 math.AG

The GIT Boundary of Quintic Threefolds (Announcement of Results)

Yasutaka Shibata This is my paper

Pith reviewed 2026-05-09 19:31 UTC · model grok-4.3

classification 🧮 math.AG
keywords GIT moduli spacequintic threefoldsstrictly semistable boundarypolystable representativesminimal exponentswall-adjacency graphSL(5) actionquintic hypersurfaces
0
0 comments X

The pith

The GIT moduli space of quintic threefolds has its strictly semistable boundary classified into exactly 38 components.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper announces an explicit description of the strictly semistable boundary in the GIT moduli space of quintic threefolds under the natural SL(5) action on the space of quintics in projective 4-space. It classifies the 38 boundary components coming from maximal strictly semistable supports and gives closed-orbit normal forms for the general polystable point in each component. The paper also finds that all these representatives have global minimal exponent equal to 1, matching the critical stability threshold, and maps out the connections between these components via a wall-adjacency graph that turns out to be connected with small diameter. A reader would care because this provides a concrete handle on the compactification and boundary behavior of the moduli space of quintics, which is central to understanding their geometry and degenerations.

Core claim

For the natural action of SL(5) on P(Sym^5 C^5), we classify the 38 boundary components arising from maximal strictly semistable supports and construct closed-orbit normal forms for the general polystable representative in each component. We also determine the singular loci of these general representatives and compute their local and global minimal exponents. The isolated boundary singularities are quasi-homogeneous and fall into eleven analytic types, all with local minimal exponent equal to 1. Consequently, the global minimal exponent of a general closed-orbit representative in every boundary component is 1=(4+1)/5, the critical value in the stability criterion for quintic hypersurfaces in

What carries the argument

The classification of 38 maximal strictly semistable supports together with their closed-orbit normal forms for polystable quintic threefolds.

Load-bearing premise

That the listed 38 maximal strictly semistable supports are all there are and that the constructed normal forms are indeed the general polystable representatives for each.

What would settle it

Discovery of a maximal strictly semistable support for quintic threefolds that is not among the 38 classified ones, or a polystable representative whose minimal exponent differs from 1.

Figures

Figures reproduced from arXiv: 2605.00309 by Yasutaka Shibata.

Figure 1
Figure 1. Figure 1: Codimension-one wall-adjacency graph of the boundary components view at source ↗
read the original abstract

We announce an explicit description of the strictly semistable boundary of the GIT moduli space of quintic threefolds. For the natural action of \(\mathrm{SL}(5)\) on \(\mathbb P(\mathrm{Sym}^5\mathbb C^5)\), we classify the 38 boundary components arising from maximal strictly semistable supports and construct closed-orbit normal forms for the general polystable representative in each component. We also determine the singular loci of these general representatives and compute their local and global minimal exponents. The isolated boundary singularities are quasi-homogeneous and fall into eleven analytic types, all with local minimal exponent equal to \(1\). Consequently, the global minimal exponent of a general closed-orbit representative in every boundary component is \(1=(4+1)/5\), the critical value in the stability criterion for quintic hypersurfaces in \(\mathbb P^4\). We further announce the pairwise non-inclusion of the 38 quotient-side boundary families and compute the codimension-one wall-adjacency graph, which has 38 vertices and 184 edges, is connected, and has diameter 4. Detailed proofs and complete case-by-case computations will appear in a forthcoming full-length paper.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript announces an explicit description of the strictly semistable boundary of the GIT moduli space of quintic threefolds. For the SL(5)-action on P(Sym^5 C^5), it classifies the 38 boundary components arising from maximal strictly semistable supports, constructs closed-orbit normal forms for the general polystable representative in each, determines singular loci and local/global minimal exponents (all equal to 1), announces pairwise non-inclusion of the 38 families, and computes the codimension-one wall-adjacency graph (38 vertices, 184 edges, connected with diameter 4). All proofs and case-by-case computations are deferred to a forthcoming full-length paper.

Significance. If the asserted classification and normal forms hold, the work supplies an explicit picture of the boundary components and their adjacency structure in the GIT quotient, which is a notable contribution to the geometric invariant theory of quintic hypersurfaces. The uniform minimal exponent of 1 matching the critical stability threshold (4+1)/5 is a concrete and useful observation. The explicit graph data (vertex/edge count, connectivity, diameter) provides structural information that could inform further study of wall-crossing or compactifications.

major comments (1)
  1. [Abstract] Abstract: the central claims rest on the classification into precisely 38 maximal strictly semistable supports together with the listed closed-orbit normal forms and the completeness of the non-inclusion statement; however, the manuscript supplies neither the enumeration of the supports, the explicit normal forms, nor any outline of the method (Hilbert-Mumford criterion, computational search, or otherwise) used to guarantee maximality and exhaustiveness. This absence is load-bearing for every announced result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need for greater clarity in our announcement manuscript. We respond to the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claims rest on the classification into precisely 38 maximal strictly semistable supports together with the listed closed-orbit normal forms and the completeness of the non-inclusion statement; however, the manuscript supplies neither the enumeration of the supports, the explicit normal forms, nor any outline of the method (Hilbert-Mumford criterion, computational search, or otherwise) used to guarantee maximality and exhaustiveness. This absence is load-bearing for every announced result.

    Authors: We agree that the present announcement manuscript does not enumerate the 38 supports, display the normal forms, or detail the exhaustive search procedure, as these are reserved for the forthcoming full-length paper. The abstract is intended only as a high-level summary of the classification results. The underlying method combines the Hilbert-Mumford criterion applied to one-parameter subgroups with a computational enumeration of possible supports to identify the maximal strictly semistable ones and verify non-inclusions. To address the referee's concern, we will revise the abstract by adding one sentence that briefly outlines this approach and states that full details and verification appear in the companion paper. revision: partial

Circularity Check

0 steps flagged

No circularity; announcement defers all derivations to future paper

full rationale

The paper is an announcement that classifies 38 boundary components, constructs normal forms, computes minimal exponents, and describes the wall-adjacency graph, but explicitly states that detailed proofs and complete case-by-case computations will appear in a forthcoming full-length paper. No equations, fitted parameters, self-citations, or ansatzes are supplied in the text that could reduce any claim to a self-definitional or fitted-input relation. The asserted completeness of the 38 components is presented as a result to be justified externally rather than derived from any internal construction within this document.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The announcement rests on the standard Hilbert-Mumford numerical criterion and the definition of polystable points for the SL(5) action on the space of quintic forms; no new free parameters or invented entities are introduced.

axioms (1)
  • standard math Hilbert-Mumford numerical criterion determines semistability and the minimal exponent for the SL(5) action on P(Sym^5 C^5).
    Invoked to identify strictly semistable supports and to compute the critical value 1 = (4+1)/5.

pith-pipeline@v0.9.0 · 5503 in / 1658 out tokens · 57516 ms · 2026-05-09T19:31:43.689418+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Casimiro and C

    A. Casimiro and C. Florentino, Stability of affine G -varieties and irreducibility in reductive groups, Int. J. Math. 23 (2012), no. 8, 1250082, 28 pp. DOI: 10.1142/S0129167X12500826

    work page doi:10.1142/s0129167x12500826 2012

  2. [2]

    Dolgachev and Y

    I. Dolgachev and Y. Hu, Variation of geometric invariant theory quotients, Publ. Math. Inst. Hautes \' E tudes Sci. 87 (1998), 5--51. DOI: 10.1007/BF02698859

    work page doi:10.1007/bf02698859 1998

  3. [3]

    Dolgachev, Lectures on Invariant Theory, London Mathematical Society Lecture Note Series, 296, Cambridge University Press, Cambridge, 2003

    I. Dolgachev, Lectures on Invariant Theory, London Mathematical Society Lecture Note Series, 296, Cambridge University Press, Cambridge, 2003

    work page 2003

  4. [4]

    Gallardo, J

    P. Gallardo, J. Mart\' nez-Garc\' a, H.-B. Moon, and D. Swinarski, Computation of GIT quotients of semisimple groups, Math. Comp., in press, 2026. DOI: 10.1090/mcom/4152 ; arXiv:2308.08049 [math.AG]

    work page doi:10.1090/mcom/4152 2026

  5. [5]

    F. C. Kirwan, Cohomology of Quotients in Symplectic and Algebraic Geometry, Mathematical Notes, 31, Princeton University Press, Princeton, NJ, 1984

    work page 1984

  6. [6]

    Lakhani, The GIT Compactification of Quintic Threefolds, arXiv:1010.3803 [math.AG], 2010

    C. Lakhani, The GIT Compactification of Quintic Threefolds, arXiv:1010.3803 [math.AG], 2010. DOI: 10.48550/arXiv.1010.3803

    work page doi:10.48550/arxiv.1010.3803 2010

  7. [7]

    Luna, Adh\'erences d'orbite et invariants, Invent

    D. Luna, Adh\'erences d'orbite et invariants, Invent. Math. 29 (1975), 231--238. DOI: 10.1007/BF01389851

    work page doi:10.1007/bf01389851 1975

  8. [8]

    Mumford, J

    D. Mumford, J. Fogarty, and F. Kirwan, Geometric Invariant Theory (3rd ed.), Ergebnisse der Mathematik und ihrer Grenzgebiete (2), 34, Springer-Verlag, Berlin, 1994

    work page 1994

  9. [9]

    Musta t a and M

    M. Musta t a and M. Popa, Hodge filtration, minimal exponent, and local vanishing, Invent. Math. 220 (2020), no. 2, 453--478. DOI: 10.1007/s00222-019-00933-x

    work page doi:10.1007/s00222-019-00933-x 2020

  10. [10]

    S. G. Park, The GIT stability and Hodge structures of hypersurfaces via minimal exponent, arXiv:2510.14352 [math.AG], 2025. DOI: 10.48550/arXiv.2510.14352

    work page doi:10.48550/arxiv.2510.14352 2025

  11. [11]

    V. L. Popov and E. B. Vinberg, Invariant theory, in Algebraic Geometry IV: Linear Algebraic Groups, Invariant Theory, Encyclopaedia of Mathematical Sciences, 55, Springer-Verlag, Berlin, 1994, pp. 123--278. Editors: A. N. Parshin and I. R. Shafarevich

    work page 1994

  12. [12]

    Quasihomogene isolierte Singularitäten von Hyperflächen

    K. Saito, Quasihomogene isolierte Singularit\"aten von Hyperfl\"achen, Invent. Math. 14 (1971), 123--142. DOI: 10.1007/BF01405360

    work page doi:10.1007/bf01405360 1971

  13. [13]

    Shibata, Boundary of the Moduli Space of Stable Cubic Fivefolds, arXiv:1401.4525v7 [math.AG], 2026

    Y. Shibata, Boundary of the Moduli Space of Stable Cubic Fivefolds, arXiv:1401.4525v7 [math.AG], 2026. DOI: 10.48550/arXiv.1401.4525

    work page doi:10.48550/arxiv.1401.4525 2026

  14. [14]

    Thaddeus, Geometric invariant theory and flips, J

    M. Thaddeus, Geometric invariant theory and flips, J. Amer. Math. Soc. 9 (1996), no. 3, 691--723. DOI: 10.1090/S0894-0347-96-00204-4

    work page doi:10.1090/s0894-0347-96-00204-4 1996