Completed K-theory and equivariant elliptic cohomology

DOI10.1016/J.AIM.2022.108754MaRDI QIDQ2099097zbMATH OpenOpenAlexFDO

Authors Kiran Luecke

Publication date 23 November 2022

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.00085

zbMATH Keywords

\(K\)-theoryelliptic cohomologyequivariant elliptic cohomologyloop groups

Mathematics Subject Classification ID

Elliptic cohomology (55N34)

Abstract: Kitchloo and Morava give a strikingly simple picture of elliptic cohomology at the Tate curve by studying a completed version of $S^1$-equivariant $K$-theory for spaces. Several authors (cf [ABG],[KM],[L]) have suggested that an equivariant version ought to be related to the work of Freed-Hopkins-Teleman ([FHT1],[FHT2],[FHT3]). However, a first attempt at this runs into apparent contradictions concerning twist, degree, and cup product. Several authors (cf. [BET],[G],[K]) have solved the problem over the complex numbers by interpreting the $S^1$-equivariant parameter as a complex variable and using holomorphicity as the technique for completion. This paper gives a solution that works integrally, by constructing a carefully completed model of $K$-theory for $S^1$-equivariant stacks which allows for certain ``convergent" infinite-dimensional cocycles.

Review text

In this paper the author constructs \(S^1\)-completed \(K\)-theory. The motivation of this theory is Kitchloo and Morava's idea of Tate \(K\)-theory, which is constructed as the circle-equivariant \(K\)-theory of the free loop space. The author applies this idea and constructs the new theory. Instead of the free loop space, he applies the loop groupoid. In this way the \(S^1\)-completed \(K\)-theory is constructed as a twisted cohomology theory. The author constructs a new model of equivariant elliptic cohomology at the Tate curve using the theory. In addition, he compares Grojnowski's equivariant elliptic cohomology with the \(S^1\)-completed \(K\)-theory. Due to the relation between Tate \(K\)-theory and \(K\)-theory, it is natural to seek a construction of \(S^1\)-completed \(K\)-theory in term of Freed-Hopkins-Telemann's construction of twisted \(K\)-theory [\textit{D. S. Freed} et al., J. Topol. 4, No. 4, 737--798 (2011; Zbl 1241.19002), J. Am. Math. Soc. 26, No. 3, 595--644 (2013; Zbl 1273.22015) and Ann. Math. (2) 174, No. 2, 947--1007 (2011; Zbl 1239.19002)]. In this way the author formulates the conclusions about the calculation of the theory as Freed, Hopkins and Telemann did in their papers. It is worth mentioning that the \(S^1\)-completed \(K\)-theory is the twisted quasi-elliptic cohomology defined by the reviewer and \textit{M. B. Young} [``Twisted Real quasi-elliptic cohomology, Preprint, \url{arXiv:2210.07511}]. The twisted Real quasi-elliptic cohomology is a Real version of this theory.

Recommendations

• Quasi-elliptic cohomology. I
• Rational \(S^1\)-equivariant elliptic cohomology
• Equivariant elliptic homology and finite groups
• A construction of complex analytic elliptic cohomology from double free loop spaces
• A de Rham model for complex analytic equivariant elliptic cohomology

Cites work

• A de Rham model for complex analytic equivariant elliptic cohomology
• A survey of elliptic cohomology
• scientific article; zbMATH DE number 4002404 (Why is no real title available?)
• scientific article; zbMATH DE number 5222556 (Why is no real title available?)
• Loop groups and twisted K-theory I
• Power operations in elliptic cohomology and representations of loop groups
• Quantization of the modular functor and equivariant elliptic cohomology
• The representation ring of a compact Lie group
• The transfer homomorphism in equivariant generalized cohomology theories
• Thom prospectra for loopgroup representations
• Twists of K-theory and TMF

Cited in

(7)

• Quasi-elliptic cohomology and its power operations
• Rational \(S^1\)-equivariant elliptic cohomology
• scientific article; zbMATH DE number 806582 (Why is no real title available?)
• A construction of complex analytic elliptic cohomology from double free loop spaces
• On equivariant topological modular forms
• Interfaces and quantum algebras. I: Stable envelopes
• The Atiyah-Segal completion theorem in twisted \(K\)-theory

This page was built for publication: Completed \(K\)-theory and equivariant elliptic cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2099097)