Higher localised $\hat{A}$-genera for proper actions and applications

TL;DR

This paper develops new topological obstructions, called higher $ ext{A}$-genera, for proper group actions on spin manifolds to prevent the existence of invariant positive scalar curvature metrics, extending classical results to groups with torsion.

Contribution

It introduces generalized higher $ ext{A}$-genera for proper actions, proves their obstructions in certain cases, and extends index-theoretic methods to the projective setting.

Findings

Obstructions to invariant positive scalar curvature metrics are formulated.

Generalization of Gromov-Lawson's higher $ ext{A}$-genera to proper actions with torsion.

A parameterized vanishing theorem based on the twisted Dirac operator's curvature.

Abstract

For a finitely generated discrete group $\Gamma$ acting properly on a spin manifold $M$, we formulate new topological obstructions to $\Gamma$-invariant metrics of positive scalar curvature on $M$ that take into account the cohomology of the classifying space $\underline{B}\Gamma$ for proper actions. In the cocompact case, this leads to a natural generalisation of Gromov-Lawson's notion of higher $\hat{A}$-genera to the setting of proper actions by groups with torsion. It is conjectured that these invariants obstruct the existence of $\Gamma$-invariant positive scalar curvature on $M$. For classes arising from the subring of $H^*(\underline{B}\Gamma,\mathbb{R})$ generated by elements of degree at most $2$, we are able to prove this, under suitable assumptions, using index-theoretic methods for projectively invariant Dirac operators and a twisted $L^2$-Lefschetz fixed-point theorem involving a weighted trace on conjugacy classes. The latter generalises a result of Wang-Wang to the projective setting. In the special case of free actions and the trivial conjugacy class, this reduces to a theorem of Mathai, which provided a partial answer to a conjecture of Gromov-Lawson on higher $\hat{A}$-genera. If $M$ is non-cocompact, we obtain obstructions to $M$ being a partitioning hypersurface inside a non-cocompact $\Gamma$-manifold with non-negative scalar curvature that is positive in a neighbourhood of the hypersurface. Finally, we define a quantitative version of the twisted higher index and use it to prove a parameterised vanishing theorem in terms of the lower bound of the total curvature term in the square of the twisted Dirac operator.