Pith. sign in

REVIEW 2 major objections 5 minor 51 references

Obstructions for codimension one multiple fibers of Lagrangian and Calabi--Yau fibrations

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Compact hyper-Kähler Lagrangian fibrations over projective space have no codimension-one multiple fibers.

desk verdict A genuinely new technique and likely-true headline result, but a real gap in Proposition 2.1 currently blocks both main theorems as written. read the letter →

arxiv 2608.10102 v1 pith:IWSHXEHV submitted 2026-08-10 math.AG

Yoon-Joo Kim , Keiji Oguiso , Evgeny Shinder This is my paper · ORCID
classification math.AG MSC 14D0614J4214J2714J3214F08
keywords hyper-KählermanifoldsLagrangianfibrationscodimensiononemultiplefibersCalabi-YauhigherdirectimagesBeilinsonnormK3surfacesEnriques–Calabi–Yau
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 proves that a Lagrangian fibration of a compact hyper-Kähler manifold over projective space cannot have a fiber that is multiple along a divisor of the base: no codimension-one multiple fibers exist. It proves the analogous statement for Calabi–Yau fibrations of simply-connected K-trivial varieties, with one sharp exception: along a curve base with even-dimensional fibers, a single double fiber can occur, and examples exist. The proof assumes such a fiber exists, uses the cyclic covering trick to produce a fractional line bundle, and then shows its higher direct images must split as sums of line bundles; a norm inequality on the class of the derived pushforward contradicts the Euler-characteristic computation. A corollary is that the pullback of the hyperplane class is primitive in Pic(X), and several previously conditional results about Lagrangian fibrations become unconditional.

What carries the argument

The engine is a chain of algebraic inputs. Assuming a multiple fiber of multiplicity m, the cyclic covering trick and simple-connectedness produce a unique line bundle O_X(1/m) whose m-th power is f^*O(1). Kollár's vanishing theorem is applied to the higher direct images Ω^i_j = R^i f_* O_X(j/m), making them locally free with vanishing cohomology; Horrocks's criterion then forces each Ω^i_j to split as a sum of line bundles of degrees in [-n,0]. In the Lagrangian case the class α=[Rf_*O_X(1/m)] in K_0(P^n) must equal (n+1)[O_p] because its Euler characteristic with every twist is n+1 by the Beauville–Bogomolov–Fujiki form and Huybrechts–Riemann–Roch. The Beilinson norm, the sum of absolute values of coefficients in the Beilinson basis [O(-n)],...,[O], gives ∥α∥=(n+1)2^n, while the splitting and the ranks, computed from the general fiber being an abelian variety, give ∥α∥≤Σ C(n,i)=2^n. That contradiction is the theorem.

What would settle it

Find a compact hyper-Kähler manifold X with a Lagrangian fibration f:X→P^n and a prime divisor D such that $f^{{-1}}$(D)=mE with m>1. A more targeted check is to compute h^p(P^n, R^i f_* O_X(j/m)) for some p>0, 0≤i≤n, 0<j<m and obtain a nonzero value, contradicting equation (2.4); that would remove the splitting and the contradiction. For the Calabi–Yau statement, search for a simply-connected smooth projective K-trivial X with a Calabi–Yau fibration over P^n (n≥2) carrying a codimension-one multiple fiber, or with two double fibers over $P^{1}$ and even fiber dimension.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.4: a Lagrangian fibration f:X→P^n of a compact hyper-Kähler manifold has no codimension-one multiple fibers, meaning there is no prime divisor D⊂P^n with $f^{{-1}}$(D)=mE for an integer m>1. The paper also proves the companion Theorem 4.1: if X is simply-connected, smooth projective, and K-trivial, and f:X→P^n is a Calabi–Yau fibration with general fiber a Calabi–Yau manifold, then no codimension-one multiple fibers exist when n≥2 or the relative dimension r is odd; when n=1 and r is even, fibers of multiplicity greater than 2 are impossible and at most one double fiber can occur. The exceptional double-fiber case is realized by fibrations obtained from an Enriques–Calabi–Yau divisor, generalizing the Borisov–Nuer examples.

Load-bearing premise

The proof's load-bearing premise is that Kollár's vanishing theorem applies to the fractional line bundles O_X(j/m), which are trivial on the general fiber and hence only mildly positive; the paper invokes the vanishing h^p(P^n, R^i f_* O_X(j/m))=0 without verifying the positivity hypotheses, and if that vanishing fails the Horrocks splitting—and with it the norm contradiction—does not follow.

