A birational description of the minimal exponent

Mircea Musta\c{t}\u{a}; Qianyu Chen

REVIEW 1 major objections 4 minor 3 references

A birational description of the minimal exponent

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

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

Pith's one-line read The minimal exponent of a hypersurface singularity is determined by vanishing of higher direct images of twisted log forms on a log resolution.

desk verdict Solid, novel birational description of the minimal exponent; the proof is convincing up to one imported V-filtration formula that should be spelled out. read the letter →

arxiv 2502.07233 v2 pith:GU5P7ZCM submitted 2025-02-11 math.AG

Qianyu Chen , Mircea Mustaţă This is my paper · ORCID

classification math.AG MSC 14B0514F1014J1732S25

keywords minimalexponentV-filtrationnearbycycleslogresolutioncanonicalthresholdHodgeidealsBernstein-Satopolynomiallogarithmicforms

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 establishes a birational, sheaf-theoretic description of the minimal exponent, which is a finer measure of hypersurface singularity than the log canonical threshold and is defined through the Bernstein-Sato polynomial (the polynomial governing poles of $f^s$ for a local equation $f$). Its main result says that on a log resolution (a birational morphism $\pi:Y\to X$ from a smooth $Y$ for which $\pi^*(Z)$ is a simple normal crossing divisor $D$ with reduced part $E$), the condition that the minimal exponent exceeds a non-integral value $p+\alpha$ is equivalent to the vanishing of all higher direct images $R^q\pi_*\Omega^p_Y(\log E)(\lfloor\alpha D\rfloor)=0$ for $q\ge 1$. This converts a subtle invariant of the rational-indexed V-filtration into concrete cohomology vanishing of twisted logarithmic forms on a resolution. The same criterion yields a new proof that, when the minimal exponent exceeds $p$, the additional jump beyond $p+\alpha$ is controlled by a single comparison map. A consequence is the constancy of the minimal exponent in proper families of hypersurfaces admitting a simultaneous log resolution.

What carries the argument

The load-bearing object is a filtered complex $C_{D_\alpha}$, built on a log resolution from the sheaves $O_Y(-D_\alpha)\otimes\Omega^{n-1-q}_{Y/\mathbb{A}^1}(\log E)\otimes D_Y$, which gives an explicit filtered resolution of $V_{-\alpha}B^r_g$ (the $\alpha$-step of the canonical V-filtration on the graph D-module of $g$; its graded quotient is the nearby-cycles module $\psi_{g,\alpha}(O_Y)$ after left-right conversion). Its key input is the explicit V-filtration formula $F_pV_{-\alpha}B^r_g = \omega_Y(-D_\alpha+E)\delta\cdot F_{p+n}(D_Y[\theta])$ for a simple normal crossing divisor, together with the Koszul structure of the associated graded complex in monomial coordinates. This resolution is what lets the paper replace the abstract derived pushforward of a Hodge-module de Rham complex by concrete sheaf cohomology of twisted logarithmic forms.

What would settle it

Compute the minimal exponent of a reduced hypersurface with local equation $g=u\, y_1^{a_1}\cdots y_r^{a_r}$ for a nonconstant invertible unit $u$, and compare the predicted V-filtration formula (19) and the vanishing condition in Corollary 1.3 against the actual Bernstein-Sato roots; a mismatch would falsify the paper's central criterion.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is Corollary 1.3: if $Z$ is a reduced hypersurface in a smooth complex variety $X$, $\pi:Y\to X$ is a log resolution, $D=\pi^*(Z)$, $E=D_{\mathrm{red}}$, and $\alpha\in(0,1)\cap\mathbb{Q}$ with $\bar{\alpha}(Z)>p$, then $\bar{\alpha}(Z)>p+\alpha$ holds exactly when $R^q\pi_*\Omega^p_Y(\log E)(\lfloor\alpha D\rfloor)=0$ for every $q\ge 1$. This is obtained from the more precise Theorem 1.2, which describes, for all $q$, when the natural map $R^q\pi_*\Omega^{n-p}_Y(\log E)(-E-\lfloor\alpha D\rfloor)\to R^q\pi_*\Omega^{n-p}_Y(\log E)(-E)$ is an isomorphism or injection. The proof passes through an explicit filtered resolution of the nearby cycles $\psi_{g,\alpha}(O_Y)$ (the D-module tracking the $\alpha$-eigenspace of monodromy on the Milnor fiber cohomology) in the simple normal crossing case, so the minimal-exponent condition becomes a statement about coherent cohomology of log forms.

