pith. sign in

arxiv: 2602.21554 · v2 · submitted 2026-02-25 · 🧮 math.AG · math.DG

Topology of projective Tate-Shafarevich twists

David Zhiyuan Bai This is my paper

Pith reviewed 2026-05-15 19:47 UTC · model grok-4.3

classification 🧮 math.AG math.DG
keywords Tate-Shafarevich twistLagrangian fibrationHodge structureBeauville-Bogomolov-Fujiki latticedeformation equivalenceSaccà conjectureHodge-Riemann pairing
0
0 comments X

The pith

Torsion Tate-Shafarevich twists of projective Lagrangian fibrations induce isomorphisms on rational cohomology that preserve Hodge structures and the Hodge-Riemann pairing.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines Tate-Shafarevich twists of fibrations, which modify the fibration locally by flows of vector fields. When the twist class is torsion, the total spaces X and X^φ have isomorphic graded rational cohomology that respects both the Hodge filtration and the Hodge-Riemann bilinear form. This isomorphism implies that their rational Beauville-Bogomolov-Fujiki lattices are Hodge-similar. Under the further conditions that the base is smooth and both fibrations have smooth sections, the same setup is used to establish deformation equivalence via degenerate twistor deformations, confirming Saccà's conjecture in this case.

Core claim

Assuming the twist class is torsion, there exists an isomorphism H^*(X; ℚ) ≅ H^*(X^φ; ℚ) of graded vector spaces that respects the Hodge structures and the Hodge-Riemann pairing, so that the rational Beauville-Bogomolov-Fujiki lattices are Hodge-similar. With the added assumptions that the base B is smooth and both the original fibration and its twist admit C^∞-sections, the total spaces are deformation-equivalent by the theory of degenerate twistor deformations.

What carries the argument

Torsion Tate-Shafarevich twist given by a 1-cocycle of vector field flows in the analytic topology, which induces the cohomology isomorphism while preserving Hodge data.

If this is right

  • The rational cohomology of the total space is unchanged by a torsion twist, including its Hodge filtration.
  • The Beauville-Bogomolov-Fujiki lattice remains Hodge-similar after a torsion twist.
  • Under smoothness of the base and existence of smooth sections, the twisted fibration is deformation-equivalent to the original.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result suggests that analytic and étale realizations of the same fibration often share the same topological and Hodge-theoretic invariants when the difference is torsion.
  • The deformation equivalence may extend to questions about the connected components of the moduli space of hyperkähler manifolds or Lagrangian fibrations.
  • Similar techniques could apply to non-projective or non-Lagrangian fibrations if a suitable notion of torsion twist can be defined.

Load-bearing premise

The twist class is torsion.

What would settle it

An explicit example of a torsion-free projective Tate-Shafarevich twist where the Hodge numbers or the Hodge-Riemann pairing on rational cohomology differ between X and X^φ.

read the original abstract

