No Arabic abstract
Sasakian manifolds are odd-dimensional counterpart to Kahler manifolds. They can be defined as contact manifolds equipped with an invariant Kahler structure on their symplectic cone. The quotient of this cone by the homothety action is a complex manifold called Vaisman. We study harmonic forms and Hodge decomposition on Vaisman and Sasakian manifolds. We construct a Lie superalgebra associated to a Sasakian manifold in the same way as the Kahler supersymmetry algebra is associated to a Kahler manifold. We use this construction to produce a self-contained, coordinate-free proof of the results by Tachibana, Kashiwada and Sato on the decomposition of harmonic forms and cohomology of Sasakian and Vaisman manifolds. In the last section, we compute the supersymmetry algebra of Sasakian manifolds explicitly.
A compact complex manifold $V$ is called Vaisman if it admits an Hermitian metric which is conformal to a Kahler one, and a non-isometric conformal action by $mathbb C$. It is called quasi-regular if the $mathbb C$-action has closed orbits. In this case the corresponding leaf space is a projective orbifold, called the quasi-regular quotient of $V$. It is known that the set of all quasi-regular Vaisman complex structures is dense in the appropriate deformation space. We count the number of closed elliptic curves on a Vaisman manifold, proving that their number is either infinite or equal to the sum of all Betti numbers of a Kahler orbifold obtained as a quasi-regular quotient of $V$. We also give a new proof of a result by Rukimbira showing that the number of Reeb orbits on a Sasakian manifold $M$ is either infinite or equal to the sum of all Betti numbers of a Kahler orbifold obtained as an $S^1$-quotient of $M$.
Arising from a topological twist of $mathcal{N} = 4$ super Yang-Mills theory are the Kapustin-Witten equations, a family of gauge-theoretic equations on a four-manifold parametrized by $tinmathbb{P}^1$. The parameter corresponds to a linear combination of two super charges in the twist. When $t=0$ and the four-manifold is a compact Kahler surface, the equations become the Simpson equations, which was originally studied by Hitchin on a compact Riemann surface, as demonstrated independently in works of Nakajima and the third-named author. At the same time, there is a notion of $lambda$-connection in the nonabelian Hodge theory of Donaldson-Corlette-Hitchin-Simpson in which $lambda$ is also valued in $mathbb{P}^1$. Varying $lambda$ interpolates between the moduli space of semistable Higgs sheaves with vanishing Chern classes on a smooth projective variety (at $lambda=0$) and the moduli space of semisimple local systems on the same variety (at $lambda=1$) in the twistor space. In this article, we utilise the correspondence furnished by nonabelian Hodge theory to describe a relation between the moduli spaces of solutions to the equations by Kapustin and Witten at $t=0$ and $t in mathbb{R} setminus { 0 }$ on a smooth, compact Kahler surface. We then provide supporting evidence for a more general form of this relation on a smooth, closed four-manifold by computing its expected dimension of the moduli space for each of $t=0$ and $t in mathbb{R} setminus { 0 }$.
We show that the exterior derivative operator on a symplectic manifold has a natural decomposition into two linear differential operators, analogous to the Dolbeault operators in complex geometry. These operators map primitive forms into primitive forms and therefore lead directly to the construction of primitive cohomologies on symplectic manifolds. Using these operators, we introduce new primitive cohomologies that are analogous to the Dolbeault cohomology in the complex theory. Interestingly, the finiteness of these primitive cohomologies follows directly from an elliptic complex. We calculate the known primitive cohomologies on a nilmanifold and show that their dimensions can vary depending on the class of the symplectic form.
We introduce filtered cohomologies of differential forms on symplectic manifolds. They generalize and include the cohomologies discussed in Paper I and II as a subset. The filtered cohomologies are finite-dimensional and can be associated with differential elliptic complexes. Algebraically, we show that the filtered cohomologies give a two-sided resolution of Lefschetz maps, and thereby, they are directly related to the kernels and cokernels of the Lefschetz maps. We also introduce a novel, non-associative product operation on differential forms for symplectic manifolds. This product generates an A-infinity algebra structure on forms that underlies the filtered cohomologies and gives them a ring structure. As an application, we demonstrate how the ring structure of the filtered cohomologies can distinguish different symplectic four-manifolds in the context of a circle times a fibered three-manifold.
We study a natural contact instanton (CI) equation on gauge fields over 7-dimensional Sasakian manifolds, which is closely related both to the transverse Hermitian Yang-Mills (tHYM) condition and the G_2-instanton equation. We obtain, by Fredholm theory, a finite-dimensional local model for the moduli space of irreducible solutions. We derive cohomological conditions for smoothness, and we express its dimension in terms of the index of a transverse elliptic operator. Finally we show that the moduli space of selfdual contact instantons (ASDI) is Kahler, in the Sasakian case. As an instance of concrete interest, we specialise to transversely holomorphic Sasakian bundles over contact Calabi-Yau 7-manifolds, and we show that, in this context, the notions of contact instanton, integrable G_2-instanton and HYM connection coincide.