We develop deformation theory for abelian invariant complex structures on a nilmanifold, and prove that in this case the invariance property is preserved by the Kuranishi process. A purely algebraic condition characterizes the deformations leading again to abelian structures, and we prove that such deformations are unobstructed. Various examples illustrate the resulting theory, and the behavior possible in 3 complex dimensions.
The relation between nilmanifolds with left-invariant complex structure and iterated principal holomorphic torus bundles is clarified and we give criteria under which deformations in the large are again of such type. As an application we obtain a fairly complete picture in complex dimension three.
We consider nilmanifolds with left-invariant complex structure and prove that small deformations of such structures are again left invariant if the Dolbeault-cohomology of the nilmanifold can be calculated using left-invariant forms. By a result of Console and Fino this is generically the case. Our main tool is an analog of Dolbeault-cohomology for Lie-algebras with complex structure.
We show that the deformation space of complex parallelisable nilmanifolds can be described by polynomial equations but is almost never smooth. This is remarkable since these manifolds have trivial canonical bundle and are holomorphic symplectic in even dimension. We describe the Kuranishi space in detail in several examples and also analyse when small deformations remain complex parallelisable
We construct a Laplace isospectral deformation of metrics on an orbifold quotient of a nilmanifold. Each orbifold in the deformation contains singular points with order two isotropy. Isospectrality is obtained by modifying a generalization of Sunada's Theorem due to DeTurck and Gordon.
We study the quaternionic Calabi-Yau problem in HKT geometry introduced by Alesker and Verbitsky on 8-dimensional 2-step nilmanifolds with an abelian hypercomplex structure. We show that the quaternionic Monge-Ampère equation on these manifolds can always be solved for every data which is invariant by the action of a 3-dimensional torus.
A nilmanifold is a (left) quotient of a nilpotent Lie group by a cocompact lattice. A hypercomplex structure on a manifold is a triple of complex structure operators satisfying the quaternionic relations. A hypercomplex nilmanifold is a compact quotient of a nilpotent Lie group equipped with a left-invariant hypercomplex structure. Such a manifold admits a whole 2-dimensional sphere $S^2$ of complex structures induced by quaternions. We prove that for any hypercomplex nilmanifold $M$ and a generic complex structure $L\in S^2$, the complex manifold $(M,L)$ has algebraic dimension 0. A stronger …
It is proved that on nilmanifolds with abelian complex structure, there exists a canonically constructed non-trivial holomorphic Poisson structure. We identify the necessary and sufficient condition for its associated cohomology to be isomorphic to the cohomology associated to trivial (zero) holomorphic Poisson structure. We also identify a sufficient condition for this isomorphism to be at the level of Gerstenhaber algebras.
Let $M = Γ\backslash G$ be a nilmanifold endowed with an invariant complex structure. We prove that Kuranishi deformations of abelian complex structures are all invariant complex structures, generalizing a result of C. Maclaughlin, H. Pedersen, Y.S. Poon and S. Salamon for 2-step nilmanifolds. We characterize small deformations that remain abelian. As an application, we observe that at real dimension six, the deformation process of abelian complex structures is stable within the class of nilpotent complex structures. We give an example to show that this property does not hold in higher dimensi…
The invariant balanced Hermitian geometry of nilmanifolds of dimension 6 is described. We prove that the holonomy group of the associated Bismut connection reduces to a proper subgroup of SU(3) if and only if the complex structure is abelian. As an application we show that if J is abelian then any invariant balanced J-Hermitian structure provides solutions of the Strominger system.
A nilmanifold is a quotient of a nilpotent group $G$ by a co-compact discrete subgroup. A complex nilmanifold is one which is equipped with a $G$-invariant complex structure. We prove that a complex nilmanifold has trivial canonical bundle. This is used to study hypercomplex nilmanifolds (nilmanifolds with a triple of $G$-invariant complex structures which satisfy quaternionic relations). We prove that a hypercomplex nilmanifold admits an HKT (hyperkahler with torsion) metric if and only if the underlying hypercomplex structure is abelian. Moreover, any $G$-invariant HKT-metric on a nilmanifol…
The Bott-Chern cohomology of 6-dimensional nilmanifolds endowed with invariant complex structure is studied with special attention to the cases when balanced or strongly Gauduchon Hermitian metrics exist. We consider complex invariants introduced by Angella and Tomassini and by Schweitzer, which are related to the $\partial \bar\partial$-lemma condition and defined in terms of the Bott-Chern cohomology, and show that the vanishing of some of these invariants is not a closed property under holomorphic deformations. In the balanced case, we determine the spaces that parametrize deformations in t…
We study generalized complex cohomologies of generalized complex structures constructed from certain symplectic fibre bundles over complex manifolds. We apply our results in the case of left-invariant generalized complex structures on nilmanifolds and to their space of small deformations.
We prove that, for some classes of complex nilmanifolds, the Bott-Chern cohomology is completely determined by the Lie algebra associated to the nilmanifold with the induced complex structure. We use these tools to compute the Bott-Chern and Aeppli cohomologies of the Iwasawa manifold and of its small deformations, completing the computations in arXiv:0709.3528v1 [math.AG] by M. Schweitzer.
The purpose of this paper is to present the first continuous families of Riemannian manifolds isospectral on functions but not on 1-forms, and simultaneously, the first continuous families of Riemannian manifolds with the same marked length spectrum but not the same 1-form spectrum. The examples presented here are Riemannian three-step nilmanifolds and thus provide a counterexample to the Ouyang-Pesce Conjecture for higher-step nilmanifolds. Ouyang and Pesce independently showed that all isospectral deformations of two-step nilmanifolds must arise from the Gordon-Wilson method for constructing…
We classify invariant complex structures on 6-dimensional nilmanifolds up to equivalence. As an application, the behaviour of the associated Frölicher sequence is studied as well as its relation to the existence of strongly Gauduchon metrics. We also show that the strongly Gauduchon property and the balanced property are not closed under holomorphic deformation.
The subject for investigation in this note is concerned with holomorphic Poisson structures on nilmanifolds with abelian complex structures. As a basic fact, we establish that on such manifolds, the Dolbeault cohomology with coefficients in holomorphic polyvector fields is isomorphic to the cohomology of invariant forms with coefficients in invariant polyvector fields. We then quickly identify the existence of invariant holomorphic Poisson structures. More important, the spectral sequence of the Poisson bi-complex associated to such holomorphic Poisson structure degenerates at $E_2$. We will a…
We study symplectic (contact) structures on nilmanifolds that correspond to the filiform Lie algebras - nilpotent Lie algebras of the maximal length of the descending central sequence. We give a complete classification of filiform Lie algebras that possess a basis e_1, ..., e_n, [e_i,e_j]=c_{ij}e_{i{+}j} (N-graded Lie algebras). In particular we describe the spaces of symplectic cohomology classes for all even-dimensional algebras of the list. It is proved that a symplectic filiform Lie algebra is a filtered deformation of some N-graded symplectic filiform Lie algebra. But this condition is no…
Let $M= G/Γ$ be a compact nilmanifold endowed with an invariant complex structure. We prove that, on an open set of any connected component of the moduli space ${\cal C} ({\frak g})$ of invariant complex structures on $M$, the Dolbeault cohomology of $M$ is isomorphic to the one of the differential bigraded algebra associated to the complexification $\cg^\C$ of the Lie algebra of $G$. To obtain this result, we first prove the above isomorphism for compact nilmanifolds endowed with a rational invariant complex structure. This is done using a descending series associated to the complex structure…
A cohomology theory associated to a holomorphic Poisson structure is the hypercohomology of a bi-complex where one of the two operators is the classical $\overline\partial$-operator, while the other operator is the adjoint action of the Poisson bivector with respect to the Schouten-Nijenhuis bracket. The first page of the associated spectral sequence is the Dolbeault cohomology with coefficients in the sheaf of germs of holomorphic polyvector fields. In this note, the authors investigate the conditions for which this spectral sequence degenerates on the first page when the underlying complex m…
We present the extended Kuranishi space for Kodaira surface as a non-trivial example to Kontsevich and Barannikov's extended deformation theory. We provide a non-trivial example of Hertling-Manin's weak Frobenius manifold. In addition, we find that Kodaira surface is its own mirror image. Our computation is done in the context of compact nilmanifolds. The calculation of extended deformation and the weak Frobenius structure is based on Merkulov's perturbation method. The approach to relating symplectic structure and complex structure is inspired by Gualtieri's work on generalized complex struct…
The geodesic orbit property is useful and interesting in Riemannian geometry. It implies homogeneity and has important classes of Riemannian manifolds as special cases. Those classes include weakly symmetric Riemannian manifolds and naturally reductive Riemannian manifolds. The corresponding results for indefinite metric manifolds are much more delicate than in Riemannian signature, but in the last few years important corresponding structural results were proved for geodesic orbit Lorentz manifolds. Here we carry out a major step in the structural analysis of geodesic orbit Lorentz nilmanifold…
Let $(N, J)$ be a simply connected $2n$-dimensional nilpotent Lie group endowed with an invariant complex structure. We define a left invariant Riemannian metric on $N$ compatible with $J$ to be minimal, if it minimizes the norm of the invariant part of the Ricci tensor among all compatible metrics with the same scalar curvature. In [L1], J. Lauret proved that minimal metrics (if any) are unique up to isometry and scaling. This uniqueness allows us to distinguish two complex structures with Riemannian data, giving rise to a great deal of invariants. We show how to use a Riemannian invariant: t…
We describe the generalized Kuranishi spaces of solvmanifolds with left-invariant complex structures. By using such description, we study the stability of left-invariantness of deformed generalized complex structures and smoothness of generalized Kuranishi spaces on certain classes of solvmanifolds. We also give explicit finite dimensional cohcain complexes which computes the holomorphic Poisson cohomology of nilmanifolds and solvmanifolds.
We study HKT structures on nilpotent Lie groups and on associated nilmanifolds. We exhibit three weak HKT structures on $\R^8$ which are homogeneous with respect to extensions of Heisenberg type Lie groups. The corresponding hypercomplex structures are of a special kind, called abelian. We prove that on any 2-step nilpotent Lie group all invariant HKT structures arise from abelian hypercomplex structures. Furthermore, we use a correspondence between abelian hypercomplex structures and subspaces of ${\frak sp}(n)$ to produce continuous families of compact and noncompact of manifolds carrying no…
After a review on the development of deformation theory of abelian complex structures from both the classical and generalized sense, we propose the concept of semi-abelian generalized complex structure. We present some observations on such structure and illustrate this new concept with a variety of examples.
We review recent works concerning deformation quantization of abelian supergroups. Indeed, we expose the construction of an induced representation of the Heisenberg supergroup and an associated pseudodifferential calculus by using Kirillov's orbits method. Then, a star-product is built on the abelian supergroup R^{m|n} together with a universal deformation formula for its actions. Using topological Hopf algebras, we reformulate this deformation as a continuous twist on comodule-algebras. We also introduce the notion of C*-superalgebra which is natural and compatible with the deformation. Final…
A holomorphic Poisson structure induces a deformation of the complex structure as Hitchin's generalized geometry. Its associated cohomology naturally appears as the limit of a spectral sequence of a double complex. The first sheet of this spectral sequence is the Dolbeault cohomology with coefficients in the exterior algebra of the holomorphic tangent bundle. We identify various necessary conditions on compact complex manifolds on which this spectral sequence degenerates on the level of the second sheet. The manifolds to our concern include all compact complex surfaces, Kähler manifolds, and n…
In order to look for a well-behaved counterpart to Dolbeault cohomology in D-complex geometry, we study the de Rham cohomology of an almost D-complex manifold and its subgroups made up of the classes admitting invariant, respectively anti-invariant, representatives with respect to the almost D-complex structure, miming the theory introduced by T.-J. Li and W. Zhang in [T.-J. Li, W. Zhang, Comparing tamed and compatible symplectic cones and cohomological properties of almost complex manifolds, Comm. Anal. Geom. 17 (2009), no. 4, 651-684] for almost complex manifolds. In particular, we prove tha…
Frobenius manifold structures on the spaces of abelian integrals were constructed by I. Krichever. We use D-modules, deformation theory, and homological algebra to give a coordinate-free description of these structures. It turns out that the tangent sheaf multiplication has a cohomological origin, while the Levi-Civita connection is related to 1-dimensional isomonodromic deformations.
This paper is intended as the first step of a programme aiming to prove in the long run the long-conjectured closedness under holomorphic deformations of compact complex manifolds that are bimeromorphically equivalent to compact Kähler manifolds, known as Fujiki {\it class} ${\cal C}$ manifolds. Our main idea is to explore the link between the {\it class} ${\cal C}$ property and the closed positive currents of bidegree $(1,\,1)$ that the manifold supports, a fact leading to the study of semi-continuity properties under deformations of the complex structure of the dual cones of cohomology class…
Through the theory of Lie bi-algebroids and generalized complex structures, one could define a cohomology theory naturally associated to a holomorphic Poisson structure. It is known that it is the hypercohomology of a bi-complex such that one of the two operators is the classical $\overline{\partial}$-operator. Another operator is the adjoint action of the Poisson bivector with respect to the Schouten-Nijenhuis bracket. The hypercohomology is naturally computed by one of the two associated spectral sequences. In a prior publication, the author of this article and his collaborators investigated…
An {\em almost p-Kähler manifold} is a triple $(M,J,Ω)$, where $(M,J)$ is an almost complex manifold of real dimension $2n$ and $Ω$ is a closed real tranverse $(p,p)$-form on $(M,J)$, where $1\leq p\leq n$. When $J$ is integrable, almost $p$-Kähler manifolds are called $p$-{\em Kähler manifolds}. We produce families of almost $p$-Kähler structures $(J_t,Ω_t)$ on $\C^3$, $\C^4$, and on the real torus $\mathbb{T}^6$, arising as deformations of Kähler structures $(J_0,g_0,ω_0)$, such that the almost complex structures $J_t$ cannot be locally compatible with any symplectic form for $t\neq 0$. Furt…
We enhance the action of higher abelian gauge theory associated to a gerbe on an M5-brane with an action of a torus ${\mathbb T}^n (n\ge 2)$, by a noncommutative ${\mathbb T}^n$-deformation of the M5-brane. The ingredients of the noncommutative action and equations of motion include the deformed Hodge duality, deformed wedge product, and the noncommutative integral over the noncommutative space obtained by strict deformation quantization. As an application we then introduce a variant model with an enhanced action in which we show that the corresponding partition function is a modular form, whi…
