The Definition
To motivate Rosenberg's geometric formulation of twisted K-theory, start from the Atiyah-Jänich theorem, stating that
the Fredholm operators on Hilbert space, is a classifying space for ordinary, untwisted K-theory. This means that the K-theory of the space M consists of the homotopy classes of maps
from M to
A slightly more complicated way of saying the same thing is as follows. Consider the trivial bundle of over M, that is, the Cartesian product of M and . Then the K-theory of M consists of the homotopy classes of sections of this bundle.
We can make this yet more complicated by introducing a trivial
bundle over M, where is the group of projective unitary operators on the Hilbert space . Then the group of maps
from to which are equivariant under an action of is equivalent to the original groups of maps
This more complicated construction of ordinary K-theory is naturally generalized to the twisted case. To see this, note that bundles on M are classified by elements H of the third integral cohomology group of M. This is a consequence of the fact that topologically is a representative Eilenberg-MacLane space
The generalization is then straightforward. Rosenberg has defined
- KH(M),
the twisted K-theory of M with twist given by the 3-class H, to be the space of homotopy classes of sections of the trivial bundle over M that are covariant with respect to a bundle fibered over M with 3-class H, that is
Equivalently, it is the space of homotopy classes of sections of the bundles associated to a bundle with class H.
Read more about this topic: Twisted K-theory
Famous quotes containing the word definition:
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (18031882)