Editorial extensions

If this is right

  • Any Lagrangian fibration of a compact hyper-Kähler manifold over P^n admits local sections over a big open subset of the base, since absence of codimension-one multiple fibers is equivalent to that by known results the paper cites.
  • The torsion-and-cotorsion-free property of R^1 f_* Z_X, the isotriviality results, and holomorphic dominability of X by C^{2n}, which earlier papers stated conditionally on Theorem 1.1, are now unconditional.
  • The Néron model action extends to a big open subset of the base for Lagrangian fibrations over P^n.
  • For hyper-Kähler manifolds with Picard number 1 (non-projective) or 2 (projective), general singular fibers of a Lagrangian fibration are reduced and of Kodaira type I, II, III, or IV, a step toward Sawon's semistability conjecture.
  • The pullback f^*(Pic(P^n)) is a primitive sublattice of Pic(X), and a simply-connected K-trivial Calabi–Yau fibration over P^n with n≥2 or odd relative dimension cannot have multiple fibers; over P^1 with even fiber dimension, at most one double fiber can occur.
  • The exceptional double-fiber possibility is actually realized, so the Calabi–Yau statement is optimal as formulated.

Reading between the lines

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

  • One testable extension is to replace P^n by other bases with a full exceptional collection; the paper's reliance on Horrocks splitting suggests the Beilinson-norm argument is not automatic there.
  • The unique surviving double-fiber case suggests a structural characterization: an odd-dimensional simply-connected K-trivial variety admits a double-fiber fibration over P^1 exactly when it contains an Enriques–Calabi–Yau divisor; proving the converse would sharpen Theorem 4.1.
  • The unverified positivity in the vanishing step means the main theorem should be regarded as resting on a standard-but-unstated hypothesis; a counterexample to the vanishing would not necessarily produce a multiple fiber, but it would invalidate this proof.
  • For singular irreducible symplectic varieties, the paper's factorial version already removes codimension-one multiple fibers, so the same obstruction mechanism may extend to larger classes of singular K-trivial varieties.
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.

Referee Report

2 major / 5 minor

Summary. The paper studies codimension-one multiple fibers in Lagrangian fibrations of compact hyper-Kähler manifolds and in Calabi-Yau fibrations of simply connected K-trivial varieties. Its main theorem states that a Lagrangian fibration of a hyper-Kähler manifold over projective space has no codimension-one multiple fibers, with consequences for local sections, primitive embeddings, the Néron model action, and several previously conditional results. For Calabi-Yau fibrations, the paper proves absence of codimension-one multiple fibers for base dimension at least two or odd relative dimension, and in the remaining case n=1, r even it allows at most a single multiplicity-2 fiber. It also constructs examples realizing this exceptional case via Enriques-Calabi-Yau divisors and discusses singular generalizations. The proofs use a cyclic-cover argument to produce m-th roots of f^*O(1), Kollár's vanishing and Horrocks's criterion to split higher direct image sheaves, and a Beilinson-norm argument on K_0(P^n) in the Lagrangian case.

Significance. If fully established, the results resolve central questions in the theory of Lagrangian fibrations: the primitivity of f^*Pic(P^n), local triviality in codimension one, and the unconditional status of previously conditional tcf, isotriviality, and dominability results. The technical apparatus is inventive and likely reusable: the combination of cyclic covers, Kollár vanishing, Horrocks splitting, and the Beilinson norm gives a genuinely new mechanism for excluding multiple fibers. The Calabi-Yau part is also sharp, with a clean construction of the exceptional case using Enriques-Calabi-Yau divisors. The paper is well organized, mostly self-contained, and careful about non-flat fibrations and singular total spaces. However, as detailed below, one load-bearing proof step is incomplete as written.