Load-bearing premise

The proof rests on an explicit formula for the V-filtration of $B^r_g$ when $g$ defines a simple normal crossing divisor; if the analytic-to-algebraic translation of that formula fails for a non-monomial equation with an invertible unit, the main theorem is not supported.

Editorial extensions

If this is right

For $p=0$, the criterion recovers the classical fact that $\mathrm{lct}(Z)>\alpha$ if and only if the multiplier ideal $\mathcal{J}(\alpha Z)$ equals $O_X$.
For $\alpha=1-\varepsilon$, Corollary 1.3 together with the canonical exact triangle relating log forms to the Du Bois complex recovers the characterization of $\bar{\alpha}(Z)\ge p+1$ via the $p$-th Du Bois complex being an isomorphism.
The vanishing theorem in Corollary 5.2 gives a vanishing statement for higher direct images of twisted log forms, usable independently of the minimal exponent.
Theorem 6.1 shows that the minimal exponent is constant in a proper family of hypersurfaces with a simultaneous log resolution, settling the constancy question for such families.
The description avoids the complicated derived pushforward of Hodge-ideal complexes, replacing it by direct-image sheaves of logarithmic forms.

Reading between the lines

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

One could turn Corollary 1.3 into an algorithm: starting from a log resolution, compute a finite list of direct-image cohomology groups; the smallest $p$ for which a vanishing fails would determine the minimal exponent.
The explicit nearby-cycle resolution may give access not only to the minimal exponent but to the full Hodge spectrum of the singularity, so similar birational formulas might refine Du Bois and rational-singularity criteria.
The family constancy theorem might extend to families without a simultaneous log resolution, provided the vanishing conditions in Corollary 1.3 vary flatly over the base; this is a testable extension.

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.

Desk Editor's Note

read the letter

Here's my take. This is a good paper and the main result is real: a birational description of the minimal exponent in terms of higher direct images of twisted log forms. Theorem 1.2 and Corollary 1.3 are new, and the statement is clean enough to be useful. The proof is serious work; the filtered resolution of nearby cycles for SNC divisors (Thm 4.1) is the technical core, and the authors are honest that a related resolution appears in [SS24, Prop 15.12.5]. The application to constancy in a family with simultaneous log resolution answers Laza's question and is a nice payoff.

The soft spot is exactly the one the stress-test flags: formula (19) for the Hodge filtration on the V-filtration is imported from Saito's analytic monomial case, and the passage to arbitrary algebraic g is delegated to a 'standard' argument in footnote 3. The isomorphism relating V-filtrations of B_g and B_h isn't written down, and neither is the behavior of the filtration shift and the twist under that isomorphism. This is the keystone: without (19), Theorem 4.1 doesn't go through. I don't think this is an actual error—the cited [CDM24, Rem 5.10] likely covers the missing step—but it is a gap in exposition in a load-bearing place. The authors should either prove the algebraic version directly or spell out the isomorphism and its filtered behavior before publication. A referee should check this point carefully.

Minor issues: Corollary 5.3 defines β_i with the same sheaf on both sides; that's a typo. The paper also cites several results from the same group ([MP22], [MP20a], [Che24]), but these are prior theorems with their own proofs, not assumptions of what the paper is trying to prove, so I don't see circularity.

