Abstract
We study generalized complex cohomologies of generalized complex structures constructed from certain symplectic fiber 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Generalized complex geometry, in the sense of Hitchin, Gualtieri, and Cavalcanti, [5, 10, 12], unifies symplectic and complex geometries in a unitary framework. In such a way, it clarifies the parallelism between results for (non-Kähler) complex manifolds and for (non-Kähler) symplectic manifolds.
We recall that a generalized complex structure on a differentiable manifold M is an endomorphism \({\mathcal J}\in \mathrm{End}(TM\oplus T^*M)\) such that \({\mathcal J}^{2}=-1\) and the i-eigenbundle \(L\subset (TM\oplus T^*M)\otimes \mathbb {C}\) is involutive with respect to the Courant bracket (1). If \(\omega \in \wedge ^2M\) (viewed as an isomorphism \(TM\rightarrow T^*M\)) is a symplectic structure, respectively \(J\in \mathrm{End}(TM)\) is a complex structure on M, then
are generalized complex structures on M. In view of the generalized Darboux theorem [10, Theorem 3.6] proved by Gualtieri, these examples constitute the basic models of generalized complex structures near regular points.
A generalized complex structure \(\mathcal {J}\) on M of dimension 2n yields a decomposition of complex differential forms \(\wedge ^{\bullet } T^*M\otimes \mathbb {C}= \bigoplus _{j=-n}^{n}U^{j}\), whence the bi-differential \(\mathbb {Z}\)-graded complex
In this note, we are interested in the generalized Dolbeault cohomologies
and in the generalized Bott–Chern and Aeppli cohomologies
(Note that, in the complex case, the generalized \(\partial \) and \(\overline{\partial }\) operators coincide with the complex operators, and so, up to a change of graduation, the above cohomologies are exactly the Dolbeault and the Bott–Chern cohomologies. In the symplectic case, the generalized Dolbeault cohomology is isomorphic to the de Rham cohomology, and the generalized Bott–Chern cohomology has been studied by Tseng and Yau; see [18–21].)
More precisely, look at the i-eigenbundle \(L\subset (TM\oplus T^*M)\otimes \mathbb {C}\) of \(\mathcal {J}\in {{\mathrm{End}}}((TM\oplus T^*M) \otimes \mathbb {C})\) with the Lie algebroid structure given by the Courant bracket and the projection \(\pi :L\rightarrow TM\otimes \mathbb {C}\). Take a generalized holomorphic bundle, that is, a complex vector bundle E with a Lie algebroid connection
satisfying \(\overline{\partial }\circ \overline{\partial }=0\). Consider
One way to construct generalized complex structures on manifolds is the following. Let \(p:X\rightarrow B\) be a symplectic fiber bundle with a generic fiber \((F,\sigma )\). Assume that the base B is a compact complex manifold and that there is a closed form \(\omega \) on the total space X which restricts to the symplectic form \(\sigma \) on the generic F. Then we can construct a non-degenerate pure form, and then a generalized complex structure on X.
We construct the following Leray spectral sequence for computing the generalized cohomology of such an X.
Corollary 2.2
Let \(p:X\rightarrow B\) be a symplectic fiber bundle with a generic fiber \((F,\sigma )\) of dimension \(2\ell \) such that:
-
B is a compact complex manifold of complex dimension k;
-
we have a closed form \(\omega \) on the total space X which restricts to the symplectic form \(\sigma \) on the generic F.
Consider the generalized complex structure \(\mathcal J\) on X defined by \(\omega \) and the complex structure of B and the i-eigenbundle L of \(\mathcal J\). Let W be a complex vector bundle over X such that \(W=p^{*}W^{\prime }\) for a holomorphic vector bundle \(W^{\prime }\) over the complex manifold B. We regard W as a generalized holomorphic bundle. Consider the flat vector bundle \(\mathbf{H}(F)=\bigcup _{x\in B}H^{\bullet }(F_{b})\) over B.
Then there exists a spectral sequence \(\left\{ E_{r}^{\bullet ,\bullet } \right\} _{r}\) which converges to \(GH_{\overline{\partial }}^{k+\ell -\bullet }(X)\) such that
As an application of the above results, we investigate generalized cohomologies of nilmanifolds \(M=\Gamma \backslash G\), that is, compact quotients of connected simply connected nilpotent Lie groups G. We consider left-invariant generalized complex structures on M, equivalently, linear generalized complex structures on the Lie algebra \(\mathfrak {g}\) of G. Note that left-invariant generalized complex structures on nilmanifolds are generalized Calabi–Yau, that is, the canonical line bundle K is trivial; whence \(GH^{n-\bullet }_{\overline{\partial }}(M)=H^{\bullet }(L)\).
In this context, we have a generalized complex decomposition also at the level of the Lie algebra, namely, \(\wedge ^\bullet \mathfrak {g}^*=\bigoplus _j\mathfrak {U}^j\), and a (finite dimensional) bi-differential \(\mathbb {Z}\)-graded sub-complex
It induces the map \(GH^\bullet _{\overline{\partial }}(\mathfrak {g}) \rightarrow GH^\bullet _{\overline{\partial }}(M)\) in cohomology, which is in fact always injective.
Corollary 5.4
Let G be a connected simply connected nilpotent Lie group and \(\mathfrak {g}\) the Lie algebra of G. We suppose that G admits a lattice \(\Gamma \) and consider the \(\mathbb {Q}\)-structure \(\mathfrak {g}_{\mathbb {Q}}\subset \mathfrak {g}\) induced by \(\Gamma \). We assume that there exists an ideal \(\mathfrak h\subset \mathfrak {g}\) so that:
-
(i)
\(\mathfrak {g}_{\mathbb {Q}}\cap \mathfrak h\) is a \(\mathbb {Q}\)-structure of \(\mathfrak h\);
-
(ii)
\(\mathfrak {g}/{\mathfrak h}\) admits a complex structure J;
-
(iii)
we have a closed 2-form \(\omega \in \wedge ^{2} \mathfrak {g}^{*}\) yielding \(\omega \in \wedge ^{2}{\mathfrak h}^{*}\) non-degenerate form on \(\mathfrak h\);
-
(iv)
\(\iota :\wedge ^{\bullet ,\bullet }(\mathfrak {g}/\mathfrak h)^{*}\otimes \mathbb {C}\rightarrow \wedge ^{\bullet ,\bullet }\Gamma H\backslash G\) induces an isomorphism on the Dolbeault cohomology.
Then the inclusion \(\iota :({\mathfrak U}^{\bullet },\partial ,\overline{\partial })\rightarrow ({\mathcal U}^{\bullet },\partial ,\overline{\partial }) \) induces isomorphisms \(GH_{\overline{\partial }}(\mathfrak {g})\cong GH_{\overline{\partial }}(\Gamma \backslash G)\), and \(GH_{\partial }(\mathfrak {g})\cong GH_{\partial }(\Gamma \backslash G)\), and \(GH_{BC}(\mathfrak {g})\cong GH_{BC}(\Gamma \backslash G)\).
As regards the fourth assumption, we note that it holds, e.g., when J is either bi-invariant, or holomorphically parallelizable, or Abelian, or rational, or nilpotent; see [9] and the references therein.
As an explicit example, we study a generalized complex structure on the Kodaira–Thurston manifold in Sect. 7. Another application of the previous result can be found in Angella et al. [2].
The above invariance result for generalized cohomologies is stable under small deformations.
Theorem 6.1
Let \(\Gamma \backslash G\) be a nilmanifold with a left-invariant generalized complex structure \(\mathcal J\); denote by \(\mathfrak {g}\) the Lie algebra of G. If the isomorphism \(GH_{\overline{\partial }}(\mathfrak {g})\cong GH_{\overline{\partial }}(\Gamma \backslash G)\) holds on the original generalized complex structure \(\mathcal J\), then the same isomorphism holds on the deformed generalized complex structure \(\mathcal J_{\epsilon (t)}\) for sufficiently small t.
For complex case, theorems of this type are found in [1, 3, 8].
Finally, we apply the above result on nilmanifolds to study their space of small deformations. In particular, we prove that any small deformation of a generalized complex structure on a nilmanifold with invariant generalized cohomology is (equivalent to) a left-invariant structure.
Theorem 6.2
Let \(\Gamma \backslash G\) be a nilmanifold with a left-invariant generalized complex structure \(\mathcal J\); denote by \(\mathfrak {g}\) the Lie algebra of G. If the isomorphism \(GH_{\overline{\partial }}(\mathfrak {g})\cong GH_{\overline{\partial }}(\Gamma \backslash G)\) holds on the original generalized complex structure \(\mathcal J\), then any sufficiently small deformation of generalized complex structure is equivalent to a left-invariant generalized complex structure \(\mathcal J_{\epsilon }\) with \(\epsilon \in \wedge ^{2} \mathfrak L^{*}\) satisfying the Maurer–Cartan equation.
This result is a generalization of [17, Theorem 2.6].
2 Generalized Complex Structures
Let M be a compact differentiable manifold of dimension 2n. Consider the vector bundle \(TM\oplus T^*M\), endowed with the natural symmetric pairing
We define the action of \(TM\oplus T^*M\) on \(\wedge ^{\bullet } T^*M\) so that
We define the Courant bracket on the space \(\mathcal {C}^{\infty }\left( TX\oplus T^*X\right) \) such that
A generalized complex structure on M is an endomorphism \({\mathcal J}\in \mathrm{End}(TM\oplus T^*M)\) such that \({\mathcal J}^{2}=-1\) and the i-eigenbundle \(L\subset (TM\oplus T^*M)\otimes \mathbb {C}\) involutive with respect to the Courant bracket.
A form \(\rho \) in \(\wedge ^{\bullet } T^*M\otimes \mathbb {C}\) is called pure if it can be written as
where \(B, \omega \in \wedge ^{2}T^*M\) and \(\Omega =\theta _{1}\wedge \dots \wedge \theta _{k}\) with \(\theta _{1},\dots , \theta _{k}\in T^*M\otimes \mathbb {C}\). A pure form \(\rho \in \wedge ^{\bullet } T^*M\otimes \mathbb {C}\) is non-degenerate if
For a generalized complex structure \({\mathcal J}\) with the i-eigenbundle L, we have the canonical line bundle \(K\subset \wedge ^{\bullet } T^*M\otimes \mathbb {C}\) such that
Any \(\rho \in K\) is a non-degenerate pure form and any \(\phi \in \mathcal {C}^{\infty }(K)\) is integrable, i.e., there exists \(v\in \mathcal {C}^{\infty }\left( TX\oplus T^*X\right) \) satisfying
Conversely, if we have a line bundle \(K\subset \wedge ^{\bullet } T^*M\otimes \mathbb {C}\) so that any \(\rho \in K\) is a non-degenerate pure form and any \(\phi \in \mathcal {C}^{\infty }(K)\) is integrable, then we have a generalized complex structure whose i-eigenbundle is \(L=\mathrm{Ann}(K)\).
For a generalized complex manifold \((M,\mathcal J)\) with the i-eigenbundle \(L\subset (TM\oplus T^*M)\otimes \mathbb {C}\) and the canonical line bundle \(K\subset \wedge ^{\bullet } T^*M\otimes \mathbb {C}\), for \(j\in \mathbb {Z}\), we define
Then we have
Denote \({\mathcal U}^{j}=\mathcal {C}^{\infty }(U^{j})\). Then, by the integrability, we have \(d{\mathcal U}^{j}\subset {\mathcal U}^{j-1}\oplus {\mathcal U}^{j+1}\). We consider the decomposition \(d=\partial +\overline{\partial }\) such that
Hence we have the bi-differential \(\mathbb {Z}\)-graded complexes \(({\mathcal U}^{\bullet },\partial ,\overline{\partial })\).
We define the generalized Dolbeault cohomologies
Define also the generalized Bott–Chern and Aeppli cohomologies
A generalized Hermitian metric on a generalized complex manifold \((M,\mathcal J)\) is a self-adjoint orthogonal transformation \(\mathcal G\in \mathrm{End}(TM\oplus TM^{*})\) such that \(\langle {\mathcal G}v,v\rangle >0\) for \(v\not =0\) and \(\mathcal J\mathcal G=\mathcal G\mathcal J\). For a generalized Hermitian metric \(\mathcal G\), we can define the generalized Hodge star operator \(\star :\mathcal U^{\bullet } \rightarrow \mathcal U^{\bullet } \) (see [6, Section 3]) and its conjugation \(\bar{\star }\). Define \(\overline{\partial }^{*}=-\bar{\star }\overline{\partial }\bar{\star }\) and \(\Delta _{\overline{\partial }}=\overline{\partial }\overline{\partial }^{*}+\overline{\partial }^{*}\overline{\partial }\). Then \(\Delta _{\overline{\partial }}\) is an elliptic operator and every cohomology class \(\alpha \in GH_{\overline{\partial }}^{\bullet }(M)\) admits a unique representative \(a\in \ker \Delta _{\overline{\partial }}\).
It is known that the vector bundle L with the Courant bracket and the projection \(\pi : L\rightarrow TM\otimes \mathbb {C}\) is a Lie algebroid. By this, we have the differential graded algebra structure on \(\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\) with the differential \(d_{L}: \mathcal {C}^{\infty }(\wedge ^{k} L^{*})\rightarrow \mathcal {C}^{\infty }(\wedge ^{k+1} L^{*})\) such that
It is known that \(\left( \mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*}), d_{L}\right) \) is an elliptic complex (see [10, Proposition 3.12]). A generalized holomorphic bundle is a complex vector bundle E with a Lie algebroid connection
satisfying \(\overline{\partial }\circ \overline{\partial }=0\). For a generalized holomorphic bundle \((E,\overline{\partial })\), we define the Lie algebroid cohomology
Identifying \(L^{*}=\overline{L}\) by the pairing, \(\overline{\partial }: {\mathcal U}^{n-k}\rightarrow {\mathcal U}^{n-k-1}\) can be viewed as a Lie algebroid connection
such that
Hence the canonical line bundle K is generalized holomorphic and we have \(GH^{n-\bullet }_{\overline{\partial }}(M)=H^{\bullet }(L,K)\). For a generalized holomorphic bundle \((E,\overline{\partial })\), we denote \(GH^{n-\bullet }_{\overline{\partial }}(M,E)=H^{\bullet }(L,K\otimes E)\).
If there exists a nowhere-vanishing closed section \(\rho \in \mathcal {C}^{\infty }(K)\), we call \(\mathcal J\) a generalized Calabi–Yau structure. In this case, we have \(GH^{n-\bullet }_{\overline{\partial }}(M)=H^{\bullet }(L)\).
By the identification \(L^{*}=\overline{L}\), we can define the Schouten bracket on \(\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\). For sufficiently small \(\epsilon \in \mathcal {C}^{\infty }(\wedge ^{2} L^{*})\), we obtain the small deformation of the isotropic subspace
Consider the endomorphism \({\mathcal J}_{\epsilon }\in \mathrm{End}(TM\oplus T^*M)\) whose i-eigenbundle and \(-i\)-eigenbundle are \(L_{\epsilon }\) and \(\overline{L_{\epsilon } }\) respectively. Then \({\mathcal J}_{\epsilon }\) is a generalized complex structure if and only if \(\epsilon \) satisfies the Maurer–Cartan equation:
As similar to Complex Geometry, we can apply the Kuranishi theory. Choose a Hermitian metric on L. Consider the adjoint operator \(d_{L}^{*}\), the Laplacian operator \(\Delta _{L}=d_{L}d_{L}^{*}+d_{L}^{*}d_{L}\), the projection \(H: \mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\rightarrow \ker \Delta _{L}\) and the Green operator G (i.e., the operator on \(\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\) so that \(G\Delta _{L}+H=\mathrm{id}\)). Let \(\epsilon _{1}\in \ker \Delta _{L}\cap \mathcal {C}^{2}(\wedge ^{\bullet } L^{*})\). We consider the formal power series \(\epsilon (\epsilon _{1})\) with values in \(\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\) given inductively by
Then, for sufficiently small \(\epsilon _{1}\), the formal power series \(\epsilon (\epsilon _{1})\) converges.
Theorem 1.1
([10, Theorem 5.5]) Any sufficiently small deformation of the generalized complex structure \(\mathcal J\) is equivalent to a generalized complex structure \({\mathcal J}_{\epsilon (\epsilon _{1})}\) for some \(\epsilon _{1}\in \ker \Delta _{L}\cap \mathcal {C}^{2}(\wedge ^{\bullet } L^{*})\) such that \(\epsilon (\epsilon _{1})\) satisfies the Maurer–Cartan equation.
Example 1.2
Let M be a compact 2n-dimensional manifold endowed with a symplectic structure \(\omega \in \wedge ^2 M\). Consider the induced isomorphism \(\omega :TM \rightarrow T^*M\). The symplectic structure gives rise to the generalized complex structure
In this case, we obtain the i-eigenbundle
the canonical line bundle \(K=\langle e^{i\omega } \rangle \) and
where
and \(\Lambda := -\iota _{\omega ^{-1}}\). In particular, we have the Lie algebroid isomorphism \(TM\otimes \mathbb {C}\cong L\), \(\mathcal J\) is generalized Calabi–Yau and hence we have an isomorphism \(H^{*}(M)\cong H^{*}(L)\cong GH^{n-\bullet }_{\overline{\partial }}(M)\). Moreover, we have [6, Corollary 1],
where \({{\mathrm{d}}}^\Lambda :=\left[ {{\mathrm{d}}},\Lambda \right] \) and this implies that \(GH^{k}_{BC}\left( X\right) \) and \(GH^{k}_{A}\left( X\right) \) are isomorphic to the symplectic Bott–Chern and Aeppli cohomologies introduced and studied by Tseng and Yau; see [18–21].
Example 1.3
Let M be a compact 2n-dimensional manifold endowed with a complex structure \(J\in {{\mathrm{End}}}(TM)\). The complex structure induces the generalized complex structure
where \(J^*\in {{\mathrm{End}}}(T^*M)\) denotes the dual endomorphism of \(J\in {{\mathrm{End}}}(TX)\). In this case, we obtain the i-eigenbundle \(L=T^{0,1}M\oplus T^{*1,0}M\), the canonical line bundle \(K=\wedge ^{n} T^{*1,0}M\) and
with the differentials
where \(\partial _J \) and \(\overline{\partial }_J\) are the usual Dolbeault operators on a complex manifold. The Lie algebroid complex \(\mathcal {C}^{\infty }(\wedge ^{\bullet }L^{*})\) is \(\mathcal {C}^{\infty }(\wedge ^{\bullet }(T^{1,0}M\oplus T^{*0,1}M) )\) with the differential \(d_{L}\) which is the usual Dolbeault operator.
3 Fibrations and Spectral Sequences
A symplectic fiber bundle is a smooth fiber bundle \(p:X\rightarrow B\) so that the fiber F is a compact symplectic manifold and the structural group is the group of symplectomorphisms. Let \(p:X\rightarrow B\) be a symplectic fiber bundle with a generic fiber \((F,\sigma )\) such that:
-
B is a compact complex manifold of complex dimension k;
-
we have a closed form \(\omega \) on the total space X which restricts to the symplectic form \(\sigma \) on the generic F.
Taking a local trivialization \(U\times F\subset X\), for a local holomorphic coordinates set \((z_{1},\dots ,z_{k})\) in U we obtain a non-degenerate pure form
and it gives a generalized complex structure on X whose i-eigenbundle L is given by
We consider the sub-bundle S so that \( S_{\vert U}=\{X-i\omega (X): X\in TF\otimes \mathbb {C}\}\subset L_{\vert U}\). Then, S is involutive with respect to the Courant bracket.
For \(b\in B\) and \(F_{b}=p^{-1}(b)\), denoting by \(H^{\bullet }(F_{b})\) the \(\mathbb {C}\)-valued de Rham cohomology of \(F_{b}\), we consider the vector bundle \(\mathbf{H}(F)=\bigcup _{x\in B}H^{\bullet }(F_{b})\). Then \(\mathbf{H}(F)\) is a flat vector bundle over B. Hence, in this case, \(\mathbf{H}(F)\) is a holomorphic vector bundle over the complex manifold B.
Consider the bundle \({\mathcal F}=TF_{b}\otimes \mathbb {C}\) of the vectors tangent to the fibers. Then \({\mathcal F}\) is a Lie algebroid. Consider the Lie algebroid cohomology \(H^{*}({\mathcal F})\); then we have an isomorphism
see [11, Chapter I. 2.4].
Let \((W,\overline{\partial })\) be a generalized holomorphic bundle over X. Define the subspace \(F^{p}\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*}\otimes W)\subset \mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*}\otimes W)\) so that
Then \(F^{p}\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*}\otimes W)\) is a decreasing bounded filtration of \((\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*}\otimes W),\overline{\partial })\). Hence we obtain the spectral sequence \(\left\{ E_{r}^{\bullet ,\bullet } \right\} _{r}\) for this filtration.
We suppose that \(W=p^{*}W^{\prime }\) for a holomorphic vector bundle \(W^{\prime }\) over the complex manifold B. For a local holomorphic coordinates set \((z_{1},\dots , z_{k})\) of B, locally we have
with the differential
where \(d_{S}\) is the differential on the Lie algebroid complex \(\mathcal {C}^{\infty }(\wedge ^{q} S^{*})\). By using the \(\omega \), we have a Lie algebroid isomorphism \({\mathcal F}\ni X\mapsto X-i\omega (X)\in S\). Hence we obtain
with the differential
where \(\overline{\partial }_{B}\) is the usual Dolbeault operator on the complex manifold B. Thus, globally, we obtain
with the differential \(d_{1}=\overline{\partial }\) which is the Lie algebroid connection on the holomorphic bundle \(W^{\prime }\otimes \mathbf{H}(F)\) where \(L_{B}=T^{0,1}B\oplus T^{*1,0}B\). Hence we have
We have shown the following result.
Theorem 2.1
Let \(p:X\rightarrow B\) be a symplectic fiber bundle with a generic fiber \((F,\sigma )\) such that:
-
B is a compact complex manifold of complex dimension k;
-
we have a closed form \(\omega \) on the total space X which restricts to the symplectic form \(\sigma \) on the generic F.
Consider the generalized complex structure \(\mathcal J\) on X defined by \(\omega \) and the complex structure of B and the i-eigenbundle L of \(\mathcal J\). Let W be a complex vector bundle over X such that \(W=p^{*}W^{\prime }\) for a holomorphic vector bundle \(W^{\prime }\) over the complex manifold B. We regard W as a generalized holomorphic bundle.
Then there exists a spectral sequence \(\left\{ E_{r}^{\bullet ,\bullet } \right\} _{r}\) which converges to \(H^{\bullet }(L, W)\) such that
Set \(W=K\) which is the canonical line bundle of \((X,\mathcal J)\). Then as a bundle, we have \(p^{*}K_{B}\cong K\) where \(K_{B}\) is the canonical line bundle of the complex manifold B. Hence we have:
Corollary 2.2
Consider the same setting in Theorem 2.1. Suppose \(\dim B=2k\), \(\dim F=2\ell \).
Then there exists a spectral sequence \(\left\{ E_{r}^{\bullet ,\bullet } \right\} _{r}\) which converges to \(GH_{\overline{\partial }}^{k+\ell -\bullet }(X)\) such that
4 Generalized Complex Structures on Lie Algebras
Let \(\mathfrak {g}\) be a 2n-dimensional Lie algebra. We consider the Lie algebra \({\mathbb D}\mathfrak {g}=\mathfrak {g}\oplus \mathfrak {g}^{*}\) with the bracket
for \(X, Y\in \mathfrak {g}\) and \(\zeta , \eta \in \mathfrak {g}^{*}\). A generalized complex structure on \(\mathfrak {g}\) is a complex structure on \({\mathbb D}\mathfrak {g}\) which is orthogonal with respect to the pairing
Consider the complex \(\wedge ^{\bullet }\mathfrak {g}^{*}_{\mathbb {C}}\) of the Lie algebra \(\mathfrak {g}_\mathbb {C}:=\mathfrak {g}\otimes _\mathbb {R}\mathbb {C}\). A form \(\rho \in \wedge ^{\bullet }\mathfrak {g}^{*}_{\mathbb {C}}\) is a pure form of type k if it can be written as
where \(B, \omega \in \wedge ^{2}\mathfrak {g}^{*}\) and \(\Omega =\theta _{1}\wedge \dots \wedge \theta _{k}\) with \(\theta _{1},\dots , \theta _{k}\in \wedge ^{1}\mathfrak {g}^{*}_{\mathbb {C}}\). A pure form \(\rho \in \wedge ^{\bullet }\mathfrak {g}^{*}_{\mathbb {C}}\) of type k is non-degenerate if
A pure form \(\rho \in \wedge ^{\bullet }\mathfrak {g}^{*}_{\mathbb {C}}\) of type k is integrable if there exists \(X+\zeta \in {\mathbb D}\mathfrak {g}\) such that
Theorem 3.1
([7]) If \(\mathfrak {g}\) is nilpotent, then any non-degenerate integrable pure form is closed.
For a non-degenerate integrable pure form \(\rho \in \wedge ^{\bullet }\mathfrak {g}^{*}_{\mathbb {C}}\) of type k, we have the sub Lie algebra \({\mathfrak L}\subset {\mathbb D}\mathfrak {g}_{\mathbb {C}}\) such that
We have the decomposition \({\mathbb D}\mathfrak {g}_{\mathbb {C}}={\mathfrak L}\oplus \overline{\mathfrak L}\) and this gives a generalized complex structure on \(\mathfrak {g}\).
Define \({\mathfrak U}^{\bullet }\subset \wedge ^{\bullet }\mathfrak {g}^{*}_{\mathbb {C}}\) such that \({\mathfrak U}^{n}=\langle \rho \rangle \) and \({\mathfrak U}^{n-r}=\wedge ^{r} \overline{\mathfrak L} \cdot {\mathfrak U}^{n}\). Then, by the integrability, we have \(d{\mathfrak U}^{j}\subset {\mathfrak U}^{j-1}\oplus {\mathfrak U}^{j+1}\). We consider the decomposition \(d=\partial +\overline{\partial }\) such that \(\partial :{\mathfrak U}^{j}\rightarrow {\mathfrak U}^{j+1}\) and \(\overline{\partial }:{\mathfrak U}^{j}\rightarrow {\mathfrak U}^{j-1}\). Hence we have the bi-differential \(\mathbb {Z}\)-graded complex \(({\mathfrak U}^{\bullet },\partial ,\overline{\partial })\). We define
By the integrability \(d\rho =(X+\zeta )\rho \) and from the identification of \({\mathfrak L}^{*}= \overline{\mathfrak L}\) by the pairing, we can consider \(\langle \rho \rangle \) as an \({\mathfrak L}\)-module and we can identify \(({\mathfrak U}^{n-\bullet },\overline{\partial })\) with \(\wedge ^{\bullet }{\mathfrak L}^{*}\otimes \langle \rho \rangle \) as a cochain complex of the Lie algebra \({\mathfrak L}\) with values in the module \(\langle \rho \rangle \) (cf. [10, p. 98]). In particular, if \(d\rho =0\), then we have \({\mathfrak U}^{n-\bullet }\cong \wedge ^{\bullet }{\mathfrak L}^{*}\).
We consider the following special case for using techniques of spectral sequences.
Example 3.2
Let \(\mathfrak {g}\) be a Lie algebra and \({\mathfrak h}\subset \mathfrak {g}\) an ideal of \(\mathfrak {g}\). Consider the differential graded algebra extension
dualizing the Lie algebra extension
We assume that:
-
\(\mathfrak {g}/{\mathfrak h}\) admits a complex structure J;
-
we have a closed 2-form \(\omega \in \wedge ^{2} \mathfrak {g}^{*}\) yielding \(\omega \in \wedge ^{2}{\mathfrak h}^{*}\) non-degenerate form on \(\mathfrak h\).
Consider the \(\pm i\)-eigenspace decomposition
Take a basis \(Z_{1},\dots ,Z_{k}\) of \(\left( \mathfrak {g}/{\mathfrak h}\right) ^{1,0}\) and the dual basis \(\theta _{1},\dots ,\theta _{k}\) of \(\left( \mathfrak {g}/{\mathfrak h}\right) ^{*1,0}\). Then we have the non-degenerate integrable pure form
We have
and consider the subspace \({\mathfrak S}= \{X-i\omega (X) \;\vert \; X\in {\mathfrak h}\otimes \mathbb {C}\}\). By \(d\omega =0\) in \(\wedge ^{\bullet } \mathfrak {g}^{*}\) and \(\omega \in \wedge ^{2}{\mathfrak h}^{*}\), \({\mathfrak S}\) is an ideal of \({\mathfrak L}\). We have \({\mathfrak L}/ {\mathfrak S}\cong {\mathfrak L}_{J}= \left( \mathfrak {g}/\mathfrak h\right) ^{0,1}\oplus \left( \mathfrak {g}/\mathfrak h\right) ^{*1,0}\). We have the isomorphism \({\mathfrak h}\otimes \mathbb {C}\ni X\mapsto X-i\omega (X)\in {\mathfrak S}\).
By the Hochschild–Serre spectral sequence, we have the spectral sequence \(\left\{ E^{\bullet ,\bullet }_{r} \right\} _{r}\) which converges to \(H^{\bullet }({\mathfrak L})\) such that
5 De Rham and Dolbeault Cohomology of Nilmanifolds
Let G be a connected simply connected nilpotent Lie group and \(\mathfrak {g}\) the Lie algebra of G. A \(\mathbb {Q}\)-structure of \(\mathfrak {g}\) is a \(\mathbb {Q}\)-subalgebra \(\mathfrak {g}_{\mathbb {Q}}\subset \mathfrak {g}\) such that \(\mathfrak {g}_{\mathbb {Q}}\otimes \mathbb {R}=\mathfrak {g}\). It is known that \(\mathfrak {g}\) admits a \(\mathbb {Q}\)-structure if and only if G admits a lattice (namely, a cocompact discrete subgroup); see, e.g., [16]. More precisely, considering the exponential map \(\exp :\mathfrak {g}\rightarrow G\) which is an diffeomorphism, we can say that:
-
for a \(\mathbb {Q}\)-structure \(\mathfrak {g}_{\mathbb {Q}}\subset \mathfrak {g}\), taking a basis \(X_{1},\dots , X_{n}\) of \(\mathfrak {g}_{\mathbb {Q}}\), the group generated by \(\exp (\mathbb {Z}\langle X_{1},\dots , X_{n}\rangle )\) is a lattice in G;
-
for a lattice \(\Gamma \subset G\), the \(\mathbb {Q}\)-span of \(\exp ^{-1}(\Gamma )\) is a \(\mathbb {Q}\)-structure of \(\mathfrak {g}\).
If G admits a lattice \(\Gamma \), we call \(\Gamma \backslash G\) a nilmanifold.
We suppose that G admits a lattice \(\Gamma \) and consider the \(\mathbb {Q}\)-structure \(\mathfrak {g}_{\mathbb {Q}}\subset \mathfrak {g}\) induced by \(\Gamma \) as above. Let \(\mathfrak h\subset \mathfrak {g}\) be a subalgebra and \(H=\exp (\mathfrak h)\). We suppose that \(\mathfrak {g}_{\mathbb {Q}}\cap \mathfrak h\) is a \(\mathbb {Q}\)-structure of \(\mathfrak h\). Then \(H\cap \Gamma \) is a lattice of H; see [16, Remark 2.16]. If \(\mathfrak h\) is an ideal, then H is normal and we obtain the fiber bundle \(\Gamma \backslash G\rightarrow \Gamma H\backslash G\) with the fiber \(\Gamma \cap H\backslash H\).
For a nilmanifold \(\Gamma \backslash G\), regarding the cochain complex \(\wedge ^{\bullet }\mathfrak {g}^*\) as the space of left-invariant differential forms on \(\Gamma \backslash G\), we have the inclusion
Theorem 4.1
([15]) The inclusion \(\iota :\wedge ^{\bullet }\mathfrak {g}^*\rightarrow \wedge ^{\bullet }\Gamma \backslash G\) induces a cohomology isomorphism
Suppose that \(\mathfrak {g}\) admits a complex structure J. Then we can define the Dolbeault complex \(\wedge ^{\bullet ,\bullet }\mathfrak {g}^{*}\otimes \mathbb {C}\) of \((\mathfrak {g},J)\). Consider the left-invariant complex structure on the nilmanifold \(\Gamma \backslash G\) induced by J and the Dolbeault complex \(\wedge ^{\bullet ,\bullet }\Gamma \backslash G\). Then we have the inclusion \(\iota :\wedge ^{\bullet ,\bullet }\mathfrak {g}^{*}\otimes \mathbb {C}\rightarrow \wedge ^{\bullet ,\bullet }\Gamma \backslash G\).
Let \({\mathfrak L}_{J}=\mathfrak {g}^{0,1}\oplus \mathfrak {g}^{*1,0}\). We consider the Lie algebroid \(L_{\Gamma \backslash G}=T^{0,1}\Gamma \backslash G\oplus T^{*1,0}\Gamma \backslash G\) for the generalized complex structure associated with the complex structure on \(\Gamma \backslash G\). Then we have \(\mathcal {C}^{\infty }(\wedge ^{\bullet } L_{\Gamma \backslash G}^{*})=\mathcal {C}^{\infty }(\Gamma \backslash G)\otimes \wedge ^{\bullet }{\mathfrak L}_{J}^{*}\) and we have the inclusion
Proposition 4.2
([13]) If the inclusion \(\iota :\wedge ^{\bullet ,\bullet }\mathfrak {g}^{*}\otimes \mathbb {C}\rightarrow \wedge ^{\bullet ,\bullet }\Gamma \backslash G\) induces an isomorphism on the Dolbeault cohomology, then the inclusion \(\kappa :\wedge ^{\bullet }{\mathfrak L}_{J}^{*}\rightarrow \mathcal {C}^{\infty }(\wedge ^{\bullet } L_{\Gamma \backslash G}^{*})\) induces a cohomology isomorphism.
Let W be a complex-valued \(\mathfrak {g}\)-module. We regard W as a \(\mathfrak {g}^{0,1}\)-module and so an \({\mathfrak L}_{J}\)-module. We consider the cochain complex \( \wedge ^{\bullet }{\mathfrak L}_{J}^{*}\otimes W \) of the Lie algebra with values in the module W. Consider the flat complex vector bundle \(\mathbf W\) over \(\Gamma \backslash G\) given by W. We regard \(\mathbf W\) as a holomorphic bundle over \(\Gamma \backslash G\) and so a generalized holomorphic bundle on \(\Gamma \backslash G\). We have \(\mathcal {C}^{\infty }(\wedge ^{\bullet } L_{\Gamma \backslash G}^{*}\otimes \mathbf {W})=\mathcal {C}^{\infty }(\Gamma \backslash G)\otimes \wedge ^{\bullet }{\mathfrak L}_{J}^{*}\otimes W\) and we have the inclusion
Proposition 4.3
We suppose that the inclusion \(\iota : \wedge ^{\bullet ,\bullet }\mathfrak {g}^{*}\otimes \mathbb {C}\rightarrow \wedge ^{\bullet ,\bullet }\Gamma \backslash G\) induces an isomorphism on the Dolbeault cohomology and W is a nilpotent \(\mathfrak {g}\)-module. Then the inclusion
induces a cohomology isomorphism.
Proof
The proof is by induction on the dimension of W.
Suppose first \(\dim W=1\). Then W is the trivial \(\mathfrak {g}\)-module and hence the statement follows from Proposition 4.2.
In case \(\dim W=n>1\), by Engel’s theorem, we have an \((n-1)\)-dimensional \(\mathfrak {g}\)-submodule \(\tilde{W} \subset W\) such that the quotient \(W/\tilde{W}\) is the trivial submodule. The exact sequence
gives the commutative diagram
such that the horizontal sequences are exact. Considering the long exact sequence of cohomologies, by the Five Lemma (see, e.g., [14]), the proposition follows inductively. \(\square \)
6 Left-Invariant Generalized Complex Structures on Nilmanifolds
Let G be a connected simply connected nilpotent Lie group and \(\mathfrak {g}\) the Lie algebra of G. We assume that G admits a lattice \(\Gamma \). We consider the nilmanifold \(\Gamma \backslash G\).
We assume that \(\mathfrak {g}\) admits a generalized complex structure associated with a non-degenerate integrable pure form \(\rho \in \wedge ^{\bullet }\mathfrak {g}^{*}_{\mathbb {C}}\) of type k. Then we have the left-invariant generalized complex structure \(\mathcal J\) of type k on the nilmanifold \(\Gamma \backslash G\).
Consider the bi-differential \(\mathbb {Z}\)-graded complexes \(({\mathfrak U}^{\bullet },\partial ,\overline{\partial })\) associated with \((\mathfrak {g},\rho )\) and \(({\mathcal U}^{\bullet },\partial ,\overline{\partial })\) associated with \((\Gamma \backslash G,\mathcal J)\). Then the inclusion \(\iota :\wedge ^{\bullet }\mathfrak {g}^{*}_{\mathbb {C}}\rightarrow \wedge ^{\bullet } \Gamma \backslash G\otimes \mathbb {C}\) can be considered as a homomorphism \(({\mathfrak U}^{\bullet },\partial ,\overline{\partial })\rightarrow ({\mathcal U}^{\bullet },\partial ,\overline{\partial }) \) of bi-differential \(\mathbb {Z}\)-graded complexes.
Proposition 5.1
There exists a homomorphism \(\mu :({\mathcal U}^{\bullet },\partial ,\overline{\partial })\rightarrow ({\mathfrak U}^{\bullet },\partial ,\overline{\partial })\) such that \(\mu \circ \iota =\mathrm{id}\). Hence the induced map \(\iota :GH_{\overline{\partial }}(\mathfrak {g})\rightarrow GH_{\overline{\partial }}(\Gamma \backslash G)\) is injective.
Proof
Let \(d\nu \) be a bi-invariant volume form such that \(\int _{\Gamma \backslash G}d\nu =1\). We define the map \(\mu :\wedge ^{\bullet }\Gamma \backslash G\rightarrow \wedge ^{\bullet } \mathfrak {g}^{*}_{\mathbb {C}}\) as follows: for \(\alpha \in \wedge ^{\bullet }\Gamma \backslash G\), the left-invariant form \(\mu (\alpha )\) is defined by
where \(\tilde{X}_{1},\dots ,\tilde{X}_{p}\) are vector fields on \(\Gamma \backslash G\) induced by \(X_{1},\dots , X_{p}\in \mathfrak {g}\). Then we have \(d\circ \mu =\mu \circ d\) and \(\mu \circ \iota =\mathrm{id}\). We have \(\mu ({\mathcal U}^{\bullet })\subset {\mathfrak U}^{\bullet } \). We consider \(\mathcal J\) as an operator on \({\mathcal U}^{\bullet }\) such that
for \(\alpha \in \mathcal {U}^{p}\). Then we have \(d{\mathcal J}-{\mathcal J}d=-i(\partial -\overline{\partial })\); see [5, 6]. By \(\mu \circ {\mathcal J}={\mathcal J}\circ \mu \), we have \(\mu \circ \partial =\partial \circ \mu \) and \(\mu \circ \overline{\partial }=\overline{\partial }\circ \mu \). Hence the proposition follows.
Corollary 5.2
If the induced map \(\iota :GH_{\overline{\partial }}(\mathfrak {g})\rightarrow GH_{\overline{\partial }}(\Gamma \backslash G)\) is an isomorphism, then the induced maps \(\iota :GH_{\partial }(\mathfrak {g})\rightarrow GH_{\partial }(\Gamma \backslash G)\) and \(\iota :GH_{BC}(\mathfrak {g})\rightarrow GH_{BC}(\Gamma \backslash G)\) are also isomorphisms.
Proof
By using the complex conjugation, we can easily prove that \(\iota :GH_{\partial }(\mathfrak {g})\rightarrow GH_{\partial }(\Gamma \backslash G)\) is an isomorphism if \(\iota : GH_{\overline{\partial }}(\mathfrak {g})\rightarrow GH_{\overline{\partial }}(\Gamma \backslash G)\) is an isomorphism.
Now, [4, Corollary 1.2] implies that if \(\iota :GH_{\overline{\partial }}(\mathfrak {g})\rightarrow GH_{\overline{\partial }}(\Gamma \backslash G)\) and \(\iota :GH_{\partial }(\mathfrak {g})\rightarrow GH_{\partial }(\Gamma \backslash G)\) are isomorphisms; then \(\iota :GH_{BC}(\mathfrak {g})\rightarrow GH_{BC}(\Gamma \backslash G)\) is an isomorphism.
By Theorem 3.1, in our settings, we have isomorphisms \(GH^{n-\bullet }_{\overline{\partial }}(\mathfrak {g})\cong H^{\bullet }(\mathfrak L)\) and \(GH^{n-\bullet }_{\overline{\partial }}(\Gamma \backslash G)\cong H^{\bullet }( L)\). Thus, \(H^{\bullet }(\mathfrak L) \cong H^{\bullet }( L)\) if and only if \(GH^{n-\bullet }_{\overline{\partial }}(\mathfrak {g})\cong GH^{n-\bullet }_{\overline{\partial }}(\Gamma \backslash G)\).
Let G be a connected simply connected nilpotent Lie group and \(\mathfrak {g}\) the Lie algebra of G. We suppose that G admits a lattice \(\Gamma \) and consider the \(\mathbb {Q}\)-structure \(\mathfrak {g}_{\mathbb {Q}}\subset \mathfrak {g}\) induced by \(\Gamma \). We assume that there exists an ideal \(\mathfrak h\subset \mathfrak {g}\) so that:
-
(i)
\(\mathfrak {g}_{\mathbb {Q}}\cap \mathfrak h\) is a \(\mathbb {Q}\)-structure of \(\mathfrak h\);
-
(ii)
\(\mathfrak {g}/{\mathfrak h}\) admits a complex structure J;
-
(iii)
we have a closed 2-form \(\omega \in \wedge ^{2} \mathfrak {g}^{*}\) yielding \(\omega \in \wedge ^{2}{\mathfrak h}^{*}\) non-degenerate form on \(\mathfrak h\).
Then, as in Example 3.2, we obtain the non-degenerate integrable pure form \(\rho \in \wedge ^{\bullet }\mathfrak {g}^{*}_{\mathbb {C}}\) and the Lie algebra \({\mathfrak L}\) and its ideal \(\mathfrak S\). We obtain the symplectic fiber bundle \(\Gamma \backslash G\rightarrow \Gamma H\backslash G\) over the complex base \(\Gamma H\backslash G\) with the symplectic fiber \(\Gamma \cap H\backslash H\) as in Sect. 2. The left-invariant generalized complex structure given by \(\rho \) is the generalized complex structure constructed in Sect. 2. Consider the Lie algebroids L and S as in Sect. 2. Then \({\mathfrak L}\) and \({\mathfrak S}\) give the global frame of L and S respectively.
Consider the cochain complex \(\wedge ^{\bullet }{\mathcal L}^{*}\) and \(\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\). Then we have \(\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})=\mathcal {C}^{\infty }(\Gamma \backslash G)\otimes \wedge ^{\bullet }{\mathcal L}^{*}\) and we have the inclusion
For the ideal \({\mathfrak S}\), we consider the filtration
This filtration gives the spectral sequence \(\left\{ \,^{\prime }E_{r}^{\bullet ,\bullet } \right\} _{r}\) which converges to \(H^{\bullet }({\mathfrak L})\) such that
By the identifications \({\mathfrak L}/ {\mathfrak S}\cong {\mathfrak L}_{J}\) and \({\mathfrak S}=\mathfrak h\otimes \mathbb {C}\), we have
The filtration \(F^{p}\wedge ^{\bullet }{\mathfrak L}^{*}\) can be extended to the filtration of \( \mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\) constructed in Sect. 2. Hence the inclusion \(\wedge ^{\bullet }{\mathcal L}^{*}\rightarrow \mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\) induces the spectral sequence homomorphism \(\,^{\prime }E_{\bullet }^{\bullet ,\bullet }\rightarrow E_{\bullet }^{\bullet ,\bullet }\) such that the homomorphism \(\,^{\prime }E_{2}^{\bullet ,\bullet }\rightarrow E_{2}^{\bullet ,\bullet }\) is identified with the map
By Theorem 4.1, the flat bundle \(\mathbf{H}^{q}(\Gamma \cap H\backslash H)\) over \(\Gamma H\backslash G\) is derived from the \(\mathfrak {g}/\mathfrak h\)-module \(H^{q}(\mathfrak h\otimes \mathbb {C})\). The \(\mathfrak {g}/\mathfrak h\)-module \(H^{q}(\mathfrak h\otimes \mathbb {C})\) being induced by the adjoint representation on the nilpotent Lie algebra \(\mathfrak {g}\), it is a nilpotent \(\mathfrak {g}/\mathfrak h\)-module. If \(\iota : \wedge ^{\bullet ,\bullet }(\mathfrak {g}/\mathfrak h)^{*}\otimes \mathbb {C}\rightarrow \wedge ^{\bullet ,\bullet }\Gamma H\backslash G\) induces an isomorphism on the Dolbeault cohomology, then the homomorphism \(\,^{\prime }E_{2}^{\bullet ,\bullet }\rightarrow E_{2}^{\bullet ,\bullet }\) is an isomorphism.
Hence, by Proposition 4.3, we obtain the following result.
Theorem 5.3
Let G be a connected simply connected nilpotent Lie group and \(\mathfrak {g}\) the Lie algebra of G. We suppose that G admits a lattice \(\Gamma \) and consider the \(\mathbb {Q}\)-structure \(\mathfrak {g}_{\mathbb {Q}}\subset \mathfrak {g}\) induced by \(\Gamma \). We assume that there exists an ideal \(\mathfrak h\subset \mathfrak {g}\) so that:
-
(i)
\(\mathfrak {g}_{\mathbb {Q}}\cap \mathfrak h\) is a \(\mathbb {Q}\)-structure of \(\mathfrak h\);
-
(ii)
\(\mathfrak {g}/{\mathfrak h}\) admits a complex structure J;
-
(iii)
we have a closed 2-form \(\omega \in \wedge ^{2} \mathfrak {g}^{*}\) yielding \(\omega \in \wedge ^{2}{\mathfrak h}^{*}\) non-degenerate form on \(\mathfrak h\);
-
(iv)
\(\iota :\wedge ^{\bullet ,\bullet }(\mathfrak {g}/\mathfrak h)^{*}\otimes \mathbb {C}\rightarrow \wedge ^{\bullet ,\bullet }\Gamma H\backslash G\) induces an isomorphism on the Dolbeault cohomology (e.g., J is bi-invariant, Abelian, or rational, i.e., \(J(\mathfrak {g}_{\mathbb {Q}}/{\mathfrak h}\cap \mathfrak {g}_{\mathbb {Q}})\subset \mathfrak {g}_{\mathbb {Q}}/{\mathfrak h}\cap \mathfrak {g}_{\mathbb {Q}}\)).
Then the inclusion
induces a cohomology isomorphism.
Corollary 5.4
In the same assumptions of Theorem 5.3, the inclusion \(\iota :({\mathfrak U}^{\bullet },\partial ,\overline{\partial })\rightarrow ({\mathcal U}^{\bullet },\partial ,\overline{\partial }) \) induces isomorphisms \(GH_{\overline{\partial }}(\mathfrak {g})\cong GH_{\overline{\partial }}(\Gamma \backslash G)\), and \(GH_{\partial }(\mathfrak {g})\cong GH_{\partial }(\Gamma \backslash G)\), and \(GH_{BC}(\mathfrak {g})\cong GH_{BC}(\Gamma \backslash G)\).
7 Deformation and Cohomology
We consider a nilmanifold \(\Gamma \backslash G\) with a left-invariant generalized complex structure \(\mathcal J\). We consider the Lie algebra \(\mathfrak L\subset (\mathfrak {g}\oplus \mathfrak {g}^{*})\otimes \mathbb {C}\) and the cochain complex \(\wedge ^{\bullet }\mathfrak L^{*}\). By the identification \( \overline{\mathfrak L}=\mathfrak L^{*}\), we have the bracket on \(\mathfrak L^{*}\). Consider the Schouten bracket on \(\wedge ^{\bullet }\mathfrak L^{*}\). Then, for the inclusion \(\wedge ^{\bullet }{\mathcal L}^{*}\subset \mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\), the Schouten bracket on \(\wedge ^{\bullet }\mathfrak L^{*}\) can be extended to the Schouten bracket on \(\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\).
We assume that we have a smooth family \(\epsilon (t)\in \wedge ^{2} L^{*}\) which satisfies the Maurer–Cartan equation
such that \(\epsilon (0)=0\). Then we have deformations \(\mathcal J_{\epsilon (t)}\) of \(\mathcal J\).
Theorem 6.1
Let \(\Gamma \backslash G\) be a nilmanifold with a left-invariant generalized complex structure \(\mathcal J\); denote by \(\mathfrak {g}\) the Lie algebra of G. If the isomorphism \(GH_{\overline{\partial }}(\mathfrak {g})\cong GH_{\overline{\partial }}(\Gamma \backslash G)\) holds on the original generalized complex structure \(\mathcal J\), then the same isomorphism holds on the deformed generalized complex structure \(\mathcal J_{\epsilon (t)}\) for sufficiently small t.
Proof
Take a smooth family of generalized Hermitian metrics for the generalized complex structures \(\mathcal J_{\epsilon (t)}\). We obtain the smooth family \(\Delta _{\bar{\partial }}(t)\) of elliptic operators on \(\wedge ^{\bullet } \Gamma \backslash G\otimes \mathbb {C}\) such that \(\Delta _{\bar{\partial }}(t)(\wedge ^{\bullet }\mathfrak {g}^{*}\otimes \mathbb {C})\subset \wedge ^{\bullet }\mathfrak {g}^{*}\otimes \mathbb {C}\).
Take a Hermitian metric on \(\mathfrak {g}\otimes \mathbb {C}\) and extend it to \(T\Gamma \backslash G\otimes \mathbb {C}\). Consider the completion \(W^{0}(\wedge ^{\bullet } \Gamma \backslash G\otimes \mathbb {C})\) with respect to the \(L^{2}\)-norm. Consider the orthogonal complement \((\ker \Delta _{\bar{\partial }}(t))^{\perp }\) in \(W^{0}(\wedge ^{\bullet } \Gamma \backslash G\otimes \mathbb {C})\). It is known that for sufficiently small t, we have \((\ker \Delta _{\bar{\partial }}(0))^{\perp }\cap \ker \Delta _{\bar{\partial }}(t)=0\).
We can easily show that any cohomology class in \(GH_{\overline{\partial }}(\mathfrak {g})\) admits a unique representative in \(\ker \Delta _{\bar{\partial }}(0)\). Hence, by the isomorphism \(GH_{\overline{\partial }}(\mathfrak {g})\cong GH_{\overline{\partial }}(\Gamma \backslash G)\), we have \(\ker \Delta _{\bar{\partial }}(0)\subset \wedge ^{\bullet }\mathfrak {g}^{*}\otimes \mathbb {C}\). This implies that \((\wedge ^{\bullet }\mathfrak {g}^{*}\otimes \mathbb {C})^{\perp }\subset (\ker \Delta _{\bar{\partial }}(0))^{\perp }\). By \((\ker \Delta _{\bar{\partial }}(0))^{\perp }\cap \ker \Delta _{\bar{\partial }}(t)=0\), we have \(\ker \Delta _{\bar{\partial }}(t)\subset \wedge ^{\bullet }\mathfrak {g}^{*}\otimes \mathbb {C}\). Hence, on the deformed generalized complex structure \(\mathcal J_{\epsilon (t)}\), any cohomology class in \(GH_{\overline{\partial }}(\Gamma \backslash G)\) admits a representative in \(\wedge ^{\bullet }\mathfrak {g}^{*}\otimes \mathbb {C}\) and the theorem follows. \(\square \)
Theorem 6.2
Let \(\Gamma \backslash G\) be a nilmanifold with a left-invariant generalized complex structure \(\mathcal J\); denote by \(\mathfrak {g}\) the Lie algebra of G. If the isomorphism \(GH_{\overline{\partial }}(\mathfrak {g})\cong GH_{\overline{\partial }}(\Gamma \backslash G)\) holds on the original generalized complex structure \(\mathcal J\), then any sufficiently small deformation of generalized complex structure is equivalent to a left-invariant generalized complex structure \(\mathcal J_{\epsilon }\) with \(\epsilon \in \wedge ^{2} \mathfrak L^{*}\) satisfying the Maurer–Cartan equation.
Proof
By the isomorphism \(GH_{\overline{\partial }}(\mathfrak {g})\cong GH_{\overline{\partial }}(\Gamma \backslash G)\), we have the isomorphism \(H^{*}(\mathfrak L) \cong H^{*}( L)\).
Take a Hermitian metric on \(\mathfrak L\). Since \(\mathfrak L\) gives the global frame of L, it gives a Hermitian metric on L. Consider the adjoint operator \(d_{L}^{*}\), the Laplacian operator \(\Delta _{L}=d_{L}d_{L}^{*}+d_{L}^{*}d_{L}\), the projection \(H: \mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*})\rightarrow \ker \Delta _{L}\) and the Green operator G. Obviously, these operators can be extended to \(\wedge ^{\bullet } \mathfrak L^{*}\). Since \(\wedge ^{\bullet } \mathfrak L^{*}\) is finite dimensional, we can easily prove that any cohomology class in \(H^{*}(\mathfrak L)\) admits a unique representative in \(\ker \Delta _{L}\). Hence, combining with the Hodge theory on the elliptic complex \( (\mathcal {C}^{\infty }(\wedge ^{\bullet } L^{*}),d_{L})\), we have \(\ker \Delta _{L}\subset \wedge ^{\bullet } \mathfrak L^{*}\). Hence, for \(\epsilon _{1}\in \ker \Delta _{L} \), the formal power series \(\epsilon (\epsilon _{1})\) as in Theorem 1.1 is valued in \(\wedge ^{\bullet } \mathfrak L^{*}\). Thus the theorem follows from Theorem 1.1.
8 Example: The Kodaira–Thurston Manifold
We consider the real Heisenberg group \(H_{3}(\mathbb {R})\) which is the group of matrices of the form
where \(x,y, z\in \mathbb {R}\). Then \(H_{3}(\mathbb {R})\) admits the lattice \(H_{3}(\mathbb {Z})=GL_{3}(\mathbb {Z})\cap H_{3}(\mathbb {R}) \). We consider the Lie group \(H_{3}(\mathbb {R})\times \mathbb {R}\) with the lattice \(H_{3}(\mathbb {Z})\times \mathbb {Z}\).
Let \(\mathfrak {g}=\langle X_{1}, X_{2},X_{3},X_{4}\rangle \) such that \([X_{1},X_{2}]=X_{3}\) and other brackets are 0. Then \(\mathfrak {g}\) is the Lie algebra of \(H_{3}(\mathbb {R})\times \mathbb {R}\) and the basis \(X_{1}, X_{2},X_{3},X_{4}\) gives the \(\mathbb {Q}\)-structure associated with the lattice \(H_{3}(\mathbb {Z})\times \mathbb {Z}\). Consider the ideal \(\mathfrak h=\left\langle X_{2},X_{3} \right\rangle \). In this case, the assumptions in Theorem 5.3 hold.
Take the dual basis \(\{x_{1},x_{2},x_{3},x_{4}\}\) of \(\{X_{1}, X_{2},X_{3},X_{4}\}\) and consider \(\wedge ^{\bullet }\mathfrak {g}_{\mathbb {C}}^{*}=\wedge ^{\bullet }\langle x_{1},x_{2},x_{3},x_{4}\rangle \). Consider the non-degenerate integrable pure form
of type 1. We have
In this case, we have \({\mathfrak S}=\langle X_{2}-ix_{3}, X_{3}+ix_{2}\rangle \) and \({\mathfrak S}\) is an ideal. We obtain
We have that the only non-trivial differentials are
Define the Kodaira–Thurston manifold as the compact quotient
By Corollary 5.4, we get:
and
References
Angella, D.: The cohomologies of the Iwasawa manifold and of its small deformations. J. Geom. Anal. 23(3), 1355–1378 (2013)
Angella, D., Calamai, S., Latorre, A.: On cohomological decomposition of generalized-complex structures. J. Geom. Phys. 98, 227–241 (2015)
Angella, D., Kasuya, H.: Cohomologies of deformations of solvmanifoldsand closedness of some properties, arXiv:1305.6709v2 [math.CV], to appear in Mathematica Universalis
Angella, D., Kasuya, H.: Symplectic Bott–Chern cohomology of solvmanifolds, arXiv:1308.4258 [math.SG]
Cavalcanti, G.R.: New aspects of the \(dd^c\)-lemma, Oxford University D. Phil thesis, arXiv:math/0501406v1 [math.DG]
Cavalcanti, G.R.: The decomposition of forms and cohomology of generalized complex manifolds. J. Geom. Phys. 57(1), 121–132 (2006)
Cavalcanti, G.R., Gualtieri, M.: Generalized complex structures on nilmanifolds. J. Symplectic Geom. 2(3), 393–410 (2004)
Console, S., Fino, A.: Dolbeault cohomology of compact nilmanifolds. Transform. Groups 6(2), 111–124 (2001)
Console, S.: Dolbeault cohomology and deformations of nilmanifolds. Rev. Un. Mat. Argentina 47(1), 51–60 (2006)
Gualtieri, M.: Generalized complex geometry. Ann. Math. (2) 174(1), 75–123 (2011)
Hattori, A.: Spectral sequence in the de Rham cohomology of fibre bundles. J. Fac. Sci. Univ. Tokyo Sect. 1960(8), 289–331 (1960)
Hitchin, N.J.: Generalized Calabi–Yau manifolds. Q. J. Math. 54(3), 281–308 (2003)
Kasuya, H.: Differential Gerstenhaber algebras and generalized deformations of solvmanifolds. arXiv:math/1211.4188v3 [math.DG]
McCleary, J.: A user’s guide to spectral sequences, 2nd edn. In: Cambridge Studies in Advanced Mathematics, vol. 58. Cambridge University Press, Cambridge (2001)
Nomizu, K.: On the cohomology of compact homogeneous spaces of nilpotent Lie groups. Ann. Math. 59(3), 531–538 (1954)
Raghunathan, M.S.: Discrete Subgroups of Lie Groups, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 68. Springer, New York (1972)
Rollenske, S.: Lie-algebra Dolbeault-cohomology and small deformations of nilmanifolds. J. Lond. Math. Soc. 79(2), 346–362 (2009)
Tsai, C.-J., Tseng, L.-S., Yau, S.-T.: Cohomology and Hodge Theory on Symplectic Manifolds: III, arXiv:1402.0427v2 [math.SG]
Tseng, L.-S., Yau, S.-T.: Cohomology and Hodge theory on symplectic manifolds: I. J. Differ. Geom. 91(3), 383–416 (2012)
Tseng, L.-S., Yau, S.-T.: Cohomology and Hodge theory on symplectic manifolds: II. J. Differ. Geom. 91(3), 417–443 (2012)
Tseng, L.-S., Yau, S.-T.: Generalized cohomologies and supersymmetry. Commun. Math. Phys. 326(3), 875–885 (2014)
Acknowledgments
The authors would like to thank Gil R. Cavalcanti, Sönke Rollenske, Giovanni Bazzoni, and Adela Latorre for useful discussions and for helpful comments on preliminary versions. During the preparation of the work, Daniele Angella has been granted by a research fellowship by Istituto Nazionale di Alta Matematica INdAM and by a Junior Visiting Position at Centro di Ricerca “Ennio de Giorgi”; he is also supported by the Project PRIN “Varietà reali e complesse: geometria, topologia e analisi armonica”, by the Project FIRB “Geometria Differenziale e Teoria Geometrica delle Funzioni”, by SNS GR14 grant “Geometry of non-Kähler manifolds”, and by GNSAGA of INdAM. Simone Calamai is supported by GNSAGA of INdAM, by the Project PRIN “Varietà reali e complesse: geometria, topologia e analisi armonica”, and by SNS GR14 grant “Geometry of non-Kähler manifolds”. Hisashi Kasuya is supported by JSPS Research Fellowships for Young Scientists.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Angella, D., Calamai, S. & Kasuya, H. Cohomologies of Generalized Complex Manifolds and Nilmanifolds. J Geom Anal 27, 142–161 (2017). https://doi.org/10.1007/s12220-016-9677-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-016-9677-z