Abstract
We develop computational techniques which allow us to calculate the Kodaira dimension as well as the dimension of spaces of Dolbeault harmonic forms for left-invariant almost complex structures on the generalised Kodaira–Thurston manifolds.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given an almost complex manifold (M, J) of real dimension 2n, the exterior derivative on (p, q)-forms decomposes as
According to the Newlander-Nirenberg Theorem, J is integrable, i.e., it is induced by the structure of a complex manifold, if and only if \(\mu =0\), or equivalently \({\overline{\partial }}^2=0\).
Fixing an almost Hermitian metric g and denoting by \(*:A^{p,q}\rightarrow A^{n-q,n-p}\) the \(\mathbb {C}\)-linear Hodge star operator, the \(L^2\)-formal adjoint of \({\overline{\partial }}\) is given by \({\overline{\partial }}^*:=-*{{\partial }}*\). Therefore, one can define the Dolbeault Laplacian as in the integrable case, as the second order elliptic and formally self adjoint differential operator acting on the space \(A^{p,q}\) of (p, q)-forms on (M, J) as
By theory of elliptic operators, if M is compact, then the space of Dolbeault harmonic (p, q)-forms \(\mathcal {H}^{p,q}_{\overline{\partial }}:=\ker \Delta _{\overline{\partial }}\cap A^{p,q}\) has finite dimension \(h^{p,q}_{\overline{\partial }}\), and if moreover J is integrable, then \(\mathcal {H}^{p,q}_{\overline{\partial }}\) is isomorphic to the Dolbeault cohomology group \(H^{p,q}_{\overline{\partial }}:=\frac{\ker {\overline{\partial }}}{{\text {im}}{\overline{\partial }}}\), which is an invariant of the complex structure.
In Problem 20 of Hirzebruch’s 1954 Problem List [11], Kodaira and Spencer asked if the number \(h^{p,q}_{\overline{\partial }}\) is independent on the choice of the almost Hermitian metric g. The first author and Zhang just recently gave a negative answer to this problem [14, 15], building a family of almost complex structures on the 4-dimensional Kodaira–Thurston manifold, namely the product between the circle \(S^1\) and the compact quotient \(H_{3}(\mathbb {Z})\backslash H_{3}(\mathbb {R})\) of the Heisenberg group, showing that \(h^{0,1}_{\overline{\partial }}\) varies with different choices of the almost Hermitian metric. We refer to [12, 13, 20, 21, 24] for further studies of Dolbeault harmonic forms on almost Hermitian manifolds. We remark that, at the current state of the art, the only known example of a non integrable almost Hermitian structure where it is possible to compute \(h^{p,q}_{\overline{\partial }}\) completely for all \(0\le p,q\le n\) is just the 4-dimensional Kodaira–Thurston manifold. Furthermore, to our knowledge there are no known higher dimensional examples where one can actually compute \(h^{p,q}_{\overline{\partial }}\) except for the \(q=0\) case, where the computation does not involve the metric [23].
A related invariant of almost complex manifolds, recently introduced in [7, 8] by Chen and Zhang, is the Kodaira dimension of almost complex manifolds, which extends the well known notion for complex manifolds. We point out that all the known examples of compact solvmanifolds endowed with a left-invariant almost complex structure have Kodaira dimension 0 or \(-\infty \) (see [4,5,6,7]).
The aim of this paper is to develop computational techniques to calculate the Kodaira dimension \(\kappa _J\) and the numbers \(h^{p,q}_{\overline{\partial }}\) on the generalised Kodaira–Thurston manifolds
where \(H_{2n+1}(\mathbb {R})\) denotes the generalised Heisenberg group (see, e.g., [3, p. 24]), endowed with natural almost complex and almost Hermitian structures. Note that for \(n=1\), \(KT^4\) is the 4-dimensional Kodaira–Thurston manifold.
In Section 4 we prove the following (see Theorem 4.1)
Theorem
On the \((2n+2)\)-dimensional Kodaira–Thurston manifold \(KT^{2n+2}\) endowed with any left-invariant almost complex structure J, there are only two possible values for the Kodaira dimension: 0 or \(-\infty \).
We are able to compute the Kodaira dimension thanks to the characterisation of \(L^2\) functions on \(KT^{2n+2}\) via the regular representation of the Heisenberg group \(H_{2n+1}(\mathbb {R})\) (see [1]). If a similar characterisation of \(L^2\) functions can be found for other solvmanifolds (endowed with left-invariant almost complex structures), then the same argument could be applied to determine the Kodaira dimension for these manifolds also.
In Sections 6 and 7, we calculate \(h^{0,1}_{\overline{\partial }}\) for a family of left-invariant almost Hermitian structures on \(KT^4\) and \(KT^{6}\), respectively. To do so, we make use of a description of the eigenfunctions of the Hodge-de Rham Laplacian on \(KT^{2n+2}\) using Hermite polynomials (see [9]). Note that this method has technical differences with the one used in [14] on \(KT^4\) to answer the Kodaira–Spencer question. Specifically, in [14] linear PDE systems on \(KT^{4}\) are transformed into ODE systems, which are then solved using a Laplace transform. Note that this technique only works for the 4-dimensional Kodaira–Thurston manifold. Conversely, in this paper we transform linear PDE systems on \(KT^{2n+2}\) into a system of recurrence relations which can be solved directly.
In Section 6, this allows us to solve the original problem from [14] using a much simpler method. Specifically, given a family of left invariant almost complex structures on \(KT^4\) we obtain the same values of \(h^{0,1}_{{\overline{\partial }}}\) as in [14].
In Section 7 we endow \(KT^{6}\) with a family of left invariant almost complex structures \(J_{a,b,c}\), with \(a,b,c\in \mathbb {R}\setminus \{0\}\), and prove the following (see Theorem 7.1)
Theorem
For any choice of a left invariant almost Hermitian metric g on the almost complex manifold \((KT^6,J_{a,b,c})\), the space \(\mathcal {H}^{0,1}_{{\overline{\partial }}}\) is given by left invariant forms only. If \(ab\ne 1\), i.e., \(J_{a,b,c}\) is not integrable, then \(h^{0,1}_{{\overline{\partial }}}=2\). If \(ab=1\), i.e., \(J_{a,b,c}\) is integrable, then \(h^{0,1}_{{\overline{\partial }}}=3\).
We refer to [16] for another study of the eigenfunctions of the Hodge-de Rham Laplacian on the generalised Heisenberg group, and to [17] for the issue of Hodge decomposition for the Hodge Laplacian on functions and on differential forms on the same manifold.
2 Representation theory
Let X be a smooth homogeneous space, in other words, for some Lie group G, X is given by the space of cosets of a closed Lie subgroup \(\Gamma \subset G\)
The (right) regular representation of G is defined on \(L^2(X)\) with the right Haar measure by
where \(r_g\) is the right multiplication function, i.e., \(r_g: h \mapsto hg\) for all \(g,h \in G\). Note that \(r_g\) is also well-defined as a map on X, sending left cosets to left cosets,
We shall assume that the right Haar measure coincides with the left Haar measure, i.e., G is unimodular. In this case the Haar measure descends to a measure on X and thus the regular representation on \(L^2(G)\) induces a unitary representation on \(L^2(X)\)
which we will also call the regular representation. Nilpotent groups provide an excellent family of groups which are all unimodular [18, Corollary of Prop. 25]. Indeed the Kodaira–Thurston manifolds we shall consider later are all given by the quotient of some nilpotent groups.
A decomposition of \(L^2(X)\) into closed subspaces \(\mathcal {S}_I\),
is called a decomposition of the regular representation if each of the spaces \(\mathcal {S}_I\) is preserved by R(g) for all \(g \in G\). Here \(\hat{\oplus }\) denotes the closure of the direct sum.
Let \(\mathfrak {g}\) be the Lie algebra of G with a basis given by the vectors \(\nu _1, \dots , \nu _n \in {\mathfrak {g}}\). Extending \(\nu _j\) left-invariantly to the whole of G, there is a well-defined pushforward to a vector field on X, which we also call \(\nu _j\). We will call any vector field on X defined in this way left-invariant. Interpreting \(\nu _j\) as a directional derivative on X, we say that a linear differential operator P on X is left-invariant if it can be written in the form
where \(\alpha = (\alpha _1, \dots , \alpha _n)\) is a multi-index, \(|\alpha |=\alpha _1+\dots +\alpha _n\), \(c_\alpha \in \mathbb {C}\) is a family of constants, and we define \(D^{\alpha }\) to be the differential operator \(\nu _1^{\alpha _1}\nu _{2}^{\alpha _2} \dots \nu _n^{\alpha _n}\).
Any decomposition of the regular representation (1) also gives us a decomposition of all left-invariant differential operators. This should not be surprising as the directional derivative given by any \(\nu \in {\mathfrak {g}}\) is also given by the differential of the regular representation
For the convenience of the reader, we provide a simple proof of the relevant results below. For a more general discussion of the properties of the differential of a representation, we direct the reader to [2].
Theorem 2.1
If \(\mathcal {S}\) is a closed subspace of \(L^2(X)\) preserved by the right regular representation then \(\mathcal {S} \cap C^{\infty }\) is preserved by left-invariant vector fields.
Proof
An element of the Lie algebra \(\nu \in {\mathfrak {g}}\) can be given as the tangent to some curve \(\gamma (t)\) on G, passing through the identity at \(t = 0\). The corresponding vector field on X is then given at a general point \(\Gamma g \in X\) as the tangent to the curve \(\Gamma g \gamma (t)\).
Applying \(\nu \) to a smooth function \(f \in \mathcal {S} \cap C^{\infty }\) gives us the directional derivative
Since \(\mathcal {S}\) is preserved by R, we know have
for all \(t >0\). But \(\mathcal {S}\) is closed and so we must have \(Vf \in \mathcal {S}\). \(\square \)
Corollary 2.2
Let P be a left-invariant linear differential operator on \(X = \Gamma \backslash G\), and let \(f \in C^{\infty }(X)\) be a smooth function which can be decomposed, with respect to the regular representation, into the sum
with \(f_I \in \mathcal {S}_I \cap C^{\infty }\).
If f is a solution to the differential equation
then the functions \(f_I\) are also solutions, for all \(I \in \mathcal {I}\).
Proof
Decomposing the equation \(Pf = 0\) we get
Since the spaces \(\mathcal {S}_I\) are all closed subspaces of \(L^{2}(X)\), by Theorem 2.1 we can say that \(P f_I \in S_I\). Furthermore, the spaces \(\mathcal {S}_I\) are all mutually orthogonal and so \(P f = 0\) if and only if each of its components are zero, i.e. \(P f_I = 0\). \(\square \)
3 The Kodaira–Thurston manifold
The \(2n+2\)-dimensional Kodaira–Thurston manifold \(KT^{2n+2}\) is a homogeneous space given by
where \(H_{2n+1}(\mathbb {R})\) denotes the Heisenberg group
and \(H_{2n+1}(\mathbb {Z})\) denotes the discrete subgroup, with \(x,y \in \mathbb {Z}^n\), \(z \in \mathbb {Z}\). Here \(I_n\) is the \(n\times n\) identity and \(0_n\) is the zero vector \((0,\dots , 0) \in \mathbb {R}^n\).
The tangent bundle of \(KT^{2n+2}\) is spanned at every point by the left-invariant vectors
where the variables x, y, z parametrise the Heisenberg group \(H_{2n+1}({\mathbb {R}})\) as described above, and t parametrises \(\mathbb {R}\).
The cotangent bundle of \(KT^{2n+2}\) is spanned at every point by the dual left-invariant 1-forms
where the only non zero structure equation is
The regular representation of \(H_{2n+1}(\mathbb {R})\times \mathbb {R}\) on \(L^2(KT^{2n+2})\) has an irreducible decomposition, described by
where the the first sum is taken over all \(I = (p,q,l)\) such that \( p,q \in \mathbb {Z}^n, l\in \mathbb {Z}\) and the second sum is taken over all \(J = (q,m,l)\) such that \( m \in \mathbb {Z}\backslash \{0\}, q \in (\mathbb {Z}/m)^n, l\in \mathbb {Z}\). In (2) \(\mathcal {S}_{I}\) is a 1 dimensional space spanned by a single function
and \(\mathcal {T}_{J}\) is an infinite dimensional space given by
See [1, Section I.5] for a decomposition of the regular representation of \(H_{2n+1}(\mathbb R)\) acting on \(L^2(H_{2n+1}(\mathbb Z) \backslash H_{2n+1}(\mathbb {R}))\), from which the above decomposition is easily obtained.
We define the map
in the natural way. This is a generalised version of the Weil-Brezin map on the Heisenberg manifold. Using \(W_J \psi \) to denote a general element of \(\mathcal {T}_J\), if we have \(W_J \psi \in C^{\infty }(KT^{2n+2})\) then by classical Fourier analysis \(\psi \in C^{\infty }(\mathbb {R}^n)\) and the sum over \(\xi \in \mathbb {Z}^n\) is absolutely convergent. We can then write
This shows us that \(W_J \psi \) is smooth if and only if the Weil-Brezin map
converges for all multi-indexes \(\alpha ,\beta \in \mathbb {N}^n\), where \(x^\alpha := x_1^{\alpha _1} x_2^{\alpha _2}\dots x_n^{\alpha _n}\) and similarly \(\frac{\partial }{\partial x}^\beta := \left( \frac{\partial }{\partial x_1}\right) ^{\beta _1} \left( \frac{\partial }{\partial x_2}\right) ^{\beta _2} \dots \left( \frac{\partial }{\partial x_n}\right) ^{\beta _n}\). In other words, we must have \(\psi \in \mathcal {S}(\mathbb {R}^n)\), where
is the space of Schwartz functions.
We can therefore write
when restricting to the space of smooth functions.
Conversely, the space \(\mathcal {S}_I\) is unchanged when restricting to smooth functions, i.e., we have \(\mathcal {S}_I \cap C^{\infty }(KT^{2n+2}) = \mathcal {S}_I\).
4 The Kodaira dimension of \(KT^{2n+2}\)
In [7], Chen and Zhang introduced the notion of Kodaira dimension for almost complex manifolds. We now recall their definition. Given a 2n-dimensional almost complex manifold (X, J), denote the canonical bundle, i.e., the bundle of (n, 0)-forms, by \(K_J\). We define the Nth-plurigenus of an almost complex manifold (X, J), as in [7, Definition 1.2], to be the space of \({\overline{\partial }}\)-closed sections of \(K_J^{\otimes N}\)
Then, denoting
the Kodaira dimension of (X, J) is defined to be
We will now demonstrate how it is possible to calculate the Kodaira dimension of the Kodaira–Thurston manifold in any dimension and given any left-invariant almost complex structure. This same argument could be applied to calculate the Kodaira dimension for other solvmanifolds with left-invariant almost complex structure.
Theorem 4.1
On the \((2n+2)\)-dimensional Kodaira–Thurston manifold \(KT^{2n+2}\) endowed with any left-invariant almost complex structure J, there are only two possible values for the Kodaira dimension: 0 or \(-\infty \).
Proof
For a general left-invariant almost complex structure, we can assume that the space of \(T^{1,0}KT^{2n+2}\) is spanned at each point by the (1, 0)-vectors \(V_1, \dots , V_{n+1}\) given by
for some choice of \(A_{ij} \in \mathbb {C}\). Let \(\phi ^j\) be the dual (1, 0)-forms, then in order to find the plurigenera, we must find \(f \in C^{\infty }(KT^{2n+2})\) such that
Maintaining full generality, we can assume that
where \(C_j \in \mathbb {C}\) are constant. The equations to solve are therefore
The operators \(\overline{V}_j + NC_j\) are all left-invariant and so, if we find the solutions when \(f \in \mathcal {S}_I\) or \(f \in \mathcal {T}_J\), for some \(I \in \mathcal {I}\) and \(J\in \mathcal {J}\), all other solutions can be found through linear combinations of these. In the two lemmas below, we consider first the solutions in \(\mathcal {S}_I\) followed by the solutions in \(\mathcal {T}_J\). \(\square \)
Lemma 4.2
If there exists a solution to (3) in \(\mathcal {S}_I\) for some \(I \in \mathcal {I}\), then it is unique and a solution exists for infinitely many values of N.
Proof
For any value of \(I = (p,q,l)\), with \(l \in \mathbb {Z}\) and \(p,q \in \mathbb {Z}^{n}\), we can look for a solution of the form
Substituting this into (3) and setting \(A_{jk} = a_{j,k} + i b_{j,k}\), \(C_j = c_j + i c_{j+n+1}\) we find that we have a solution if and only if the following is satisfied:
First, we check for any real solutions \((p,q,l) \in \mathbb {R}^{2n+1}\) in the case when \(N = 1\). Since the vectors \(V_1, \dots , V_{n+1}, \overline{V}_1, \dots , \overline{V}_{n+1}\) are linearly independent we know that the matrix on the left hand side of (4) has maximal rank, therefore if a solution (p, q, l) exists, it is unique. Furthermore, this implies that (Np, Nq, Nl) is a solution for general N.
If the solution (p, q, l) is rational, i.e., contained in \(\mathbb {Q}^{2n+1}\) then we can choose a value of N such that \((Np, Nq, Nl)\in \mathbb {Z}^{2n+1}\) and we have a solution to (3) for this N. In fact, there are infinitely many possible choices for this value of N.
If instead the solution is irrational or does not exist, then there are no solutions to (3) for any choice of N. \(\square \)
Lemma 4.3
There are no solutions to (3) contained in \(\mathcal {T}_J\) for any \(J\in \mathcal {J}\).
Proof
Given any fixed left-invariant J, it is always possible to choose the vectors \(V_1, \dots , V_{n+1}\) such that \(A_{i 1}= \dots = A_{i n} = 0\). The equation (3), when \(j = 1\), can therefore be written as
Let f be a function in \(\mathcal {T}_J\), i.e., f is of the form
for some Schwartz function \(\psi \in S(\mathbb R^n)\). Substituting this into the above equation, we see that if f is a solution, then \(\psi \) must satisfy
for all \({\textbf{x}} = (x_1, \dots , x_n) \in \mathbb {R}^n\), where we define
This implies we must have \(B({\textbf{x}}) = 0\) for all \({\textbf{x}}\) except when \(\psi ({\textbf{x}}) = 0\).
In the case when at least one of \(A_{1\, n+1}, \dots , A_{1\, 2n}\) are non-zero, then \(B \ne 0\) on a dense subset of \(\mathbb {R}^n\) and thus, by continuity, \(\psi = 0\) everywhere, i.e., there are no non-trivial solutions.
In the case when \(A_{1\, n+1} = \dots = A_{1\, 2n} = 0\), we are instead left with
Note that \([V_j, \overline{V}_1] = 0\) for all j. Thus, by the relationship between the Lie bracket and the exterior derivative, we conclude that \(d\phi ^j\) has no \(\phi ^{j{\overline{1}}}\) component. Specifically, this means \(d\phi ^{12\dots n+1}\) has no \(\phi ^{12 \dots n+1} \wedge \overline{\phi }^1\) component and so \(C_1 = 0\). Furthermore, since \(V_1\) and \(\overline{V}_1\) must be linearly independent, \(A_{1\, 2n+1}, A_{1\, 2n+2} \in \mathbb {C}\) cannot be real multiples of each other. All of this together means that, from \(B = 0\), we can conclude that \(l = m = 0\), but this contradicts the assumption that m is non-zero. Therefore, \(\mathcal {T}_J\) contains no solutions to (3). \(\square \)
Combining these two lemmas, we conclude that either \(P_N = 1\) for an infinite number of choices of N and therefore \(\kappa _J = 0\), or \(P_N = 0\) for all N and therefore \(\kappa _J = -\infty \).
5 Spectrum of the Laplacian
In [9], Denhinger and Singhof derive the spectrum of the Laplacian along with the corresponding eigenfunctions, on the Heisenberg manifold given by the quotient \(H_{2n+1}(\mathbb {Z}) \backslash H_{2n+1}(\mathbb {R})\). The description they gave made use of the Hermite polynomials.
Definition 5.1
The Hermite functions are smooth maps \(F_h:\mathbb {R}\rightarrow \mathbb {R}\) defined for all \(h \in \mathbb {N}_0\) by
These functions satisfy the following identities, which we shall make use of in Sect. 5
The Kodaira–Thurston manifold can be written as the direct product of the Heisenberg manifold with a circle, and so the spectrum on \(KT^{2n+2}\) can derived by an identical argument.
Theorem 5.2
Endow \(KT^{2n+2}\) with a Riemannian metric given by the following orthonormal vector fields:
for some positive choice of \( a, d \in \mathbb {R}\), \(b,c \in \mathbb {R}^{n}\). The Laplacian \(\Delta _d:=dd^*+d^*d\) acting on \(C^{\infty }(KT^{2n+2})\) is given by
The eigenfunctions of this Laplacian are given by
for any \(I \in \mathcal {I}\) and
for any \(J \in \mathcal {J}\) and any \(h=(h_1,\dots ,h_n) \in \mathbb {N}^n_0\).
Specifically, we have
Note that the space \(\mathcal {S}_I\) contains only complex multiples of the function \(f_I\), while the space \(\mathcal {T}_J\) contains the functions \(g_{J,h}\) for all \(h \in \mathbb {N}^n_0\) and we have the following result.
Corollary 5.3
Given any fixed index \(J \in \mathcal {J}\), the functions \((g_{J,h})_{h \in \mathbb {N}_0^n}\) form an orthogonal basis of \(\mathcal {T}_{J}\).
Proof
It is well-known that on a compact manifold the eigenfunctions of the Laplacian, or indeed any self adjoint elliptic operator, form an orthogonal basis of \(L^2(M)\) (see [19, Theorem 14, Ch. XI]). The corollary then follows from the fact that \(\mathcal {T}_J\) is orthogonal to \(f_{I}\) and \(g_{J',h}\) whenever \(J' \ne J\), but contains \(g_{J',h}\) if \(J' = J\). \(\square \)
Proposition 5.4
On the manifold \(KT^{2n+2}\) define the following left-invariant frame on the tangent bundle
where \(j = 1, \dots , n\).
The functions \(g_{J,h}\) satisfy the following relations, for all \(J \in \mathcal {J}\), \(h = (h_1, \dots , h_n) \in \mathbb {N}_0^{n}\):
If \(m > 0\) then, for \(j = 1, \dots , n\),
If \(m<0\) then, for \(j = 1, \dots , n\),
Here we use \(e_j\) to denote the element of \(\mathbb {N}_0^n\) with a 1 in the jth position and zeros in all other positions, i.e., \(h+e_j = (h_1, \dots , h_j + 1, \dots , h_n)\).
Proof
The relations for \(U_{n+1}\) and \(\overline{U_{n+1}}\) are clear from the definition of \(g_{J,h}\). To prove the relations for \(U_{j}\) and \(\overline{U_{j}}\) with \(j = 1, \dots , n\), we shall assume \(m > 0\). The case when \(m < 0\) follows from an identical argument.
For simplicity of notation, we shall substitute \(s_j = \sqrt{2\pi m \frac{c_j}{b_j}}(x_j + \xi + \frac{q_j}{m})\), so that
Applying \(U_j\) to \(g_{J,h}\) and writing \(\frac{\partial }{\partial x_j} = \sqrt{2\pi m \frac{ c_j}{ b_j}} \frac{\partial }{\partial s_j}\), we see that
The second equality follows from the identities (5). Similarly, by applying \(\overline{U_j}\) to \(g_{J,h}\) we see that
\(\square \)
6 Example: \({\overline{\partial }}\)-harmonic (0, 1)-forms on \(KT^4\)
We will now consider an example, calculating \(h^{0,1}_{\bar{\partial }}\) on \(KT^4\) for some family of almost Hermitian structures. Define an almost complex structure \(J = J_{\beta ,\delta }\) on \(KT^4\), depending on \(\beta , \delta \in \mathbb {R}\), given by
A Hermitian metric can then be chosen such that
are orthonormal.
The corresponding Laplacian is given by
and so we define
A frame for the vector bundle \(T^{1,0}KT^4\) can be given by
along with its dual frame
which satisfies the structure equations
Denoting a general (0, 1)-form by
we see that s is \(\overline{\partial }\)-harmonic iff \(\overline{\partial }s = \overline{\partial }^*s = 0\), iff
Rewriting this using \(U_1, U_2, \overline{U_1}\) and \(\overline{U_2}\) gives us
By taking either the sum or the difference of the two equations in (6) we construct a new system of equations
Then, defining functions \(F,G \in C^{\infty }(KT^4)\) such that
the system of equations becomes
As a consequence of Corollary 2.2, along with the decomposition (2), it is sufficient to find the solutions F, G which are contained within the spaces \(\mathcal {S}_I\) and \(\mathcal {T}_J\).
A computation of the solutions in \(\mathcal {S}_I\) can be found in [14, Section 3.3]. In the next part of this section, we will focus on finding the solutions in \(\mathcal {T}_J\), using a simpler method than [14, Section 3.2].
6.1 Solutions in \(\mathcal {T}_J\)
From Corollary 5.3 we know that the functions \(g_{J,h}\) form a basis of \(\mathcal {T}_J\) and so we can write
where \(A_h, B_h \in \mathbb {C}\) are sequences of complex numbers. Then, using the relations described in Proposition 5.4, the above system of equations yields a pair of recurrence relations on \(A_h\) and \(B_h\)
In principle, it should be possible to describe the asymptotic behaviour of this system as \(h \rightarrow \infty \). This would allow us to determine the sequences \((A_h, B_h)_{h\in \mathbb {N}_0}\) for which the sum over \(A_h g_{J,h}\) and \(B_h g_{J,h}\) converges.
In this example however, there is a simpler way to find the solutions. If, instead of
we use a slightly modified basis
then we have (for \(m > 0\))
By writing
we obtain a new recurrence relation for \(\widetilde{A}_h\) and \(\widetilde{B}_h\)
Eliminating the \(\widetilde{A}_h\) terms, we get
thus we have a non-trivial solution iff
Considering the imaginary part first, we find that \(l = 0\). The real part then gives us the condition
In this way we have re-obtained the same result of [14, Section 3.2] with a different method.
7 Example: \({\overline{\partial }}\)-harmonic (0, 1)-forms on \(KT^6\)
We will now consider an example, calculating \(h^{0,1}_{\bar{\partial }}\) on \(KT^6\) for some family of almost Hermitian structures. Define an almost complex structure \(J_{a,b,c}\) on \(KT^6\), depending on \(a,b,c \in \mathbb {R}\setminus \{0\}\), given by
Any left invariant Hermitian metric \(g_{a,b,c,\rho ,\sigma ,\tau }\) can then be chosen by setting
to be orthonormal vectors, for \(\rho ,\sigma ,\tau \in \mathbb {R}\setminus \{0\}\).
It will be convenient to define the vector fields
while frame of (1, 0)-vector fields is
and the dual frame of (1, 0)-forms is then given by
with structure equations
A general (0, 1)-form can be written as \(s = F\overline{ \phi ^1} + G \overline{\phi ^2} + K \overline{\phi ^3} \in \mathcal {A}^{0,1}(KT^6)\), for some smooth complex valued functions \(F,G,K \in C^{\infty }(KT^6)\). We want to know when \(s \in \mathcal {H}^{0,1}_{\bar{\partial }}\), i.e., when \(\Delta _{\bar{\partial }}s = 0\), which holds if and only if the two conditions \(\bar{\partial }s = 0 \) and \( \bar{\partial }^* s = 0\) are satisfied. From these we obtain the PDEs
Notice that these PDEs all involve only left-invariant differential operators and so the decomposition of functions given in (2) can help us find solutions.
In particular, it is sufficient to find the solutions when F, G, K are in \(\mathcal {S}_{I}\) for fixed \(I \in \mathcal {I}\) and the solutions when F, G, K are in \(\mathcal {T}_{J}\) for fixed \(J \in \mathcal {J}\).
7.1 Solutions in \(\mathcal {S}_{I}\)
In this section we will make use of the basis of \(\mathcal {S}_{I}\) given by
for any \(I = (p_1,p_2,q_1,q_2,l) \in \mathcal {I}=\mathbb {Z}^5\). The functions F, G, K can be expressed in this basis as
The vector fields \(V_1,V_2,V_3,\overline{V_1},\overline{V_2},\overline{V_3}\) operate on \(f_I\) as
Therefore system (7) reduces into the following system for the coefficients of F, G, K
If \(l=0\), then from the second and third equations either \(K\in \mathbb {C}\) or \(I=0\). In both cases from the first equation either \(K=0\) or \(ab=1\), i.e., the almost complex structure is integrable. If \(l\ne 0\), one can substitute \(F_I\) and \(G_I\) from the second and the third equations into the first one, obtaining either \(K=0\) or \(ab=1\).
Thus, if \(K=0\), from the first and the last equations we deduce \(F,G\in \mathbb {C}\). On the other hand, if \(ab=1\), again from the first and the last equations it follows that \(F,G,K\in \mathbb {C}\).
7.2 Solutions in \(\mathcal {T}_{J}\)
In this section we will make use of the basis of \(\mathcal {T}_{J}\) given by
in Corollary 5.3. It will be sufficient to consider the case \(\rho =\sigma =\tau =1\).
Transform the system (7) as follows:
-
Make the substitution \(F = \alpha + \beta \), \(G = i(-\alpha + \beta )\), where \(\alpha ,\beta \in \mathcal {T}_{J}\).
-
Replace the second and third equations with the sum of the second equation with \(\pm i\) times the third.
This yields the system
Taking into account that
this system is equivalent to
Now we make use of the basis given by \(g_{J,h}\) to write \(\alpha ,\beta ,K\) as
Substituting this into the above system of equations and assuming that \(m>0\) gives conditions on the coefficients \(A_{h_1,h_2}, B_{h_1,h_2}, K_{h_1,h_2} \in \mathbb {C}\).
Substituting the coefficients of \(\alpha \) and \(\beta \) from the second and third equations into the first and the last equations, we obtain
We see that independently from both equations \(K_{h_1,h_2}=0\) for all \(h_1,h_2\in \mathbb {N}_0\). In particular, since the first equation in the system is obtained just from asking \({\overline{\partial }}s=0\), we deduce that if \(ab\ne 1\) then there are no (non zero) \({\overline{\partial }}\)-closed (0, 1)-forms lying in \(\mathcal {T}_J\). A nearly identical argument shows that the same is true when \(m<0\).
Theorem 7.1
If \(ab\ne 1\), then for any choice of a left invariant metric g on \((KT^6,J_{a,b,c})\) we have
If \(ab=1\), i.e., \(J_{a,b,c}\) is integrable, then on \((KT^6,J_{a,b,c})\) we have
Proof
If \(ab\ne 1\), then the solutions of \(\Delta _{{\overline{\partial }}}s=0\) in \(\mathcal {S}_{I}\) are generated by \(\overline{\phi ^1},\overline{\phi ^2}\) for any choice of a left invariant metric \(g_{a,b,c,\rho ,\sigma ,\tau }\), while in \(\mathcal {T}_J\) there are no (non zero) \({\overline{\partial }}\)-closed (0, 1)-forms and thus no \({\overline{\partial }}\)-harmonic (0, 1)-forms. If \(ab=1\), then Dolbeault cohomology is metric independent and so we can choose the metric \(g_{a,b,c,1,1,1}\) to compute it solving \(\Delta _{{\overline{\partial }}}s=0\). The solutions in \(\mathcal {S}_{I}\) are generated by \(\overline{\phi ^1},\overline{\phi ^2},\overline{\phi ^3}\), while in \(\mathcal {T}_J\) there are no (non zero) \({\overline{\partial }}\)-harmonic (0, 1)-forms. \(\square \)
Note that, given any left invariant integrable almost complex structure J on \(KT^{6}\), we have the following bounds on the values that \(h^{0,1}_{\overline{\partial }}\) can take. By [22, Corollary 3.10], \(\mathcal {H}^{0,1}_{\overline{\partial }}\) is made of left invariant forms, therefore \(h^{0,1}\le 3\). Similarly, \(h^{1,0}_{\overline{\partial }}\le 3\). Since \(b^1=5\), then the Frölicher inequality [10] and the previous upper bounds yield
and the upper bounds again imply
Data Availability
Not applicable.
References
Auslander L.: Lectures on Nil-theta Functions, CBMS Lectures no. 34, American Mathematical Society, Providence (1977)
Baldoni, M.W.: General representation theory of real reductive Lie groups. In: Proceedings of Symposia in Pure Mathematics, vol. 61, pp. 61–72 (1997)
Berndt, J., Tricerri, F.: Generalized Heisenberg Groups and Damek–Ricci Harmonic Spaces. Lecture Notes in Math, vol. 1598. Springer-Verlag, Berlin Heidelberg (1995)
Cattaneo, A., Nannicini, A., Tomassini, A.: Kodaira dimension of almost Kähler manifolds and curvature of the canonical connection. Ann. Mat. Pura Appl. 199(5), 1815–1842 (2020)
Cattaneo, A., Nannicini, A., Tomassini, A.: On Kodaira dimension of almost complex 4-dimensional solvmanifolds without complex structures. Int. J. Math. 32(10), 2150075 (2021)
Cattaneo, A., Nannicini, A., Tomassini, A.: Almost complex parallelizable manifolds: Kodaira dimension and special structures. Manuscr. Math. (2023)
Chen, H., Zhang, W.: Kodaira dimensions of almost complex manifolds I. Am. J. Math. 145(2), 477–514 (2023)
Chen, H., Zhang, W.: Kodaira Dimensions of Almost Complex Manifolds II (2020). preprint arXiv:2004.12825
Denhinger, C., Singhof, W.: The \(e\)-invariant and the spectrum of the Laplacian for compact nilmanifolds covered by the Heisenberg group. Invent. Math. 78, 101–112 (1984)
Frölicher, A.: Relations between the cohomology groups of Dolbeault and topological invariants. Proc. Nat. Acad. Sci. U.S.A. 41, 641–644 (1955)
Hirzebruch, F.: Some problems on differentiable and complex manifolds. Ann. Math. 2(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., Piovani, R.: Primitive decomposition of Bott–Chern and Dolbeault harmonic \((k, k)\)-forms on compact almost Kähler manifolds. Eur. J. Math. 9, 73 (2023)
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)
Müller, D., Peloso, M.M., Ricci, F.: Eigenvalues of the Hodge Laplacian on the Heisenberg group. Collect. Math. 327–342 (2006)
Müller,D., Peloso, M.M., Ricci, F.: Analysis of the Hodge Laplacian on the Heisenberg Group, vol. 233, no. 1095, pp. vi+91. Memoirs of the American Mathematical Society (2015). ISBN: 978-1-4704-0939-5
Nachbin, L.: The Haar Integral. Van Nostrand, Princeton (1965)
Palais, R.S., et al.: Seminar on the Atiyah-Singer Index Theorem, vol. 57. Princeton University Press, Princeton (1965)
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., 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)
Rollenske, S.: Dolbeault cohomology of nilmanifolds with left-invariant complex structure. In: Complex and Differential Geometry, vol. 8, pp. 369–392. Springer Proceedings of the Mathematics, Springer, Heidelberg (2011)
Tardini, N., Tomassini, A.: Almost-complex invariants of families of six-dimensional solvmanifolds. Complex Manifolds 9, 238–260 (2022)
Tardini, N., Tomassini, A.: \(\overline{\partial }\)-harmonic forms on 4-dimensional almost-Hermitian manifolds. Math. Res. Lett. 30(5), 1617–1637 (2023)
Acknowledgements
We would like to thank Adriano Tomassini for his suggestions which provided the idea for this paper and also for several fruitful discussions. Additionally, we thank Fulvio Ricci for providing some good references and helpful comments. Finally, we are grateful to the referee for suggesting the discussion at the very end of the paper.
Funding
The second author is partially supported by GNSAGA of INdAM.
Author information
Authors and Affiliations
Contributions
Both authors made substantial contributions to all parts of the paper.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no Conflict of interest.
Ethics approval and consent to participate
Not applicable.
Consent for publication
The authors declare the consent for publication.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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. Left-invariant almost complex structures on the higher dimensional Kodaira–Thurston manifolds. Ann Glob Anal Geom 66, 2 (2024). https://doi.org/10.1007/s10455-024-09961-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10455-024-09961-0