Who is this for? Specialists in singularities and mixed Hodge modules. A general algebraic geometer will find the statement useful as a black box, but the proof is heavy Saito theory. I'd bring it to a reading group that works in the area.

My recommendation: send it to peer review. It's a solid, novel result with a credible proof. I'd ask the authors to tighten footnote 3 before accepting, but I wouldn't desk-reject this.

Referee Report

1 major / 4 minor

Summary. This paper proves a birational criterion for Saito's minimal exponent of a reduced hypersurface Z in a smooth complex algebraic variety X. The main result, Theorem 1.2, states that for γ = p + α with α ∈ (0,1) ∩ Q and p ∈ Z_{\ge 0}, if ~α(Z) ≥ p then the natural morphism (3) between higher direct images of twisted log forms is an isomorphism for q ≠ p and injective for q = p; and if ~α(Z) > p, then ~α(Z) > p + α holds if and only if that morphism is an isomorphism for q = p. Corollary 1.3 reformulates this, via duality, as the vanishing of R^q π_* Ω^p_Y(log E)(⌊αD⌋) for all q ≥ 1. The integer case is handled separately in Theorem 1.1 using results on k-rational singularities. The key technical input is Theorem 4.1, which gives an explicit filtered resolution of the V-filtration pieces of the nearby cycles of g = f ∘ π in the simple normal crossing case. The paper concludes with an application to the constancy of the minimal exponent in proper families admitting a simultaneous log resolution, answering a question of Radu Laza.

Significance. If the main theorem is fully established, it provides a checkable birational description of a subtle Hodge-theoretic invariant, complementing the existing Hodge-ideal description and making the minimal exponent accessible through higher direct images of log differentials. The criterion is parameter-free and does not require constructing a complicated complex on the resolution. The proof is largely self-contained modulo Saito's strictness theorem and the V-filtration formalism, and the authors supply a detailed proof of the filtered resolution in the monomial case, which represents substantial technical work. The application to family constancy is a satisfying consequence. The main caveat, discussed below, is that the algebraic version of the key filtration formula (19) is imported from the analytic monomial case via a brief citation, leaving a load-bearing step to be verified explicitly.

major comments (1)

[Section 4, Theorem 4.1 and Eq. (19); see also Footnote 3] Equation (19), which describes F_p V_{-α} B^r_g in the simple normal crossing case, is quoted from [Sai90, Prop. 3.5] in the analytic setting for monomial g. Footnote 3 asserts that the algebraic version for g = u h follows by a standard passage, citing [CDM24, Rem. 5.10], but the isomorphism relating the V-filtrations of B_g and B_h is not written down, and the behavior under this isomorphism of the filtration shift F_•[−1] and of the twist O(−D_α+E) is not verified. Since Theorem 4.1 is the central technical result and all subsequent results (Corollaries 5.1–5.3, Theorem 1.2, Corollary 1.3, and Theorem 6.1) depend on it, this is a load-bearing point. Please provide a direct algebraic proof of (19) in the SNC case, or state and prove the precise isomorphism between the V-filtrations of B_g and B_h and check the filtration and twist compatibilities. Without this, the main theorem is not fully supported.

minor comments (4)

[Section 5, Corollary 5.3] In the displayed definition of β_i, both the source and the target are written as E^{n-1-i,>α}_{Y/A1}; from the subsequent comparison with γ_i it is clear that the target should be E^{n-1-i,α}_{Y/A1}. Please correct this typo.
[Section 4, Eq. (22)] The identification of C_{D_α} with the Koszul complex of the left multiplications by the operators in (22) is a bit terse, since C_{D_α} is a complex of right D_Y-modules. A sentence explaining the right-module convention in this identification would improve readability.
[Section 4, Remark 4.4] In the right-left conversion, the filtration on the left D-module ~C^{-q}_G is written as F_k ~C^{-q}_G = F_{k-q-1}D_Y ⊗ ... ; it would be helpful to indicate explicitly how this indexing matches the right-module convention F_{p-n}M^r = ω_X ⊗ F_p M stated in Section 2.
[Introduction, page 2] The phrase 'Since Z is not reduced, then lct(X,Z)<1 and thus ~α(Z)=lct(X,Z)' is correct, but as written it appears immediately after the definition of D and E; adding a forward reference to [Kol97] would help the reader see why the reduced case is the only nontrivial one.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction: the main criterion is derived from Saito's external V-filtration theorem plus a direct filtered-resolution argument; the only same-group citations occur as prior lemmas, not as the target result.

