COHOMOLOGY OF MANIFOLDS WITH STRUCTURE GROUP

. We introduce a new spectral sequence for the study of K -manifolds which arises by restricting the spectral sequence of a Riemannian foliation to forms invariant under the ﬂows of { ξ 1 ,...,ξ s } . We use this sequence to generalize a number of theorems from K -contact geometry to K -manifolds. Most importantly we compute the cohomology ring and harmonic forms of S - manifolds in terms of primitive basic cohomology and primitive basic harmonic forms (respectively). As an immediate consequence of this we get that the basic cohomology of S -manifolds are a topological invariant. We also show that the basic Hodge numbers of S -manifolds are invariant under deformations. Finally, we provide similar results for C -manifolds.


Introduction
In [19,20] a study of manifolds with a tensor field f of type (1, 1) was initiated.The importance of the tensor field f stems from the fact that its existence is equivalent to the reduction of the structure group of the manifold to U (n)× O(s).As such this generalizes both the concept of almost complex and almost contact manifolds.The properties of the curvature of such manifolds where further studied in [5].In particular, a special class of f -structures, called S-structure, was introduced which generalizes Kähler and Sasakian manifolds.Since then these structures as well as their various generalizations (e.g.K-structures, K-f -contact manifolds) were thoroughly studied.
The purpose of this article is to study the cohomological properties of such manifolds.In particular we are interested in the relations between the cohomology of the manifold and the basic cohomology of the foliation defined by the S-structure.This study is motivated by the important role played by basic cohomology in Sasakian Geometry (e.g. the Sasakian version of the Calabi-Yau Theorem) as well as new results from [7,11].We approach the problem by introducing and studying a new spectral sequence which is a variation of the spectral sequence of a Riemannian foliation (studied in e.g [1,2,17]) and relates basic cohomology of a (almost) Kmanifold to its de Rham cohomology.Using this sequence we generalize a well known fact that for K-contact manifolds satisfying the hard Lefschetz property (equivalently the transverse hard Lefschetz property) the cohomology of the manifold in degree r ≤ n is isomorphic to the primitive basic cohomology (see [14]).Due to Poincaré duality this allows us to recreate the cohomology of the manifold from basic primitive cohomology and viceversa, which implies that in such a case basic cohomology is a topological invariant.In fact, our results applie to a more general class of manifolds, namely almost S-structures satisfying the basic hard Lefschetz property.Using similar methods we also proof an analogous result for C-structures which constitutes another special class of manifolds distinguished in [5] and generalising the notion of quasi-Sasakian manifolds with a closed 1-form η.An immediate corollary is that for manifolds with such structures the basic cohomologies are a topological invariant.In particular, this is true for any S-manifolds and C-manifolds.
We provide two additional applications of the above results.Firstly, we classify Harmonic forms on S-manifolds and C-manifolds in terms of basic harmonic forms.This can be treated as a generalization of Proposition 7.4.13from [6].Secondly, we show that basic Hodge numbers of almost S-manifolds and almost C-manifolds which have the transverse hard Lefschetz property are invariant under deformations of such manifolds.This generalizes the main result from [16].In particular, it is worth noting that this result applies to K-contact manifolds satisfying the hard Lefschetz property.Moreover, this partially answers Question 1.2 from [16], in that it gives a positiva answer to that question for a new class of transversely Kähler foliations.
We designate the subsequent section to preliminaries on basic cohomology and S-structures.In Section 3 we describe the aforementioned spectral sequence which will be the key tool in this article.We apply it in Sections 4 and 5 to prove the main results for almost S-structures and almost C-manifolds respectively.The final two sections contain the additional applications mentioned above.

