Examples of foliations with infinite dimensional special cohomology

TL;DR

This paper provides examples of foliations exhibiting infinite dimensional basic symplectic and complex cohomologies, highlighting limitations on extending finiteness results from Riemannian foliations to broader classes.

Contribution

It introduces specific examples of foliations with infinite dimensional cohomologies and a general condition for such phenomena, challenging existing finiteness assumptions.

Findings

Examples of foliations with infinite dimensional cohomologies

A general sufficient condition for infinite dimensionality

Unusual behavior of basic de Rham cohomology

Abstract

We present examples of foliations with infinite dimensional basic symplectic and com- plex cohomologies, along with a general sufficient condition for such phenomena. This puts re- strictions on possible generalizations of several finiteness results from Riemannian foliations to any broader class. The examples are also noteworthy for the unusual behaviour of their basic de Rham cohomology.

Equations

$$i_X\omega =i_{X}d\omega =0$$

$$H_{BC}^{\bullet ,\bullet }(M/\mathcal{F}):=$$

$$H_A^{\bullet ,\bullet }(M/\mathcal{F}):=$$

$$H_{BC}^{p,q}(M/\mathcal{F})⟶H_A^{n-p,n-q}(M/\mathcal{F})$$

$${\ast }_s:{\Omega }^k(M/\mathcal{F})⟶{\Omega }^{2n-k}(M/\mathcal{F})$$

$${\alpha }_1\wedge {\ast }_s{\alpha }_2=G({\alpha }_1,{\alpha }_2)\frac{{\omega }^n}{n!}$$

$$d^{\Lambda }\alpha :=(-1{)}^{k+1}{\ast }_{s}d{\ast }_s(\alpha )$$

$$H_{d^{\Lambda }}^{\bullet }(M/\mathcal{F})$$

$$H_{d+d^{\Lambda }}^{\bullet }(M/\mathcal{F})$$

$$H_{d{d}^{\Lambda }}^{\bullet }(M/\mathcal{F})$$

$$H_{d{d}^{\Lambda }}^p(M/\mathcal{F})$$

$$H_{d+d^{\Lambda }}^p(M/\mathcal{F})$$

$$\begin{array}[]{ccccccc}I_{12}\subset I_{1},I_{2}&;&I_{1}\subset K_{1}&;&I_{2}\subset K_{2}&;&K_{1},K_{2}\subset K_{12}\end{array}$$

$$\left(K_1\cap I_2\right)$$

$$\begin{array}[]{ccccc}K_{1}=\text{ker }d&&K_{2}=\text{ker }d^{\Lambda}&&K_{12}=\text{ker }dd^{\Lambda}\\ I_{1}=\text{im }d&&I_{2}=\text{im }d^{\Lambda}&&I_{12}=\text{im }dd^{\Lambda}\end{array}$$

$$\begin{array}[]{ccccc}K_{1}=\text{ker }\partial&&K_{2}=\text{ker }\bar{\partial}&&K_{12}=\text{ker }\partial\bar{\partial}\\ I_{1}=\text{im }\partial&&I_{2}=\text{im }\bar{\partial}&&I_{12}=\text{im }\partial\bar{\partial}\end{array}$$

$${\Omega }^0(M/{\mathcal{F}}_A)$$

$${\Omega }^1(M/{\mathcal{F}}_A)$$

$${\Omega }^2(M/{\mathcal{F}}_A)$$

$$\alpha =\left[\begin{array}{cccc}0& f_1& f_2& f_3\\ -f_1& 0& f_4& f_5\\ -f_2& -f_4& 0& f_6\\ -f_3& -f_5& -f_6& 0\end{array}\right]$$

$$\alpha =A^t\alpha A$$

$${\Omega }^2(M/{\mathcal{F}}_A,\mathbb{C})=$$

$$\oplus \{f_3(x_2,y_2)\left(d{x}_1\wedge d{y}_2+d{y}_1\wedge d{x}_2\right)\}$$

$$\oplus \{f_5(x_2,y_2)d{x}_2\wedge d{y}_2\}$$

