Abstract
The hard Lefschetz property (HLP) is an important property which has been studied in several categories of the symplectic world. For Sasakian manifolds, this duality is satisfied by the basic cohomology (so, it is a transverse property), but a new version of the HLP has been recently given in terms of duality of the cohomology of the manifold itself in [1]. Both properties were proved to be equivalent (see [2]) in the case of K-contact flows. In this paper, we extend both versions of the HLP (transverse and not) to the more general category of isometric flows, and show that they are equivalent. We also give some explicit examples which illustrate the categories where the HLP could be considered.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The origins of the hard Lefschetz property (HLP in the sequel) go back to Lefschetz’s study of topological properties of algebraic real projective varieties [3], where he proved that the repeated cup product by the cohomology class of a hyperplane gives an isomorphism in the cohomology of the variety. Later, a version of that theorem was proved by Hodge (see [4]) for general compact Kähler manifolds, stating isomorphisms between de Rham cohomology groups of complementary degrees given by multiplication by a power of the symplectic form. This property was considered to be one of the most important of this class of manifolds. Compact Kähler manifolds have very strong and particular cohomological properties. A lot of effort was put into distinguishing such properties which could characterize Kähler manifolds within the category of compact symplectic manifolds. Now we know among other things that
-
There are compact symplectic manifolds which are not Kähler, cf. [5] for the first such an example;
-
The torus is the only nilmanifold which is Kähler, cf. [6];
-
There are compact symplectic manifolds whose cohomology ring is formal which are not Kähler, cf. [7];
-
There are compact Hermitian manifolds with collapsing Frölicher spectral sequence which are not Kähler, cf. [8];
-
There are compact symplectic manifolds satisfying the HLP which are not Kähler, cf. [9]. However, a nilmanifold having the HLP is diffeomorphic to a torus, cf. [6], thus a Kähler manifold.
Over the years, many examples have been discussed and published. Among other publications, let us mention the papers [10,11,12,13,14,15] and the book [16].
Within the realm of foliations, the foundations of the theory of transversely Kähler foliations were presented by El Kacimi in [17]. Cordero and Wolak in two papers presented a series of examples showing that the corresponding transverse properties of the basic cohomology do not characterize transversely Kähler foliations, cf. [18, 19].
These results proved to be of particular importance in the study of the odd-dimensional counterpart of Kähler manifolds, i.e., Sasakian manifolds. In particular, by [17, par. 3.4.7], the basic cohomology of a compact Sasakian manifold satisfies the HLP. In recent years, a lot of research has been done to distinguish Sasakian manifolds within the class of contact metric manifolds and K-contact manifolds in particular, e.g., cf. [1, 20, 21].
One of the properties used in these considerations was a new version of the HLP for Sasakian manifolds demonstrated in [22] which stated Lefschetz-type isomorphisms not for the basic cohomology groups, but for the de Rham groups of the manifold itself. The authors of that paper extended the scope of the property by giving a definition of Lefschetz contact manifold in the same global terms. Examples of non-Sasakian Lefschetz contact manifolds have been given in [22] and [23], all of them within the category of isometric flows (i.e., the Reeb field associated to the contact structure is a Killing vector field).
So, a priori there are two different properties (global and basic) that a contact manifold may or may not satisfy, both of them generalizing the HLP satisfied by Sasakian manifolds. In [2], the author proves that both properties are equivalent for compact K-contact manifolds. To define the Lefschetz map, the author uses the symplectic Hodge theory. We do not know whether that equivalence is held for all contact flows.
Lefschetz-type isomorphisms also exist in the realm of isometric flows, where the role of the class of the symplectic form is played by the Euler class. In this work, we define two duality properties for isometric flows which resemble the HLP: a transversal one THL and a global one HL. Although our definition is essentially topological and no symplectic structure is needed, in the case of K-contact flows, our new definitions agree with the previous versions of the HLP introduced above. In Section 1, we prove that both properties are equivalent for isometric flows. So, we can call Lefschetz isometric flows the isometric flows satisfying THL or HL.
In Fig. 1, we show the categories where the HLP has been defined. The HLP is satisfied in the rectangular region. We do not know whether the shaded area is nonempty (that is, whether there exist Lefschetz contact flows which are not K-contact), but all other regions are, as we illustrate with some examples in Section 2. In Example 2.2, we provide a Lefschetz isometric flow which does not admit a contact structure. In order to find an example of a flow which is contact, Lefschetz but not isometric, we have to look for a flow which is not Riemannian as the Lefschetz condition ensures tautness in the Riemannian realm; thus, our flow would be isometric. In the case of transversely symplectic but not Riemannian foliations, we can encounter infinite dimensional basic cohomology which makes the Lefschetz condition problematic, as happens in Example 2.9. We do not know whether the transversal and the global definitions of the HLP are equivalent if the contact flow is not isometric. In the referred example, neither of them is satisfied, but the problems appear at non-corresponding degrees, differently as in the isometric case.
2 Lefschetz Duality and Transverse Duality for Isometric Flows
2.1 Preliminaries
Throughout this section, (M,g) denotes a closed Riemannian manifold endowed with an isometric flow \({\mathscr{F}}\), that is, a 1-dimensional foliation defined by the orbits of a locally free \(\mathbb {R}\)-action by isometries. Let X be the unit vector field defining the flow. \(H_M^{*}\) and \(H_B^{*}\) stand for the de Rham cohomology of M and the basic cohomology of the flow, respectively. The latter is the cohomology of the complex of basic forms{ω ∈Ω(M)|iXω = iXdω = 0}. The closure of \(\mathbb {R}\) in the group of isometries Iso(M,g) is an abelian compact and connected group, and hence, a torus G. We have an isomorphism \({\Psi }^{*}:H_{M}^{*}\to H^{*}({\Omega }(M)^{G})\) between the de Rham and the G-invariant cohomology groups (see [24, Th. 1 in p. 151]).
We have the Gysin exact sequence (see [25, Th. 6.13]):
where ιk is induced by the natural inclusion of the basic complex into the de Rham complex, εk is the multiplication by the Euler Class \([e]=[d\chi ]\in H_B^{2}\) of \({\mathscr{F}}\), being χ = iXg the characteristic form of \({\mathscr{F}}\), and \(\rho _{k}=i_{X}\circ {\Psi }^{*}\), being iX the contraction operator (notice that ρk([ω]) = [iXω] when ω is X-invariant). In the literature, the multiplication by the Euler class is also known as the Lefschetz operator, and is denoted by
2.2 Hard Lefschetz Duality Properties
Definition 1.1
Let \({\mathscr{F}}\) be an isometric flow on the closed manifold M, where \(\dim {M}=2n+1\), and let \([e]\in H_B^{2}\) denote its Euler class. We will say that \({\mathscr{F}}\) satisfies the transversal hard Lefschetz property at degree \(k\in \mathbb {Z}\) if the following property holds:
where Ln−k([β]) = [β∧en−k]. We also define the following properties:
In this last case, we will say that \({\mathscr{F}}\) satisfies the transversal hard Lefschetz property.
Remark 1.2
(THL)k holds trivially if k < 0 or k > 2n. For k = 0, on one hand, if \({\mathscr{F}}\) is transversally symplectic, then (THL)0 is satisfied. On the other hand, one can easily construct an \(\mathbb {S}^{1}\)-principal bundle over \(B=\mathbb {T}^{4}=\mathbb {R}^{4}/\mathbb {Z}^{4}\) with a nontrivial Euler class (say, \([e]=[dx_{1}\wedge dx_{2}]\in {H^{2}_{B}}\)). We have that [e]≠ 0, but [e2] = 0, and thus (THL)0 does not hold.
Definition 1.3
We define the k-th basic primitive cohomology group as the kernel of the map , that is, \( P\!H_B^{k}=\left \{\vphantom {H_B^{2n-k+2}}[\upbeta ]\in H_B^{k} | [\upbeta \wedge e^{n-k+1}]=0\right .\) \(\left .\text { in }H_B^{2n-k+2}\right \}. \)
Definition 1.4
We will say that \({\mathscr{F}}\) satisfies the k-th primitive condition (and denote it by Pk) if the inclusion of forms induces the following two isomorphisms:
-
(P1)k:
-
\(H_B^{k}=P\!H_B^{k}\oplus L\left (H_B^{k-2}\right )\).
Remark 1.5
Notice that as \(P\!H_B^{0}=H_B^{0}=H_M^{0}\), then P0 is always true. (P1)1 is not always true, but for every \({\upbeta \in {\Omega }^{1}_{B}}\) we have \(\upbeta \wedge e^{n}\in {\Omega }^{2n+1}_{B}=0\), so we have \(P\!H_B^{1}=H_B^{1}\), and then (P2)1 always holds.
Lemma 1.6
For every k ≤ n,
Proof
By Remark 1.5, the result holds trivially for k = 0. If k ≥ 1, by (THL)k− 1, Ln−k+ 1 = L ∘ L ∘⋯ ∘ L is an isomorphism, and thus, a monomorphism. So, the first map in that composition \(L=\varepsilon _{k}\colon H_B^{k-1}\longrightarrow H_B^{k+1}\) must be a monomorphism, too. The exactness of the Gysin sequence (1.1) implies that ιk is an epimorphism. □
Remark 1.7
By degree reasons \(\iota _{1}\colon H_B^{1}\rightarrow H_M^{1}\) is always a monomorphism (this holds for any foliation). So, by Remark 1.5 and Lemma 1.6, we have that (THL)0 implies P1.
Proposition 1.8
For every k ≤ n,
Proof
By Remarks 1.5 and 1.7, we have P0 and P1. Consider k ≥ 2. On one hand, the Gysin sequence (1.1) gives
where we have used that ιk is an epimorphism, which holds by (THL)k− 1 and Lemma 1.6. On the other hand, we consider the sum \(P\!H_B^{k} + L\left (H_B^{k-2}\right )\le H_B^{k}\). We now show that the sum is a direct one: take \([\upbeta ]\in P\!H_B^{k}\cap L\left (H_B^{k-2}\right )\). Then, there exists \([\gamma ]\in H_B^{k-2}\) such that \([\upbeta ]=[\gamma \wedge e]\in P\!H_B^{k}\), which implies
and by (THL)k− 2 we have [γ] = 0. Thus, [β] = 0, and the sum is direct. From Eq. 1.2, we get
which implies that \(\dim P\!H_B^{k}\le \dim H_M^{k}\). Hence, if we prove that ik : is an epimorphism, it would be an isomorphism, yielding (P1)k and, by Eq. 1.3, (P2)k.
We complete the proof by showing that ik is an epimorphism. Let \([\alpha ]\in H_M^{k}\). By (THL)k− 1 and Lemma 1.6, there exists \([\upbeta ]\in H_B^{k}\) such that ιk([β]) = [α]. From (THL)k− 2, there exists \([\gamma ]\in H_B^{k-2}\) such that
which leads to \([(\upbeta -\gamma \wedge e)\wedge e^{n-k+1}]=0\in H_B^{2n-k+2}\) and thus, \([\upbeta -\gamma \wedge e]\in P\!H_B^{k}\). Finally, we have
□
Definition 1.9
Let \({\mathscr{F}}\) be an isometric flow on the closed manifold M, where \(\dim (M)=2n+1\), and let \([e]\in H_B^{2}\) denote its Euler class. We say that \({\mathscr{F}}\) satisfies the hard Lefschetz property at degree k (and denote it by (HL)k) if there exists an isomorphism \({\mathscr{L}}^{n-k}\colon H_M^{k}\longrightarrow H_M^{2n-k+1}\) making the following diagram commutative:
We shall also use the following notations:
In this last case, we will say that \({\mathscr{F}}\) satisfies the hard Lefschetz property.
Theorem 1.10
Let \({\mathscr{F}}\) be an isometric flow on a closed oriented manifold M of dimension 2n + 1. Then, for every k ≤ n, we have (THL)≤k⇔(HL)≤k.
Proof
Assume (THL)≤k. By Proposition 1.8, Pk is true, and so ik is an isomorphism. To define \({\mathscr{L}}^{n-k}\), we fix a basis {[βi]}i of \(P\!H_B^{k}\). As \([{\upbeta }_{i}\wedge e^{n-k+1}]=0\in H_B^{2n-k+2}\), there exists a basic form \(\gamma _{i}\in {\Omega }_{B}^{2n-k+1}\) such that βi ∧ en−k+ 1 = dγi, and so, \(\chi \wedge {\upbeta }_{i}\wedge e^{n-k}- \gamma _{i}\in {\Omega }^{2n-k+1}_{M}\) is a closed form. Thus, we can define
and extend it by linearity. As γi is basic and χ ∧βi ∧ en−k − γi is X-invariant, we have
and the diagram (1.4) is commutative. Finally, from Eq. 1.4, we have
because ik and Ln−k are isomorphisms. So, \({\mathscr{L}}^{n-k}\) is a monomorphism between \(H_M^{k}\) and \(H_M^{2n-k+1}\), who have the same dimension by Poincaré duality. Hence, an isomorphism.First notice that \({\mathscr{F}}\) is transversally orientable, and by [26, Th. A] and [27, Th. 4.10], \(H_B^{*}\) satisfies the Poincaré duality. In particular, \(H_B^{k}\) and \(H_B^{2n-k}\) have the same dimension. So, in order to prove that Ln−k is an isomorphism, it suffices to show that Ln−k is an epimorphism.
As the statement is trivial for k < 0, we shall proceed by induction on k starting at k = − 2. Assume that (HL)≤k holds and assume (HL)≤k− 1 ⇒ (THL)≤k− 1. By Proposition 1.8, Pk holds, giving that ik is an isomorphism. To show that Ln−k is onto, we now take \([\varphi ]\in H_B^{2n-k}\). By (THL)k− 2, Ln−k+ 2 is an isomorphism, and so, there exists \([\gamma ]\in H_B^{k-2}\) such that
We have the following commutative diagram,
whose right column is part of the Gysin sequence (1.1). We have
and so, by Eq. 1.6, there exists \([\upbeta ]\in H_B^{k}\) such that
which implies
which concludes the proof. □
Now, the following definition makes sense.
Definition 1.11
We say that an isometric flow \({\mathscr{F}}\) on a closed manifold M is an isometric Lefschetz flow if it satisfies (THL) or (HL).
Remark 1.12
Given an isometric flow \({\mathscr{F}}\) on a compact manifold, in [28, Section 3.2], it is proved that the Euler classes associated to two invariant metrics are the same up to a multiplicative nonzero constant. As a result, whether an isometric flow is Lefschetz or not is a topological property in the sense that it does not depend on the chosen invariant metric, but only on the foliation \({\mathscr{F}}\) itself.
In [1], the authors define a (2n + 1)-dimensional contact manifold (M,η) with Reeb vector field ξ to be a Lefschetz contact manifold if for every k ≤ n, the relation between \({H_{M}^{k}}\) and \(H_{M}^{2n+1-k}\) defined by
is the graph of an isomorphism \({H^{k}_{M}}\cong H_{M}^{2n-k+1}\).
Remark 1.13
Notice that \(\mathcal {R}^{0}\) is always the graph of the isomorphism \({H^{0}_{M}}\cong H^{2n+1}_{M}\) because (dη)n+ 1 = 0.
We now see that if ξ is Killing (i.e., we have a K-contact flow), then this notion is equivalent to (HL).
Proposition 1.14
Let (M,η) be a (2n + 1)-dimensional K-contact manifold. Then, the isometric flow defined by its Reeb vector field is an isometric Lefschetz flow if and only if (M,η) is a Lefschetz contact manifold.
Proof
We have that X = ξ is a Killing vector field, χ = η and e = dη. If (M,η) is a Lefschetz contact manifold, then for every k ≤ n, the isomorphism \({\mathscr{L}}^{n-k}\) whose graph is the relation (1.7) clearly makes the diagram (1.4) commutative and so, X defines an isometric Lefschetz flow. Conversely, if X is a Lefschetz isometric flow, it satisfies (THL) and we can construct an isomorphism \({\mathscr{L}}^{n-k}\colon {H_{M}^{k}}\to H_{M}^{2n-k+1}\) as in the ⇒ part of Theorem 1.10. As (M,η) is contact, by [29, Th. 11(1)], each basic cohomology class has a harmonic representative, and thus, each primitive basic cohomology class admits a primitive basic representativeFootnote 1. So, as \({H_{M}^{k}}\cong P\!H_B^{k}\), we can find a basis {[βi]}i of \({H_{M}^{k}}\), where βi are primitive closed basic forms. In the proof of Theorem 1.10, we have to add the forms γi to get closed forms, but as the βi are primitive, we can choose γi = 0 and so \({\mathscr{L}}^{n-k}([\upbeta ])=\left [\chi \wedge \upbeta \wedge e^{n-k}\right ]\) defines an isomorphism whose graph is the relation (1.7). Thus, (M,η) is a Lefschetz contact manifold. □
In [1], the authors prove that the small odd Betti numbers (up to the middle dimension) of a Lefschetz Contact flow are even. As we show now, the same algebraic proof works to prove the corresponding result for isometric Lefschetz flows.
Theorem 1.15
Let \({\mathscr{F}}\) be an isometric Lefschetz flow on the compact manifold M, being \(\dim (M)=2n+1\). Then, the Betti number bk(M) is even for every odd k ≤ n.
Proof
Consider a basis of primitive basic classes {[βi]}i of \({H^{k}_{M}}\), and construct an isomorphism \({\mathscr{L}}^{n-k}\colon {H_{M}^{k}}\to H_{M}^{2n-k+1}\) as in the proof of Theorem 1.10. Consider the non-degenerate bilinear form B on \({H_{M}^{k}}\) defined as the composition
being \(P([\omega _{1}],[\omega _{2}])={\int \limits }_{M}\omega _{1}\wedge \omega _{2}\) the usual non-degenerate pairing. Now, we have
where we have used that βi ∧ γi = 0 because it is a basic form of degree 2n + 1. As \({\upbeta }_{i}\chi {\upbeta }_{j}=(-1)^{k}{\upbeta }_{j}\chi {\upbeta }_{i}\), it follows that \(B([{\upbeta }_{i}],[{\upbeta }_{j}])=(-1)^{k}B([{\upbeta }_{j}],[{\upbeta }_{i}])\). So, B is a non-degenerate skew-symmetrical bilinear form, and the dimension of \(H_M^{k}\) must be even. □
3 Examples
Example 2.1 (Sasakian manifolds)
Consider a Sasakian manifold M of dimension 2n + 1 (for the essentials of Sasakian geometry, we refer the reader to [31]). Recall that its associated Reeb vector field X defines an isometric flow with respect to the metric g of the Sasakian structure, being the associated contact form χ = iXg the characteristic form of the isometric flow. As any Sasakian manifold is transversally Kähler, it satisfies (THL) (cf.[17, 3.4.7]), and by Theorem 1.10, it satisfies (HL), which has been proved in [1, Section 4].
In [32], Boothby and Wang use the construction described by Kobayashi in [33, Th. 2]) to get examples of contact manifolds out of integral symplectic forms. The same construction can also be applied to get isometric flows with a prescribed integral Euler form as follows: given an integral closed form ω ∈Ω2(B), Kobayashi’s construction gives an \(\mathbb {S}^{1}\)-principal bundle π: M → B whose connection form \(\chi \in {\Omega }^{1}(M)^{\mathbb {S}^{1}}\) satisfies dχ = π∗ω. Let \({\mathscr{F}}\) be the foliation on M defined by the orbits of the principal \(\mathbb {S}^{1}\)-action and consider on \(TM=T{\mathscr{F}}\oplus \ker \chi \) the Riemannian metric \(g=\chi \otimes \chi + \pi _{b}^{*}g_{B}\), being gB any metric on B and πb the restriction of π∗: TM → TB to \(\ker \chi \), which is an isomorphism by degree reasons. Then, \({\mathscr{F}}\) is an isometric flow on M whose Euler form is dχ = π∗ω. We shall use this construction in the following examples. First, we show that Theorem 1.10 applies to new cases outside the contact category:
Example 2.2
Let \(B=\mathbb {C}\mathbb {P}^{2}\sharp \mathbb {C}\mathbb {P}^{2}\). Recall that its cohomology is given by:
where a and b can be assumed to be integral. Choose e = a (we could also take e = b). Using Kobayashi’s construction, we construct a 5-manifold M with an isometric flow \({\mathscr{F}}\) whose orbit space is B and with Euler class \([e]=[a]\in H_B^{2}\). As B does not admit almost-complex structures [34, Prop. 1.3.1], then it does not admit a symplectic structure, and M cannot be a contact flow. On the other hand, as the Lefschetz maps:
are isomorphisms, the flow satisfies (THL) and thus (HL). So, \({\mathscr{F}}\) is a Lefschetz isometric flow that cannot be generated by the Reeb vector field of any contact structure.
Remark 2.3
The manifold \(\mathbb {C}\mathbb {P}^{2}\sharp \mathbb {C}\mathbb {P}^{2}\) is an example of a compact c-symplectic manifold (cohomologically symplectic manifold) which is not symplectic, as defined by Lupton and Oprea in [35]. The authors also suggest a method of construction of other compact c-symplectic manifolds in [36]. Therefore using such examples, we can construct more Lefschetz flows which are not transversely symplectic, and thus not contact.
Example 2.4
It is very easy to construct isometric flows that are not Lefschetz flows. For example, let the circle \(\mathbb {S}^{1}\) act by multiplication on the first factor of \(M=\mathbb {S}^{1}\times B\) for any B and call \({\mathscr{F}}\) the flow associated to that free action. Let π1 and π2 stand for the projections of M onto \(\mathbb {S}^{1}\) and B, respectively. Consider the metric \(g=\pi _{1}^{*}g_{\mathbb {S}^{1}}+\pi _{2}^{*}g_{B}\) induced by any invariant metric in \(\mathbb {S}^{1}\) and any metric in B. Recall the characteristic form χ = iXg, being X the unit vector field. It is straightforward to check locally that dχ = 0, i.e., the Euler form (hence, the Euler class) vanishes. So, \({\mathscr{F}}\) is not a Lefschetz flow.
The following two lemmata will be useful to find integral closed forms within a family.
Lemma 2.5
Let \(n\in \mathbb {N}\). The only polynomial with real coefficients in n variables that vanishes in a lattice of \(\mathbb {R}^{n}\) is the zero polynomial.
Proof
Let q be a real polynomial vanishing in a lattice Λ of \(\mathbb {R}^{n}\). For any nonzero z ∈Λ, the restriction of q to the line joining the origin and z is a polynomial in one variable with an infinite amount of zeroes, hence zero. In particular, q vanishes in any point of \(\mathbb {R}^{n}\) with rational coefficients with respect to any basis of Λ, and by density, in all \(\mathbb {R}^{n}\). □
Lemma 2.6
Let \(H_M^{2}=<[\omega _{1}],\dots ,[\omega _{n}]>\) and let p be a nontrivial polynomial with real coefficients in n variables. Then, the following subset contains an integral closed form:
Proof
Denote by \({H_{b}^{2}}(M,\mathbb {Z})\) the Betti part of \(H^{2}(M,\mathbb {R})\), i.e., the natural inclusion of \(H^{2}(M,\mathbb {Z})\) in \(H^{2}(M,\mathbb {R})\). Notice that \({H^{2}_{b}}(M,\mathbb {Z})\cong H_M^{2}\). Consider \(\upbeta =\{[\alpha _{1}],\dots ,[\alpha _{n}]\}\) the image of a basis of \({H^{2}_{b}}(M,\mathbb {Z})\) via the de Rham isomorphism. So, \(\alpha _{1},\dots ,\alpha _{n}\) are integral cycles. As β is a basis of \(H_M^{2}\), there exist \(a_{ij}\in \mathbb {R}\) and forms \(\gamma _{i}\in {\Omega }^{1}(M)\) such that
Consider the polynomial in n variables
By Lemma 2.5, there exist integers \(z_{1},\dots ,z_{n}\) such that \(q(z_{1},\dots ,z_{n})\ne 0\). Now we define
where \(c_{j}={\sum }_{i=1}^{n} a_{ij}z_{i}\) for \(j\in \{1,\dots ,n\}\). On one hand, by Eq. 2.2, we have \(p(c_{1},\dots ,c_{n})=q(z_{1},\dots ,z_{n})\ne 0\). Thus, ω ∈ Wp. On the other hand, by Eq. 2.1, we have
and therefore, ω is an integral cycle. □
Example 2.7
In [22], the authors construct K-contact flows which are not Lefschetz, and thus, not Sasakian. We can construct another example of the same kind (K-contact and not Lefschetz) as follows: consider B the 6-dimensional solvmanifold defined in [37]. The authors construct a family of closed forms:
being [ωi] certain generators of \(H_B^{2}\). They show that if ac≠ 0, then ω is a symplectic form, but B fails to satisfy the hard Lefschetz property. By applying Lemma 2.6 to the polynomial p(x,y) = xy, we can suppose ω to be a closed integral form. So, the Kobayashi construction yields a K-contact manifold which is not Lefschetz.
Example 2.8
Let B be one of the manifolds constructed in [38], which satisfy the following properties:
-
(i)
B is a compact 6-solvmanifold of completely solvable type;
-
(ii)
B admits a nondefinite Kähler metric, and thus a symplectic structure;
-
(iii)
B satisfies the strong Lefschetz property;
-
(iv)
The Poincaré polynomial of B is PB(t) = 1 + 2t + 5t2 + 8t3 + 5t4 + 2t5 + t6.
By (ii), B is a symplectic manifold. More precisely, in [38, p. 63], it is shown that any linear combination ω of certain closed forms generating \(H_B^{2}\) with parameters r,s,t,u,v is a valid symplectic form if the condition r(sv + tu)≠ 0 is satisfied. By Lemma 2.6, we can choose ω to be integral and consider M its associated Kobayashi construction. So, M is a K-contact flow, and by (iii) it is a Lefschetz flow.
In [39, Th. 3.3], it is proved that B does not admit a Kähler structure. We show here a shorter proof of this fact using a later result: by the Benson-Gordon’s Theorem, proved by Hasegawa in [40], a manifold satisfying (i) admits a Kähler structure if and only if it is a complex torus. So, by (iv), B does not admit a Kähler structure. In particular, M does not admit a Sasakian structure.
So, we have a K-contact Lefschetz flow which does not admit a Sasakian structure. Other examples of isometric flows which are Lefschetz but not transversely Kähler can be constructed using examples of manifolds from [41] which are symplectic and Lefschetz but not Kähler. For another example in dimension 5, see [23].
We finish this paper by showing that the leftmost region of Fig. 1 is not empty.
Example 2.9
As described in [42, Remarque 3], the geodesic flow of the flat torus \(\mathbb {T}^{2}\) induces a contact flow on its unit tangent bundle whose basic cohomology has infinite dimension (and so, it cannot be isometric because the basic cohomology of a Riemannian foliation is finite-dimensional). More explicitly, it can be described as the usual contact flow on \(\mathbb {T}^{3}=\mathbb {R}^{3}/\mathbb {Z}^{3}\) with contact form \(\eta =\cos \limits {2\pi t}\ dx + \sin \limits {2\pi t}\ dy\). We have a fibration \(\pi \colon M\to \mathbb {R}/\mathbb {Z}=\mathbb {S}^{1}\) such that π− 1([t]) is foliated diffeomorphic to \(\mathbb {T}^{2}\) with a linear flow of slope t, and is, thus, foliated by circles if \(t\in \mathbb {Q}\) or by dense non-compact orbits otherwise. It is easily checked that all basic 1-forms are written locally as f(t) dt. So, \({H_{B}^{1}}\cong H^{1}(\mathbb {S}^{1})=\mathbb {R}\) and every basic 1-form is closed, which yields \({H^{2}_{B}}={{\Omega }_{B}^{2}}\) by degree reasons. It is straightforward to show that \({{\Omega }^{2}_{B}}\cong C^{\infty }([0,1],\{0,\frac {1}{2},1\})\) and hence, it has infinite dimension and the Lefschetz map between extremal degrees \(L\colon {H^{0}_{B}}\to {H^{2}_{B}}\) is not an isomorphism, while by Remark 1.13, \(\mathcal {R}^{0}\) is the graph of the isomorphism \({H^{0}_{M}}\cong {H^{3}_{M}}\). In contrast, the remaining Lefschetz map \(L^{0}\colon {H^{1}_{B}}\to {H^{1}_{B}}\) is the identity isomorphism, but the relation \(\mathcal {R}^{1}\) is not the graph of \({H^{1}_{M}}\cong {H^{2}_{M}}\), because in this example every closed basic 1-form is a primitive form by degree reasons and \(P{H_{B}^{1}}={H^{1}_{B}}\) is not isomorphic to \({H^{1}_{M}}\). So, we have a contact flow which is not K-contact and fails to satisfy any of the Lefschetz properties, these failures happening at non-corresponding degrees. Notice that for isometric flows, the properties (THL) and (HL) are intimately related at corresponding degrees.
References
Cappelletti-Montano, B., De Nicola, A., Yudin, I.: Hard Lefschetz theorem for Sasakian manifolds. J. Differential Geom. 101(1), 47–66 (2015). https://doi.org/10.4310/jdg/1433975483
Lin, Y.: Lefschetz contact manifolds and odd dimensional symplectic geometry. arXiv:https://arxiv.org/abs/1311.1431 (2016)
Lefschetz, S.: L’analysis situs et la géométrie algébrique, collection de monographies publiée sous la direction de m. Émile borel (in French). Gauthier-Villars, Paris (1924)
Hodge, W.V.D.: The Theory and Applications of Harmonic Integrals, 2nd edn. Cambridge, at the University Press (1952)
Thurston, W.P.: Some simple examples of symplectic manifolds. Proc. Amer. Math. Soc. 55(2), 467–468 (1976). https://doi.org/10.2307/2041749
Benson, C., Gordon, C.S.: Kähler and symplectic structures on nilmanifolds. Topology 27(4), 513–518 (1988). https://doi.org/10.1016/0040-9383(88)90029-8
Cordero, L.A., Fernández, M., de León, M.: Examples of compact complex manifolds with no Kähler structure. Portugal. Math. 44(1), 49–62 (1987)
Cordero, L.A., Fernández, M., Gray, A.: The Frölicher spectral sequence for compact nilmanifolds. Illinois J. Math. 35(1), 56–67 (1991). http://projecteuclid.org/euclid.ijm/1255987978
Yamada, T.: Examples of compact Lefschetz solvmanifolds. Tokyo J. Math. 25(2), 261–283 (2002). https://doi.org/10.3836/tjm/1244208853
Cordero, L.A., Fernández, M., de León, M.: Examples of compact non-Kähler almost Kähler manifolds. Proc. Amer. Math. Soc. 95(2), 280–286 (1985). https://doi.org/10.2307/2044528
Cordero, L.A., Fernández, M., de León, M., Saralegui, M.: Compact symplectic four solvmanifolds without polarizations. Ann. Fac. Sci. Toulouse Math. (5) 10(2), 193–198 (1989). http://www.numdam.org/item?id=AFST_1989_5_10_2_193_0
Cordero, L.A., Fernández, M., Gray, A.: Symplectic manifolds with no Kähler structure. Topology 25(3), 375–380 (1986). https://doi.org/10.1016/0040-9383(86)90050-9
Cordero, L.A., Fernández, M., Gray, A.: The failure of complex and symplectic manifolds to be Kählerian Differential Geometry: Geometry in Mathematical Physics and Related Topics (Los Angeles, CA, 1990), Proc. Sympos. Pure Math., vol. 54, pp 107–123. Amer. Math. Soc., Providence, RI (1993)
Cordero, L.A., Fernández, M., Ugarte, L., Gray, A.: A general description of the terms in the Frölicher spectral sequence. Differential Geom. Appl. 7(1), 75–84 (1997). https://doi.org/10.1016/S0926-2245(96)00038-1
Cordero, L.A., Fernández, M., Gray, A., Ugarte, L.: Compact nilmanifolds with nilpotent complex structures: Dolbeault cohomology. Trans. Amer. Math. Soc. 352(12), 5405–5433 (2000). https://doi.org/10.1090/S0002-9947-00-02486-7
Tralle, A., Oprea, J.: Symplectic Manifolds with No Kähler Structure. Lecture Notes in Mathematics, vol. 1661. Springer-Verlag, Berlin (1997). https://doi.org/10.1007/BFb0092608
El Kacimi-Alaoui, A.: Opérateurs transversalement elliptiques sur un feuilletage riemannien et applications. Compositio Math. 73(1), 57–106 (1990). http://www.numdam.org/item?id=CM_1990__73_1_57_0
Cordero, L.A., Wolak, R.A.: Examples of foliations with foliated geometric structures. Pacific J. Math. 142 (2), 265–276 (1990). http://projecteuclid.org/euclid.pjm/1102646346
Cordero, L.A., Wolak, R.A.: Properties of the basic cohomology of transversely Kähler foliations. Rend. Circ. Mat. Palermo (2) 40(2), 177–188 (1991). https://doi.org/10.1007/BF02844686
Hajduk, B., Tralle, A.: On simply connected K-contact non-Sasakian manifolds. J. Fixed Point Theory Appl. 16(1-2), 229–241 (2014). https://doi.org/10.1007/s11784-015-0210-y
Muñoz, V., Tralle, A.: Simply connected K-contact and Sasakian manifolds of dimension 7. Math. Z. 281 (1-2), 457–470 (2015). https://doi.org/10.1007/s00209-015-1494-8
Cappelletti-Montano, B., De Nicola, A., Marrero, J.C., Yudin, I.: Examples of compact K-contact manifolds with no Sasakian metric. Int. J. Geom. Methods Mod. Phys. 11(9), 1460028, 10 (2014). https://doi.org/10.1142/S0219887814600287
Cappelletti-Montano, B., De Nicola, A., Marrero, J.C., Yudin, I.: A non-Sasakian Lefschetz K-contact manifold of Tievsky type. Proc. Amer. Math. Soc. 144(12), 5341–5350 (2016). https://doi.org/10.1090/proc/13187
Greub, W., Halperin, S., Vanstone, R.: Connections, Curvature, and Cohomology. Vol. II: Lie Groups, Principal Bundles, and Characteristic Classes. Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers], New York-London (1973). Pure and Applied Mathematics, Vol. 47-II
Tondeur, P.: Geometry of Foliations. Monographs in Mathematics, vol. 90. Birkhäuser Verlag, Basel (1997). DOI/10.1007/978-3-0348-8914-8
Molino, P., Sergiescu, V.: Deux remarques sur les flots riemanniens. Manuscripta Math. 51(1-3), 145–161 (1985). https://doi.org/10.1007/BF01168350
El Kacimi-Alaoui, A., Hector, G.: Décomposition de Hodge basique pour un feuilletage riemannien. Ann. Inst. Fourier (Grenoble) 36(3), 207–227 (1986). http://www.numdam.org/item?id=AIF_1986__36_3_207_0
Saralegui, M.: The Euler class for flows of isometries Differential Geometry (Santiago de Compostela, 1984), Res. Notes in Math., vol. 131, pp 220–227. Pitman, Boston, MA (1985)
Bak, L., Czarnecki, A.: A remark on the Brylinski conjecture for orbifolds. J. Aust. Math. Soc. 91(1), 1–12 (2011)
Yan, D.: Hodge structure on symplectic manifolds. Adv. Math. 120(1), 143–154 (1996)
Boyer, C.P., Galicki, K.: Sasakian Geometry. Oxford Mathematical Monographs. Oxford University Press, Oxford (2008) MR2382957
Boothby, W.M., Wang, H.C.: On contact manifolds. Ann. of Math. (2) 68, 721–734 (1958). https://doi.org/10.2307/1970165
Kobayashi, S.: Principal fibre bundles with the 1-dimensional toroidal group. Tohoku Math. J. 2(8), 29–45 (1956)
Audin, M.: Exemples de variétés presque complexes. Enseign. Math. (2) 37(1-2), 175–190 (1991)
Lupton, G., Oprea, J.: Cohomologically symplectic spaces: toral actions and the Gottlieb group. Trans. Amer. Math. Soc. 347(1), 261–288 (1995)
Lupton, G., Oprea, J.: Symplectic manifolds and formality. J. Pure Appl. Algebra 91(1-3), 193–207 (1994)
Fernández, M., de León, M., Saralegui, M.: A six-dimensional compact symplectic solvmanifold without Kähler structures. Osaka J. Math. 33 (1), 19–35 (1996)
de Andrés, L.C., Fernández, M., de León, M., Mencía, J.J.: Some six-dimensional compact symplectic and complex solvmanifolds. Rend. Mat. Appl. (7) 12(1), 59–67 (1992)
Fernández, M., Muñoz, V., Santisteban, J.A.: Cohomologically Kähler manifolds with no Kähler metrics. Int. J. Math. Math. Sci. 52,3315–3325 (2003)
Hasegawa, K.: A note on compact solvmanifolds with Kähler structures. Osaka J. Math. 43(1), 131–135 (2006)
McDuff, D.: Examples of simply-connected symplectic non-Kählerian manifolds. J. Differential Geom. 20(1), 267–277 (1984)
Ghys, E.: Un feuilletage analytique dont la cohomologie basique est de dimension infinie. Pub. IRMA Lille vol. VII, Fasc. I (1985)
Acknowledgements
The authors wish to thank the referee for the useful remarks made in order to improve this paper.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. The first author has been partially supported by the Gobierno Vasco grant IT1094-16; the first and second authors by Ministerio de Ciencia, Spain, grant MTM2016-77642-C2-1-P, and the three authors by Ministerio de Ciencia, Spain, grant PID2019-105621GB-I00.
Author information
Authors and Affiliations
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.
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
Royo Prieto, J.I., Saralegi-Aranguren, M. & Wolak, R. Hard Lefschetz Property for Isometric Flows. Transformation Groups 29, 409–423 (2024). https://doi.org/10.1007/s00031-022-09744-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00031-022-09744-6