Positivity, singularities, and boundedness

Caucher Birkar

REVIEW 3 major objections 5 minor 13 references

Positivity, singularities, and boundedness

T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Bounded volume on general fibres forces a uniform positive multiple of any fibre to keep the pair log canonical.

desk verdict A useful survey of Birkar's own theorems plus one new simplified result whose written proof has a real gap at the uniform volume lower bound in Step 3. read the letter →

arxiv 2507.18394 v1 pith:HBBUDED2 submitted 2025-07-24 math.AG

Caucher Birkar This is my paper · ORCID

classification math.AG MSC 14E3014E0514J1014M25

keywords birationalgeometrylogcanonicalpairsepsilon-lcfibremultiplicitiesvolumeboundsDCCcoefficientsetsFanofibrationstoricsingularities

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 note argues that positivity and singularity control are two sides of the same statement in birational geometry, and it gives a new theorem in that direction. Theorem 1.16 claims that for mildly singular ($\epsilon$-lc) fibrations over a smooth curve, if the log canonical divisor is nef and big over the base and has bounded volume on general fibres, and the boundary coefficients come from a DCC set, then a fixed positive multiple $t$ of any fibre can be added while keeping the pair log canonical. In other words, a global volume bound controls the local singularities of every fibre uniformly. The surrounding survey connects this result to Fano and Calabi-Yau fibrations, toric analogues, and an elementary translation into the geometry of numbers.

What carries the argument

The engine is a volume decomposition for fibres. Starting from a log resolution, the proof constructs a dlt boundary $\Gamma_V$ whose round-down is the support of the pulled-back fibre, runs an MMP to an ample model, and then, for a special fibre $h^*z=\sum m_pT_p$, writes the bounded volume of a general fibre $H$ as $\sum_p m_p\,\mathrm{vol}(K_{T_p^\nu}+\Gamma_{T_p^\nu})$ by adjunction. The DCC hypothesis on coefficients is used to force each summand to be at least a fixed $\theta>0$, via the cited reference [12]; since the left-hand side is bounded by $v$, each $m_p$ is bounded, which is exactly the uniformity needed for the final log canonical conclusion.

What would settle it

Look for an $\epsilon$-lc fibration over a smooth curve satisfying the theorem's hypotheses whose special fibre has a component multiplicity unbounded while the general fibre volume stays at most $v$; equivalently, exhibit an allowed DCC family of adjunction pairs whose volumes $\mathrm{vol}(K_{T^\nu}+\Gamma_{T^\nu})$ tend to $0$. Either would make the asserted uniform $t$ impossible and would locate the failure in Step 3's volume bound.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.16: given $d,v\in\mathbb{N}$, $\epsilon>0$, and a DCC set $\Phi\subset\mathbb{Q}_{>0}$, there is $t>0$ such that every $\epsilon$-lc pair $(W,B_W)$ of dimension $d$ contracted onto a smooth curve, with the horizontal coefficients of $B_W$ in $\Phi$ and $K_W+B_W$ nef and big over the base with $\mathrm{vol}((K_W+B_W)|_F)\le v$ on general fibres $F$, has $(W,B_W+tF)$ lc for every fibre over a closed point. The proof reduces the statement to controlling the multiplicities of components of a special fibre: after running an MMP to make the log canonical divisor ample over the base, the bounded volume of a general fibre decomposes as a positive linear combination of volumes attached to the components of the special fibre, and a uniform lower bound on those component volumes bounds the multiplicities. Once the multiplicities are bounded, a comparison of boundaries on the minimal model together with the negativity lemma produces the required $t$.

Load-bearing premise

The proof depends on a cited guarantee that the restricted log canonical volume on every component of every special fibre is bounded below by one fixed positive number; if that guarantee fails for some allowed family, the bound on fibre multiplicities and the theorem collapse.

Editorial extensions

If this is right

