Pith. sign in

REVIEW 3 major objections 4 minor 24 references

$\Theta$-reductivity and $S$-completeness for adjoint Fano foliated structures

T0 review · 3 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read Adjoint Fano foliated structures satisfy the moduli-theoretic valuative criteria of Θ-reductivity and S-completeness, a key step toward a good moduli space.

desk verdict A serious foliated analogue of the BX19/ABHLX20 valuative criteria, built on extensive unpublished MMP machinery; worth refereeing, with the relative finite-generation input the main thing to check. read the letter →

arxiv 2607.17878 v1 pith:D4DAC3TG submitted 2026-07-20 math.AG

Theodoros Stylianos Papazachariou This is my paper · ORCID
classification math.AG MSC 14D2014E3014J4014M25
keywords adjointFanofoliatedstructuresK-stabilityTheta-reductivityS-completenessDingsemistabilitymodulispacesinversionofadjunctionfoliations
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

This paper proves that the moduli problem of t-K-semistable adjoint Fano foliated structures—varieties equipped with an algebraically integrable foliation and a rational weight t—satisfies the two valuative criteria that guarantee a well-behaved moduli stack: Θ-reductivity and S-completeness. The author shows that any special degeneration of the generic fibre over a punctured curve extends uniquely to a full admissible family, and that two families with isomorphic generic fibres glue uniquely over the stacky test curve. These are precisely the conditions needed to construct a moduli space with a good quotient, parallel to the K-moduli theory for Fano varieties. The proof rests on a new mixed Ding-semistability theory for arbitrary linearly bounded multiplicative filtrations, an inversion-of-adjunction theorem with arbitrary ideals, and a relative extraction and finite-generation theorem for foliated structures. If these criteria hold, the expected moduli stack of t-K-polystable adjoint Fano foliated structures would admit a good moduli space, and the paper already derives concrete consequences: uniqueness of t-K-polystable degenerations, reductivity of automorphism groups of t-K-polystable objects, and finiteness of automorphism groups of t-K-stable objects.

What carries the argument