$$\oplus \{f_6(x_2,y_2)d{x}_2\wedge d{y}_2\}$$

$${\Omega }^2(M/{\mathcal{F}}_A,\mathbb{C})=$$

$$\oplus \{c(z)\left(dw\wedge d\bar{z}+d\bar{w}\wedge dz\right)\}$$

$$\oplus \{e(z)d\bar{w}\wedge d\bar{z}\}$$

$$\oplus \{f(z)dz\wedge d\bar{z}\}$$

$${\Omega }^{n-k}(M/{\mathcal{F}}_A)$$

$$H_{d+d^{\Lambda }}^{\bullet }(M/{\mathcal{F}}_A)\ni [\alpha ]\mapsto [\alpha ]\in H^{\bullet }(M/{\mathcal{F}}_A)$$

Full text

1 Introduction.

The initial purpose of this short paper was to present exmples of foliations with infinite dimensional special basic cohomologies. A simple algebraic Lemma 1 (based on methods used in Ang ) enables us to relate special basic cohomologies to ordinary basic cohomology of a foliation. We thus obtain interesting examples of infinite dimensional basic Bott-Chern and Aeppli cohomologies (in the transversely holomorphic case), and basic $(d+d^{\Lambda})$- and $dd^{\Lambda}$-cohomologies (in the transversely symplectic case). These cohomologies (and especially their non-foliated counterparts) are subject of extensive study (cf. A1 , appli , Ang , Ida , My , Yau ), in particular it can be proved (cf. My ) that for Riemannian foliations they all are finite dimensional. Our examples amount to say that certain compactness conditions in those proofs cannot be dropped, which is by no means obvious (cf. Ma , which works for both compact and non-compact manifolds). The examples also violate various dualities present in the Riemannian case. We will begin the next section with a review of all relevant notions.

However, the behaviour of special basic cohomologies in our examples revealed an interesting picture. Of all the peculiarities collected in the last section, we single out the following: the basic cohomology of our transversely holomorphic example has infinite dimension in degree 2 and 4, and finite dimension in degree 3. To the extent of our knowledge, no example of basic cohomology reverting to finite dimension was ever given. It is worth pointing out that we know essentially only two ways of producing infinite dimensional basic cohomology: either Schwarz’ schwarz or Ghys’ ghys . We feel it is important to better understand how the infinite dimensional basic cohomology may arise in non-Riemannian foliations. Lemma 1 and its application to the transversely holomorphic example shed some light on this matter.

2 Foliations.

2.1 Transverse structures.

We start with a brief review of some basic facts about foliations and transverse structures. The interested reader is referred to M1 for a thorough exposition. All manifolds are assumed to be compact.

Definition 1

A codimension $n$ foliation $\mathcal{F}$ on a smooth manifold $M$ is given by the following data:

• •

an open cover $\mathcal{U}:=\{U_{i}\}_{i\in I}$ of M;

• •

a $n$-dimensional smooth manifold $T_{0}$;

• •

for each $U_{i}\in\mathcal{U}$ a submersion $f_{i}\,:\,U_{i}\longrightarrow T_{0}$ with connected fibres (called plaques);

• •

for each intersections $U_{i}\cap U_{j}\neq\emptyset$ a local diffeomorphism $\gamma_{ij}$ of $T_{0}$ such that $f_{j}=\gamma_{ij}\circ f_{i}$.

The last condition ensures that the plaques glue nicely to form a partition of $M$ by submanifolds of codimension $n$, called leaves of $\mathcal{F}$.

We call $T=\coprod\limits_{U_{i}\in\mathcal{U}}f_{i}(U_{i})$ the transverse manifold of $\mathcal{F}$. The local diffeomorphisms $\gamma_{ij}$ generate a pseudogroup $\Gamma$ of transformations on $T$ (called the holonomy pseudogroup). The space of leaves {\raisebox{1.99997pt}{M}\left/\raisebox{-1.99997pt}{\mathcal{F}}\right.} of the foliation $\mathcal{F}$ can be identified with {\raisebox{1.99997pt}{T}\left/\raisebox{-1.99997pt}{\Gamma}\right.}. We note that neither $T$ nor {\raisebox{1.99997pt}{T}\left/\raisebox{-1.99997pt}{\Gamma}\right.} need to be compact, even if $M$ is.

