pith. sign in

arxiv: 2604.27229 · v1 · submitted 2026-04-29 · 🧮 math.AG

Hodge theory and K-stability of some very symmetric hypersurfaces

Hyunsuk Kim This is my paper

Pith reviewed 2026-05-07 08:39 UTC · model grok-4.3

classification 🧮 math.AG
keywords hypersurfacesK-polystabilityHodge theorymoduli spacesGITperiod mapsintersection cohomologyalgebraic geometry
0
0 comments X

The pith

The hypersurface defined by the sum of products x11⋯x1d + ⋯ + xld⋯xld = 0 in projective space is K-polystable for l ≥ 2.

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

This paper examines a family of highly symmetric hypersurfaces that arise from the period map on the moduli space of hypersurfaces. It computes the Hodge structures on both singular cohomology and intersection cohomology for these varieties. It further establishes K-polystability for certain mildly singular degenerate members of the family. The results apply in the setting of GIT moduli spaces studied via minimal exponents. A reader cares because explicit Hodge data and stability criteria give concrete examples where algebraic geometry meets questions of canonical metrics and compact moduli.

Core claim

The paper computes the Hodge structure on the singular cohomology and the intersection cohomology of these hypersurfaces. It also shows the K-polystability of certain mildly singular degenerate hypersurfaces among them. In particular, the hypersurface { x11⋯x1d + … + xld⋯xld = 0} ⊂ P^{ld-1} is K-polystable for l ≥ 2.

What carries the argument

the very symmetric defining equation consisting of the sum of l monomials each a product of d distinct variables, which permits explicit Hodge computations via symmetry and direct application of K-stability tests under mild singularities.

If this is right

  • The Hodge structures on singular and intersection cohomology are determined explicitly for the entire family.
  • The specific hypersurface provides K-polystable points in the GIT moduli space for every l ≥ 2.
  • These examples illustrate how symmetry interacts with the minimal exponent in the study of degenerate hypersurfaces.
  • The results supply concrete instances where the period map interacts with K-polystable loci.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same symmetry may permit analogous Hodge and stability computations for nearby equations or higher-degree variants.
  • These hypersurfaces could serve as test cases for conjectural links between Hodge filtrations and the existence of Kähler-Einstein metrics.
  • One could check whether K-polystability remains after small perturbations that preserve the overall symmetry but alter the singularity type.
  • The construction suggests a possible dictionary between symmetric loci in the period domain and stable points in the GIT quotient.

Load-bearing premise

The hypersurfaces must possess only mild singularities and arise directly from the period map construction to make the Hodge calculations and stability criterion apply without additional adjustments.

What would settle it

An explicit test configuration for the given hypersurface whose Donaldson-Futaki invariant is negative would show it fails to be K-polystable.

read the original abstract

We study some interesting hypersurfaces that naturally arise when studying the period map on the moduli space of hypersurfaces, in the context of Sung Gi Park's recent work on studying the GIT moduli space of hypersurfaces via the minimal exponent. We compute the Hodge structure on the singular cohomology and the intersection cohomology of these hypersurfaces, and also show the $K$-polystability of certain mildly singular degenerate hypersurfaces among them. In particular, the following hypersurface is $K$-polystable for $l \geq 2$: $$ \{ x_{11}\cdots x_{1d} + \ldots + x_{ld} \cdots x_{ld} = 0\} \subset \PP^{ld-1}.$$

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 / 1 minor

Summary. The manuscript studies highly symmetric hypersurfaces arising from the period map on moduli spaces of hypersurfaces, in the context of Sung Gi Park's GIT moduli space results via minimal exponents. It computes the Hodge structures on the singular cohomology and intersection cohomology of these varieties and proves K-polystability for certain mildly singular degenerate cases, including the explicit claim that the hypersurface defined by ∑_{i=1}^l ∏_{j=1}^d x_{ij} = 0 in ℙ^{ld-1} is K-polystable for all l ≥ 2.

Significance. If the K-polystability result holds under the stated assumptions, the paper supplies explicit examples of K-polystable hypersurfaces with mild singularities that arise naturally in degeneration problems, thereby contributing concrete data points to the study of GIT moduli spaces and period maps. The Hodge-theoretic calculations provide detailed information on the cohomology of these symmetric varieties, which may be useful for further topological or arithmetic investigations. The work appropriately builds on Park's framework rather than re-deriving it.

major comments (1)
  1. The K-polystability claim for the hypersurface ∑_{i=1}^l ∏_{j=1}^d x_{ij} = 0 ⊂ ℙ^{ld-1} (l ≥ 2) invokes a criterion (via minimal exponent) that requires the variety to be ℚ-Fano with at worst klt singularities. No explicit verification of this assumption appears: there is no Jacobian criterion computation identifying the singular locus, no local equation analysis, and no discrepancy computation for the given multi-linear form. This verification is load-bearing for applying the stability criterion to the stated family.
