No Arabic abstract
We define and study the index map for families of $G$-transversally elliptic operators and introduce the multiplicity for a given irreducible representation as a virtual bundle over the base of the fibration. We then prove the usual axiomatic properties for the index map extending the Atiyah-Singer results [1]. Finally, we compute the Kasparov intersection product of our index class against the K-homology class of an elliptic operator on the base. Our approach is based on the functorial properties of the intersection product, and relies on some constructions due to Connes-Skandalis and to Hilsum-Skandalis.
We define the Chern character of the index class of a $G$-invariant family of $G$-transversally elliptic operators, see [6]. Next we study the Berline-Vergne formula for families in the elliptic and transversally elliptic case.
We introduce and study the index morphism for G-invariant leafwise G-transversally elliptic operators on smooth closed foliated manifolds which are endowed with leafwise actions of the compact group G. We prove the usual axioms of excision, multiplicativity and induction for closed subgroups. In the case of free actions, we relate our index class with the Connes-Skandalis index class of the corresponding leafwise elliptic operator on the quotient foliation. Finally we prove the compatibility of our index morphism with the Gysin Thom isomorphism and reduce its computation to the case of tori actions. We also construct a topological candidate for an index theorem using the Kasparov Dirac element for euclidean G-representations.
Following [44], we introduce the notion of families of projective operators on fibrations equipped with an Azumaya bundle $mathcal{A}$. We define and compute the index of such families using the cohomological index formula from [7]. More precisely, a family of projective operators $A$ can be pulled back in a family $tilde{A}$ of $SU(N)$-transversally elliptic operators on the $PU(N)$-principal bundle of trivialisations of $mathcal{A}$. Through the distributional index of $tilde{A}$, we can define an index for the family $A$ of projective operators and using the cohomological index formula from [7], we obtain an explicit cohomological index formula. Let $1 to Gamma to tilde{G} to G to 1$ be a central extension by an abelian finite group. As a preliminary result, we compute the index of families of $tilde{G}$-transversally elliptic operators on a $G$-principal bundle $P$.
An index theory for projective families of elliptic pseudodifferential operators is developed when the twisting, i.e. Dixmier-Douady, class is decomposable. One of the features of this special case is that the corresponding Azumaya bundle can be realized in terms of smoothing operators. The topological and the analytic index of a projective family of elliptic operators both take values in the twisted K-theory of the parameterizing space. The main result is the equality of these two notions of index. The twisted Chern character of the index class is then computed by a variant of Chern-Weil theory.
This work is a continuation of our previous paper arXiv:1812.06473 where we have constructed ${cal N}=2$ supersymmetric Yang-Mills theory on 4D manifolds with a Killing vector field with isolated fixed points. In this work we expand on the mathematical aspects of the theory, with a particular focus on its nature as a cohomological field theory. The well-known Donaldson-Witten theory is a twisted version of ${cal N}=2$ SYM and can also be constructed using the Atiyah-Jeffrey construction. This theory is concerned with the moduli space of anti-self-dual gauge connections, with a deformation theory controlled by an elliptic complex. More generally, supersymmetry requires considering configurations that look like either instantons or anti-instantons around fixed points, which we call flipping instantons. The flipping instantons of our 4D ${cal N}=2$ theory are derived from the 5D contact instantons. The novelty is that their deformation theory is controlled by a transversally elliptic complex, which we demonstrate here. We repeat the Atiyah-Jeffrey construction in the equivariant setting and arrive at the Lagrangian (an equivariant Euler class in the relevant field space) that was also obtained from our previous work arXiv:1812.06473. We show that the transversal ellipticity of the deformation complex is crucial for the non-degeneracy of the Lagrangian and the calculability of the theory. Our construction is valid on a large class of quasi toric 4 manifolds.