Search arXivSearch

arXiv · 2109.06782

The index of families of projective operators

Abstract

Let $1 \to Γ\to \tilde{G} \to G \to 1$ be a central extension by an abelian finite group. In this paper, we compute the index of families of $\tilde{G}$-transversally elliptic operators on a $G$-principal bundle $P$. We then 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 for families of $SU(N)$-transversally elliptic operators. More precisely, a family $A$ of projective operators 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 index formula in equivariant cohomology for families of $SU(N)$-transversally elliptic operators, we derive an explicit cohomological index formula in de Rham cohomology. Once this is done, we define and compute the index of families of projective Dirac operators. As a second application of our computation of the index of families of $\tilde{G}$-transversally elliptic operators on a $G$-principal bundle $P$, we consider the special case of a family of $Spin(2n)$-transversally elliptic Dirac operators over the bundle of oriented orthonormal frames of an oriented fibration and we relate its distributional index with the index of the corresponding family of projective Dirac operators.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexandre Baldare. 2021-11-25. The index of families of projective operators. https://doi.org/10.2140/akt.2023.8.285

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Gerstenhaber algebra structure on the Hochschild cohomology ring of the Xu--Snashall algebra

Let $A$ be a finite dimensional algebra and let $\rmHH^*(A)$ be its Hochschild cohomology ring, which is a Gerstenhaber algebra. Denote by $\calN$ (resp. $G$, $\calG$) the ideal (resp. weak Gerstenhaber ideal, Gerstenhaber ideal) generated by all homogeneous nilpotent elements. Motivated by their work on support varieties via Hochschild cohomology, Snashall and Solberg conjectured that $\rmHH^*(A)/\calN$ is a finitely generated algebra. Xu constructed a counterexample to the Snashall-Solberg conjecture over a base field of characteristic two, and Snashall generalized this example to arbitrary characteristic. Hermann further asked whether $\rmHH^*(A)/G$ is a finitely generated algebra and suggested considering first the Xu--Snashall algebra. In this paper, we answer this question for the Xu--Snashall algebra. In fact, by explicitly computing the Gerstenhaber algebra structure on the Hochschild cohomology ring, we show that $G=\calN$; hence $\rmHH^*(A)/G=\rmHH^*(A)/\calN$ is not a finitely generated algebra. Furthermore, we show that $\rmHH^*(A)/\calG\cong K$. Therefore, one may ask whether, for a finite dimensional algebra $A$, $\rmHH^*(A)/\calG$ is always a finitely generated algebra. Our main tools are two-sided Anick resolutions and weak self-homotopies.

math.KT

K-theory of Matroids and Monoid Schemes

This paper continues the study of the $K$-theory of monoid schemes, using it to give a useful definition of the higher $K$-theory of a matroid via its Bergman fan.

math.KT

Improved injective stability for relative $\mathrm{K_1Sp}$-groups

We prove a relative version of Vorst's theorem concerning the equality of the group of all invertible matrices and the group of all elementary matrices over $R[X]$ with respect to an ideal $I\subset R$ such that $R/I$ is regular, where $R$ is a regular $k$-spot. We then introduce a relative version of the symplectic elementary Witt group and show that it fits into a relative version of the Karoubi periodicity sequence. Combining these results, we improve the existing injective stability bounds for relative linear and symplectic $\mathrm{K_1}$-groups of smooth affine algebras over various base fields. As an application, we give a necessary and sufficient condition for the freeness of stably free modules over smooth real $4$-folds with empty real locus.

math.KT