Abstract:Let $G$ be a connected, real semisimple Lie group. Let $K<G$ be maximal compact, and let $\Gamma < G$ be discrete and such that $\Gamma \backslash G$ has finite volume. If the real rank of $G$ is $1$ and $\Gamma$ is torsion-free, then Barbasch and Moscovici obtained an index theorem for Dirac operators on the locally symmetric space $\Gamma \backslash G/K$. We obtain a higher version of this, by constructing an index of Dirac operators on $G/K$ in the $K$-theory of an algebra on which the conjugation-invariant terms in Barbasch and Moscovici's index theorem define continuous traces. The resulting index theorems also apply when $\Gamma$ has torsion. The cases of these index theorems for traces defined by semisimple orbital integrals extend to Song and Tang's higher orbital integrals, and yield nonzero and computable results even when $\operatorname{rank}(G)> \operatorname{rank}(K)$, or the real rank of $G$ is larger than $1$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the construction and calculation of higher - order index theory on locally symmetric spaces of finite volume. Specifically, the authors hope to construct and calculate the higher - order index of the Dirac operator on $G/K$ in the context of a semisimple Lie group $G$ of real rank 1, and generalize it to more general cases. The following are the specific problems and goals proposed in the paper: 1. **Recovery of the classical index**: - The authors hope to construct a K - theory index from which the classical Atiyah - Singer index can be recovered. - When the real rank of $G$ is 1, it is possible to extract and calculate separately the conjugate - invariant part from the classical index expressions of Barbasch and Moscovici. 2. **Recovery of the Γ - equivariant index**: - When the locally symmetric space $X$ is compact, it is possible to recover the usual Γ - equivariant index from the higher - order index. 3. **Unified construction and calculation**: - Unify the previous various construction and calculation methods, especially when dealing with non - compact but finite - volume spaces, and be able to handle non - semisimple contribution terms. 4. **Extension to higher orbital integrals**: - Extend the results to the higher orbital integrals of Song and Tang, and obtain non - zero and computable results even when $\text{rank}(G)>\text{rank}(K)$ or the real rank of $G$ is greater than 1. 5. **Consider discrete subgroups with torsion elements**: - Even when the discrete subgroup $\Gamma$ contains torsion elements, making $X$ an orbifold, it is also possible to obtain non - zero contributions from non - trivial elliptic elements. Through these goals, the authors aim to provide a more general and powerful tool for studying and calculating topological invariants on locally symmetric spaces, especially for those spaces that are of finite volume but not compact. This not only extends the application range of the existing theory but also provides a new perspective for understanding more complex geometric structures.

A higher index on finite-volume locally symmetric spaces

On the Eisenstein Cohomology of Arithmetic Groups

Infinite Volume and Infinite Injectivity Radius

Higher orbital integrals, rho numbers and index theory

Etale Groupoids, eta invariants and index theory

Index theorem for homogenous spaces of Lie groups

The index of lattice Dirac operators and $K$-theory

Local Index Theory for Lorentzian Manifolds

Local Index Theory for the Rarita-Schwinger Operator

Analytic and Topological Invariants Associated to Nowhere Zero Vector Fields

K-theory and index theory on manifolds with a proper Lie group action

Rankin-Selberg Integrals for Principal Series Representations of GL(n)

Index theory for locally compact noncommutative geometries

Discrete subgroups with finite Bowen-Margulis-Sullivan measure in higher rank

Index theory of hypoelliptic operators on Carnot manifolds

Primary and secondary invariants of Dirac operators on $G$-proper manifolds

An equivariant index for proper actions II: properties and applications

Local index theory and $\mathbb{Z}/k\mathbb{Z}$ $K$-theory

Invariant random subgroups over non-Archimedean local fields

Dirac-Schrödinger operators, index theory, and spectral flow

An index theorem for loop spaces