Abstract
In this paper we relate the cohomology of Jinvariant 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 leftinvariant cohomology of nilmanifolds to the setting of solvmanifolds. Several examples are given.
1 Introduction
Let (M, J) be a 2mdimensional 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 (M, J) 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 Jtamed symplectic cone \( {\mathcal {K}}^t_J\) and the Jcompatible 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 Jinvariant cohomology groups, respectively Jantiinvariant cohomology groups, of an almost complex manifold (M, J) denoted with \(H^+\), respectively \(H^\), are formed by \(2^{nd}\)de Rham classes represented by closed Jinvariant forms, respectively Jantiinvariant forms, with respect to the natural action of J on the space of 2forms.
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 4manifold is \(C^\infty \)pure and \(C^\infty \)full, and in [11]. Such a result can be viewed as a sort of Hodge decomposition for 4dimensional 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 finitedimensional (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 leftinvariant Dolbeault cohomology of nilmanifolds, as showed in [6].
In this paper we study the relation between the complex cohomology group \(H^+_\mathbb {C}\) of Jinvariant 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 Jinvariant 2forms 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 Jinvariant cohomology and Dolbeault cohomology, finding that the condition
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 leftinvariant almost complex structure, we prove that the leftinvariant spectral sequence satisfies Serre duality at every page and that the leftinvariant 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 leftinvariant cohomologies can be used to deduce information on the nonleftinvariant ones. Finally calculations of leftinvariant spectral sequence and Jinvariant cohomology are performed on almost complex manifolds and solvmanifolds endowed with a leftinvariant 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 Jinvariant 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 leftinvariant spectral sequence on 4dimensional 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.
2 Preliminaries and Notation
Let (M, J) 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,
On real kforms, \(\alpha \in A^k_\mathbb {C}\), J induces a map still denoted by J and defined by
If k is odd, \(J^2=Id\), while if k is even, J is an involution. In particular, \(A^2_\mathbb {R}\) decomposes as
where \(A^+_\mathbb {R}\) denotes the Jinvariant forms and \(A^_\mathbb {R}\) the Jantiinvariant 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 Jinvariant and Jantiinvariant forms were introduced in [13]. We shall use the notation of Drǎghici et al. [11]. The Jinvariant real cohomology group is
and the Jantiinvariant real cohomology group is
In the following we will denote a (p, q)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 cocompact subgroup \(\Gamma \) of G. We denote it by \(\Gamma \backslash G\). If G is also nilpotent, we call \(\Gamma \backslash G\) a nilmanifold.
3 Dolbeault Cohomology and Spectral Sequences
Let (M, J) be an almost complex manifold of real dimension 2m. The exterior derivative decomposes as \(d= \mu + \partial + {\bar{\partial }} + {\bar{\mu }}\), with bidegrees
The almost complex structure J is integrable if and only if \({\bar{\mu }} \equiv 0\). The equation \(d^2=0\) gives the relations
Since \({\bar{\mu }}^2=0\), \({\bar{\mu }}\) is a well defined cohomological operator and its cohomology is the \({\bar{\mu }}\)cohomology
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 (M, J) as the \({\bar{\partial }}\)cohomology of the \({\bar{\mu }}\)cohomology, i.e.,
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
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
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,
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
and if \({\bar{\partial }} \alpha = {\bar{\mu }} \varphi \), then
In general, we have an isomorphism
where
where the equation has to be read with \(\alpha ^{p+k,qk}=0\) if k is not \(0,1, \dots , r\), and
We say that the spectral sequence degenerates at page r, for bidegree (p, q), and write \(E^{p,q}_r \cong E^{p,q}_\infty \), if
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 (p, q).
4 Inclusion of JInvariant Cohomology into Dolbeault Cohomology
Denote by \(H^+_\mathbb {C}= H^+ \otimes \mathbb {C}\) the complexified of the Jinvariant 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 (M, J) be an almost complex manifold. The map
is not well defined.
Proof
The cohomology class \([\alpha ^{1,1}]^+\) is written as
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
Assume that this is the case, i.e. that
Taking \(\beta ^{0,1}=0\), we have that
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 rth page of the spectral sequence is \(E^{1,1}_r \cong X^{1,1}_r / Y^{1,1}_r\), where
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
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
Before stating the theorem, we make a consideration on the spectral sequence at bidegree (0, 1). We have
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
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 Jinvariant cohomology into the Dolbeault cohomology.
Theorem 4.2
Let (M, J) 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

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

(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
while (ii) is equivalent to
\(X^{p,q}_r\) and \(Y^{p,q}_r\) satisfy by definition the following chain of inclusions:
For \((p,q)=(1,1)\), using that \(Y^{1,1}_2 = Y^{1,1}_3\), this reduces to
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
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
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
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.
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
\(\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 leftinvariant Dolbeault cohomology on an almost complex manifold (the leftinvariant 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
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
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
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 (M, J) such that

(i)
the spectral sequence satisfies
$$\begin{aligned} E^{0,1}_1 \ne E^{0,1}_2, \end{aligned}$$ 
(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 leftinvariant spectral sequence for almost complex manifold as shown in Example 7.4.
5 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 1forms, and extended as a derivation to all forms. J induces a bidegree on the complexified of the Chevalley–Eilenberg complex,
The Dolbeault cohomology of the Lie Algebra \(\mathfrak {g}\) is the \({\bar{\partial }}\)cohomology of the \({\bar{\mu }}\)cohomology groups,
and the spectral sequence \(\{ E^{*,*}_r (\mathfrak {g}) \}_{r \in \mathbb {N}}\) associated to the Hodge filtration
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
and
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
Denote by \(\chi (\mathfrak {g}) = \sum _k (1)^k b^k\) the Euler characteristic of \(\mathfrak {g}\). Then
Consider now a Jcompatible 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
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
The \(\delta \)Laplacian is defined as
and the space of \(\delta \)harmonic (p, q)forms is
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
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 (p, q)forms as
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
Taking the adjoint \({\bar{\partial }}_{{\bar{\mu }}}^*:= {\mathcal {H}}_{{\bar{\mu }}} \circ {\bar{\partial }}^*\), we can consider the associated Laplacian
The space of \({\bar{\partial }}_{{\bar{\mu }}}\)harmonic forms is
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 leftinvariant cohomology of solvmanifolds.
6 Dolbeault Cohomology of Solvmanifolds Endowed with a LeftInvariant 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 leftinvariant 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 leftinvariant cohomology, to recover informations on the (nonleftinvariant) 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 leftinvariant forms on M;

\(A^*(M)\), algebra of differential forms on M.
There is always an isomorphism
and an inclusion
Both clearly extend to the complexified version of the algebras. The isomorphism of the Chevalley–Eilenberg complex with leftinvariant forms, induces an isomorphism of the de Rham cohomology of \(\mathfrak {g}\) and the leftinvariant de Rham cohomology of M (i.e., the de Rham cohomology of leftinvariant forms),
but in general the inclusion is not a quasiisomorphism, and the leftinvariant 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
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 leftinvariant almost complex structure on M. \({{\tilde{J}}}\) is integrable if and only if J is integrable as an almost complex structure on M.
The leftinvariant Dolbeault cohomology of M is defined as the Dolbeault cohomology of the complexified Lie Algebra,
and the leftinvariant spectral sequence of M as the spectral sequence associated to the Dolbeault cohomology of \(\mathfrak {g}\),
One can consider also the nonleftinvariant Dolbeault cohomology associated to J. It is not known if this cohomology coincides with the leftinvariant 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 (p, q), its leftinvariant Dolbeault cohomology is obtained as \({\bar{\partial }}_{{\bar{\mu }}}\)harmonic leftinvariant forms,
The leftinvariant spectral sequence satisfies Serre duality at every page
Before giving the proof of the theorem, we make some preliminary observation and state some useful Lemma.
The study of leftinvariant 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
Equivalent conditions to (6.9) are
and
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 leftinvariant 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
and \({\bar{\partial }}_{{\bar{\mu }}}\)harmonic forms are isomorphic to the Dolbeault cohomology of \(\mathfrak {g}\),
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 leftinvariant 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
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^{2m1}_{\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
The differential on 1forms is determined by the structure constants
A basis of \((2m1)\)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
where \(Vol = \phi ^1 \wedge \dots \wedge \phi ^{2m}\), and the last equality follows by definition of trace
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 leftinvariant Dolbeault cohomology group of M are isomorphic to leftinvariant \({\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^{2m1}_{\mathfrak {g}^\mathbb {C}}\), thus also \(\partial \), \({\bar{\partial }}\) and \({\bar{\mu }}\) vanish on \(A^{2m1}_{\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^{2m1}_{\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 leftinvariant almost complex structure J. Denote by \(^L H^+_\mathbb {C}\), respectively \(^L H^{p,q}_{Dol}\), its leftinvariant Jinvariant cohomology, respectively its leftinvariant Dolbeault cohomology, and by \( H^+_\mathbb {C}\), respectively \(H^{p,q}_{Dol}\), the nonleftinvariant 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:
and
They are well defined since leftinvariant forms are also ordinary differential forms, and they are injective because of the equalities
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 leftinvariant forms that are the differential of a form, are actually the differential of a leftinvariant form, and this proves (6.14). Separating the bidegree of the components of d, we have that
and this proves (6.15). This gives an injection of leftinvariant cohomology groups into the nonleftinvariant ones. The same reasoning shows that analogous monomorphisms are present for the groups \(E^{0,1}_1\), \(E^{0,1}_2\) and their leftinvariant 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 nonleftinvariant cohomology, and of course also at level of leftinvariant 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 leftinvariant 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 leftinvariant cohomology to recover information on nonleftinvariant cohomology. An analogous result can be stated for compact Lie Groups.
Let G be a compact Lie Group endowed with a leftinvariant almost complex structure J, and \(\mathfrak {g}\) its Lie Algebra.
The leftinvariant Dolbeault cohomology of G is
In the same way, the leftinvariant spectral sequence is given by
We recall here a result from Cirici and Wilson that shows how it is possible to inject the leftinvariant spectral sequence into the nonleftinvariant one.
Proposition 6.6
([6], Lemma 5.9) Let G be a compact Lie Group with a leftinvariant almost complex structure J. For all \(r \ge 0\), the inclusion \(^L A^*(G) \hookrightarrow A^*(G)\) induces an injection
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 leftinvariant 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}\).
7 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
The first one has appeared in [5], Example 4.8, with the purpose of showing different behaviours for the spectral sequence of a 6dimensional 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 semicontinuos nor lower semicontinuous 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 6dimensional 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:
Consider the family of complex structure parametrized by t, given by
and the nilpotent complex Lie Algebra obtained as
and
The basis of (1, 0)forms parametrized by t, has the following differentials:
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
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 dexact 2form 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
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 subcomplex of differential forms spanned by the (0, 1)forms
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 subcomplex of differential forms (cf. [2], Corollary 3.7). In particular, for the Nakamura manifold, one can consider a curve of complex strcuture given by
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 leftinvariant cohomology of 4dimensional 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 semidirect product \(Sol(3)= {\mathbb {R}} \ltimes _\phi {\mathbb {R}}^2\), with
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 fourdimensional solvmanifolds. Taking \(A \in K\) and computing \(A^{1} dA\), we obtain a basis of leftinvariant forms
The dual basis of vector fields is
The only nonzero brackets are
and the differentials of 1forms can be obtained directly differentiating \(\{ e^j \}\), or by taking the dual of the Lie bracket. The only nonvanishing differentials are
We can directly compute the leftinvariant de Rham cohomology of M and, since \(Sol(3) \times \mathbb {R}\) is completely solvable, it coincides with the real de Rham Cohomology:
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
Structure (A) will provide an example of a leftinvariant spectral sequence degenerating at the first page. This almost complex strcuture is not almostKähler. On the other side, structure (B) will provide an example of a leftinvariant spectral sequence degenerating at the second page, and it is an almostKähler structure.
Regarding structure (A), a basis of complex vector fields is obtained by taking projections of \(e_1\) and \(e_3\). Define
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
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
and the conjugate equations. Note that the almost complex structure is not integrable since \({\bar{\mu }} \varphi ^2 \ne 0\). From the differentials on 1form, we can compute them for all degrees, and then compute the leftinvariant spectral sequence. As a consequence of Theorem 6.1, it satisfies Serre duality. We show calculations only for bidegree (1, 1). On
\({\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
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
so it has to be \(\beta ^{1,0} = a \varphi ^1\). Then
so that \(Y^{1,1}_1 = \langle \varphi ^{1 {\bar{1}}} \rangle \). Taking the quotient, we have
Analogous calculations show that
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 Jinvariant group \(H^+\), we write forms in \(H^2_{dR}\) as complex forms:
First adding then subtracting we obtain \(e^{14}  e^{23} \in H^+\) and \(e^{14} + e^{23} \in H^\),
This is sufficient to conclude the computation of \(H^+\) and \(H^\) since in dimension 4, we always have a direct sum decomposition
(cf. [10], Theorem 2.3).
For structure (B), the dclosed 2form providing an almostKähler metric is \(\omega = e^{14} + e^{23}\). The computations of the leftinvariant spectral sequence proceed in the same way as for structure (A). The only nonvanishing differentials are
and the conjugate equations. The computation of Dolbeault cohomology group is straightforward:
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
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),
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 nonharmonic 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 dclosed. dexact (1, 1) forms are written as \({\bar{\partial }} \beta ^{1,0} + \partial \beta ^{0,1}\), with
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
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 dexact (1, 1)form, the class in \(^L H^{1,1}_{Dol}\) varies.
Example 7.4
(Letinvariant deformations of \(\Gamma \backslash Sol(3) \times {\mathbb {S}}^1\)) In this example we compute leftinvariant deformations of the manifold \(M= \Gamma \backslash Sol(3) \times {\mathbb {S}}^1\). Consider the almost complex solvmanifold endowed with a leftinvariant almost complex structure (M, J), where J is the structure (B) of Example 7.2. We study the behaviour of the leftinvariant spectral sequence under deformations.
Since we are interested in the leftinvariant cohomology, calculating deformations of J is a matter of linear algebra. As a matrix, J is written as
and its small deformations are represented by a \(4 \times 4\) matrix L satisfying
This last condition is written as
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
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 leftinvariant forms, and compute the leftinvariant spectral sequence. We classify deformations into two groups:

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

(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 leftinvariant 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
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 leftinvariant forms is
The dual basis of vector fields is
The only nonzero brackets are
The nonvanishing differentials are
G is completely solvable, and its leftinvariant cohomology coincides with the real de Rham Cohomology:
We compute the leftinvariant spectral sequence for the almost complex structure
The nonvanishing differentials on 1forms are
The leftinvariant Dolbeault cohomology is
The spectral sequence degenerates at the second page, giving the bigrading of the de Rham cohomology:
References
Angella, D., Kasuya, H.: BottChern cohomology of solvmanifolds. Ann. Glob. Anal. Geom. 52(4), 363–411 (2017)
Angella, D., Kasuya, H.: Cohomologies of deformations of solvmanifolds and closedness of some properties. NorthWest. Eur. J. Math. 3, 75–105 (2017)
Auslander, L., Green, L., Hahn, F.: Flows on some three dimensional homogeneous spaces. Bull. Am. Math. Soc. 67(5), 494–497 (1961)
Bock, C.: On lowdimensional solvmanifolds. Asian J. Math. 20(2), 199–262 (2016)
Ceballos, M., Otal, A., Ugarte, L., Villacampa, R.: Invariant complex structures on 6nilmanifolds: classification, Frölicher spectral sequence and special Hermitian metrics. J. Geom. Anal. 26, 252–286 (2016)
Cirici, J., Wilson, S.O.: Dolbeault cohomology for almost complex manifolds. Adv. Math. (to appear). arXiv:1809.01416v2
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)
Coelho, R., Placini, G., Stelzig, J.: Maximally nonintegrable almost complex structures: an \(h\)principle and cohomological properties (2021). arXiv:2105.12113v2
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)
Drǎghici, T., Li, T.J., Zhang, W.: Symplectic forms and cohomology decomposition of almost complex fourmanifolds. Int. Math. Res. Not. 2010, 1–17 (2010)
Drǎghici, T., Li, T.J., Zhang, W.: On the \(J\)antiinvariant cohomology of almost complex \(4\)manifolds. Q. J. Math. 64, 83–111 (2013)
Frölicher, A.: Relations between the cohomology groups of Dolbeault and topological invariants. Proc. Natl. Acad. Sci. USA 41, 641–644 (1955)
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)
Livernet, M., Whitehouse, S., Ziegenhagen, S.: On the spectral sequence associated to a multicomplex. J. Pure Appl. Algebra 224(2), 528–535 (2020)
Milivojević, A.: Another proof of the persistence of Serre symmetry in the Frölicher spectral sequence. Complex Manifolds 7, 141–144 (2020)
Rollenske, S.: Dolbeault cohomology of nilmanifolds with leftinvariant complex structure. Complex Differ. Geom., Springer Proc. Math. 8, 369–392 (2011)
Tardini, N., Tomassini, A.: Differential operators on almostHermitian manifolds and harmonic forms. Complex Manifolds 7, 106–128 (2020)
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 CRUICARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by F. Bracci.
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.
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/.
About this article
Cite this article
Sillari, L., Tomassini, A. Dolbeault and JInvariant Cohomologies on Almost Complex Manifolds. Complex Anal. Oper. Theory 15, 112 (2021). https://doi.org/10.1007/s1178502101156w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s1178502101156w
Keywords
 Almost complex manifold
 Cohomology of Lie Algebra
 Compact fourmanifold
 Dolbeault cohomology
 Frölicher spectral sequence
 Solvmanifold