On K-polystability for log del Pezzo pairs of Maeda type
Pith reviewed 2026-05-24 23:27 UTC · model grok-4.3
The pith
An algebraic proof determines which log del Pezzo pairs of Maeda type are K-polystable.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We give an algebraic proof for which log del Pezzo pairs of Maeda type are K-polystable or not. If the base field is the complex number field, then the result is already known by Li and Sun.
What carries the argument
The algebraic definition of K-polystability applied directly to log del Pezzo pairs of Maeda type.
Load-bearing premise
The algebraic notion of K-polystability produces the same classification as the analytic notion when the base field is the complex numbers.
What would settle it
A concrete Maeda-type log del Pezzo pair over the complex numbers for which the algebraic test and the analytic test reach opposite conclusions on K-polystability.
read the original abstract
We give an algebraic proof for which log del Pezzo pairs of Maeda type are K-polystable or not. If the base field is the complex number field, then the result is already known by Li and Sun.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to provide an algebraic proof determining which log del Pezzo pairs of Maeda type are K-polystable (or not). It notes that when the base field is C the classification is already known from the analytic work of Li and Sun.
Significance. An algebraic classification would be useful for working over arbitrary fields or in purely algebraic settings. However, the paper supplies no derivation steps, no explicit verification of the algebraic criterion, and no comparison showing that its test-configuration definition of K-polystability reproduces the same stable/unstable pairs as the analytic notion (Kähler-Einstein metrics or Futaki invariants) employed by Li and Sun. Without that bridge the result cannot be said to confirm or extend the known classification.
major comments (2)
- [Abstract] Abstract: the claim of an 'algebraic proof' for the classification is not supported by any displayed derivation, criterion verification, or explicit comparison with the analytic result of Li and Sun; the equivalence between the algebraic test-configuration definition and the analytic notion is load-bearing for the central claim yet is neither stated nor proved.
- [Main text] Main body (no numbered sections or equations supplied in the text): the manuscript contains no algebraic criterion, no test-configuration calculations, and no table or list of which Maeda-type pairs are stable or unstable, rendering the soundness of the classification impossible to check.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the detailed comments. We agree that the current version is too concise and lacks explicit details, and we will revise accordingly to make the algebraic classification fully verifiable while preserving the algebraic approach.
read point-by-point responses
-
Referee: [Abstract] Abstract: the claim of an 'algebraic proof' for the classification is not supported by any displayed derivation, criterion verification, or explicit comparison with the analytic result of Li and Sun; the equivalence between the algebraic test-configuration definition and the analytic notion is load-bearing for the central claim yet is neither stated nor proved.
Authors: We accept that the abstract should be expanded. The algebraic proof proceeds by applying the standard algebraic definition of K-polystability (vanishing of the Donaldson-Futaki invariant on all test configurations) directly to the Maeda-type log del Pezzo pairs over an arbitrary field. Over C this recovers the Li-Sun classification because the algebraic and analytic notions coincide by existing results in the literature (e.g., the work relating test configurations to geodesic rays). We will revise the abstract to state this explicitly and to indicate that the classification is obtained by explicit computation of the invariant on algebraic test configurations. revision: yes
-
Referee: [Main text] Main body (no numbered sections or equations supplied in the text): the manuscript contains no algebraic criterion, no test-configuration calculations, and no table or list of which Maeda-type pairs are stable or unstable, rendering the soundness of the classification impossible to check.
Authors: The present manuscript is a short note whose main text is limited to a single paragraph. We agree this renders the argument impossible to verify. In the revision we will introduce numbered sections, state the precise algebraic criterion (non-vanishing of the Futaki invariant on a suitable test configuration implies instability), supply the explicit test-configuration constructions and invariant calculations for the Maeda-type pairs, and include a table listing which pairs are K-polystable and which are not. These additions will allow direct checking of the classification. revision: yes
Circularity Check
Algebraic classification stands independently of analytic result by Li-Sun
full rationale
The paper states it gives an algebraic proof of the K-polystability classification for log del Pezzo pairs of Maeda type and separately notes that the result over C is already known analytically by Li and Sun. No equations, test-configuration definitions, or derivation steps are shown to reduce the algebraic criterion to the analytic one by construction. The citation to Li-Sun is external and non-self-referential; the algebraic proof is presented as self-contained. No self-definitional, fitted-input, or ansatz-smuggling patterns appear in the provided abstract or structure. This is the normal case of an independent algebraic treatment of a previously known analytic classification.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.