Definition 2

A smooth form $\omega$ on $M$ is called basic if for any vector field $X$ tangent to the leaves of $\mathcal{F}$ we have

[TABLE]

Basic forms are in one-to-one correspondence with $\Gamma$-invariant smooth forms on $T$, a point of view that we will take below.

It is clear that $d\omega$ is basic for any basic form $\omega$. Hence the set of basic forms of $\mathcal{F}$, $\Omega^{\bullet}(M/\mathcal{F})$, is a subcomplex of the de Rham complex of $M$. We define the basic cohomology (or sometimes basic de Rham cohomology if other basic cohomologies will be in play) of $\mathcal{F}$ to be the cohomology of this subcomplex and denote it by $H^{\bullet}(M/\mathcal{F})$.

A transverse structure to $\mathcal{F}$ is any $\Gamma$-invariant structure on $T$. We will need the following examples.

Definition 3

$\mathcal{F}$ is said to be transversely orientable if $T$ is orientable and all the $\gamma_{ij}$ are orientation preserving. $\mathcal{F}$ is said to be homologically orientable if the top basic cohomology space $H^{n}(M/\mathcal{F})=\mathbb{R}$. Contrary to the non-foliated case, these two notions are not equivalent as we will see later on.

Definition 4

$\mathcal{F}$ is said to be Riemannian if $T$ has a $\Gamma$-invariant Riemannian metric.

We emphasize here a strong property of the Riemannian foliations: their basic cohomology is always finite dimensional. We refer the reader to E1 for the proof applicable also to the other cohomologies considered below.

From now on, we will restrict our attention to foliations of even codimension $2n$.

Definition 5

$\mathcal{F}$ is said to be transversely symplectic if $T$ admits a $\Gamma$-invariant closed non-degenerate 2-form $\omega$, called a transverse symplectic form. Again, contrary to the non-foliated case this does not imply homological orientability, although it makes $\mathcal{F}$ transversally oriented.

Definition 6

$\mathcal{F}$ is said to be transversely holomorphic if $T$ admits a complex structure that makes all the $\gamma_{ij}$ holomorphic.

Definition 7

A foliation is said to be Hermitian if it is both transversely holomorphic and Riemannian. We emphasize that neither of these condition implies the other.

If $\mathcal{F}$ is transversely holomorphic, we have the standard decomposition of the space of complex valued forms $\Omega^{\bullet}({M/\mathcal{F},\mathbb{C}})$ into forms of type $(p,q)$ and $d$ decomposes as $\partial+\bar{\partial}$ of orders (1,0) and (0,1), respectively. We can then define the basic Dolbeault double complex $\left(\Omega^{\bullet,\bullet}({M/\mathcal{F},\mathbb{C}}),\partial,\bar{\partial}\right)$, basic Dolbeault cohomology H^{\bullet}_{\bar{\partial}}(M/\mathcal{F})={\raisebox{1.99997pt}{\text{ker}\bar{\partial}}\left/\raisebox{-1.99997pt}{\text{im }\bar{\partial}}\right.}, and basic Frölicher spectral sequence just like in the non-foliated case. We note that for a Hermitian foliation the basic Dolbeault cohomology is again finite dimensional and even without this assumption the basic Frölicher sequence converges to the basic cohomology.

2.2 Bott-Chern and Aeppli cohomology theories.

Let $M$ be a manifold endowed with a transversely holomorphic foliation $\mathcal{F}$ of complex codimension $n$. Using the operators $\partial$ and $\bar{partial}$ above we can construct the basic Bott-Chern and basic Aeppli cohomologies of $\mathcal{F}$:

[TABLE]

Assuming the foliation is Hermitian, we have some restrictions on these cohomologies. We recall the results from My .