major comments (2)
  1. [§2, Proposition 2.1(1)] The proof of Proposition 2.1(1) is not valid as written. In the local computation t^p = f^m = (f^{m/p})^p, the fiber product X ×_B B' is reducible: the normalization is the disjoint union of the p branches t = ζ^r f^{m/p}, each isomorphic to X, rather than a connected scheme. Therefore X' is disconnected and X' → X is not a connected étale cover; simple connectivity of X gives no contradiction. The assertion that X' is connected because B' and its fibers are connected is incorrect for a reducible scheme whose fibers over the branch locus become disconnected after normalization. This gap is load-bearing: Proposition 2.1(1) is used to justify the gcd condition before Proposition 2.1(2) can be applied, and it is used directly in the proof of Theorem 4.1(2) for D = b + b' with m = 2 and deg D = 2. In particular, I do not agree that Theorem 3.4 is automatically safe: for a multiple fiber over a divisor D of degree d with gcd(d,m) > 1, the existence of O_X(1/m) is not obtained without part (1). The proposition may be true, but the current proof must be replaced by a correct argument, for example one based on the orbifold fundamental group of (B, D, m).
  2. [§4.1, proof of Theorem 4.1(2)] The final step of Theorem 4.1(2) is unsupported as written. The sentence 'if there exist two such multiple fibers over distinct points b, b' ∈ P^1, then this violates Proposition 2.1 applied to a degree 2 reduced divisor D = b + b'' relies precisely on Proposition 2.1(1), whose proof is incomplete. No independent argument is supplied to rule out two multiplicity-2 fibers when n = 1 and r is even. Since the exceptional case in the main theorem is claimed to be optimal and the at-most-one statement is part of that optimality, this needs a rigorous proof either by repairing Proposition 2.1 or by a direct argument.
minor comments (5)
  1. [§3, proof of Theorem 3.4] Please add a sentence explaining why q(O_X((1+km)/m)) = 0; the reader must infer that this line bundle is an m-th root of a pullback from P^n and hence has zero Beauville-Bogomolov-Fujiki square.
  2. [§2, Theorem 2.5] The application of [32, Cor. 10.15.2] should state the hypotheses explicitly: X is smooth and K-trivial, and L^m = f^*M with M = O_B(j) ample. The concern that the fractional line bundles are too negative does not appear to be justified, but spelling out the hypotheses would remove ambiguity.
  3. [§4.2, Proposition 4.6] In the claim that the constructed fibration has 'exactly one multiple fiber 2V', the exclusion of further multiple fibers relies implicitly on Theorem 4.1(2) or on the same multiplicity argument; please state this dependence.
  4. [Throughout] There are a few typographical errors: 'Huybrecths–Riemann–Roch' in Remark 3.5 and 'Verbisky' in reference [25] should be corrected.
  5. [§4.1, Lemma 4.2] The assertion that p(x) has nonnegative coefficients is not immediate from the displayed formula; a one-line verification would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the proof is self-contained against external results.

full rationale

The paper derives its main theorem from external inputs rather than from fitted data or self-citations. In Theorem 2.5, the local freeness and vanishing of the higher direct images R^i f_* O_X(j/m) are obtained from Kollár's vanishing and duality theorems [30,31,32], and the splitting into line bundles is obtained from Horrocks's criterion; neither statement is equivalent to the desired no-multiple-fiber conclusion. The Euler characteristic computation chi_X(O_X(j/m)) = n+1 in Theorem 3.4 is an application of the Beauville–Bogomolov–Fujiki form and the Huybrechts–Riemann–Roch theorem to a line bundle with zero Beauville–Bogomolov–Fujiki value, not a quantity fitted to the conclusion. The Beilinson-norm contradiction compares known ranks and norms, so no parameter is tuned to force the result. Self-citations appear in the introduction as consequences or context: [27], [29], [10], and [24] are listed as statements that become unconditional, and [26] is used for a primitivity consequence that the authors also sketch directly in Remark 3.5. The cyclic covering argument in Proposition 2.1 is stated and proved in the paper, with [23] used only as a reference for the standard trick; even if that proof had a gap, the gap would be a correctness issue, not a circularity in which an output is identical to an input. No step in the derivation reduces to its own assumption by construction, so the circularity score is zero.

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

No free parameters are fitted to data; the dimensions n, r, m are variables, not fitted constants. The proof depends on standard facts: Kollár vanishing, Horrocks splitting, Huybrechts-Riemann-Roch, twistor deformation, and the Hilbert polynomial property. The paper introduces the Beilinson norm as a tool, but it is explicitly defined and computed rather than postulated, so it is not an invented entity without evidence.