Preliminaries
2.1.Foliations.We provide a quick review of transverse structures on foliations.Definition 2.1.A codimension q foliation F on a smooth n-manifold M is given by the following data: • An open cover U := {U i } i∈I of M.
• A q-dimensional smooth manifold T 0 .
• For each U i ∈ U a submersion f i : U i → T 0 with connected fibers (these fibers are called plaques).• For all intersections U i ∩ U j = ∅ a local diffeomorphism γ ij of T 0 such that f j = γ ij • f i The last condition ensures that plaques glue nicely to form a partition of M consisting of submanifolds of M of codimension q.This partition is called a foliation F of M and the elements of this partition are called leaves of F .
We call T = Ui∈U f i (U i ) the transverse manifold of F .The local diffeomorphisms γ ij generate a pseudogroup Γ of transformations on T (called the holonomy pseudogroup).The space of leaves M/F of the foliation F can be identified with T /Γ.Definition 2.2.A smooth form ω on M is called basic if for any vector field X tangent to the leaves of F the following equality holds: Basic 0-forms will be called basic functions henceforth.
Basic forms are in one to one correspondence with Γ-invariant smooth forms on T. It is clear that dω is basic for any basic form ω. Hence, the set of basic forms of F (denoted Ω • (M/F )) is a subcomplex of the de Rham complex of M. We define the basic cohomology of F to be the cohomology of this subcomplex and denote it by H • (M/F ).A transverse structure to F is a Γ-invariant structure on T. For example: Definition 2.3.F is said to be transversely symplectic if T admits a Γ-invariant closed 2-form ω of maximal rank.ω is then called a transverse symplectic form.As we noted earlier ω corresponds to a closed basic form of rank q on M (also denoted ω).Definition 2.4.F is said to be transversely holomorphic if T admits a complex structure that makes all the γ ij holomorphic.This is equivalent to the existence of an almost complex structure J on the normal bundle N F := T M/T F (where T F is the bundle tangent to the leaves) satisfying: • L X J = 0 for any vector field X tangent to the leaves.
• if Y 1 and Y 2 are sections of the normal bundle then: where [ , ] is the bracket induced on the sections of the normal bundle (which can be defined by a choice of complement Remark 2.5.If F is transversely holomorphic we have the standard decomposition of the space of complex valued forms Ω • (M/F , C) into forms of type (p,q) and d decomposes into the sum of operators ∂ and ∂ of order (1,0) and (0,1) respectively.Hence, one can define the Dolbeault double complex the Frölicher spectral sequence and the Dolbeault cohomology as in the manifold case.
Definition 2.6.F is said to be transversely orientable if T is orientable and all the γ ij are orientation preserving.This is equivalent to the orientability of N F .
Definition 2.7.F is said to be Riemannian if T has a Γ-invariant Riemannian metric.This is equivalent to the existence of a Riemannian metric g on N F with L X g = 0 for all vector fields X tangent to the leaves.
Definition 2.8.A foliation is said to be Hermitian if it is both transversely holomorphic and Riemannian.
Definition 2.9.A foliation F together with a triple (g, J, ω) consisting of a transverse Riemannian metric, transverse holomorphic structure and transverse symplectic form is called transversely Kähler if the following compatibility condition holds: We finish this section by recalling the spectral sequence of a Riemannian foliation.
Definition 2.10.We put: is called an r-differential form of filtration k.The definition above in fact gives a filtration of the de Rham complex.Hence, via known theory from homological algebra we can cosntruct a spectral sequence as follows: (1) The 0-th page is given by E p,q 0 = F p F Ω p+q (M )/F p+1 F Ω p+q (M ) and d p,q 0 : E p,q 0 → E p,q+1 0 is simply the morphism induced by d.
(2) The r-th page is given inductively by: (3) The r-th coboundary operator d r : E p,q r → E p+r,q−r+1 r is again just the map induced by d (due to the description of the r-th page this has the target specified above and is well defined).Furthermore, since the filtration is bounded this spectral sequence converges and its final page is isomorphic to the cohomology of the cochain complex (in this case the de Rham cohomology of M ).
Remark 2.11.The above spectral sequence can be thought of as a generalization of the Leray-Serre spectral sequence in de Rham cohomology to arbitrary Riemannian foliations (as opposed to fiber bundles).
2.2.Basic Hodge theory.We devote this section to provide some background information on basic Hodge theory (see [9]) which will be applied in the final two section of this article.Firstly, we recall a special class of Riemannian foliations on which the aforementioned theory is greatly simplified: Definition 2.12.A codimension q foliation F on a connected manifold M is called homologically orientable if H q (M/F ) = R.A foliation F on a manifold M is called homologically orientable if its restriction to each connected component of M is homologically orientable.
We will later see in the subsequent section that all the foliation considered in this paper are in fact homologically orientable and hence we shall restrict our attention to this case throughout the rest of this subsection.
Let F be a homologically orientable Riemannian foliation on a manifold M .One can use the transverse Riemannian metric to define a basic Hodge star operator * b pointwise.This in turn allows us to define the basic adjoint operator: Remark 2.13.While we choose this to be the definition of δ b , it is in fact an adjoint of d with respect to an appropriate inner product on forms induced by the transverse metric g.However, the definition of this inner product is quite involved and not necessary for our purpose.Although, we shall state some of the classical results of basic Hodge theory which use this inner product in their proof.For details see [9].
Using δ b we can define the basic Laplace operator via: As it turns out this operator has some nice properties similar to that of the classical Laplace operator.In particular, it is transversely elliptic in the following sense: Definition 2.14.A basic differential operator of order m is a linear map D : Ω • (M/F ) → Ω • (M/F ) such that in local coordinates (x 1 , ..., x p , y 1 , ..., y q ) (where x i are leaf-wise coordinates and y j are transverse ones) it has the form: where a s are matrices of appropriate size with basic functions as coefficients.A basic differential operator is called transversely elliptic if its principal symbol is an isomorphism at all points of x ∈ M and all non-zero, transverse, cotangent vectors at x.
In particular, this implies the following important result from [9]: Theorem 2.15.Let F be a Riemannian homologically orientable foliation on a compact manifold M .Then: (1) H • (M/F ) is isomorphic to the space of basic harmonic forms Ker(∆ b ).In particular, it is finitely dimensional.(2) The basic Hodge star induces an isomorphism between H k (M/F ) and H q−k (M/ F ) given by taking the class of the image through * b of a harmonic representative.

Primitive basic cohomology.
Here we will recall some basic symplectic Hodge theory with main focus on primitive basic cohomology.To the best of our knowledge there is no concise source on the subject in its full generality (some special cases are treated in e.g.[6,14]), hence for the readers convienience we provide a proof for the existence of basic primitive representatives and the Lefschetz decomposition on basic harmonic forms of transversely Kähler foliations.Throughout this subsection let M be a compact manifold endowed with a homologically orientable, transversely symplectic Riemannian foliation F of codimension 2n.Firstly, let us note that by using the symplectic structure on the normal bundle N F we can define a symplectic star operator * s fiber by fiber in the standard way.This operator can in turn be used to define a number of other operators (on transverse forms i.e. sections of • N * F which can be naturally identified with differential forms satisfying i X α = 0 for X ∈ Γ(T F )) of interest: Remark 2.16.Note that if (g, ω, J) is a compatible triple consisting of a transverse Riemannian metric, transverse symplectic form and transverse almost complex structure, then by simple linear algebra: where J acts on a k-form via: this in turn allows one to compute that Λ is dual to L with respect to the metric g.
We also denote by L the morphism induced in cohomology by L. We recall the solution to the basic Bryliński conjecture from [3]: Theorem 2.17.Let M be a compact manifold endowed with a homologically orientable, transversely symplectic Riemannian foliation F .Then the following conditions are equivalent: is an isomorphism for all k.(2) Every basic cohomology class has a d Λ -closed representative.
We move to some results on basic primitive forms required in this paper.
The notion of primitive forms gives rise to the so called Lefschetz decomposition of forms: Proposition 2.19.Let M be a compact manifold endowed with a homologically orientable, transversely symplectic Riemannian foliation F .Let α be a basic r-form.Then α can be uniquely decomposed as: where β r−2i are basic primitive forms of degree r − 2i and are given by the formula: where a i,k are constants depending only on (n, i, k).
Proof.The proof of the unique decomposition and the explicit formula for β r−2i is well known from linear algebra (i.e. it is preciselly the same as in the manifold case).The fact that the forms β r−2i are basic follows from the explicit formula for β r−2i .
The following two theorems show that if a manifold satisfies the basic hard Lefschetz property then the above decomposition descends to cohomology.Theorem 2.20.Let M be a compact manifold endowed with a homologically orientable, transversely symplectic Riemannian foliation F satisfying the basic hard Lefschetz property.Let α be a basic cohomology class of degree r.Then α can be uniquely decomposed as: where β r−2i are basic primitive cohomology classes.
Proof.Firstly, let us note that by the basic hard Lefschetz property for i < n the mapping L : ) is a monomorphism.In particular, this means that for r ≤ n we have: Proceeding inductively we get: which proves the theorem for r ≤ n.For r > n simply compose the above decomposition for 2n − r with L r−n and apply the hard Lefschetz property.
Theorem 2.21.Let M be a compact manifold endowed with a homologically orientable, transversely symplectic Riemannian foliation F satisfying the basic hard Lefschetz property.Every basic primitive cohomology class has a basic primitive representative.
Proof.Let α be a d Λ -closed representative of a given basic primitivie cohomology class.Then each primitive component of α is given by: as described earlier.By applying d to the left hand side and noting that: (1) we see that each β r−2i is closed.We note that each component aside from β r has to be also exact as otherwise [α] would not be primitive.Hence, [β r ] = [α] which ends the proof.
Finally, we give a similar decomposition theorem for basic harmonic forms on transversely Kähler foliations.
Theorem 2.22.Let M be a compact manifold endowed with a homologically orientable, transversely Kähler foliation F .Let α be a basic harmonic r-form.Then α can be uniquely decomposed as: where β r−2i are basic harmonic forms which are primitive.
Proof.We start by prooving that if α is a basic harmonic k-form then so is Lα.It is known (cf.[9]) that if a basic form on a transversely Kähler foliation is basic harmonic then it is in the kernel of the operators ∂, ∂ and their adjoints (with respect to the transverse metric).In particular, it is in the kernel of the adjoint (d c ) * of the operator: but we can compute similarilly as in the classical case: Hence, we have proved that 0 = d Λ α = dΛα this together with δΛα = Λδα = 0 implies that Λα is harmonic.By adjointess the fact that Λ preserves being harmonic implies that L does so as well.Now if α is a basic harmonic form representing a primitive class then the form L n−k+1 α is harmonic as well.However, since L n−k+1 α represents the trivial cohomology class it has to be equall to 0. Hence, α is a primitive form itself.Now the theorem follows from Theorem 2.20 and the conclusion of the previous paragraph.
2.4.K-structures and S-structures.In this section we recall some of the work from [5] (see also [19,20]).We start with some definitions: Definition 2.23.An f -structure on a manifold M 2n+s is a (1, 1) tensor field satisfying As mentioned in the introduction the existence of such a structure is equivalent to a reduction of the structural group of M to U (n) × O(s).Throughout the paper we will use the notation "M 2n+s " to indicate that M is a (2n + s)-dimensional manifold endowed with an f -structure with rank(f ) = 2n.Definition 2.24.We say that an f -structure on M 2n+s has complemented frames if there are vector fields ξ i for together with 1-forms η i for i ∈ {1, ..., s} satisfying: Remark 2.25.We list some of the immediate properties of f -structures with complemented frames: (1) Ker(f ) is equall to the bundle < ξ 1 , ..., ξ s > spammed pointwise by {ξ 1 , ..., ξ s }.
In particular this gives a partition T M = Im(f )⊕ < ξ 1 , ..., ξ s >. (2) A complemented frame admits a compatible Riemannian metric g, i.e. such that: with respect to such a metric the forms η i are dual to the corresponding vector fields ξ i .(3) A compatible metric allows us to define a 2-form It is easy to see that η 1 ...η s F n = 0.This implies that M is orientable.Thorughout the rest of the paper we will consider M with the orientation induced by the above (2n + s)-form We now specialize to K-manifolds introduced in [5].However, our main results can be applied to a slightly more general class of manifolds which is more natural to define beforehand: Definition 2.26.A manifold M 2n+s together with an f -structure with a choosen complemented frame {ξ 1 , ..., ξ s , η 1 , ..., η s } and a compatible Riemannian metric g is an almost K-manifold if: (1) The 2-form The vector fields {ξ 1 , ..., ξ s } are Killing.If in addition the above set of data satisfies the equation: where [f, f ] is the Nijenhuis tensor of f , then the almost K-structure is said to be integrable.An integrable almost K-structure is also called a K-structure (cf.[5]).Proposition 2.27.Let M 2n+s be an almost K-manifold.Then Ker(f ) is involutive and hence induces a foliation.
Proof.It follows from the definition that Ker(f ) is equall to the kernel of the closed 2-form F (X, Y ) := g(X, f Y ) (treated as a map from T M to T * M ).Hence, we get for any vector field X the following equalities: Which means that [ξ i , ξ j ] is again in the kernel of F and hence the involutivity of Ker(f ) follows.
Moreover, it is clear that the foliation above is Riemannian (with g(f •, f •)) and transversely symplectic (with the 2-form F ), while the integrability condition implies that the foliation is also transversely holomorphic (and hence transversely Kähler).An almost K-structure not only defines the above foliation with its additional structures but also connects the transverse geometry of the foliation to that of the entire manifold.One instance of this is the following proposition which we will use later on in some of our applications.
Moreover, if the underlying almost K-structure of an almost S-structure (resp.almost C-structure) is integrable, then it is called a S-structure (resp.C-structure).
We finish this section by reiterating for the readers convienience the analogy between the above structures and their low dimensional counterparts.
It is also worth noting that our almost S-manifolds are already present in the literature as f -K-contact manifolds.However, we choose to stick to our terminology as it seems more appropriate when considering such manifolds along with non-integrable versions of K-manifolds and C-manifolds.