The central machinery is the mixed Ding invariant and the associated mixed log canonical slope. For an adjoint foliated structure (X,F,t), the mixed log discrepancy combines the usual variety discrepancy with a foliated discrepancy, and the mixed Ding invariant of a filtration is defined as the difference between its mixed log canonical slope and its expected vanishing slope. The paper proves that t-K-semistability implies non-negativity of this invariant on all linearly bounded multiplicative filtrations (Theorem 4.17). This birational invariant, together with a new inversion-of-adjunction theorem for arbitrary ideals (Theorem 5.13) and a relative extraction and finite-generation theorem (T

What would settle it

A counterexample would be an admissible DVR family over a general DVR whose generic fibre admits a special t-K-semistable degeneration that does not extend over the full affine line, or two families with isomorphic generic fibres that fail to glue over ST_R. Since such a counterexample would necessarily involve a DVR not essentially of finite type, a concrete test is to attempt the same construction over a DVR of mixed characteristic and see whether the needed MMP step (e.g., existence of a qdlt modification) fails.

Watch

Extended reading notes

Core claim

The central claim is that the moduli problem of t-K-semistable adjoint Fano foliated structures satisfies the valuative criteria of Θ-reductivity and S-completeness over DVRs essentially of finite type. More precisely, for any admissible DVR family with t-K-semistable fibres, every special t-K-semistable degeneration of the generic fibre extends uniquely to an admissible family over the affine line, keeping all geometric fibres t-K-semistable; and two admissible families with isomorphic generic fibres extend uniquely over the stacky test curve ST_R. These are the exact stack-theoretic conditions that, combined with an expected finite-type Artin stack, would imply the existence of a good modu

Load-bearing premise

The load-bearing premise is that the foliated minimal model program and singularity machinery cited from [CHL+24, CHL+25]—qdlt modifications, inversion of adjunction, Bertini-type theorems, finite generation—is valid exactly in the relative admissibility setting used here, a premise the author only knows over DVRs essentially of finite type.

Editorial extensions

If this is right

  • If the eventual moduli stack exists, the valuative criteria proved here imply that it admits a good moduli space whose closed points parametrize t-K-polystable adjoint Fano foliated structures.
  • Every t-K-semistable adjoint Fano foliated structure has a unique t-K-polystable degeneration, paralleling the Fano case.
  • The automorphism group of a t-K-polystable adjoint Fano foliated structure is reductive, and it is finite when the structure is t-K-stable.
  • Isomorphisms between admissible families of t-K-semistable adjoint Fano foliated structures extend uniquely over the punctured base when the central fibre is t-K-stable.
  • The technical results—mixed Ding theory and inversion of adjunction with ideals—apply to arbitrary linearly bounded multiplicative filtrations, not just those arising from test configurations, strengthening the stability theory.

Reading between the lines

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

  • The restriction to DVRs essentially of finite type is likely removable once the foliated MMP techniques cited from [CHL+24, CHL+25] are extended to general DVRs; the author explicitly flags this as an avoidable limitation.
  • The mixed Ding-semistability criterion for arbitrary filtrations could provide a practical way to verify t-K-semistability in examples, since filtrations are often easier to construct than full test configurations.
  • The inversion-of-adjunction result for arbitrary ideals may be useful beyond the moduli context, for instance in studying singularities of foliated pairs that are not necessarily Fano.
  • A testable extension would be to check whether the methods adapt to the case t=1 (pure foliated K-stability) or to rank-one foliations where the MMP is better understood.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper claims to prove the valuative criteria of Θ-reductivity and S-completeness for the moduli problem of t-K-semistable adjoint Fano foliated structures over DVRs essentially of finite type. The proof develops a mixed Ding theory for arbitrary linearly bounded multiplicative filtrations, proves an inversion-of-adjunction theorem with arbitrary ideals in the admissible family setting, and establishes a relative extraction/finite-generation theorem. These are then used to prove the two main extension theorems (Theorems 1.1 and 1.2), and applications to uniqueness of t-K-polystable degenerations, reductivity of automorphism groups, and finiteness of automorphisms in the t-K-stable case. The paper is explicit that the base restriction to essentially finite type DVRs is forced by the current state of the adjoint foliated MMP, and that the construction of a full moduli stack remains open.

Significance. If the main results are correct, this is a significant step toward a K-moduli theory for adjoint Fano foliated structures. The paper is carefully structured, states precise technical hypotheses, and gives a coherent extension of the Blum–Xu/Alper–Halpern-Leistner–Heinloth methodology to a foliated setting. The applications — uniqueness of K-polystable degenerations and reductivity of automorphism groups — are the expected valuative inputs for a future moduli stack. The main caveat is that the proof relies on a body of recent preprints ([CHL+24], [CHL+25], [Pap26a], [Pap26b]) whose relative versions over DVRs are not verified in this paper. The authors' explicit limitation to DVRs essentially of finite type is honest but does not by itself establish that the cited theorems hold in that setting.

major comments (3)
  1. [§6.3, Prop. 6.3 / Thm 6.4] The finite-generation step is not supported by the cited results in the form used. Prop. 6.3 concludes that Z is of Fano type over Spec R by applying [CHL+25, Thm 2.4.2] to B_{s,δ}/Spec R, then applies [Xu25, Cor. 1.70] to obtain finite generation of RG(X,L_r). The paper restricts to DVRs essentially of finite type because the foliated MMP is unavailable over arbitrary DVRs (Section 1), but it does not verify that [CHL+25, Thm 2.4.2] and [Xu25, Cor. 1.70] hold for this relative, potentially non-Q-factorial setting with -K ample over Spec R. Since Thm 6.4 is the mechanism for finite generation in Thms 7.5 and 8.12, this is load-bearing. Please add a proof or an exact reference for the relative versions.
  2. [§5.2, Lemma 5.2] Lemma 5.2 constructs the divisor D using the Bertini-type theorem [CHL+25, Thm 3.28(1)] in a relative setting (over a smooth curve C). The cited theorem, as far as the manuscript indicates, is for foliated pairs over a field. Lemma 5.2 is used in Lemma 5.3 and hence in the inversion-of-adjunction Theorem 5.13; without a relative Bertini statement, the proof of Theorem 5.13 is incomplete. Please verify the relative version or supply a proof.
  3. [§4.5, Lemma 4.14] The proof of Lemma 4.14 delegates several asymptotic-limit steps to 'identical arguments' in [Xu25, Lemma 1.50] and uses the valuation-extension formula (4.1) quoted from [Pap26a] without proof. These steps are not cosmetic: the equality μ^[t](G)=L^[t](G) is what lets Proposition 4.16 identify the filtration Ding invariant with the test-configuration invariant, and thus underlies Theorem 4.17, which is used in both main theorems. The missing arguments or precise statements of the quoted results should be supplied.
minor comments (4)
  1. [Section 1, p. 2] Typo: 'anavoidable' should be 'unavoidable'.
  2. [Lemma 4.10] 'lct[t](X,F,J^{(a)}_{•,G})' should presumably be 'I^{(a)}_{•,G}'.
  3. [Definition 3.3] The symbol 'b⊗' is used without definition; please define the reflexive tensor product notation explicitly.
  4. [§4.5, Definition of L^[t](G)] The existence of the limit defining c^[t]∞(G,e+) is postponed to an omitted argument; a one-line justification (or a precise reference) would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the valuative criteria are derived from prior independent foliated MMP and the author's earlier K-stability results, not from the target statements.

full rationale

The derivation chain is not circular. The two main theorems (Theta-reductivity and S-completeness) are proved by genuinely new intermediate results: a filtration/Ding reformulation (Section 4), inversion of adjunction with ideals (Section 5), and a relative extraction/finite-generation theorem (Section 6). The key implication that t-K-semistability implies nonnegativity of the mixed Ding invariant for every linearly bounded multiplicative filtration is proved in Theorem 4.17 by passage to finitely generated approximating filtrations and the author's earlier equivalence between t-K-semistability and t-Ding-semistability; it is not assumed. The finite-generation step in Theorem 6.4 is imported from [CHL+25, Thm 2.4.2] and [Xu25, Cor. 1.70], which are external to the paper and do not contain the target Theta/S-completeness conclusion. The self-citations [Pap26a, Pap26b] supply definitions, the special-divisor correspondence, the DF/Ding equivalence, and the klt consequence for t-K-semistable fibres; these are prior theorem statements with explicit assumptions that do not include the paper's target results, so they are independent support rather than a reduction-by-construction. The paper also explicitly limits itself to DVRs essentially of finite type (Section 1) because the foliated MMP tools are unavailable over general DVRs; this is a stated limitation and a potential correctness risk if the cited relative theorems fail over such bases, but it is not a circularity. No equation in the proof is equivalent to its input by definition, and no fitted parameter is renamed as a prediction.

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

The paper is a structural proof and introduces no free constants. Its central claims rest on the cited foliated MMP and on the author's own previous K-stability preprints; those are the main axioms. No new physical or mathematical entities beyond the prior literature are introduced.

assumptions (5)
  • domain assumption Foliations are algebraically integrable and K_X, K_F are Q-Cartier; 0<t<1.
    Standing assumptions in Definitions 2.4-2.6; they restrict the class of foliated structures and are standard for the adjoint foliated MMP.
  • domain assumption The adjoint foliated MMP results of [CHL+24, CHL+25] hold: qdlt modification, inversion of adjunction, Bertini-type theorem, finite generation, Fano-type conclusion.
    Used in Theorems 5.9, 5.13, 6.4 and Section 7; the central proof depends on them and they are not proved in the paper.
  • domain assumption The author's earlier results [Pap26a, Pap26b] correctly establish t-K-semistability, t-Ding equivalence, and the theorem that t-K-semistable adjoint Fano foliated structures are klt.
    Invoked as Theorem 2.12, [Pap26a, Cor 7.10], and [Pap26a, Thm 7.7]; these are prior preprints by the same author, so the present results inherit their correctness.
  • domain assumption Characteristic zero algebraically closed base field and DVRs essentially of finite type over k.
    The MMP and finite-generation techniques used require characteristic zero; the essentially finite type restriction is explicit in Section 1 and Sections 6-8.
  • domain assumption The stack-theoretic valuative criteria of [AHLH23] will apply once a representing Artin stack is constructed.
    The paper proves criteria for essentially finite type DVRs and says arbitrary DVRs would follow from [AHLH23, Thm 5.4] under the expected stack existence; that stack is not constructed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of $\Theta$-reductivity and $S$-completeness for adjoint Fano foliated structures." pith.science (2026). https://pith.science/paper/D4DAC3TG

@misc{pith2026260717878,
  author       = {Pith},
  title        = {Pith review of: $\Theta$-reductivity and $S$-completeness for adjoint Fano foliated structures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D4DAC3TG}},
  note         = {Machine review of arXiv:2607.17878}
}
abstract