assumptions (8)
  • domain assumption Assumption 1.4: X is simply-connected, K-trivial, smooth projective; f: X -> P^n is a fibration with connected fibers.
    The main theorems are stated under this setup; the paper explicitly discusses the necessity in Remark 4.4.
  • domain assumption For a Lagrangian fibration of a hyper-Kähler manifold, the general fiber is an abelian variety of dimension n and the Beauville-Bogomolov-Fujiki form satisfies q(f^*O(1))=0.
    Used in Theorem 3.4 to compute h^i(F,O_F)=binomial(n,i) and chi(X,O_X(j/m))=n+1; q(f^*O(1))=0 is standard but not cited in the proof text.
  • standard math Kollár's vanishing theorems for higher direct images and their applications to K-trivial varieties.
    Used in Proposition 2.3 and Theorem 2.5 to prove local freeness of R^i f_* O_X(j/m) and the vanishing h^p(P^n, R^i f_* O_X(j/m))=0.
  • standard math Horrocks's splitting criterion for vector bundles on projective space.
    Used in Theorem 2.5 to split Omega^i_j into a direct sum of line bundles, essential for the Beilinson norm computation.
  • standard math Huybrechts-Riemann-Roch formula for hyper-Kähler manifolds: chi(X,L) is a polynomial in q(L) with constant term n+1.
    Used in Theorem 3.4 to compute chi(X,O_X((1+km)/m))=n+1.
  • standard math Degenerate twistor deformations of Lagrangian fibrations preserve fibers and admit projective members.
    Used in Theorem 3.4 to reduce the non-projective hyper-Kähler case to the projective case; see references [47], [50], [1].
  • standard math For a line bundle L on a complete variety, the function j maps to chi(X,L^j) is a polynomial with rational coefficients.
    Used in Theorem 4.1 to derive the integrality constraint p(j/m)=h(j) in Z.
  • standard math Simply-connectedness implies the absence of nontrivial connected finite étale covers.
    Used in Proposition 2.1 to rule out a degree-p cyclic cover.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Obstructions for codimension one multiple fibers of Lagrangian and Calabi--Yau fibrations." pith.science (2026). https://pith.science/paper/IWSHXEHV

@misc{pith2026260810102,
  author       = {Pith},
  title        = {Pith review of: Obstructions for codimension one multiple fibers of Lagrangian and Calabi--Yau fibrations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IWSHXEHV}},
  note         = {Machine review of arXiv:2608.10102}
}
read the original abstract

