×

A Lichnerowicz vanishing theorem for the maximal Roe algebra. (English) Zbl 1523.58022

This paper studies an action of a discrete group \(\Gamma\) on a complete Riemannian manifold \(M\) with positive injectivity radius and with uniform bounds on the curvature tensor and all of its covariant derivatives. It is also assumed that \(M\) contains a “basic domain” (this is slightly more general than a fundamental domain) \(N\), such that for any proper length function \(\ell\) on \(\Gamma\), \(\ell(g)\to \infty\) in \(\Gamma\) implies that \(d(N, gN)\to \infty\) in \(M\). Here \(d\) is the Riemannian distance function. The action of \(\Gamma\) does not have to be cocompact, but it has to have only finitely many orbit types. The authors then study the maximal Roe algebra \(C^*_{\max}(M)^\Gamma\), the maximal completion of the \(*\)-algebra of \(\Gamma\)-invariant, locally compact operators with finite propagation. Under these assumptions, if the action of \(\Gamma\) is proper and isometric and if \(M\) has a \(\Gamma\)-equivariant spin structure, the authors show that the “maximal Roe index” of the Dirac operator in the \(K\)-theory of \(C^*_{\max}(M)^\Gamma\) is well-defined, and that it vanishes if \(M\) has uniformly positive scalar curvature. The hardest part of the paper involves checking that the Dirac operator is regular and essentialy self-adjoint on the relevant Hilbert module. This is not trivial even without the group action.

MSC:

58J22 Exotic index theories on manifolds
53C27 Spin and Spin\({}^c\) geometry
46L80 \(K\)-theory and operator algebras (including cyclic theory)
19K56 Index theory

References:

[1] Chang, S.; Weinberger, S.; Yu, G., Positive scalar curvature and a new index theory for noncompact manifolds, J. Geom. Phys., 149, 103575 (2020) · Zbl 1437.58017 · doi:10.1016/j.geomphys.2019.103575
[2] Chen, X., Wang, J., Xie, Z., Yu, G.: Delocalized eta invariants, cyclic cohomology and higher rho invariants. arXiv:1901.02378
[3] Chen, X.; Wang, Q.; Yu, G., The maximal coarse Baum-Connes conjecture for spaces which admit a fibred coarse embedding into Hilbert space, Adv. Math., 249, 88-130 (2013) · Zbl 1292.46014 · doi:10.1016/j.aim.2013.09.003
[4] Gong, G.; Wang, Q.; Yu, G., Geometrization of the strong Novikov conjecture for residually finite groups, J. Reine Angew. Math., 621, 159-189 (2008) · Zbl 1154.46042
[5] Kucerovsky, D., A short proof of an index theorem, Proc. Am. Math. Soc., 129, 12, 3729-3736 (2001) · Zbl 0982.58015 · doi:10.1090/S0002-9939-01-06164-0
[6] Lance, E. C.: Hilbert \(C^*\)-modules, volume 210 of London Mathematical Society Lecture Note Series. A toolkit for operator algebraists. Cambridge University Press, Cambridge (1995) · Zbl 0822.46080
[7] Lichnerowicz, A., Spineurs harmoniques, C. R. Acad. Sci. Paris, 257, 7-9 (1963) · Zbl 0136.18401
[8] Oyono-Oyono, H.; Yu, G., \(K\)-theory for the maximal Roe algebra of certain expanders, J. Funct. Anal., 257, 10, 3239-3292 (2009) · Zbl 1185.46047 · doi:10.1016/j.jfa.2009.04.017
[9] Petersen, P.: Riemannian geometry, volume 171 of Graduate Texts in Mathematics, third edition. Springer, Cham (2016) · Zbl 1417.53001
[10] Roe, J., An index theorem on open manifolds. I, II, J. Differ. Geom., 27, 1, 87-113 (1988) · Zbl 0657.58041
[11] Roe, J.: Index theory, coarse geometry, and topology of manifolds, volume 90 of CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI (1996) · Zbl 0853.58003
[12] Rosenberg, J., \(C^\ast \)-algebras, positive scalar curvature, and the Novikov conjecture. III., Topology, 25, 3, 319-336 (1986) · Zbl 0605.53020 · doi:10.1016/0040-9383(86)90047-9
[13] Schick, T.; Seyedhosseini, M., On an index theorem of Chang, Weinberger and Yu. Münster J. Math., 14, 1, 123-154 (2021) · Zbl 1459.58008
[14] Shubin, M.: Spectral theory of the Schrödinger operators on non-compact manifolds: qualitative results. In: Spectral theory and geometry (Edinburgh, 1998), volume 273 of London Math. Soc. Lecture Note Ser., pages 226-283. Cambridge Univ. Press, Cambridge (1999) · Zbl 0985.58015
[15] Yu, G.: A characterization of the image of the Baum-Connes map. In: Quanta of maths, volume 11 of Clay Math. Proc., pages 649-657. Amer. Math. Soc., Providence, RI (2010) · Zbl 1216.19008
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.