full rationale

The claimed birational description of the minimal exponent is not circular. The proof chain is: Saito's V-filtration characterization of the minimal exponent (Theorem 2.3) is used to reduce the condition alpha_tilde(Z) > p + alpha to the vanishing of Gr^F_{p+1} psi_{f,alpha}(O_X); Proposition 2.2 transfers the nearby cycles to the log resolution; Theorem 4.1 gives an explicit filtered resolution of psi_{g,alpha}(O_Y) in the simple normal crossing case; Corollaries 5.1-5.3 translate that resolution into the isomorphism and vanishing statements for higher direct images of twisted logarithmic forms; Theorem 1.2 and Corollary 1.3 then follow by combining these statements with Theorem 1.1 and Grothendieck duality. Theorem 4.1's proof is essentially self-contained once formula (19) is admitted; formula (19) is quoted from Saito's [Sai90, Prop. 3.5] as an external input, and it is not a restatement of the minimal-exponent criterion being proved. The only place where a same-group citation is used for a technical translation is footnote 3, where the algebraic version of (19) for g = u.h is justified by a standard comparison of V-filtrations and a reference to [CDM24, Rem. 5.10]; this is a prior result with stated hypotheses, not a definitional rewriting of the target equivalence. Other citations to the authors' earlier work, such as [MP22] and [Che24], are used as established theorems and are not equivalent by construction to the conclusions drawn here. No fitted parameter is renamed as a prediction, and no ansatz is smuggled in via citation. The residual concern that the analytic-to-algebraic passage in footnote 3 is the least secured step is a verification and correctness issue, not circularity.

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

The central claim is a theorem in algebraic geometry resting on Saito's theory of mixed Hodge modules and known vanishing results; no free parameters or invented entities are introduced. The listed axioms are unproved inputs from the literature.

assumptions (7)

standard math Existence of log resolutions for embedded hypersurfaces (Hironaka).
Used throughout to choose π:Y→X; standard in birational geometry.
domain assumption Saito's theory of mixed Hodge modules: ψ_f(O_X) underlies a mixed Hodge module with a good filtration.
Provides the filtered D-module and Gr^F_i DR_X used to connect to the minimal exponent.
domain assumption Saito's Strictness theorem and compatibility of graded de Rham complexes with pushforward (Prop 2.2).
Used to transfer conditions from X to the resolution Y; cited to [Sai88].
domain assumption Explicit V-filtration for SNC divisors, equation (19).
Quoted from [Sai90, Prop 3.5]; key input to Theorem 4.1.
domain assumption Steenbrink vanishing and (p-1)-rational singularity characterization from [MP22] and [FL24].
Supplies Theorem 1.1 and the vanishing used in Corollaries 5.2 and 1.3.
standard math Grothendieck duality for proper morphisms.
Used in proof of Corollary 1.3 to dualize.
domain assumption Inversion of adjunction for minimal exponent (Chen, arXiv:2402.10428) and restriction/semicontinuity results from [MP20a].
Used only in the application (Theorem 6.1); one input is a recent preprint by an author.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A birational description of the minimal exponent." pith.science (2026). https://pith.science/paper/GU5P7ZCM