We prove that compact hyper-K\"ahler manifolds with a Lagrangian fibration over a projective space have no multiple fibers in codimension one. This has several consequences for the structure of Lagrangian fibrations, including progress on Sawon's conjecture on general singular fibers, Kamenova--Lu anti-hyperbolicity, and the extension of the N\'eron model action to a big open subset of the base. We prove the same result for Calabi--Yau fibrations on simply-connected K-trivial varieties, including elliptic fibrations, with a single exceptional case: an odd-dimensional K-trivial variety with a single fiber of multiplicity 2 over the projective line. This exceptional case is realized by examples of Borisov--Nuer and their generalizations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 41 canonical work pages

  1. [1]

    Shafarevich-Tate groups of holomorphic Lagrangian fibrations.Math

    Anna Abasheva and Vasily Rogov. Shafarevich-Tate groups of holomorphic Lagrangian fibrations.Math. Z., 311(1):Pa- per No. 4, 29, 2025

    work page 2025

  2. [2]

    The global moduli theory of symplectic varieties.J

    Benjamin Bakker and Christian Lehn. The global moduli theory of symplectic varieties.J. Reine Angew. Math., 790:223– 265, 2022

    work page 2022

  3. [3]

    Barth, Klaus Hulek, Chris A

    Wolf P. Barth, Klaus Hulek, Chris A. M. Peters, and Antonius Van de Ven.Compact complex surfaces, volume 4 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics. Springer- Verlag, Berlin, second edition, 2004

    work page 2004

  4. [4]

    Vari´ et´ es K¨ ahleriennes dont la premi` ere classe de Chern est nulle.J

    Arnaud Beauville. Vari´ et´ es K¨ ahleriennes dont la premi` ere classe de Chern est nulle.J. Differential Geom., 18(4):755–782 (1984), 1983

    work page 1984

  5. [5]

    Higher dimensional Enriques varieties and automor- phisms of generalized Kummer varieties.J

    Samuel Boissi` ere, Marc Nieper-Wisskirchen, and Alessandra Sarti. Higher dimensional Enriques varieties and automor- phisms of generalized Kummer varieties.J. Math. Pures Appl. (9), 95(5):553–563, 2011

    work page 2011

  6. [6]

    Borisov and Howard J

    Lev A. Borisov and Howard J. Nuer. On (2,4) complete intersection threefolds that contain an Enriques surface.Math. Z., 284(3-4):853–876, 2016

    work page 2016

  7. [7]

    Multiple fibres on surfaces: geometry, hyperbolic and arithmetic aspects.Manuscr

    Fr´ ed´ eric Campana. Multiple fibres on surfaces: geometry, hyperbolic and arithmetic aspects.Manuscr. Math., 117(4):429–461, 2005

    work page 2005

  8. [8]

    Minimal multiplicity of fiber components in abelian fibrations.arXiv:2512.14607, 2025

    Frederic Campana, Ljudmila Kamenova, and Misha Verbitsky. Minimal multiplicity of fiber components in abelian fibrations.arXiv:2512.14607, 2025

    arXiv 2025

Show all 51 references
  1. [9]

    Computing Riemann-Roch polynomials and classifying hyper-K¨ ahler fourfolds.J

    Olivier Debarre, Daniel Huybrechts, Emanuele Macr ` ı, and Claire Voisin. Computing Riemann-Roch polynomials and classifying hyper-K¨ ahler fourfolds.J. Amer. Math. Soc., 37(1):151–185, 2024

    2024

  2. [10]

    Twists of intermediate Jacobian fibrations.arXiv:2411.01953, 2024

    Yajnaseni Dutta, Dominique Mattei, and Evgeny Shinder. Twists of intermediate Jacobian fibrations.arXiv:2411.01953, 2024

    2024 arXiv

  3. [11]

    Boundedness of some fibered K-trivial varieties.arXiv:2507.00973, 2025

    Philip Engel, Stefano Filipazzi, Fran¸ cois Greer, Mirko Mauri, and Roberto Svaldi. Boundedness of some fibered K-trivial varieties.arXiv:2507.00973, 2025

    2025 arXiv

  4. [12]

    Klt varieties with trivial canonical class: holonomy, differential forms, and fundamental groups.Geom

    Daniel Greb, Henri Guenancia, and Stefan Kebekus. Klt varieties with trivial canonical class: holonomy, differential forms, and fundamental groups.Geom. Topol., 23(4):2051–2124, 2019

    2019

  5. [13]

    Grothendieck

    A. Grothendieck. ´El´ ements de g´ eom´ etrie alg´ ebrique. III.´Etude cohomologique des faisceaux coh´ erents. I.Inst. Hautes ´Etudes Sci. Publ. Math., (11):167, 1961

    1961

  6. [14]

    Graduate Texts in Mathematics, No

    Robin Hartshorne.Algebraic geometry. Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977

    1977

  7. [15]

    The nilpotent cone in the Mukai system of rank two and genus two.Math

    Isabell Hellmann. The nilpotent cone in the Mukai system of rank two and genus two.Math. Ann., 380(3-4):1687–1711, 2021. 14 Y.-J. KIM, K. OGUISO, AND E. SHINDER

    2021

  8. [16]

    Compact hyperk¨ ahler manifolds

    Daniel Huybrechts. Compact hyperk¨ ahler manifolds. InCalabi-Yau manifolds and related geometries (Nordfjordeid, 2001), Universitext, pages 161–225. Springer, Berlin, 2003

    2001

  9. [17]

    Oxford Mathematical Monographs

    Daniel Huybrechts.Fourier-Mukai transforms in algebraic geometry. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford, 2006

    2006

  10. [18]

    Cambridge University Press, Cambridge, 2016

    Daniel Huybrechts.Lectures on K3 surfaces, volume 158 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2016

    2016

  11. [19]

    Lagrangian fibrations.Milan J

    Daniel Huybrechts and Mirko Mauri. Lagrangian fibrations.Milan J. Math., 90(2):459–483, 2022

    2022

  12. [20]

    Lagrangian fibrations of hyperk¨ ahler fourfolds.J

    Daniel Huybrechts and Chenyang Xu. Lagrangian fibrations of hyperk¨ ahler fourfolds.J. Inst. Math. Jussieu, 21(3):921– 932, 2022

    2022

  13. [21]

    Base manifolds for fibrations of projective irreducible symplectic manifolds.Invent

    Jun-Muk Hwang. Base manifolds for fibrations of projective irreducible symplectic manifolds.Invent. Math., 174(3):625– 644, 2008

    2008

  14. [22]

    Characteristic foliation on the discriminant hypersurface of a holomorphic Lagrangian fibration.Amer

    Jun-Muk Hwang and Keiji Oguiso. Characteristic foliation on the discriminant hypersurface of a holomorphic Lagrangian fibration.Amer. J. Math., 131(4):981–1007, 2009

    2009

  15. [23]

    Multiple fibers of holomorphic Lagrangian fibrations.Commun

    Jun-Muk Hwang and Keiji Oguiso. Multiple fibers of holomorphic Lagrangian fibrations.Commun. Contemp. Math., 13(2):309–329, 2011

    2011

  16. [24]

    On anti-hyperbolicity for hyperk¨ ahler varieties.arXiv:2511.04714, 2025

    Ljudmila Kamenova and Steven Lu. On anti-hyperbolicity for hyperk¨ ahler varieties.arXiv:2511.04714, 2025

    2025

  17. [25]

    Lagrangian fibrations on hyperk¨ ahler manifolds have no multiple fibers in codimension one

    Ljudmila Kamenova and Misha Verbisky. Lagrangian fibrations on hyperk¨ ahler manifolds have no multiple fibers in codimension one. In preparation

  18. [26]

    Pullbacks of hyperplane sections for Lagrangian fibrations are primitive

    Ljudmila Kamenova and Misha Verbitsky. Pullbacks of hyperplane sections for Lagrangian fibrations are primitive. Commun. Contemp. Math., 21(8):1850065, 7, 2019

    2019

  19. [27]

    The N´ eron model of a higher-dimensional Lagrangian fibration.arXiv:2410.21193, 2024

    Yoon-Joo Kim. The N´ eron model of a higher-dimensional Lagrangian fibration.arXiv:2410.21193, 2024

    2024 arXiv

  20. [28]

    Kodaira-type classification of singular fibers of some minimal abelian fibrations.arXiv:2603.02347, 2026

    Yoon-Joo Kim. Kodaira-type classification of singular fibers of some minimal abelian fibrations.arXiv:2603.02347, 2026

    2026

  21. [29]

    Isotrivial Lagrangian fibrations of compact hyper-K¨ ahler manifolds.J

    Yoon-Joo Kim, Radu Laza, and Olivier Martin. Isotrivial Lagrangian fibrations of compact hyper-K¨ ahler manifolds.J. Math. Pures Appl. (9), 205:Paper No. 103810, 49, 2026

    2026

  22. [30]

    Higher direct images of dualizing sheaves

    J´ anos Koll´ ar. Higher direct images of dualizing sheaves. I.Ann. of Math. (2), 123(1):11–42, 1986

    1986

  23. [31]

    Higher direct images of dualizing sheaves

    J´ anos Koll´ ar. Higher direct images of dualizing sheaves. II.Ann. of Math. (2), 124(1):171–202, 1986

    1986

  24. [32]

    J´ anos Koll´ ar.Shafarevich maps and automorphic forms. M. B. Porter Lectures. Princeton University Press, Princeton, NJ, 1995

    1995

  25. [33]

    Kov´ acs

    J´ anos Koll´ ar and S´ andor J. Kov´ acs. Higher direct images of dualizing sheaves III.arXiv:2508.16507, 2025

    2025 arXiv

  26. [34]

    Deformations of Lagrangian subvarieties of holomorphic symplectic manifolds.Math

    Christian Lehn. Deformations of Lagrangian subvarieties of holomorphic symplectic manifolds.Math. Res. Lett., 23(2):473–497, 2016

    2016

  27. [35]

    Equidimensionality of Lagrangian fibrations on holomorphic symplectic manifolds.Math

    Daisuke Matsushita. Equidimensionality of Lagrangian fibrations on holomorphic symplectic manifolds.Math. Res. Lett., 7(4):389–391, 2000

    2000

  28. [36]

    Higher direct images of dualizing sheaves of Lagrangian fibrations.Amer

    Daisuke Matsushita. Higher direct images of dualizing sheaves of Lagrangian fibrations.Amer. J. Math., 127(2):243–259, 2005

    2005

  29. [37]

    Calabi-Yau threefolds of quotient type.Asian J

    Keiji Oguiso and Jun Sakurai. Calabi-Yau threefolds of quotient type.Asian J. Math., 5(1):43–77, 2001

    2001

  30. [38]

    Enriques manifolds.J

    Keiji Oguiso and Stefan Schr¨ oer. Enriques manifolds.J. Reine Angew. Math., 661:215–235, 2011

    2011

  31. [39]

    Modern Birkh¨ auser Classics

    Christian Okonek, Michael Schneider, and Heinz Spindler.Vector bundles on complex projective spaces. Modern Birkh¨ auser Classics. Birkh¨ auser/Springer Basel AG, Basel, 2011. Corrected reprint of the 1988 edition, With an appen- dix by S. I. Gelfand

    2011

  32. [40]

    Triangulated categories of singularities and D-branes in Landau-Ginzburg models.Tr

    Dmitri Orlov. Triangulated categories of singularities and D-branes in Landau-Ginzburg models.Tr. Mat. Inst. Steklova, 246(Algebr. Geom. Metody, Svyazi i Prilozh.):240–262, 2004

    2004

  33. [41]

    Lagrangian fibrations on symplectic fourfolds.J

    Wenhao Ou. Lagrangian fibrations on symplectic fourfolds.J. Reine Angew. Math., 746:117–147, 2019

    2019

  34. [42]

    Oriented cohomology theories of algebraic varieties.K-Theory, 30(3):265–314, 2003

    Ivan Panin. Oriented cohomology theories of algebraic varieties.K-Theory, 30(3):265–314, 2003. Special issue in honor of Hyman Bass on his seventieth birthday. Part III

    2003

  35. [43]

    Young person’s guide to canonical singularities

    Miles Reid. Young person’s guide to canonical singularities. InAlgebraic geometry, Bowdoin, 1985 (Brunswick, Maine, 1985), volume 46 ofProc. Sympos. Pure Math., pages 345–414. Amer. Math. Soc., Providence, RI, 1987

    1985

  36. [44]

    Compactifying Lagrangian fibrations.arXiv:2411.06505, 2024

    Giulia Sacc` a. Compactifying Lagrangian fibrations.arXiv:2411.06505, 2024

    2024 arXiv

  37. [45]

    Singular fibers of very general Lagrangian fibrations.Commun

    Justin Sawon. Singular fibers of very general Lagrangian fibrations.Commun. Contemp. Math., 24(9):Paper No. 2150070, 19, 2022

    2022

  38. [46]

    Fujiki relations and fibrations of irreducible symplectic varieties

    Martin Schwald. Fujiki relations and fibrations of irreducible symplectic varieties. ´Epijournal G´ eom. Alg´ ebrique, 4:Art. 7, 19, 2020

    2020

  39. [47]

    Hermitian-symplectic and K¨ ahler structures on degenerate twistor deforma- tions.arXiv:2407.07867v2, 2024

    Andrey Soldatenkov and Misha Verbitsky. Hermitian-symplectic and K¨ ahler structures on degenerate twistor deforma- tions.arXiv:2407.07867v2, 2024. CODIMENSION ONE MULTIPLE FIBERS 15

    2024 arXiv

  40. [48]

    Higher-dimensional Calabi-Yau varieties with dense sets of rational points.Eur

    Fumiaki Suzuki. Higher-dimensional Calabi-Yau varieties with dense sets of rational points.Eur. J. Math., 8(1):193–204, 2022

    2022

  41. [49]

    Higher direct images of canonical sheaves tensorized with semi-positive vector bundles by proper K¨ ahler morphisms.Math

    Kensho Takegoshi. Higher direct images of canonical sheaves tensorized with semi-positive vector bundles by proper K¨ ahler morphisms.Math. Ann., 303(3):389–416, 1995

    1995

  42. [50]

    Degenerate twistor spaces for hyperk¨ ahler manifolds.J

    Misha Verbitsky. Degenerate twistor spaces for hyperk¨ ahler manifolds.J. Geom. Phys., 91:2–11, 2015

    2015

  43. [51]

    On Chern classes of Lagrangian fibered hyper-K¨ ahler manifolds.Pure Appl

    Claire Voisin. On Chern classes of Lagrangian fibered hyper-K¨ ahler manifolds.Pure Appl. Math. Q., 21(3):1393–1435, 2025. Department of Mathematics, Columbia University, New York, NY 10027, USA, and HCMC, Korea Insti- tute for Advanced Study, Seoul, South Korea Email address:...

    2025

Pith tools

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