Theorem 2.1

If $M$ is a compact manifold endowed with a Hermitian foliation $\mathcal{F}$, then the dimensions of $H^{\bullet,\bullet}_{BC}(M/\mathcal{F})$ and $H^{\bullet,\bullet}_{A}(M/\mathcal{F})$ are finite.

Corollary 1

If $M$ is a compact manifold endowed with a Hermitian homologically orientable foliation $\mathcal{F}$, then there is an isomorphism

[TABLE]

induced by the transverse Hodge star operator.

We also note that for a Kähler manifold these cohomologies are isomorphic to Dolbeault cohomology – so their failure to do so measures how far a manifold is from being Kähler. The same applies to the foliated case.

2.3 $dd^{\Lambda}$- and ($d+d^{\Lambda}$)-cohomology theories.

Let $\mathcal{F}$ be a transversely symplectic foliation of codimension $2n$ on $M$ with a basic symplectic form $\omega$. Let us start by defining the symplectic star operator for $\mathcal{F}$. The transverse symplectic form defines a non-degenerate pairing $\tilde{G}$ of the vector fields on the transverse manifold. We can then extend it to a (non-degenerate) pairing $G$ on basic forms.

Definition 8

The symplectic star operator is a linear operator

[TABLE]

uniquely defined by the formula

[TABLE]

where $\alpha_{1}$ and $\alpha_{2}$ are arbitrary basic $k$-forms.

The symplectic star operator is an isomorphism, cf. Ma , and BC for an account in the foliated case. Out of many operators connected to the symplectic star, we only use

[TABLE]

where $\alpha$ is again a basic $k$-form. We point out the relation $dd^{\Lambda}+d^{\Lambda}d=0$. We can use this operator to define basic cohomology theories similar to those reviewed in the previous subsection:

[TABLE]

It is easy to see that the basic $d^{\Lambda}$-cohomology is simply the basic cohomology with reversed gradation and hence will not concern us. In a manner slightly different from Corollary 1, the symplectic star gives Poincaré dualities in the last two cohomologies

[TABLE]

We note that this does not depend on any transverse Riemannian structure (which may well not exist), nor on the homological orientation.

It can be shown, using My and Yau , that for a Riemannian transversely symplectic foliation $H^{\bullet}_{dd^{\Lambda}}$ and $H^{\bullet}_{d+d^{\Lambda}}$ are finite dimensional.

3 An algebraic lemma and its consequences.

Let $I_{1}$, $I_{2}$, $I_{12}$, $K_{1}$, $K_{2}$, $K_{12}$ be vector spaces satisfying

[TABLE]

Then the following lemma holds:

Lemma 1

If {\raisebox{1.99997pt}{K_{1}}\left/\raisebox{-1.99997pt}{I_{1}}\right.} or {\raisebox{1.99997pt}{K_{2}}\left/\raisebox{-1.99997pt}{I_{2}}\right.} have infinite dimension then {\raisebox{1.99997pt}{\left(K_{1}\cap K_{2}\right)}\left/\raisebox{-1.99997pt}{I_{12}}\right.} or {\raisebox{1.99997pt}{K_{12}}\left/\raisebox{-1.99997pt}{\left(I_{1}+I_{2}\right)}\right.} has infinite dimension as well.

Proof

Without loss of generality let us assume that {\raisebox{1.99997pt}{K_{1}}\left/\raisebox{-1.99997pt}{I_{1}}\right.} is infinite dimensional. Then there are two sequences

[TABLE]

It is easy to see that these sequences are exact in the middle (since the appropriate kernel and image are classes represented by elements of $\left(K_{1}\cap I_{2}\right)$). If both {\raisebox{1.99997pt}{\left(K_{1}\cap K_{2}\right)}\left/\raisebox{-1.99997pt}{I_{12}}\right.} and {\raisebox{1.99997pt}{K_{12}}\left/\raisebox{-1.99997pt}{\left(I_{1}+I_{2}\right)}\right.} have finite dimension, then so do {\raisebox{1.99997pt}{\left(K_{1}\cap I_{2}\right)}\left/\raisebox{-1.99997pt}{I_{12}}\right.} and {\raisebox{1.99997pt}{K_{12}}\left/\raisebox{-1.99997pt}{\left(I_{1}+K_{2}\right)}\right.} since they are smaller. But then the middle term has finite dimension by exactness, a contradiction.