For fixed $d,v,\epsilon,\Phi$, the same $t$ works for every fibration in the class, so the log canonical threshold of every fibre against the given boundary is uniformly at least $t$.
The theorem applies to smooth surfaces with $B_W=0$ and gives uniform control on the multiplicities of all fibres whenever $K_W$ has nef and big restriction to the general fibre with bounded volume.
As a simplified variant of Theorem 1.15, it offers a shorter route to the fibre-multiplicity bounds that underlie the boundedness results for Fano fibrations surveyed in the note.
Any DCC set $\Phi$ of positive rational coefficients yields the same statement, so the uniformity holds across infinite families of coefficient sets, not only finite or bounded ones.

Reading between the lines

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

A natural extension is to push the same volume decomposition to bases of dimension greater than one; the note says similar formulations are possible, and success would give uniform fibre control over higher-dimensional bases.
The geometry-of-numbers translation offers a purely combinatorial test: computing the minimal values of the functions $\alpha$ and $\alpha'$ for the allowed vectors $(n_1,\dots,n_d)$ would give concrete, checkable evidence about the toric boundedness statements.
A direct proof of the Step 3 uniform lower bound, independent of the cited ACC reference, would likely make the constant $t$ effective and would show exactly where the DCC assumption is indispensable.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

The bulk of this note is a survey of the author's published theorems connecting positivity, singularities, and boundedness: Theorem 1.8 on Fano fibrations, Theorem 1.13 on Calabi-Yau fibrations, Theorem 1.15 on general fibrations, and the toric results. The exposition is clean and the outline of the proof of Theorem 1.8 is genuinely helpful. Example 1.21, a counterexample to a natural local generalization, is also a nice addition.

The only genuinely new item is Theorem 1.16, a simplified variant of Theorem 1.15: with base a smooth curve, DCC coefficients, epsilon-lc, and bounded general fibre volume, one can add a small multiple of any fibre while preserving lc. This is a natural and plausible statement, and the author is honest that the proof is only "slightly sketchy."

That sketch has a load-bearing gap. In Step 3, after taking a component T of the special fibre and writing the adjunction pair (T^nu, Gamma_{T^nu}), the proof asserts "by [12], vol(K_{T^nu}+Gamma_{T^nu}) >= theta > 0" for a fixed theta. The cited [12] is the Hacon-McKernan-Xu ACC for log canonical thresholds. That paper does not obviously give a uniform positive lower bound for an arbitrary lc pair with coefficients in a DCC set. The standard DCC results for volumes require more: either the coefficients are bounded away from 1, or the pair is klt with additional effectivity, or the pair is epsilon-lc. Here the adjunction pair is lc but not necessarily klt, and the coefficient set can still include values arbitrarily close to 1. The general fibre volume bound in the theorem does give an upper bound on vol(K_H+Gamma_H), which the proof uses in Step 4, but it does not by itself supply the needed lower bound for the component volumes. If Step 3 fails, the multiplicity bound and the theorem collapse.

This is not a fatal blow to the underlying idea, and the theorem may well be true; a corrected argument might perturb the boundary to make the adjunction pair klt, or cite a more specific volume lower bound for epsilon-lc pairs. But as written, the proof of the paper's only new result is incomplete. The survey part stands on its own, and the open problems are well chosen.

I would send this to a serious referee. The survey deserves light reviewing, but the new theorem's proof needs real scrutiny and, very likely, a revision. The author should either supply a valid reference for the uniform volume bound or add the missing argument.

Referee Report

3 major / 5 minor

Summary. This note surveys recent results and open problems connecting positivity, singularities, and boundedness in birational geometry. It recalls theorems on singularities of linear systems and BAB (Thms 1.3–1.4), singularities on Fano type fibrations (Thm 1.8), Calabi–Yau fibrations (Thm 1.13), and general fibrations (Thm 1.15). The main new item is Theorem 1.16, an unpublished result: for an ε-lc pair (W,B_W) over a smooth curve with coefficients in a DCC set Φ, with K_W+B_W nef and big over Z and bounded volume on general fibres, there exists t>0 such that (W,B_W+tF) is lc for every fibre. A proof explicitly described as 'slightly sketchy' is included, following [8]. Later sections discuss toric singularities, including a counterexample showing that a natural local generalization fails, and give number-theoretic reinterpretations in the geometry of numbers. A short list of open problems concludes the note.

