Abstract
In this paper, we obtain a vertical–horizontal decomposition formula of Laplacians on manifolds with a special foliation structure. Two Nomizu-type theorems for cohomologies of nilmanifolds follow as applications.
Similar content being viewed by others
1 Introduction
Let X be an n-dimensional compact smooth manifold. Assume that the tangent bundle \(T_X\) of X is trivial (thus the cotangent bundle \(T^*_X\) is also trivial). Let
be a global smooth frame of \(T^*_X\). Inspired by [9, 20], we introduce the following
Definition 1.1
We call \(\Phi \) a nilpotent frame if
where \(A_{kl}^j\) are “real constants.”
In the complex case, assume that the holomorphic tangent bundle \(\wedge ^{1,0} T_X\) of a compact complex manifold X is smoothly trivial (may not be trivial as a holomorphic vector bundle). Now assume that the complex dimension of X is n. Let
be a global smooth frame of \(\wedge ^{1,0}T^*_X\). We shall use the following
Definition 1.2
We call \(\Psi \) a complex nilpotent frame if
where \(B_{kl}^j\) and \(B_{k\bar{l}}^j\) are “complex constants.”
We have the following generalization of the main results in [9, 13, 20].
Main Theorem
Let X be a compact smooth (resp. complex) manifold. Assume that \(T^*_X\) (resp. \(\wedge ^{1,0} T^*_X\) ) possesses a nilpotent (resp. complex nilpotent) frame \(\Phi \) (resp. \(\Psi \)). Then, every de Rham (resp. Dolbeault) cohomology class of X can be represented by \(\mathbb {R}\) (resp. \(\mathbb {C}\)) linear combination of finite wedge products of forms in \(\Phi \) (resp. \(\Psi \cup \overline{\Psi }\)).
Remark 1
Denote by \(A^{\star }\) (resp. \(A^{\star , \star }\)) the finite dimension \(\mathbb {R}\) (resp. \(\mathbb {C}\)) linear space spanned by wedge products of \(\Phi \) (resp. \(\Psi \cup \overline{\Psi }\)). Then we know that the d-cohomology is well defined on \(A^{\star }\), the \(\overline{\partial }\)-cohomology is well defined on \(A^{\star , \star }\) and they are also called the Lie algebra cohomologies. Let us denote them by \(H^{\star }_{d, \Phi }\) and \(H^{\star , \star }_{\overline{\partial }, \Psi }\), respectively. Then, our main theorem is equivalent to say that
where \(H_d^{\star }\) (resp. \(H_{\overline{\partial }}^{\star , \star }\)) denotes the usual de Rham (resp. Dolbeault) cohomology group. See Sect. 8 for a more explicit description of \(H^{\star }_{d, \Phi }\) and \(H^{\star , \star }_{\overline{\partial }, \Psi }\) in certain cases and Sect. 9 for related results.
Remark 2
The main ingredient in the proof of our main theorem is the following vertical–horizontal decomposition of Laplacians (see Theorem 4.1)
associated to the following decomposition
of d on a smooth manifold with a special foliation structure, where \(d^h\) only increases the horizontal degree, \(d^v\) only increases the vertical degree and the remaining term \(R_d\) is a tensor (see [1,2,3, 18, 19, 21, 26] for the background and related results).
Remark 3
The proof of our main theorem in Sect. 7 also gives the following result: Let X be a compact smooth manifold. Assume that \(\mathbb {C}\otimes T^*_X\) possesses a nilpotent frame \(\Phi \). Then every complex de Rham cohomology class of X can be represented by \(\mathbb {C}\) linear combination of finite wedge products of forms in \(\Phi \).
Our main theorem suggests to study the following problem:
\((\star )\): LetGbe a Lie group, let\(\Gamma \)be a discrete subgroup ofG. Assume that with respect to the left action of\(\Gamma \), \(X:=\Gamma \backslash G\)is a compact manifold. When does\(T^*_X\)possess a nilpotent frame ?
If G is nilpotent then of course \(T^*_X\) possesses a nilpotent frame. But it is also interesting to study the general case, e.g., \(\mathrm{SL}(2,\mathbb {Z})\backslash \mathrm{SL}(2, \mathbb {R})\) (non-compact!). In Sect. 9, we shall give an example where \(T^*_X\) possesses a nilpotent frame but G is not nilpotent. For related results, see [6, 7].
2 Motivations
2.1 First motivation: Künneth formula
Our first motivation comes from the following well-known Künneth formula:
Theorem 2.1
(Künneth formula) Let \((X, g_X)\) and \((Y, g_Y)\) be two compact Riemannian manifolds. Let \((E, h_E)\), \((F, h_F)\) be Hermitian complex vector bundles over X and Y, respectively.
If E and F are flat, then we have the following formula for de Rham cohomologies:
$$\begin{aligned} H^k_d(X\times Y, E\otimes F)=\oplus _{p+q=k} H^p_d(X, E)\otimes H^q_d(Y, F); \end{aligned}$$If X, Y are complex manifolds and E, F are holomorphic vector bundles, then
$$\begin{aligned} H^{p,q}_{\overline{\partial }}(X\times Y, E\otimes F)=\oplus _{j+k=p, l+m=q} H^{j,l}_{\overline{\partial }}(X, E)\otimes H_{\overline{\partial }}^{k,m}(Y, F). \end{aligned}$$
One way to prove the above formulas is to use the Leray spectral sequence for fibrations, see [9]. Our motivation comes from the proof of using the following decomposition formulas of Laplacians:
and
More precisely, we will study the following problem:
Problem: How to generalize (2.1) and (2.2) to non-product fibrations?
Remark
One way to study the above problem is to develop the \(L^2\)-theory of the Leray spectral sequence for fibrations (see [5, 11] for related results). We know that for the spectral sequence of the double complex \((\partial , \overline{\partial })\), \(d=\partial +\overline{\partial }\), the associated \(L^2\)-theory is based on the classical Bochner–Kodaira–Nakano formula.
2.2 Second motivation: Nomizu-type theorems
Our second motivation is based on the following celebrated Nomizu’s theorem [20] proved in 1954:
Nomizu’s theorem (weak version)LetGbe a simply connected nilpotent Lie group with a discrete subgroup\(\Gamma \). Assume that\(X:=\Gamma \backslash G\)is compact and the ascending central series of the Lie algebra ofG(see Sect. 6.2for the definition) defines a torus fibration resolution ofX. Then the de Rham cohomology ofXcan be represented byG-invariant forms.
In 1976, Sakane [24] proved that the Nomizu theorem is also true for compact complex parallelisable solvmanifolds. The following theorem of Cordero–Fernández–Gray–Ugarte [9] is a generalization of Sakane’s theorem:
Cordero–Fernández–Gray–Ugarte’s theorem (weak version)LetGbe a simply connected nilpotent Lie group with a discrete subgroup\(\Gamma \). Assume that\(X:=\Gamma \backslash G\)is a compact manifold with a left invariant integrable almost complex structureJ. Assume that theJ-compatible ascending series of the Lie algebra ofG(see Sect. 6.3 for the definition) defines a holomorphic torus fibration resolution ofX. Then, the Dolbeault cohomology ofXcan be represented byG-invariant forms.
Remark
The assumption that the J-compatible ascending series of the Lie algebra of G defines a holomorphic torus fibration resolution is contained in the proof of the main theorem in [9].
In real case the ascending central series will always give a torus fibration resolution (see page 208 in [10]). Thus the following result is still true:
Nomizu’s theorem (original version)LetGbe a simply connected nilpotent Lie group with a discrete subgroup\(\Gamma \). Assume that\(X:=\Gamma \backslash G\)is compact. Then, the de Rham cohomology ofXcan be represented byG-invariant forms.
In complex case, the J-compatible ascending series may not give a torus fibration resolution (see Example 3.6 in [23] or [13]). But our main theorem implies the following result.
Cordero–Fernández–Gray–Ugarte’s theorem (strong version)LetGbe a simply connected nilpotent Lie group with a discrete subgroup\(\Gamma \). Assume that\(X:=\Gamma \backslash G\)is a compact manifold with a nilpotent complex structure (see [9], page 2, for the definition). Then, the Dolbeault cohomology ofXcan be represented byG-invariant forms. In particular, it is independent of\(\Gamma \).
The above result applies in a number of important cases.
Corollary 2.2
Let G be a simply connected nilpotent Lie group with a discrete cocompact subgroup \(\Gamma \) and left-invariant complex structure J. If G is 2-step nilpotent, then the Dolbeault cohomology of \(X = (\Gamma \backslash G,J)\) can be computed by left-invariant forms.
Proof
We only have to observe that if G is 2-step nilpotent, then every left-invariant complex structure on G is nilpotent in the above sense by [22, Prop. 3.3] so the strong version of Cordero–Fernández–Gray–Ugarte’s theorem applies. \(\square \)
A different way to generalize the weak version of Cordero–Fernández–Gray–Ugarte’s theorem was considered in [13] and like in loc. cit. we are able to settle all cases of low dimension.
Corollary 2.3
Let X be a nilmanifold of real dimension at most 6 with left-invariant complex structure. Then, the Dolbeault cohomology of X is computed by left-invariant forms.
Proof
In dimension 2 and 4, there are only tori and the Kodaira–Thurston manifold to consider, for which the result is well known.
In real dimension 6, there are only finitely many nilpotent Lie algebras and the ones admitting complex structures are classified by Salamon [25]. In [22, Proof of Thm. B] the statement was shown to hold for all complex structures on all such nilmanifolds except possibly for those with Lie algebra \(\mathfrak h_7\), in the notation of Salamon (see also [8] for the original definition). Since \(\mathfrak h_7\) is 2-step nilpotent, indeed the free 2-step nilpotent Lie algebra on 3 generators, the previous corollary applies to this remaining case. \(\square \)
3 Foliations of nilpotent type
3.1 Nilpotent foliation
Let us recall the definition of distribution first.
Definition 3.1
(Distribution) Let X be a smooth manifold. We call
a rank-rdistribution on X if for every \(x\in X\), \(\mathcal {V}_x\) is an r-dimensional real linear subspace of \(T_x X\) (space of vectors at x) and there exist smooth vector fields \(V_1, \ldots , V_r\) on an open neighborhood, say \(U_x\), of x such that
for every \(y\in U_x\). We call \(\{V_1, \ldots , V_r\}\) a local basis of \(\mathcal {V}\).
Remark
If V is a smooth vector field on X such that \(V(x)\in \mathcal {V}_x\) for every \(x\in X\), then we say that V lies in \(\mathcal {V}\) and write \(V\in \mathcal {V}\). Denote by \(C^\infty (T_X)\) the space of smooth vector fields on X. Then, one may look at a rank-r distribution as a subspace of \(C^\infty (T_X)\) that is locally generated by r linearly independent smooth vector fields.
Definition 3.2
(Integrable distribution) A distribution \(\mathcal {V}\) is said to be integrable if \([V, W]\in \mathcal {V}\), for every \(V, W\in \mathcal {V}\) (see the remark above). We call an integrable distribution a foliation on X.
Remark
It is enough to check integrability for local basis of \(\mathcal {V}\). The classical Frobenius theorem tells us that a rank-r distribution \(\mathcal {V}\) is integrable if and only if for every \(x\in X\) there exists a smooth local coordinate system, say \(\{x^1, \ldots , x^n\}\), near x such that \(\mathcal {V}\) is generated by \(\{\partial /\partial x^1, \ldots , \partial /\partial x^r\}\) near x (i.e., \(\mathcal {V}\) is tangent to the fibers of the map \((x^1, \ldots , x^n)\mapsto (x^{r+1}, \ldots , x^n)\)). Thus, a rank-r integrable distribution is equivalent to a foliation of r-dimensional local smooth manifolds.
We shall use the following lemma to define the notion of nilpotent foliation.
Lemma 3.3
Let \(\mathcal {V}\) be a distribution on X. Let \(g_X\) be a smooth Riemannian metric on X. Then
is also a distribution on X, where each \(\mathcal {V}_x^\bot \) denote the orthogonal complement of \(\mathcal {V}_x\) in \(T_xX\) with respect to \(g_X\).
Proof
Let \(\{V_1, \ldots , V_r\}\) be a local basis of \(\mathcal {V}\). Then we can extend it to a local frame, say \(\{V_1, \ldots , V_n\}\), of \(T_X\). Denote by \(V_j^\bot \), \(j>r\), the orthogonal projection of \(V_j\) to \(\mathcal {V}^\bot \). Then, we know that \(\{V_j^\bot \}_{j>r}\) generates \(\mathcal {V}^\bot \) locally. \(\square \)
Definition 3.4
(Nilpotent foliation) Let \(\mathcal {V}\) be a distribution on a Riemannian manifold \((X, g_X)\). We call \((\mathcal {V}, g_X)\) a nilpotent foliation structure on X if locally there exists an orthonormal frame \(\{V_1, \ldots , V_n\}\) of \((T_X, g_X)\) such that
- (1)
\(\{V_j\}_{j\le r}\) is a local basis of \( \mathcal {V}\) and \(\{V_j\}_{j> r}\) is a local basis of \(\mathcal {V}^\bot \);
- (2)
\([V_j, V_k]=0\) for every \(1\le j\le r\), \(1\le k\le n\).
Remark
Notice that condition (2) in the above definition implies that a nilpotent foliation is always integrable.
We shall also study nilpotent foliations on complex manifold.
Definition 3.5
(Complex nilpotent foliation) Let \(\mathcal {V}\) be a distribution on a complex manifold (X, J). Let \(g_X\) be a J-Hermitian metric on X. We call \((\mathcal {V}, J, g_X)\) a complex nilpotent foliation structure on X if locally there exists an orthonormal frame \(\{V_1, \ldots , V_n\}\) of \((T^{1,0}_X, g_X)\) such that
- (1)
\(\{V_j, \bar{V}_j\}_{j\le r}\) is a local basis of \( \mathcal {V}\) and \(\{V_j, \bar{V}_j\}_{j> r}\) is a local basis of \(\mathcal {V}^\bot \);
- (2)
\([V_j, V_k]=[V_j, \bar{V}_k]=0\) for every \(1\le j\le r\), \(1\le k\le n\).
Remark
Since \(g_X\) is J-Hermitian, a complex nilpotent foliation also satisfies \(J(\mathcal {V}^\bot )=\mathcal {V}^\bot \).
3.2 Vertical–horizontal decomposition of d
Definition 3.6
(Vertical–horizontal vector field) Let \(\mathcal {V}\) be a distribution on a Riemannian manifold \((X, g_X)\). We call \(V\in \mathcal {V}\) a vertical vector field and \(W\in \mathcal {V}^\bot \) a horizontal vector field.
We also need the dual of the notion of vertical–horizontal vector field (motivated by [4], see also formula (1.3) in [1]).
Definition 3.7
(Vertical–horizontal one-form) A differential one-form u on X is said to be horizontal (resp. vertical) if \(V\, \rfloor \, u=0\) for every vertical (resp. horizontal) vector field V on X.
Definition 3.8
(Vertical–horizontal degree) Denote by \(T^*_h\) and \(T^*_v\) the subbundles of \(T^*X\) generated by horizontal one-forms and vertical one-forms, respectively. Then, we have
We call a section of \( (\wedge ^k T^*_h) \wedge (\wedge ^l T^*_v)\) a degree (k|l)-form and say that it has horizontal degreek and vertical degreel.
The following lemma suggests to study vertical–horizontal decomposition of the exterior derivative.
Lemma 3.9
Let \(\mathcal {V}\) be a distribution on a Riemannian manifold \((X, g_X)\). Let u be a smooth degree (k|l)-form on X. Assume that \(\mathcal {V}\) is integrable. Then, we can write
where \(d^v u\) is degree \((k|l+1)\), \(d^h u\) is degree \((k+1|l)\) and \(R_d u\) is degree \((k+2| l-1)\).
Proof
Let us locally write
where \(u_v^j\) are (0|l)-forms and \(u_h^j\) are (k|0)-forms. Since \(\mathcal {V}\) is integrable, we know that \(d(u_h^j)\) has no degree \((k-1|2)\) components. Thus, du has no degree \((k-1|l+2)\) components. \(\square \)
Definition 3.10
(Atiyah tensor) Let \(\mathcal {V}\) be an integrable distribution on a Riemannian manifold \((X, g_X)\). Then, we define \(d^h\) as the (1|0)-part of d and \(d^v\) as the (0|1)-part of d. We call the following degree \((2|-1)\) tensor
the Atiyah tensor.
Remark 1
From the proof of the above Lemma, we know that the Atiyah tensor is zero if and only if \(\mathcal {V}^\bot \) is integrable. In case \(\mathcal {V}\) is associated to the Lie algebra \(\mathfrak {g}\) of a G–bundle, then cohomology class of each Lie–algebra component of the Atiyah tensor is also called the Atiyah class.
Remark 2
\(d^h, d^v\) are also well defined on the space of all smooth forms on X. The reason is we can always write a smooth form u as
where each \(u^{(k|l)}\) denotes the degree (k|l)-component of u. Then we can define
3.3 Vertical–horizontal decomposition of \(\overline{\partial }\)
Now let us consider the case that \(\mathcal {V}\) is a distribution on a complex manifold (X, J) with a J-Hermitian Riemannian metric \(g_X\) (we call \((X, J, g_X)\) a Hermitian complex manifold) such that \(J(\mathcal {V})=\mathcal {V}\). Then we have
We call smooth section of \((\wedge ^{k,l} T^*_h) \wedge (\wedge ^{j,s} T^*_v)\) a degree (k, l|j, s)-form and say that it has horizontal degree (k, l) and vertical degree (j, s). Similar as the real case, we have
Lemma 3.11
Let \(\mathcal {V}\) be an integrable distribution on a hermitian complex manifold \((X, J, g_X)\). Let u be a smooth degree (k, l|j, s)-form on X. Assume that \(J(\mathcal {V})=\mathcal {V}\). Then we can write
where \(\overline{\partial }^v u\) is degree \((k,l|j,s+1)\), \(\overline{\partial }^h u\) is degree \((k,l+1|j,s)\) and \(R_{A_1} u\) is degree \((k+1,l+1|j-1,s)\), \(R_{A_2} u\) is degree \((k,l+2|j,s-1)\) and \(R_{KS} u\) is degree \((k+1, l| j-1,s+1)\).
Definition 3.12
(Complex Atiyah Tensor and Kodaira–Spencer Tensor) Let \(\mathcal {V}\) be a J-invariant integrable distribution on a Hermitian complex manifold \((X, J, g_X)\). We define \(\overline{\partial }^h\) as the (0, 1|0, 0)-part of \(\overline{\partial }\) and \(\overline{\partial }^v\) as the (0, 0|0, 1)-part of \(\overline{\partial }\). We call
the complex Atiyah tensorand \(R_\mathrm{KS}\) the Kodaira–Spencer tensor.
Remark
In case \(\mathcal {V}\) is given by the fiber-tangent distribution of a proper holomorphic submersion, then cohomology class of each component of \(R_{KS}\) is just the well known Kodaira–Spencer class. In general, put
If \(R_{KS}\ne 0 \) then \(R_d\ne R_{\overline{\partial }} +R_{\partial }\). In fact, we have
and
In case \(\mathcal {V}\) is a complex nilpotent foliation, we can prove that
Lemma 3.13
Assume that \((\mathcal {V}, J, g_X)\) is a complex nilpotent foliation structure. Then \(R_{KS}\equiv 0\).
Proof
It suffices to show that if u is an vertical (1, 0)-form then \(\overline{\partial }u\) has no degree (1, 0|0, 1)-component. Since
it is enough to show that for every vertical (0, 1)-vector field V and horizontal (1, 0)-vector field W, the vertical (1, 0)-component of [V, W] is zero, which follows from 2) in Definition 3.5. \(\square \)
4 Vertical–horizontal decomposition of Laplacians
4.1 Fundamental theorem
The fundamental theorem in this paper is the following:
Theorem 4.1
(Real case): Let \((X, g_X)\) be an oriented Riemannian manifold with a nilpotent foliation structure (see Definition 3.4). Then on the space of smooth forms on X, we have
(Complex case): Let \((X, J, g_X)\) be a hermitian complex manifold with a complex nilpotent foliation structure (see Definition 3.5). Then, on the space of smooth forms on X, we have
Remark 1
In our proof, we shall use the following notation: if P is a differential operator on the space of smooth forms on X, then we shall write \(P^*\) as the adjoint of P and write
Recall that \(P^*\) satisfies
if u is a smooth form and v is a smooth form with compact support. Thus, \(P^*\) and \(\Box _P\) are well defined on the space of smooth forms. If P maps a degree k form to a degree \((k+p)\) form, then we say that P has degree p. If P is a degree p operator and Q is a degree q operator, then we write
Since \(d, d^v, d^h+R_d\) are degree one operators, we have
and
Thus (4.1) is equivalent to
Remark 2
Notice that if X is compact, then
for every smooth form u on X. Thus \((\Box _P +\Box _Q) u=0\) is equivalent to
which gives the following corollary:
Corollary 4.2
(Real case): Let \((X, g_X)\) be an oriented compact Riemannian manifold with a nilpotent foliation structure (see Definition 3.4). Then, a smooth form u lies in \(\ker \Box _d\) if and only if
(Complex case): Let \((X, J, g_X)\) be a hermitian compact complex manifold with a complex nilpotent foliation structure (see Definition 3.5). Then, a smooth form u lies in \(\ker \Box _{\overline{\partial }}\) if and only if
4.2 Proof of the real case
Let \((\mathcal {V}, g_X)\) be a nilpotent foliation structure on X (see Definition 3.4). Let \(\{V_j\}\) be the local frame of \((T_X, g_X)\) in Definition 3.4. Let us write
We know each \(X_k^v\) is vertical and each \(X_j^h\) is horizontal. Denote by
the dual frame of \(\{X_j^h, X_k^v\}\). By 2) in Definition 3.4 and (3.1), we have
and
where \(C_{kl}^j\) and \(D_{jl}^k\) are smooth functions. Thus we have
Lemma 4.3
The components \(R_d, d^v, d^h\) of d can be written as
Now let us finish the proof of the first identity in (4.3).
Lemma 4.4
\([d^v, R_d^*]=0\).
Proof
Since \(R_d\) is a tensor, we have
Thus \(R_d^*\) commutes with \(\varphi _v^p \wedge \). Moreover, \(d^2\varphi _v^k=0\) gives that \(d^v D_{jl}^k\equiv 0\). Thus \([d^v, R_d^*]=0\). \(\square \)
We need the following proposition to prove \([d^h, (d^v)^*]=0\).
Proposition 4.5
Denote by \(*\) the Hodge star operator on our oriented manifold \((X, g_X)\). Assume that the orientation of X is given by \(\Omega _h \wedge \Omega _v\), where
Denote by \(*_h\) (resp. \(*_v\)) the Hodge star operator with respect to \(\Omega _h\) (resp. \(\Omega _v\)) on the space of horizontal (resp. vertical) forms, respectively. Then
where \(u_h\) is a degree p horizontal form, \(u_v\) is a degree q vertical form.
Proof
Notice that
Thus (4.7) follows. \(\square \)
Lemma 4.6
Let \(u=f \,u_h\wedge u_v\) be a smooth degree (a|b) form, where \(u_h\) (resp. \(u_v\)) is a finite wedge product of \(\varphi _h^k\) (resp. \(\varphi _v^l\)) and f is a smooth function. Then
and
Proof
The main idea is to use the fact that \((d^v)^* u\) (resp. \((d^h)^*u \)) is the degree \((a|b-1)\) (resp. \((a-1|b)\)) part of \(d^* u\) and \( d^*u=(-\,1)^{n(a+b+1)+1} *d*u\). Thus, the above proposition applies. We shall only prove the first formula. By (4.7), we have
Thus
Using (4.7) again, we know that the degree \((a|b-1)\)-part of \((-1)^{n(a+b+1)+1} *d*u\) is equal to the right hand side of (4.8). \(\square \)
Remark
Since
(4.8) gives the following formula:
Lemma 4.7
\((d^v)^*=-\,\sum _{j=1}^r (X_j^v \, \rfloor \, ) \wedge (X_j^v).\)
Now we can prove the second identity in (4.3).
Lemma 4.8
\([d^h, (d^v)^*]=0\).
Proof
Notice that \(d^2\varphi _h^j=0\) gives \(d^v C_{kl}^j\equiv 0\). Thus Lemma 4.3 and the above lemma give
But by (2) in Definition 3.4, we have
Thus the lemma follows. \(\square \)
The proof of the real case is complete.
4.3 Proof of the complex case
Let \((\mathcal {V}, J, g_X)\) be a complex nilpotent foliation structure on X. Let \(\{V_j\}_{1\le j\le n}\) be the local frame of \((T^{1,0}_X, g_X)\) in Definition 3.5). Put
We know each \(X_k^v\) is vertical and each \(X_j^h\) is horizontal. Denote by
the dual frame of \(\{X_j^h, X_k^v\}\). By (2) in Definition 3.5 and (3.1), we have
and
where \(C_{kl}^j, C_{k\bar{l}}^j, D_{jl}^k\) and \( D_{j\bar{l}}^k\) are smooth functions, which gives
Lemma 4.9
The components \(\overline{\partial }^h, \overline{\partial }^v, R_{\overline{\partial }}\) can be written as
and \(R_{\overline{\partial }}=R_{KS}+R_{A_1}+R_{A_2}\) satisfies
By a similar proof as the real case, we have
and the following analogy of Lemma 4.7.
Lemma 4.10
\((\overline{\partial }^v)^*=-\,\sum _{j=1}^r (\overline{X_j^v} \, \rfloor \, ) \wedge (X_j^v).\)
Similar as the real case, the above lemma gives
We know that (4.12) and (4.13) together give
Now it suffices to prove
By Lemmas 4.10 and 4.9, we have
which gives
The proof of Theorem 4.1 is complete. \(\square \)
Remark
One may also prove the complex case of Theorem 4.1 by using vertical–horizontal decomposition of the following Demailly–Griffiths–Kähler identity (see page 306 in [12, 15] or [27] for a pure algebraic proof)
where \(\omega \) denotes the real Hermitian (1, 1)-form associated to \((g_X, J)\).
5 An example: the Kodaira–Thurston manifold
The Kodaira–Thurston surface was first found by Kodaira [17]. It is the first example [28] of complex symplectic manifold without Kähler structure. Let us recall its definition in [27]. Consider the following group structure
on \(\mathbb {R}^4\). The Kodaira–Thurston surface X is defined as the quotient manifold with respect to the left action of \(\mathbb {Z}^4\) on (notice that \(\mathbb {Z}^4\) is a discrete subgroup of G)
It is easy to see that X is a compact manifold with respect to the quotient topology. Let \((x^1, x^2, x^3, x^4)\) be the canonical coordinate system on \(\mathbb {R}^4\). We know
is a frame of the space of G-invariant (with respect to the left action of G) 1-forms on X. Let J be the almost complex structure on X such that the associated \(\wedge ^{1,0}T^{*}X\) is spanned by \(\{\varphi _h, \varphi _v\}\). Notice that
implies that J is integrable on X. One may check that
Thus
are local holomorphic coordinates on X. Now we know that the following holomorphic map from \((\mathbb {R}^4, J)\) to \(\mathbb {C}\)
defines a holomorphic submersion, say \(\pi \), from X to the torus \(\mathbb {T}:=\mathbb {C}/ \mathbb {Z}^2\). Let \(\{X^h, X^v\}\) be the global frame of \(T^{1,0}(X)\) that is dual to \(\{\varphi _h, \varphi _v\}\). Then we know that
is a holomorphic \(\pi \)-local (i.e., well defined on the \(\pi \)-inverse of a sufficiently small open set in \(\mathbb {T}\)) frame for \(T^{1,0}X\). Thus we have
Proposition 5.1
\(\pi : X\rightarrow \mathbb {T}\) is locally trivial.
Remark
Notice that (5.2) implies that the fibers of \(\pi \) defines a complex nilpotent foliation structure on \((X, J, g_X)\), where \(g_X\) is J-hermitian such that the fundamental form of \((g_X, J)\) is
We know that \(\varphi _h,\overline{\varphi _h}\) are horizontal forms and \(\varphi _v, \overline{\varphi _v}\) are vertical forms. By (5.2), we know that
is of degree \((1,1|-1,0)\). We shall use Theorem 4.1 and Corollary 4.2 to give another proof of the following well known result (see Sect. 5 in [9]).
Theorem 5.2
Denote by \(\mathcal {H}^{p,q}(\overline{\partial })\) the space of \(\overline{\partial }\)-harmonic (p, q)-forms on the Kodaira–Thurston surface \((X, J, g_X)\), we have
Proof
\(\mathcal {H}^{0,0}(\overline{\partial }) = \mathrm{Span}_{\mathbb {C}}\,\langle 1\rangle \) is trivial. By Corollary 4.2, we know that all harmonic forms in \(\mathcal {H}^{p,q}(\overline{\partial })\) lie in the kernel of \(\overline{\partial }^v\), \((\overline{\partial }^v)^*\), \(\overline{\partial }^h+R_{\overline{\partial }}\) and \((\overline{\partial }^h+R_{\overline{\partial }})^*\).
Degree (1, 0) case: Let
be in \(\mathcal {H}^{1,0}(\overline{\partial })\). Notice that \(\overline{\partial }^v u=0\) is equivalent to
and \((\overline{\partial }^h+R_{\overline{\partial }})u=0\) is equivalent to
Thus \(\overline{\partial }b =0\) and b is a constant. Notice that \(\overline{\partial }^v a=0\) and \(\overline{\partial }^h a+\frac{i}{2} b\, \overline{\varphi _h}=0\) together imply \(\frac{i}{2} b\, \overline{\varphi _h}=-\,\overline{\partial }a\) is \(\overline{\partial }\)-exact. Since \(\overline{\varphi _h}\) is not \(\overline{\partial }\)-exact, we know that \(b=0\). Thus
which gives \(\overline{\partial }a =0\) and a is a constant. Thus \(\mathcal {H}^{1,0}(\overline{\partial })= \mathrm{Span}_{\mathbb {C}}\,\langle \varphi _h\rangle \).
Degree (0, 1) case: Let
be in \(\mathcal {H}^{0,1}(\overline{\partial })\). \(\overline{\partial }^v u=(\overline{\partial }^h+R_{\overline{\partial }}) u=0\) is equivalent to
\((\overline{\partial }^v)^*u=0\) is equivalent to
Since \(\Box _{\overline{\partial }^v}=\Box _{\partial ^v}\), we know that \(\partial ^v b=0\) implies \(\overline{\partial }^v b=0\). Thus \(\overline{\partial }b=0\) and b is a constant. \((\overline{\partial }^h+R_{\overline{\partial }})^*u=0\) is equivalent to \(\partial ^h a=0\), thus \(\partial a=0\) and a is a constant.
Degree (2, 0) case: Let
be in \(\mathcal {H}^{2,0}(\overline{\partial })\). \(\overline{\partial }u=0\) is equivalent to \(\overline{\partial }a=0\), which is equivalent to that a is a constant.
Degree (1, 1) case: Let
be a harmonic (1, 1)-form. We have
Then \(\Box _{\overline{\partial }^v}u =0\) is equivalent to
Together with \(\Box _{\partial ^v}=\Box _{\overline{\partial }^v}\), the above identities give
\((\overline{\partial }^h+R_{\overline{\partial }})u=0\) is equivalent to
thus \(\overline{\partial }f=0\) and f is a constant. Since \(\overline{\partial }^v b=0\), we have
By the above computation of \(\mathcal {H}^{0,1}(\overline{\partial })\), we know that \(\overline{\varphi _h}\) is not \(\overline{\partial }\)-exact. Thus \(f=0\) and \(\overline{\partial }b=0\). Now we know that b is a constant. \((\overline{\partial }^h+R_{\overline{\partial }})^*u=0\) is equivalent to
thus \(\partial a=0\) and a is a constant. Again
gives \(a=0\) and c is a constant.
For the remaining cases, by the following well-known formula
it is enough to check that the listed forms lie in the\(\overline{\partial }\)-harmonic spaces, which follows by a direct computation. \(\square \)
5.1 Nilpotent fibrations
For the Kodaira–Thurston manifold, the complex nilpotent foliation structure comes from a holomorphic fibration. The general definition is as follows:
Definition 5.3
(Nilpotent fibration) We call a proper smooth submersion \(\pi : (X, g_X)\rightarrow (B, g_B)\) between two Riemannian manifolds a nilpotent fibration if the associated foliation \(\mathcal {V}\) of the fibers defines a nilpotent foliation structure on \((X, g_X)\) and
for every horizontal vector fields V, W on X.
Remark
Let \(V_B\) be a vector field on B, we call a vector field \(V_X\) on X a lift of \(V_B\) if
It is clear that \(V_B\) has a unique lift \(V_X\) such that \(V_X\) is horizontal. (5.3) says that the norm of a vector field on B is equal to the norm of its horizontal lift.
Definition 5.4
(Complex nilpotent fibration) We call a proper holomorphic submersion \(\pi : (X, \omega _X)\rightarrow (B, \omega _B)\) between two Hermitian complex manifolds a complex nilpotent fibration if the associated foliation \(\mathcal {V}\) of the fibers defines a complex nilpotent foliation structure on \((X, \omega _X)\) and
for every horizontal (1, 0)-vector fields V, W on X.
Theorem 4.1 gives
Theorem 5.5
On the total space of a nilpotent fibration, we have
On the total space of a complex nilpotent fibration, we have
Remark
Associated to a fibration there is a natural Leray-Serre spectral sequence, which plays a crucial role in the proof of Nomizu-type theorems. But in general a foliation does not give a good fibration structure, thus one has to use other methods. Our main idea is: with the help of Theorem 4.1, one may use the spectral sequence for double complex to continue the reduction process (as in the fibration case), in which the natural setup is a manifold with a nilpotent frame.
6 Nilpotent frame
6.1 Real case
Let X be a compact smooth manifold with trivial \(T^*_X\). Let
be a global smooth frame of \(T^*_X\). Then we have the following Maurer–Cartan equations
where \(A_{kl}^j\) are globally defined smooth functions on X. Recall that \(\Phi \) is a nilpotent frame if \(A_{kl}^j\) are real constants and the above equations reduce to
Definition 6.1
Let \(\Phi \) be a nilpotent frame. Put \(r_0=0\) and define \(r_j\) (\(j\ge 1\)) inductively by
where \(r_j:=n\) if \(U_j\) is empty. Fix k such that
we call \(\Phi \) a k-nilpotent frame. Let \(S^j\) be the subbundle of \(T^*_X\) generated by \(\{\sigma ^1,\ldots , \sigma ^{r_j}\}\). We call
the \(\Phi \)-filtration of \(T^*_X\).
Remark
We always have \(1\le k\le n\). For the Kodaira–Thurston manifold (see (5.1)), put
we have
Thus \(k=2\) and the \(\Phi \)-filtration is
Put
We get the following vertical–horizontal decomposition of the \(T^*_X\)
with respect the Riemannian metric \(\sum \sigma ^j \otimes \sigma ^j\). In general, we shall introduce the following definition
Definition 6.2
Denote by \(T^*_{v_j}\) (\(1\le j\le k\)) the subbundle of \(T^*_X\) generated by \(\{\sigma ^{r_{j-1}+1}, \ldots , \sigma ^{r_j}\}\). Put
We call
the jthvertical horizontal decomposition with respect to the following Riemannian metric
on X associated to the nilpotent frame \(\Phi \).
Remark
The first vertical horizontal decomposition of \(T^*X\) gives
where \(d^{v_1}\) (resp. \(d^{h_1})\) increases the first vertical (resp. horizontal) degree by one and \(R_d^1\) is the remaining term. In general, the jth vertical horizontal decomposition gives
Notice that the kth vertical horizontal decomposition reduces to
We shall use our fundamental theorem (see Theorem 4.1) to prove the following result.
Theorem 6.3
With respect to the notation above, we have
on the space of smooth forms on X. Moreover, if \(k\ge 2\) then for every \(2\le j \le k\), we have
on the space of smooth forms in \(\ker \Box _{d^{v_1}} \cap \cdots \cap \ker \Box _{d^{v_{j-1}}}\).
Proof
Denote by \(\{T^{h_j}, T^{v_k}\}\) the subbundles of \(T_X\) that are dual to \(\{T^*_{h_j}, T^*_{v_k}\}\). From Definition 6.1, we know that the distribution \(\mathcal {V}^1\) associated to \(T^{v_1}\) is integrable and \(\mathcal {V}^1\) defines a nilpotent foliation with respect to the Riemannian metric \(g_X\) in (6.3). Thus Theorem 4.1 gives (6.4).
Now let us prove (6.5) for \(j=2\). Let us write a smooth form u on X as
where \(\{u_{h_1}^p\}\) (resp. \(\{u_{v_1}^q\}\)) denotes a basis of the exterior algebra generated by \(\{\sigma ^{r_1+1}, \ldots , \sigma ^{n}\}\) (resp. \(\{\sigma ^1, \ldots , \sigma ^{r_1}\}\)), respectively. Denote by \(\{V_l\}\) the frame of \(T_X\) that is dual to \(\{\sigma ^l\}\). Put
By Lemmas 4.3 and 4.10, we have
which gives
Thus \(\Box _{d^{v_1}} u=0\) is equivalent to
for all p, q. Since \(f_{p,q}\) are globally defined smooth functions on X, we know that \(\Box _{d^{v_1}} f_{p,q}\equiv 0\) is equivalent to that \(d^{v_1} f_{p,q}\equiv 0\). Thus we get the following lemma.
Lemma 6.4
\(\Box _{d^{v_1}} u=0\) is equivalent to that all \( f_{p,q}\) are constants on leaves of \(\mathcal {V}^1\).
By the above lemma and Definition 6.1, we know that the distribution \(\mathcal {V}^2\) associated to \(T^{v_2}\) is integrable on the space of smooth forms in \(\ker \Box _{d^{v_1}}\). Moreover, on the space of smooth forms in \(\ker \Box _{d^{v_1}}\), \(\mathcal {V}^2\) defines a nilpotent foliation with respect to the following decomposition
Thus the proof of Theorem 4.1 gives (6.5) for \(j=2\). The general case follows by induction on j. \(\square \)
6.2 Complex case
Let X be a compact complex manifold with smoothly trivial holomorphic cotangent bundle \(\wedge ^{1,0}T^*_X\). Let
be a global smooth frame of \(\wedge ^{1,0}T^*_X\). Recall that \(\Psi \) is a complex nilpotent frame if
where \(B_{kl}^j\) and \(B_{k\bar{l}}^j\) are complex constants.
Definition 6.5
Let \(\Psi \) be a complex nilpotent frame. Put \(r_0=0\) and define \(r_j\) (\(j\ge 1\)) inductively by
where \(r_j:=n\) if \(U_j\) is empty. Fix k such that
we call \(\Psi \) a complex k-nilpotent frame. Let \(S^j\) be the subbundle of \(\wedge ^{1,0}T^*_X\) generated by \(\{\xi ^1,\ldots , \xi ^{r_j}\}\). We call
the \(\Psi \)-filtration of \(\wedge ^{1,0}T^*_X\).
Similar as the real case, we have
Definition 6.6
Denote by \(T^*_{v_j}\) (\(1\le j\le k\)) the (smooth, may not be holomorphic) subbundle of \(\wedge ^{1,0} T^*_X\) generated by \(\{\xi ^{r_{j-1}+1}, \ldots , \xi ^{r_j}\}\). Put
We call
the jth vertical horizontal decomposition with respect to the following Hermitian form
on X associated to the complex nilpotent frame \(\Psi \).
Remark
The first vertical horizontal decomposition of \(T^*X\) gives
where \(\overline{\partial }^{v_1}\) (resp. \(\overline{\partial }^{h_1})\) increases the first vertical (resp. horizontal) degree by (0, 1) and \(R_{\overline{\partial }}^1\) is the remaining term. In general, the jth vertical horizontal decomposition gives
Notice that the kth vertical horizontal decomposition reduces to
Similar as the real case, Theorem 4.1 implies the following result.
Theorem 6.7
With respect to the notation above, we have
on the space of smooth forms on X. Moreover, if \(k\ge 2\) then for every \(2\le j \le k\), we have
on the space of smooth forms in \(\ker \Box _{\overline{\partial }^{v_1}} \cap \cdots \cap \ker \Box _{\overline{\partial }^{v_{j-1}}}\).
7 Proof of the main theorem
7.1 Cohomology description of Theorem 4.1
Let X be a compact smooth manifold. By the de Rham theorem, we have the following isomorphism
where \(H_d^{\star }\) denotes the de Rham cohomology group of X, \(\mathcal {A}^*\) denotes the space of smooth forms on X. With the assumption in Theorem 4.1 (real case), every \(u\in \mathcal {A}^*\) must satisfies
which gives, by Lemma 6.4, that all coefficients of u are constants on leaves of \(\mathcal {V}\). Denote by \(\mathcal {A}_1^*\) the space of smooth forms on X whose coefficients are constants on leaves of \(\mathcal {V}\), the usual d operator reduces to \(d^h+R_d\) on \(\mathcal {A}_1^*\), which suggests to look at the following cohomology (notice that \((d^h+R_d)^2=0\) on \(\mathcal {A}_1^*\), since the coefficients of \(R_d\) are constants on leaves of \(\mathcal {V}\))
A representative of a class in \(H_{d^h+R_d}^*\) is minimal if and only if it lies in \(\ker \Box _{d^h+R_d}\). Thus Theorem 4.1 implies that
A similar argument also works in the complex case, to summarize, we get
Theorem 7.1
Theorem 4.1 (real case) implies
Theorem 4.1 (real case) implies
Remark
In the setting of Theorems 6.7 and 6.3, one may continue to get a sequence of isomorphisms. In fact, with the notation in Theorem 6.3, denote by \(\mathcal {V}^j\) (\(1\le j \le k\)) the distribution associated to \(T^{v_1}\oplus \cdots \oplus T^{v_j}\), let \(\mathcal {A}_j^*\) be the space of smooth forms on X whose coefficients are constants on leaves of \(\mathcal {V}^j\), then one may verify that
Put
we have
Theorem 7.2
Theorem 6.3 implies
Theorem 6.7 implies
Remark
In the proper fibration case, the above theorem is essentially equivalent to the use of the \(E_2\) term in the Leray–Serre spectral sequence.
In order to apply the above theorem, one has to study the relation between \(H_{d^{h_j}+R^j_d}^*\) and \(H_{d^{h_j}}^*\); in the next section, we shall prove that, with respect to the spectral sequence of the double complex \(d^{h_j}+R^j_d\), the \(E_2\) term is equal to \(H_{d^{h_j}}^*\) and the \(E_\infty \) term is \(H_{d^{h_j}+R^j_d}^*\).
7.2 Spectral sequence for double complex
We shall use the notation in [14]. We look at the complex
denote its kernel by Z, image by B and put
With the notation in [14], we denote by \(^p T\) as the space of forms in \(\mathcal {A}_j^*\) whose jth horizontal degree is no less than p. By Definition 6.1, the maximal jth horizontal degree is \(n-r_j\), thus we have
Denote by \(T^m\) the space of degree-m forms in \(\mathcal {A}_j^*\). We have
Put
we know that \(^p T^m\) is the space of degree-m forms in \(\mathcal {A}_j^*\) whose horizontal degree is no less that p. One may easily verify the following compatibility conditions in [14]
In fact, notice that \(d^{h_j} \, ^p T \subset \, ^{p+1} T\) and \(R^j_d \, ^p T \subset \, ^{p+2} T\), the following stronger compatibility condition holds
Moreover, we shall introduce
The fundamental definition is the following
Definition 7.3
(Spectral sequence of a filtered complex [14]) The modules of spectral sequence are
where
One may verify that \(d^{h_j}+R^j_d\) induces the following \(d_r\) complex
As general properties of the spectral sequence, we have
Proposition 7.4
The associated \(d_r\) cohomology gives the \(E_{r+1}\) term, more precisely
Moreover, we have
Remark
For the double complex \(d=\partial +\overline{\partial }\) (also called Frölicher spectral sequence), it is well known that [14]
In our case, we obtain the following
Lemma 7.5
\(\oplus _{p+q= m}E_2^{p,q}\simeq H_{d^{h_j}}^{m}\).
Proof
Recall that
Let us write \(u\in \, ^pT^m\) as
where \(u^{\alpha |\beta }\) denotes the component of u with horizontal degree \(\alpha \) and vertical degree \(\beta \). Notice that \((d^{h_j}+R^j_d) u\) has no horizontal degree \(p+1\) component if and only if
Thus u lies in \(^pT^{p+q}_2\) if and only if \(d^{h_j} u^{p|m-p}=0\). A similar discussion gives that u lies in \(^pT^{p+q}_{1}+\, ^pB^{p+q}_{1}\) if and only if \(u^{p|m-p}\in \mathrm{Im}\, d^{h_j}\). Thus the (p|q)-component of \(H_{d^{h_j}}^{m}\) is isomorphic to \(E_2^{p,q}\). Hence the lemma follows. \(\square \)
7.3 The final proof
Let us introduce the following notation: let D be a complex on \(\mathcal {A}_j^*\), denote its associated cohomology by \(H^*_{D}\). Recall that \(\mathcal {A}_j^*\) means the space of smooth forms on X whose coefficients are constants on leaves of \(\mathcal {V}^j\), in particular
is the finite dimensional real vector space spanned by wedge products of the frame \(\Phi \). Assume that D maps \(A^*\) to itself. Put
we say that \(H^*_{D}\) is simple if it reduces to \(H^*_{D, \Phi } \), i.e.,
The real case of our main theorem is of course equivalent to that \(H_d^*\) is simple. By Theorem 7.2, \(H_d^*\) is simple if and only if \(H_{d^{h_1}+R^1_{d}}^*\) is simple. Now let us look at the double complex \((d^{h_1}, R^1_{d})\), by Lemma 7.5, its \(E_2\) term is \(H^*_{d^{h_1}}\). Thus in order to prove that \(H_{d^{h_1}+R^1_{d}}^*\) is simple, it suffices to show that \(H^*_{d^{h_1}}\) is simple. Apply Theorem 7.2 again, we know that \(H^*_{d^{h_1}}\) is simple if and only if \(H_{d^{h_2}+R^2_{d}}^*\) is simple. Now again Lemma 7.5 ensures that it is enough to prove simplicity of \(H_{d^{h_2}}^*\). Repeat the above argument, we know it suffices to show that \( H_{d^{h_k}}^* \) is simple, which holds trivially since \(\mathcal {A}_k^*=A^*\). The complex case follows by a similar argument.
Remark
Notice that the Lie algebra cohomology \(H_{d, \Phi }^*\) has the following “harmonic” representative
Since
our main theorem actually also gives a formula for the following d-harmonic space
A more careful study of \(\mathcal {H}_{d, \Phi }^*\) will be given in Sect. 8.
7.4 Proof of the strong version of Cordero–Fernández–Gray–Ugarte’s theorem
Let us choose an appropriate basis of left-invariant vector fields for the nilpotent Lie group and a left-invariant metric making this a global orthonormal frame. Then we know that our main theorem applies.
Remark
The above argument also applies to the original version of Nomizu’s theorem.
8 An explicit version of our main theorem
In case \(k=2\), the remark at the end of Sect. 7.3 gives
The above formula can also be proved using the \(E_3\) term of the spectral sequence of the double complex \((d^{h_1}, R_d^1)\). In fact, by Lemma 7.5, we know that the \(E_3\) term is defined by the following complex
The key point here is that both \(R_d^1\) and its adjoint send \(A^*\) to itself, from which we know that the above spectral sequence degenerates at \(E_3\).
Example 1
By the example in Sect. 5, if X is the Kodaira–Thurston manifold, then \(k=2\) and
The complex version of (8.1) gives
Example 2
Let \(\mathfrak {g}\) be the 3-dimensional 2-step complex nilpotent Lie algebra admitting a complex (1, 0)-coframe \(\{\xi ^1,\xi ^2,\xi ^3\}\) satisfying
where D is a complex parameter having non-negative imaginary part. Let G be the simply connected Lie group having \(\mathfrak {g}\) as Lie algebra. Let X be any compact quotient of G. Then, \(k=2\), the decomposition of \(\wedge ^{1,0}T^*_X\) into vertical and horizontal subbundles is given by
and
where \(\{\xi _1,\xi _2,\xi _3\}\) satisfies \(\xi ^r(\xi _s)=\delta ^r_s\). Also in this case, the complex version of (8.1) gives
For general k, we shall introduce the following:
Definition 8.1
With the notation in our main theorem. In the real case, the nilpotent frame \(\Phi \) is said to be admissible if \(k\ge 2\) or
when \(k\ge 3\). In the complex case, the nilpotent frame \(\Psi \) is said to be admissible if \(k\ge 2\) or
when \(k\ge 3\).
We obtain the following result:
Theorem 8.2
With the assumptions in our main theorem. Assume further that the associated frame is admissible. Then:
- (1)
In the real case, we have
$$\begin{aligned} \mathcal {H}_d^{\star } = \{u\in A^{\star }: R_d^j u= (R_d^j)^* u=0, \ \forall \ 1\le j\le k-1\}. \end{aligned}$$ - (2)
In the complex case, we have
$$\begin{aligned} \mathcal {H}_{\overline{\partial }}^{\star , \star } = \{u\in A^{\star , \star }: R_{\overline{\partial }}^j u= (R_{\overline{\partial }}^j)^* u=0, \ \forall \ 1\le j\le k-1\}. \end{aligned}$$
Proof
Notice that
implies (notice that \(\mathcal {H}^*_{d^{h_{k-2}}}=\ker \Box _{R_d^{k-1}}\))
from which we know that the following complex
is also well defined on the corresponding harmonic space \(\mathcal {H}^*_{d^{h_{k-2}}}\). Thus the spectral sequence \((d^{h_{k-2}},R_d^{k-2})\) degenerates at \(E_3\) and
which is equivalent to
Repeating the above argument gives the proof of the real case, the complex case follows by a similar argument. \(\square \)
Remark
Not all nilpotent frames are admissible, we shall give a counterexample in the next section.
9 Further examples
9.1 A nilmanifold not satisfying Theorem 8.2
Let \(\mathfrak {h}_7\) be the real 6-dimensional nilpotent Lie algebra with basis \(\{e_1,\ldots , e_6\}\) such that
the other brackets vanishing. Then, denoting by \(\{e^1,\ldots , e^6\}\) the dual basis of \(\{e_1,\ldots , e_6\}\), we obtain the following structure equations
Then, the simply connected Lie group \(H_7\) whose Lie algebra is \(\mathfrak {h}_7\) admits compact quotients \(M=\Gamma \backslash H_7\). Define an almost complex structure \(J_0\) on M by the following complex (1, 0)-coframe
Then
that is \(J_0\) is in fact integrable and by Ugarte [29] (see also [23]) any other complex structure on M is equivalent to \(J_0\). Set
Then,
and \(k=3\). The decomposition of \(\wedge ^{1,0}T^*_M\) into vertical and horizontal subbundles reads as
A direct computation taking into account (9.1) gives
where \(\{\xi _1,\xi _2,\xi _3\}\) satisfies \(\xi ^r(\xi _s)=\delta ^r_s\).
Theorem 9.1
The Dolbeault cohomology group of \(\Gamma \backslash H_7\) satisfies
where \(\xi ^{i\bar{j}}:=\xi ^i\wedge \overline{\xi ^j}\). In particular, \(\mathcal {H}^{1,1}_{\overline{\partial }}\) does not satisfy Theorem 8.2.
Proof
Let
be a harmonic (1, 1)-form. By our main theorem, one may assume that all the above coefficients are constants. Then, u is harmonic if and only if
which gives (9.2). Notice that \(\mathcal {H}^{1,1}_{\overline{\partial }}\) satisfies Theorem 8.2 if and only if
But obviously
thus \(\mathcal {H}^{1,1}_{\overline{\partial }}\) does not satisfy Theorem 8.2. \(\square \)
9.2 Nilpotent frame in a non-nilpotent Lie group
Let us look at the following example from [16].
Example
Consider the following group structure
on \(\mathbb {R}\times \mathbb {C}\). Then we know that
is a Lie group. It is clear that
is a discrete subgroup of G such that the quotient space (with respect to the left action)
is a compact smooth manifold. It is clear that
are G-invariant with respect to the left action of G. Put
we know that \(\{e^1, e^2, e^3\}\) is a basis of the dual Lie algebra \(\mathfrak {g}^*\) of G. Notice that if \(z=x+iy\) then
and
Thus
which gives
Thus \(\mathfrak {g}\) is solvable but not nilpotent. But notice that
give a smooth frame of \(T^*_X\) such that
Thus
is a nilpotent frame of X and our main theorem implies that the de Rham cohomology of X is isomorphic to the exterior algebra generated by \(\Phi \) (in fact it is easy to see that X is diffeomorphic to a real torus).
References
Alvarez López, J.A.: A finiteness theorem for the spectral sequence of a Riemannian foliation. Ill. J. Math. 33, 79–92 (1989)
Alvarez López, J.A.: A decomposition theorem for the spectral sequence of Lie foliations. Trans. Am. Math. Soc. 329, 173–184 (1992)
Alvarez López, J.A., Tondeur, P.: Hodge decomposition along the leaves of a Riemannian foliation. J. Funct. Anal. 99, 443–458 (1991)
Berndtsson, B., Păun, M., Wang, X.: Algebraic fiber spaces and curvature of higher direct images. arXiv:1704.02279
Blanchard, A.: Sur les variétés analytiques complexes. Ann. Sci. Ecole Norm. Sup. 73, 157–202 (1956)
Console, S., Fino, A.: On the de Rham cohomology of solvmanifolds. Ann. Scuola Norm. Sup. 10, 801–818 (2011)
Console, S., Fino, A., Kasuya, H.: On de Rham and Dolbeault cohomology of solvmanifolds. Transf. Groups 21, 653–680 (2016)
Cordero, L.A., Fernández, M., Gray, A., Ugarte, L.: Nilpotent complex structures on compact nilmanifolds. Rend. Circ. Mat. Palermo 49, 83–100 (1997)
Cordero, L.A., Fernández, M., Gray, A., Ugarte, L.: Compact nilmanifolds with nilpotent complex structures: Dolbeault cohomology. Trans. Am. Math. Soc. 352, 5405–5433 (2000)
Corwin, L.J., Greenleaf, F.P.: Representations of nilpotent Lie groups and their applications. Part I. In: Cambridge Studies in Advanced Mathematics, vol. 18, Cambridge University Press, Cambridge (1990)
Deligne, P.: Théorème de Lefschetz et critères de dégénérescence de suites spectrales. Publ. Math. l’Inst. Ht. Ét. Sci. 35, 107–126 (1968)
Demailly, J.P.: Complex analytic and differential geometry. Université de Grenoble I Institut Fourier, Demailly’s homepage
Fino, A., Rollenske, S., Ruppenthal, J.: Dolbeault cohomology of complex nilmanifolds foliated in toroidal groups. arXiv:1808.08090 [math.DG]
Frölicher, A.: Relations between the cohomology groups of Dolbeault and topological invariants. Proc. Natl. Acad. Sci. USA 41, 641–644 (1955)
Griffiths, P.A.: The extension problem in complex analysis II; embeddings with positive normal bundle. Am. J. Math. 88, 366–446 (1966)
Kasuya, H.: An extention of Nomizu’s theorem—a user’s guide. In: Complex Manifolds, pp. 231–238 (2016)
Kodaira, K.: On the structure of compact complex analytic surfaces. I. Am. J. Math. 86, 751–798 (1964)
Kordyukov, Y.A.: Adiabatic limits and spectral geometry of foliations. Math. Ann. 313, 763–783 (1999)
Kamber, F.W., Tondeur, P.: de Rham-Hodge theory for Riemannian foliations. Math. Ann. 277, 415–431 (1987)
Nomizu, K.: On the cohomology of compact homogeneous spaces of nilpotent Lie groups. Ann. Math. 59, 531–538 (1954)
Reinhart, B.L.: Harmonic integrals on foliated manifolds. Am. J. Math. 81, 529–536 (1959)
Rollenske, S.: Geometry of nilmanifolds with left-invariant complex structure and deformations in the large. Proc. Lond. Math. Soc. 99(2), 425–460 (2009)
Rollenske, S.: Dolbeault cohomology of nilmanifolds with left-invariant complex structure. In: Complex and Differential Geometry, Springer Proceedings in Mathematics, vol. 8, Springer, Heidelberg, pp. 369–392 (2011)
Sakane, Y.: On compact complex parallelisable solvmanifolds. Osaka J. Math. 13, 187–212 (1976)
Salamon, S.M.: Complex structures on nilpotent Lie algebras. J. Pure Appl. Algebra 157(2–3), 311–333 (2001)
Takagi, R., Yorozu, S.: Notes on the Laplace-Beltrami operator on a foliated Riemannian manifold with a bundle-like metric. Nih. Math. J. 1, 89–106 (1990)
Tomassini, A., Wang, X.: Some results on the Hard Lefschetz condition. Int. J. Math. 29, 1850095 (2018). (30 pp.)
Thurston, W.P.: Some simple examples of symplectic manifolds. Proc. Am. Math. Soc. 55, 467–468 (1976)
Ugarte, L.: Hermitian structures on six-dimensional nilmanifolds. Transf. Groups 12, 175–202 (2007)
Acknowledgements
Xu Wang would like to thank B. Berndtsson, J.P. Demailly and N. Mok for several useful discussions about the topics of this paper. Sönke Rollenske is grateful to the other authors for the invitation to join the project at a relatively late stage. He is also grateful to A. Fino and J. Ruppenthal for many discussions about the Dolbeault cohomology of nilmanifolds that culminated in the paper [13]. We are also pleased to thank the anonymous referee for valuable remarks and suggestions for a better presentation of our results.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work is partially supported by the Project PRIN “Varietà reali e complesse: geometria, topologia e analisi armonica”, the Project PRIN “Real and Complex Manifolds: Topology, Geometry and holomorphic dynamics” and by GNSAGA of INdAM.
Rights and permissions
About this article
Cite this article
Rollenske, S., Tomassini, A. & Wang, X. Vertical–horizontal decomposition of Laplacians and cohomologies of manifolds with trivial tangent bundles. Annali di Matematica 199, 833–862 (2020). https://doi.org/10.1007/s10231-019-00903-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-019-00903-3
Keywords
- Künneth formula
- Horizontal lift
- Vertical form
- Laplacian
- Nilpotent foliation
- Torus fibration
- Nomizu-type theorem
- Nilpotent group