Tate K-theory is the elliptic cohomology theory associated with the Tate curve (the Tate elliptic curve over the Laurent series ring ) (AHS 01, 2.7, Lurie 09, 4.3)
The corresponding elliptic genus is the Witten genus (AHS 01, Sec. 2.7).
The underlying cohomology theory is given by Laurent series in topological K-theory, and equivalently by completion of circle group-equivariant K-theory of free loop spaces (KM 04, Section 5, see also Lurie 09, Section 5.2):
(For more exposition see also Dove 19, Sec. 6.2).
The equivariant version of Tate K-theory is a form of equivariant elliptic cohomology. For a finite group and a topological G-space it comes down (Ganter 07, Def. 3.1, Ganter 13, Def. 2.6, review in Dove 19, Def. 6.16) to the sub-ring
of the direct sum, over conjugacy classes of group elements , of Laurent polynomials with coefficients in equivariant K-theory-groups on the -fixed loci for equivariance group the centralizer of
on those elements which satisfy the rotation condition:
Rotation condition. The -equivariant vector bundles which form the coefficient of are such that acts on them by multiplication with .
This rotation condition may be understood more intrinsically (this is made explicit on p. 63 of Dove 19) as that in implied by the orbifold K-theory on Huan's inertia orbifold (Huan 18), induced by the nature of the quotient groups
appearing there. This quotient exactly equates the action of with that of a rotation of .
Hence, in generalization of twisted ad-equivariant K-theory there is twisted ad-equivariant Tate K-theory (an equivariant elliptic cohomology theory) relating to the Verlinde ring of positive energy loop group representations (Lurie 09, Sec. 5.2, Luecke 19, Cor. 3.2.5, Dove 19).
The Ochanine genus lifts to a homomorphism of ring spectra from spin structure cobordism cohomology theory to Tate K-theory (Kreck-Stolz 93, lemma 5.8, lemma 5.4). This is the spin-orientation of elliptic cohomology
As elliptic cohomology over the Tate sphere:
Matthew Ando, Michael Hopkins, Neil Strickland, Section 2.7 of: Elliptic spectra, the Witten genus and the theorem of the cube, Invent. math. 146, 595–687 (2001) [doi:10.1007/s002220100175]
Jacob Lurie, A Survey of Elliptic Cohomology, in: Algebraic Topology Abel Symposia 4 (2009) 219-277 [pdf, doi:10.1007/978-3-642-01200-6_9]
As completed -equivariant K-theory of free loop space
As a form of equivariant elliptic cohomology (twisted ad-equivariant Tate K-theory):
Nora Ganter, Section 3.1 in: Stringy power operations in Tate K-theory [arXiv:math/0701565]
Nora Ganter, Power operations in orbifold Tate K-theory, Homology Homotopy Appl. 15 1 (2013) 313-342 [arXiv:1301.2754, euclid:hha/1383943680]
Charles Rezk, Quasi-Elliptic Cohomology (2014) [pdf]
Zhen Huan, Quasi-elliptic cohomology (2017) [hdl:2142/97268]
Zhen Huan, Quasi-Elliptic Cohomology and its Power Operations, J. Homotopy and Related Structures 13 (2018) 715–767 [arXiv:1612.00930, doi:10.1007/s40062-018-0201-y]
Zhen Huan, Quasi-elliptic cohomology and its Spectrum [arXiv:1703.06562]
Zhen Huan, Quasi-Elliptic Cohomology I, Advances in Mathematics, 337 (2018) 107-138 [arXiv:1805.06305, doi:10.1016/j.aim.2018.08.007]
with a streamlined account in
Zhen Huan, Quasi-theories [arXiv:1809.06651]
Zhen Huan, Quasi-theories and their equivariant orthogonal spectra [arXiv:1809.07622]
and some general abstract clarification on Huan's inertia orbifold in:
Review:
For simply-connected compact Lie groups:
For finite groups:
Generalization to twisted equivariant K-theory
and further to KR-theory:
Zhen Huan, Matthew B. Young, Twisted Real quasi-elliptic cohomology [arXiv:2210.07511]
Zhen Huan, Twisted Real quasi-elliptic cohomology, talk at CQTS (Nov 2022) [video]
On quasi-elliptic cohomology of representation spheres as an approximation to equivariant Cohomotopy:
Zhen Huan: Twisted Quasi-elliptic cohomology and twisted equivariant elliptic cohomology [arXiv:2006.00554]
Zhen Huan: Quasi-elliptic cohomology of 4-spheres [arXiv:2408.02278]
Last revised on August 8, 2024 at 05:31:29. See the history of this page for a list of all contributions to it.