Significance. If Theorem 1.16 is correct, it is a clean and useful statement in a circle of results mostly due to the author; it would give a simpler route to boundedness of fibre multiplicities in a setting where no Fano-type or Calabi–Yau condition is imposed. The survey is valuable for orienting readers in this active area, and the translation of toric boundedness statements into elementary lattice problems is attractive and potentially pedagogical. The counterexample in §1.21 is a useful warning about the limits of local variants. The main weakness is that the proof of the only new theorem is explicitly sketchy, and at least one citation-based step in that proof is not spelled out with a precise statement or theorem number. The paper does not provide machine-checked proofs or numerical data, but that is not expected for this type of survey note.

major comments (3)

[Proof of Theorem 1.16, Step 3] The uniform lower bound vol(K_{T^ν}+Γ_{T^ν}) ≥ θ > 0 is asserted with the citation [12], but [12] is the paper "ACC for log canonical thresholds" and the exact statement needed — DCC for volumes of log canonical pairs with coefficients in a DCC set — is not stated or located in the manuscript. If [12] supplies only the klt version of the volume DCC theorem, then it does not directly apply here, because the adjunction pair (T^ν, Γ_{T^ν}) is only log canonical, not klt, since T is a component of the fibre and can be a non-klt centre. This bound is load-bearing: Step 4 uses it to bound every fibre multiplicity m_p via vol(K_H+Γ_H) = Σ m_p vol(K_{T_p^ν}+Γ_{T_p^ν}) ≥ θ Σ m_p. Please cite the precise theorem from [12] (or elsewhere) that covers lc pairs, or add a perturbation argument that reduces to the klt case while preserving a uniform θ.
[Proof of Theorem 1.16, Step 2] The proof states that "it is possible to run an MMP ... which ends with a minimal model where K_Y+Γ_Y is semi-ample over Z" and gives only the klt condition as justification. Since (V, Γ_V−sφ^*f^*z) is klt and K_V+Γ_V is big over Z, the standard MMP does give a minimal model, but the semi-ampleness of the resulting relative log canonical divisor is a nontrivial conclusion and needs an argument or a specific reference, for example Birkar–Cascini–Hacon–McKernan. This step should be written out rather than asserted, especially because the subsequent ample model in Step 3 depends on it.
[Proof of Theorem 1.16, Step 5] The application of the negativity lemma is too terse. From B_Y + t h^*z ≤ Γ_Y and the nefness of K_W+B_W over Z, the manuscript concludes that the pullback of K_W+B_W + t f^*z is at most the pullback of K_Y+Γ_Y, and hence that (W,B_W+t f^*z) is lc. The sign conventions, the common resolution, and the exceptional divisors need to be displayed so that the final reduction from Y to W actually follows. As written, the reader cannot verify the direction of the inequality or the lc conclusion without reconstructing the argument.

minor comments (5)

[Introduction] In the first paragraph, "basic of birational geometry" should be "basics of birational geometry".
[Theorem 1.16] The phrase "horizontal/Z coefficients of B_W" is used without definition; please define it, presumably as coefficients of components whose support dominates Z.
[Section 1.22] The definition of α(m_1,...,m_d) depends on a choice of representation of the vector in terms of (n_1,...,n_d) and basis vectors, and the decomposition is not obviously unique. The text should specify that α is the minimum (or infimum) over all admissible representations, or state that the value is independent of the choice.
[Proof of Theorem 1.16, Step 3] The phrase "One can check that vol((K_Y+Γ_Y)|_H) is bounded" is not explicitly connected to the hypothesis vol((K_W+B_W)|_F) ≤ v. Since Y ⇢ W is an isomorphism over the generic point of Z, this is plausible, but the check should be indicated, for example by identifying the general fibre H with the birational transform of the general fibre F.
[References] The citation [12] is used for the uniform volume lower bound but no theorem number is given. Please add a precise reference to the statement in [12] that is being invoked.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: Theorem 1.16's proof imports the key volume lower bound from the external paper [12] and follows the method of [8], neither of which assumes the target result; no fitted parameter is renamed as a prediction.

