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:
“Its a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was mine.”
—Jane Adams (20th century)
“One definition of man is an intelligence served by organs.”
—Ralph Waldo Emerson (18031882)