group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)
quantum mechanical system, quantum probability
interacting field quantization
(geometry Isbell duality algebra)
-Theory is the name of a category whose objects are C*-algebras and whose hom-sets are homotopy classes of slightly generalized -homomorphisms, called asymptotic C*-homomorphisms. These hom-sets have the structure of an abelian group and are also called the E-groups of their arguments. Since under Gelfand duality C*-algebras may be thought of as exhibiting noncommutative topology, one also speaks of noncommutative stable homotopy theory.
This construction may be understood as the universal improvement of KK-theory under excision (Higson 90). Accordingly, the -groups behave like groups of a K-theory-like generalized cohomology theory.
In terms of noncommutative topology (regarding, in view of Gelfand duality, noncommutative C*-algebras as algebras of functions on “noncommutative topological spaces”) one may understand this as dealing with “locally badly behaved space” such as certain quotients of foliations (Connes-Higson 90) in a way that resembles a noncommutative version of shape theory (Dādārlat 94).
First some notation and terminology.
For C*Alg, we write
for the -algebra of continuous -valued functions on the open inverval vanishing at infinity. This is also called the suspension of .
For C*Alg, write for the set of homotopy-equivalence classes of asymptotic C*-homomorphisms . As discussed there
there is a natural composition operation ;
is naturally an abelian group.
Finally, write C*Alg for the -algebra of compact operators on an infinite-dimensional separable Hilbert space. For the tensor product of C*-algebras is also called the stabilization of .
For C*Alg, the E-group of with coefficients in is
Under the induced composition operation this yields an additive category whose objects are C*-algebras, and whose hom-objects are .
E-theory is the universal localization C*Alg which is homotopy-invariant, stable and preserves exact sequences in the middle.
(…)
Because KK-theory is the universal split exact (stable and homotopy-invariant) localization of C*Alg, and E-theory the universal half-exact localization, and since every split exact sequence is in particular exact, there is a universal functor
from the KK-theory homotopy category to that of -theory.
Restricted to nuclear C*-algebras this is a full and faithful functor. (Higson 90) (…)
If in the definition of E-theory by asymptotic C*-homomorphisms one restricts to those which take values in contractive completely positive maps, then the results is isomorphic to KK-theory again. (K. Thomsen, Introduction, p. 34). The above universal functor is then just the corresponding forgetful functor.
It follows that the Kasparov product in KK-theory is equivalently given by the composition of the corresponding completely positive asymptotic C*-homomorphisms.
geometric context | universal additive bivariant (preserves split exact sequences) | universal localizing bivariant (preserves all exact sequences in the middle) | universal additive invariant | universal localizing invariant |
---|---|---|---|---|
noncommutative algebraic geometry | noncommutative motives | noncommutative motives | algebraic K-theory | non-connective algebraic K-theory |
noncommutative topology | KK-theory | E-theory | operator K-theory | … |
The idea of E-theory was introduced in
Reviews and surveys include
A standard textbook account is in section 25 of
The stable homotopy theory aspects are further discussed in
Martin Grensing, Noncommutative stable homotopy theory (arXiv:1302.4751)
Rasmus Bentmann, Homotopy-theoretic E-theory and n-order (arXiv:1302.6924)
See also
web page of a project Noncommutative topology - homotopy functors and E-theory
Snigdhayan Mahanta, Higher nonunital Quillen -theory, KK-dualities and applications to topological -duality pdf
Relation to shape theory is discussed in
Last revised on August 14, 2013 at 14:02:06. See the history of this page for a list of all contributions to it.