We prove the valuative criteria of $\Theta$-reductivity and $S$-completeness for the moduli problem of $t$-K-semistable adjoint Fano foliated structures. We develop a mixed Ding theory for arbitrary linearly bounded multiplicative filtrations, prove inversion of adjunction with arbitrary ideals for adjoint foliated structures, and establish a relative extraction and finite generation theorem. Together, these results yield the required relative extension theorems for families. As applications, we prove uniqueness of $t$-K-polystable degenerations, reductivity of the automorphism group of $t$-K-polystable adjoint Fano foliated structures, and finiteness of the automorphism group in the $t$-K-stable case.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 7 linked inside Pith

  1. [1]

    Reductivity of the automorphism group of K -polystable F ano varieties

    Jarod Alper, Harold Blum, Daniel Halpern-Leistner, and Chenyang Xu. Reductivity of the automorphism group of K -polystable F ano varieties. Inventiones mathematicae , 222(3):995--1032, 2020

    2020

  2. [2]

    Shokurov, and Calum Spicer

    Florin Ambro, Paolo Cascini, Vyacheslav V. Shokurov, and Calum Spicer. Positivity of the moduli part. arXiv:2111.00423, 2021

    arXiv 2021

  3. [3]

    On F ano foliations

    Carolina Araujo and St \'e phane Druel. On F ano foliations. Advances in Mathematics , 238:70--118, 2013

    2013

  4. [4]

    Existence of moduli spaces for algebraic stacks

    Jarod Alper, Daniel Halpern-Leistner, and Jochen Heinloth. Existence of moduli spaces for algebraic stacks. Inventiones Mathematicae , 234(3):949--1038, 2023

    2023

  5. [5]

    Openness of uniform K -stability in families of Q - F ano varieties

    Harold Blum and Yuchen Liu. Openness of uniform K -stability in families of Q - F ano varieties. Annales scientifiques de l'\'Ecole Normale Sup\'erieure , 55(1): 1--41 , 2022

    2022

  6. [6]

    Openness of K -semistability for F ano varieties

    Harold Blum, Yuchen Liu, and Chenyang Xu. Openness of K -semistability for F ano varieties. Duke Math. J. , 171(13):2753--2797, 2022

    2022

  7. [7]

    Birational Geometry of Foliations , volume 1 of IMPA Monographs

    Marco Brunella. Birational Geometry of Foliations , volume 1 of IMPA Monographs . Springer, 2015

    2015

  8. [8]

    Uniqueness of K -polystable degenerations of F ano varieties

    Harold Blum and Chenyang Xu. Uniqueness of K -polystable degenerations of F ano varieties. Annals of Mathematics , 190(2):609--656, 2019

    2019