We can apply this lemma to transversely symplectic and transversely holomorphic structures to get

Proposition 1

If $\mathcal{F}$ is a transversely symplectic foliation for which $H^{k}(M/\mathcal{F})$ is infinitely dimensional then $H^{k}_{d+d^{\Lambda}}(M/\mathcal{F})$ or $H^{k}_{dd^{\Lambda}}(M/\mathcal{F})$ have infinite dimension.

Proof

In the lemma take:

[TABLE]

Proposition 2

If $\mathcal{F}$ is a transversely holomorphic foliation for which $H^{p,q}_{\bar{\partial}}(M/\mathcal{F})$ is infinite dimensional then $H^{p,q}_{BC}(M/\mathcal{F})$ or $H^{p,q}_{A}(M/\mathcal{F})$ have infinite dimension.

Proof

In the lemma take:

[TABLE]

Corollary 2

If $\mathcal{F}$ is a transversely holomorphic foliation for which $H^{k}(M/\mathcal{F})$ is infinitely dimensional then, for some $(p,q)$ satisfying $p+q=k$, $H^{p,q}_{BC}(M/\mathcal{F})$ or $H^{p,q}_{A}(M/\mathcal{F})$ has infinite dimension.

Proof

By the previous proposition, it is sufficient to prove that Dolbeault cohomology has infinite dimension for some $(p,q)$ with $p+q=k$. This is obvious since the basic Frölicher spectral sequence converges to the basic cohomology of $\mathcal{F}$ and so the dimensions of the entries on the first page must be greater than of those in the limit.

4 Transversely symplectic example.

Consider, as in he , a map of the 2-torus $\mathbb{T}^{2}$ given by the matrix $A=\left[\begin{smallmatrix}1&1\\ 0&1\end{smallmatrix}\right]$. We form a suspension of this map, $\left(M,\mathcal{F}_{A}\right)$: a codimension two foliation on {\raisebox{1.99997pt}{\mathbb{T}^{2}\times[0,1]}\left/\raisebox{-1.99997pt}{(t,0)\sim(At,1)}\right.}. The plaques of this foliation are the lines $[0,1]\times\{t_{0}\}$ and $\mathbb{T}^{2}$ can be taken for the transverse manifold, with the pseudgroup $\Gamma$ the infinite cyclic group generated by $A$. Since $\det A=1$, this foliation is transversely symplectic with the standard symplectic form $dx\wedge dy$ on $\mathbb{T}^{2}$.

We determine the basic complex. Any basic function $f$ must satisfy $f(x,y)=f(x+y,y)$. Taking an irrational $y_{0}$ and any $x_{0}$ we see that $f$ does not depend on the first coordinate, since it is constant on $\{(x_{0}+ny_{0},y_{0})\}$, dense in $\{(x,y_{0})\}$. Therefore the basic functions correspond to smooth functions on a circle

[TABLE]

In a similar fashion we see that

[TABLE]

It is then easy to see that the basic cohomology is

$H^{0}(M/\mathcal{F}_{A})=H^{1}(M/\mathcal{F}_{A})=\mathbb{R}$ 2. 2.

$H^{2}(M/\mathcal{F}_{A})=\mathcal{C}^{\infty}(\mathbb{S}^{1})$

We note again that this precludes this foliation from being Riemannian.

