{"id":"237fbfe0-b635-4b76-8858-89cda2a5d415","arxiv_id":"2607.17878","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Theta-reductivity and S-completeness hold for the moduli problem of t-K-semistable adjoint Fano foliated structures, yielding uniqueness of K-polystable degenerations and reductivity of automorphism groups.","lead":"This paper proves the two stack-theoretic valuative criteria, Theta-reductivity and S-completeness, for families of t-K-semistable adjoint Fano foliated structures, and derives uniqueness of polystable degenerations plus reductivity/finiteness of automorphism groups. It matters because these are the key technical inputs for building moduli spaces of a foliated analogue of Fano varieties.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Finite generation in Thm 6.4 depends on [CHL+25, Thm 2.4.2] being valid over finite-type DVRs; this is the least verified load-bearing input.","rationale":"I agree with the reader's weakest_assumption: the central claims depend on the foliated MMP and finite-generation machinery of [CHL+24, CHL+25] being valid in exactly the relative admissibility setting used here. My stress-test identifies the most specific instance of this dependence: Proposition 6.3, which is the linchpin of Theorem 6.4. There, the proof argues that Z is of Fano type over Spec R by citing [CHL+25, Thm 2.4.2], and then applies [Xu25, Cor. 1.70] to get the finite generation of the bigraded algebra RG(X, L_r). This is precisely where the 'essentially of finite type' restriction is doing essential work, and the paper gives no verification that the cited theorem's hypotheses are met in this relative DVR setting. The same comment applies to the Bertini-type theorem [CHL+25, Thm 3.28(1)] used in Lemma 5.2. I found no internal inconsistency in the manuscript's own argument: the structure of the Theta-reductivity and S-completeness proofs follows established patterns once these external ingredients are granted. Therefore the identified concern is a genuine conditionality, not a demonstrated flaw. The reader's CONDITIONAL verdict with medium risk is appropriate, so I recommend no change to the verdict.","tokens_in":42593,"tokens_out":13655,"duration_ms":117752,"concrete_test":"Inspect [CHL+25, Theorem 2.4.2] and Theorem 3.28(1) and check their exact hypotheses: (i) is the base allowed to be a DVR essentially of finite type over k, or only an algebraically closed field? (ii) does Theorem 2.4.2 require Q-factoriality of Z, or a klt (rather than lc) foliated structure, or a closed point base? (iii) does the Bertini theorem apply to the semiample divisor λM on a foliated log resolution over Spec R with an R-fibrewise family? If the answer to (i) is no or to (ii)/(iii) is yes, then Proposition 6.3's finite generation conclusion fails and Theorems 7.5/8.12 are not established. A written verification of these hypotheses in the current paper would settle the concern.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main theorems hinge on Theorem 6.4, whose proof (Prop. 6.3) concludes that Z is of Fano type over Spec R by invoking [CHL+25, Thm 2.4.2], then applies [Xu25, Cor. 1.70] to obtain finite generation of RG(X, L_r). The paper states (Sec. 1) that it restricts to DVRs essentially of finite type because the foliated MMP techniques are unavailable over arbitrary DVRs, but it does not verify that the cited theorems hold over such DVR bases rather than over a field. In Prop. 6.3 the pair B_{s,δ} is lc with unique lc place S_Z and -K_{B_{s,δ}} ample over Spec R; the theorem must apply to this relative, potentially non-Q-factorial setting. A similar unverified relative input is [CHL+25, Thm 3.28(1)] (Bertini) used in Lemma 5.2 to construct the divisor D preserving log canonicity. If either theorem is only proved over an algebraically closed field (or for klt/lc pairs over a point), the finite generation step in Thm 6.4 is unsupported, and both valuative criteria (Thms 7.5 and 8.12) lose their key mechanism. This is not an internal contradiction, but it is the weakest load-bearing premise.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":42916,"tokens_out":11937,"duration_ms":111193,"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":[{"comment":"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.","section":"§6.3, Prop. 6.3 / Thm 6.4"},{"comment":"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.","section":"§5.2, Lemma 5.2"},{"comment":"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.","section":"§4.5, Lemma 4.14"}],"minor_comments":[{"comment":"Typo: 'anavoidable' should be 'unavoidable'.","section":"Section 1, p. 2"},{"comment":"'lct[t](X,F,J^{(a)}_{•,G})' should presumably be 'I^{(a)}_{•,G}'.","section":"Lemma 4.10"},{"comment":"The symbol 'b⊗' is used without definition; please define the reflexive tensor product notation explicitly.","section":"Definition 3.3"},{"comment":"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.","section":"§4.5, Definition of L^[t](G)"}],"recommendation":"major_revision","confidential_remarks":"The paper is heavily conditional on [CHL+24], [CHL+25], [Pap26a], and [Pap26b] being available and valid in the relative settings used here. The editor may wish to confirm the status and accessibility of these preprints, and specifically whether the cited relative versions over essentially finite type DVRs are proved, before asking the author to make minor revisions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proves the foliated analogues of Θ-reductivity and S-completeness for t-K-semistable adjoint Fano foliated structures, and derives the expected consequences: uniqueness of polystable degenerations, reductivity of the automorphism group, and finiteness in the stable case. That is genuinely new; none of these statements appear in the cited literature, and the architecture deliberately follows Xu25 and the earlier Fano work. The mixed Ding theory for arbitrary filtrations, the inversion of adjunction with ideals, and the relative extraction theorem are substantive technical inputs, not repackaged versions of existing results. The paper is also unusually honest about its limitations: it restricts to DVRs essentially of finite type because the foliated MMP tools are not available over arbitrary DVRs, and it flags that the full stack-theoretic statement awaits construction of the moduli stack.\n\nI do not find an internal contradiction. The proof is elaborate but organized, and the reductions to the filtration machinery are coherent. The soft spot is external dependence. The key finite-generation step, Theorem 6.4, relies on [CHL+25, Thm 2.4.2] to conclude that Z is of Fano type over Spec R, and the Bertini-type statement [CHL+25, Thm 3.28(1)] used in Lemma 5.2 is also cited in a relative setting. If those theorems are only proved over a field, the finite-generation step is unsupported and both main theorems lose their mechanism. The author restricts to DVRs essentially of finite type precisely because of this, but does not verify that the cited theorems hold over such bases. That is not a contradiction in the text, but it is load-bearing and needs referee scrutiny. Minor points: a few limits and threshold arguments are delegated to 'identical' arguments in Xu25, which is acceptable in this genre but slows independent verification.\n\nIf the dependencies check out, this is an important step toward a K-moduli theory for adjoint Fano foliations. The paper deserves a serious referee, and the referee should be asked to focus on the relative DVR validity of the CHL+ theorems and on the finite-generation step in Proposition 6.3. I would send it to peer review rather than desk reject. Whether I would bet my own work on it before the preprints appear is another question, but the direction is sound and the effort is transparent.","headline":"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.","tokens_in":43428,"tokens_out":1511,"would_cite":true,"duration_ms":19656,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14D20","14E30","14J40","14M25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Adjoint Fano foliated structures satisfy the moduli-theoretic valuative criteria of Θ-reductivity and S-completeness, a key step toward a good moduli space.","keywords":["adjoint Fano foliated structures","K-stability","Theta-reductivity","S-completeness","Ding semistability","moduli spaces","inversion of adjunction","foliations"],"falsifier":"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.","tokens_in":42463,"feed_emoji":"🌿","tokens_out":1443,"duration_ms":16256,"temperature":0.7,"pith_summary":"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.","feed_headline":"Foliated Fano varieties pass the moduli tests","feed_subtitle":"New valuative criteria for Θ-reductivity and S-completeness set up a good moduli space for t-K-semistable adjoint foliated structures.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Valuative criteria met for foliated Fano moduli","Foliated Fano: unique degenerations","Θ-reductivity proven for foliated Fano","S-completeness: foliated Fano moduli pass","Good moduli space for foliated Fano structures"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Valuative criteria met for foliated Fano moduli","Foliated Fano: unique degenerations","Θ-reductivity proven for foliated Fano","S-completeness: foliated Fano moduli pass","Good moduli space for foliated Fano structures"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000326,"raw_usage":{"total_tokens":1623,"prompt_tokens":670,"completion_tokens":953,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":414,"completion_tokens_details":{"reasoning_tokens":875}},"tokens_in":414,"tokens_out":953,"duration_ms":9467,"temperature":1.0,"reasoning_tokens":875,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T16:44:52.601329+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}