Show all 24 references
  1. [9]

    On the construction of quotient spaces by algebraic foliations

    Federico Bongiorno. On the construction of quotient spaces by algebraic foliations. arXiv preprint arXiv:2110.05963 , 2021

    2021 arXiv

  2. [10]

    Algebraic leaves of algebraic foliations over number fields

    Jean-Beno \^ t Bost. Algebraic leaves of algebraic foliations over number fields. Publ. Math. Inst. Hautes \'Etudes Sci. , 93:161--221, 2001

    2001

  3. [11]

    Minimal model program for adjoint foliated structures

    Paolo Cascini, Jingjun Han, Jihao Liu, Fanjun Meng, Calum Spicer, Roberto Svaldi, and Lingyao Xie. Minimal model program for adjoint foliated structures. arXiv:2408.14258, 2024

    2024 arXiv

  4. [12]

    On finite generation and boundedness of adjoint foliated structures

    Paolo Cascini, Jingjun Han, Jihao Liu, Fanjun Meng, Calum Spicer, Roberto Svaldi, and Lingyao Xie. On finite generation and boundedness of adjoint foliated structures. arXiv:2504.10737, 2025

    2025 arXiv

  5. [13]

    Birational boundedness of stable families, 2026

    Paolo Cascini, Jihao Liu, Calum Spicer, and Roberto Svaldi. Birational boundedness of stable families, 2026. arxiv:2604.24106, 2026

    2026 arXiv

  6. [14]

    On the MMP for rank one foliations on threefolds

    Paolo Cascini and Calum Spicer. On the MMP for rank one foliations on threefolds. Forum of Mathematics, Pi , 13:e20, 2025

    2025

  7. [15]

    Boundedness of Q -fano varieties with degrees and alpha-invariants bounded from below

    Chen Jiang. Boundedness of Q -fano varieties with degrees and alpha-invariants bounded from below. Annales scientifiques de l' \'E cole Normale Sup \'e rieure , 53(5):1235--1248, 2020

    2020

  8. [16]

    Families of Varieties of General Type

    J \'a nos Koll \'a r. Families of Varieties of General Type . Cambridge Tracts in Mathematics, volume 231. Cambridge University Press, Cambridge, 2023

    2023

  9. [17]

    A generalization of the R oss-- T homas slope theory

    Yuji Odaka. A generalization of the R oss-- T homas slope theory. Osaka Journal of Mathematics , 50(1):171--185, 2013

    2013

  10. [18]

    K -stability of adjoint F ano foliated structures

    Theodoros Papazachariou. K -stability of adjoint F ano foliated structures. arXiv:2605.21995, 2026

    2026 arXiv

  11. [19]

    Singularity criteria for K -stability of adjoint foliated structures, arXiv:2605.28140, 2026

    Theodoros Papazachariou. Singularity criteria for K -stability of adjoint foliated structures, arXiv:2605.28140, 2026

    2026 arXiv

  12. [20]

    Almost proper GIT -stacks and discriminant avoidance

    Jason Starr and Aise Johan de Jong. Almost proper GIT -stacks and discriminant avoidance. Documenta Mathematica , 15:957--972, 2010

    2010

  13. [21]

    Seidenberg

    A. Seidenberg. Derivations and integral closure. Pacific Journal of Mathematics , 16(1):167--173, 1966

    1966

  14. [22]

    The Stacks Project

    The Stacks Project Authors. The Stacks Project . https://stacks.math.columbia.edu

  15. [23]

    Height and GIT weight

    Xiaowei Wang. Height and GIT weight. Mathematical Research Letters , 19(4):909--926, 2012

    2012

  16. [24]

    C. Xu. K-stability of Fano Varieties , volume 50 of New Mathematical Monographs . Cambridge University Press, 2025

    2025

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.