Skip to main content

Dolbeault and J-Invariant Cohomologies on Almost Complex Manifolds

Abstract

In this paper we relate the cohomology of J-invariant forms to the Dolbeault cohomology of an almost complex manifold. We find necessary and sufficient condition for the inclusion of the former into the latter to be true up to isomorphism. We also extend some results obtained by J. Cirici and S. O. Wilson about the computation of the left-invariant cohomology of nilmanifolds to the setting of solvmanifolds. Several examples are given.

Introduction

Let (MJ) be a 2m-dimensional almost complex manifold. Then the almost complex structure J induces a bigrading on the bundle of differential forms on M. The exterior derivative d acts on differential forms as the sum of four differential operators, \(d= \mu + \partial + {\bar{\partial }} + {\bar{\mu }}\).

The celebrated theorem of Newlander and Nirenberg states that (MJ) admits the structure of complex manifold (i.e., J is integrable) if and only if \(N_J=0\), that is equivalent to \(\mu = {\bar{\mu }}=0\). Consequently, in such a case \(d = \partial + {\bar{\partial }}\). For complex manifolds it is classical and well established the theory of Dolbeault cohomology, obtained as the cohomology of the \({\bar{\partial }}\) operator. Another fundamental tool in the study of complex manifolds is the Hodge Theory for the \({\bar{\partial }}\) operator that, once fixed a Hermitian metric, establishes an isomorphism between the Dolbeault cohomology and the kernel of the Dolbeault Laplacian \(\Delta _{{\bar{\partial }}}\). However for almost complex manifolds, the operator \({\bar{\partial }}\) is not cohomological and the Dolbeault cohomology cannot have the usual definition. It is natural to look for other cohomological theories to study geometric properties of almost complex manifolds. Motivated by the comparison between the J-tamed symplectic cone \( {\mathcal {K}}^t_J\) and the J-compatible symplectic cone \( {\mathcal {K}}^c_J\) of an almost complex manifold, defined as the projection in cohomology of the space of symplectic forms taming J, respectively calibrating J, Li and Zhang introduced in [13] two cohomology groups: the J-invariant cohomology groups, respectively J-anti-invariant cohomology groups, of an almost complex manifold (MJ) denoted with \(H^+\), respectively \(H^-\), are formed by \(2^{nd}\)-de Rham classes represented by closed J-invariant forms, respectively J-anti-invariant forms, with respect to the natural action of J on the space of 2-forms.

Such groups generalize the real Dolbeault cohomology classes in \(H^{1,1}_{{\bar{\partial }}} \cap H^2_{dR}(\mathbb {R})\) and \((H^{2,0}_{{\bar{\partial }}} + H^{0,2}_{{\bar{\partial }}}) \cap H^2_{dR}(\mathbb {R})\) respectively. The focus is on whether the almost complex structure J is \(C^\infty \)-pure, i.e., \(H^+ \cap H^- = \{ 0 \}\) or \(C^\infty \)-full, i.e., \(H^2_{dR} = H^+ + H^- \). The problem is further studied in [10], where it is proved that any almost complex structure on a compact 4-manifold is \(C^\infty \)-pure and \(C^\infty \)-full, and in [11]. Such a result can be viewed as a sort of Hodge decomposition for 4-dimensional compact almost complex manifolds.

Recently Cirici and Wilson defined in [6] an analogous of Dolbeault cohomology for almost complex manifolds, that is also called Dolbeault cohomology. This definition of cohomology is based on the decomposition of d and allows a development of a harmonic theory, at least in some favorable situation such as in [7] for the almost Kähler case (see also [17]). A Frölicher spectral sequence \(E^{p,q}_r\) builds a bridge between the Dolbeault cohomology and the complex de Rham cohomology. In general, the computation of such groups is difficult, since they might not be finite-dimensional (cf. [8]). A special setting in which calculations can be performed is that of Lie Algebras. Such computations have a direct application in the study of the left-invariant Dolbeault cohomology of nilmanifolds, as showed in [6].

In this paper we study the relation between the complex cohomology group \(H^+_\mathbb {C}\) of J-invariant complex forms and the Dolbeault cohomology group \(H^{1,1}_{Dol}\) on almost complex manifolds. Next we extend some results obtained in [6] for nilmanifolds, to the case of solvmanifolds. More in details, since we have a characterization of J-invariant 2-forms as real forms of complex bidegree (1, 1), it is natural to ask whether they belong or not to the Dolbeault cohomology groups, or at least if there exists an isomorphism between \(H^+\) and a subgroup of \(H^{1,1}_{Dol}\). We relate J-invariant cohomology and Dolbeault cohomology, finding that the condition

$$\begin{aligned} E^{0,1}_1 \cong E^{0,1}_2 \end{aligned}$$

is necessary and sufficient for the former cohomology group to be contained into the latter up to isomorphism (Theorem 4.2). Then given any solvmanifold endowed with a left-invariant almost complex structure, we prove that the left-invariant spectral sequence satisfies Serre duality at every page and that the left-invariant Dolbeault cohomology groups are isomorphic to the kernel of a suitable Laplacian (Theorem 6.1). We apply our results, and show how information on the left-invariant cohomologies can be used to deduce information on the non-left-invariant ones. Finally calculations of left-invariant spectral sequence and J-invariant cohomology are performed on almost complex manifolds and solvmanifolds endowed with a left-invariant almost complex structure to give concrete applications.

The paper is organized as follows. In Sect. 2 we briefly recall some basic definitions that will be used later on, and we introduce the notation. In Sect. 3 we resume the definition given by Cirici and Wilson of Dolbeault cohomology for almost complex manifolds. In particular, we focus on the spectral sequence arising from a Hodge filtration, and give an explicit description of it. Section 4 is devoted to the study of J-invariant cohomology and Dolbeault cohomology. We prove the results mentioned above, and investigate the behaviour of the necessary and sufficient condition under small deformations, showing with an example that it is not a closed property. Section 5 recalls the construction of the Dolbeault cohomology of Lie Algebras, while in Sect. 6 we prove the Serre duality for solvmanifolds and show a possible application of the results. Finally in Sect. 7 we collect various examples of Dolbeault cohomology and spectral sequences. Among them, we provide computations of the left-invariant spectral sequence on 4-dimensional solvmanifolds that do not admit any integrable almost complex structure. For such examples the Dolbeault cohomology theory for almost complex manifolds becomes the main tool to investigate their geometry.

Preliminaries and Notation

Let (MJ) be an almost complex manifold of real dimension 2m, with J an almost complex structure on the tangent bundle, i.e., \( J \in End (TM)\) such that \(J^2 = - Id\). Denote by \(A^*_\mathbb {R}\) (respectively \(A^*_\mathbb {C}\)) the algebras of real (respectively complex) differential forms on M. J induces a bigrading on complex forms,

$$\begin{aligned} A^k_\mathbb {C}= \bigoplus _{p+q=k} A^{p,q}_\mathbb {C}. \end{aligned}$$
(2.1)

On real k-forms, \(\alpha \in A^k_\mathbb {C}\), J induces a map still denoted by J and defined by

$$\begin{aligned} J \alpha (X_1, \dots , X_k) = \alpha (JX_1, \dots , JX_k). \end{aligned}$$
(2.2)

If k is odd, \(J^2=-Id\), while if k is even, J is an involution. In particular, \(A^2_\mathbb {R}\) decomposes as

$$\begin{aligned} A^2_\mathbb {R}= A^+_\mathbb {R}+ A^-_\mathbb {R}, \end{aligned}$$
(2.3)

where \(A^+_\mathbb {R}\) denotes the J-invariant forms and \(A^-_\mathbb {R}\) the J-anti-invariant forms. If we consider the bidegree induced on complex forms by J, it’s easy to check that \(A^+_\mathbb {R}\) consists of real forms in \(A^{1,1}_\mathbb {C}\), while \(A^-_\mathbb {R}\) of real forms in \(A^{2,0}_\mathbb {C}+ A^{0,2}_\mathbb {C}\). We denote with \(H^{*}_{dR}(\mathbb {R})\) (respectively \(H^{*}_{dR}(\mathbb {C})\)) the real (respectively complex) de Rham cohomology of M.

The de Rham cohomology groups consisting of J-invariant and J-anti-invariant forms were introduced in [13]. We shall use the notation of Drǎghici et al. [11]. The J-invariant real cohomology group is

$$\begin{aligned} H^+ = \Big \{ [\alpha ] \in H^2_{dR} (\mathbb {R}) : \alpha \in A^+_\mathbb {R}\cap \ker d \Big \}, \end{aligned}$$
(2.4)

and the J-anti-invariant real cohomology group is

$$\begin{aligned} H^- = \Big \{ [\alpha ] \in H^2_{dR} (\mathbb {R}): \alpha \in A^-_\mathbb {R}\cap \ker d \Big \}. \end{aligned}$$
(2.5)

In the following we will denote a (pq)-form \(\alpha \) with \(\alpha ^{p,q}\).

We call a solvmanifold the quotient of a connected, simply connected and solvable Lie Group G, by a discrete and co-compact subgroup \(\Gamma \) of G. We denote it by \(\Gamma \backslash G\). If G is also nilpotent, we call \(\Gamma \backslash G\) a nilmanifold.

Dolbeault Cohomology and Spectral Sequences

Let (MJ) be an almost complex manifold of real dimension 2m. The exterior derivative decomposes as \(d= \mu + \partial + {\bar{\partial }} + {\bar{\mu }}\), with bidegrees

$$\begin{aligned} {|}{\mu }{|} = (2,-1), \quad {|}{\partial }{|} = (1,0), \quad {|}{{\bar{\partial }}}{|} = (0,1), \quad {|}{{\bar{\mu }}}{|}=(-1,2). \end{aligned}$$
(3.1)

The almost complex structure J is integrable if and only if \({\bar{\mu }} \equiv 0\). The equation \(d^2=0\) gives the relations

