Abstract
For a \(2n+1\)-dimensional compact Sasakian manifold, if \(n\ge 2\), we prove that the analytic germ of the variety of representations of the fundamental group at every semi-simple representation is quadratic. To prove this result, we prove the almost-formality of de Rham complex of a Sasakian manifold with values in a semi-simple flat vector bundle. By the almost-formality, we also prove the vanishing theorem on the cup product of the cohomology of semi-simple flat vector bundles over a compact Sasakian manifold.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [6], Goldman and Millson establishes the correspondence between local structures of the varieties of representations of the fundamental groups of manifolds and the deformation theory of augmented differential graded Lie algebras. By using this correspondence, they prove that for a compact Kähler manifold M with a point x, the analytic germ of the variety \({{\mathcal {R}}}(\pi _{1}(M,x), GL_{m}({\mathbb {C}}))\) of representations at \(\rho \) is quadratic for any representation \(\rho :\pi _{1}(M,x)\rightarrow GL_{m}({\mathbb {C}})\) which is the monodromy representation of a polarized variation of Hodge structure. In [14], Simpson generalizes this result for every semi-simple representation \(\rho :\pi _{1}(M,x)\rightarrow GL_{m}({\mathbb {C}})\) by using harmonic bundle structures of semi-simple flat bundles over compact Kähler manifolds.
The aim of this paper is to give an odd-dimensional analogue of this result. A Sasakian manifold is viewed as an important odd-dimensional analogue of a Kähler manifold [12]. Typical examples are odd-dimensional spheres and Heisenberg nilmanifolds. The main result of this paper is to prove the following statement.
Theorem 1.1
Let M be a \((2n+1)\)-dimensional compact Sasakian manifold with a point x. If \(n\ge 2\), then for any semi-simple representation \(\rho :\pi _{1}(M,x)\rightarrow GL_{m}({\mathbb {C}})\) of the fundamental group, the analytic germ of the variety \({{\mathcal {R}}}(\pi _{1}(M,x), GL_{m}({\mathbb {C}}))\) of representations at \(\rho \) is quadratic.
We notice that the statement does not hold for \(n=1\). 3-dimensional Heisenberg nilmanifolds are counter examples (see [6, Section 9.1]).
To prove the quadraticity, it is important to reduce the de Rham complex of a compact Kähler manifold with values in a flat bundle to its cohomology via quasi-isomorphisms so-called the formality as in [5]. In [14], by using harmonic bundle structures, Simpson proves the formality for every semi-simple flat bundle over a compact Kähler manifold. To prove Theorem 1.1, we prove the “almost-formality” of the de Rham complex of a Sasakian manifold with values in a semi-simple flat bundle (Corollary 4.3) by using (basic) harmonic bundle structures as in [1].
We have another application of such almost-formality. By the almost-formality, we also prove the following statement in the cup product.
Theorem 1.2
Let M be a \((2n+1)\)-dimensional compact Sasakian manifold and E and \(E^{\prime }\) be semi-simple flat complex vector bundles. For \(s, t<n\) with \(s+t> n\), the cup product
vanishes.
2 Harmonic bundles
Let M be a compact Riemannian manifold and E a flat complex vector bundle over M equipped with a flat connection D. For any Hermitian metric h on E, we have a unique decomposition
such that \(\nabla \) is a unitary connection and \(\phi \) is a 1-form on M with values in the self-adjoint endomorphisms of E with respect to h.
Theorem 2.1
( [4]) A flat complex vector bundle \((E,\, D)\) is semi-simple if and only if there exists a Hermitian metric (called the harmonic metric) h on E such that
where \(\nabla ^{*}\) is the formal adjoint operator of \(\nabla \).
3 Sasakian manifolds
Let M be a \((2n+1)\)-dimensional real smooth manifold. A CR-structure (of codimension one) on M is an n-dimensional complex sub-bundle \(T^{1,0}\) of the complexified tangent bundle \(TM_{{\mathbb {C}}}\,=\, TM\otimes _{{\mathbb {R}}} {{\mathbb {C}}}\) such that \(T^{1,0}\cap \overline{T^{1,0}}=\{0\}\) and \(T^{1,0}\) is formally integrable, that is \([T^{1,0},T^{1,0}]\subset T^{1,0}\). In this paper, we do not consider CR-structures of higher codimension. We shall denote \(\overline{T^{1,0}}\) by \(T^{0,1}\). For a CR-structure \(T^{1,0}\) on M, there is a unique sub-bundle S of rank 2n of the real tangent bundle TM together with a vector bundle homomorphism \(I:\,S\,\longrightarrow \, S\) satisfying the conditions that
-
(1)
\(I^{2}=-\textrm{Id}_{S}\), and
-
(2)
\(T^{1,0}\) is the \(\sqrt{-1}\)-eigenbundle of I.
A \((2n+1)\)-dimensional manifold M equipped with a triple \((T^{1,0},\, S,\, I)\) as above is called a CR-manifold. A contact CR-manifold is a CR-manifold M with a contact 1-form \(\eta \) on M such that \(\ker \eta =S\). Let \(\xi \) denote the Reeb vector field for the contact form \(\eta \). On a contact CR-manifold, the above homomorphism I extends to the entire TM by setting \(I(\xi )\,=\,0\).
Definition 3.1
A contact CR-manifold \((M,\, (T^{1,0},\, S,\, I),\, (\eta ,\, \xi ))\) is a strongly pseudo-convex CR-manifold if the Hermitian form \(L_{\eta }\) on \(S_x\) defined by \(L_{\eta }(X,Y)=d\eta (X, IY)\), \(X,Y\,\in S_{x}\), is positive definite for every point \(x\,\in \, M\).
For a strongly pseudo-convex CR-manifold \((M, \,(T^{1,0},\, S, \,I),\, (\eta ,\, \xi ))\), we have a canonical Riemannian metric \(g_{\eta }\) on M which is defined by
Definition 3.2
A Sasakian manifold is a strongly pseudo-convex CR-manifold
such that for any section \(\zeta \) of \(T^{1,0}\), \([\xi , \zeta ]\) is also a section of \(T^{1,0}\).
For a Sasakian manifold \((M, \,(T^{1,0},\, S,\, I),\, (\eta ,\, \xi ))\), the metric cone of \((M, g_{\eta })\) is a Kähler manifold. We can also define a Sasakian manifold as a contact metric manifold whose metric cone is Kähler (see [2]).
4 Almost-formality
Let \((M,\, (T^{1,0}, \,S,\, I),\, (\eta , \,\xi ))\) be a compact Sasakian manifold. Then the Reeb vector field \(\xi \) defines a 1-dimensional foliation \({\mathcal {F}}_{\xi }\) on M. It is known that the map \(I:TM\rightarrow TM\) associated with the CR-structure \(T^{1,0}\) defines a transversely complex structure on the foliated manifold \((M,\,{\mathcal {F}}_{\xi })\). Furthermore, the closed basic 2-form \(d\eta \) is a transversely Kähler structure with respect to this transversely complex structure.
A differential form \(\omega \) on M is called basic if the equations
hold. We denote by \(A^{*}_{B}(M)\) the subspace of basic forms in the de Rham complex \(A^{*}(M)\). Then \(A^{*}_{B}(M)\) is a sub-complex of the de Rham complex \(A^{*}(M)\).
Corresponding to the decomposition \(S_{{\mathbb {C}}}=T^{1,0}\oplus T^{0,1}\), we have the bigrading
as well as the decomposition of the exterior differential
on \(A^{r}_{B}(M)_{{\mathbb {C}}}\), so that
We have the transverse Hodge theory as in ( [7, 9]). Consider the usual Hodge star operator
associated to the Sasakian metric \(g_{\eta }\) and the formal adjoint operator
We define the homomorphism
to be \(\star _{\xi }\omega =*(\eta \wedge \omega )\) for \(\omega \in A^{r}_{B}(M)\). Also define the operators
and \(\Lambda \,=\,-\star _{\xi }(d\eta \wedge )\star _{\xi }\). They are the formal adjoints of d, \(\partial _{\xi }\), \({\overline{\partial }}_{\xi }\) and \((d\eta \wedge )\) respectively for the pairing
Define the Laplacian operators
by
respectively. For \(\omega \,\in \, A^{r}_{B}(M)\), since the relation \(*\omega \,=\,(\star _{\xi }\omega )\wedge \eta \) holds, we have the relation
Thus, for \(\omega \,\in \, A^{1}_{B}(M)\), the equality \(\delta _{\xi }\omega \,=\,\delta \omega \) holds, and hence for \(f\,\in \, A^{0}_{B}(M)\), we have that \(\Delta _{\xi }f\,=\,\Delta f\). The usual Kähler identities
hold, and these imply that
where \(\Delta _{\xi }^{\prime }\,=\,\partial _{\xi }\partial _{\xi }^{*}+\partial _{\xi }^{*}\partial _{\xi }\) and \(\Delta _{\xi }^{\prime \prime }\,=\,{\overline{\partial }}_{\xi }{\overline{\partial }}_{\xi }^{*}+ {\overline{\partial }}_{\xi }^{*}{\overline{\partial }}_{\xi }\).
A basic vector bundle E over the foliated manifold \((M,\,{\mathcal {F}}_{\xi })\) is a \(C^\infty \) vector bundle over M which has local trivializations with respect to an open covering \(M\,=\,\bigcup _{\alpha } U_{\alpha }\) satisfying the condition that each transition function \(f_{\alpha \beta }:U_{\alpha }\cap U_{\beta }\rightarrow \textrm{GL}_{r}({\mathbb {C}})\) is basic on \(U_{\alpha }\cap U_{\beta }\) i.e. it is constant on the leaves of the foliation \({\mathcal {F}}_{\xi }\). For a basic vector bundle E, a differential form \(\omega \,\in \, A^{*}(M,\,E)\) with values in E is called basic if \(\omega \) is basic on every \(U_{\alpha }\), meaning \(\omega _{\vert U_{\alpha }}\,\in \, A^{*}_{B}(U_{\alpha })\otimes {\mathbb {C}}^{r}\) for every \(\alpha \). Let
denote the subspace of basic forms in the space \(A^{*}(M,\,E)\) of differential forms with values in E. Corresponding to the decomposition \(S_{{\mathbb {C}}}\,=\,T^{1,0}\oplus T^{0,1}\), we have the bigrading
We shall consider any flat vector bundle \((E,\, D)\) over M as a basic vector bundle by local flat frames. Then, \(A^{*}_{B}(M,\, E)\) is a sub-complex of the de Rham complex \(A^{*}(M,\,E)\) equipped with the differential D associated to the flat connection. We denote by \(H^{*}(M,\,E) \) and \(H^{*}_{B}(M,\,E) \) the cohomology of the de Rham complex \(A^{*}(M,\,E)\) and the cohomology of the sub-complex \(A^{*}_{B}(M,\, E)\) respectively. Suppose E is equipped with a Hermitian metric h. Let
be the canonical decomposition of the connection D (see (2.1)). Then, using the pairing \(A^{r}(M,\,E)\times A^{2n+1-r}(M,\,E)\,\longrightarrow \, A^{2n+1}(M)\) associated with h, define the Hodge star operator
as well as the formal adjoint operator \(D^{*}\,=\,-*_{h}D *_{h}\).
Assume the Hermitian structure h to be basic (equivalently, \(\phi (\xi )\,=\,0\) [1, Proposition 4.1]). By \(D_{\xi }\,=\,\nabla _{\xi }\), the unitary connection \(\nabla \) restricts to an operator
Now, on \(A^{p,q}_{B}(M,\, E)\), decompose
such that \(\partial _{h,\xi }\,:\, A^{p,q}_{B}(M,\, E) \,\longrightarrow \, A^{p+1,q}_{B}(M,\, E)\) and \({\overline{\partial }}_{h,\xi }\,:\,A^{p,q}_{B}(M,\, E) \,\longrightarrow \, A^{p,q+1}_{B}(M,\, E)\). Since \(\nabla \) is a unitary connection, we have that
for \(s_1,\, s_2\,\in \, A^{0,0}_{B}(M,\, E)\). We define the operator
and the formal adjoint operators
and \(\Lambda _{h}:=\,-\star _{h,\xi }(d\eta \wedge )\star _{h,\xi }\) in the same way as above. We now have the Kähler identities
Theorem 4.1
( [1, Theorem 4.2]) Let \((M,\, (T^{1,0},\, S,\, I),\, (\eta ,\, \xi ))\) be a compact Sasakian manifold and \((E, \, D)\) a flat complex vector bundle over M with a Hermitian metric h. Then the following two conditions are equivalent:
-
The Hermitian structure h is harmonic, i.e., \((\nabla )^{*}\phi \,=\,0\).
-
The Hermitian structure h is basic and for the decomposition
$$\begin{aligned} \phi \,=\,\theta +{\bar{\theta }} \end{aligned}$$with \(\theta \,\in \, A^{1,0}_{B}(M,\,\textrm{End}(E))\) and \( {\bar{\theta }}\in A^{0,1}_{B}(M,\,\textrm{End}(E))\), the equalities
$$\begin{aligned}{\overline{\partial }}_{h,\xi } {\overline{\partial }}_{h,\xi } \,=\,0,\qquad [\theta ,\,\theta ]\,=\,0\qquad \textrm{and} \qquad {\overline{\partial }}_{h,\xi } \theta \,=\,0\, \end{aligned}$$hold.
For a semi-simple flat complex vector bundle \((E, \, D)\) over a compact Sasakian manifold M, we have a harmonic metric h by Corlette’s Theorem. On \(A^{*}_{B}(M, \,E)\), we define the operators \(D^{\prime }=\partial _{h,\xi }+{\bar{\theta }}:A^{*}_{B}(M, \,E)\rightarrow A^{*+1}_{B}(M, \,E)\) and \(D^{\prime \prime }={\overline{\partial }}_{h,\xi }+\theta :A^{*}_{B}(M, \,E)\rightarrow A^{*+1}_{B}(M, \,E)\). By Theorem 4.1, we have \(D^{\prime \prime }D^{\prime \prime }=0\). Since D is flat, \(\nabla =\partial _{h,\xi }+{\overline{\partial }}_{h,\xi }\) is unitary and \(\phi =\theta +{\bar{\theta }}\) is self-adjoint, we have the equalities \(D^{\prime }D^{\prime }=0\) and \(D^{\prime }D^{\prime \prime }+D^{\prime \prime }D^{\prime }=0\). Define \(D^{c}=\sqrt{-1}(D^{\prime \prime }-D^{\prime })\). By using Kähler identities (4.2) and the similar equations for \(\theta \) and \({\bar{\theta }}\), we have the Kähler identities for the operators \(D^{\prime }\) and \(D^{\prime \prime }\)
as [13, Lemma 3.1]. By the similar arguments in [5, Lemma 5.11], we have the \(DD^{c}\)-Lemma:
Consider the sub-complex \(\textrm{ker}D^{c}\subset A^{*}_{B}(M, \,E)\) and the cohomology \(H^{*}_{D^{c}}(A^{*}_{B}(M, \,E))\) of \(A^{*}_{B}(M, \,E)\) for the differential \(D^{c}\). By the similar arguments in [5, Section 6], the inclusion \(\textrm{ker}D^{c}\subset A^{*}_{B}(M, \,E)\) is a quasi-isomorphism, the differential on \(H^{*}_{D^{c}}(A^{*}_{B}(M, \,E))\) induced by D is trivial and the quotient \(q:\textrm{ker}D^{c}\rightarrow H^{*}_{D^{c}}(A^{*}_{B}(M, \,E))\) is a quasi-isomorphism. Hence, we have the sequence
of quasi-isomorphisms. By \(d\eta \in A^{1,1}_{B}(M)\) and \(\partial _{\xi }d\eta ={\overline{\partial }}_{\xi }d\eta =0\), we have the sub-complexes
and the cochain complex \(H^{*}_{B}(M, \,E)\oplus H^{*}_{B}(M, \,E)\otimes \langle \eta \rangle \). Define the decreasing filtration \(F^{*}\) on \(A^{*}_{B}(M, \,E)\oplus A^{*}_{B}(M, \,E)\wedge \eta \) (resp. \(H^{*}_{B}(M, \,E)\oplus H^{*}_{B}(M, \,E)\otimes \langle \eta \rangle \)) such that \(F^{-1}=A^{*}_{B}(M, \,E)\oplus A^{*}_{B}(M, \,E)\wedge \eta \), \(F^{0}= A^{*}_{B}(M, \,E)\) and \(F^{1}=0\) and define the one on \(H^{*}_{B}(M, \,E)\oplus H^{*}_{B}(M, \,E)\otimes \langle \eta \rangle \) in the same manner. By the standard argument on the spectral sequences of these filtrations, we have the sequence
of quasi-isomorphisms.
Proposition 4.2
The inclusion \(A^{*}_{B}(M, \,E)\oplus A^{*}_{B}(M, \,E)\wedge \eta \subset A^{*}(M, \,E)\) is a quasi-isomorphism.
Proof
Consider the covariant derivative \(D_{\xi }\) on \(A^{*}(M, \,E)\) at the Reeb vector field \(\xi \). Then, a form \(\omega \in A^{*}(M, \,E)\) is basic if and only if \(D_{\xi }\omega =i_{\xi }\omega =0\). For any \(\omega \in \textrm{ker} D_{\xi }\), we have the decomposition
and hence we can say \(\textrm{ker} D_{\xi }=A^{*}_{B}(M, \,E)\oplus A^{*}_{B}(M, \,E)\wedge \eta \). Since we have \(D_{\xi }=\nabla _{\xi }\) for the unitary connection \(\nabla \) and \(\xi \) is Killing, we have \((D_{\xi })^{*}=- D_{\xi }\) and hence \(D_{\xi }\) and the Laplacian operator \(\Delta _{D}=DD^{*}+D^{*}D\) commute. Hence, if \(\omega \in A^{*}(M, \,E)\) is harmonic, then \(D_{\xi }\omega \) is also harmonic. Since \(D_{\xi }\) induces a trivial map on the cohomology \(H^{*}(M, \,E)\) of \(A^{*}(M, \,E)\), we have \(D_{\xi }\omega =0\). Thus, the inclusion \( \textrm{ker} D_{\xi }=A^{*}_{B}(M, \,E)\oplus A^{*}_{B}(M, \,E)\wedge \eta \subset A^{*}(M, \,E)\) induces a surjection on cohomology.
Consider the operator \(H_{D}\) on \(A^{*}(M, \,E) \) defined as the projection to harmonic forms. By the above argument, we have \(D_{\xi }H_{D}=0\). Since \(H_{D}\) is self-adjoint, we have \(H_{D}D_{\xi }=0\). Consider the Green operator \(G_{D}\) for \(\Delta _{D}\). For \(\omega \in \textrm{ker} D_{\xi }\), we have \(\Delta _{D}D_{\xi }G\omega = D_{\xi }\Delta _{D}G\omega = D_{\xi }(\omega -H_{D}\omega )=0\) and hence \(D_{\xi }G\omega =H_{D}D_{\xi }G\omega =0\). If \(D\omega =0\), then we have \(\omega =H_{D}(\omega )+DD^{*}G\omega \) with \(G\omega \in \textrm{ker} D_{\xi }\). We notice that \(D^{*}\) preserves \( \textrm{ker} D_{\xi }\) since \(D_{\xi }\) and \(D^{*}\) commute. If \([\omega ]=0\) in \(H^{*}(M, \,E)\), then \(H_{D}(\omega )=0\) and so we have \(\omega =DD^{*}G\omega \) for \(D^{*}G\omega \in \textrm{ker} D_{\xi }\). Thus, the inclusion \( \textrm{ker} D_{\xi }=A^{*}_{B}(M, \,E)\oplus A^{*}_{B}(M, \,E)\wedge \eta \subset A^{*}(M, \,E)\) induces an injection on cohomology. Hence the proposition follows. \(\square \)
Corollary 4.3
We have the sequence
of quasi-isomorphisms.
Remark 4.4
If E is trivial, then this statement is proved in [15].
5 Deformations of representations of the fundamental groups of Sasakian manifolds
We review the work of Goldman-Millson [6]. Let M be a compact manifold with a point x. We consider the variety \({{\mathcal {R}}}(\pi _{1}(M,x), GL_{m}({\mathbb {C}}))\) of representations of the fundamental group \(\pi _{1}(M,x)\). This is the set \(\textrm{Hom}(\pi _{1}(M,x),GL_{m}({\mathbb {C}})) \) with the natural structure of an algebraic variety induced by the group structure of \(\pi _{1}(M,x)\) and the algebraic group \(GL_{m}({\mathbb {C}})\). For \(\rho \in {{\mathcal {R}}}(\pi _{1}(M,x), GL_{m}({\mathbb {C}}))\), we define the flat vector bundle \((E=\pi _{1}(M,x)\backslash ({\tilde{M}}\times {\mathbb {C}}^{m}), D)\) where \({\tilde{M}}\) is the universal covering associated with the base point x. Consider the differential graded Lie algebra \(A^{*}(M, \, \textrm{End}(E))\) and the augmentation map \(\epsilon _{x}:A^{0}(M, \, \textrm{End}(E))\rightarrow \textrm{End}(E_{x})\). Then the analytic germ of \({{\mathcal {R}}}(\pi _{1}(M,x), GL_{m}({\mathbb {C}}))\) at \(\rho \) pro-represents the “deformation functor” of the differential graded Lie algebra \(A^{*}(M, \, \textrm{End}(E))_{x}=\textrm{ker} \epsilon _{x}\) (Theorem [6, Theorem 6.8]). If a finite dimensional \(\textrm{End}(E_{x})\)-augmented differential graded Lie algebra \(L^{*}\) with an injective augmentation \(\epsilon :L^{0}\rightarrow \textrm{End}(E_{x})\) is quasi-isomorphic to the \(\textrm{End}(E_{x})\)-augmented differential graded Lie algebra \(A^{*}(M, \, \textrm{End}(E))\), then the deformation functor of \(A^{*}(M, \, \textrm{End}(E))_{x}\) is pro-represented by the analytic germ of
at the origin (see [6, Section 3]).
Theorem 5.1
Let M be a \((2n+1)\)-dimensional compact Sasakian manifold with a point x. If \(n\ge 2\), then for any semi-simple representation \(\rho :\pi _{1}(M,x)\rightarrow GL_{m}({\mathbb {C}})\), the analytic germ of \({{\mathcal {R}}}(\pi _{1}(M,x), GL_{m}({\mathbb {C}}))\) at \(\rho \) is quadratic.
Proof
By the above arguments and Corollary 4.3, it is sufficient to prove that the analytic germ of
at the origin is quadratic. For \(\omega =\alpha +\beta \otimes \eta \in H^{1}_{B}(M, \,\textrm{End}(E))\oplus H^{0}_{B}(M, \,\textrm{End}(E))\otimes \langle \eta \rangle \), the equality \(d\omega +\frac{1}{2}[\omega ,\omega ]=0\) holds if and only if \(\beta \wedge d\eta +\frac{1}{2}[\alpha ,\alpha ]=0\) and \([\alpha ,\beta ]\otimes \eta =0\). On the other hand, \(\beta \wedge d\eta +\frac{1}{2}[\alpha ,\alpha ]=0\) implies
by the graded Jacobi identity. By the Kähler identities (4.3), if \(n\ge 2\), we can say that the map \(H^{1}_{B}(M, \,\textrm{End}(E))\ni a\mapsto a\wedge d\eta \in H^{3}_{B}(M, \,\textrm{End}(E))\) is injective as the usual Lefschetz decomposition. Hence, if \(n\ge 2\), \(\beta \wedge d\eta +\frac{1}{2}[\alpha ,\alpha ]=0\) implies \([\alpha ,\beta ]=0\) and this means that the equality \(d\omega +\frac{1}{2}[\omega ,\omega ]=0\) is equivalent to the quadratic equation \(\beta \wedge d\eta +\frac{1}{2}[\alpha ,\alpha ]=0\). Hence the theorem follows. \(\square \)
Remark 5.2
If \(\rho \) is trivial, the statement follows from [10, Corollary 6.10] (see also [8])
6 Vanishing cup products
Theorem 6.1
Let M be a \((2n+1)\)-dimensional compact Sasakian manifold and E and \(E^{\prime }\) be semi-simple flat complex vector bundles. For \(s, t<n\) with \(s+t> n\), the cup product
vanishes.
Proof
Considering the quasi-isomorphisms as in Corollary 4.3 for E, \(E^{\prime }\) and \(E\otimes E^{\prime }\), we can say that the cup product \(H^{*}(M, \,E)\otimes H^{*}(M, \,E^{\prime })\rightarrow H^{*}(M, \,E\otimes E^{\prime })\) is induced by the product
By the Kähler identities (4.3), we can say that the map \(H^{r}_{B}(M, \,E)\ni a\mapsto a\wedge d\eta \in H^{r+2}_{B}(M, \,E)\) is injective for \(r\le n-1\) and surjective for \(r\ge n-1\) as the usual Lefschetz decomposition. Thus, any r-th cohomology class of the complex \(H^{*}_{B}(M, \,E)\oplus H^{*}_{B}(M, \,E)\otimes \langle \eta \rangle \) has a representative in \(H^{r}_{B}(M, \,E)\) for \(r\le n\). By the injectivity, for \(s, t<n\), any cup product in
has a representative in \(H^{s+t}_{B}(M, \,E\otimes E^{\prime })\). By the surjectivity, if \(s+t>n\), any element in \(H^{s+t}_{B}(M, \,E\otimes E^{\prime })\) is exact. Hence the theorem follows. \(\square \)
Remark 6.2
If E and \(E^{\prime }\) are trivial, the statement follows from [3].
References
Biswas, I., Kasuya, H.: Higgs bundles and flat connections over compact Sasakian manifolds. Comm. Math. Phys. 385(1), 267–290 (2021)
Boyer, C.P., Galicki, K.: Sasakian Geometry. Oxford Mathematical Monographs. Oxford University Press, Oxford (2008)
Bungart, L.: Vanishing cup products on pseudoconvex CR manifolds. The Madison Symposium on Complex Analysis (Madison, WI, 1991), Contemp. Math., Amer. Math. Soc., Providence, RI, 137, 105–111(1992)
Corlette, K.: Flat G-bundles with canonical metrics. J. Differ. Geom. 28, 361–382 (1988)
Deligne, P., Griffiths, P., Morgan, J., Sullivan, D.: Real homotopy theory of Kahler manifolds. Invent. Math. 29(3), 245–274 (1975)
Goldman, W.M., Millson, J.J.: The deformation theory of representations of fundamental groups of compact Kähler manifolds. Inst. Hautes Études Sci. Publ. Math. No. 67, 43–96 (1988)
El Kacimi-Alaoui, A.: Opérateurs transversalement elliptiques sur un feuilletage riemannien et applications. Compositio Math. 73(1), 57–106 (1990)
Kasuya, H.: Mixed Hodge structures and Sullivan’s minimal models of Sasakian manifolds. Ann. Inst. Fourier (Grenoble) 67(6), 2533–2546 (2017)
Kamber, F.W., Tondeur, P.: de Rham-Hodge theory for Riemannian foliations. Math. Ann. 277(3), 415–431 (1987)
Papadima, S., Suciu, A.I.: The topology of compact Lie group actions through the lens of finite models. Int. Math. Res. Not. IMRN 20, 6390–6436 (2019)
Petit, R.: Harmonic maps and strictly pseudoconvex CR manifolds. Comm. Anal. Geom. 10(3), 575–610 (2002)
Sasaki, S.: On differentiable manifolds with certain structures which are closely related to almost contact structure. Tôhoku Math. Jour. 12, 459–476 (1960)
Simpson, C.T.: Constructing variations of Hodge structure using Yang-Mills theory and applications to uniformization. J. Am. Math. Soc. 1(4), 867–918 (1988)
Simpson, C.T.: Higgs bundles and local systems. Inst. Hautes Études Sci. Publ. Math. No. 75, 5–95 (1992)
Tievsky, A. M.: Analogues of Kähler geometry on Sasakian manifolds, Ph.D. Thesis, Massachusetts Institute of Technology, (2008). Available in http://dspace.mit.edu/handle/1721.1/45349
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Kasuya, H. Almost-formality and deformations of representations of the fundamental groups of Sasakian manifolds. Annali di Matematica 202, 1793–1801 (2023). https://doi.org/10.1007/s10231-023-01301-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-023-01301-6