K-stability for varieties with a big anticanonical class

Chenyang Xu

K-stability for varieties with a big anticanonical class

T0 review · 0 major / 2 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read K-semistability on pairs with big anticanonical class forces a klt anticanonical model with the same stability.

desk verdict Xu's note extends K-stability to klt pairs with big anticanonical class and shows semistability forces a matching klt anticanonical model. read the letter →

arxiv 2210.16631 v3 pith:UO2SKOME submitted 2022-10-29 math.AG math.DG

Chenyang Xu This is my paper · ORCID

classification math.AGmath.DG

keywords K-stabilitykltpairsbiganticanonicalclassmodelbirationalgeometryalgebraic

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper extends the algebraic theory of K-stability to projective klt pairs whose anticanonical class is big but not necessarily ample. It observes that the K-semistability condition rules out pathological behavior by guaranteeing a klt anticanonical model. This model carries exactly the same stability properties as the original pair. A reader would care because the result reduces questions about the big case to the already-understood ample case without new inconsistencies.

What carries the argument

The K-semistability condition on pairs with merely big anticanonical class, which enforces the existence and stability equivalence of the klt anticanonical model.

What would settle it

An explicit example of a K-semistable projective klt pair with big anticanonical class that lacks a klt anticanonical model would disprove the claim.

Watch

Extended reading notes

Core claim

K-semistability on a projective klt pair with big anticanonical class implies the existence of a klt anticanonical model whose stability properties match those of the original pair.

Load-bearing premise

The algebraic K-stability theory extends without inconsistencies to projective klt pairs whose anticanonical class is big rather than ample.

Editorial extensions

If this is right

K-semistable pairs with big anticanonical class reduce to pairs with ample anticanonical class via their models.
Stability properties of the original pair and its model coincide exactly.
Pathological behavior is excluded once semistability is assumed.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

This reduction might let existing results on K-stable Fano varieties apply directly to certain non-Fano cases after passing to the model.
It could simplify the construction of moduli spaces by allowing one to work only with the models.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

Xu's short note extends algebraic K-stability to projective klt pairs where the anticanonical class is big but not necessarily ample. The central observation is that K-semistability on such a pair forces the existence of a klt anticanonical model whose stability properties coincide with those of the original pair. This directly addresses the pathologies that can appear when the class is merely big rather than ample. The extension is conditioned on semistability itself, which keeps the setup consistent without new inconsistencies or undefined quantities. What is new is the targeted broadening of the class of objects that fit under the existing framework, plus the explicit statement that semistability rules out the bad behavior. The note does this cleanly and without circularity. The soft spots are limited. The piece is brief, so the precise definitions used for the extended stability notions and the steps in the argument would need checking in the full text, but nothing in the stated claim suggests load-bearing gaps or post-hoc restrictions. The observation follows from the extension in a straightforward way. This is for people already working on K-stability and moduli of Fano or log Fano varieties. A reader who knows the standard ample case will see immediate value in how the theory adapts. It shows clear engagement with the literature and the technical barrier it removes. I would bring it to a reading group as maybe. I would cite it in the next year if working in this area. It deserves peer review because the claim is sharp enough and the extension fills a real gap. Recommendation: send to peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript extends algebraic K-stability theory from the ample anticanonical case to projective klt pairs (X, Δ) where −K_X − Δ is merely big. It observes that K-semistability of such a pair forces the existence of a klt anticanonical model on which the stability properties coincide exactly with those of the original pair, thereby ruling out the mentioned pathologies precisely when semistability holds.

Significance. If the extension of the stability notions is rigorously defined and the observation is proved, the result supplies a useful reduction: semistable pairs with big anticanonical class can be replaced by their anticanonical models without changing the stability status. This could streamline arguments in the algebraic study of K-stability beyond Fano varieties and in birational geometry contexts where big but non-ample anticanonical classes appear.

minor comments (2)

The abstract states that the theory is extended and that an observation follows, but the manuscript should explicitly record the precise definitions of the extended K-stability and K-semistability notions for pairs with big anticanonical class (e.g., the relevant test configurations or filtration data) so that the observation can be verified directly from the text.
Since the manuscript is presented as a short note, a brief outline or reference to the key steps establishing that semistability implies the existence of the klt anticanonical model would improve readability without lengthening the paper substantially.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. No specific major comments appear in the report, so there are no individual points requiring point-by-point replies. We are pleased that the utility of the reduction to the anticanonical model under K-semistability is recognized.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper extends algebraic K-stability to projective klt pairs with big anticanonical class and states as an observation that K-semistability forces a klt anticanonical model whose stability coincides with the original pair. No equations, fitted parameters, or self-citations are shown reducing the central claim to its inputs by construction. The observation is conditioned on semistability itself and does not invoke self-definitional loops, uniqueness theorems from the same authors, or renamed empirical patterns. The derivation chain remains independent of the target result.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The work relies on standard background from algebraic geometry and prior K-stability literature without introducing new free parameters, ad-hoc axioms, or invented entities.

assumptions (1)

domain assumption Standard definitions and properties of klt pairs, big divisors, and K-stability from prior literature apply directly to the extended setting.
The abstract invokes the extension of existing theory without re-deriving foundational notions.

how reviews work

0 comments

Cite this review

Pith. "Pith review of K-stability for varieties with a big anticanonical class." pith.science (2026). https://pith.science/paper/UO2SKOME

@misc{pith2026221016631,
  author       = {Pith},
  title        = {Pith review of: K-stability for varieties with a big anticanonical class},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UO2SKOME}},
  note         = {Machine review of arXiv:2210.16631}
}

read the original abstract

We extend the algebraic K-stability theory to projective klt pairs with a big anticanonical class. While in general such a pair could behave pathologically, it is observed in this note that K-semistability condition will force them to have a klt anticanonical model, whose stability property is the same as the original pair.

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We extend the algebraic K-stability theory to projective klt pairs with a big anticanonical class... K-semistability condition will force them to have a klt anticanonical model
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

δ(X, ∆) = inf_E A_{X,∆}(E)/S_{X,∆}(E)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

Quasi-Projective Moduli for Polarized klt Good Minimal Models
math.AG 2026-05 unverdicted novelty 5.0 of 10

The normalization of the moduli space of polarized klt good minimal models of arbitrary Kodaira dimension is quasi-projective.

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.