@misc{pith2026250207233,
  author       = {Pith},
  title        = {Pith review of: A birational description of the minimal exponent},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GU5P7ZCM}},
  note         = {Machine review of arXiv:2502.07233}
}

read the original abstract

We give a description of the minimal exponent of a hypersurface using higher direct images of suitably twisted sheaves of log forms on a log resolution.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

3 extracted references · 2 canonical work pages

[1]

Budur and M

[BS05] N. Budur and M. Saito, Multiplier ideals, V -ﬁltration, and spectrum , J. Algebraic Geom. 14 (2005), no. 2, 269–282. ↑12 [Che21] Q. Chen, Limits of Hodge structures via holonomic D-modules (2021), available at arXiv2103.03983. ↑12 [Che24] , Inversion of Adjunction for the minimal exponent (2024), available at arXiv:2402.10428. ↑21 [CDM24] Q. Chen, ...

arXiv 2005
[41]

On k-rational and k-Du Bois local complete intersections

↑2, 21, 22, 23 [MP20b] M. Mustat ¸˘ a and M. Popa,Hodge ﬁltration, minimal exponent, and local vanishing , Invent. Math. 220 (2020), 453–478. ↑9 [MP22] , On k-rational and k-Du Bois local complete intersections , preprint arXiv:2207.08743, to appear in Algebraic Geometry (2022). ↑1, 2, 9 [Sai88] M. Saito, Modules de Hodge polarisables , Publ. Res. Inst. M...

work page Pith review arXiv 2020
[2004]

Mustat ¸˘ a, S

↑1, 19 [MOPW23] M. Mustat ¸˘ a, S. Olano, M. Popa, and J. Witaszek, The Du Bois complex of a hypersurface and the minimal exponent , Duke Math. J. 172 (2023), no. 7, 1411–1436. ↑1, 3, 17, 20, 22 [MP19a] M. Mustat ¸˘ a and M. Popa,Hodge ideals, Mem. Amer. Math. Soc. 262 (2019), no. 1268, v+80. ↑9 [MP19b] M. Mustat ¸˘ a and M. Popa,Hodge ideals for Q-diviso...

work page 2023

Pith tools

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

[1] [1]

Budur and M

[BS05] N. Budur and M. Saito, Multiplier ideals, V -ﬁltration, and spectrum , J. Algebraic Geom. 14 (2005), no. 2, 269–282. ↑12 [Che21] Q. Chen, Limits of Hodge structures via holonomic D-modules (2021), available at arXiv2103.03983. ↑12 [Che24] , Inversion of Adjunction for the minimal exponent (2024), available at arXiv:2402.10428. ↑21 [CDM24] Q. Chen, ...

arXiv 2005

[2] [41]

On k-rational and k-Du Bois local complete intersections

↑2, 21, 22, 23 [MP20b] M. Mustat ¸˘ a and M. Popa,Hodge ﬁltration, minimal exponent, and local vanishing , Invent. Math. 220 (2020), 453–478. ↑9 [MP22] , On k-rational and k-Du Bois local complete intersections , preprint arXiv:2207.08743, to appear in Algebraic Geometry (2022). ↑1, 2, 9 [Sai88] M. Saito, Modules de Hodge polarisables , Publ. Res. Inst. M...

work page Pith review arXiv 2020

[3] [2004]

Mustat ¸˘ a, S

↑1, 19 [MOPW23] M. Mustat ¸˘ a, S. Olano, M. Popa, and J. Witaszek, The Du Bois complex of a hypersurface and the minimal exponent , Duke Math. J. 172 (2023), no. 7, 1411–1436. ↑1, 3, 17, 20, 22 [MP19a] M. Mustat ¸˘ a and M. Popa,Hodge ideals, Mem. Amer. Math. Soc. 262 (2019), no. 1268, v+80. ↑9 [MP19b] M. Mustat ¸˘ a and M. Popa,Hodge ideals for Q-diviso...

work page 2023