On the uniform K-stability for some asymptotically log del Pezzo surfaces
Pith reviewed 2026-05-24 23:16 UTC · model grok-4.3
The pith
The delta-invariant is computed explicitly for all asymptotically log del Pezzo surfaces of type I.9B.n with small cone angles, establishing their uniform K-stability.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We explicitly compute the delta-invariant for asymptotically log del Pezzo surfaces of type (I.9B.n) for all n≥1 with small cone angles. As a consequence the surfaces satisfy the K-polystability condition in all remaining cases, completing the verification in dimension two with irreducible boundaries.
What carries the argument
The delta-invariant, computed explicitly from the surface classification and the non-bigness of the anti-log-canonical divisor.
If this is right
- K-polystability holds for every remaining member of type I.9B.n.
- The verification of the stability condition is complete in dimension two with irreducible boundaries.
- Kähler-Einstein edge metrics exist on these surfaces for sufficiently small cone angles.
Where Pith is reading between the lines
- Similar explicit delta calculations could be carried out for the same surfaces but with larger cone angles to map the full stability range.
- The formulas obtained here may extend directly to other families of log del Pezzo surfaces that admit a similar classification.
- Independent numerical sampling of test divisors on specific low-n examples could check the closed-form delta values.
- The method of reducing the delta computation to a finite check on the classification list may apply to three-dimensional analogs.
Load-bearing premise
The surfaces are assumed to be correctly classified into the I.9B.n types and the anti-log-canonical divisors are assumed not to be big.
What would settle it
An explicit divisor on one of the surfaces for which the delta-invariant is at most 1 when the cone angle is small would show that stability fails.
read the original abstract
Motivated by the problem for the existence of K\"ahler-Einstein edge metrics, Cheltsov and Rubinstein conjectured the K-polystability of asymptotically log Fano varieties with small cone angles when the anti-log-canonical divisors are not big. Cheltsov, Rubinstein and Zhang proved it affirmatively in dimension $2$ with irreducible boundaries except for the type $(\operatorname{I.9B.}n)$ with $1\leq n\leq 6$. Unfortunately, recently, Fujita, Liu, S\"u\ss, Zhang and Zhuang showed the non-K-polystability for some members of type $(\operatorname{I.9B.}1)$ and for some members of type $(\operatorname{I.9B.}2)$. In this article, we show that Cheltsov--Rubinstein's problem is true for all of the remaining cases. More precisely, we explicitly compute the delta-invariant for asymptotically log del Pezzo surfaces of type $(\operatorname{I.9B.}n)$ for all $n\geq 1$ with small cone angles. As a consequence, we finish Cheltsov--Rubinstein's problem in dimension $2$ with irreducible boundaries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to resolve the remaining open cases of Cheltsov–Rubinstein's conjecture on K-polystability of asymptotically log del Pezzo surfaces with irreducible boundaries in dimension 2 by explicitly computing the δ-invariant for all surfaces of type (I.9B.n), n≥1, with small cone angles; this is said to finish the problem after prior work left cases n=1..6 unsettled and some members of n=1,2 were shown unstable by Fujita et al.
Significance. If the explicit δ-computations are correct and apply to the intended surfaces, the result completes the K-polystability classification in dimension 2 with irreducible boundaries, supplying concrete, verifiable values that confirm uniform K-stability for the remaining families.
major comments (2)
- [Introduction / §1 (classification and non-bigness statements)] The manuscript adopts the classification of surfaces into type (I.9B.n) and the non-bigness of the anti-log-canonical divisor directly from Cheltsov–Rubinstein without re-deriving or verifying these statements for arbitrary n (including large n). These assumptions are load-bearing for the central claim, since the δ-computations only address K-polystability under precisely those hypotheses; if the type list or non-bigness fails for any n, the computed δ-values do not settle the conjecture for those surfaces.
- [Main computation sections (delta-invariant calculations)] The explicit δ-invariant computations for small cone angles (the main technical contribution) are asserted to close the conjecture, yet the provided abstract and surrounding discussion give no indication of how error controls, the small-angle limit, or the reduction to previously known quantities are handled; without these details the central claim rests on unexamined steps.
minor comments (1)
- Clarify the precise relation between the new δ-computations and the quantities fitted in the cited earlier papers by overlapping authors to make independence explicit.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying points that merit clarification. We respond to each major comment below, indicating the revisions we will make to strengthen the presentation while preserving the core arguments of the manuscript.
read point-by-point responses
-
Referee: [Introduction / §1 (classification and non-bigness statements)] The manuscript adopts the classification of surfaces into type (I.9B.n) and the non-bigness of the anti-log-canonical divisor directly from Cheltsov–Rubinstein without re-deriving or verifying these statements for arbitrary n (including large n). These assumptions are load-bearing for the central claim, since the δ-computations only address K-polystability under precisely those hypotheses; if the type list or non-bigness fails for any n, the computed δ-values do not settle the conjecture for those surfaces.
Authors: The complete classification of asymptotically log del Pezzo surfaces in dimension 2 with irreducible boundaries, including the families of type (I.9B.n) for every n ≥ 1, together with the non-bigness of the anti-log-canonical divisor, is established in Cheltsov–Rubinstein. Our work takes these statements as given (with explicit citations) and computes the δ-invariants under precisely those hypotheses for the remaining open cases with small cone angles. We will add a short paragraph in the introduction that quotes the relevant theorems from Cheltsov–Rubinstein and notes that they apply uniformly for all n, thereby making the dependence on the prior classification fully transparent. revision: yes
-
Referee: [Main computation sections (delta-invariant calculations)] The explicit δ-invariant computations for small cone angles (the main technical contribution) are asserted to close the conjecture, yet the provided abstract and surrounding discussion give no indication of how error controls, the small-angle limit, or the reduction to previously known quantities are handled; without these details the central claim rests on unexamined steps.
Authors: The abstract is intentionally concise. The explicit δ-computations, the passage to the small-cone-angle limit, the error estimates, and the reductions to previously known quantities are carried out in detail in Sections 3 and 4. To make the logical structure more immediately visible, we will insert a brief outline of the computational strategy at the end of the introduction, highlighting the key estimates that control the error terms and the manner in which the small-angle limit is taken. revision: yes
Circularity Check
Minor self-citation on non-polystability examples; explicit delta computation is independent
specific steps
-
self citation load bearing
[Abstract]
"Unfortunately, recently, Fujita, Liu, Süss, Zhang and Zhuang showed the non-K-polystability for some members of type (I.9B.1) and for some members of type (I.9B.2). In this article, we show that Cheltsov--Rubinstein's problem is true for all of the remaining cases. More precisely, we explicitly compute the delta-invariant for asymptotically log del Pezzo surfaces of type (I.9B.n) for all n≥1 with small cone angles."
The scope of the new delta computation ('remaining cases') is delimited by the author's own prior result on non-polystability. While the explicit computation itself does not reduce to the cited result by construction, the self-citation defines the problem boundary and is therefore load-bearing for the claim of finishing the full problem.
full rationale
The paper's central step is an explicit computation of the delta-invariant for surfaces of type (I.9B.n). Classification into these types and non-bigness of anti-log-canonical divisors are cited from Cheltsov-Rubinstein (non-overlapping authors). The non-K-polystability for some members of types 1 and 2 is cited from prior work with overlapping authors (Fujita et al.), which is used only to identify the 'remaining cases.' This is a single minor self-citation that does not reduce the new computation to its inputs by construction. No fitted-input-called-prediction, self-definitional, or ansatz-smuggled patterns appear in the provided text. The derivation remains self-contained against external benchmarks.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.