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.
We study the global geometry of the ten dimensional O'Grady irreducible symplectic variety. We determine its second Betti number, its Beauville form and its Fujiki constant.
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 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 t…
In 1995, Dan Guan constructed examples of non-Kahler, simply-connected holomorphically symplectic manifolds. An alternative construction, using the Hilbert scheme of Kodaira-Thurston surface, was given by F. Bogomolov. We investigate topology and deformation theory of Bogomolov-Guan manifolds and show that it is similar to that of hyperkahler manifolds. We prove the local Torelli theorem, showing that holomorphically symplectic deformations of BG-manifolds are unobstructed, and the corresponding period map is locally a diffeomorphism. Using the local Torelli theorem, we prove the Fujiki formul…
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.
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联合实验室)
Let X be a projective irreducible holomorphic symplectic manifold. The second integral cohomology of X is a lattice with respect to the Beauville-Bogomolov pairing. A divisor E on X is called a prime exceptional divisor, if E is reduced and irreducible and of negative Beauville-Bogomolov degree. Let E be a prime exceptional divisor on X. We first observe that associated to E is a monodromy involution of the integral cohomology of X, which acts on the second cohomology lattice as the reflection by the cohomology class of E (Theorem 1.1). We then specialize to the case that X is deformation equi…
A generic K3 surface of degree 2t is a general complex projective K3 surface whose Picard group is generated by the class of an ample divisor whose with respect to the intersection form is 2t. We show that if X is the Hilbert square of a generic K3 surface of degree 2t, with $t > 2$, such that X admits an ample divisor with $q_X(D)=2$, where $q_X$ Beauville-Bogomolov-Fujiki form, then X is a double EPW sextic.
Let X be an irreducible symplectic manifold and L a divisor on X. Assume that L is isotropic with respect to the Beauville-Bogomolov quadratic form. We define the rational Lagrangian locus and the movable locus on the universal deformation space of the pair (X, L). We prove that the rational Lagrangian locus is empty or coincide with the movable locus.
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.
Irreducible symplectic manifolds are one of the three building blocks of compact Kähler manifolds with numerically trivial canonical bundle by the Beauville-Bogomolov decomposition theorem. There are several singular analogues of irreducible symplectic manifolds, in particular in the context of compact Kähler orbifolds, and in the context of normal projective varieties with canonical singularities. In this paper we will collect their definitions, analyze their mutual relations and provide a list of known examples.
We propose a general framework governing the intersection properties of extremal rays of irreducible holomorphic symplectic manifolds under the Beauville-Bogomolov form. Our main thesis is that extremal rays associated to Lagrangian projective subspaces control the behavior of the cone of curves. We explore implications of this philosophy for examples like Hilbert schemes of points on K3 surfaces and generalized Kummer varieties. We also collect evidence supporting our conjectures in specific cases.
Let X be an irreducible symplectic manifold and L a nef line bundle on X which is isotropic with respect to the Beauville-Bogomolov quadratic form. It is known that a subgroup Aut(X,L) of an automorphism group of X which fix L is almost abelian. We give a formula of the rank of Aut(X,L) in terms of MBM divisors. We also prove that the nef cone of X cut out MBM classes, which is a generalization of Kovac's structure theorem of nef cones of K3 surfaces
We construct a new 20-dimensional family of projective 6-dimensional irreducible holomorphic symplectic manifolds. The elements of this family are deformation equivalent with the Hilbert scheme of three points on a K3 surface and are constructed as natural double covers of special codimension 3 subvarieties of the Grassmanian G(3,6). These codimension 3 subvarieties are defined as Lagrangian degeneracy loci and their construction is parallel to that of EPW sextics, we call them the EPW cubes. As a consequence we prove that the moduli space of polarized IHS sixfolds of K3-type, Beauville-Bogomo…
Contents 1. Algebraicity criterion: statement 2. Proof of the algebraicity criterion. 3. Pseudoeffectivity and movable classes. 4. Harder-Narasimhan filtrations and pseudo-effectivity. 5. Pseudo-effectivity of relative canonical bundles. 6. Rational curves and non-pseudoeffectivity of the canonical/cotangent bundles. 7. Birational stability of the cotangent bundle 8. Shafarevich-Viehweg conjecture. 9. Numerically trivial foliations. 10. The Beauville-Bogomolov-Yau decomposition 11. Some questions 11.1. Pseudoeffectivity of determinants. 11.2. Variations on Abundance. 11.3. Special manifolds. R…
We classify the cohomology classes of Lagrangian 4-planes $¶^4$ in a smooth manifold $X$ deformation equivalent to a Hilbert scheme of 4 points on a $K3$ surface, up to the monodromy action. Classically, the cone of effective curves on a $K3$ surface $S$ is generated by nonegative classes $C$, for which $(C,C)\geq0$, and nodal classes $C$, for which $(C,C)=-2$; Hassett and Tschinkel conjecture that the cone of effective curves on a holomorphic symplectic variety $X$ is similarly controlled by "nodal" classes $C$ such that $(C,C)=-γ$, for $(\cdot,\cdot)$ now the Beauville-Bogomolov form, where …
In this article we investigate Hirzebruch-Riemann-Roch formulae for line bundles on irreducible symplectic Kähler manifolds. As Huybrechts has shown, for every irreducible complex Kähler manifold $X$ of dimension $2n$, there are numbers $a_0, a_2, ..., a_{2n}$ such that $χ(L) = \sum_{k = 0}^n a_{2k}/(2k)! q_X(c_1(L))^k$ for the Euler characteristic of a line bundle $L$, where $q_X: H^2(X, \mathbbm C) \to \mathbbm C$ is the Beauville-Bogomolov quadratic form of $X$. Using Rozansky-Witten classes similar to Hitchin and Sawon, we obtain a formula expressing the $a_{2k}$ in terms of Chern numbers …
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(克拉科夫国民教育委员会大学数学系)