$$\begin{aligned} {\left\{ \begin{array}{ll} \mu ^2 =0 \\ \mu \partial + \partial \mu =0 \\ \mu {\bar{\partial }} + {\bar{\partial }} \mu + \partial ^2 =0 \\ \mu {\bar{\mu }} + \partial {\bar{\partial }} + {\bar{\partial }} \partial + {\bar{\mu }} \mu =0 \\ {\bar{\mu }} \partial + \partial {\bar{\mu }} + {\bar{\partial }}^2 =0 \\ {\bar{\mu }} {\bar{\partial }} + {\bar{\partial }} {\bar{\mu }} =0 \\ {\bar{\mu }}^2=0 \end{array}\right. }\qquad \qquad (\Box ) \end{aligned}$$

Since \({\bar{\mu }}^2=0\), \({\bar{\mu }}\) is a well defined cohomological operator and its cohomology is the \({\bar{\mu }}\)-cohomology

$$\begin{aligned} H^{p,q}_{{\bar{\mu }}} = \frac{\ker ( {\bar{\mu }} :A^{p,q}_\mathbb {C}\longrightarrow A^{p-1,q+2}_\mathbb {C})}{{{\,\mathrm{Im}\,}}( {\bar{\mu }} :A^{p+1,q-2}_\mathbb {C}\longrightarrow A^{p,q}_\mathbb {C})}. \end{aligned}$$
(3.2)

In general, \({\bar{\partial }}\) does not square to 0 on M, and its cohomology is not well defined. From the relation \({\bar{\partial }} {\bar{\mu }} + {\bar{\mu }} {\bar{\partial }}=0\), \({\bar{\partial }}\) is well defined on cohomology classes of \(H^{p,q}_{{\bar{\mu }}}\), and thanks to \({\bar{\partial }}^2 + {\bar{\mu }} \partial + \partial {\bar{\mu }}=0\), it squares to 0, thus we can define [6, Definition 3.1] the Dolbeault cohomology of the almost complex manifold (MJ) as the \({\bar{\partial }}\)-cohomology of the \({\bar{\mu }}\)-cohomology, i.e.,

$$\begin{aligned} H^{p,q}_{Dol} = \frac{\ker ( {\bar{\partial }} :H^{p,q}_{{\bar{\mu }}} \longrightarrow H^{p,q+1}_{{\bar{\mu }}})}{{{\,\mathrm{Im}\,}}( {\bar{\partial }} :H^{p,q-1}_{{\bar{\mu }}} \longrightarrow H^{p,q}_{{\bar{\mu }}})}. \end{aligned}$$
(3.3)

The cohomology groups are well defined and if \({\bar{\mu }}=0\), they coincide with the usual Dolbeault cohomology groups for complex manifolds. As in the complex case, the Dolbeault cohomology is induced by a filtration on differential forms and has an associated spectral sequence that coincides with the Frölicher spectral sequence of complex manifolds if \({\bar{\mu }}=0\). We recall here the construction: consider the filtration

$$\begin{aligned} F^p A^k_\mathbb {C}= A^{p,q}_\mathbb {C}\cap \ker {\bar{\mu }} \oplus \bigoplus _{j \ge p+1} A^{j, k-j}_\mathbb {C}. \end{aligned}$$
(3.4)

The filtration is bounded by 0 from below and by m from above. With a shift of indexing, the filtration coincides with the filtration of a suitable multicomplex endowed with 4 differentials, and the two spectral sequences are isomorphic, up to taking pages shifted by one step. Denote by

$$\begin{aligned} E^{p,q}_r, \quad p, q = 0, \dots , m, r \ge 1, \end{aligned}$$
(3.5)

the pages of the sequence. Then \(E^{p,q}_1 \cong H^{p,q}_{Dol}\) and the \((r+1)\)-th page is the cohomology of the previous one,

$$\begin{aligned} E^{p,q}_{r+1} \cong \frac{\ker ( d_r :E^{p,q}_r \longrightarrow E^{p+r, q-r+1}_r) }{{{\,\mathrm{Im}\,}}( d_r :E^{p-r,q+r-1}_r \longrightarrow E^{p,q}_r)}, \end{aligned}$$
(3.6)

with respect to the differential \(d_r\), \({|}{d_r}{|}=(r, -r+1)\). An explicit description up to isomorphism of the differential \(d_r\) and of the pages of the spectral sequence is given in [14] for a general multicomplex, and was first described in [9] for the Frölicher spectral sequence of a complex manifold. For page 1, we have

$$\begin{aligned} E^{p,q}_1 \cong \frac{\{\alpha \in A^{p,q}_\mathbb {C}\cap \ker {\bar{\mu }}: {\bar{\partial }} \alpha \in {{\,\mathrm{Im}\,}}{\bar{\mu }} \}}{\{ \eta \in A^{p,q}_\mathbb {C}: \eta = {\bar{\mu }} a + {\bar{\partial }} b \text { and }{\bar{\mu }} b =0 \}}, \end{aligned}$$
(3.7)

and if \({\bar{\partial }} \alpha = {\bar{\mu }} \varphi \), then

$$\begin{aligned} d_1[ \alpha ]_{E_1} = [\partial \alpha - {\bar{\partial }} \varphi ]_{E_1}. \end{aligned}$$
(3.8)

In general, we have an isomorphism

$$\begin{aligned} E^{p,q}_r \cong \frac{X^{p,q}_r}{Y^{p,q}_r}, \end{aligned}$$
(3.9)

where

$$\begin{aligned} X^{p,q}_r&= \Big \{ \alpha ^{p,q} \in A^{p,q}_\mathbb {C}: \text { there exist } \alpha ^{p+j,q-j}, \, \, j =1, \dots r, \text { satisfying } \nonumber \\ 0&= \mu \alpha ^{p+k,q-k} + \partial \alpha ^{p+k+1,q-k-1} + {\bar{\partial }} \alpha ^{p+k+2,q-k-2} + {\bar{\mu }} \alpha ^{p+k+3,q-k-3}, \quad k \in \mathbb {Z}\Big \}\nonumber \\ \end{aligned}$$
(3.10)

where the equation has to be read with \(\alpha ^{p+k,q-k}=0\) if k is not \(0,1, \dots , r\), and

$$\begin{aligned} Y^{p,q}_r= & {} \Big \{ \eta ^{p,q} \in A^{p,q}_C: \text { there exist } \eta ^{p-j,q+j-1}, \, \, j=-1,0,\dots , r-1 \text { satisfying } \nonumber \\ \eta ^{p,q}= & {} \mu \eta ^{p-2,q+1} + \partial \eta ^{p-1,q} + {\bar{\partial }} \eta ^{p,q-1} + {\bar{\mu }} \eta ^{p+1,q-2}, \nonumber \\ 0= & {} \mu \eta ^{p-k,q+k-1} + \partial \eta ^{p-k+1,q+k-2} + {\bar{\partial }} \eta ^{p-k+2,q+k-3}\nonumber \\&+\, {\bar{\mu }} \eta ^{p-k+3,q+k-4} \quad k=3,\dots , r-1 \Big \}. \end{aligned}$$
(3.11)

We say that the spectral sequence degenerates at page r, for bidegree (pq), and write \(E^{p,q}_r \cong E^{p,q}_\infty \), if

$$\begin{aligned} E^{p,q}_r \cong E^{p,q}_ j \qquad \forall j \ge r. \end{aligned}$$
(3.12)

The spectral sequence degenerates at page r if it degenerates at page r for all bidegrees.

At the \(E_\infty \) page, the degeneration of the spectral sequence induces a bigrading on the de Rham cohomology of the almost complex manifold. In particular, \(E^{p,q}_\infty \) consists of cohomology classes in \(H^{p+q}_{dR} (\mathbb {C})\) that admit a complex representative of bidegree (pq).

Inclusion of J-Invariant Cohomology into Dolbeault Cohomology

Denote by \(H^+_\mathbb {C}= H^+ \otimes \mathbb {C}\) the complexified of the J-invariant cohomology group. We are going to study under which conditions \(H^+_\mathbb {C}\) is isomorphic to a subgroup of \(H^{1,1}_{Dol}\) through the isomorphism of (3.9) between the Frölicher spectral sequence and the quotients \(X^{p,q}_r / Y^{p,q}_r\).

The results are stated in Theorem 4.2, that gives a characterization valid in the almost complex case. At the end, we briefly investigate the stability of the condition found in the theorem under small deformations (in the integrable case).

For almost complex manifolds of any dimension, \(H^+_\mathbb {C}\) consists of complex de Rham cohomology classes in \(H^2_{dR}(\mathbb {C})\) that admit a representative of type (1, 1) (cf. [10], Lemma 2.11).

We begin considering the map in cohomologies induced by the identity on representatives and show that it is never well defined.

Proposition 4.1

Let (MJ) be an almost complex manifold. The map

$$\begin{aligned}&H^+_\mathbb {C}\longrightarrow H^{1,1}_{Dol} \\&{[}\alpha ^{1,1}]^+ \longmapsto [\alpha ^{1,1}]_{Dol} \end{aligned}$$

is not well defined.

Proof

The cohomology class \([\alpha ^{1,1}]^+\) is written as

$$\begin{aligned} {[}\alpha ^{1,1}]^+ = \{ \alpha ^{1,1} + d (\beta ^{1,0} + \beta ^{0,1}) : \, d \alpha ^{1,1}=0 \}. \end{aligned}$$

In particular, \({\bar{\partial }} \alpha ^{1,1} = {\bar{\mu }} \alpha ^{1,1}=0\). This implies that there exists a cohomology class in \(H^{1,1}_{Dol}\) given by \( [\alpha ^{1,1}]_{Dol}\). However the definition of the map is not independent of the representative chosen in \([\alpha ^{1,1}]^+\). We show now that this independence can never occur. Checking independence on the representative reduces to check that

$$\begin{aligned} {[}0]^+ \subseteq [0]_{Dol} \in H^{1,1}_{Dol}. \end{aligned}$$

Assume that this is the case, i.e. that

$$\begin{aligned} d (\beta ^{1,0} + \beta ^{0,1}) \in [0]_{Dol} \quad \forall \beta ^{1,0} \in A^{1,0}_\mathbb {C}, \, \, \beta ^{0,1} \in A^{0,1}_\mathbb {C}. \end{aligned}$$

Taking \(\beta ^{0,1}=0\), we have that

$$\begin{aligned} {[}d \beta ^{1,0}]_{Dol} = [ \partial \beta ^{1,0} + {\bar{\partial }} \beta ^{1,0} + {\bar{\mu }} \beta ^{1,0}]_{Dol} = [\partial \beta ^{1,0} + {\bar{\partial }} \beta ^{1,0}]_{Dol}. \end{aligned}$$

Since the terms \(\partial \beta ^{1,0}\) and \({\bar{\partial }} \beta ^{1,0}\) have different bidegree, they must be in the trivial class separately. The first one is trivial if and only if \(\partial \beta ^{1,0}=0\) for every \(\beta ^{1,0} \in A^{1,0}_\mathbb {C}\). In other words \(\partial \) must vanish on (1, 0)-forms. The second one is trivial if and only if \({\bar{\mu }}\) vanishes on (1, 0)-forms, i.e. if the almost complex structure J is integrable. This proves that if the inclusion is well defined M must be a complex manifold with vanishing \(\partial \) on (1, 0)-forms. This is not the case even on complex tori. \(\square \)

In order to obtain an affirmative result, we must consider the inclusion up to isomorphism. In particular we focus on the isomorphism (3.9), that allows to use the explicit description of the pages of the spectral sequence recalled in (3.10) and (3.11).

At bidegree (1, 1), the r-th page of the spectral sequence is \(E^{1,1}_r \cong X^{1,1}_r / Y^{1,1}_r\), where

$$\begin{aligned} X^{1,1}_1&= \{ \alpha ^{1,1}: 0= {\bar{\mu }} \alpha ^{1,1} = {\bar{\partial }} \alpha ^{1,1} + {\bar{\mu }} \alpha ^{2,0} \}, \\ X^{1,1}_2&= \{ \alpha ^{1,1}: 0= {\bar{\mu }} \alpha ^{1,1} = {\bar{\partial }} \alpha ^{1,1} + {\bar{\mu }} \alpha ^{2,0} = \partial \alpha ^{1,1} + {\bar{\partial }} \alpha ^{2,0} \}, \\ X^{1,1}_3&= \{ \alpha ^{1,1}: 0= {\bar{\mu }} \alpha ^{1,1} = {\bar{\partial }} \alpha ^{1,1} + {\bar{\mu }} \alpha ^{2,0} = \partial \alpha ^{1,1} + {\bar{\partial }} \alpha ^{2,0} = \mu \alpha ^{1,1} + \partial \alpha ^{2,0} \}, \\ Y^{1,1}_1&= \{ \eta ^{1,1} = {\bar{\partial }} \eta ^{1,0}, \, {\bar{\mu }} \eta ^{1,0}=0 \}, \\ Y^{1,1}_2&= Y^{1,1}_3 = \{ \eta ^{1,1} = {\bar{\partial }} \eta ^{1,0} + \partial \eta ^{0,1}, \, {\bar{\mu }} \eta ^{1,0} + {\bar{\partial }} \eta ^{0,1}=0 \}. \end{aligned}$$

Note that the spectral sequence at bidegree (1, 1) degenerates at most at page 3 independently of the dimension of the manifold. In fact \({|}{d_r}{|} = (r, -r+1)\), then

$$\begin{aligned} 0 \xrightarrow {\quad d_r \quad } E^{1,1}_r \xrightarrow {\quad d_r \quad } 0, \end{aligned}$$

if \(r \ge 3\), and \(E^{1,1}_\infty = E^{1,1}_3\). If \(m=2\), then it degenerates at the second page. Indeed, if M is compact, J is integrable and \(m=2\) (i.e., if M is a compact complex surface) or if M is a compact Kähler manifold of any dimension, it degenerates at the first page and the Dolbeault cohomology group at bidegree (1, 1) is isomorphic to the complexified of \(H^+\) (cf. [13], Theorem 2.16).

If J is integrable, we simply have

$$\begin{aligned} X^{1,1}_1&= \{ \alpha ^{1,1}: 0= {\bar{\partial }} \alpha ^{1,1} \}, \\ X^{1,1}_2&= \{ \alpha ^{1,1}: 0= {\bar{\partial }} \alpha ^{1,1} = \partial \alpha ^{1,1} + {\bar{\partial }} \alpha ^{2,0} \}, \\ X^{1,1}_3&= \{ \alpha ^{1,1}: 0= {\bar{\partial }} \alpha ^{1,1} = \partial \alpha ^{1,1} + {\bar{\partial }} \alpha ^{2,0} = \partial \alpha ^{2,0} \}, \\ Y^{1,1}_1&= \{ \eta ^{1,1} = {\bar{\partial }} \eta ^{1,0} \}, \\ Y^{1,1}_2&= Y^{1,1}_3 = \{ \eta ^{1,1} = {\bar{\partial }} \eta ^{1,0} + \partial \eta ^{0,1}, \, {\bar{\partial }} \eta ^{0,1}=0 \}. \end{aligned}$$

Before stating the theorem, we make a consideration on the spectral sequence at bidegree (0, 1). We have

$$\begin{aligned} 0 \xrightarrow {\quad d_3 \quad } E^{0,1}_3 \xrightarrow {\quad d_3 \quad } 0, \end{aligned}$$

so that \(E^{0,1}_3 = E^{0,1}_r\) for all \(r \ge 3\), but \(E^{0,1}_1 = E^{0,1}_2\) does not imply \(E^{0,1}_2 = E^{0,1}_3\), since in general

$$\begin{aligned} E^{0,1}_2 \xrightarrow {\quad d_2 \quad } E^{2,0}_2 \end{aligned}$$

does not vanish.

In what follows we establish a necessary and sufficient condition in order to have an inclusion up to isomorphism of the complexified J-invariant cohomology into the Dolbeault cohomology.

Theorem 4.2

Let (MJ) be an almost complex manifold. Denote by \(\varphi \) the isomorphism \(E^{p,q}_r \cong X^{p,q}_r / Y^{p,q}_r\). Then the following conditions are equivalent

  1. (i)

    \(\varphi ( H^+_\mathbb {C}) \subseteq \varphi (H^{1,1}_{Dol}\));

  2. (ii)

    \(E^{0,1}_1 \overset{\varphi }{\cong } E^{0,1}_2\).

If (i) [or (ii)] holds, then the inclusion is injective.

Proof

Using the isomorphism \(\varphi \), (i) is equivalent to prove that

$$\begin{aligned} \frac{X^{1,1}_3}{Y^{1,1}_3} \subseteq \frac{X^{1,1}_1}{Y^{1,1}_1}, \end{aligned}$$

while (ii) is equivalent to

$$\begin{aligned} \frac{X^{0,1}_1}{Y^{0,1}_1} = \frac{X^{0,1}_2}{Y^{0,1}_2}. \end{aligned}$$

\(X^{p,q}_r\) and \(Y^{p,q}_r\) satisfy by definition the following chain of inclusions:

$$\begin{aligned} Y^{p,q}_1 \subseteq Y^{p,q}_2 \subseteq \cdots \subseteq Y^{p,q}_\infty \subseteq X^{p,q}_\infty \subseteq \cdots \subseteq X^{p,q}_2 \subseteq X^{p,q}_1. \end{aligned}$$

For \((p,q)=(1,1)\), using that \(Y^{1,1}_2 = Y^{1,1}_3\), this reduces to

$$\begin{aligned} Y^{p,q}_1 \subseteq Y^{p,q}_2 \subseteq X^{p,q}_3 \subseteq X^{p,q}_2 \subseteq X^{p,q}_1. \end{aligned}$$

We begin by proving that condition (i) holds if and only if \(Y^{1,1}_1 = Y^{1,1}_2\). In fact if (i) is satisfied, we consider elements in the quotient \(X^{1,1}_3 / Y^{1,1}_2 \) of the form \(0 +Y^{1,1}_2\). Such elements belong to the quotient \(X^{1,1}_1/Y^{1,1}_1\) if \(Y^{1,1}_2 \subseteq Y^{1,1}_1\). Since \(Y^{1,1}_1\) is always a subset of \(Y^{1,1}_2\), we have \(Y^{1,1}_2 = Y^{1,1}_1\). Conversely, if \(Y^{1,1}_2 = Y^{1,1}_1\), then (i) reduces to

$$\begin{aligned} \frac{X^{1,1}_3}{Y^{1,1}_1} \subseteq \frac{X^{1,1}_1}{Y^{1,1}_1}, \end{aligned}$$

that is true thanks to the general relation \(X^{1,1}_3 \subseteq X^{1,1}_1\).

We prove now equivalence with (ii). The differential \(d_1\) of the spectral sequence computed on \(E^{0,1}_1\) is

$$\begin{aligned} d_1[\eta ^{0,1}]_1 = [{\bar{\partial }} \eta ^{1,0} + \partial \eta ^{0,1}]_1 \end{aligned}$$

where \(\eta ^{1,0}\) is any (1, 0)-form such that \({\bar{\mu }} \eta ^{1,0} + {\bar{\partial }} \eta ^{0,1}=0\).

Writing the explicit expression of \(Y^{1,1}_2\), we have that \(Y^{1,1}_2 \subseteq Y^{1,1}_1\) if and only if

$$\begin{aligned} \text {for all } \eta ^{1,0}, \, \eta ^{0,1} \text { satisfying } {\bar{\mu }} \eta ^{1,0} + {\bar{\partial }} \eta ^{0,1}=0, \end{aligned}$$

there exists \(\gamma ^{1,0}\) such that \({\bar{\partial }} \eta ^{1,0} + \partial \eta ^{0,1} = {\bar{\partial }} \gamma ^{1,0}\), with \({\bar{\mu }} \gamma ^{1,0} =0\)., i.e.

$$\begin{aligned} E^{0,1}_1 \xrightarrow {\quad d_1=0 \quad } E^{1,1}_1, \end{aligned}$$

or, equivalently, \(X^{0,1}_1=X^{0,1}_2\). This gives the desired isomorphism since \(E^{0,1}_2 \cong \ker d_1 \cap E^{0,1}_1 \cong E^{0,1}_1\). Injectivity follows immediately from

$$\begin{aligned} Y^{1,1}_1 \cap X^{1,1}_3 \subseteq Y^{1,1}_1 = Y^{1,1}_3. \end{aligned}$$

\(\square \)

In Example 7.1, we will show in a concrete case how the inclusion is not well defined if the condition \(E^{0,1}_1 \cong E^{0,1}_2\) is not satisfied, even in the favorable case of a complex manifold. In Remark 7.3, we will note that Example 7.2 shows how the same occurs for the left-invariant Dolbeault cohomology on an almost complex manifold (the left-invariant cohomology will be introduced in the following sections).

For the inclusion up to isomorphism, the key condition is the isomorphism between two terms of the spectral sequence

figurea

thus we find meaningful considering the openness and closedness of (\(*\)) under small deformations of complex structure.

Let M be a compact complex manifold (so that the \(E^{p,q}_r\) are finite dimensional) and \(\{ J_t \} \) a deformation of complex structures on M, with small \(t \in \mathbb {C}\). An easy calculation shows that if we assume (\(*\)) for \(t=0\), the function

$$\begin{aligned} e^{0,1}_2 (t) = \dim E^{0,1}_2 (t), \end{aligned}$$

is upper semicontinuous with respect to t. Indeed we have upper semicontinuity of \(h^{p,q}(t) = \dim H^{p,q}_{{\bar{\partial }}} (t)\). Then

$$\begin{aligned} e^{0,1}_2 (t) \le h^{0,1} (t) \le h^{0,1} (0) = e^{0,1}_2 (0). \end{aligned}$$

We ask the following

Question

let \((M, J_0)\) be a compact complex manifold. Is condition (\(*\)) stable under small deformations of the complex structure \(J_0\)?

In all the examples for which we performed computations, the stability is satisfied.

On the other side, as a consequence of Example 7.1, we have that (\(*\)) is not a closed condition even if we assume the integrability of J. More precisely, the example shows the following proposition.

Proposition 4.3

There exist complex manifolds (MJ) such that

  1. (i)

    the spectral sequence satisfies

    $$\begin{aligned} E^{0,1}_1 \ne E^{0,1}_2, \end{aligned}$$
  2. (ii)

    there are curves of complex structures \( \{ J_t \}\) satysfying \(J_0=J\) and

    $$\begin{aligned} E^{0,1}_1 (t) \cong E^{0,1}_2 (t) \end{aligned}$$

    for all small \(t \ne 0\).

The same happens at the level of the left-invariant spectral sequence for almost complex manifold as shown in Example 7.4.

Dolbeault Cohomology of Lie Algebras

Let \({\mathfrak {g}}\) be a real Lie Algebra of dimension 2m and J a complex structure on the vector space \(\mathfrak {g}\). We call J an almost complex structure on the Lie Algebra \(\mathfrak {g}\). Consider the Chevalley–Eilenberg complex of \(\mathfrak {g}\), \((A^*_\mathfrak {g}, d)\). Recall that the differential is defined as the dual of the Lie bracket \([ \cdot , \cdot ]\) for 1-forms, and extended as a derivation to all forms. J induces a bidegree on the complexified of the Chevalley–Eilenberg complex,

$$\begin{aligned} A^k_{\mathfrak {g}^\mathbb {C}} = \bigoplus _{p+q=k} A^{p,q}_{\mathfrak {g}^\mathbb {C}}. \end{aligned}$$
(5.1)

The Dolbeault cohomology of the Lie Algebra \(\mathfrak {g}\) is the \({\bar{\partial }}\)-cohomology of the \({\bar{\mu }}\)-cohomology groups,

$$\begin{aligned} H^{p,q}_{Dol} (\mathfrak {g}) = H^q ( H^{p,*}_{{\bar{\mu }}} (\mathfrak {g}), {\bar{\partial }}), \end{aligned}$$
(5.2)

and the spectral sequence \(\{ E^{*,*}_r (\mathfrak {g}) \}_{r \in \mathbb {N}}\) associated to the Hodge filtration

$$\begin{aligned} F^p A^k_{\mathfrak {g}^\mathbb {C}} = A^{p,q}_{\mathfrak {g}^\mathbb {C}} \cap \ker {\bar{\mu }} \oplus \bigoplus _{j \ge p+1} A^{j, k-j}_{\mathfrak {g}^\mathbb {C}} . \end{aligned}$$
(5.3)

is the spectral sequence of \(\mathfrak {g}\). In the setting of Lie Algebras, it’s possible to compute easily the cohomology as a matter of linear algebra and all the spaces are finite dimensional. We set

$$\begin{aligned} b^k_\mathfrak {g}= \dim _\mathbb {C}H^k_{dR} (\mathfrak {g}, \mathbb {C}), \end{aligned}$$
(5.4)

and

$$\begin{aligned} h^{p,q}_\mathfrak {g}= \dim _\mathbb {C}H^{p,q}_{Dol} (\mathfrak {g}). \end{aligned}$$
(5.5)

As a consequence of the existence of the spectral sequence, we have Frölicher inequalities (cf. [12]) for the almost complex case.

Theorem 5.1

([6], Proposition 5.1) Let \({\mathfrak {g}}\) be a real Lie Algebra, \(\dim {\mathfrak {g}} = 2m\), and J an almost complex structure on \({\mathfrak {g}}\). Then

$$\begin{aligned} b^k_g \le \sum _{p+q=k} h^{p,q}_\mathfrak {g}. \end{aligned}$$
(5.6)

Denote by \(\chi (\mathfrak {g}) = \sum _k (-1)^k b^k\) the Euler characteristic of \(\mathfrak {g}\). Then

$$\begin{aligned} \chi (\mathfrak {g}) = \sum _{p,q} (-1)^{p+q}\, h^{p,q}_\mathfrak {g}. \end{aligned}$$
(5.7)

Consider now a J-compatible inner product \(\langle \cdot , \cdot \rangle \) on \(\mathfrak {g}\). It is possible to develop a harmonic theory for differential operators that makes easier some computations of cohomology groups. The Hodge \(*\) operator is defined as usual by the relation

$$\begin{aligned} \langle \varphi , \eta \rangle Vol = \varphi \wedge * {\bar{\eta }}, \end{aligned}$$
(5.8)

with Vol denoting the volume form in \(A^{2m}_{\mathfrak {g}^\mathbb {C}}\), and \(\varphi \), \(\eta \in A^{p,q}_{\mathfrak {g}^\mathbb {C}}\). Taken \(\delta \) among d, \(\mu \), \(\partial \), \({\bar{\partial }}\), \({\bar{\mu }}\), the formal adjoint of \(\delta \) is the operator

$$\begin{aligned} \delta ^* = - * {\bar{\delta }} *. \end{aligned}$$
(5.9)

The \(\delta \)-Laplacian is defined as

$$\begin{aligned} \Delta _\delta = \delta \delta ^* + \delta ^* \delta , \end{aligned}$$
(5.10)

and the space of \(\delta \)-harmonic (pq)-forms is

$$\begin{aligned} {\mathcal {H}}^{p,q}_\delta = A^{p,q}_{\mathfrak {g}^\mathbb {C}} \cap \ker \Delta _\delta . \end{aligned}$$
(5.11)

On a Lie Algebra, the above spaces are always finite dimensional.

The operator \({\bar{\mu }}^*\) is the adjoint of \({\bar{\mu }}\) with respect to \(\langle \cdot , \cdot \rangle \), and \(A^{p,q}_{\mathfrak {g}^\mathbb {C}}\) admits a Hodge decomposition

$$\begin{aligned} A^{p,q}_{\mathfrak {g}^\mathbb {C}} = {\mathcal {H}}^{p,q}_{{\bar{\mu }}} \oplus {\bar{\mu }} (A^{p+1,q-2}_{\mathfrak {g}^\mathbb {C}}) \oplus {\bar{\mu }}^* (A^{p-1,q+2}_{\mathfrak {g}^\mathbb {C}}). \end{aligned}$$
(5.12)

In particular, cohomology classes in \(H^{p,q}_{{\bar{\mu }}} (\mathfrak {g})\) admit a \({\bar{\mu }}\)-harmonic representative. For a Lie Algebra, the Dolbeault cohomology can also be obtained as the cohomology of the operator \({\bar{\partial }}_{{\bar{\mu }}}\), defined on \({\bar{\mu }}\)-harmonic (pq)-forms as

$$\begin{aligned} {\bar{\partial }}_{{\bar{\mu }}} (\varphi ) = {\mathcal {H}}_{{\bar{\mu }}} ( {\bar{\partial }} \varphi ), \end{aligned}$$
(5.13)

where we denoted with \({\mathcal {H}}_{{\bar{\mu }}}\) the projection on \({\bar{\mu }}\)-harmonic forms. It can be checked that \({\bar{\partial }}_{{\bar{\mu }}}\) is a cohomological operator and

$$\begin{aligned} H^{p,q}_{Dol} (\mathfrak {g}) \cong \frac{\ker ({\bar{\partial }}_{{\bar{\mu }}} :{\mathcal {H}}^{p,q}_{{\bar{\mu }}} \rightarrow {\mathcal {H}}^{p,q+1}_{{\bar{\mu }}})}{{{\,\mathrm{Im}\,}}({\bar{\partial }}_{{\bar{\mu }}}: {\mathcal {H}}^{p,q-1}_{{\bar{\mu }}} \rightarrow {\mathcal {H}}^{p,q}_{{\bar{\mu }}})}. \end{aligned}$$
(5.14)

Taking the adjoint \({\bar{\partial }}_{{\bar{\mu }}}^*:= {\mathcal {H}}_{{\bar{\mu }}} \circ {\bar{\partial }}^*\), we can consider the associated Laplacian

$$\begin{aligned} \Delta _{{\bar{\partial }}_{{\bar{\mu }}}}= {\bar{\partial }}_{{\bar{\mu }}}^* {\bar{\partial }}_{{\bar{\mu }}} + {\bar{\partial }}_{{\bar{\mu }}} {\bar{\partial }}_{{\bar{\mu }}}^*. \end{aligned}$$
(5.15)

The space of \({\bar{\partial }}_{{\bar{\mu }}}\)-harmonic forms is

$$\begin{aligned} {\mathcal {H}}^{p,q}_{{\bar{\partial }}_{{\bar{\mu }}}} = {\mathcal {H}}^{p,q}_{{\bar{\mu }}} \cap \ker \Delta _{{\bar{\partial }}_{{\bar{\mu }}}}. \end{aligned}$$
(5.16)

The main obstruction to using \({\bar{\partial }}_{{\bar{\mu }}}\) to study the Dolbeault cohomology, lies in the fact that in general, \({\bar{\partial }}_{{\bar{\mu }}}^*\) is not the metric adjoint of \({\bar{\partial }}_{{\bar{\mu }}}\). However, this is the case in some favorable situation, in particular for compact Lie Groups or for the left-invariant cohomology of solvmanifolds.

Dolbeault Cohomology of Solvmanifolds Endowed with a Left-Invariant Almost Complex Structure

In this section we extend results obtained by J. Cirici and S. O. Wilson in [6] for nilmanifolds, to the case of solvmanifolds, showing that the left-invariant Dolbeault cohomology always satisfies Serre duality and is described by \({\bar{\partial }}_{{\bar{\mu }}}\). Finally, we show how Theorem 4.2 can be used, together with the left-invariant cohomology, to recover informations on the (non-left-invariant) Dolbeault cohomology.

Let \(M= \Gamma \backslash G\) be a solvmanifold. Consider the three graded algebra:

  • \(A^*_{\mathfrak {g}}\), algebra of differential forms on \({\mathfrak {g}}\);

  • \(^L A^*(M)\), algebra of left-invariant forms on M;

  • \(A^*(M)\), algebra of differential forms on M.

There is always an isomorphism

$$\begin{aligned} A^*_{\mathfrak {g}} \cong \, ^L A^*(M), \end{aligned}$$
(6.1)

and an inclusion

(6.2)

Both clearly extend to the complexified version of the algebras. The isomorphism of the Chevalley–Eilenberg complex with left-invariant forms, induces an isomorphism of the de Rham cohomology of \(\mathfrak {g}\) and the left-invariant de Rham cohomology of M (i.e., the de Rham cohomology of left-invariant forms),

$$\begin{aligned} H^*_{dR} (\mathfrak {g}; \mathbb {C}) \cong \, ^L H^*_{dR} (M; \mathbb {C}), \end{aligned}$$
(6.3)

but in general the inclusion is not a quasi-isomorphism, and the left-invariant de Rham cohomology is not isomorphic to the de Rham cohomology of M. However, that happens in some favorable case. In particular, if M itself is a compact Lie Group, or if G is completely solvable, then

$$\begin{aligned} H^*_{dR} ( {\mathfrak {g}}; \mathbb {C}) \cong H^*_{dR} (M; \mathbb {C}). \end{aligned}$$
(6.4)

An almost complex structure \({\tilde{J}}\) defined on \(\mathfrak {g}\) induces in a natural way an almost complex structure J on the solvmanifold M. We call such a J, a left-invariant almost complex structure on M. \({{\tilde{J}}}\) is integrable if and only if J is integrable as an almost complex structure on M.

The left-invariant Dolbeault cohomology of M is defined as the Dolbeault cohomology of the complexified Lie Algebra,

$$\begin{aligned} ^L H^{p,q}_{Dol} (M) = H^{p,q}_{Dol} (\mathfrak {g}), \end{aligned}$$
(6.5)

and the left-invariant spectral sequence of M as the spectral sequence associated to the Dolbeault cohomology of \(\mathfrak {g}\),

$$\begin{aligned} ^L E^{*,*}_r = E^{*,*}_r (\mathfrak {g}). \end{aligned}$$
(6.6)

One can consider also the non-left-invariant Dolbeault cohomology associated to J. It is not known if this cohomology coincides with the left-invariant one, even in the case when (6.4) holds, but this is conjectured to be true for nilmanifolds and integrable almost complex structures (cf. [16]).

We want to prove the following theorem.

Theorem 6.1

Let \(M=\Gamma \backslash G\) be a solvmanifold. Then for all (pq), its left-invariant Dolbeault cohomology is obtained as \({\bar{\partial }}_{{\bar{\mu }}}\)-harmonic left-invariant forms,

$$\begin{aligned} ^L H^{p,q}_{Dol}(M) \cong \, ^L {\mathcal {H}}^{p,q}_{{\bar{\partial }}_{{\bar{\mu }}}}. \end{aligned}$$
(6.7)

The left-invariant spectral sequence satisfies Serre duality at every page

$$\begin{aligned} ^L E^{p,q}_r \cong \, ^L E^{m-p,m-q}_r, \quad \forall r \ge 1. \end{aligned}$$
(6.8)

Before giving the proof of the theorem, we make some preliminary observation and state some useful Lemma.

The study of left-invariant cohomology is made easy if \({\bar{\partial }}_{{\bar{\mu }}}^*\) is the metric adjoint of \({\bar{\partial }}_{{\bar{\mu }}}\). A sufficient condition for this to happen (cf. [6], Lemma 5.2) is

$$\begin{aligned} \partial \equiv 0 \qquad \text {on }A^{m-1,m}_{\mathfrak {g}^\mathbb {C}}. \end{aligned}$$
(6.9)

Equivalent conditions to (6.9) are

$$\begin{aligned} d \equiv 0 \text { on }A^{2m-1}_{\mathfrak {g}^\mathbb {C}}, \end{aligned}$$
(6.10)

and

$$\begin{aligned} H^{2m}_{dR} ( {\mathfrak {g}}; {\mathbb {C}} ) \cong {\mathbb {C}}. \end{aligned}$$
(6.11)

We recall now some consequence of (6.10), that will be used to prove Theorem 6.1. The fact that \({\bar{\partial }}_{{\bar{\mu }}}^*\) is adjoint of \({\bar{\partial }}_{{\bar{\mu }}}\), allows to use harmonic theory to establish an isomorphism from \({\bar{\partial }}_{{\bar{\mu }}}\)-harmonic forms to the Dolbeault cohomology of \(\mathfrak {g}\), (and consequently to the left-invariant cohomology of M).

Proposition 6.2

([6], Theorem 5.4) Let \({\mathfrak {g}}\) be a Lie Algebra and \(H^{2m}_{dR} ({\mathfrak {g}}; \mathbb {C}) \cong {\mathbb {C}}\). Then

$$\begin{aligned} {\mathcal {H}}^{p,q}_{{\bar{\mu }}} = {\mathcal {H}}^{p,q}_{{\bar{\partial }}_{{\bar{\mu }}}} \oplus {\bar{\partial }}_{{\bar{\mu }}} ({\mathcal {H}}^{p,q-1}_{{\bar{\mu }}} ) \oplus {\bar{\partial }}_{{\bar{\mu }}}^* ({\mathcal {H}}^{p,q+1}_{{\bar{\mu }}}), \end{aligned}$$
(6.12)

and \({\bar{\partial }}_{{\bar{\mu }}}\)-harmonic forms are isomorphic to the Dolbeault cohomology of \(\mathfrak {g}\),

$$\begin{aligned} H^{p,q}_{Dol} (\mathfrak {g}) \cong {\mathcal {H}}^{p,q}_{{\bar{\partial }}_{{\bar{\mu }}}}. \end{aligned}$$
(6.13)

The Hodge \(*\) operator and conjugation give, with the usual argumentation, Serre duality for \({\mathcal {H}}_{{\bar{\partial }}_{{\bar{\mu }}}}^{p,q}\), and via the above isomorphism, the first page of the left-invariant spectral sequence also satisfies Serre duality.

Proposition 6.3

([6], Corollary 5.5) Let \({\mathfrak {g}}\) be a Lie Algebra and \(H^{2m}({\mathfrak {g}}; {\mathbb {C}}) \cong {\mathbb {C}}\). Then

$$\begin{aligned} H^{p,q}_{Dol} (\mathfrak {g}) \cong H^{m-p,m-q}_{Dol} (\mathfrak {g}). \end{aligned}$$

For the sake of completeness, we recall the proof of the following well known result.

Lemma 6.4

Let \({\mathfrak {g}}\) be a unimodular Lie Algebra, \(\dim _{{\mathbb {R}}} {\mathfrak {g}}= 2m\). Then \(d \equiv 0\) on \(A^{2m-1}_{\mathfrak {g}^\mathbb {C}}\).

Proof

Fix an inner product \(\langle \cdot , \cdot \rangle \) on \(\mathfrak {g}\). Let \(\{ e_j \}_{j=1}^{2m}\) be an ortonormal basis of \({\mathfrak {g}}\) with respect to the inner product and \(\{ \phi ^j \}_{j=1}^{2m}\) its dual basis. Set

$$\begin{aligned} {[}e_j, e_k] = \sum _l C_{jk}^l e_l, \quad C_{jk}^l + C_{kj}^l=0 \end{aligned}$$

The differential on 1-forms is determined by the structure constants

$$\begin{aligned} d \phi ^l = - \frac{1}{2} \sum _{j,k} C_{jk}^l \phi ^j \wedge \phi ^k. \end{aligned}$$

A basis of \((2m-1)\)-forms is given by \(\{ \phi ^1 \wedge \dots \wedge {{\hat{\phi }}}^j \wedge \dots \wedge \phi ^{2m} \}_{j=1}^{2m}\), where \({{\hat{\phi }}}^j\) means that the form is omitted. Then we have

$$\begin{aligned}&d(\phi ^1 \wedge \dots \wedge {{\hat{\phi }}}^j \wedge \dots \wedge \phi ^{2m} )\\&\quad = \sum _{k< j} (-1)^{k+1} d\phi ^k \wedge \phi ^1 \wedge \dots \wedge {{\hat{\phi }}}^k \wedge \dots \wedge {{\hat{\phi }}}^j \wedge \dots \wedge \phi ^{2m} \\&\qquad +\, \sum _{k> j} (-1)^k d\phi ^k \wedge \phi ^1 \wedge \dots \wedge {{\hat{\phi }}}^j \wedge \dots \wedge {{\hat{\phi }}}^k \wedge \dots \wedge \phi ^{2m} \\&\quad =\sum _{k< j} (-1)^k \Bigg ( \sum _{l<n} C_{ln}^k \phi ^l \wedge \phi ^n \Bigg ) \wedge \phi ^1 \wedge \dots \wedge {{\hat{\phi }}}^k \wedge \dots \wedge {{\hat{\phi }}}^j \wedge \dots \wedge \phi ^{2m} \\&\qquad +\sum _{k> j} (-1)^{k+1} \Bigg ( \sum _{l<n} C_{ln}^k \phi ^l \wedge \phi ^n \Bigg ) \wedge \phi ^1 \wedge \dots \wedge {{\hat{\phi }}}^j \wedge \dots \wedge {{\hat{\phi }}}^k \wedge \dots \wedge \phi ^{2m} \\&\quad =\sum _{k < j} (-1)^k C_{kj}^k \phi ^k \wedge \phi ^j \wedge \phi ^1 \wedge \dots \wedge {{\hat{\phi }}}^k \wedge \dots \wedge {{\hat{\phi }}}^j \wedge \dots \wedge \phi ^{2m} \\&\qquad +\,\sum _{k > j} (-1)^{k+1} C_{jk}^k \phi ^j \wedge \phi ^k \wedge \phi ^1 \wedge \dots \wedge {{\hat{\phi }}}^j \wedge \dots \wedge {{\hat{\phi }}}^k \wedge \dots \wedge \phi ^{2m} \\&\quad = (-1)^j \sum _{k} C_{jk}^k Vol = (-1)^j \, Tr(ad_{e_j} ) Vol, \end{aligned}$$

where \(Vol = \phi ^1 \wedge \dots \wedge \phi ^{2m}\), and the last equality follows by definition of trace

$$\begin{aligned} Tr( ad_{e_j} ) = \sum _k \, \langle ad_{e_j} (e_k), e_k \rangle = \sum _k C_{jk}^k. \end{aligned}$$

If \({\mathfrak {g}}\) is unimodular, the trace of the adjoint vanishes, and so does the differential. \(\square \)

We are ready to proceed with the proof.

Proof of Theorem 6.1

Since G is a connected, simply connected solvable Lie Group that admits a lattice, it is unimodular and by Lemma 6.4, condition (6.10) is satisfied.

Proposition 6.2 and 6.3 are valid for \(\mathfrak {g}\) and so the left-invariant Dolbeault cohomology group of M are isomorphic to left-invariant \({\bar{\partial }}_{{\bar{\mu }}}\)-harmonic forms and satisfy Serre duality. This proves (6.7), and also (6.8) for the first page.

For \(r=1\), note that \((^L E^{*,*}_1, d_1)\) satisfies the hypothesis of the main theorem in [15]. In fact we proved that d vanishes on \(A^{2m-1}_{\mathfrak {g}^\mathbb {C}}\), thus also \(\partial \), \({\bar{\partial }}\) and \({\bar{\mu }}\) vanish on \(A^{2m-1}_{\mathfrak {g}^\mathbb {C}}\). \(d_1\) is a sum of such differentials, thus \(d_1=0\). Serre duality at first page, \(d_1=0\) on \(A^{2m-1}_{\mathfrak {g}^\mathbb {C}}\) and \(^L E^{m,m}_1 \cong \mathbb {C}\) imply Serre duality at every page. \(\square \)

We conclude the section applying our results to solvmanifolds and to compact Lie Groups.

Proposition 6.5

Let \(M= \Gamma \backslash G\) be a solvmanifold endowed with a left-invariant almost complex structure J. Denote by \(^L H^+_\mathbb {C}\), respectively \(^L H^{p,q}_{Dol}\), its left-invariant J-invariant cohomology, respectively its left-invariant Dolbeault cohomology, and by \( H^+_\mathbb {C}\), respectively \(H^{p,q}_{Dol}\), the non-left-invariant cohomologies.

Assume that \(^L H^+_\mathbb {C}\nsubseteq \, ^L H^{1,1}_{Dol}\). Then \(H^+_\mathbb {C}\nsubseteq \, H^{1,1}_{Dol}\).

Proof

Consider the following maps, induced in cohomology by the identity:

$$\begin{aligned}&^L H^+_\mathbb {C}\longrightarrow H^+_\mathbb {C}\\&^L[\alpha ^{1,1}]^+ \longmapsto [\alpha ^{1,1}]^+ \end{aligned}$$

and

$$\begin{aligned}&^L H^{1,1}_{Dol} \longrightarrow H^{1,1}_{Dol} \\&^L[\alpha ^{1,1}]_{Dol} \longmapsto [\alpha ^{1,1}]_{Dol} \end{aligned}$$

They are well defined since left-invariant forms are also ordinary differential forms, and they are injective because of the equalities

$$\begin{aligned}&^L H^+_\mathbb {C}\cap [0]^+ = \, ^L[0]^+ \end{aligned}$$
(6.14)
$$\begin{aligned}&^L H^{1,1}_{Dol} \cap [0]_{Dol} = \, ^L [0]_{Dol} \end{aligned}$$
(6.15)

These equalities follow from the commutativity of the differential d with the operator \(L^*_\gamma \), i.e. the pullback of left multiplication by an element \(\gamma \in \Gamma \). In fact commutativity of the operators implies that left-invariant forms that are the differential of a form, are actually the differential of a left-invariant form, and this proves (6.14). Separating the bidegree of the components of d, we have that

$$\begin{aligned} {[} {\bar{\mu }}, L^*_\gamma ]=[{\bar{\partial }}, L^*_\gamma ]=0, \end{aligned}$$

and this proves (6.15). This gives an injection of left-invariant cohomology groups into the non-left-invariant ones. The same reasoning shows that analogous monomorphisms are present for the groups \(E^{0,1}_1\), \(E^{0,1}_2\) and their left-invariant version, since \(E^{0,1}_2\) is computed as the kernel of \(d_1\), that again commutes with \(L^*_\gamma \).

Theorem 4.2 is true at level of non-left-invariant cohomology, and of course also at level of left-invariant cohomologies thanks to the injection.

Assume now that \(^L H^+_\mathbb {C}\nsubseteq \, ^L H^{1,1}_{Dol}\). As a consequence of Theorem 4.2, \(^L E^{0,1}_1 \ncong \, ^L E^{0,1}_2\). On the other side, if \(E^{0,1}_1 \cong E^{0,1}_2\), then \(^L E^{0,1}_1 \cong \, ^L E^{0,1}_2\) at the level of left-invariant cohomology. In particular, \(^L E^{0,1}_1 \ncong \, ^L E^{0,1}_2\) implies \(E^{0,1}_1 \ncong E^{0,1}_2\), and using again Theorem 4.2, we conclude that \(H^+_\mathbb {C}\nsubseteq \, H^{1,1}_{Dol}\). \(\square \)

This proposition allows to use a property easy to check on left-invariant cohomology to recover information on non-left-invariant cohomology. An analogous result can be stated for compact Lie Groups.

Let G be a compact Lie Group endowed with a left-invariant almost complex structure J, and \(\mathfrak {g}\) its Lie Algebra.

The left-invariant Dolbeault cohomology of G is

$$\begin{aligned} ^L H^{p,q}_{Dol} (G) = H^{p,q}_{Dol} (\mathfrak {g},J). \end{aligned}$$

In the same way, the left-invariant spectral sequence is given by

$$\begin{aligned} ^L E^{p,q}_r (G) = E^{p,q}_r (\mathfrak {g}, J). \end{aligned}$$

We recall here a result from Cirici and Wilson that shows how it is possible to inject the left-invariant spectral sequence into the non-left-invariant one.

Proposition 6.6

([6], Lemma 5.9) Let G be a compact Lie Group with a left-invariant almost complex structure J. For all \(r \ge 0\), the inclusion \(^L A^*(G) \hookrightarrow A^*(G)\) induces an injection

$$\begin{aligned} ^L E^{p,q}_r (G) \hookrightarrow E^{p,q}_r (G,J). \end{aligned}$$

As an immediate consequence of Theorem 4.2 and Proposition 6.6, we can deduce the following proposition for compact Lie Groups.

Proposition 6.7

Let G be a compact Lie Group endowed with a left-invariant almost complex structure J. Assume that \(^L H^+_\mathbb {C}\nsubseteq \, ^L H^{1,1}_{Dol} (G)\). Then \(H^+_\mathbb {C}\nsubseteq H^{1,1}_{Dol}\).

Examples

In this section we show some example of what was proved in Sect. 4 and in Sect. 6.

We begin showing that, on a complex manifold, (\(*\)) is not a closed condition. We also explictly show with computations that when it is not satisfied, cohomology classes in \(H^+_\mathbb {C}\) do not define cohomology classes in \(H^{1,1}_{{\bar{\partial }}}\).

Example 7.1

(\(E^{0,1}_1 \cong E^{0,1}_2\) is not a closed condition) We provide two examples of not closedness of condition

figureb

The first one has appeared in [5], Example 4.8, with the purpose of showing different behaviours for the spectral sequence of a 6-dimensional nilmanifold. The example exhibits a curve of complex structures parametrized by t, in order to prove that the numbers \(\dim E^{p,q}_2(t)\) are neither upper semi-continuos nor lower semi-continuous with respect to t. The spectral sequence behaves as follows:

  • For \(\sin t = 1\) we have \(E^{\bullet , \bullet }_1 \ncong E^{\bullet , \bullet }_2 \ncong E^{\bullet , \bullet }_3 \cong E^{\bullet , \bullet }_\infty \);

  • For \(\sin t = -1\) we have \(E^{\bullet , \bullet }_1 \ncong E^{\bullet , \bullet }_2 \cong E^{\bullet , \bullet }_\infty \);

  • For \(|\sin t |\ne 1\) we have \(E^{\bullet , \bullet }_1 \cong E^{\bullet , \bullet }_2 \ncong E^{\bullet , \bullet }_3 \cong E^{\bullet , \bullet }_\infty \);

We recall here the construction of the complex structure. Consider a 6-dimensional real Lie Algebra spanned by \(\{ e_j \}\), \(j =1, \dots , 6\). The differentials of the dual basis determine the Lie Algebra \(\mathfrak {g}\) and we take them to be as follows:

$$\begin{aligned} de^1 = 0, \quad de^2=0, \quad de^3 =0, \quad de^4 = e^{12}, \quad de^5 = e^{13} + e^{42}, \quad de^6 = e^{14} + e^{23}. \end{aligned}$$

Consider the family of complex structure parametrized by t, given by

$$\begin{aligned} J_t e^1&= -\sqrt{ \frac{3 (3 - \sin t)(7 + 3 \sin t)}{(5 + \sin t)(11- \sin t)} } e^2, \\ J_t e^3&= \sqrt{ \frac{3(3-\sin t)(11- \sin t)}{(5+\sin t)(7+3 \sin t)} } e^4, \\ J_t e^5&= - \sqrt{ \frac{(11 - \sin t)(7 + 3 \sin t)}{3(3 - \sin t)(5 + \sin t)}} e^6, \end{aligned}$$

and the nilpotent complex Lie Algebra obtained as

$$\begin{aligned} 4 \varphi _t^1&= \sqrt{(11 - \sin t)(5 + \sin t)} e^1 + i \sqrt{3(3 - \sin t)(7 + 3 \sin t)} e^2, \\ 8 \varphi ^2_t&= (5 + \sin t)(7 + 3 \sin t) e^3 - i \sqrt{ 3(5 + \sin t)(3 - \sin t)(11 - \sin t)(7 + 3 \sin t)} e^4, \end{aligned}$$

and

$$\begin{aligned} 128 \varphi ^3_t= & {} (5 + \sin t)(7 + 3 \sin t) \Big [ 3(3 - \sin t) \sqrt{ (11 - \sin t)(5 + \sin t)} e^5 \\&+ \,i(11 - \sin t) \sqrt{ 3(3 - \sin t)(7 + 3 \sin t)} e^6 \Big ]. \end{aligned}$$

The basis of (1, 0)-forms parametrized by t, has the following differentials:

$$\begin{aligned} d \varphi ^1_t =0, \quad d \varphi ^2_t = \varphi ^{1 {\bar{1}}}_t, \quad d \varphi ^3_t = \frac{1-\sin t}{2} \varphi ^{12}_t + 2 \varphi ^{1 {\bar{2}}}_t + \frac{1 + \sin t}{4} \varphi ^{2 {\bar{1}}}_t. \end{aligned}$$

If \({|}{ \sin t}{|} \ne 1\), we have that the first page of the spectral sequence is isomorphic, as a vector space, to the second one (but not to the third one). In particular, condition (\(*\)) is satisfied. For \(\sin t =1\), we have

$$\begin{aligned} d \varphi ^1_t = 0, \quad d \varphi ^2_t = \varphi ^{1 {\bar{1}}}_t, \quad d \varphi ^3_t = \varphi ^{1 {\bar{2}}}_t + \frac{1}{2}\varphi ^{2 {\bar{1}}}_t, \end{aligned}$$

thus \(H^{0,1}_{{\bar{\partial }}} \cong \mathbb {C}^3\), while \(E^{0,1}_2 \cong \mathbb {C}^2\) and (\(*\)) is not satisfied.

More explictly, \(d \varphi ^{{\bar{3}}}_t = \partial \varphi ^{{\bar{3}}}_t = \varphi ^{{\bar{1}} 2}_t + \frac{1}{2} \varphi ^{{\bar{2}} 1}_t\) is a d-exact 2-form and thus belongs to the 0 class in \(H^+_\mathbb {C}\). However, it does not belong to the 0 class in the Dolbeault cohomology of (1, 1)-forms since it is not the \({\bar{\partial }}\) of any (1, 0)-form, and so the inclusion \(H^+_\mathbb {C}\subseteq H^{1,1}_{{\bar{\partial }}} \) is not well defined.

The second example comes from the holomorphically parallelizable Nakamura manifold, and its small deformations. The manifold can be obtained as the quotient of the Lie Group \(G= \mathbb {C}\ltimes _\phi \mathbb {C}^2\), with

$$\begin{aligned} \phi (z) = \begin{bmatrix} e^z &{} 0 \\ 0 &{} e^{-z} \\ \end{bmatrix}, \end{aligned}$$

by the lattice \(\Gamma = \langle a + ib, c+id \rangle \). If we assume that \(b, d \in \pi \mathbb {Z}\) (cf. [1], Example 3.4), we can compute the Dolbeault cohomology of the manifold using a sub-complex of differential forms spanned by the (0, 1)-forms

$$\begin{aligned} d z^{{\bar{1}}}, \quad e^{-z_1} d z^{{\bar{2}}}, \quad e^{z_1} d z^{{\bar{3}}}, \end{aligned}$$

and the conjugate (1, 0)-forms. In [2], it is proved that we can compute the Dolbeault cohomology of a holomorphically parallelizable solvmanifold and its small deformations along special curves by means of a suitable sub-complex of differential forms (cf. [2], Corollary 3.7). In particular, for the Nakamura manifold, one can consider a curve of complex strcuture given by

$$\begin{aligned} t \, d z^{{\bar{1}}} \otimes \frac{\partial }{\partial z_1}. \end{aligned}$$

By [2], Proposition 4.2, along such a curve and for all \(t \ne 0\), the \(\partial {\bar{\partial }}\)-lemma is satisfied, the spectral sequence of deformations of the Nakamura manifold degenerates at the first page, and so condition (\(*\)) is satisfied. On the contrary, for \(t=0\) the spectral sequence of the holomorphically parallelizable Nakamura manifold does not degenerate at the first page.

The above manifolds, both provide a proof of Proposition 4.3.

We proceed now to compute the Dolbeault left-invariant cohomology of 4-dimensional solvmanifolds that do not admit integrable almost complex structures. There exists three such solvmanifolds (cf. [4]). The first one is a nilmanifold. The second one is a symplectic, completely solvable but not nilpotent solvmanifold (Example 7.2) and the last one is a completely solvable but not symplectic nor nilpotent solvmanifold (Example 7.5). Calculations for the nilmanifold have already been made in [6], Example 5.15.

Example 7.2

(\(\Gamma \backslash Sol(3) \times {\mathbb {S}}^1\)) Denote by Sol(3) the solvable Lie Group of dimension 3. It can be obtained considering the groups \(({\mathbb {R}}, +)\), \(({\mathbb {R}}^2, +)\) and taking the semi-direct product \(Sol(3)= {\mathbb {R}} \ltimes _\phi {\mathbb {R}}^2\), with

$$\begin{aligned} \phi (t) = \begin{bmatrix} e^t &{} 0 \\ 0 &{} e^{-t} \\ \end{bmatrix}. \end{aligned}$$

The product \(Sol(3) \times {\mathbb {R}}\) can be identified as a subgroup of matrices via the homomorphism

Denote with K the image of \(Sol(3) \times {\mathbb {R}}\) by \(\theta \). Then K is a subgroup of \(SL(5, {\mathbb {R}})\) with respect to matrix multiplication, isomorphic to \(Sol(3) \times {\mathbb {R}}\). By Auslander et al. [3] (Theorem 4), K admits a lattice \(\Gamma \). The quotient \(M = \Gamma \backslash K\) is a solvmanifold, of real dimension 4. An explicit construction of M can be found in [4] in the examples following the classification of four-dimensional solvmanifolds. Taking \(A \in K\) and computing \(A^{-1} dA\), we obtain a basis of left-invariant forms

$$\begin{aligned} \Big \{ e^1 = dt, e^2 = e^{-t} dx, e^3 = e^t dy, e^4 = ds \Big \}. \end{aligned}$$

The dual basis of vector fields is

$$\begin{aligned} \Big \{ e_1 = \frac{\partial }{\partial t},e_2 = e^t \frac{\partial }{\partial x},e_3 = e^{-t} \frac{\partial }{\partial y}, e_4 = \frac{\partial }{\partial s} \Big \}. \end{aligned}$$

The only non-zero brackets are

$$\begin{aligned} {[} e_1, e_2 ] = e_2, \quad [e_1, e_3 ] = -e_3, \end{aligned}$$

and the differentials of 1-forms can be obtained directly differentiating \(\{ e^j \}\), or by taking the dual of the Lie bracket. The only non-vanishing differentials are

$$\begin{aligned} de^2 = - e^{12}, \quad de^3 = e^{13}, \quad de^{24} = -e^{124}, \quad de^{34} = e^{134}. \end{aligned}$$

We can directly compute the left-invariant de Rham cohomology of M and, since \(Sol(3) \times \mathbb {R}\) is completely solvable, it coincides with the real de Rham Cohomology:

$$\begin{aligned} H^0_{dR} (M; {\mathbb {R}})&= \langle 1 \rangle , \\ H^1_{dR} (M; {\mathbb {R}})&= \langle e^1, e^4 \rangle , \\ H^2_{dR} (M; {\mathbb {R}})&= \langle e^{14}, e^{23} \rangle , \\ H^3_{dR} (M; {\mathbb {R}})&= \langle e^{123}, e^{234} \rangle , \\ H^4_{dR} (M; {\mathbb {R}})&= \langle e^{1234} \rangle . \end{aligned}$$

In particular, the Euler characteristic of M is 0. The complex de Rham cohomology of M is obtained as the complexified of the real one.

We shall consider two almost complex structures on M. Set

$$\begin{aligned} \text {(A)}\quad {\left\{ \begin{array}{ll} Je_1 = e_2, \\ Je_3 = e_4, \\ \end{array}\right. } \qquad \text {(B)}\quad {\left\{ \begin{array}{ll} Je_1 = e_4, \\ Je_2 = e_3. \\ \end{array}\right. } \end{aligned}$$

Structure (A) will provide an example of a left-invariant spectral sequence degenerating at the first page. This almost complex strcuture is not almost-Kähler. On the other side, structure (B) will provide an example of a left-invariant spectral sequence degenerating at the second page, and it is an almost-Kähler structure.

Regarding structure (A), a basis of complex vector fields is obtained by taking projections of \(e_1\) and \(e_3\). Define

$$\begin{aligned} Z_1 = \pi ^{1,0} (e_1)= \frac{1}{2} ( e_1 - i e_2 ), \qquad Z_2 = \pi ^{1,0}(e_3)= \frac{1}{2} (e_3 -ie_4). \end{aligned}$$

A basis of the complexified tangent space is \(\{ Z_1, Z_2, {\bar{Z}}_1, {\bar{Z}}_2 \}\), and a basis of dual forms for the complexified Lie Algebra is \( \{ \varphi ^1, \varphi ^2, {\bar{\varphi }}^1, {\bar{\varphi }}^2 \}\), where

$$\begin{aligned} \varphi ^1 = e^1 +ie^2, \qquad \varphi ^2 = e^3 +i e^4. \end{aligned}$$

As for the de Rham cohomology, the differentials \(\mu \), \(\partial \), \({\bar{\partial }}\), \({\bar{\mu }}\) of complex forms can be obtained calculating the differential of the complex forms starting from the real ones, then separating the bidegrees, or else by duality from the brackets. The differentials are

$$\begin{aligned}&1-\text { forms: } \quad&\mu \varphi ^1 = 0, \quad \partial \varphi ^1 =0, \quad {\bar{\partial }} \varphi ^1 = \frac{1}{2} \varphi ^{1 {\bar{1}}}, \quad {\bar{\mu }} \varphi ^1 =0,\\&\mu \varphi ^2 = 0, \quad \partial \varphi ^2 =\frac{1}{4} \varphi ^{12}, \quad {\bar{\partial }} \varphi ^2 = \frac{1}{4} (\varphi ^{1 {\bar{2}}} + \varphi ^{{\bar{1}} 2 } ), \quad {\bar{\mu }} \varphi ^2 =\frac{1}{4} \varphi ^{{\bar{1}} {\bar{2}}}, \end{aligned}$$

and the conjugate equations. Note that the almost complex structure is not integrable since \({\bar{\mu }} \varphi ^2 \ne 0\). From the differentials on 1-form, we can compute them for all degrees, and then compute the left-invariant spectral sequence. As a consequence of Theorem 6.1, it satisfies Serre duality. We show calculations only for bidegree (1, 1). On

$$\begin{aligned} A^{1,1}_\mathbb {C}= \langle \varphi ^{1 {\bar{1}}}, \varphi ^{1 {\bar{2}}}, \varphi ^{{\bar{1}} 2}, \varphi ^{2 {\bar{2}}} \rangle , \end{aligned}$$

\({\bar{\mu }}\) vanishes for bidegree reasons. \({\bar{\partial }}\) vanishes on \(\varphi ^{1 {\bar{1}}}\), and \({\bar{\partial }} \varphi ^{1 {\bar{2}}} = {\bar{\partial }} \varphi ^{{\bar{1}} 2 } = {\bar{\mu }} \varphi ^{12}\), while \({\bar{\partial }} \varphi ^{2 {\bar{2}}}\) does not belong to the image of \({\bar{\mu }}\), then

$$\begin{aligned} X^{1,1}_1 = \langle \varphi ^{1 {\bar{1}}}, \varphi ^{1 {\bar{2}}}, \varphi ^{{\bar{1}} 2} \rangle . \end{aligned}$$

For bidegree reason, (1, 1)-forms cannot be in the image of \({\bar{\mu }}\), so we just have to check the existence of a (1, 0)-form \(\beta ^{1,0}\) such that \(\eta ^{1,1} = {\bar{\partial }} \beta ^{1,0}\) and \({\bar{\mu }} \beta ^{1,0} =0\). In general, \(\beta ^{1,0} = a \varphi ^1 + b \varphi ^2\). The condition \({\bar{\mu }} \beta ^{1,0} =0\) gives

$$\begin{aligned} {\bar{\mu }} \beta ^{1,0} = \frac{b}{4} \varphi ^{{\bar{1}} {\bar{2}}} = 0, \end{aligned}$$

so it has to be \(\beta ^{1,0} = a \varphi ^1\). Then

$$\begin{aligned} {\bar{\partial }} \beta ^{1,0} = \frac{a}{2} \varphi ^{1 {\bar{1}}}, \end{aligned}$$

so that \(Y^{1,1}_1 = \langle \varphi ^{1 {\bar{1}}} \rangle \). Taking the quotient, we have

$$\begin{aligned} ^L H^{1,1}_{Dol} (M) = \langle \varphi ^{1 {\bar{2}} }, \varphi ^{ {\bar{1}} 2} \rangle \cong {\mathbb {C}}^2. \end{aligned}$$

Analogous calculations show that

$$\begin{aligned} ^L H^{1,0}_{Dol} (M)= & {} \, ^L H^{2,0}_{Dol} (M) =\, ^L H^{0,2}_{Dol} (M) =\, ^L H^{1,2}_{Dol} (M) = \{ 0 \},\\ ^L H^{0,1}_{Dol} (M)= & {} \langle \varphi ^{{\bar{1}}}, \varphi ^{{\bar{2}}} \rangle \cong {\mathbb {C}}^2,\\ ^L H^{2,1}_{Dol} (M)= & {} \langle \varphi ^{12{\bar{1}}}, \varphi ^{12{\bar{2}}} \rangle \cong {\mathbb {C}}^2,\\ ^L H^{0,0}_{Dol} (M)= & {} \langle 1 \rangle \cong {\mathbb {C}},\\ ^L H^{2,2}_{Dol} (M)= & {} \langle \varphi ^{12 {\bar{1}} {\bar{2}}} \rangle \cong {\mathbb {C}}. \end{aligned}$$

The first page is

Note that the spectral sequence degenerates at the first page because separately in every bidegree, the dimension can only decrease and at the last page their sum must coincide with the Betti numbers of M. To compute the real J-invariant group \(H^+\), we write forms in \(H^2_{dR}\) as complex forms:

$$\begin{aligned} e^{14}= & {} \frac{\varphi ^1 + \varphi ^{{\bar{1}}}}{2} \wedge \frac{\varphi ^2 - \varphi ^{{\bar{2}}}}{2i} = \frac{1}{4i} ( \varphi ^{12} + \varphi ^{{\bar{1}} 2} - \varphi ^{1 {\bar{2}}} - \varphi ^{{\bar{1}} {\bar{2}}} ),\\ e^{23}= & {} \frac{\varphi ^1 - \varphi ^{{\bar{1}}}}{2i} \wedge \frac{\varphi ^2 + \varphi ^{{\bar{2}}}}{2} = \frac{1}{4i} ( \varphi ^{12} - \varphi ^{{\bar{1}} 2} + \varphi ^{1 {\bar{2}}} - \varphi ^{{\bar{1}} {\bar{2}}}). \end{aligned}$$

First adding then subtracting we obtain \(e^{14} - e^{23} \in H^+\) and \(e^{14} + e^{23} \in H^-\),

$$\begin{aligned} H^+ = \left\langle \frac{1}{2i} ( \varphi ^{{\bar{1}}2} - \varphi ^{1 {\bar{2}}} ) \right\rangle , \qquad H^- = \left\langle \frac{1}{2i} ( \varphi ^{12} - \varphi ^{{\bar{1}} {\bar{2}}})\right\rangle . \end{aligned}$$

This is sufficient to conclude the computation of \(H^+\) and \(H^-\) since in dimension 4, we always have a direct sum decomposition

$$\begin{aligned} H^2_{dR} (M;\mathbb {R}) = H^+ \oplus H^-, \end{aligned}$$

(cf. [10], Theorem 2.3).

For structure (B), the d-closed 2-form providing an almost-Kähler metric is \(\omega = e^{14} + e^{23}\). The computations of the left-invariant spectral sequence proceed in the same way as for structure (A). The only non-vanishing differentials are

$$\begin{aligned} {\bar{\partial }} \varphi ^2 = -\frac{1}{2} \varphi ^{1 {\bar{2}}}, \quad {\bar{\mu }} \varphi ^2 =-\frac{1}{2} \varphi ^{{\bar{1}} {\bar{2}}}, \quad {\bar{\mu }} \varphi ^{12} = \frac{1}{2} \varphi ^{1 {\bar{1}} {\bar{2}}}, \quad \partial \varphi ^{1 {\bar{2}}} = - \frac{1}{2} \varphi ^{12 {\bar{1}}}, \end{aligned}$$

and the conjugate equations. The computation of Dolbeault cohomology group is straightforward:

$$\begin{aligned} ^L H^{0,0}_{Dol} (M)= & {} \langle 1 \rangle , \qquad ^L H^{2,2}_{Dol} (M) = \langle \varphi ^{12 {\bar{1}} {\bar{2}}} \rangle ,\\ ^L H^{1,1}_{Dol} (M)= & {} \langle \varphi ^{1 {\bar{1}} }, \varphi ^{2 {\bar{2}}} , \varphi ^{1 {\bar{2}}}, \varphi ^{{\bar{1}} 2} \rangle \cong {\mathbb {C}}^4,\\ ^L H^{0,1}_{Dol} (M)= & {} \langle \varphi ^{{\bar{1}}}, \varphi ^{{\bar{2}}} \rangle , \qquad ^L H^{2,1}_{Dol} (M) = \langle \varphi ^{1 2 {\bar{1}}}, \varphi ^{1 2 {\bar{2}}} \rangle ,\\ ^L H^{1,0}_{Dol} (M)= & {} \langle \varphi ^1 \rangle , \qquad ^L H^{1,2}_{Dol} (M) = \langle \varphi ^{2 {\bar{1}} {\bar{2}}} \rangle , \end{aligned}$$

and the first page of the spectral sequence is

Note that this is not the bigrading induced on the complex de Rham cohomology, since for example \(\dim \, ^L H^{1,0}_{Dol} + \dim \, ^L H^{0,1}_{Dol} \gneqq \dim H^1_{dR}\). The same happens for degree 2 and 3. The following page is obtained as \(E^{p,q}_2 \cong X^{p,q}_2/Y^{p,q}_2\). The quotients are

$$\begin{aligned} ^L E^{0,0}_2= & {} \langle 1 \rangle , \qquad ^L E^{2,2}_2 = \langle \varphi ^{12 {\bar{1}} {\bar{2}}} \rangle , \\ ^L E^{1,0}_2= & {} \langle \varphi ^1 \rangle , \qquad ^L E^{1,2}_2 = \langle \varphi ^{2 {\bar{1}} {\bar{2}}} \rangle , \\ ^L E^{0,1}_2= & {} \langle \varphi ^{{\bar{1}}} \rangle , \qquad ^L E^{2,1}_2 = \langle \varphi ^{12 {\bar{2}} } \rangle , \\ ^L E^{2,0}_2= & {} \, ^L E^{0,2}_2 = \{ 0 \}, \\ ^L E^{1,1}_2= & {} \langle \varphi ^{1 {\bar{1}}}, \varphi ^{2 {\bar{2}}} \rangle . \end{aligned}$$

For dimension reasons, this is also the \(\infty \) page of the spectral sequence,

and gives the induced bigrading on the de Rham cohomology. Proceeding as for structure (A),

$$\begin{aligned} H^+ = \langle i \varphi ^{1 {\bar{1}}}, i \varphi ^{2 {\bar{2}}} \rangle , \qquad H^- = \{ 0 \}. \end{aligned}$$

Remark 7.3

In both examples, harmonic representatives of \(H^+_\mathbb {C}\) are also harmonic representative of \(^L H^{1,1}_{Dol}\). For structure (A), the condition \(^L E^{0,1}_1 \cong \, ^L E^{0,1}_2\) is satisfied, and if we consider a non-harmonic representative in \(H^+_\mathbb {C}\), it still defines a class in \(^L H^{1,1}_{Dol}\), as expected from Theorem 4.2. In fact we have \(H^+_\mathbb {C}= \langle \varphi ^{{\bar{1}} 2} - \varphi ^{1 {\bar{2}}} \rangle \). The generator is d-closed. d-exact (1, 1) forms are written as \({\bar{\partial }} \beta ^{1,0} + \partial \beta ^{0,1}\), with

$$\begin{aligned} \beta ^{1,0} = a \varphi ^1 + b \varphi ^2, \quad \beta ^{0,1} = c \varphi ^{{\bar{1}}} + d \varphi ^{{\bar{2}}}, \end{aligned}$$

with the conditions \({\bar{\mu }} \beta ^{1,0} + {\bar{\partial }} \beta ^{0,1} =0\) and \(\mu \beta ^{0,1} + \partial \beta ^{1,0}=0\) that are satisfied only if \(b+d=0\). Immediately we have

$$\begin{aligned} {\bar{\partial }} \beta ^{1,0} + \partial \beta ^{0,1} = \frac{a-c}{2} \varphi ^{1 {\bar{1}}}, \end{aligned}$$

that is the 0 class in \(^L H^{1,1}_{Dol}\).

This is not true for structure (B), in fact if we modify \(\varphi ^{1 {\bar{1}}}\) with a d-exact (1, 1)-form, the class in \(^L H^{1,1}_{Dol}\) varies.

Example 7.4

(Let-invariant deformations of \(\Gamma \backslash Sol(3) \times {\mathbb {S}}^1\)) In this example we compute left-invariant deformations of the manifold \(M= \Gamma \backslash Sol(3) \times {\mathbb {S}}^1\). Consider the almost complex solvmanifold endowed with a left-invariant almost complex structure (MJ), where J is the structure (B) of Example 7.2. We study the behaviour of the left-invariant spectral sequence under deformations.

Since we are interested in the left-invariant cohomology, calculating deformations of J is a matter of linear algebra. As a matrix, J is written as

$$\begin{aligned} J= \begin{bmatrix} 0 &{} -Id_2 \\ Id_2 &{} 0 \\ \end{bmatrix}, \end{aligned}$$

and its small deformations are represented by a \(4 \times 4\) matrix L satisfying

$$\begin{aligned} LJ + JL =0. \end{aligned}$$

This last condition is written as

$$\begin{aligned} L = \begin{bmatrix} A &{} B \\ PBP &{} - PAP \\ \end{bmatrix} \end{aligned}$$

where A and B are \(2 \times 2\) matrices and \(P= \begin{bmatrix} 0 &{} 1 \\ 1 &{} 0 \\ \end{bmatrix}\).

The deformations are also codified by a form \(\psi \in T^{1,0} M \otimes T^{0,1}M^*\) that is written as

$$\begin{aligned} \psi = \psi _1^1 \varphi ^{{\bar{1}}} \otimes Z_1 + \psi _1^2 \varphi ^{{\bar{1}}} \otimes Z_2 + \psi _2^1 \varphi ^{{\bar{2}}} \otimes Z_1 + \psi _2^2 \varphi ^{{\bar{2}}} \otimes Z_2, \end{aligned}$$

and must satisfy \(\psi = \frac{1}{2} (L - i JL)\). By writing out both members of the equality we obtain the expression of \(\psi \) in function of A and B, then we compute the brackets of the deformed structures in function of \(\psi \) and the brackets at time 0. Finally by duality we obtain the differentials of the deformed left-invariant forms, and compute the left-invariant spectral sequence. We classify deformations into two groups:

  1. (i)

    \(A_{21} + A_{12} =0 \text { and } B_{11}=0\),

  2. (ii)

    the remaining structures.

For structures of type (i), the behaviour of the spectral sequence stays the same, and we have degeneracy at the second page. For structures of type (ii) and \(t \ne 0\), we have that the spectral sequence degenerates at the first page and coincides with the spectral sequence of structure (A).

In particular this shows that condition \(^L E^{0,1}_1 = \, ^L E^{0,1}_2\) is not closed (at level of left-invariant spectral sequence), since it is not satisfied for \(t=0\), but it is true for deformations of class (ii).

Example 7.5

(\(\Gamma \backslash G\)) Let \(G= {\mathbb {R}} \ltimes _\sigma {\mathbb {R}}^3\), with

$$\begin{aligned} \sigma (t) = \begin{bmatrix} e^{\alpha _2 t} &{} 0 &{} 0 \\ &{} e^{\alpha _3 t} &{} 0 \\ &{} &{} e^{\alpha _4 t} \end{bmatrix}, \end{aligned}$$

with \(\alpha _j\) real numbers satisfying \(\alpha _2 + \alpha _3 + \alpha _4 =0\). G identifies as a subgroup of matrices, still denoted by G, via the homomorphism

A proof that G admits a lattice \(\Gamma \), and an explicit construction of the quotient can be found, as for Example 7.2, in [4]. Then the quotient \(M = \Gamma \backslash G\) is a solvmanifold, of real dimension 4. A basis of left-invariant forms is

$$\begin{aligned} \Big \{ e^1 = dt, e^2 = e^{-\alpha _2 t} dx, e^3 = e^{- \alpha _3 t} dy, e^4 = e^{-\alpha _4 t} dz \Big \}. \end{aligned}$$

The dual basis of vector fields is

$$\begin{aligned} \Big \{ e_1 = \frac{\partial }{\partial t},e_2 = e^{\alpha _1 t} \frac{\partial }{\partial x}, e_3 = e^{\alpha _3 t} \frac{\partial }{\partial y}, e_4 = e^{\alpha _4 t} \frac{\partial }{\partial z} \Big \}. \end{aligned}$$

The only non-zero brackets are

$$\begin{aligned} {[} e_1, e_j ] = \alpha _j e_j, \quad j=2,3,4. \end{aligned}$$

The non-vanishing differentials are

$$\begin{aligned} de^2= & {} - \alpha _2 e^{12}, \quad de^3 = - \alpha _3 e^{13}, \quad de^4 = -\alpha _4 e^{14},\\ de^{23}= & {} \alpha _4 \, e^{123}, \quad de^{24} = \alpha _3 \, e^{124}, \quad de^{34} = \alpha _2 \, e^{134}. \end{aligned}$$

G is completely solvable, and its left-invariant cohomology coincides with the real de Rham Cohomology:

$$\begin{aligned} H^0_{dR} (M; {\mathbb {R}})&= \langle 1 \rangle , \\ H^1_{dR} (M; {\mathbb {R}})&= \langle e^1 \rangle , \\ H^2_{dR} (M; {\mathbb {R}})&= \{ 0 \}, \\ H^3_{dR} (M; {\mathbb {R}})&= \langle e^{234} \rangle , \\ H^4_{dR} (M; {\mathbb {R}})&= \langle e^{1234} \rangle . \end{aligned}$$

We compute the left-invariant spectral sequence for the almost complex structure

$$\begin{aligned} {\left\{ \begin{array}{ll} Je_1 = e_2, \\ Je_3 = e_4, \\ \end{array}\right. } \end{aligned}$$

The non-vanishing differentials on 1-forms are

$$\begin{aligned} {\bar{\partial }} \varphi ^1= & {} \frac{\alpha _2}{2} \varphi ^{1 {\bar{1}}}, \quad \partial \varphi ^2 =-\frac{\alpha _3 + \alpha _4}{4} \, \varphi ^{12}, \quad {\bar{\mu }} \varphi ^2 =- \frac{\alpha _3 - \alpha _4}{4} \, \varphi ^{{\bar{1}} {\bar{2}}},\\ {\bar{\partial }} \varphi ^2= & {} - \frac{\alpha _3+\alpha _4}{4} \, \varphi ^{{\bar{1}} 2} - \frac{\alpha _3 - \alpha _4}{4} \, \varphi ^{1 {\bar{2}} }. \end{aligned}$$

The left-invariant Dolbeault cohomology is

The spectral sequence degenerates at the second page, giving the bigrading of the de Rham cohomology:

References

  1. 1.

    Angella, D., Kasuya, H.: Bott-Chern cohomology of solvmanifolds. Ann. Glob. Anal. Geom. 52(4), 363–411 (2017)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Angella, D., Kasuya, H.: Cohomologies of deformations of solvmanifolds and closedness of some properties. North-West. Eur. J. Math. 3, 75–105 (2017)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Auslander, L., Green, L., Hahn, F.: Flows on some three dimensional homogeneous spaces. Bull. Am. Math. Soc. 67(5), 494–497 (1961)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Bock, C.: On low-dimensional solvmanifolds. Asian J. Math. 20(2), 199–262 (2016)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Ceballos, M., Otal, A., Ugarte, L., Villacampa, R.: Invariant complex structures on 6-nilmanifolds: classification, Frölicher spectral sequence and special Hermitian metrics. J. Geom. Anal. 26, 252–286 (2016)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Cirici, J., Wilson, S.O.: Dolbeault cohomology for almost complex manifolds. Adv. Math. (to appear). arXiv:1809.01416v2

  7. 7.

    Cirici, J., Wilson, S.O.: Topological and geometric aspects of almost Kähler manifolds via harmonic theory. Sel. Math. New Ser. 26(3), 35 (2020)

    Article  Google Scholar 

  8. 8.

    Coelho, R., Placini, G., Stelzig, J.: Maximally non-integrable almost complex structures: an \(h\)-principle and cohomological properties (2021). arXiv:2105.12113v2

  9. 9.

    Cordero, L.A., Fernandéz, M., Gray, A., Ugarte, L.: A general description of the terms in the Frölicher spectral sequence. Differ. Geom. Appl. 7(1), 75–84 (1997)

    Article  Google Scholar 

  10. 10.

    Drǎghici, T., Li, T.-J., Zhang, W.: Symplectic forms and cohomology decomposition of almost complex four-manifolds. Int. Math. Res. Not. 2010, 1–17 (2010)

    MathSciNet  MATH  Google Scholar 

  11. 11.

    Drǎghici, T., Li, T.-J., Zhang, W.: On the \(J\)-anti-invariant cohomology of almost complex \(4\)-manifolds. Q. J. Math. 64, 83–111 (2013)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Frölicher, A.: Relations between the cohomology groups of Dolbeault and topological invariants. Proc. Natl. Acad. Sci. USA 41, 641–644 (1955)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Li, T.-J., Zhang, W.: Comparing tamed and compatible symplectic cones and cohomological properties of almost complex manifolds. Commun. Anal. Geom. 17, 651–683 (2009)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Livernet, M., Whitehouse, S., Ziegenhagen, S.: On the spectral sequence associated to a multicomplex. J. Pure Appl. Algebra 224(2), 528–535 (2020)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Milivojević, A.: Another proof of the persistence of Serre symmetry in the Frölicher spectral sequence. Complex Manifolds 7, 141–144 (2020)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Rollenske, S.: Dolbeault cohomology of nilmanifolds with left-invariant complex structure. Complex Differ. Geom., Springer Proc. Math. 8, 369–392 (2011)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Tardini, N., Tomassini, A.: Differential operators on almost-Hermitian manifolds and harmonic forms. Complex Manifolds 7, 106–128 (2020)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors would like to thank Joana Cirici and Weiyi Zhang for useful comments and remarks. The authors also wish to thank the anonymous referee for the useful and precious suggestions, which led to a substantial improvement of some of the results presented in the paper.

Funding

Open access funding provided by Università degli Studi di Parma within the CRUI-CARE Agreement.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Adriano Tomassini.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This article is part of the topical collection “Higher Dimensional Geometric Function Theory and Hypercomplex Analysis” edited by Irene Sabadini, Michael Shapiro and Daniele Struppa.

Partially supported by the Project PRIN 2017 “Real and Complex Manifolds: Topology, Geometry and holomorphic dynamics” (Code 2017JZ2SW5) and by GNSAGA of INdAM. Data sharing not applicable to this article as no datasets were generated or analysed during the current study.

Communicated by F. Bracci.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Sillari, L., Tomassini, A. Dolbeault and J-Invariant Cohomologies on Almost Complex Manifolds. Complex Anal. Oper. Theory 15, 112 (2021). https://doi.org/10.1007/s11785-021-01156-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11785-021-01156-w

Keywords

  • Almost complex manifold
  • Cohomology of Lie Algebra
  • Compact four-manifold
  • Dolbeault cohomology
  • Frölicher spectral sequence
  • Solvmanifold

Mathematics Subject Classification

  • 32Q60
  • 53C15