minor comments (1)
  1. The abstract and introduction could more explicitly distinguish the Hodge computations (which appear to proceed formally from the symmetric form) from the K-stability application (which requires the singularity hypothesis).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of its contributions to Hodge theory and K-stability. We address the major comment below and will revise the paper accordingly to strengthen the exposition.

read point-by-point responses

  1. Referee: The K-polystability claim for the hypersurface ∑_{i=1}^l ∏_{j=1}^d x_{ij} = 0 ⊂ ℙ^{ld-1} (l ≥ 2) invokes a criterion (via minimal exponent) that requires the variety to be ℚ-Fano with at worst klt singularities. No explicit verification of this assumption appears: there is no Jacobian criterion computation identifying the singular locus, no local equation analysis, and no discrepancy computation for the given multi-linear form. This verification is load-bearing for applying the stability criterion to the stated family.

    Authors: We agree that an explicit verification of the ℚ-Fano property and the klt nature of the singularities is required to apply the minimal-exponent criterion for K-polystability. The original manuscript stated the claim under the assumption of mild singularities but did not include the detailed local analysis. In the revised version we will add a new subsection (or appendix) that: (1) applies the Jacobian criterion to the equation ∑_{i=1}^l ∏_{j=1}^d x_{ij} = 0 to determine the singular locus; (2) performs local coordinate changes around singular points to obtain explicit local equations; and (3) computes the discrepancies of a log resolution to confirm that all singularities are klt. These computations will be carried out uniformly for l ≥ 2, with special attention to the cases l = 2 and l > 2 where the geometry differs slightly. This addition will make the application of the stability criterion fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity; central claims rest on independent Hodge computations and external criterion.

full rationale

The paper's Hodge and intersection cohomology calculations for the symmetric hypersurfaces proceed via direct computation on the given multi-linear equation and do not reduce to the K-stability claim or to any fitted input. The K-polystability statement for l ≥ 2 invokes an external stability criterion (minimal exponent) from Sung Gi Park's separate GIT work, applied to the stated mildly singular cases; this citation is not self-citation and supplies an independent benchmark rather than a self-referential loop. No self-definitional equations, renamed predictions, or ansatz smuggling appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard Hodge theory for hypersurfaces, the definition of K-polystability from the literature, and the construction of the hypersurfaces via the period map in the context of prior GIT work; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard Hodge decomposition and filtration on the cohomology of hypersurfaces in projective space
    Invoked when computing the Hodge structure on singular and intersection cohomology.
  • domain assumption K-polystability criterion for mildly singular varieties as developed in prior literature
    Used to conclude K-polystability for the degenerate hypersurfaces when l ≥ 2.

pith-pipeline@v0.9.0 · 5413 in / 1459 out tokens · 153036 ms · 2026-05-07T08:39:43.949417+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

3 extracted references · 3 canonical work pages

  1. [1]

    296, Cambridge University Press, Cambridge, 2003

    MR1194180↑1, 7 [Dol03] Igor Dolgachev,Lectures on invariant theory, London Mathematical Society Lecture Note Series, vol. 296, Cambridge University Press, Cambridge, 2003. MR2004511↑21 [DS06] Alexandru Dimca and Morihiko Saito,A generalization of Griffiths’s theorem on rational integrals, Duke Math. J.135(2006), no. 2, 303–326. MR2267285↑1 [DSW09] Alexand...

    work page arXiv 2003

  2. [2]

    Math.291 (2016), 330–361

    MR3715806↑8 [Liu16] Yongqiang Liu,Nearby cycles and Alexander modules of hypersurface complements, Adv. Math.291 (2016), 330–361. MR3459020↑7 [Loo09] Eduard Looijenga,The period map for cubic fourfolds, Invent. Math.177(2009), no. 1, 213–233. MR2507640↑1 [LXZ22] Yuchen Liu, Chenyang Xu, and Ziquan Zhuang,Finite generation for valuations computing stabilit...

    work page arXiv 2016

  3. [3]

    50, Cambridge Uni- versity Press, Cambridge, 2025

    MR1100485↑21, 22 [Xu25] Chenyang Xu,K-stability of Fano varieties, New Mathematical Monographs, vol. 50, Cambridge Uni- versity Press, Cambridge, 2025. MR4893062↑4 [Zhu21] Ziquan Zhuang,Optimal destabilizing centers and equivariant K-stability, Invent. Math.226(2021), no. 1, 195–223. MR4309493↑8 Department of Mathematics, University of Michigan, 530 Churc...

    work page 2025