The spectral sequence of invariant forms on almost K-manifolds
Here we describe a canonical torus action on certain almost K-manifolds and use it to define a spectral sequence used in further chapters.We start with the following proposition: Proposition 3.1.Let M 2n+s be an almost K-manifold.such that for each l ∈ {1, ..., s} the form dη l is basic.Then for each i, j ∈ {1, ..., s} the equality [ξ i , ξ j ] = 0 holds.
Proof.This follows from the computation: Now since Ker(f ) is involutive it follows that if [ξ i , ξ j ] = 0 then there exists some l such that η l ([ξ i , ξ j ]) = 0 which provides the desired contradiction with the computation above.
Remark 3.2.Let us briefly note that in particular almost S-manifolds and almost C-manifolds satisfy the asumptions of the above proposition.Hence, this proposition as well as the remainder of this section can be applied to them.
This has the following important corollary: Corollary 3.3.Let M 2n+s be a compact almost K-manifold.such that for each i ∈ {1, ..., s} the form dη i is basic.Let G ⊂ Dif f (M ) be the group whose Lie algebra is < ξ 1 , ..., ξ s >⊂ Γ(T M ).Then the closure of G is a Torus in the group Isom(M ) of isometries on M .
Proof.Let us first note that since the vector fields ξ i are killing we have the inclusion G ⊂ Isom(M ) which is known to be a finitely dimensional compact Lie group.Moreover, since by Proposition 3.1 G is abelian its closure is a compact abelian group and hence a torus.The next step is to classify forms on M which are invariant under the action of G.
Proposition 3.4.Let M 2n+s be a compact almost K-manifold such that for each i ∈ {1, ..., s} the form dη i is basic.Then the following conditions are equivalent: (1) α is a G-invariant form on M . ( ..,i k , where α 0 and α i1,...,i k are basic for all indices 1 ≤ i 1 < ... < i k ≤ s.
Proof.Assume that the second condition is true.Then it can be easilly computed that for any ξ j the equality L ξj α = 0 holds.Which in turn implies that α is Ginvariant.Now let us write the invariant form α as: where α i1,...,i k are transverse for all indices 1 ≤ i 1 < ... < i k ≤ s.Due to the well known formula: , we get that i ξi and L ξj commute for i, j ∈ {1, ..., s} (using Proposition 3.1).We shall now prove that the forms α 0 and α i1,...,i k are basic by reverse induction on the number of indices.Hence, we start by proving that α 1,...,s is basic.Since α is harmonic and the vector fields ξ i are Killing we have for any i ∈ {1, ..., s} the following equalities: Which proves that α 1,...,s is basic.
For the induction step let us assume that all the α i1,...,i k for s ≥ k > K are basic.We shall show that all α i1,...,iK are basic as well.Using the assumption we get for any i ∈ {1, ..., s} the following equalities: Which proves that α i1,...,iK are basic for any set of indices 1 ≤ i 1 < ... < i k ≤ s.Remark 3.5.Note that the induction assumption is used to pass to the final equality as it implies that all the terms with a greater number of indices then K vanish under L ξi as: L ξi η j1 ...η j k α j1,...,j k = η j1 ...η j k L ξi α j1,...,j k = 0.The first equality is due to the fact that L ξi η j = i ξi dη j + d(i ξi η j ) = 0.
Finally, we note that similarilly as for the spectral sequence of a Riemannian foliation we have a filtration of the cochain complex of invariant forms Ω r G (M ) given by: ..i X1 α = 0, for X 1 , ..., X r−k+1 ∈ Γ(T F )}. Hence, via known theory from homological algebra we can cosntruct a spectral sequence as follows: (1) The 0-th page is given by E p,q 0 is simply the morphism induced by d.
(2) The r-th page is given inductively by: (3) The r-th coboundary operator d r : E p,q r → E p+r,q−r+1 r is again just the map induced by d (due to the description of the r-th page this has the target specified above and is well defined).Furthermore, since the filtration is bounded this spectral sequence converges and its final page is isomorphic to the cohomology of the cochain complex Ω r G (M ) known to be isomorphic to the de Rham cohomology of M .We call this spectral sequence the spectral sequence of invariant forms and denote it by E p,q r throughout the rest of the paper.Theorem 3.6.Let M 2n+s be a compact almost S-manifold such that for each i ∈ {1, ..., s} the form dη i is basic.Then: Proof.Since the operator d takes basic forms to basic forms and dη i is basic for all i ∈ {1, ..., s} it is easy to see that d 0 is in fact equall to the zero operator.Hence, the first page is isomorphic to the 0-th page.
On the first page by the same observation the operator d 1 is just the application of d to the transverse part of the form (since applying d to q < η 1 , ..., η s > decrease q).Hence, the second page is just H p (M/F ) ⊗ q < η 1 , ..., η s >.
(1) We note that the merit of considering invariant forms is already visible in this computation since a similar result for the spectral sequence of the Riemannian foliation is not known.In fact, it is far from trivial to even proof that the second page of this spectral sequence is finitely dimensional (cf.[1]).On a more down to earth level the major simplification comes from the triviality of d 0 in the spectral sequence of invariant forms.
(2) It is interesting to note that for S-manifolds the above description of E p,q 2 coincides (disregarding the coboundary operators) with the "almost formal" models from [7].
(3) For the sake of brieviety the notation: introduced in the above theorem, shall be used throughout the article.We shall also use its following variations: .., η s > .We also wish to mention the following consequence of the above discussion which will be used throughout the paper in order to omit the homological orientability assumption throughout the rest of the article: Proposition 3.8.Let M 2n+s be a compact almost S-manifold such that for each i ∈ {1, ..., s} the form dη i is basic.Then the foliation induced by Ker(f ) is homologically orientable.
Proof.It is well known (cf.[9]) that the top basic cohomology of a Riemannian foliation on a compact manifold is either 0 or R. In this case it cannot be 0 since then we could compute from the above spectral sequence that H 2n+s dR (M ) ∼ = E 2n,s 2 = 0 which is a contradiction with the orientability of M .Hence, the top basic cohomology is isomorphic to R which means that the foliation is homologically orientable.

