Topology of projective Tate-Shafarevich twists

1. Problem Statement and Context

The Core Problem:
The paper investigates the topological and deformation-theoretic relationship between a projective Lagrangian fibration $\pi: X \to B$ (where $X$ is an irreducible hyper-Kähler variety) and its Tate-Shafarevich twist $X_\phi \to B$.
A Tate-Shafarevich twist is constructed by re-gluing the fibers of the original fibration using a 1-cocycle $\phi$ of relative automorphisms (locally flows of vertical vector fields). While the fibers remain isomorphic, the total spaces $X$ and $X_\phi$ are generally not homeomorphic, nor even birational.

The Conjecture:
The paper addresses Conjecture 1 (attributed to Saccà): The total spaces of two projective Lagrangian fibrations related by a Tate-Shafarevich twist are deformation-equivalent.
Saccà previously conjectured this for the specific case of relative compactified Albanese varieties (Conjecture 2), showing they share the same rational Hodge structure. Bai aims to generalize this to arbitrary projective twists and prove the deformation equivalence under specific conditions.

Key Obstacles:

• Topological Change: In general, twists can alter the topology (e.g., Betti numbers) if the resulting space is not Kähler.
• Algebraic vs. Analytic: The twist is defined in the analytic topology, but deformation equivalence is an algebraic/holomorphic concept.
• Integral Structures: While rational cohomology might be preserved, integral structures (like the Beauville-Bogomolov-Fujiki lattice) are difficult to compare directly.

---

2. Methodology

The author employs a multi-layered approach combining Hodge theory, perverse sheaf theory, and deformation theory.

A. Decomposition Theorem and Perverse Sheaves

The author relies heavily on the Decomposition Theorem for projective morphisms (BBDG).

• Key Insight: If both $X$ and $X_\phi$ are projective, the perverse Leray spectral sequence degenerates at $E_2$.
• Strategy: Instead of comparing the cohomology rings $H^*(X)$ and $H^*(X_\phi)$ directly (which is difficult due to non-local cup products), the author compares the associated graded rings with respect to the perverse filtration ($H_\pi$).
• Good Twists: The paper defines "good twists" where the perverse filtration is multiplicative. For Lagrangian fibrations, this is always true (a result by Shen-Zhang).

B. Comparison of Graded Rings

The author constructs an isomorphism between the graded rings $H_\pi$ and $H_{\pi_\phi}$:

1. Local Isomorphism: Locally, $X$ and $X_\phi$ are isomorphic. The author shows that the perverse sheaves $pH^k(R\pi_* \mathbb{Q})$ and $pH^k(R\pi_{\phi*} \mathbb{Q})$ are isomorphic globally because the gluing data (the twist) acts trivially on the cohomology of the perverse sheaves (due to the torsion nature of the twist and the finiteness of the cohomology groups).
2. Preservation of Structure: Using the existence of relatively ample line bundles (guaranteed by projectivity), the author shows that the isomorphism preserves:
   • The action of the base cohomology $H^*(B)$.
   • The relative Lefschetz action (induced by the ample class).
   • The intersection pairing (Hodge-Riemann bilinear form).

C. Degenerate Twistor Deformations

To prove deformation equivalence (Conjecture 1), the author utilizes the Bogomolov-Deev-Verbitsky theory of degenerate twistor deformations.

• Mechanism: If a Lagrangian fibration admits a $C^\infty$-section, one can deform the complex structure such that the section becomes holomorphic.
• Application: The author shows that if both $X$ and $X_\phi$ admit $C^\infty$-sections, they can both be deformed into new spaces ($X'$ and $X'_\phi$) that admit holomorphic sections.
• Birationality: Once holomorphic sections exist, the twisted fibration becomes a torsor for an abelian scheme. If the twist is torsion (which is implied by projectivity in the algebraic context), the twisted space with a section is birational to the original space with a section.
• Conclusion: Since birational irreducible hyper-Kähler manifolds are deformation-equivalent, the original spaces are deformation-equivalent.

