group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
What is called KR-theory (Atiyah 66) is variant of topological K-theory on spaces equipped with a -action (by homeomorphism, hence equipped with one involutive homeomorphism – a “real space”).
In terms of cocycle models, classes of KR-theory are represented by complex vector bundles over on which the involution on their base space lifts to an anti-linear involution of the total space. Over manifolds with trivial involution these are precisely the complexification of real vector bundles and hence over such spaces -theory reduces to KO-theory. Conversely, over two copies of equipped with the involution that interchanges the two, -theory reduces to KU-theory. Finally over with the involution the antipodal identification on the second (circle) factor , -theory reduces to the self-conjugate KSC-theory (Anderson 64). So in general -theory interpolates between all these cases. For instance on with the reflection-involution on the circle (the real space denoted , the non-trivial -representation sphere) it behaves like -theory at the two involution fixed points (the two O-planes) and like in their complement (a model that makes this very explicit is given in DMR 13, section 4), schematically:
More abstractly, complex conjugation of complex vector bundles induces on the complex K-theory spectrum KU an involutive automorphism. is the corresponding -equivariant spectrum, and -theory the corresponding -equivariant cohomology theory. In particular, the homotopy fixed point of KU under this automorphism is KO
(e.g.Karoubi 01, Dugger 03, corollary 7.6, Hill-Hopkins-Ravenel, section 7.3) and this way where in complex K-theory one has KU-modules (∞-modules), so in KR-theory one has -modules.
KR is an example of a real-oriented cohomology theory, together with for instance MR-theory and BPR-theory.
An involution on a space by a homeomorphism (or diffeomorphism) as they appear in KR theory may be thought of as a “non-linear real structure”, and therefore spaces equipped with such involutions are called “real spaces”. Following this, -theory is usually pronounced “real K-theory”. But beware that this terminology easily conflicts with or is confused with KO-theory. For disambiguation the latter might better be called “orthogonal K-theory”.
…(Atiyah 66)…
The following gives as a genuine G-spectrum for .
Using that every orthogonal representation of is contained in an with its complex conjugation action, one can restrict attention to these. Write
The reduced canonical line bundle over this (the Hopf fibration) is classified by a map
to the classifying space for topological K-theory. The homotopy-associative multiplication on this space then yields the structure map of a -spectrum
This is in fact an Omega spectrum, by equivariant complex Bott periodicity (for instance in Dugger 03, p. 2-3).
As any genuine equivariant cohomology theory -theory is naturally graded over the representation ring . Write for the trivial 1-dimensional representation and for that given by the sign involution. Then the general orthogonalrepresentation decomposes as a direct sum
The corresponding representation sphere is
The relation between , and naturally arises in chromatic homotopy theory as follows.
Inside the moduli stack of formal group laws sits the moduli stack of one dimensional tori (Lawson-Naumann 12, def. A.1, A.3). This is equivalent to the quotient stack of the point by the group of order 2
(Lawson-Naumann 12, prop. A.4). Here the -action is the inversion involution on abelian groups.
Using the Goerss-Hopkins-Miller theorem this stack carries an E-∞ ring-valued structure sheaf (Lawson-Naumann 12, theorem A.5); and by the above equivalence this is a single E-∞ ring equipped with a -∞-action. This is KU with its involution induced by complex conjugation, hence essentially is .
Accordingly, the global sections of over are the -homotopy fixed points of this action, hence is . This is further amplified in (Mathew 13, section 3) and (Mathew, section 2).
As suggested there and by the main (Lawson-Naumann 12, theorem 1.2) this realizes (at least localized at ) the inclusion as the restriction of an analogous inclusion of tmf built as the global sections of the similarly derived moduli stack of elliptic curves.
cohomology theories of string theory fields on orientifolds
Substructure of the moduli stack of curves and the (equivariant) cohomology theory associated with it via the Goerss-Hopkins-Miller-Lurie theorem:
covering | by of level-n structures (modular curve) | ||||||||
structure group of covering | (modular group) | ||||||||
moduli stack | (M_ell) | (M_fg) | |||||||
of | 1d tori | Tate curves | elliptic curves | cubic curves | 1d commutative formal groups | ||||
value of structure sheaf over curve | KU | elliptic spectrum | complex oriented cohomology theory | ||||||
spectrum of global sections of structure sheaf | (KO KU) = KR-theory | Tate K-theory () | (Tmf Tmf(n)) (modular equivariant elliptic cohomology) | tmf |
KR theory was introduced in:
The version of -theory was introduced in
Early discussion in the broader context of real-oriented cohomology theory and Real cobordism cohomology:
The dual concept of KR-homology:
Discussion for algebraic varieties:
Discussion in equivariant homotopy theory:
On equivariant K-theory and KR-theory for finite equivariance groups:
Computations over compact Lie groups in the context of twisted ad-equivariant K-theory:
Chi-Kwong Fok, The Real K-theory of compact Lie groups, SIGMA 10 (2014), 022, (arXiv:1308.3871, doi:10.3842/SIGMA.2014.022)
Chi-Kwong Fok, Equivariant twisted Real K-theory of compact Lie groups, Journal of Geometry and Physics 124 (2018) 325-349 (arXiv:1503.00957, doi:10.1016/j.geomphys.2017.11.013)
Discussion in the general context of real oriented cohomology theory is in
Further discussion includes
Reviews include
Relation to topological Hermitian K-theory via the hyperbolic functor:
Michael C. Crabb, §9 of: -Homotopy Theory, Lond. Math. Soc. Lecture Notes 44, Cambridge University Press (1980) [ark:/13960/t3jx7bg4w, pdf]
Po Hu, Igor Kriz, Appendix of: Topological Hermitian cobordism, Journal of Homotopy and Related Structures 11 (2016) 173–197 [doi:10.1007/s40062-014-0100-9]
Max Karoubi, Charles Weibel, Thm. 3.5 in: Twisted -theory, Real -bundles and Grothendieck–Witt groups, Journal of Pure and Applied Algebra 221 7 (2017) 1629-1640 [doi:10.1016/j.jpaa.2016.12.020]
Remarks on homotopy-theoretic KR in the context of algebraic K-theory are in
Discussion of equivariant and twisted versions of KR-theory
El-kaïoum M. Moutuou, Twistings of KR for Real groupoids (arXiv:1110.6836)
El-kaïoum M. Moutuou, Graded Brauer groups of a groupoid with involution, J. Funct. Anal. 266 (2014), no.5 (arXiv:1202.2057)
Daniel Freed, Lectures on twisted K-theory and orientifolds, lectures at ESI Vienna, 2012 (pdf)
Daniel Freed, Gregory Moore, Section 7 of: Twisted equivariant matter, Ann. Henri Poincaré (2013) 14: 1927 (arXiv:1208.5055, doi:10.1007%2Fs00023-013-0236-x)
Kiyonori Gomi, Freed-Moore K-theory (arXiv:1705.09134, spire:1601772)
This is with motivation from orientifolds, see the references given there for more. A long list of computations of twisted -classes on tori with applications to T-duality on orientifolds/O-planes is in
Sergei Gukov, K-Theory, Reality, and Orientifolds, Commun.Math.Phys. 210 (2000) 621-639 (arXiv:hep-th/9901042)
Charles Doran, Stefan Mendez-Diez, Jonathan Rosenberg, T-duality For Orientifolds and Twisted KR-theory (arXiv:1306.1779)
(but see HMSV 19, p.5 footnote 1)
Charles Doran, Stefan Mendez-Diez, Jonathan Rosenberg, String theory on elliptic curve orientifolds and KR-theory (arXiv:1402.4885)
A general proposal for differential equivariant KR-theory of orientifolds and O-plane charge
Discussion of as the -homotopy fixed points of (or ) is in
Max Karoubi, A descent theorem in topological K-theory, K-theory 24 (2001), no. 2, 109–114 (arXiv:math/0509396)
Daniel Dugger, An Atiyah-Hirzebruch spectral sequence for -theory, Ktheory
35 (2005), 213–256. (arXiv:0304099)
Michael Hill, Michael Hopkins, Douglas Ravenel, section 7.3 of The Arf-Kervaire problem in algebraic topology: Sketch of the proof (pdf)
Discussion of with its -action as the E-∞ ring-valued structure sheaf of the moduli stack of tori is due to
which is reviewed and amplified further in
Akhil Mathew, section 3 of The homology of (arXiv:1305.6100)
Akhil Mathew, section 2 of The homotopy groups of , talk notes (pdf)
Discussion of twists of KR-theory by HZR-theory in degree 3 via bundle gerbes (Jandl gerbes) suitable for classifying D-brane charge on orientifolds:
Pedram Hekmati, Michael Murray, Richard Szabo, Raymond Vozzo, Real bundle gerbes, orientifolds and twisted KR-homology, Adv. Theor. Math. Phys. 23 (2019) 2093-2159, doi:10.4310/ATMP.2019.v23.n8.a5 (arXiv:1608.06466)
Pedram Hekmati, Michael Murray, Richard Szabo, Raymond Vozzo, Sign choices for orientifolds, Commun. Math. Phys. 378, 1843–1873 (2020) (arXiv:1905.06041)
Last revised on October 29, 2023 at 14:48:03. See the history of this page for a list of all contributions to it.