Simply connected Kcontact and Sasakian manifolds of dimension 7
 777 Downloads
 5 Citations
Abstract
We construct a compact simply connected 7dimensional manifold admitting a Kcontact structure but not a Sasakian structure. We also study rational homotopy properties of such manifolds, proving in particular that a simply connected 7dimensional Sasakian manifold has vanishing cup product \(H^2 \times H^2 \rightarrow H^4\) and that it is formal if and only if all its triple Massey products vanish.
Keywords
Sasakian manifold Contact structure Symplectic manifold FormalityMathematics Subject Classification
53C25 53D35 57R17 55P621 Introduction
Sasakian geometry has become an important and active subject, especially after the appearance of the fundamental treatise of Boyer and Galicki [3]. Chapter 7 of this book contains an extended discussion of the topological problems in the theory of Sasakian, and, more generally, Kcontact manifolds. These are odddimensional analogues to Kähler and symplectic manifolds, respectively.

\(\Phi ^2={{\mathrm{Id}}}+ \xi \otimes \eta \), where \(\xi \) is the Reeb vector field of \(\eta \) (that is \(i_\xi \eta =1\), \(i_\xi (d\eta )=0\)),

the contact form \(\eta \) is compatible with \(\Phi \) in the sense that \(d\eta (\Phi X,\Phi Y)\,=\,d\eta (X,Y)\), for all vector fields X, Y,

\(d\eta (\Phi X,X)>0\) for all nonzero \(X\in \ker \eta \), and

the Reeb field \(\xi \) is Killing with respect to the Riemannian metric defined by the formula \(g(X,Y)\,=\,d\eta (\Phi X,Y)+\eta (X)\eta (Y)\).

\(I(X)=\Phi (X)\) on \(\ker \eta \),

\(I(\xi )=t{\partial \over \partial t},\,I\left( t{\partial \over \partial t}\right) =\xi \), for the Killing vector field \(\xi \) of \(\eta \).
 (1)
the evenness of the pth Betti number for p odd with \(1\, \le \, p \, \le \, n\), of a Sasakian manifold,
 (2)
some torsion obstructions in dimension 5 discovered by Kollár [17],
 (3)
the fundamental group of Sasakian manifolds are special,
 (4)
the cohomology algebra of a Sasakian manifold satisfies the hard Lefschetz property,
 (5)