We compute $H^{\bullet}_{d+d^{\Lambda}}(M/\mathcal{F}_{A})$ and $H^{\bullet}_{dd^{\Lambda}}(M/\mathcal{F}_{A})$. Observe that $dd^{\Lambda}=-d^{\Lambda}d=0$. In degree 2 and 0, it factors through the trivial spaces $\Omega^{3}(M/\mathcal{F}_{A})$ and $\Omega^{-1}(M/\mathcal{F}_{A})$, respectively. In degree 1 $dd^{\Lambda}f(y)dy=-d^{\Lambda}df(y)dy=0$, or because $*_{s}=id$ on $\Omega^{1}(M/\mathcal{F}_{A})$. Consequently

$H^{0}_{d+d^{\Lambda}}(M/\mathcal{F}_{A})=H^{2}_{d+d^{\Lambda}}(M/\mathcal{F}_{A})=\mathbb{R}$ 2. 2.

$H^{1}_{d+d^{\Lambda}}(M/\mathcal{F}_{A})=\mathcal{C}^{\infty}(\mathbb{S}^{1})$

$H^{0}_{dd^{\Lambda}}(M/\mathcal{F}_{A})=H^{2}_{dd^{\Lambda}}(M/\mathcal{F}_{A})=\mathcal{C}^{\infty}(\mathbb{S}^{1})$ 2. 2.

$H^{1}_{dd^{\Lambda}}(M/\mathcal{F}_{A})=\mathbb{R}$

5 Transversely holomorphic example.

To provide a transversely holomorphic foliation exhibiting the similar behaviour we mimic the construction presented above. We take the map of the 4-torus $\mathbb{T}^{4}$ induced by the matrix $A=\left[\begin{smallmatrix}1&0&1&0\\ 0&1&0&1\\ 0&0&1&0\\ 0&0&0&1\end{smallmatrix}\right]$. We form a suspension of this map, $\left(M,\mathcal{F}_{A}\right)$: a codimension four foliation on {\raisebox{1.99997pt}{\mathbb{T}^{4}\times[0,1]}\left/\raisebox{-1.99997pt}{(t,0)\sim(At,1)}\right.}. Since $A$ is in $Gl(2,\mathbb{C})\subset Gl(4,\mathbb{R})$ this foliation is transversally holomorphic with the complex structure induced from $\mathbb{T}^{4}$.

On the transverse manifold $\mathbb{T}^{4}$ we will use real coordinates $(x_{1},y_{1},x_{2},y_{2})$ (better suited for the suspension) and then switch to complex coordinates $(w,z)=(x_{1}+iy_{1},x_{2}+iy_{2})$ (better suited for the bigradation of the complex forms). We will describe the $A$-invariant forms, computing only the 2-forms explicitly as an example. The operators $\partial$, $\bar{\partial}$ and $\partial\bar{\partial}$ will prove to be not too complicated and we will proceed to compute basic de Rham, Dolbeault, Aepli and Bott-Chern cohomologies.

5.1 Invariant forms.

As in the previous example we can easily see the invariant complex functions to depend only on the last two real coordinates, or on the complex coordinate $z$. Hence $\Omega^{0}(M/\mathcal{F}_{A},\mathbb{C})=\mathcal{C}^{\infty}(\mathbb{T}^{2},\mathbb{C})$.

An $A$-invariant complex 2-form on the 4-torus is a skew-symmetric matrix

[TABLE]

where each entry is an invariant function, satisfying

[TABLE]

that amounts to $f_{1}=0$ and $f_{3}=f_{4}$. This gives

[TABLE]

which we will now rewrite in complex coordinates

[TABLE]

Note that any complex function of the complex coordinate is to be smooth, not holomorphic. We present all the invariant forms with the complex bigradation $\Omega^{\bullet,\bullet}(M/\mathcal{F}_{A},\mathbb{C})$, indicating where the differentials are obviously trivial. We use a generic letter $g$ for functions in degrees other than 2, since the labeling will play no role there.

The curvy arrows are meant to indicate that $d\Omega^{1}(M/\mathcal{F}_{A})$ is contained in the $\{f(z)dz\wedge d\bar{z}\}$ term of $\Omega^{1,1}(M/\mathcal{F}_{A})$ and $d\Omega^{1,1}(M/\mathcal{F}_{A})=d\{c(z)\left(dw\wedge d\bar{z}+d\bar{w}\wedge dz\right)\}$. Note that the diagram shows that $\partial\bar{\partial}$ can be non-zero only on the 0-forms.

