We give a simplified proof (in characteristic zero) of the decomposition theorem for complex projective varieties with klt singularities and numerically trivial canonical bundle. The proof rests in an essential way on most of the partial results of the previous proof obtained by many authors, but avoids those in positive characteristic by S. Druel. The single to some extent new contribution is an algebraicity and bimeromorphic splitting result for generically locally trivial fibrations with fibres without holomorphic vector fields. We give first the proof in the easier smooth case, following the same steps as in the general case, treated next.
Let $Y$ be a smooth hypersurface in a projective irreducible holomorphic symplectic manifold X of dimension 2n. The characteristic foliation $F$ is the kernel of the symplectic form restricted to Y. In this article we prove that a generic leaf of the characteristic foliation is dense in Y if Y has positive Beauville-Bogomolov-Fujiki square.
The Beauville-Bogomolov lattice is computed for a simplest singular symplectic manifold of dimension 4, obtained as a partial desingularization of the quotient $S^{[2]}/ι$, where $S^{[2]}$ is the Hilbert square of a K3 surface $S$ and $ι$ is a symplectic involution on it. This result applies, in particular, to the singular symplectic manifolds of dimension 4, constructed by Markushevich-Tikhomirov as compactifications of families of Prym varieties of a linear system of curves on a K3 surface with an anti-symplectic involution.
Beauville--Bogomolov--Yau decomposition for Kähler generalized pairs
Tohoku University（东北大学）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Université Côte d’Azur CNRS UMR 7351（法国蔚蓝海岸大学CNRS第7351联合实验室）
We generalize Fujiki relation of Beauville-Bogomolov quadratic form on a projective symplectic variety. As an application, we study a fibre space structure of a projective symplectic variety.
We investigate the existence of Lagrangian fibrations on the generalized Kummer varieties of Beauville. For a principally polarized abelian surface A of Picard number one we find the following: The Kummer variety K^n(A) is birationally equivalent to another irreducible symplectic variety admitting a Lagrangian fibration, if and only if n is a perfect square. And this is the case if and only if K^n(A) carries a divisor with vanishing Beauville-Bogomolov square.
Given a reflexive sheaf on a mildly singular projective variety, we prove a flatness criterion under certain stability conditions. This implies the algebraicity of leaves for sufficiently stable foliations with numerically trivial canonical bundle such that the second Chern class does not vanish. Combined with the recent work of Druel and Greb-Guenancia-Kebekus this establishes the Beauville-Bogomolov decomposition for minimal models with trivial canonical class.
Using a codimension-$1$ algebraic cycle obtained from the Poincaré line bundle, Beauville defined the Fourier transform on the Chow groups of an abelian variety $A$ and showed that the Fourier transform induces a decomposition of the Chow ring $CH^*(A)$. By using a codimension-$2$ algebraic cycle representing the Beauville--Bogomolov class, we give evidence for the existence of a similar decomposition for the Chow ring of hyperKähler varieties deformation equivalent to the Hilbert scheme of length-$2$ subschemes on a K3 surface. We indeed establish the existence of such a decomposition for the…
In this paper we partly extend the Beauville-Bogomolov decomposition theorem to the singular setting. We show that any complex projective variety of dimension at most five with canonical singularities and numerically trivial canonical class admits a finite cover, étale in codimension one, that decomposes as a product of an Abelian variety, and singular analogues of irreducible Calabi-Yau and irreducible holomorphic symplectic varieties.
We propose an explicit conjectural lift of the Neron-Severi Lie algebra of a hyperkähler variety $X$ of $K3^{[2]}$-type to the Chow ring of correspondences ${\rm CH}^\ast(X \times X)$ in terms of a canonical lift of the Beauville-Bogomolov class obtained by Markman. We give evidence for this conjecture in the case of the Hilbert scheme of two points of a $K3$ surface and in the case of the Fano variety of lines of a very general cubic fourfold. Moreover, we show that the Fourier decomposition of the Chow ring of $X$ of Shen and Vial agrees with the eigenspace decomposition of a canonical lift …
We study various examples of Calabi-Yau threefolds over finite fields. In particular, we provide a counterexample to a conjecture of K. Joshi on lifting Calabi-Yau threefolds to characteristic zero. We also compute the p-adic cohomologies of some Calabi-Yau threefolds constructed by Cynk-van Straten which have remarkable arithmetic properties, as well as those of the Hirokado threefold. These examples and computations answer some outstanding questions of B. Bhatt, T. Ekedahl, van der Geer-Katsura and Patakfalvi-Zdanowicz, and shed new light on the Beauville-Bogomolov decomposition in positive …
We investigate the holonomy group of singular Kähler-Einstein metrics on klt varieties with numerically trivial canonical divisor. Finiteness of the number of connected components, a Bochner principle for holomorphic tensors, and a connection between irreducibility of holonomy representations and stability of the tangent sheaf are established. As a consequence, known decompositions for tangent sheaves of varieties with trivial canonical divisor are refined. In particular, we show that up to finite quasi-étale covers, varieties with strongly stable tangent sheaf are either Calabi-Yau or irreduc…
In this article we study the structure of klt projective varieties with nef anticanonical divisor (and more generally, varieties of semi-Fano type), especially the canonical fibrations associated to them. We show that: 1. the Albanese map for such variety is a locally constant fibration (that is, an analytic fibre bundle with connected fibres that $X$ is equal to the product of the universal cover of the Albanese torus by the fibre of the Albanese map quotient by a diagonal action of the fundamenatl group of the Albanese torus); 2. if the smooth locus is simply connected, the MRC fibration of …
The classical Beauville-Bogomolov Decomposition Theorem asserts that any compact Kähler manifold with numerically trivial canonical bundle admits an étale cover that decomposes into a product of a torus, and irreducible, simply-connected Calabi-Yau-- and holomorphic-symplectic manifolds. The decomposition of the simply-connected part corresponds to a decomposition of the tangent bundle into a direct sum whose summands are integrable and stable with respect to any polarisation. Building on recent extension theorems for differential forms on singular spaces, we prove an analogous decomposition t…
Using currents with minimal singularities, we construct pointwise minimal multiplicities for a real pseudo-effective $(1,1)$-class $α$ on a compact complex $n$-fold $X$, which are the local obstructions to the numerical effectivity of $α$. The negative part of $α$ is then defined as the real effective divisor $N(α)$ whose multiplicity along a prime divisor $D$ is just the generic multiplicity of $α$ along $D$, and we get in that way a divisorial Zariski decomposition of $α$ into the sum of a class $Z(α)$ which is nef in codimension 1 and the class of its negative part $N(α)$, which is exceptio…
On the Boucksom-Zariski decomposition for irreducible symplectic varieties and bounded negativity
Institute of Mathematics of the Polish Academy of Sciences（波兰科学院数学研究所）；Dipartimento di Matematica, Università degli studi di Bologna（博洛尼亚大学数学系）；Institut Elie Cartan de Lorraine, Université de Lorraine et CNRS（洛林埃利嘉当研究所，洛林大学与法国国家科学研究中心）；Department of Mathematics, University of the National Education Commission Krakow（克拉科夫国民教育委员会大学数学系）