full rationale

The only step where circularity might be suspected is Step 3 of the proof of Theorem 1.16, where the author writes: "Now by [12], vol(K_{T^\nu} + \Gamma_{T^\nu}) \ge \theta > 0 where \theta is fixed." This is load-bearing for the later bound on the fibre multiplicities m_p, but it is an appeal to Hacon–McKernan–Xu's published ACC paper, an external result with assumptions that do not include the theorem being proved. Even if [12] does not literally state this exact volume inequality, that is a correctness concern about the cited support, not circularity: the step is not a restatement of the target, nor is it a parameter fitted to the data the theorem is supposed to predict. The proof also says it is "following [8]", a self-citation, but [8] is used as a methodological template, not as a premise containing Theorem 1.16. The volume identity vol(K_H + \Gamma_H) = \sum m_p vol(K_{T_p^\nu} + \Gamma_{T_p^\nu}) is a direct projection-formula computation; the boundedness of m_p follows from the assumed upper bound v on the general fibre volume, the fixed lower bound \theta, and that identity. The final t is then chosen from the bounded m_p, so no definitional identity between input and conclusion occurs. The paper also states openly that Theorem 1.16 "has not been published anywhere" and that the proof is "slightly sketchy"; that is an honest limitation, not a circular device. The geometry-of-numbers section explicitly presents translations of prior toric theorems as "elementary interpretation", not as new derivations from their own conclusions. Overall, the survey leans heavily on the author's previous theorems, but those are quoted external results with independent published proofs; using them does not make the derivation circular.

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

Theorem 1.16's proof draws on standard MMP facts, a volume lower bound imported from [12], and the negativity lemma. No free parameters or new entities are introduced. The heaviest external input is the volume bound, which the note does not justify.

assumptions (3)

domain assumption Existence and termination of the MMP for klt pairs with big boundary, yielding a semi-ample model over the base curve.
Invoked in Step 2 of the proof of Theorem 1.16 ('It is possible to run an MMP on K_V + Gamma_V over Z which ends with a minimal model where K_Y + Gamma_Y is semi-ample over Z').
domain assumption Uniform positive lower bound on volumes: for pairs with coefficients in a fixed DCC set, vol(K_{T^nu} + Gamma_{T^nu}) >= theta > 0 for a universal theta.
Invoked in Step 3 as 'Now by [12]'; the note does not justify this bound from the cited ACC-for-lct paper, and this is the load-bearing step for bounding multiplicities.
standard math Negativity lemma for comparing pullbacks of divisors on a common resolution.
Applied in Step 5 of the proof of Theorem 1.16 without proof.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Positivity, singularities, and boundedness." pith.science (2026). https://pith.science/paper/HBBUDED2

@misc{pith2026250718394,
  author       = {Pith},
  title        = {Pith review of: Positivity, singularities, and boundedness},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HBBUDED2}},
  note         = {Machine review of arXiv:2507.18394}
}

read the original abstract

In this short note we will explore some recent connections between positivity, singularities, and boundedness in various contexts focusing on birational geometry.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 9 canonical work pages

[12]

C. D. Hacon, J. M cKernan and C. Xu, ACC for log canonical thresholds , Ann. of Math. (2) 180 (2014), no. 2, 523–571

work page 2014
[8]

Birkar; Singularities on the base of a Fano type fibration

C. Birkar; Singularities on the base of a Fano type fibration. J. Reine Angew Math., 715 (2016), 125–142