5.2 De Rham cohomology.

We compute the basic cohomology over $\mathbb{C}$. Some of the spaces involved can be described in terms of cohomology of the complex torus $\mathbb{T}^{2}$ – parts of the diagram above clearly repeat parts of $\Omega^{\bullet,\bullet}(\mathbb{T}^{2},\mathbb{C})$ – which is not complicated, because the torus is Kähler.

Since the differentials are quite simple too, we hope that the reader will have no trouble justifying the claims below.

$H^{0}(M/\mathcal{F}_{A})\simeq H^{0}(\mathbb{T}^{2})=\mathbb{C}$; 2. 2.

$H^{1}(M/\mathcal{F}_{A})\simeq H^{1}(\mathbb{T}^{2})=\mathbb{C}^{2}$; 3. 3.

$H^{2}(M/\mathcal{F}_{A})\simeq V\oplus H^{2}(\mathbb{T}^{2})=V\oplus\mathbb{C}$, where $V$ is an infinite dimensional space $\{\bar{\partial}b-\partial c=\bar{\partial}c-\partial e=0\}$ easily seen to be infinite dimensional; none of these closed forms is exact since the image $d\Omega^{1}(M/\mathcal{F}_{A})\subset\{f(z)dz\wedge d\bar{z}\}$; the term $H^{2}(\mathbb{T}^{2})$ follows from this inclusion; 4. 4.

$H^{3}(M/\mathcal{F}_{A})\simeq\left(H^{2}(\mathbb{T}^{2})\right)^{2}=\mathbb{C}^{2}$ since the $dw$ and $d\bar{w}$ factors do not interfere in any way; 5. 5.

$H^{4}=\mathcal{C}^{\infty}(\mathbb{T}^{2},\mathbb{C})$ since the image $d\Omega^{3}(M/\mathcal{F}_{A})$ is trivial;

We present the three complex cohomologies in diagrams explaining their entries below each one.

5.3 Dolbeault cohomology

$H^{0,0}_{\bar{\partial}}$ is represented by constant functions; 2. 2.

$H^{1,0}_{\bar{\partial}}$ and $H^{2,0}_{{\bar{\partial}}}$ are represented by antiholomorphic functions; 3. 3.

$H^{1,1}_{{\bar{\partial}}}$ splits as $H^{1,1}_{{\bar{\partial}}}(\mathbb{T}^{2})$ and antiholomorphic functions; 4. 4.

$H^{0,1}_{{\bar{\partial}}}$ is again represented by antiholomorphic functions – note that $\bar{\partial}\{g(z)\}$ are precisely all functions divided by antiholomorphic ones; the same reasoning applies to $H^{2,1}_{{\bar{\partial}}}$ and $H^{1,2}_{{\bar{\partial}}}$; 5. 5.

the remaining spaces are $\mathcal{C}^{\infty}(\mathbb{T}^{2},\mathbb{C})$ since the relevant differentials are trivial;

5.4 Bott-Chern cohomology

$H^{0,0}_{BC}$ is represented by constant functions; 2. 2.

$H^{1,0}_{BC}$ and $H^{1,0}_{BC}$ are represented by holomorphic and antiholomorphic functions, respectively; 3. 3.

so are $H^{2,0}_{BC}$ and $H^{2,0}_{BC}$; 4. 4.

$H^{1,1}_{BC}$ is $H^{1,1}_{BC}(\mathbb{T}^{2})$ plus constant functions coming from the second summand in $\Omega^{1,1}(M/\mathcal{F}_{A})$; 5. 5.

$H^{2,1}_{BC}=H^{1,2}_{BC}=H^{2,2}_{BC}=\mathcal{C}^{\infty}(\mathbb{T}^{2},\mathbb{C})$ since each of the $\partial$, $\bar{\partial}$, and $\partial\bar{\partial}$ is trivial in these cases;