Main results for almost S-manifolds
In this section we prove our main results for compact almost S-manifolds.We start by computing E p,q for almost S-manifolds satisfying the transverse hard Lefschetz property.Firstly, we compute the kernel of d 2 .
Lemma 4.1.Under the above assumptions we have: Proof.Firstly, let us note that Ker(d p,0 2 ) is simply H p (M/F ) .For q > 0, by Theorem 3.6 we can write an element [α] of E p,q 2 as: for some basic forms [α i1,...,iq ].Applying d 2 to this element gives: Where we understand α i1,...,iq−1,j to be equal to zero if j ∈ {i 1 , ..., i q−1 } and to be equal to sign(i 1 , ..., i q−1 , j)α i1,...,j,...,iq−1 otherwise (here j is on the correct position so that the indices are in an increasing order).This implies that 2 ).Here we split the consideration into two cases p < n and p ≥ n.
For the first case, L is monomorphism and the elements s j=1 [α i1,...,iq−1,j ] have to be trivial for α to be an element of Ker(d p,q 2 ).However, by assigning η i1 ...η i k to the simplex [i 1 , ..., i k ] we get a commutative diagram: The horizontal arrows in this diagram are isomorphisms and hence they induce an isomorphism on the kernels of the vertical arrows.But Ker(∂ q ) = Im(∂ q+1 ).While for Im(∂ q+1 ) we can easilly determine the generators as the images of the simplices generating Cq+1 .These in turn correspond to the elements of the form (η i1 − η i2 )...(η i1 − η iq )α for α ∈ H p (M F ).
For the second case, Theorem 2.20 implies that, Ker(L) is equall to L p−n PH 2n−p (M/ F ). Hence, in what follows it suffices to consider classes from L p−n+1 H 2n−p−2 (M/ F ) on which L is monomorphic.From here the same argument as in the first case can be conducted with the coefficients changed to L p−n+1 H 2n−p−2 (M/F ).
With this we are ready to prove our main result concerning almost K-manifolds: Theorem 4.2.Let M 2n+s be a compact almost K-manifold satisfying the transverse hard Lefschetz property.Then: Proof.Firstly, let us note that the image of d p,1 2 is equall to the image of L and hence E p,0 3 ∼ = PH p (M/F ).Secondly, for p < n we again have that L is a monomorphism and hence we have the identification: This implies (similarilly as in the previous proof) that the image consists of elements of the form (η i1 − η i2 )...(η i1 − η iq )Lα for α ∈ H p−2 (M F ).With this (together with Lemma 4.1) we conclude that in this range of p we have: Thirdly, we treat the case p ≥ n.Here it is crucial to note that due to its form d p,q 2 preserves the basic Lefschetz decomposition of element of E p,q 2 .In particular, this allows us to consider seperately For L p−n+2 H 2n−p−4 (M/F ), a similar diagram as in the previous case (but with coefficients in L p−n+2 H 2n−p−4 (M/F )) will allow us to compute the image of d p−2,q+1 2 to consist of elements of the form (η i1 − η i2 )...(η i1 − η iq )Lα for α ∈ L p−n+2 H 2n−p−4 (M/F ).But since in the given range of p the morphism L is an epimorphism this indicates that for such p the algebra 3 .For L p−n+1 PH 2n−p−2 (M/F ), we again use the same method to compute that the image of d p−2,q+1 2 consist of elements of the form (η i1 − η i2 )...(η i1 − η iq )Lα for α ∈ L p−n+1 PH 2n−p−2 (M/F ).This by the basic Lefschetz decomposition can be written alternatively as (η i1 − η i2 )...(η i1 − η iq )α for α ∈ Ker(L).Combining this with the previous paragraph we get that in this range of p the following holds: This in turn can be easilly computed to be isomorphic to the complement of • Ker(L) < η 1 − η 2 , ..., η 1 − η s > given for example by η 1 • Ker(L) < η 2 , ..., η s > .Finally, we note that by the basic Lefschetz decomposition we can take the basic components of the representatives of the classes from E p,q 3 to be either primitive closed forms or closed forms from Ker(L) which by the construction of the spectral sequence proves that the spectral sequence degenerates at the 3rd page.Moreover, by pinpointing the representatives in such a way we can conclude that they also represent the cohomology classes in H • dR (M ).
Remark 4.3.We note that a different proof of Theorem 4.2 can be conducted by combining some recent results from [11] with methods from [14].More precisely, Proposition 4.4 from [11] gives a Gysin-like long exact sequence connecting the basic cohomology of the foliation F s−1 spaned by {ξ 2 , ..., ξ s } and the basic cohomology of F .By analyzing it (with the use of the basic hard Lefschetz property) similarilly as in [14] we get: By using now Theorem 4.5 from [11], which relates H • (M/F s−1 ) to H • dR (M ) one arrives at the conclusion of Theorem 4.2.
An immediate consequence of Theorem 4.2 is the following important result on topological invariance of basic cohomology.Proof.The above description can be used to compute the primitive basic cohomology of both the foliations F l on M l for l ∈ {1, 2}.More precisely it can be done inductively by the formula: with the convention that s−1 for all 0 ≤ k ≤ n.But these dimensions are enough to compute the dimensions of the basic cohomology of F using the Lefschetz decomposition.Hence: for all k ∈ N which in turn implies that the basic cohomologies of F 1 and F 2 are isomorphic.
Remark 4.5.Unfortunately, similarilly as in the Sasakian (and K-contact) case this method does not produce any cannonical isomorphism between the basic cohomologies of F 1 and F 2 .
It is worth noting that in this case the transverse hard Lefschetz property is not needed.In particular, a similar result holds for quasi-Sasakian manifolds with dη = 0.Similatily as in the S-manifold case this also implies that the basic cohomology of almost C-manifolds are a topological invariant.Proof.The above description can be used to compute the basic cohomology of both the foliations F l on M l for l ∈ {1, 2}.More precisely it can be done inductively by the formula: with the convention that s k−i = 0 if k − i > s.This implies that: for all k ∈ N which in turn implies that the basic cohomologies of F 1 and F 2 are isomorphic.
Remark 5.3.As with the anologous result from the previous chapter this method does not produce any cannonical isomorphism between the basic cohomologies of F 1 and F 2 .
Remark 5.4.While it seems doubtful that similar general results can be achieved for arbitrary almost K-manifolds we feel that the above spectral sequence remains a good tool to find similar dependencies in cohomology on a case by case basis.