---

3. Key Contributions and Results

Theorem 0.1 & 0.2 (Cohomological Invariance)

• Result: If $X \to B$ is a projective fibration and $X_\phi \to B$ is a projective Tate-Shafarevich twist, then there is an isomorphism of Hodge structures:
  $$H^k(X; \mathbb{Q}) \cong H^k(X_\phi; \mathbb{Q})$$
• Significance: This generalizes Saccà's observation. Crucially, it requires the projectivity of the twist; without it, Betti numbers can differ (as seen in non-Kähler examples).

Theorem 0.3 (Hodge-Riemann Preservation)

• Result: For a projective Lagrangian fibration and a torsion twist $\phi$, there exists an isomorphism $H^*(X; \mathbb{Q}) \cong H^*(X_\phi; \mathbb{Q})$ that preserves the Hodge-Riemann bilinear form associated with ample classes.
• Significance: This implies that the Beauville-Bogomolov-Fujiki (BBF) lattices are Hodge-similar. Specifically, there is a Hodge similitude between $(H^2(X), q_X)$ and $(H^2(X_\phi), q_{X_\phi})$.

Corollary 0.5 (BBF Lattice Similarity)

• Result: The rational BBF lattices of $X$ and $X_\phi$ are Hodge-similar.
• Limitation: The paper notes that preserving the integral BBF lattice is generally false (Example 3.2), as the map may not be integral. However, partial results on "local" BBF lattices are provided (Proposition 3.11).

Theorem 0.6 (Proof of Saccà's Conjecture)

• Result: If $X \to B$ and $X_\phi \to B$ both admit $C^\infty$-sections, then $X$ and $X_\phi$ are deformation-equivalent.
• Significance: This confirms Conjecture 1 under the assumption of $C^\infty$-sections. It bridges the gap between the analytic twist and the algebraic deformation class.

---

4. Significance and Implications

1. Stability of Deformation Types: The paper provides strong evidence that Tate-Shafarevich twists do not generate new deformation types of irreducible hyper-Kähler manifolds, provided the twists are projective (algebraic). This supports the classification of hyper-Kähler manifolds.
2. Topological Rigidity: It establishes that for projective twists, the rational cohomology ring, Hodge structures, and the BBF form (up to scaling) are invariants of the twist. This contrasts with the non-Kähler case where topology can change drastically.
3. Methodological Advance: The paper successfully applies the Decomposition Theorem and perverse sheaf techniques to the study of twists, moving beyond the limitations of local analytic gluing to global topological invariants.
4. Connection to Algebraic Geometry: By linking torsion twists to the étale topology (Theorem 4.6), the work clarifies the relationship between analytic twists and algebraic moduli problems (e.g., relative compactified Jacobians).

5. Limitations and Open Questions

• Integral Structure: The isomorphism between BBF lattices is only rational. The paper does not fully resolve whether the integral lattices are isometric, noting that they often are not (Example 3.2).
• Existence of $C^\infty$-sections: The proof of deformation equivalence relies on the existence of $C^\infty$-sections. The author notes (Remark 0.8) that not all Lagrangian fibrations admit such sections (e.g., those with nowhere-reduced fibers or non-primitive fiber homology classes). Whether Conjecture 1 holds for all projective Lagrangian fibrations remains open if the $C^\infty$-section condition fails.
• Non-Torsion Twists: The results regarding Hodge-Riemann preservation and deformation equivalence are primarily established for torsion twists (which correspond to algebraic/étale twists). The behavior of non-torsion (transcendental) twists is less understood in this context.

In summary, David Zhiuan Bai's paper provides a rigorous framework proving that projective Tate-Shafarevich twists preserve the essential topological and Hodge-theoretic data of Lagrangian fibrations and, under mild geometric assumptions ($C^\infty$-sections), do not alter the deformation class of the total space.