The \(f\)-invariant and index theory (Q981656)

Sei \(Z\) eine gerahmte Mannigfaltigkeit, welche Rand einer stabil fast-komplexen Mannigfaltigkeit \(N\) ist. Die Autoren definieren in dieser Situation ein elliptisches Randwertproblem für den Dirac-Operator assoziert zum komplexen elliptischen Geschlecht. Der tertiäre analytische Index von \(Z\), \(\eta^{an}(Z)\), wird definiert als die Klasse der eta-Invariante dieses Randwertproblems in \[ U_*:=\mathbb{C}[[q]]/E^\Gamma_{\mathbb{C},*}[[q]]+{}^N\mathbb{Z}[[q]]+\mathbb{C}, \] wobei \(E^\Gamma[[q]]\) die Menge der \(q\)-Entwicklungen von Modulformen bezeichnet. Mittels Bunkes Indexsatz für Mannigfaltigkeiten mit Ecken [\textit{U. Bunke}, ``Index theory, eta forms, and Deligne cohomology.'' Mem. Am. Math. Soc. 928, 120 p. (2009; Zbl 1181.58017)] zeigen die Autoren, das die Invariante nur von der gerahmten Bordismusklasse \(Z\)s abhängt. In [\textit{G. Laures}, Trans. Am. Math. Soc. 352, No.12, 5667--5688 (2000; Zbl 0954.55008)] definiert Laures mittels Homotopietheorie in derselben Situation eine Invariante \(f(Z)\). Seine Konstruktion benutzt eine Mannigfaltigkeit \(W\) mit \(\partial W= N_0\cup_Z N_1\) und kann daher als tertiäre Invariante aufgefaßt werden. Bunke und Naumann geben eine alternative Konstruktion von \(f(Z)\) mittels \(\mathbb{R}/\mathbb{Z}\)-Bordismustheorie. Das wichtigste Resultat der Arbeit ist ein tertiäres Indextheorem, nämlich \[ f(Z)=\eta^{an}(Z). \] Die Autoren diskutieren weiter Beziehungen zur Struktur der stabilen Homotopiegruppen von \(S^0\).