5.5 Aeppli cohomology

$H^{0,0}_{A}$ is represented by constant functions; 2. 2.

$H^{1,0}_{A}=H^{1,0}_{A}(\mathbb{T}^{2})$ and $H^{0,1}_{A}=H^{0,1}_{A}(\mathbb{T}^{2})$; 3. 3.

$H^{2,0}_{A}$ and $H^{0,2}_{A}$ are all the relevant forms, since the differentials are all zero in these cases; 4. 4.

$H^{1,1}_{A}$ splits into the $H^{1,1}_{BC}(\mathbb{T}^{2})=H^{2}(\mathbb{T}^{2})$ and $\mathcal{C}^{\infty}(\mathbb{T}^{2},\mathbb{C})$ since the $\partial\bar{\partial}$ is trivial; 5. 5.

$H^{2,1}_{A}=H^{1,2}_{A}$ are again $H^{1,2}_{A}(\mathbb{T}^{2})=H^{2,1}_{A}(\mathbb{T}^{2})$; 6. 6.

$H^{2,2}_{A}=\mathcal{C}^{\infty}(\mathbb{T}^{2},\mathbb{C})$ since all the differentials are trivial;

6 Conclusions

We close this paper summarising some interesting properties of the given examples.

Remark 1

The transversely symplectic example highlights that the infinite dimension of symplectic cohomology in dimension $k$ may stem, by Proposition 1, form infinite dimension of de Rham basic cohomology in degree $k$ ($H^{2}_{dd^{\Lambda}}(M/\mathcal{F}_{A})$), or degree $2n-k$, via Poincaré duality ($H^{0}_{dd^{\Lambda}}(M/\mathcal{F}_{A})$), or indeed it can be unprovoked by any of these ($H^{1}_{d+d^{\Lambda}}(M/\mathcal{F}_{A})$).

Remark 2

The transversely holomorphic example exhibits infinite dimensional basic, Dolbeault, Bott-Chern and Aeppli cohomologies. The basic Aeppli cohomology is infinite dimensional in bidegrees $(2,0)$, $(1,1)$, $(0,2)$, and $(2,2)$. In bidegree $(1,1)$ both the basic Dolbeault cohomology and its adjoint counterpart (the basic $\partial$-cohomology) are finite dimensional. This shows that also the basic Aeppli cohomology can be infinite dimensional without the help of basic Dolbeault cohomology and Proposition 1. The same thing happens for the basic Bott-Chern cohomology in bidegrees $(2,1)$ and $(1,2)$. We also note that while $H^{1,1}_{A}(M/\mathcal{F}_{A})$ could be perhaps explained by infinite dimension of $H^{2}(M/\mathcal{F}_{A})$, it is not the case for either $H^{2,1}_{BC}(M/\mathcal{F}_{A})$ or $H^{1,2}_{BC}(M/\mathcal{F}_{A})$.

Remark 3

The example proves that Poincaré duality between Bott-Chern and Aeppli cohomology may fail in absence of Riemannian metric. We also point out that for the same reason the Dolbeault cohomology of the example does not exibit Serre duality.

Remark 4

It is also worth pointing out that the basic de Rham cohomology of this example is infinite dimensional in degrees 2 and 4, but reverts to being finite dimensional in degree 3. To the extent of our knowledge such example have not been described before.

Remark 5

The property of reverting to finite dimension is important for the further developements in this field. The richest geometry in the transversely symplectic setting is the Kähler structure, and short of that – the hard Lefshetz property, that

[TABLE]

is an epimorphism. It is a theorem that this property forces the map

[TABLE]

to be epimorphic as well, cf. BC ; Yau . It is natural to ask for examples where infinite dimension of the former is derived from infinite dimension of the latter via the hard Lefschetz property. However, as we pointed out in the introduction, $H^{0}(M/\mathcal{F}_{A})$ and $H^{1}(M/\mathcal{F}_{A})$ are always finite dimensional and there is no known example of infinite dimensional basic cohomology without the infinite dimension in the top degree.