Application: Classification of Harmonic forms
Here we provide a description of Harmonic forms on almost C-manifolds and S-manifolds based on their basic harmonic forms.Firstly, let us note the following: Remark 6.1.
(1) Theorem 4.2 allows us to treat Making the identification from the previous remark the following statements can be now made: Theorem 6.2.Let M 2n+s be a compact almost C-manifold.A form α on M is harmonic if and only if it is a linear combination of elements of the form η i1 ...η iq α such that α is basic harmonic.
Proof.We start by noting that any element α of the given form is in fact harmonic (which immediately implies that the linear combination of such elements is also harmonic), since through straightforward computation (with the use of proposition 2.28) we can get dα = δα = 0.
On the other hand given any harmonic form α by Theorem 5.1 the cohomology class it represents splits into a sum of elements of the form: . Hence, we can write this harmonic form as the sum of the harmonic forms corresponding to such classes.The proof is now finished by noting that the forms η i1 ...η iq α where α is basic harmonic are the representatives of such classes (as this implies that they are basic harmonic by the previous paragraph).Theorem 6.3.Let M 2n+s be a compact S-manifold.A form α on M is harmonic if and only if it is a linear combination of elements of the form (η 1 −η i1 )...(η 1 −η iq )α such that α is basic primitive harmonic and their duals (via the star operator).
Proof.We start by noting that any element α of the given form is in fact harmonic (which immediately implies that the linear combination of such elements is also harmonic), since through straightforward computation (with the use of proposition 2.28) we can get dα = δα = 0.
On the other hand given any harmonic form α by Theorem 4.2 the cohomology class it represents splits into a sum of elements of one of the following forms: M ).We can see by proposition 2.28 (and the fact that the basic star operator takes basic primitive harmonic forms to harmonic forms in Ker(L)) that its dual is an element of • Ker(L) < η 1 , ..., η s >.Hence, by Lemma 4.1 (and the proof of Theorem 4.2) it represents a class in: . This shows that * induces a morphism: [ * ] : .., η s >, by acting on the harmonic representatives.Moreover, due to well known Hodge theoretic results the star operator induces a bijection on harmonic forms and hence the morphism [ * ] is a monomorphism (since it is a restriction of the star operator composed with the morphism induced by the inclusion of harmonic forms).From this we deduce that this morphism is in fact an isomorphism, since it is a monomorphism between vector spaces of the same (finite) dimension.This together with the fact that the star operator preserves harmonic forms shows that the harmonic representatives of the classes from η 1 • Ker(L) < η 2 , ..., η s > are precisely the duals of the harmonic forms given as linear combinations of elements of the form (η 1 − η i1 )...(η 1 − η iq )α such that α is basic primitive harmonic.Remark 6.4.Again similarilly as in the previous section we believe that the methods used above can be useful in computing harmonic forms of general K-manifolds on a case by case basis.