A Tate-Shafarevich twist $X^\phi\to B$ of a fibration $X\to B$ modifies it by a $1$-cocycle of flows of vector fields relative to the base, locally in the analytic topology. Sacc\`a conjectured that the total spaces of two projective Lagrangian fibrations related by such a twist are deformation-equivalent. Assuming that the class of the twist is torsion (which is often equivalent to the twist being realizable in the \'etale topology), we show that there is an isomorphism $H^\ast(X;\mathbb Q)\cong H^\ast(X^\phi;\mathbb Q)$ of graded vector spaces that respects (1) the Hodge structures and (2) the Hodge-Riemann pairing. Consequently, the rational Beauville-Bogomolov-Fujiki lattices of these two spaces are Hodge-similar. Assuming further that $B$ is smooth, and both the original fibration and its twist admit $C^\infty$-sections, we show Sacc\`a's conjecture using the theory of degenerate twistor deformations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that if the class of a Tate-Shafarevich twist φ of a projective Lagrangian fibration X → B is torsion, then there exists an isomorphism H^*(X; ℚ) ≅ H^*(X^φ; ℚ) of graded vector spaces that preserves both the Hodge structures and the Hodge-Riemann pairing; as a consequence the rational Beauville-Bogomolov-Fujiki lattices are Hodge-similar. Under the further hypotheses that B is smooth and both fibrations admit C^∞-sections, the authors deduce Saccà’s conjecture on deformation equivalence by invoking the theory of degenerate twistor deformations.

Significance. If the derivations hold, the result supplies a concrete topological comparison between a fibration and its twist that respects the Hodge-theoretic data needed for hyperkähler geometry. The passage from the torsion assumption to a pairing-preserving isomorphism, followed by the application of degenerate twistor theory, would constitute a useful step toward resolving Saccà’s conjecture in the projective setting and could be cited in future work on moduli spaces of Lagrangian fibrations.

major comments (2)
  1. [§3] §3 (construction of the cohomology isomorphism): the claim that the torsion condition produces a map respecting the Hodge-Riemann pairing is load-bearing for the subsequent Hodge-similarity statement; the manuscript must exhibit an explicit chain of maps (or a spectral-sequence argument) showing that the pairing is preserved rather than merely stating that it follows from standard Hodge theory.
  2. [§5] §5 (application of degenerate twistor deformations): the deduction of deformation equivalence relies on the existence of C^∞-sections for both the original fibration and the twist; the text should clarify whether this hypothesis is automatically satisfied for projective Lagrangian fibrations or whether it imposes a genuine restriction that narrows the scope of the result relative to the full statement of Saccà’s conjecture.
minor comments (2)
  1. The abstract and introduction should state the dimension of the total spaces (or the type of the hyperkähler manifolds) at the outset, as this datum is used implicitly in the BBF lattice discussion.
  2. [Introduction] Notation for the 1-cocycle of flows and for the twist φ is introduced late; a short preliminary paragraph defining these objects would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the two major points below and have revised the manuscript to strengthen the exposition where needed.

read point-by-point responses

  1. Referee: [§3] §3 (construction of the cohomology isomorphism): the claim that the torsion condition produces a map respecting the Hodge-Riemann pairing is load-bearing for the subsequent Hodge-similarity statement; the manuscript must exhibit an explicit chain of maps (or a spectral-sequence argument) showing that the pairing is preserved rather than merely stating that it follows from standard Hodge theory.

    Authors: We agree that an explicit verification is preferable. In the revised §3 we now supply a concrete chain: the torsion class of φ induces an isomorphism on the base cohomology that lifts, via the Leray spectral sequence of the fibration, to an isomorphism of the total-space cohomology groups. Because the twist is realized by a torsion cocycle of holomorphic vector fields, the induced map on the E₂-page commutes with the differentials and preserves both the Hodge filtration (by construction of the twist) and the Hodge-Riemann pairing (by compatibility of the pairing with the cup-product on the base and the fiberwise symplectic form). The resulting isomorphism on the abutment therefore preserves the pairing; this argument is written out in full in the new §3.2. revision: yes

  2. Referee: [§5] §5 (application of degenerate twistor deformations): the deduction of deformation equivalence relies on the existence of C^∞-sections for both the original fibration and the twist; the text should clarify whether this hypothesis is automatically satisfied for projective Lagrangian fibrations or whether it imposes a genuine restriction that narrows the scope of the result relative to the full statement of Saccà’s conjecture.

    Authors: The C^∞-section hypothesis is not automatic for arbitrary projective Lagrangian fibrations; it is a genuine additional assumption required for the degenerate-twistor construction to produce a global deformation. We have revised the statement of the main theorem, the introduction, and §5 to make this restriction explicit and to compare it with the full form of Saccà’s conjecture. In many concrete cases (e.g., when B is a curve or the fibration admits a holomorphic section) the condition holds, but we acknowledge that removing it would require a more general treatment of the twistor space. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation proceeds from torsion assumption via standard Hodge theory

full rationale

The paper's central steps establish a graded isomorphism H^*(X;Q) ≅ H^*(X^φ;Q) preserving Hodge structures and the Hodge-Riemann pairing under the explicit torsion hypothesis on the twist class, then deduce Hodge-similarity of the rational BBF lattices. The further appeal to Saccà's conjecture invokes degenerate twistor deformations once smoothness of B and C^∞-sections are assumed. These steps rely on external Hodge-theoretic tools and fibration properties rather than any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The torsion condition is stated as an independent restriction that enables the comparison, with no reduction of the claimed isomorphism to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard results from Hodge theory, properties of Lagrangian fibrations, and the theory of degenerate twistor deformations; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Hodge structures and Hodge-Riemann bilinear relations hold for the cohomology of the total spaces
    Invoked to obtain the isomorphism that respects both structures and the pairing.
  • domain assumption Degenerate twistor deformations exist and control deformation equivalence when sections are present
    Used to conclude deformation equivalence under the smoothness and section assumptions.

pith-pipeline@v0.9.0 · 5481 in / 1376 out tokens · 46670 ms · 2026-05-15T19:47:10.300424+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Non-reduced components of global nilpotent cones

    math.AG 2026-04 unverdicted novelty 7.0

    Global nilpotent cones for twisted GL_r-Hitchin fibrations on curves and for moduli of 1D sheaves on K3 and other surfaces are nowhere reduced, with a criterion for primitive homology in Beauville-Mukai systems on K3 ...

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Shafarevich-Tate groups of holomorphic Lagrangian fibrations II, 2024

    Anna Abasheva. Shafarevich-Tate groups of holomorphic Lagrangian fibrations II, 2024. arXiv:2407.09178

    work page arXiv 2024

  2. [2]

    Shafarevich-Tate groups of holomorphic Lagrangian fibra- tions.Math

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

    work page 2025

  3. [3]

    Achar.Perverse sheaves and applications to representation theory, volume 258 ofMathematical Surveys and Monographs

    Pramod N. Achar.Perverse sheaves and applications to representation theory, volume 258 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2021

    work page 2021

  4. [4]

    The intrinsic cohomology ring of the universal compactified Jacobian over the moduli space of stable curves, 2025

    Younghan Bae, Davesh Maulik, Junliang Shen, and Qizheng Yin. The intrinsic cohomology ring of the universal compactified Jacobian over the moduli space of stable curves, 2025. arXiv:2509.05577

    work page arXiv 2025

  5. [5]

    On generalized Beauville decompositions, 2026

    Younghan Bae, Davesh Maulik, Junliang Shen, and Qizheng Yin. On generalized Beauville decompositions, 2026. arXiv:2402.08861

    work page arXiv 2026

  6. [6]

    Non-reduced components of global nilpotent cones, 2026

    David Zhiyuan Bai and David Fang. Non-reduced components of global nilpotent cones, 2026

    work page 2026

  7. [7]

    Variétés Kähleriennes dont la première classe de Chern est nulle.J

    Arnaud Beauville. Variétés Kähleriennes dont la première classe de Chern est nulle.J. Dif- ferential Geom., 18(4):755–782, 1983

    work page 1983

  8. [8]

    Be˘ilinson, Joseph Bernstein, and Pierre Deligne

    Alexander A. Be˘ilinson, Joseph Bernstein, and Pierre Deligne. Faisceaux pervers. InAnalysis and topology on singular spaces, I (Luminy, 1981), volume 100 ofAstérisque, pages 5–171. Soc. Math. France, Paris, 1982

    work page 1981

  9. [9]

    On the cohomology ring of a simple hyper-Kähler manifold (on the results of Verbitsky).Geom

    Fedor Bogomolov. On the cohomology ring of a simple hyper-Kähler manifold (on the results of Verbitsky).Geom. Funct. Anal., 6(4):612–618, 1996

    work page 1996

  10. [10]

    Sections of Lagrangian fibra- tions on holomorphic symplectic manifolds, 2025

    Fedor Bogomolov, Ljudmila Kamenova, and Misha Verbitsky. Sections of Lagrangian fibra- tions on holomorphic symplectic manifolds, 2025. arXiv:2407.07877v5

    work page arXiv 2025

  11. [11]

    Lagrangian fibrations for IHS fourfolds

    Fedor Bogomolov and Nikon Kurnosov. Lagrangian fibrations for IHS fourfolds, 2018. arXiv:1810.11011

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  12. [12]

    Bogomolov, Rodion N

    Fedor A. Bogomolov, Rodion N. Déev, and Misha Verbitsky. Sections of Lagrangian fibrations on holomorphically symplectic manifolds and degenerate twistorial deformations.Adv. Math., 405:Paper No. 108479, 14, 2022

    work page 2022

  13. [13]

    de Cataldo

    Mark Andrea A. de Cataldo. Hodge-theoretic splitting mechanisms for projective maps.J. Singul., 7:134–156, 2013. With an appendix containing a letter from P. Deligne

    work page 2013

  14. [14]

    de Cataldo, Tamás Hausel, and Luca Migliorini

    Mark Andrea A. de Cataldo, Tamás Hausel, and Luca Migliorini. Topology of Hitchin systems and Hodge theory of character varieties: the caseA1.Ann. of Math. (2), 175(3):1329–1407, 2012

    work page 2012

  15. [15]

    Computing Riemann-Roch polynomials and classifying hyper-Kähler fourfolds.J

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

    work page 2024

  16. [16]

    Décompositions dans la catégorie dérivée

    Pierre Deligne. Décompositions dans la catégorie dérivée. InMotives (Seattle, W A, 1991), vol- ume 55, Part 1 ofProc. Sympos. Pure Math., pages 115–128. Amer. Math. Soc., Providence, RI, 1994

    work page 1991

  17. [17]

    Twists of intermediate Jacobian fibrations, 2025

    Yajnaseni Dutta, Dominique Mattei, and Evgeny Shinder. Twists of intermediate Jacobian fibrations, 2025. 2411.01953

    work page arXiv 2025

  18. [18]

    On intersection cohomology and La- grangian fibrations of irreducible symplectic varieties.Trans

    Camilla Felisetti, Junliang Shen, and Qizheng Yin. On intersection cohomology and La- grangian fibrations of irreducible symplectic varieties.Trans. Amer. Math. Soc., 375(4):2987– 3001, 2022

    work page 2022

  19. [19]

    On the de Rham cohomology group of a compact Kähler symplectic manifold

    Akira Fujiki. On the de Rham cohomology group of a compact Kähler symplectic manifold. InAlgebraic geometry, Sendai, 1985, volume 10 ofAdv. Stud. Pure Math., pages 105–165. North-Holland, Amsterdam, 1987

    work page 1985

  20. [20]

    Sigma, 9:Paper No

    Andrew Harder, Zhiyuan Li, Junliang Shen, and Qizheng Yin.P=Wfor Lagrangian fibra- tions and degenerations of hyper-Kähler manifolds.Forum Math. Sigma, 9:Paper No. e50, 6, 2021

    work page 2021

  21. [21]

    Tamas Hausel, Anton Mellit, Alexandre Minets, and Olivier Schiffmann.P=WviaH 2,

    work page

  22. [22]

    20 DA VID ZHIYUAN BAI

    arXiv:2209.05429. 20 DA VID ZHIYUAN BAI

    work page arXiv

  23. [23]

    Math., 135(1):63– 113, 1999

    DanielHuybrechts.Compacthyper-Kählermanifolds: basicresults.Invent. Math., 135(1):63– 113, 1999

    work page 1999

  24. [24]

    Cambridge University Press, Cambridge, 2016

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

    work page 2016

  25. [25]

    The special Brauer group and twisted Picard varieties, 2025

    Daniel Huybrechts and Dominique Mattei. The special Brauer group and twisted Picard varieties, 2025. arXiv:2310.04032

    work page arXiv 2025

  26. [26]

    The Tate-Shafarevich group of a polarised K3 surface, 2025

    Daniel Huybrechts and Dominique Mattei. The Tate-Shafarevich group of a polarised K3 surface, 2025. arXiv:2507.22703

    work page arXiv 2025

  27. [27]

    Lagrangian fibrations.Milan J

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

    work page 2022

  28. [28]

    Lagrangian fibrations of hyperkähler fourfolds.J

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

    work page 2022

  29. [29]

    The Néron model of a higher-dimensional Lagrangian fibration, 2025

    Yoon-Joo Kim. The Néron model of a higher-dimensional Lagrangian fibration, 2025. arXiv:2410.21193

    work page arXiv 2025

  30. [30]

    Abelian fiber spaces and their Tate-Shafarevich twists with sections, 2025

    János Kollár. Abelian fiber spaces and their Tate-Shafarevich twists with sections, 2025

    work page 2025

  31. [31]

    Cohomology rings of the moduli of one-dimensional sheaves on the projective plane, 2024

    Yakov Kononov, Woonam Lim, Miguel Moreira, and Weite Pi. Cohomology rings of the moduli of one-dimensional sheaves on the projective plane, 2024. arXiv:2403.06277

    work page arXiv 2024

  32. [32]

    Perverse filtrations, Chern filtrations, and refined BPS invariants for localP2.Adv

    Yakov Kononov, Weite Pi, and Junliang Shen. Perverse filtrations, Chern filtrations, and refined BPS invariants for localP2.Adv. Math., 433:Paper No. 109294, 29, 2023

    work page 2023

  33. [33]

    Lagrangian fibrations of holomorphic-symplectic varieties ofK3[n]-type

    Eyal Markman. Lagrangian fibrations of holomorphic-symplectic varieties ofK3[n]-type. In Algebraic and complex geometry, volume 71 ofSpringer Proc. Math. Stat., pages 241–283. Springer, Cham, 2014

    work page 2014

  34. [34]

    Equidimensionality of complex Lagrangian fibrations.Math

    Daisuke Matsushita. Equidimensionality of complex Lagrangian fibrations.Math. Res. Let- ters, 7:389–391, 2000

    work page 2000

  35. [35]

    TheP=Wconjecture forGL n.Ann

    Davesh Maulik and Junliang Shen. TheP=Wconjecture forGL n.Ann. of Math. (2), 200(2):529–556, 2024

    work page 2024

  36. [36]

    Perverse filtrations and Fourier transforms

    Davesh Maulik, Junliang Shen, and Qizheng Yin. Perverse filtrations and Fourier transforms. Acta Math., 234(1):1–69, 2025

    work page 2025

  37. [37]

    Le lemme fondamental pour les algèbres de Lie.Publ

    Bao Châu Ngô. Le lemme fondamental pour les algèbres de Lie.Publ. Math. Inst. Hautes Études Sci., 111:1–169, 2010

    work page 2010

  38. [38]

    Lagrangian fibrations on symplectic fourfolds.J

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

    work page 2019

  39. [39]

    Cohomological stabilization, perverse filtrations, and refined BPS invariants for del Pezzo surfaces, 2024

    Weite Pi, Junliang Shen, Fei Si, and Feinuo Zhang. Cohomological stabilization, perverse filtrations, and refined BPS invariants for del Pezzo surfaces, 2024. arXiv:2406.10004

    work page arXiv 2024

  40. [40]

    Pjatecki˘i-Šapiro and Igor R

    Ilya I. Pjatecki˘i-Šapiro and Igor R. Šafarevič. Torelli’s theorem for algebraic surfaces of type K3.Izv. Akad. Nauk SSSR Ser. Mat., 35:530–572, 1971

    work page 1971

  41. [41]

    Compactifying Lagrangian fibrations, 2025

    Giulia Saccà. Compactifying Lagrangian fibrations, 2025. arXiv:2411.06505

    work page arXiv 2025

  42. [42]

    Decomposition theorem for proper Kähler morphisms.Tohoku Math

    Morihiko Saito. Decomposition theorem for proper Kähler morphisms.Tohoku Math. J. (2), 42(2):127–147, 1990

    work page 1990

  43. [43]

    On the definition of irreducible holomorphic symplectic manifolds and their singular analogs.Int

    Martin Schwald. On the definition of irreducible holomorphic symplectic manifolds and their singular analogs.Int. Math. Res. Not. IMRN, 2022(15):11864–11877, 2022

    work page 2022

  44. [44]

    Topology of Lagrangian fibrations and Hodge theory of hyper-Kähler manifolds.Duke Math

    Junliang Shen and Qizheng Yin. Topology of Lagrangian fibrations and Hodge theory of hyper-Kähler manifolds.Duke Math. J., 171(1):209–241, 2022. With Appendix B by Claire Voisin

    work page 2022

  45. [45]

    Soldatenkov, M

    Andrey Soldatenkov and Misha Verbitsky. Hermitian-symplectic and Kähler structures on degenerate twistor deformations, 2025. arXiv:2407.07867

    work page arXiv 2025

  46. [46]

    ProQuest LLC, Ann Arbor, MI, 1995

    Mikhail Sergeevic Verbitsky.Cohomology of compact hyperkaehler manifolds. ProQuest LLC, Ann Arbor, MI, 1995. Thesis (Ph.D.)–Harvard University

    work page 1995

  47. [47]

    Degenerate twistor spaces for hyperkähler manifolds.J

    Misha Verbitsky. Degenerate twistor spaces for hyperkähler manifolds.J. Geom. Phys., 91:2– 11, 2015. Yale University Email address:david.bai@yale.edu

    work page 2015