Abstract
We consider the primitive decomposition of \(\overline{\partial }, \partial \), Bott–Chern and Aeppli-harmonic (k, k)-forms on compact almost Kähler manifolds \((M,J,\omega )\). For any \(D \in \{\overline{\partial }, \partial , \textrm{BC}, \textrm{A}\}\), it is known that the \(L^k P^{0,0}\) component of is a constant multiple of \(\omega ^k\) up to real dimension 6. In this paper we generalise this result to every dimension. We also deduce information on the components \(L^{k-1} P^{1,1}\) and \(L^{k-2} P^{2,2}\) of the primitive decomposition. Focusing on dimension 8, we give a full description of the spaces and , from which follows and . We also provide an almost Kähler 8-dimensional example where the previous inclusions are strict and the primitive components of a harmonic form are not D-harmonic, showing that the primitive decomposition of (k, k)-forms in general does not descend to harmonic forms.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A recent answer to a question of Kodaira and Spencer [3, Problem 20] shows that the dimension of the space of Dolbeault harmonic forms depends on the choice of the metric on a given compact almost complex manifold, see [5, 6].
The primitive decomposition of harmonic forms has proven to be useful in describing the spaces of harmonic (1, 1)-forms in dimension 4. In the case of Dolbeault harmonic forms it has been used to show that is either equal to \(b^-\) or \(b^-+1\), depending on the choice of metric, see [4, 5, 12]. Similarly, for Bott–Chern harmonic forms, it yields for all metrics, see [4, 10]. See [8, 11, 13] for other related results and [7, 15] for two surveys on the subject.
In this paper, we explore what the primitive decomposition can tell us about harmonic (k, k)-forms in higher dimensions. We start by considering a compact 2n-dimensional almost Hermitian manifold \((M,J,\omega )\). The almost complex structure J induces the bidegree decomposition on the space of complex valued k-forms
Additionally, the almost Hermitian structure induces the primitive decomposition on the space of k-forms given by
where , and is the space of primitive s-forms, for \(s\leqslant n\) (see e.g., [14, p. 26, Théorème 3]). These two decompositions are compatible with each other.
In fact, for Kähler manifolds, i.e., when J is integrable and \(d\omega = 0\), the primitive decomposition passes to the space of d-harmonic (p, q)-forms, denoted by , namely
where .
On Kähler manifolds, we also know that for all \(D \in \{\overline{\partial }, \partial , \textrm{BC}, \textrm{A}\}\) (see Sect. 2 for the definitions of these spaces), therefore we have
We remark that (1) and (2) have a cohomological meaning in the Kähler setting.
In [2, Corollary 5.4], Cirici and Wilson prove that (1) continues to hold true for almost Kähler manifolds, however it does not directly follow that (2) must also be true. Cattaneo, Tardini and Tomassini prove in [1, Theorem 3.4 and Corollary 3.5] that:
Theorem 1.1
Let \((M,J,\omega )\) be a compact 2n-dimensional almost Kähler manifold, then the following decompositions hold:
This means that, on almost Kähler manifolds, and both have primitive decompositions when \((p,q) = (1,1)\) and, applying the Hodge \(*\) operator to the (1, 1)-decompositions, when \((p,q) = (n-1,n-1)\).
In [9, Theorems 3.2 and 3.3], Tardini and the second author prove the following results:
Theorem 1.2
Let \((M, J, \omega )\) be a compact 2n-dimensional almost Kähler manifold, then the following decompositions hold:
We therefore see that, in the almost Kähler setting, and both have primitive decompositions when \((p,q) = (1,1)\) or \((n-1,n-1)\).
These two results are sufficient to prove that either (2) or its dual through the Hodge \(*\) operator hold for any space of D-harmonic (k, k)-forms on any compact almost Kähler manifold with dimension up to 6. This raises the following question, which we shall answer in this paper: does (2) (or its \(*\) dual) hold for (k, k)-forms in general for compact almost Kähler manifolds with dimension 8 or greater? We note that (2) has been shown to fail for dimension 6 in bidegree (2, 1) in [1, Proposition 5.1] for \(D \in \{\overline{\partial }, \partial \}\) and in [9, Proposition 5.1] for \(D \in \{\textrm{BC}, \textrm{A}\}\).
We also remark that the almost Kähler assumption is necessary for this kind of primitive harmonic decomposition. To see that this is the case in dimension 4 we refer the reader to [10, 12].
The structure of this paper is as follows. In Sect. 2 we give a brief overview of some of the basic results which will be used throughout the paper. In Sect. 3 we show that Theorem 1.2 may be partially extended to (k, k)-forms, proving the following concise decomposition.
Theorem 3.8
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 2n. For any \(k\in \mathbb {N}\) we have
and
See Theorem 3.7 for a more detailed description. As an application of the previous results, we consider the 8-dimensional case, yielding the following decompositions.
Theorem 3.10
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 8. We have
and
This follows from almost Kähler identities of [2] and by \(L^2\) integration by parts.
In Sect. 4 we show that Theorem 1.1 may also be partially extended to (k, k)-forms.
Theorem 4.3
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 2n. For any \(k\in \mathbb {N}\) we have
and
See Theorem 4.1 for a more detailed description. Looking at the special case of this result in dimension 8, namely Corollary 4.5, along with Theorem 3.10, we directly deduce the following
Corollary 4.6
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 8. We have
Finally in Sect. 5, we consider a non left invariant almost Kähler structure on the 8-dimensional torus \(\mathbb {T}^8={\mathbb Z}^8\backslash {\mathbb R}^8\). We use this example to show that there exists a (2, 2)-form contained in but not in , and likewise there exists a (2, 2)-form in but not in . We also show that there exists a form whose components with respect to the primitive decomposition, \(\alpha \in P^{1,1}\), \(\beta \in P^{2,2}\), are not themselves Bott–Chern harmonic. From this we can conclude that the primitive decomposition does not in general apply to D-harmonic (2, 2)-forms in dimension 8, for \(D\in \{\textrm{BC},\textrm{A},{\overline{{\partial }}},{\partial }\}\).
Corollary 5.2
There exists a compact almost Kähler manifold \((M,J,\omega )\) of real dimension 8 such that
and
where \(D\in \{\textrm{BC},\textrm{A},{\overline{{\partial }}},{\partial }\}\).
We also consider another 8-dimensional compact nilmanifold, focusing on the subspace of left invariant harmonic forms in . We show that these spaces satisfy (2) for all \(D \in \{\overline{\partial }, \partial , \textrm{BC},\textrm{A}\}\). Furthermore, we show that in this example these spaces are in fact all equal and have dimension 16.
2 Preliminaries
Throughout this paper, we will only consider connected manifolds without boundary. Let (M, J) be an almost complex manifold of dimension 2n, i.e., a 2n-differentiable manifold endowed with an almost complex structure J, that is \(J\in \textrm{End}\hspace{0.55542pt}(TM)\) and \(J^2=-{{\,\textrm{id}\,}}\). The complexified tangent bundle \(T_{\mathbb {C}}M=TM\hspace{1.111pt}{\otimes }\hspace{1.111pt}\mathbb {C}\) decomposes into the two eigenspaces of J associated to the eigenvalues \(i,-i\), which we denote respectively by \(T^{1,0}M\) and \(T^{0,1}M\), giving us
Denoting by \(\Lambda ^{1,0}M\) and \(\Lambda ^{0,1}M\) the dual vector bundles of \(T^{1,0}M\) and \(T^{0,1}M\), respectively, we set
to be the vector bundle of (p, q)-forms, and let \(A^{p,q}=\Gamma (M,\Lambda ^{p,q}M)\) be the space of smooth sections of \(\Lambda ^{p,q}M\). We denote by \(A^k=\Gamma (M,\Lambda ^{k}M)\) the space of k-forms. Note that \(\Lambda ^{k}M\hspace{1.111pt}{\otimes }\hspace{1.111pt}\mathbb {C}=\bigoplus _{p+q=k}\Lambda ^{p,q}M\).
Let be a smooth function on M with complex values. Its differential df is contained in \(A^1\hspace{0.55542pt}{\otimes }\hspace{1.111pt}\mathbb {C}=A^{1,0}\hspace{0.55542pt}{\oplus }\hspace{1.111pt}A^{0,1}\). On complex 1-forms, the exterior derivative acts as
Therefore, it turns out that the derivative operates on (p, q)-forms as
where we denote the four components of d by
From the relation \(d^2=0\), we derive
We also define the operator . It is a straightforward computation to show that
If the almost complex structure J is induced from a complex manifold structure on M, then J is called integrable. Recall that J is integrable if and only if the exterior derivative decomposes into \(d={\partial }+{\overline{{\partial }}}\).
A Riemannian metric g on M which is preserved by J, i.e. \(g(J\hspace{1.111pt}{\cdot }\hspace{1.111pt}, J \hspace{1.111pt}{\cdot }\hspace{1.111pt}) = g(\hspace{1.111pt}{\cdot }\hspace{1.111pt}, \hspace{0.55542pt}{\cdot }\hspace{1.111pt})\), is called almost Hermitian. Let g be an almost Hermitian metric, the 2-form \(\omega \) such that
is called the fundamental form of g. We will call \((M,J,\omega )\) an almost Hermitian manifold. We denote by h the Hermitian extension of g on the complexified tangent bundle \(T_\mathbb {C}M\), and by the same symbol g the \(\mathbb {C}\)-bilinear symmetric extension of g on \(T_\mathbb {C}M\). Also denote by the same symbol \(\omega \) the \(\mathbb {C}\)-bilinear extension of the fundamental form \(\omega \) of g on \(T_\mathbb {C}M\). Thanks to the elementary properties of the two extensions h and g, we may want to consider h as a Hermitian operator \(T^{1,0}M\hspace{1.111pt}{\times }\hspace{1.111pt}T^{1,0}M\rightarrow \mathbb {C}\) and g as a \(\mathbb {C}\)-bilinear operator \(T^{1,0}M\hspace{0.55542pt}{\times }\hspace{1.111pt}T^{0,1}M\rightarrow \mathbb {C}\). Note that \(h(u,v)=g(u,\overline{v})\) for all \(u,v\in \Gamma (T^{1,0}M)\).
Let \((M,J,\omega )\) be an almost Hermitian manifold of real dimension 2n. Denote the extension of h to (p, q)-forms by the Hermitian inner product \(\langle \hspace{1.111pt}{\cdot }\hspace{1.111pt},\hspace{0.55542pt}{\cdot }\hspace{1.111pt}\rangle \). Let \(*:A^{p,q}\longrightarrow A^{n-q,n-p}\) be the \(\mathbb {C}\)-linear extension of the standard Hodge \(*\) operator on Riemannian manifolds with respect to the volume form \({{\,\textrm{Vol}\,}}=\frac{\omega ^n}{n!}\), i.e., \(*\) is defined by the relation
Integrating the pointwise Hermitian inner product on the manifold, we get the standard \(L^2\) product here denoted by
which is surely well defined if M is compact. Then the operators
are the \(L^2\) formal adjoint operators respectively of \(d,\mu ,{\partial },{\overline{{\partial }}},\overline{\mu }\). Recall that
is the Hodge Laplacian, and, as in the integrable case, set
respectively as the \({\partial }\) and \({\overline{{\partial }}}\) Laplacians. Again, as in the integrable case, set
and
respectively as the Bott–Chern and the Aeppli Laplacians. Note that
If M is compact, then we easily deduce the following relations:
which characterize the spaces of harmonic forms
defined as the spaces of forms which are in the kernel of the associated Laplacians. All these Laplacians are elliptic operators on the almost Hermitian manifold \((M,J,\omega )\) (cf. [3, 10]), implying that all the spaces of harmonic forms are finite dimensional when the manifold is compact.
Now we introduce some notation and recall some well-known facts about primitive forms. We denote by
the Lefschetz operator and by
its adjoint. A differential k-form \(\alpha \) on M, for \(k\leqslant n\), is said to be primitive if \(\Lambda \alpha =0\), or equivalently if
Then we have the following vector bundle decomposition (see e.g., [14, p. 26, Théorème 3]):
where we use
to denote the bundle of primitive s-forms. For any given \(\beta \in P^kM\), we have the following formula (cf. [14, p. 23, Théorème 2]) involving the Hodge \(*\) operator and the Lefschetz operator:
We recall that the map \(L^h:\Lambda ^kM\rightarrow \Lambda ^{k+2h}M\) is injective for \(h+k\leqslant n\) and is surjective for \(h+k\geqslant n\).
Furthermore, the decomposition above is compatible with the bidegree decomposition on the bundle of complex k-forms \(\Lambda _\mathbb {C}^kM\) induced by J, that is
where
In fact, we have
Finally, let us set and .
3 Primitive decomposition of Bott–Chern harmonic (k, k)-forms
In order to prove our main result, we will need the following lemmas. The next one is well known, see for instance [9, Theorem 3.2] or [10, Theorem 4.3]. We include an outline of the proof here for the convenience of the reader.
Lemma 3.1
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 2n. Let be a smooth complex valued function. If
then \(f\in \mathbb {C}\) is a complex constant.
Proof
Let \(V_1, \dots , V_n\) be a local frame of \(T^{1,0}M\), with the dual coframe of \(\Lambda ^{1,0}M\), chosen such that \(\omega = i \sum _{j} \phi ^{j \overline{j}}. \) We can then write
The wedge product of \(\omega ^{n-1}\) with \(\phi ^{i\overline{j}}\) is zero unless \(i=j\), therefore
where R is a differential operator involving at most first order derivatives. Setting this to zero tells us that f is in the kernel of a strongly elliptic differential operator. In conjunction with the compactness of M, this implies that f must be constant by the maximum principle. \(\square \)
We will divide the proof of our main result Theorem 3.7 into the following lemmas. In the first one we study the second order differential conditions in the characterisation (4) of Bott–Chern and Aeppli harmonic forms.
Lemma 3.2
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 2n. For any \(k\in {\mathbb N}\) such that \(2k\leqslant n\), write any (k, k)-form \(\psi \) as
where every (m, m)-form \(\alpha ^{m,m}\) is primitive. If \(\psi \) satisfies both
then is a complex constant. Moreover,
i.e., \({\partial }{\overline{{\partial }}}\alpha ^{1,1}\) is primitive, and
Proof
Fix \(2k\leqslant n\). Every form \(\alpha ^{m,m}\) is primitive, i.e.,
By (5), we have the formula
Now, assume that \({\partial }{\overline{{\partial }}}\psi ={\partial }{\overline{{\partial }}}\hspace{1.111pt}{*}\hspace{1.111pt}\psi =0\). Since \(d\omega =0\), it follows
We want to compare (7) and (8). Note that
therefore we can compute the wedge product between (7) and \(\omega \) to the power \(n-k-m-(k-m)=n-2k\) and obtain
If we take the wedge product of \(\omega ^{k-1}\) with both equations (8) and (9), we find
by (6), since \(n-2m+1\leqslant n-m-1\) iff \(m\geqslant 2\). In the same way,
by (6). Now, thanks to the last two equations, we easily deduce
and
In particular, this yields that \(\alpha ^{0,0}\in \mathbb {C}\) is a complex constant by Lemma 3.1.
If we take the wedge product of \(\omega ^{k-2}\) with both equations (8) and (9), we find
by (6). In the same way,
by (6). Now, thanks to the last two equations, we easily deduce
and
which is the claim. \(\square \)
Remark 3.3
If we take the wedge product of \(\omega ^{k-l}\), for \(3\leqslant l \leqslant k-1\), with both equations (8) and (9), we find similar sums, but this time we have three or more addends. This does not imply, in general, that every addend is equal to 0.
In the next lemma we study the first order differential conditions in the characterisation (4) of Bott–Chern harmonic forms.
Lemma 3.4
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 2n. For any \(k\in {\mathbb N}\) such that \(2k\leqslant n\), write any (k, k)-form \(\psi \) as
where every (m, m)-form \(\alpha ^{m,m}\) is primitive. Assume that is a complex constant. If \({\partial }\psi =0\), then \({\partial }\alpha ^{1,1}\) is primitive, i.e.,
If \({\overline{{\partial }}}\psi =0\), then \({\overline{{\partial }}}\alpha ^{1,1}\) is primitive, i.e.,
Proof
Fix \(2k\leqslant n\). Assume that \({\partial }\psi =0\) and . Since \(d\omega =0\), it follows
If we take the wedge product of \(\omega ^{n-k-1}\) and (10), we find
by (6).
Assume now that \({\overline{{\partial }}}\psi =0\) and . Since \(d\omega =0\), it follows
If we take the wedge product of \(\omega ^{n-k-1}\) and (11), we find
by (6), and this ends the proof. \(\square \)
Remark 3.5
If we take the wedge product of \(\omega ^{n-k-l}\), for \(2\leqslant l \leqslant n-k-1\), with both equations (10) and (11), we find similar sums, but this time we have two or more addends. This does not imply, in general, that every addend is equal to 0.
Finally, in the following lemma we study the first order differential conditions in the characterisation (4) of Aeppli harmonic forms.
Lemma 3.6
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 2n. For any \(k\in {\mathbb N}\) such that \(2k\leqslant n\), write any (k, k)-form \(\psi \) as
where every (m, m)-form \(\alpha ^{m,m}\) is primitive. Assume that is a complex constant. If \({\partial }\hspace{1.111pt}{*}\hspace{1.111pt}\psi =0\), then \({\partial }\alpha ^{1,1}\) is primitive, i.e.,
If \({\overline{{\partial }}}\hspace{1.111pt}{*}\hspace{1.111pt}\psi =0\), then \({\overline{{\partial }}}\alpha ^{1,1}\) is primitive, i.e.,
Proof
Fix \(2k\leqslant n\). By (5), we have the formula
Assume that \({\partial }\hspace{1.111pt}{*}\hspace{1.111pt}\psi =0\) and . Since \(d\omega =0\), it follows
If we take the wedge product of \(\omega ^{k-1}\) and (12), we find
by (6), and this is equivalent to the first claim.
Now, assume that \({\overline{{\partial }}}\hspace{1.111pt}{*}\hspace{1.111pt}\psi =0\) and . Since \(d\omega =0\), it follows
If we take the wedge product of \(\omega ^{k-1}\) and (13), we find
by (6), and this is equivalent to the second claim. \(\square \)
We can now prove the following properties of Bott–Chern and Aeppli harmonic (k, k)-forms on a compact almost Kähler manifold.
Theorem 3.7
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 2n. For any \(k\in {\mathbb N}\), write any (k, k)-form \(\psi \) as
where every (m, m)-form \(\alpha ^{m,m}\) is primitive. If \(\psi \) is Bott–Chern or Aeppli harmonic, then is a complex constant, are primitive, i.e.,
and
Proof
Let us begin with the case \(2k\leqslant n\). Note that if \(\psi \) is Bott–Chern or Aeppli harmonic, then \(\psi \) satisfies both
and thus we can apply Lemma 3.2. Finally, if \(\psi \) is Bott–Chern harmonic, we can apply Lemma 3.4. Conversely, if \(\psi \) is Aeppli harmonic, we can apply Lemma 3.6. This concludes the proof of the case \(2k\leqslant n\).
Conversely, assume now that \(2k\geqslant n\). By (5), we have the formula
Set and
We note that \(2l\leqslant n\) and the primitive decomposition of \({*}\hspace{1.111pt}\psi \in A^{l,l}\) is
By (3), we know that \(\psi \) is Bott–Chern harmonic iff \({*}\hspace{1.111pt}\psi \) is Aeppli harmonic, and \(\psi \) is Aeppli harmonic iff \({*}\hspace{1.111pt}\psi \) is Bott–Chern harmonic. Therefore by the first part of the theorem applied to \({*}\hspace{1.111pt}\psi \) we conclude that , are primitive and
It is an observation that the same holds respectively for , ending the proof. \(\square \)
Since the coefficient of \(\omega ^k\) is constant in the primitive decomposition of any Bott–Chern or Aeppli harmonic (k, k)-form, we can state the following characterisations of the spaces of Bott–Chern and Aeppli harmonic (k, k)-forms.
Theorem 3.8
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 2n. For any \(k\in \mathbb {N}\) we have
and
Proof
Let us consider the primitive decomposition of a Bott–Chern or Aeppli harmonic (k, k)-form \(\psi \), i.e.,
Thanks to Theorem 3.7, we know that the coefficient of \(\omega ^k\), denoted by \(\alpha ^{0,0}\), is a complex constant. Since \(\omega ^{n-2m+1}\hspace{1.111pt}{\wedge }\hspace{1.111pt}\alpha ^{m,m}=0\), therefore
for any \(m\geqslant 1\). This proves the two inclusions \(\subseteq \). The other two inclusions \(\supseteq \) are trivial. \(\square \)
Remark 3.9
When we consider the case of Theorem 3.8 when \(k = 1\), we recover the results of Tardini and the second author, [9, Theorems 3.2 and 3.3]. Namely, we have a complete decomposition into primitive harmonic forms
Corollary 5.2 will show that a complete decomposition into primitive harmonic forms does not hold in higher bidegrees (k, k) with \(k\geqslant 2\).
The previous theorems can be further specialized in real dimension 8 for bidegree (2, 2). Using almost Kähler identities of [2] and considering the \(L^2\) inner product of forms, we are able to prove the following decompositions which are somewhat surprising in their lack of symmetry between \({\partial }\) and \({\overline{{\partial }}}\). This is mainly due to the fact that \({\partial }\) and \({\overline{{\partial }}}\) do not anticommute in the non integrable case.
Theorem 3.10
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 8. We have
and
Proof
Let us prove the Bott–Chern case. The Aeppli case is proved by a similar argument. By Theorem 3.8, we know
therefore we want to prove that
The inclusion \(\supseteq \) is straightforward. Let us then take a form . Its primitive decomposition is
with \(\alpha \in P^{1,1}\) and \(\beta \in P^{2,2}\). Since \(\psi \) is Bott–Chern harmonic, we know \({\partial }\psi ={\overline{{\partial }}}\psi =0\), that is
Moreover, by Theorem 3.7, we have
Let us compute the pointwise inner product between \(\omega \hspace{1.111pt}{\wedge }\hspace{1.111pt}{\overline{{\partial }}}\alpha \) and \({\overline{{\partial }}}\beta \). By the almost Kähler identities of [2, Proposition 3.1], in particular \([\Lambda ,{\overline{{\partial }}}]=-i{\partial }^*\), we have
Now we integrate this pointwise inner product on the manifold to get the usual \(L^2\) product between forms, obtaining
Since \(L{\overline{{\partial }}}\alpha =-{\overline{{\partial }}}\beta \) and they are \(L^2\) orthogonal, they must both be equal to zero. Now, by the Lefschetz isomorphism, \(L{\overline{{\partial }}}\alpha =0\) if and only if \({\overline{{\partial }}}\alpha =0\). This ends the proof. \(\square \)
Example 5.1 will show that these two characterisations of the spaces and in general cannot be further improved requiring that \({\partial }\alpha ={\partial }\beta ={\overline{{\partial }}}\alpha ={\overline{{\partial }}}\beta =0\).
4 Primitive decomposition of Dolbeault harmonic (k, k)-forms
The next theorem yields similar conclusions for the Dolbeault case to the ones in the Bott–Chern and Aeppli case.
Theorem 4.1
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 2n. Let \(\psi \) denote a (k, k)-form, for some \(k \in \mathbb {N}\). We can write
with . If \(\psi \) is Dolbeault harmonic then is a complex constant and are primitive.
Proof
We start by considering the case when \(2k \leqslant n\), using a similar argument to the one used in [1, Theorem 3.4].
Note that \(\psi \) is Dolbeault harmonic if and only it satisfies \(\overline{\partial }\psi = 0\) and \( \partial \hspace{1.111pt}{*}\hspace{1.111pt}\psi = 0\). Since \(\omega \) is almost Kähler, when we write these conditions out using the primitive decomposition of \(\psi \) we get
Then, by taking the wedge product of \(\omega ^{n-k-1}\) with equation (14) we find that
since \(\omega ^{n-2m+1} \hspace{1.111pt}{\wedge }\hspace{1.111pt}\alpha ^{m,m}=0\) for all \(m \in \mathbb {N}\). Similarly, by taking the wedge product of \(\omega ^{k-1}\) with equation (15) we find
Multiplying this by \(\frac{(n-k-1)!}{(k-1)!}\), we have
We can then sum the equations (16) and (17), to get
Now, by making use of the operator
and the fact that \(\mu = \overline{\mu }= 0\) when acting on an \((n-1,n-1)\)-form, we can rewrite equation (18) as
Applying \(-\textrm{id}^c\) the right-hand side vanishes and we are left with
In particular, we have \(\omega ^{n-1} \hspace{1.111pt}{\wedge }\hspace{1.111pt}\partial \overline{\partial }\alpha ^{0,0}=0\), which implies that \(\alpha ^{0,0}\) is constant by Lemma 3.1. Now, looking at (18), we deduce that \({\partial }\alpha ^{1,1}\) and \({\overline{{\partial }}}\alpha ^{1,1}\) are primitive.
The result in the case when \(2k \geqslant n\) follows simply from the first case by Serre duality. Namely, we have
Therefore, any element of with \(2k \geqslant n\) can be written as
for some , and since \(2(n-k) \leqslant n\) we conclude that \(\alpha ^{0,0}\) is constant and \({\partial }\alpha ^{1,1}\) and \({\overline{{\partial }}}\alpha ^{1,1}\) are primitive.\(\square \)
Remark 4.2
Note that the same statement of Theorem 4.1 also holds for \(\Delta _{\partial }\)-harmonic (k, k)-forms. The proof of this is equivalent to the one above up to conjugation.
The above result allows the primitive decomposition of (k, k)-forms to descend partially to Dolbeault harmonic (k, k)-forms in the following way, using the same proof as for Theorem 3.8.
Theorem 4.3
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 2n. For any \(k\in \mathbb {N}\) we have
and
Remark 4.4
When we consider the case of Theorem 4.3 with \(k = 1\), we recover the results of Cattaneo, Tardini and Tomassini, [1, Theorem 3.4 and Corollary 3.5]. Namely, we have a complete decomposition into primitive harmonic forms
Corollary 5.2 will show that a complete decomposition into primitive harmonic forms does not hold in higher bidegrees (k, k) with \(k\geqslant 2\).
If we now restrict to real dimension 8, we obtain the following.
Corollary 4.5
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 8. We have
and
Proof
The result follows immediately from Theorem 4.3, from the characterisation (4) of Dolbeault and \({\partial }\)-harmonic forms and from formula (5). \(\square \)
From Theorem 3.10 and Corollary 4.5, we deduce the following inclusions of the spaces of harmonic forms in dimension 8.
Corollary 4.6
Let \((M,J,\omega )\) be a compact almost Kähler manifold of real dimension 8. We have
5 Examples
In this section we present two 8-dimensional examples of nilmanifolds and study their harmonic (2, 2)-forms.
Example 5.1
We consider a similar construction to the one in [1, Example 4.9]. Let \(\mathbb {T}^8={\mathbb Z}^8\backslash {\mathbb R}^8\) be the 8-dimensional torus with real coordinates on \({\mathbb R}^8\). Let be a non-constant function on \(\mathbb {T}^8\). We define an almost complex structure J by setting
to be a global coframe of (1, 0)-forms. Denote by \(V_1,V_2,V_3,V_4\) the global frame of vector fields dual to . Then, the structure equations are
We endow with the almost Kähler metric given by the fundamental form
We consider the volume form
We want to show that the inclusion of Corollary 4.6 is strict. Let us consider the form \(\phi ^{12\overline{2}\overline{3}}\). We compute
Therefore, , proving our claim. We note that the same holds for the form \(\phi ^{13\overline{2}\overline{3}}\). By duality (see (4)), also note that .
We also want to show that in general the primitive decomposition of (2, 2)-forms does not descend to the spaces of Bott–Chern, Aeppli, Dolbeault and \({\partial }\)-harmonic forms. Namely, we want to find a (2, 2)-form
where \(\alpha \in P^{1,1}\) and \(\beta \in P^{2,2}\), such that \(\alpha \) and \(\beta \) are not Bott–Chern and \({\partial }\)-harmonic. Considering \(\overline{\psi }\), the same can then be shown for the cases of Aeppli and Dolbeault. Let us consider the form \(\psi =2\phi ^{2\overline{1}4\overline{4}}\). Its primitive decomposition is
where
Set \(\beta =\phi ^{2\overline{1}4\overline{4}}-\phi ^{2\overline{1}3\overline{3}}\) and \(\alpha =-i\phi ^{2\overline{1}}\). Then we have
therefore , while and . Note that this also shows that the two results of Theorem 3.10 cannot be strengthened by asking that \(\omega \hspace{1.111pt}{\wedge }\hspace{1.111pt}{\partial }\alpha ={\partial }\beta =0\), instead of \(\omega \hspace{1.111pt}{\wedge }\hspace{1.111pt}{\partial }\alpha + {\partial }\beta =0\) or \(\omega \hspace{1.111pt}{\wedge }\hspace{1.111pt}{\partial }\alpha - {\partial }\beta =0\).
Summing up the results from the above example, we state the following corollary.
Corollary 5.2
There exists a compact almost Kähler manifold \((M,J,\omega )\) of real dimension 8 such that
and
where \(D\in \{\textrm{BC},\textrm{A},{\overline{{\partial }}},{\partial }\}\).
We remark that the almost Kähler structure of Example 5.1 is not left invariant with respect to the usual Lie group structure of the torus. In fact, we do not have any example of an 8-dimensional manifold with a left invariant almost Kähler structure which satisfies the conditions of Corollary 5.2. Below we present one such example of a manifold (described in [1, Example 4.3]), with a left invariant almost Kähler structure. We show that in this example all left invariant harmonic forms have a primitive decomposition such that each component is also contained in , where \(D \in \{\textrm{BC}, \textrm{A}, \partial , \overline{\partial }\}\).
Example 5.3
We start by defining
Then, if we let \(\Gamma \subset \mathbb {H}(2,1)\) be the subgroup of elements with integer valued entries, we can define the compact 8-manifold . A left invariant coframe on X can be given by
where u, v, w parametrise \(\mathbb {T}^3\). From this coframe, we derive the structure equations
An almost Hermitian structure is then defined so that
are orthonormal (1, 0)-forms, with structure equations given by
The fundamental form corresponding to this almost Hermitian structure is
This fundamental form is d-closed and so the structure we have defined is almost Kähler.
It is then a trivial (although computationally tedious) task to compute the space of left invariant forms contained in . This space is spanned by the following sixteen (2, 2)-forms:
Furthermore, when we compute the spaces of left invariant forms contained in , and , we find that these spaces are all equal to the space of left invariant forms in . We claim that this implies that the primitive decomposition descends to harmonic (2, 2)-forms in all of these spaces, i.e., if is left invariant then
for any \(D \in \{\partial , \overline{\partial }, \textrm{BC}, \textrm{A}\}\).
To see why this is the case, consider the (2, 2)-form \(\psi \in A^{2,2}(X)\) with primitive decomposition \(\psi = c\omega ^2 + \alpha \hspace{1.111pt}{\wedge }\hspace{1.111pt}\omega + \beta ,\) where \(c \in \mathbb {C}\), , \(\beta \in P^{2,2}\). Let \(\psi \) be contained in both and . From we obtain
and from we obtain
Combining these results, we see that
This is sufficient to imply that or in other words
for all \(D \in \{\partial , \overline{\partial }, \textrm{BC}, \textrm{A}\}\).
References
Cattaneo, A., Tardini, N., Tomassini, A.: Primitive decompositions of Dolbeault harmonic forms on compact almost-Kähler manifolds (2022). arXiv:2201.09273 (to appear in Rev. Un. Mat. Argentina)
Cirici, J., Wilson, S.O.: Topological and geometric aspects of almost Kähler manifolds via harmonic theory. Sel. Math. (N.S.) 26(3), 35 (2020)
Hirzebruch, F.: Some problems on differentiable and complex manifolds. Ann. Math. 60, 213–236 (1954)
Holt, T.: Bott–Chern and \(\overline{\partial }\) harmonic forms on almost Hermitian 4-manifolds. Math. Z. 302(1), 47–72 (2022)
Holt, T., Zhang, W.: Harmonic forms on the Kodaira-Thurston manifold. Adv. Math. 400, 108277 (2022)
Holt, T., Zhang, W.: Almost Kähler Kodaira–Spencer problem. Math. Res. Lett. 29(6), 1685–1700 (2022)
Piovani, R.: Harmonic \((1,1)\)-forms on compact almost Hermitian \(4\)-manifolds. Riv. Math. Univ. Parma (N.S.) 13(2), 671–692 (2022)
Piovani, R.: Dolbeault harmonic \((1,1)\)-forms on \(4\)-dimensional compact quotients of Lie groups with a left invariant almost Hermitian structure. J. Geom. Phys. 180, 104639 (2022)
Piovani, R., Tardini, N.: Bott–Chern harmonic forms and primitive decompositions on compact almost Kähler manifolds. Ann. Mat. Pura Appl. 1923, 1–23 (2022)
Piovani, R., Tomassini, A.: Bott–Chern Laplacian on almost Hermitian manifolds. Math. Z. 301(3), 2685–2707 (2022)
Piovani, R., Tomassini, A.: On the dimension of Dolbeault harmonic \((1,1)\)-forms on almost Hermitian \(4\)-manifolds. Pure Appl. Math. Q. 18(3), 1187–1201 (2022)
Tardini, N., Tomassini, A.: \(\overline{\partial }\)-Harmonic forms on 4-dimensional almost-Hermitian manifolds (2021). arXiv:2104.10594 (to appear in Math. Res. Lett.)
Tardini, N., Tomassini, A.: Almost-complex invariants of families of six-dimensional solvmanifolds. Complex Manifolds 9(1), 238–260 (2022)
Weil, A.: Introduction à L’Étude des Variétés Kählériennes. Publications de l’Institut de Mathématique de l’Université de Nancago VI. Hermann, Paris (1958)
Zhang, W.: Almost complex Hodge theory. Riv. Math. Univ. Parma (N.S.) 13(2), 481–504 (2022)
Acknowledgements
The authors would like to express their sincere gratitude to Adriano Tomassini for several interesting discussions.
Funding
Open access funding provided by Università degli Studi di Parma within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Contributions
Both authors wrote and reviewed the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The second author is partially supported by GNSAGA of INdAM.
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
Holt, T., Piovani, R. Primitive decomposition of Bott–Chern and Dolbeault harmonic (k, k)-forms on compact almost Kähler manifolds. European Journal of Mathematics 9, 73 (2023). https://doi.org/10.1007/s40879-023-00666-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40879-023-00666-5
Keywords
- Bott–Chern Laplacian
- Aeppli Laplacian
- Dolbeault Laplacian
- Primitive decomposition
- Almost complex manifold
- Harmonic forms