2023/03/09 by Schnell, Christian
#Algebraic Geometry (math.AG) #FOS: Mathematics
paper · doi:10.48550/arxiv.2303.05364
The purpose of this paper is to establish several new results about the Hodge theory of Lagrangian fibrations on (not necessarily compact) holomorphic symplectic manifolds. Let M be a holomorphic symplectic manifold of dimension 2n that is Kähler but not necessarily compact, and let π\colon M → B be a Lagrangian fibration. We establish a relationship between the bundle of holomorphic (n+i)-forms on M and the i-th perverse sheaf Pi in the decomposition theorem for π. This is formulated using Saito's theory of Hodge modules and the BGG correspondence (between graded modules over the symmetric and exterior algebra). Along the way, we prove a relative Hard Lefschetz theorem for the action by the symplectic form; we prove two recent conjectures by Maulik, Shen, and Yin; we give a short proof for Matsushita's theorem (about higher direct images of the structure sheaf); and we show, without using hyperkähler metrics, that every Lagrangian fibration gives rise to an action by the Lie algebra \mathfraksl3(ℂ) (in the noncompact case) or \mathfraksl4(ℂ) (in the compact case).