work page 2016
[1]

Birkar, Singularities on Fano fibrations and beyond , arXiv.2305.18770

C. Birkar, Singularities on Fano fibrations and beyond , arXiv.2305.18770

arXiv
[2]

Birkar, Moduli of algebraic varieties , arXiv:2211.11237

C. Birkar, Moduli of algebraic varieties , arXiv:2211.11237

arXiv
[3]

Birkar; Boundedness of Fano type fibrations , To appear in Ann

C. Birkar; Boundedness of Fano type fibrations , To appear in Ann. Sci. ENS, arXiv:2209.08797

arXiv
[4]

Birkar, Boundedness and volume of generalised pairs

C. Birkar, Boundedness and volume of generalised pairs. arXiv:2103.14935v2

arXiv
[5]

Birkar; Geometry of polarised varieties , Pub

C. Birkar; Geometry of polarised varieties , Pub. Math. IHES, 137 (2023), 47–105

work page 2023
[6]

Birkar; Singularities of linear systems and boundedness of Fano varieties

C. Birkar; Singularities of linear systems and boundedness of Fano varieties. Ann. of Math, 193, No. 2 (2021), 347–405

work page 2021

Show all 13 references

[7]

Birkar; Anti-pluricanonical systems on Fano varieties , Ann

C. Birkar; Anti-pluricanonical systems on Fano varieties , Ann. of Math. Vol. 190, No. 2 (2019), pp. 345–463

2019
[9]

Birkar, P

C. Birkar, P. Cascini, C. D. Hacon, J. M cKernan; Existence of minimal models for varieties of log general type. J. Amer. Math. Soc. 23 (2010), 405-468

2010
[10]

Birkar and Y

C. Birkar and Y. Chen, Singularities on toric fibrations , Sb. Math. 212 (2021), 288–304

2021
[11]

Birkar and D-Q

C. Birkar and D-Q. Zhang; Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs, Pub. Math. IHES., 123 (2016), 283 –331

2016
[13]

Sankaran and F

G. Sankaran and F. Santos, Blowups with log canonical singularities, Geometry and Topology, 25, no. 4 (2021), 2145–2166. Yau Mathematical Sciences Center, JingZhai, Tsinghua University, Hai Dian District, Beijing, China 100084 Email: birkar@tsinghua.edu.cn

2021

Pith tools

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

[1] [12]

C. D. Hacon, J. M cKernan and C. Xu, ACC for log canonical thresholds , Ann. of Math. (2) 180 (2014), no. 2, 523–571

work page 2014

[2] [8]

Birkar; Singularities on the base of a Fano type fibration

C. Birkar; Singularities on the base of a Fano type fibration. J. Reine Angew Math., 715 (2016), 125–142

work page 2016

[3] [1]

Birkar, Singularities on Fano fibrations and beyond , arXiv.2305.18770

C. Birkar, Singularities on Fano fibrations and beyond , arXiv.2305.18770

arXiv

[4] [2]

Birkar, Moduli of algebraic varieties , arXiv:2211.11237

C. Birkar, Moduli of algebraic varieties , arXiv:2211.11237

arXiv

[5] [3]

Birkar; Boundedness of Fano type fibrations , To appear in Ann

C. Birkar; Boundedness of Fano type fibrations , To appear in Ann. Sci. ENS, arXiv:2209.08797

arXiv

[6] [4]

Birkar, Boundedness and volume of generalised pairs

C. Birkar, Boundedness and volume of generalised pairs. arXiv:2103.14935v2

arXiv

[7] [5]

Birkar; Geometry of polarised varieties , Pub

C. Birkar; Geometry of polarised varieties , Pub. Math. IHES, 137 (2023), 47–105

work page 2023

[8] [6]

Birkar; Singularities of linear systems and boundedness of Fano varieties

C. Birkar; Singularities of linear systems and boundedness of Fano varieties. Ann. of Math, 193, No. 2 (2021), 347–405

work page 2021