Application: Stability of basic Betti and Hodge numbers
Here we wish to study the behaviour of the basic cohomology of an almost Kmanifold under deformations.Let us start by making the notion of a deformation of an almost K-manifold precise.Definition 7.1.Let M 2n+s be a compact almost K-manifold.A deformation {M t } t∈[0,1] of M consists of the following data: (1) a (0, 2)-tensor g on M × [0, 1] such that its restriction g t to each M t := M × {t} is a Riemannian metric and g( ∂ ∂t , •) = 0, (2) a (1, 1)-tensor f on M × [0, 1] which induces on each M t an f -structure f t such that f t ( ∂ ∂t ) = 0, similar to [10,12]: and similarly as in [12,16] we can prove the following lemma: Lemma 7.5.The operator ∆ T : Ω k,T → Ω k,T is strongly elliptic and self-adjoint.
Proof.Around any point x 0 take a local coordinate chart (z 1 , ..., z s , x 1 , y 1 , ..., x n , y n ) where ξ k = ∂ ∂z k and (x 1 , y 1 , ..., x n , y n ) are transverse holomorphic coordinates such that ( ∂ ∂x1 , ∂ ∂y1 , ... ∂ ∂xn , ∂ ∂yn ) are orthonormal over x 0 and η k = dz k +β k for some basic forms β k vanishing over x 0 .In such coordinates the principal symbol σ(δ T d T + d T δ T ) coincide with that of the Laplacian ∆ b on the planes z 1 = ... = z s = 0 (to see this note that in these coordinates π(dz k ) = −β k and so after writing the operator in local coordinates we see that aside from the parts present in ∆ b the additional components are either of degree less then 2 or are a multiple of some β k (which vanish over x 0 ) and hence in either case do not contribute to the symbol over x 0 ).For α := α 2 i )Id (Ω k,T )x 0 (see [18] Lemma 5.18).This shows that the symbol σ α (∆ T ) = ||α|| 2 Id (Ω k,T )x 0 and so the operator is in fact strongly elliptic.
Since δ T d T + d T δ T is self-adjoint it suffices to prove that each L ξ k is skewsymmetric.For α 1 , α 2 ∈ Ω k,T we have: With this we a ready to prove the following result: Proposition 7.6.Let {M t } t∈[0,1] be a smooth family of C-manifolds or S-manifolds over an interval.Then the spaces H k t of complex-valued basic harmonic k-forms on M t constitute a bundle over [0, 1].
Proof.We start by using the results of [13] in a fashion similar to [12] and [16] in order to contain our problem in some smooth vector bundle (with fibers of finite dimension).Using the Spectral Theorem for smooth families of strongly elliptic self-ajoint operators (see Theorem 1 of [13]) for the family ∆ k,T t we get a complete system of eigensections {e th } h∈N,t∈[0,1] together with the corresponding eigenvalues λ h (t) which form an ascending sequence in [0, ∞) with a single accumulation point at infinity.Fix a point t 0 ∈ [0, 1] and let k 0 be the largest number such that for h ∈ {1, ..., k 0 } we have λ h (t 0 ) = 0. Consider the family of vector spaces E t = span{e th | h ∈ {1, ..., k 0 }}.Since the only accumulation point of the sequence λ h (t 0 ) is infinity we can find a small disc around 0 in C such that the only eigenvalue of ∆ k,T t0 contained in this disc is zero.Using Theorem 2 of [13] we establish that

Corollary 4 . 4 .
Let M 2n+s 1 and M 2n+s 2 be compact almost S-manifolds satisfying the hard Lefschetz property which are homeomorphic.Then the basic cohomologies of the corresponding foliations are isomorphic.

Corollary 5 . 2 .
Let M 2n+s 1 and M 2n+s 2 be compact almost C-manifolds which are homeomorphic.Then the basic cohomologies of the induced foliations are isomorphic.