- The paper develops a mixed K-stability theory for adjoint Fano foliated structures using F-compatible, algebraically integrable test configurations and an adjoint foliated MMP.
- It proves that stability can be tested using special degenerations, establishes equivalence with Ding stability, and gives a Fujita–Li valuative criterion through mixed beta and delta invariants.
- It shows that t-K-semistable structures with fixed dimension and a positive volume lower bound form a bounded family, while examples exhibit wall-crossing and instability as t approaches 1.
Overview
The paper develops a theory of K-stability for adjoint foliated structures, i.e. triples (X,F,t) consisting of a normal variety X, an algebraically integrable foliation F, and a parameter t∈[0,1], with the adjoint canonical class KX,F[t]=(1−t)KX+tKF. The central object is the adjoint Fano foliated structure, where −KX,F[t] is ample. The motivation is twofold: on one hand, K-stability of Fano varieties has matured into a complete moduli theory for klt Fano varieties; on the other, the MMP for algebraically integrable adjoint foliated structures — finite generation, existence and termination of flips, and boundedness analogues of BAB — has recently been established in [CHLMSSX24, CHLMSX25]. The paper answers affirmatively whether these two threads can be combined: it defines t-K-stability via test configurations, proves reduction to special test configurations, establishes a Fujita–Li-type valuative criterion via prime divisors, introduces mixed α, β, δ-invariants, and derives boundedness of X0-K-semistable structures.
F-compatible test configurations and the mixed Donaldson–Futaki invariant
The key definitional innovation is the notion of an X1-compatible test configuration: a normal test configuration X2 for X3 equipped with a X4-equivariant saturated integrable subsheaf X5 restricting to the product foliation over the punctured base, with X6 required to be algebraically integrable. The author is explicit that this last condition is imposed in order to invoke the MMP results of [CHLMSSX24, CHLMSX25], and that it is not claimed to be preserved under arbitrary deformations — removing it is left as an open question.
For such a test configuration, the mixed Donaldson–Futaki invariant is defined intersection-theoretically:
X7
where X8 is the foliated slope. The definition passes natural sanity checks: at X9 or when F0 (or F1) it recovers the classical Donaldson–Futaki invariant. Positivity against all normal F2-compatible test configurations defines F3-K-semistability, with strict positivity for non-trivial configurations giving F4-K-stability, and uniform stability formulated via the non-Archimedean J-functional. At F5 one obtains a purely foliated notion, but the paper shows (Remark 6.x) that a naive K-stability theory for Fano foliations alone would be vacuous: any non-trivial F6-invariant divisor F7 satisfies F8 while F9, forcing t∈[0,1]0. This observation justifies focusing on the genuinely mixed regime t∈[0,1]1.
Reduction to special test configurations
The technical core adapts the Li–Xu road map [LX14] to families of adjoint Fano foliated structures over a curve. Starting from a normal t∈[0,1]2-compatible test configuration, after a finite base change and equivariant semistable resolution, the paper constructs a t∈[0,1]3-factorial qdlt model using the qdlt modification theorem for adjoint foliated structures, then runs a t∈[0,1]4-equivariant t∈[0,1]5-MMP with scaling, reaching a relative anti-adjoint model t∈[0,1]6. A final extraction step, ordering vertical coefficients so that exactly one distinguished component survives, produces a special fibre of discrepancy zero and hence a normal t∈[0,1]7-compatible special test configuration.
The monotonicity mechanism is that the mixed Donaldson–Futaki invariant is non-increasing along each birational step: along the qdlt/base-change step via differentiation of the invariant under perturbation of the polarisation (using the negativity of intersections of fibre-supported divisors), along divisorial contractions and flips because in the anti-adjoint regime t∈[0,1]8 and t∈[0,1]9 increases under the MMP steps, and along the final contraction by an interpolation argument. The main result is that for any normal KX,F[t]=(1−t)KX+tKF0-compatible test configuration there exists, after a base change of degree KX,F[t]=(1−t)KX+tKF1, a special KX,F[t]=(1−t)KX+tKF2-compatible test configuration with
KX,F[t]=(1−t)KX+tKF3
Consequently, KX,F[t]=(1−t)KX+tKF4-K-semistability can be tested only against special KX,F[t]=(1−t)KX+tKF5-compatible test configurations. Two assumptions are load-bearing here: the ambient variety must be potentially klt and KX,F[t]=(1−t)KX+tKF6 not pseudo-effective over the base, both needed to run the adjoint foliated MMP; the author notes that future work will show KX,F[t]=(1−t)KX+tKF7-K-semistable structures are klt, partially justifying these hypotheses.
Ding stability and the valuative criterion
A mixed Ding invariant is defined via the mixed log canonical threshold of the mixed correction divisor KX,F[t]=(1−t)KX+tKF8 along the central fibre. The same birational procedure shows the quantity KX,F[t]=(1−t)KX+tKF9 decreases along each step, and since the resulting special configuration is −KX,F[t]0-weakly special (on which −KX,F[t]1), the paper obtains the equivalence of −KX,F[t]2-K-semistability with −KX,F[t]3-Ding semistability, and of uniform −KX,F[t]4-K-stability with uniform −KX,F[t]5-Ding stability.
Combining this with a foliated adaptation of Fujita's flag-ideal blow-up construction yields the Fujita–Li valuative criterion: for −KX,F[t]6 and −KX,F[t]7,
−KX,F[t]8
for every prime divisor −KX,F[t]9 over t0, where t1. A key computational input is Proposition 4.x showing that for a Rees degeneration induced by an t2-dreamy valuation, t3; the proof carefully tracks how the foliated discrepancy transforms under blowing up t4, contributing exactly t5 (the transversality indicator) in the transverse case. It follows that t6 of the associated special test configuration equals the mixed t7-invariant of the central-fibre valuation.
Mixed t8, t9-invariants and boundedness
Following Blum–Jonsson [BJ20], the paper defines the mixed stability threshold via basis type divisors,
α0
and proves the limit of the finite-level invariants exists and admits this valuation-theoretic description. Consequently, α1 is α2-K-semistable if and only if α3, and uniformly α4-K-stable if and only if α5. The mixed α6-invariant α7 satisfies the standard sandwich
α8
so α9 suffices for β0-K-semistability, while β1-K-semistability implies β2.
This lower bound feeds directly into boundedness. Using weighted blow-up computations showing that mixed discrepancies of extracted divisors satisfy β3, the paper proves that any family with β4 and β5 consists of β6-lc structures with β7; combined with the boundedness theorem for adjoint Fano foliated structures from [CHLMSX25, Theorem B], this yields that β8-dimensional β9-K-semistable adjoint Fano foliated structures with volume bounded below form a bounded family. The author notes that a related boundedness statement appears in [CLSV26, Theorem E], proved there via minimal log discrepancy estimates without an accompanying K-stability notion; that result can also be deduced from the present theorem.
Examples and wall-crossing behaviour
Several general criteria illustrate the theory. If δ0 is K-semistable δ1-Fano, δ2 is lc, and δ3 with δ4 for all divisorial valuations, then δ5 is δ6-K-semistable whenever δ7; e.g., a general pencil of plane cubics gives a δ8-K-semistable structure on δ9 for all X00. If X01 is uniformly K-stable and X02 is lc, then X03 is uniformly X04-K-stable for all sufficiently small X05, by continuity of the delta invariant on the big cone.
On the unstable side, the paper proves a structural dichotomy: for any algebraically integrable Fano foliation X06, there exists X07 such that X08 fails X09-K-semistability for all X10, since an X11-invariant divisor has X12 while X13 stays positive near X14. Similarly, non-lc singularities of X15 obstruct semistability near X16, so semistability along a sequence X17 forces X18 to be lc. In the proportional case X19, the affine-linearity of X20 in X21 implies the semistable locus X22 is a closed interval, possibly empty — a wall-crossing phenomenon. A concrete example: for a smooth cubic fourfold X23 with the codimension-one foliation induced by a general Lefschetz pencil, X24 is uniformly X25-K-stable for small X26 but not X27-K-semistable for X28, since the smooth pencil member X29 has X30. The radial foliation on X31 gives instability for every X32.
Limitations and open questions
Several restrictions are acknowledged explicitly. The algebraic integrability requirement on X33 in the definition of X34-compatible test configurations is a working hypothesis rather than a canonical feature, and its removability is open. The reduction and Ding arguments require the ambient variety to be potentially klt and the relative adjoint class to be non-pseudo-effective; the justification that X35-K-semistable structures satisfy these conditions is deferred to future work. The openness of the X36-K-semistable locus — the other essential ingredient for constructing a moduli stack X37 with a good moduli space X38 of X39-K-polystable objects — "seems out of reach with the current MMP methods" according to the author. Finally, the toolkit for verifying X40-K-stability in explicit examples remains limited, motivating the question of whether Abban–Zhuang theory extends to the mixed setting; the paper also leaves the properties of the mixed normalised volume X41 unexplored, with a cone-characterisation of X42-K-semistability planned for subsequent work.
Conclusion
The paper establishes that the standard architecture of K-stability for Fano varieties — test configurations, special reduction via MMP, Ding equivalence, Fujita–Li valuative criteria, delta-invariant characterisations, and boundedness — carries over coherently to adjoint Fano foliated structures, provided one works with X43-compatible, algebraically integrable degenerations and exploits the recently developed adjoint foliated MMP. The boundedness theorem for X44-K-semistable structures supplies the first pillar of a potential moduli theory, whose completion hinges on openness of the semistable locus and on X45-completeness/X46-reductivity checks formulated through test configurations.