We consider compact Kählerian manifolds $X$ of even dimension 4 or more, endowed with a log-symplectic holomorphic Poisson structure $Π$ which is sufficiently general, in a precise linear sense, with respect to its (normal-crossing) degeneracy divisor $D(Π)$. We prove that $(X, Π)$ has unobsrtuced deformations, that the tangent space to its deformation space can be identified in terms of the mixed Hodge structure on $H^2$ of the open symplectic manifold $X\setminus D(Π)$, and in fact coincides with this $H^2$ provided the Hodge number $h^{2,0}_X=0$, and finally that the degeneracy locus $D(Π)$ deforms locally trivially under deformations of $(X, Π)$.
It has been pointed out that the general position hypothesis in the original paper is not strong enough and this is corrected in an appended erratum/corrigendum to the revised version.
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.
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.
A family of irreducible holomorphic symplectic (ihs) manifolds over the complex projective line has unobstructed deformations if its period map is an embedding. This applies in particular to twistor spaces of ihs manifolds. Moreover, a family of ihs manifolds over a subspace of the period domain extends to a universal family over an open neighborhood in the period domain.
This paper gives a simple example of a family of Calabi-Yaus of any dimension with canonical singularities of dimension one, whose Kuranishi space is singular. Thus the Bogomolov-Tian-Todorov unobstructedness theorem is not true for Calabi-Yaus with canonical singularities.
In this paper we prove the smoothness of the moduli space of Landau-Ginzburg models. We formulate and prove a Tian-Todorov theorem for the deformations of Landau-Ginzburg models, develop the necessary Hodge theory for varieties with potentials, and prove a double degeneration statement needed for the unobstructedness result. We discuss the various definitions of Hodge numbers for non-commutative Hodge structures of Landau-Ginzburg type and the role they play in mirror symmetry. We also interpret the resulting families of de Rham complexes attacted to a potential in terms of mirror symmetry for…
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…
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.
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.
In this paper, we study the (singular) universal cover of an affine hypertoric variety. We show that it is given by another affine hypertoric variety, and taking the universal cover corresponds to taking the simplification of the associated hyperplane arrangement. Also, we describe the fundamental group of the regular locus of an affine hypertoric variety in general. In the latter part, we show that the hamiltonian torus action is block indecomposable if and only if $\mathbb{C}^*$-equivariant symplectic structures on the associated hypertoric variety are unique up to scalar. In particular, we …
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.
In \cite{Goto}, Ryushi Goto has constructed the deformation space for a manifold equipped with a collection of closed differential forms and showed that in some important cases (Calabi-Yau, $G_2$- and $Spin(7)$-structures) this deformation space is smooth. This result unifies the classical Bogomolov-Tian-Todorov and Joyce theorems about unobstructedness of deformations. Using the work of Fiorenza and Manetti, we show that this deformation space could be obtained as the deformation space associated to a certain $L_{\infty}$-algebra. We also show that for Calabi-Yau, $G_2$- and $Spin(7)$-structu…
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
In this paper we study complex symplectic manifolds, i.e., compact complex manifolds $X$ which admit a holomorphic $(2, 0)$-form $σ$ which is $d$-closed and non-degenerate, and in particular the Beauville-Bogomolov-Fujiki quadric $Q_σ$ associated to them. We will show that if X satisfies the $\partial \bar{\partial}$-lemma, then $Q_σ$ is smooth if and only if $h^{2,0}(X) = 1$ and is irreducible if and only if $h^{1,1}(X) > 0$.
In this short note, we present a construction of new symplectic 4-manifolds with non-negative signature using the complex surfaces on Bogomolov-Miyaoka-Yau line $c_1^2 = 9χ_h$, the fake projective planes and Cartwright-Steger surfaces. Our construction yields an infinite family of fake rational homology $(2n-1)\CP#(2n-1)\CPb$ for any integer $3 \leq n \leq 22$.
We extend the notion of essential deformations from the case of the Iwasawa manifold, for which they were introduced recently by the first-named author, to the general case of page-$1$-$\partial\bar\partial$-manifolds that were jointly introduced very recently by all three authors. We go on to obtain an analogue of the unobstructedness theorem of Bogomolov, Tian and Todorov for page-$1$-$\partial\bar\partial$-manifolds. As applications of this discussion, we study the small deformations of certain Nakamura solvmanifolds and reinterpret the cases of the Iwasawa manifold and its $5$-dimensional …
Let S be an infinite-dimensional manifold of all symplectic, or hyperkahler, structures on a compact manifold M, and $Diff_0$ the connected component of its diffeomorphism group. The quotient $S/\Diff_0$ is called the Teichmuller space of symplectic (or hyperkahler) structures on M. MBM classes on a hyperkahler manifold M are cohomology classes which can be represented by a minimal rational curve on a deformation of M. We determine the Teichmuller space of hyperkahler structures on a hyperkahler manifold, identifying any of its connected components with an open subset of the Grassmannian $SO(b…
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.
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（克拉科夫国民教育委员会大学数学系）
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 …
In \cite{AP3, AHP}, the first author and his collaborators constructed the irreducible symplectic $4$-manifolds that are homeomorphic but not diffeomorphic to $(2n-1){\mathbb{CP}}^{2}\#(2n-1)\overline{\mathbb{CP}}^{2}$ for each integer $n \geq 25$, and the families of simply connected irreducible nonspin symplectic $4$-manifolds with positive signature that are interesting with respect to the symplectic geography problem. In this paper, we improve the main results in \cite{AP3, AHP}. In particular, we construct (i) an infinitely many irreducible symplectic and non-symplectic $4$-manifolds that…
We discuss the Hodge theory of algebraic non-commutative spaces and analyze how this theory interacts with the Calabi-Yau condition and with mirror symmetry. We develop an abstract theory of non-commutative Hodge structures, investigate existence and variations, and propose explicit construction and classification techniques. We study the main examples of non-commutative Hodge structures coming from a symplectic or a complex geometry possibly twisted by a potential. We study the interactions of the new Hodge theoretic invariants with mirror symmetry and derive non-commutative analogues of some…
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…
