We construct the deformation functor associated with a pair of morphisms of differential graded Lie algebras, and use it to study infinitesimal deformations of holomorphic maps of compact complex manifolds. In particular, using L-infinity structures, we give an explicit description of the differential graded Lie algebra that controls this problem.
We construct the deformation functor associated to a couple of morphisms of differential graded Lie algebras, and use it to study the infinitesimal deformations of a holomorphic map of compact complex manifolds. In particular, in the case of Kähler manifolds we describe a generalizzation of the semiregularity map.
In this paper, we study deformations of holomorphic Poisson maps which extend Horikawa's series of papers on deformations of holomorphic maps in the context of holomorphic Poisson deformations. In appendices, we present deformations of Poisson morphisms in the language of functors of Artin rings which is the algebraic version of deformations of holomorphic Poisson maps. We identity first-order deformations and obstructions.
We describe the differential graded Lie algebras governing Poisson deformations of a holomorphic Poisson manifold and coisotropic embedded deformations of a coisotropic holomorphic submanifold. In both cases, under some mild additional assumption, we show that the infinitesimal first order deformations induced by the anchor map are unobstructed. Applications include the analog of Kodaira stability theorem for coisotropic deformation and a generalization of McLean-Voisin's theorem about the local moduli space of lagrangian submanifold. Finally it is shown that our construction is homotopy equiv…
We study integral representations of holomorphic differentials on the Oort-Sekiguci-Suwa component of deformations of curves with cyclic group actions.
In this paper, we study deformations of compact holomorphic Poisson submanifolds which extend Kodaira's series of papers on semi-regularity (deformations of compact complex submanifolds of codimension 1), deformations of compact complex submanifolds of arbitrary codimensions, and stability of compact complex submanifolds in the context of holomorphic Poisson deformations. We also study simultaneous deformations of holomorphic Poisson structures and holomorphic Poisson submanifolds on a fixed underlying compact complex manifold. In appendices, we present deformations of Poisson closed subscheme…
In this thesis, we study deformations of compact holomorphic Poisson manifolds and algebraic Poisson schemes in the framework of Kodaira-Spencer's analytic deformation theory and Grothendieck's algebraic deformation theory.
We consider (small) algebraic deformations of germs of real-algebraic CR submanifolds in complex space and study the biholomorphic equivalence problem for such deformations. We show that two algebraic deformations of minimal holomorphically nondegenerate real-algebraic CR submanifolds are holomorphically equivalent if and only if they are algebraically equivalent.
Let $X\to¶^n$ be a $2n$-dimensional projective holomorphic symplectic manifold admitting a Lagrangian fibration over $¶^n$. Matsushita proved that the fibration can be deformed in a codimension one family in the moduli space $\mathrm{Def}(X)$ of deformations of $X$. We extend his result by proving that if the Lagrangian fibration admits a section, then there is a codimension two family of deformations which also preserve the section.
We prove the standard conjectures for complex projective varieties that are deformations of the Hilbert scheme of points on a K3 surface. The proof involves Verbitsky's theory of hyperholomorphic sheaves and a study of the cohomology algebra of Hilbert schemes of K3 surfaces.
An unobstructedness theorem is proved for deformations of compact holomorphic Poisson manifolds and applied to a class of examples. These include certain rational surfaces and Hilbert schemes of points on Poisson surfaces. We study in particular the Hilbert schemes of the projective plane and show that a generic deformation is determined by two parameters -- an elliptic curve and a translation on it.
We generalize Voisin's theorem on deformations of pairs of a symplectic manifold and a Lagrangian submanifold to the case of Lagrangian normal crossing subvarieties. Partial results are obtained for arbitrary Lagrangian subvarieties. We apply our results to the study of singular fibers of Lagrangian fibrations.
We show that if a generator of a differential Gerstenhaber algebra satisfies certain Cartan-type identities, then the corresponding Lie bracket is formal. Geometric examples include the shifted de Rham complex of a Poisson manifold and the subcomplex of differential forms on a symplectic manifold vanishing on a Lagrangian submanifold, endowed with the Koszul bracket. As a corollary we generalize a recent result by Hitchin on deformations of holomorphic Poisson manifolds.
In this paper we give a criterion for a deformation of a hermitian vector bundle to be Ricci-flat. As an application we show that on a Kähler manifold, every deformation of a vector bundle can be made Ricci-flat whereas on some Hopf manifolds, the non-existence of a Ricci-flat deformation is related to non-trivial vector bundles on the universal cover ${\mathbb C}^n\setminus\{0\}$. On a surface with $b_1(X)\not=0$ filtrable Ricci-rigid vector bundles prove to be very special. We apply this to Inoue and Hopf surfaces.
We prove that, for every compact Kaehler manifold, the period map of its Kuranishi family is induced by a natural L-infinity morphism. This implies, by standard facts about L-infinity algebras, that the period map is a "morphism of deformation theories" and then commutes with all deformation theoretic constructions (e.g. obstructions).
We prove unobstructed deformations for compact Kaehlerian even-dimensional Poisson manifolds whose Poisson tensor degenerates along a divisor with mild singularities. Examples include Hilbert schemes of del Pezzo surfaces.
We study deformations of holomorphic maps of compact, complex, Kähler manifolds. In particular, we describe a generalization of Bloch's semiregularity map that annihilates obstructions to deform holomorphic maps with fixed codomain.
We study infinitesimal deformations of autodual and hyper-holomorphic connections on complex vector bundles on hyper-Kähler manifolds of arbitrary dimension. In particular, we describe the DG Lie algebra controlling this deformation problem. Moreover, we prove associative formality for derived endomorphisms of a holomorphic vector bundle admitting a projectively hyper-holomorphic connection.
We study the deformations of a holomorphic symplectic manifold $M$, not necessarily compact, over a formal ring. We show (under some additional, but mild, assumptions on $M$) that the coarse deformation space exists and is smooth, finite-dimensional and naturally embedded into $H^2(M)$. For a holomorphic symplectic manifold $M$ which satisfies $H^1(M,{\cal O}_M) = H^2(M,{\cal O}_M)=0$, the coarse moduli of formal deformations is isomorphic to $\Spec\C[[t_1, ..., t_n]]$, where $t_1$, ... $t_n$ are coordinates in $H^2(M)$. This revised version contains one minor improvement: exposition in Subsec…
Given a compact complex $n$-fold $X$ satisfying the $\partial\bar\partial$-lemma and supposed to have a trivial canonical bundle $K_X$ and to admit a balanced (=semi-Kähler) Hermitian metric $ω$, we introduce the concept of deformations of $X$ that are {\bf co-polarised} by the balanced class $[ω^{n-1}]\in H^{n-1,\,n-1}(X,\,\C)\subset H^{2n-2}(X,\,\C)$ and show that the resulting theory of balanced co-polarised deformations is a natural extension of the classical theory of Kähler polarised deformations in the context of Calabi-Yau or even holomorphic symplectic compact complex manifolds. The c…
Moduli spaces of polarised (with fixed polarisation type) irreducible holomorphic symplectic manifolds deformation equivalent to Hilbert schemes of points on $K3$ surfaces are not connected in general and A. Apostolov counted the number of their components. We extend Apostolov's results to the case of manifolds deformation equivalent to generalised Kummer varieties.
We show that deformations of a surjective morphism onto a Fano manifold of Picard number 1 are unobstructed and rigid modulo the automorphisms of the target, if the variety of minimal rational tangents of the Fano manifold is non-linear or finite. The condition on the variety of minimal rational tangents holds for practically all known examples of Fano manifolds of Picard number 1, except the projective space. When the variety of minimal rational tangents is non-linear, the proof is based on an earlier result of N. Mok and the author on the birationality of the tangent map. When the varieties …
In this paper, we define a concept of a family of compact holomorphic Poisson manifolds on the basis of Kodaira-Spencer's deformation theory and deduce the integrability condition. We prove an analogue of their `Theorem of existence for complex analytic structures' under some analytic assumption, and establish an analogue of their `Theorem of completeness for complex analytic structures' in the context of holomorphic Poisson deformations.
In this article we study compact Kähler manifolds $X$ admitting non-singular holomorphic vector fields with the aim of extending to this setting the classical birational classification of projective varieties with tangent vector fields. We prove that any such a Kähler manifold $X$ admits an arbitrarily small deformation of a particular type which is a suspension over a torus; that is, a quotient of $F\times \mbb C^s$ fibering over a torus $T=\mbb C^s/Λ$. We derive some results dealing with the structure of such manifolds. In particular, we prove an extension of Calabi's theorem describing the …
Let $f$ be a holomorphic mapping between compact complex manifolds. We give a criterion for $f$ to have {\it unobstructed deformations}, i.e. for the local moduli space of $f$ to be smooth: this says, roughly speaking, that the group of infinitesimal deformations of $f$, when viewed as a functor, itself satisfies a natural lifting property with respect to infinitesimal deformations. This lifting property is satisfied e.g. whenever the group in question admits a `topological' or Hodge-theoretic interpretation, and we give a number of examples, mainly involving Calabi-Yau manifolds, where that i…
In a previous paper [FT1], for any logarithmic symplectic pair (X,D) of a symplectic manifold X and a simple normal crossings symplectic divisor D, we introduced the notion of log pseudo-holomorphic curve and proved a compactness theorem for the moduli spaces of stable log curves. In this paper, we introduce a natural set up for studying the deformation theory of log (and relative) curves. As a result, we obtain a logarithmic analog of the space of Ruan-Tian perturbations for these moduli spaces. For a generic compatible pair of an almost complex structure and a log perturbation term, we prove…
We give a general construction of extremal Kaehler metrics on the total space of certain holomorphic submersions, extending results of Dervan-Sektnan, Fine, and Hong. We consider submersions whose fibres admit a degeneration to Kaehler manifolds with constant scalar curvature, in a way that is compatible with the fibration structure. Thus we allow fibres that are K-semistable, rather than K-polystable; this is crucial to moduli theory. On these fibrations we phrase a partial differential equation whose solutions, called optimal symplectic connections, represent a canonical choice of a relative…
The paper studies the deformation theory of a holomorphic surjective map from a normal compact complex space to a compact Kaehler manifold and describes the component of the space of holomorphic maps, generalizing results in the projective case by Kebekus and the authors.
We describe certain Lagrangian fibrations by Prym varieties on holomorphic symplectic varieties that deform to compactifications of Sp-Hitchin systems.
This talk reports on results on the deformation quantization (star products) and on approximative operator representations for quantizable compact K"ahler manifolds obtained via Berezin-Toeplitz operators. After choosing a holomorphic quantum line bundle the Berezin-Toeplitz operator associated to a differentiable function on the manifold is the operator defined by multiplying global holomorphic sections of the line bundle with this function and projecting the differentiable section back to the subspace of holomorphic sections. The results were obtained in (respectively based on) joint work wi…
Given a (smooth) complex analytic family of compact complex manifolds, we prove that the central fibre must be Moishezon if the other fibres are Moishezon. Using a "strongly Gauduchon metric" on the central fibre whose existence was proved in our previous work on limits of projective manifolds, we show that the irreducible components of the relative Barlet space of divisors contained in the fibres are proper over the base even under the weaker assumption that the $\partial\bar\partial$-lemma hold on all the fibres except, possibly, the central one. This implies that the algebraic dimension of …
We determine the Mori cone of holomorphic symplectic varieties deformation equivalent to the punctual Hilbert scheme on a K3 surface. Our description is given in terms of Markman's extended Hodge lattice.
We compute the asymptotics of the number of connected branched coverings of a torus as their degree goes to infinity and the ramification type stays fixed. These numbers are equal to the volumes of the moduli spaces of pairs (curve, holomorphic differential) with fixed multiplicities of zeros of the differential and have several applications in ergodic theory.
We identify dglas that control infinitesimal deformations of the pairs (manifold, Higgs bundle) and of Hitchin pairs. As a consequence, we recover known descriptions of first order deformations and we refine known results on obstructions. Secondly we prove that the Hitchin map is induced by a natural L-infinity morphism and, by standard facts about L-infinity algebras, we obtain new conditions on obstructions to deform Hitchin pairs.
We study deformations of holomorphic function germs $f:(X,0)\to\mathbb C$ where $(X,0)$ is an ICIS. We present conditions for these deformations to have constant Milnor number, Euler obstruction and Bruce-Roberts number.
A $K3$ surface with an ample divisor of self-intersection 2 is a double cover of the plane branched over a sextic curve. We conjecture that a similar statement holds for the generic couple $(X,H)$ with $X$ a deformation of $(K3)^{[n]}$ and $H$ an ample divisor of square 2 for Beauville's quadratic form. If $n=2$ then according to the conjecture $X$ is a double cover of a (singular) sextic 4-fold in $\PP^5$. It follows from the conjecture that a deformation of $(K3)^{[n]}$ carrying a divisor (not necessarily ample) of degree 2 has an anti-symplectic birational involution. We test the conjecture…
This paper continues the study of holomorphic semistable principal G-bundles over an elliptic curve. In this paper, the moduli space of all such bundles is constructed by considering deformations of a minimally unstable G-bundle. The set of all such deformations can be described as the C^* quotient of the cohomology group of a sheaf of unipotent groups, and we show that this quotient has the structure of a weighted projective space. We identify this weighted projective space with the moduli space of semistable G-bundles, giving a new proof of a theorem of Looijenga.
Let A be an augmented algebra over a semi-simple algebra S. We show that the Ext algebra of S as an A-module, enriched with its natural A-infinity structure, can be used to reconstruct the completion of A at the augmentation ideal. We use this technical result to justify a calculation in the physics literature describing algebras that are derived equivalent to certain non-compact Calabi-Yau three-folds. Since the calculation produces superpotentials for these algebras we also include some discussion of superpotential algebras and their invariants.
Let F be a polarized irreducible holomorphic symplectic fourfold, deformation equivalent to the Hilbert scheme parametrizing length-two zero-dimensional subschemes of a K3 surface. The homology group H^2(F,Z) is equipped with an integral symmetric nondegenerate form, the Beauville form. We give precise conjectures for the structure of the cone of effective curves - and by duality - the cone of ample divisors. Formally they are completely analogous to the results known for K3 surfaces, and they are expressed entirely in terms of the integers represented by the Beauville form restricted to Pic(F…
We study the topology of polynomial functions by deforming them generically. We explain how the non-conservation of the total ``quantity'' of singularity in the neighbourhood of infinity is related to the variation of topology in certain families of boundary singularities along the hyperplane at infinity.
We prove that if in a (smooth) holomorphic family of compact complex manifolds all the fibres, except one, are projective, then the remaining (limit) fibre must be Moishezon. In an earlier work, we proved this result under the extra assumption that the limit fibre carries a strongly Gauduchon metric. In the present paper, we remove the extra assumption by proving that if all the fibres, except one, are $\partial\bar\partial$-manifolds, then the limit fibre carries a strongly Gauduchon metric. The $\partial\bar\partial$-assumption on the generic fibre is much weaker than the projective, Kähler …
Isomonodromic deformations of Higgs bundles and characterization of the non-abelian Noether--Lefschetz locus
Wuhan University(武汉大学);Xiamen University(厦门大学);University of Science and Technology of China(中国科学技术大学);Institut für Mathematik, Universität Mainz(美因茨大学数学研究所)
I conjecture that index formulas for $K$-theory classes on the moduli of holomorphic $G$-bundles over a compact Riemann surface $Σ$ are controlled, in a precise way, by Frobenius algebra deformations of the Verlinde algebra of $G$. The Frobenius algebras in question are twisted $K$-theories of $G$, equivariant under the conjugation action, and the controlling device is the equivariant Gysin map along the "product of commutators" from $G^{2g}$ to $G$. The conjecture is compatible with naive virtual localization of holomorphic bundles, from $G$ to its maximal torus; this follows by localization …