formality properties of the rational homotopy type.
The fundamental group can also be used to construct Kcontact nonSasakian manifolds. Fundamental groups of Sasakian manifolds are called Sasaki groups, and satisfy strong restrictions. Using this it is possible to construct (nonsimply connected) compact manifolds which are Kcontact but not Sasakian [8].
When one moves to the case of simply connected manifolds, Kcontact nonSasakian examples of any dimension \(\ge \)9 were constructed in [16] using the evenness of the third Betti number of a compact Sasakian manifold. Alternatively, using the hard Lefschetz property for Sasakian manifolds there are examples [19] of simply connected Kcontact nonSasakian manifolds of any dimension \(\ge \)9.
In [24] and in [2] the rational homotopy type of Sasakian manifolds is studied. In [2] it is proved that all higher order Massey products for simply connected Sasakian manifolds vanish, although there are Sasakian manifolds with nonvanishing triple Massey products. This yields examples of simply connected Kcontact nonSasakian manifolds in dimensions \(\ge \)17. However, Massey products are not suitable for the analysis of lower dimensional manifolds.
Hence, the problem of the existence of simply connected Kcontact nonSasakian compact manifolds (open problem 7.4.1 in [3]) is still open in dimensions 5 and 7. Dimension 5 is the most difficult one, and it is treated in [3] separately. Here one has to use the obstructions of [17] which are very subtle torsion obstructions associated to the classification of Kähler surfaces. By definition, a simply connected compact oriented 5manifold is called a Smale–Barden manifold. These manifolds are classified topologically by \(H_2(M,{\mathbb {Z}})\) and the second Stiefel–Whitney class. Chapter 10 of the book by Boyer and Galicki is devoted to a description of some Smale–Barden manifolds which carry Sasakian structures. The following problem is still open (open problem 10.2.1 in [3]).
Do there exist Smale–Barden manifolds which carry Kcontact but do not carry Sasakian structures?
In this note we solve the described problem in the easier case of dimension 7 (the solution is still possible by means of homotopy theory combined with symplectic surgery).
Theorem 1
There exist 7dimensional compact simply connected Kcontact manifolds which do not admit a Sasakian structure.
We then turn around to the study of the rational homotopy type of Kcontact and Sasakian simply connected manifolds of dimension 7. In particular, we prove:
Corollary 2
Let M be a simply connected compact Kcontact 7dimensional manifold. Suppose that the cup product map \(H^2(M)\times H^2(M)\longrightarrow H^4(M)\) is nonzero. Then M does not admit a Sasakian structure.
Formality is a very useful rational homotopy property that has been widely used to distinguish between symplectic and Kähler manifolds [21] (see Sect. 6 for definitions and details). Simply connected compact manifolds of dimension \(\le \)6 are always formal, so formality becomes interesting in dimension 7. We study this property in detail giving a precise characterisation for Sasakian manifolds (see Theorem 15). In particular, we have the following:
Corollary 3
Let M be a simply connected compact Sasakian 7dimensional manifold. Then M is formal if and only if all triple Massey products are zero.
2 Gompf–Cavalcanti manifold
Let \((M,\omega )\) be a symplectic manifold of dimension 2n. For every \(0\le k \le n\), we define the Lefschetz map as \(L_\omega :H^{nk}(M) \rightarrow H^{n+k}(M)\), \(L_\omega ([\beta ])=[\beta \wedge \omega ^{nk}]\). We say that M satisfies the hard Lefschetz property if \(L_\omega \) is an isomorphism for every \(0 \le k \le n\).
Proposition 4
There exists a simply connected 6dimensional symplectic manifold \((M,\omega )\) such that \(\dim \ker \,(L_\omega : H^2(M)\rightarrow H^4(M))\) is odd.
Proof
Gompf constructs in [14, Theorem 7.1] an example of a simply connected 6dimensional symplectic manifold \((M,\omega )\) which does not satisfy the hard Lefschetz property, that is, the Lefschetz map \(L_\omega : H^2(M)\rightarrow H^4(M)\) is not an isomorphism. If \(\dim \ker L_\omega \) is already odd then we have finished.
It remains to find \(S\hookrightarrow M\) as required. The cohomology class a is nonzero, so there is some \(b\in H^4(M,{\mathbb {Z}})\) such that \(a\cup b\ne 0\). It is easy to see that there is a rank 2 complex vector bundle \(E\rightarrow M\) with \(c_1(E)=0,\,c_2(E)=2b\). This corresponds to the fact that the map \([M,B{\text {SU}}(2)]\rightarrow H^4(M,{\mathbb {Z}})\) given by the second Chern class exhausts \(2\, H^4(M,{\mathbb {Z}})\). A short proof runs as follows: \(B{\text {SU}}(2)\) has trivial 3skeleton and it has \(\pi _4(B{\text {SU}}(2))={\mathbb {Z}}\) and \(\pi _5(B{\text {SU}}(2))={\mathbb {Z}}_2\). Represent the cohomology class b by a cocycle \(\varphi _b:C_4(M)\rightarrow {\mathbb {Z}}\), where \(C_4(M)\) is the space of cellular chains. Given b, we define \(f:M\rightarrow B{\text {SU}}(2)\) inductively on the skeleta (in what follows we denote by X[k] the kskeleton of a space X). It is trivial on the 3skeleton of M. For every 4cell c, we define \(f:c\rightarrow B{\text {SU}}(2)[4]=S^4\) to have degree \(\varphi _b(c)\in {\mathbb {Z}}\). As M is simply connected there are no 5cells, so it only remains to attach the 6cell \(c_6\) to the 4skeleton M[4]. The attaching map is given by some \(g:S^5\rightarrow M[4]\). When composed with f, we have a map \(f\circ g: S^5 \rightarrow B{\text {SU}}(2)\), which gives an obstruction element \(o_f\in \pi _5(B{\text {SU}}(2))={\mathbb {Z}}_2\). If we multiply b by two, then the map \(\varphi _b\) gets multiplied by 2. The corresponding f is given by composing f with a double cover of \(S^4\), hence the obstruction element is \(2o_f=0\). This means that the map f associated to 2b can be extended to \(M\rightarrow B{\text {SU}}(2)\).
Now take the rank 2 bundle \(E \rightarrow M\) just constructed. Assume that \([\omega ]\) is a an integral cohomology class (which can always be done by perturbing \(\omega \) slightly to make it rational and multiplying it by a large integer). Let \(L\rightarrow M\) be the line bundle with first Chern class \(c_1(L)=[\omega ]\). We now use the asymptotically holomorphic techniques introduced by Donaldson [10]. Specifically, the result of [1] guarantees the existence of a suitable large \(k\gg 0\) and a section of \(E\otimes L^{\otimes k}\) whose zero locus is a symplectic manifold (an asymptotically holomorphic manifold in fact). This zero locus \(S\subset M\) is a symplectic surface, and the cohomology class defined by S is \(c_2(E\otimes L^{\otimes k})= c_2(E)+2k c_1(L)=2b+2k[\omega ]\). Therefore \(\langle a,[S]\rangle =\langle a, 2b+2k[\omega ] \rangle =2\langle a,b\rangle \ne 0\), as required. \(\square \)
We will call the manifold produced in Proposition 4 the Gompf–Cavalcanti manifold, because it is constructed by the surgery technique of Gompf [14] together with the symplectic blowup of Cavalcanti [7]. Note however that this is not a unique one but a family of manifolds.
3 Simplyconnected Kcontact nonSasakian manifolds in dimension 7
We show the existence of simply connected compact Kcontact nonSasakian manifolds in dimension 7 by proving that the Boothby–Wang fibration over the Gompf–Cavalcanti manifold is Kcontact but nonSasakian. The existence of a Kcontact structure on such fibration is shown in [2] and [16]. For the convenience of the reader we briefly recall these constructions.
Let \((B,\omega )\) be a symplectic manifold such that the cohomology class \([\omega ]\) is integral. Consider the principal \(S^1\)bundle \(\pi : M\rightarrow B\) given by the cohomology class \([\omega ]\,\in \, H^2(B,\,{\mathbb {Z}})\). Fibrations of this kind were first considered by Boothby and Wang and are called Boothby–Wang fibrations. By [25], the total space M carries an \(S^1\)invariant contact form \(\eta \) such that \(\eta \) is a connection form whose curvature is \(d\eta =\pi ^*\omega \). We have the following result (which is known, compare Theorem 6.1.26 and Proposition 7.1.2 in [3]).
Theorem 5
Any Boothby–Wang fibration admits a Kcontact structure on the total space.
Proof
Proposition 6
A compact coorientable contact manifold \((M,\eta )\) admits a Kcontact metric g if and only if there exists an action of a torus T on M preserving the contact structure \({\mathcal {D}}\) and a vector \(X\in {\mathfrak {t}}=L(T)\) so that the function \(\langle \psi ,X\rangle :{\mathcal {D}}^0_{+}\rightarrow {\mathbb {R}}\) is strictly positive. \(\square \)
Remark 7
Proposition 7.1.2 from [3] is due to Rukimbira. In this work we give a different proof based on Lerman’s criterion given by Proposition 6.
The following gives a proof of Theorem 1.
Theorem 8
The total space of the Boothby–Wang fibration over the Gompf–Cavalcanti manifold is a simply connected Kcontact nonSasakian manifold of dimension 7.
Proof
4 Regularity and quasiregularity
A Sasakian or a Kcontact structure on a compact manifold M is called quasiregular if there is a positive integer \(\delta \) satisfying the condition that each point of M has a foliated coordinate chart (U, t) with respect to \(\xi \) (the coordinate t is in the direction of \(\xi \)) such that each leaf for \(\xi \) passes through U at most \(\delta \) times. If \(\delta \,=\, 1\), then the Sasakian or Kcontact structure is called regular (see [3, p. 188]).
If N is a Kähler manifold whose Kähler form \(\omega \) defines an integral cohomology class, then the total space of the circle bundle \(S^1 \hookrightarrow M \mathop {\longrightarrow }\limits ^{\pi } N\) with Euler class \([\omega ]\in H^2(M,{\mathbb {Z}})\) is a regular Sasakian manifold with contact form \(\eta \) such that \(d \eta \,=\, \pi ^*(\omega )\). The converse also holds: if M is a regular Sasakian structure then the space of leaves N is a Kähler manifold, and we have a circle bundle \(S^1\rightarrow M \rightarrow N\) as above. If M has a quasiregular Sasakian structure, then the space of leaves N is a Kähler orbifold with cyclic quotient singularities, and there is an orbifold circle bundle \(S^1 \rightarrow M\rightarrow N\) such that the contact form \(\eta \) satisfies \(d\eta =\pi ^*(\omega )\), where \(\omega \) is the orbifold Kähler form.
Similar properties hold in the Kcontact case, substituting Kähler by symplectic (actually almost Kähler). If M has a regular Kcontact structure, then it is the total space of a circle bundle \(S^1 \hookrightarrow M \mathop {\longrightarrow }\limits ^{\pi } N\), where \((N,\omega )\) is a symplectic manifold, with Euler class \([\omega ]\in H^2(M,{\mathbb {Z}})\) and \(d \eta \,=\, \pi ^*(\omega )\). If M has a quasiregular Kcontact structure, then it is the total space of an orbifold circle bundle \(S^1 \rightarrow M\rightarrow N\) over a symplectic orbifold N with cyclic quotient singularities and Euler class \([\omega ]\in H^2(M,{\mathbb {Z}})\), where \(\omega \) is the orbifold symplectic form.
A result of [22] says that if M admits a Sasakian structure, then it admits also a quasiregular Sasakian structure. This also extends to the case of Kcontact structures (Rukimbira [23], see also Theorem 7.1.10 in [3]).
Proposition 9
If a compact manifold M admits a Kcontact structure, it admits a quasiregular contact structure.
Proof
Assume that there is a Kcontact structure on M. By Proposition 6, there exists a torus action \(T\times M\rightarrow M\) preserving the contact distribution and a vector \(X\in {\mathfrak {t}}\) such that \(\langle \psi ,X\rangle >0\). Choose a vector \(Y\in {\mathfrak {t}}\) with the property that it is tangent to an embedding \(T'=S^1\hookrightarrow T\). Clearly, the corresponding fundamental vector field \(Y_M\) has the property that the leaves of the corresponding foliations are compact. The set of such Y is dense in \({\mathfrak {t}}\). Therefore, for vectors Y which are sufficiently close to X, the condition \(\langle \psi , Y\rangle >0\) is still satisfied.
5 Minimal models and formality
Now we want to analyse the rational homotopy type of Kcontact and Sasakian simply connected 7manifolds, in particular the property of formality. Simply connected compact manifolds of dimension \(\le \)6 are always formal [12], so dimension 7 is the first instance in which formality is an issue.
We start by reviewing concepts about minimal models and formality from [11, 12, 15]. A differential graded algebra (or DGA) over the real numbers \({\mathbb {R}}\), is a pair (A, d) consisting of a graded commutative algebra \(A=\oplus _{k\ge 0} A^k\) over \({\mathbb {R}}\), and a differential d satisfying the Leibnitz rule \(d(a\cdot b) = (da)\cdot b +(1)^{a} a\cdot (db)\), where a is the degree of a. Given a differential graded commutative algebra \(({A},\,d)\), we denote its cohomology by \(H^*({A})\). The cohomology of a differential graded algebra \(H^*({A})\) is naturally a DGA with the product inherited from that on A and with the differential being identically zero. The DGA \(({A},\,d)\) is connected if \(H^0({A})\,=\,{\mathbb {R}}\), and A is 1connected if, in addition, \(H^1({A})\,=\,0\). Henceforth we shall assume that all our DGAs are connected. In our context, the main example of DGA is the de Rham complex \((\Omega ^*(M),\,d)\) of a connected differentiable manifold M, where d is the exterior differential.
Morphisms between DGAs are required to preserve the degree and to commute with the differential. A morphism \(f:(A,d)\rightarrow (B,d)\) is a quasiisomorphism if the map induced in cohomology \(f^*:H^*(A,d)\rightarrow H^*(B,d)\) is an isomorphism. Quasiisomorphism produces an equivalence relation in the category of DGAs.
 (1)
\(\mathcal {M}\) is free as an algebra, that is, \(\mathcal {M}\) is the free algebra \(\bigwedge V\) over a graded vector space \(V\,=\,\bigoplus _i V^i\), and
 (2)
there is a collection of generators \(\{x_\tau \}_{\tau \in I}\) indexed by some well ordered set I, such that \(x_\mu \,\le \, x_\tau \) if \(\mu \,< \,\tau \) and each \(d x_\tau \) is expressed in terms of preceding \(x_\mu \), \(\mu \,<\,\tau \).
A minimal model of a connected differentiable manifold M is a minimal model \((\bigwedge V,\,d)\) for the de Rham complex \((\Omega ^*(M),\,d)\) of differential forms on M. If M is a simply connected manifold, then the dual of the real homotopy vector space \(\pi _i(M)\otimes {\mathbb {R}}\) is isomorphic to \(V^i\) for any i (see [9]).
A model of a DGA (A, d) is any DGA (B, d) with the same minimal model (that is, they are equivalent with respect to the equivalence relation determined by the quasiisomorphisms).
A minimal algebra \((\bigwedge V,\,d)\) is called formal if there exists a morphism of differential algebras \(\psi :{(\bigwedge V,\,d)}\,\longrightarrow \, (H^*(\bigwedge V),0)\) inducing the identity map on cohomology. Also a differentiable manifold M is called formal if its minimal model is formal. The formality of a minimal algebra is characterized as follows.
Proposition 10
[9] A minimal algebra \((\bigwedge V,\,d)\) is formal if and only if the space V can be decomposed into a direct sum \(V\,=\, C\oplus N\) with \(d(C) \,=\, 0\) and d injective on N, such that every closed element in the ideal I(N) in \(\bigwedge V\) generated by N is exact.
This characterization of formality can be weakened using the concept of sformality introduced in [12].
Definition 11
 (1)
\(d(C^i) = 0\),
 (2)
the differential map \(d:N^i\longrightarrow \bigwedge V\) is injective, and
 (3)
any closed element in the ideal \(I_s=I\left( \bigoplus \nolimits _{i\le s} N^i\right) \), generated by the space \(\bigoplus \nolimits _{i\le s} N^i\) in the free algebra \(\bigwedge \left( \bigoplus \nolimits _{i\le s} V^i\right) \), is exact in \(\bigwedge V\).
A differentiable manifold M is sformal if its minimal model is sformal. Clearly, if M is formal then M is sformal, for any \(s>0\). The main result of [12] shows that sometimes the weaker condition of sformality implies formality.
Theorem 12
[12] Let M be a connected and orientable compact manifold of dimension 2n or \((2n1)\). Then M is formal if and only if it is \((n1)\)formal.
By Corollary 3.3 in [12] a simply connected compact manifold is always 2formal. Therefore, Theorem 12 implies that any simply connected compact manifold of dimension not more than six is formal. For simply connected 7dimensional compact manifolds, we have that M is formal if and only if M is 3formal.
Theorem 12 also holds for compact connected orientable orbifolds, since the proof of [12] only uses that the cohomology \(H^*(M)\) is a Poincaré duality algebra.
6 Homotopy properties of simply connected Sasakian 7manifolds
Proposition 13
Let M be a simply connected compact Kcontact 7dimensional manifold. Then a model for M is \((H\otimes \bigwedge (x),d)\), where H is the cohomology algebra of a simply connected symplectic 6dimensional orbifold and \(dx=\omega \in H^2\) is the class of the symplectic form.
If M is Sasakian, then H is the cohomology algebra of a simply connected 6dimensional Kähler orbifold.
Proof
Suppose M admits a Sasakian structure. Then M admits a quasiregular Sasakian structure [22]. Therefore, there is an orbifold circle bundle \(S^1 \rightarrow M \rightarrow B\), where B is a compact Kähler orbifold of dimension 6, with Euler class given by the Kähler form \(\omega \in H^2(B)\). We note that B is simply connected because M is so (see [3, Theorem 4.3.18]). In particular, \(S^1 \rightarrow M \rightarrow B\) is a rational fibration, hence if \({\mathcal {M}}\) is a model for B, then \({\mathcal {M}}\otimes \bigwedge (x)\), with \(x\,=\,1\), \(dx\,=\,\omega \), is a model for M.
Now B is a simply connected compact orbifold of dimension 6. So it is 2formal. Theorem 12 also holds for orbifolds, hence B is formal. Therefore \({\mathcal {M}}\sim (H,0)\), where \(H=H^*(B)\) is the cohomology algebra of B. So a model for M is of the form \((H\otimes \bigwedge (x),d)\), \(dx=\omega \in H^2\).
The case where M admits a Kcontact structure is similar. By Proposition 9, it admits a quasiregular Kcontact structure. Therefore, M is an orbifold \(S^1\)bundle over a symplectic orbifold \(S^1 \rightarrow M \rightarrow B\), with Euler class given by the orbifold symplectic form \(\omega \in H^2(B)\). As above, a model for M is \((H\otimes \bigwedge (x),d)\), \(dx=\omega \in H^2\), where \(H=H^*(B)\). \(\square \)
We prove now Corollary 2.
Corollary 14
Let M be a simply connected compact Kcontact 7dimensional manifold. Suppose that the cup product map \(H^2(M)\times H^2(M)\longrightarrow H^4(M)\) is nonzero. Then M does not admit a Sasakian structure.
Proof
Let us compute the cohomology of M from its model \(({\mathcal {M}},d)=(H\otimes \bigwedge (x),d)\), \(dx=\omega \), where \(H=H^*(B)\) is the cohomology algebra of a 6dimensional simply connected symplectic manifold. Note that \(\omega \in H^2\) is a nonzero element with \(\omega ^3\in H^6\) generating the top cohomology.
If M admits a Sasakian structure, then there is a quasiregular fibration \(S^1 \rightarrow M \rightarrow B\) with B satisfying the hard Lefschetz property (it is a Kähler orbifold, so [26] is applicable). This contradicts the above. \(\square \)
 (1)
there is a canonical isomorphism \(H^6 \cong {\mathbb {R}}\), which is given by integration \(\int _M:H^6\rightarrow {\mathbb {R}}\);
 (2)
H is a Poincaré duality algebra, hence \(H^3 \otimes H^3 \rightarrow {\mathbb {R}}\) is an antisymmetric bilinear pairing;
 (3)
there is a scalar product on each \(H^j\). This is given by the Hodge star operator \(* :H^j \rightarrow H^{6j}\) combined with wedge and integration;
 (4)
H has a Hodge structure, that is, \(H\otimes {\mathbb {C}}\) has a bigrading such that \(H^k\otimes {\mathbb {C}}=\oplus _{p+q=k} H^{p,q}\), where \(H^{p,q}=\overline{H^{q,p}}\), and the wedge product respects the bigrading;
 (5)
there is a distinguished element \(\omega \in H^2\) which is in \(H^{1,1}\). This defines the space of primitive forms \(P=\langle \omega \rangle ^\perp \subset H^2\). Hence \(H^2=\langle \omega \rangle \oplus P\). Moreover \(P=P^{1,1}\oplus P^{2,0}\), where \(P^{1,1}=P\cap H^{1,1}\) and \(P^{2,0}=P \cap (H^{2,0}\oplus H^{0,2})\);
 (6)
the Lefschetz map \(L_\omega :H^2\rightarrow H^4\) is an isomorphism. Therefore \(H^4=\langle \omega ^2\rangle \oplus \omega P^{1,1}\oplus \omega P^{2,0}\). By Theorem 3.16 of Chapter V of [27], for \(\alpha _1\in P^{1,1}\) we have \(* \alpha _1=\alpha _1\wedge \omega \), for \(\alpha _2\in P^{2,0}\) we have \(* \alpha _2=\alpha _2\wedge \omega \), and \(* \omega = \frac{1}{2} \omega ^2\). This implies that \(L_\omega : \langle \omega \rangle \oplus P^{1,1}\oplus P^{2,0} \rightarrow \langle \omega ^2\rangle \oplus \omega P^{1,1}\oplus \omega P^{2,0}\) is of the form \(L_\omega (\alpha )=L_\omega (\alpha _0+\alpha _1+\alpha _2)=\frac{1}{2} *\alpha _0*\alpha _1+* \alpha _2\), where \(\alpha =\alpha _0+\alpha _1+\alpha _2\) is the decomposition according to \(H^2=\langle \omega \rangle \oplus P^{1,1}\oplus P^{2,0}\).
Theorem 15
Let M be a simply connected compact Sasakian 7dimensional manifold. Then M is formal if and only if \({\mathcal {F}}_M=0\).
Proof
The space of closed elements is \(C^3=H^3\). Now let us check when the elements \(z\in I(N^3)\) with \(dz=0\) satisfy \([\rho (z)]=0\in H^*(M)\). The only cases to check is when z has degree 5 or 7. If z has degree 5, then \([\rho (z)]\ne 0\) if and only if there exists some \(\beta \in P,\,[\rho (\beta )]\in H^2(M)\), such that \([\rho (z)]\wedge [\rho (\beta )]\ne 0\), by Poincaré duality. Hence \([\rho (z\beta )]\ne 0\). This means that we can restrict to elements z of degree 7, that is \(z \in N^3\cdot \bigwedge ^2 P\).
According to Theorem 12, to check nonformality we have to test the relevant property (2) on any splitting \(V^3=C^3+ N'{}^3\). If we take another splitting \(V^3=C^3+ N'{}^3\), then the projection \(\pi :V^3\rightarrow N^3\) gives an isomorphism \(\pi :N'{}^3 \rightarrow N^3\), and so an isomorphism \(N'{}^3\cdot {{\mathrm{Sym}}}^2P \cong N^3 \cdot {{\mathrm{Sym}}}^2P\). Clearly, \(d\circ \pi =d\) on \(N'{}^3\), so the spaces of cycles correspond \({\mathcal {K}}' \cong {\mathcal {K}}\). On the other hand \(H^3 \cdot H^2\cdot H^2 =0\), so the maps \(\rho :{\mathcal {K}}\rightarrow H^6 x\) and \(\rho :{\mathcal {K}}'\rightarrow H^6 x\) also correspond. This means that the corresponding \({\mathcal {F}}\) and \({\mathcal {F}}'\) coincide under the isomorphism \({\mathcal {K}}\cong {\mathcal {K}}'\). This means that the choice of splitting is not relevant. \(\square \)
This result means that the formality or nonformality of M only depends on the cohomology algebra H. Theorem 15 can be applied to the examples in Section 5.3 of [2]. For instance for \(B={\mathbb {C}}P^1\times {\mathbb {C}}P^1\times {\mathbb {C}}P^1\), we have a simply connected Sasakian 7manifold which is nonformal (Theorem 12 of [2]). For \(B={\mathbb {C}}P^3\), we have obviously \(P=0\) and hence M is formal.
The element \({\mathcal {F}}_M\) of Theorem 15 is the principal Massey product defined by Crowley and Nordström [6] for simply connected compact 7manifolds in general. The principal Massey product is the full obstruction to formality for simply connected compact 7manifolds.
Now we deduce Corollary 3.
Corollary 16
Let M be a simply connected compact Sasakian 7dimensional manifold. Then M is formal if and only if all triple Massey products are zero.
Proof
This result is of relevance since it is not known if for general simply connected compact 7dimensional manifolds there are obstructions to formality different from triple BianchiMassey tensor, as remarked in [6]. It is true that for higher dimensional manifolds, there are obstructions to formality even when all Massey products (triple and higher order) can be zero.
Notes
Acknowledgments
We thank Johannes Nordström for several illuminating conversations and for providing us with a copy of [6], and G. Bazzoni and B. CappellettiMontano for pointing us some references. We are grateful to the referee for a careful reading of the manuscript. The first author was partially supported by Project MICINN (Spain) MTM201017389. The second author was partly supported by the ESF Research Networking Programme CAST (Contact and Symplectic Topology).
References
 1.Auroux, D.: Asymptotically holomorphic families of symplectic submanifolds. Geom. Funct. Anal. 7, 971–995 (1997)zbMATHMathSciNetCrossRefGoogle Scholar
 2.Biswas, I., Fernández, M., Muñoz, V., Tralle, A.: On Formality of Orbifolds and Sasakian Manifolds. arXiv:1402.6861
 3.Boyer, C., Galicki, K.: Sasakian Geometry. Oxford University Press, Oxford (2007)CrossRefGoogle Scholar
 4.CappellettiMontano, B., de Nicola, A., Yudin, I.: Hard Lefschetz Theorem for Sasakian Manifolds. arXiv:1306.2896
 5.CappellettiMontano, B., de Nicola, A., Marrero, J.C., Yudin, I.: Examples of Compact KContact Manifolds with No Sasakian Metric. arXiv:1311.3270
 6.Crowley, D., Nordström, J.: The rational homotopy type of (n1)connected (4n1)manifolds. arXiv:1505.04184v1
 7.Cavalcanti, G.: The Lefschetz property, formality and blowing up in symplectic geometry. Trans. Am. Math. Soc. 359, 333–348 (2007)zbMATHMathSciNetCrossRefGoogle Scholar
 8.Chen, X.: On the fundamental groups of compact Sasakian manifolds. Math. Res. Lett. 20, 27–39 (2013)zbMATHMathSciNetCrossRefGoogle Scholar
 9.Deligne, P., Griffiths, P., Morgan, J., Sullivan, D.: Real homotopy theory of Kähler manifolds. Invent. Math. 29, 245–274 (1975)zbMATHMathSciNetCrossRefGoogle Scholar
 10.Donaldson, S.: Symplectic submanifolds and almostcomplex geometry. J. Differ. Geom. 44, 666–705 (1996)zbMATHMathSciNetGoogle Scholar
 11.Felix, Y., Halperin, S., Thomas, J.C.: Rational Homotopy Theory. Springer, Berlin (2002)Google Scholar
 12.Fernández, M., Muñoz, V.: Formality of Donaldson submanifolds. Math. Z. 250, 149–175 (2005)zbMATHMathSciNetCrossRefGoogle Scholar
 13.Fujitani, T.: Complexvalued differential forms on normal contact Riemannian manifolds. Töhoku Math. J. 2(18), 349–361 (1966)MathSciNetCrossRefGoogle Scholar
 14.Gompf, R.: A new construction of symplectic manifolds. Ann. Math. 142, 537–696 (1995)MathSciNetCrossRefGoogle Scholar
 15.Griffiths, P., Morgan, J.W.: Rational Homotopy Theory and Differential Forms. Progress in Math. 16, Birkhäuser, Basel (1981)Google Scholar
 16.Hajduk, B., Tralle, A.: On simply connected compact Kcontact nonSasakian manifolds. J. Fixed Point Theory Appl. (2015). doi: 10.1007/s117840150210y
 17.Kollár, J.: Circle actions on simply connected 5manifolds. Topology 45, 643–672 (2006)zbMATHMathSciNetCrossRefGoogle Scholar
 18.Lerman, E.: Contact fiber bundles. J. Geom. Phys. 49, 52–66 (2004)zbMATHMathSciNetCrossRefGoogle Scholar
 19.Lin, Y.:P Lefschetz Contact Manifolds and Odd Dimensional Symplectic Geometry. arXiv:1311.1431
 20.McDuff, D.: Examples of simplyconnected symplectic nonKählerian manifolds. J. Diff. Geom. 20, 267–277 (1984)zbMATHMathSciNetGoogle Scholar
 21.Oprea, J., Tralle, A.: Symplectic Manifolds with No Kähler Structure. Lecture Notes in Math, vol. 1661. Springer, Berlin (1997)Google Scholar
 22.Ornea, L., Verbitsky, M.: Sasakian structures on CRmanifolds. Geom. Dedic. 125, 159–173 (2007)zbMATHMathSciNetCrossRefGoogle Scholar
 23.Rukimbira, P.: ChernHamilton’s conjecture and Kcontactness. Houston J. Math. 21, 709–718 (1995)zbMATHMathSciNetGoogle Scholar
 24.Tievsky, A.: Analogues of Kähler Geometry on Sasakian Manifolds, Ph.D. Thesis. MIT (2008)Google Scholar
 25.Weinstein, A.: Fat bundles and symplectic manifolds. Adv. Math. 37, 239–250 (1980)zbMATHCrossRefGoogle Scholar
 26.Wang, Z., Zafran, D.: A remark on the hard Lefschetz theorem for orbifolds. Proc. Am. Math. Soc. 137, 2497–2501 (2009)zbMATHCrossRefGoogle Scholar
 27.Wells, R.O.: Differential Analysis on Complex Manifolds, GTM 65, 2nd edn. Springer, Berlin (1979)Google Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.