Odd characteristic classes in entire cyclic homology and equivariant loop space homology (Q2073792)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Odd characteristic classes in entire cyclic homology and equivariant loop space homology
scientific article

    Statements

    Odd characteristic classes in entire cyclic homology and equivariant loop space homology (English)
    0 references
    0 references
    0 references
    8 February 2022
    0 references
    Motivated by the odd dimensional variant of Atiyah-Singer's `index' theorem, for \(M\) a compact manifold (possibly with boundary) and a smooth map \(g: M\to U(l\times l;\mathbb{C})\) from \(M\) to the Lie group of unitary \(l\times l\) matrices with entries in \(\mathbb{C}\), the authors construct a canonical element \(Ch^-(g)\in\mathcal{N} _\epsilon^-(\Omega_\mathbb{T} (M\times\mathbb{T}))\) in the odd part of the (reduced) Chen-normalized entire cyclic complex of \(\Omega_\mathbb{T} (M\times\mathbb{T})\), the smooth \(\mathbb{T}\)-invariant differential forms on \(M\times\mathbb{T}\) as a locally convex unital DGA. This is suggested by the program proposed by Getzler, Jones and Petrack for infinite dimensional localization, where the idea is to take as model for \(\Omega(LM)\) the space of equivariant Chen integrals, and in particular, one can have an equivariant Chen integral map \(\rho:\mathcal{N}_\epsilon(\Omega_\mathbb{T}(M\times\mathbb{T}))\to\widehat{\Omega}(LM)\) to a completed space of smooth differential forms on the smooth loop space \(LM\). Note that the consideration of the loop space \(LM\) was motivated earlier by Atiyah and Bismut for the even-dimensional case. The authors show that if \(M\) is closed then the element \(Ch^-(g)\) they construct satisfies the three properties required to obtain a proof of the odd dimensional variant of Atiyah-Singer's `index' theorem within the GJP-program for infinite dimensional localization. The authors also show that the assignment \(g\mapsto Ch^-(g)\) induces a well-defined group homomorphism \(K^{-1}(M)\to\mathcal{N} (\Omega_\mathbb{T} (M\times\mathbb{T}))\) from the \(K^{-1}\)-group of \(M\) to a quotient of the space of cyclic chains of the DGA \(\Omega_\mathbb{T} (M\times\mathbb{T})\). Finally, with the even variant of \(Ch^-(g)\) having been previously defined, the authors establish an even/odd periodicity, relating these two constructions.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    characteristic classes
    0 references
    loop spaces
    0 references
    equivariant homology
    0 references
    cyclic homology
    0 references
    Chen integrals
    0 references
    Bismut-Chern character
    0 references
    0 references