Complex K-theory KU
Builds on Vector bundleGrothendieck groupGrothendieck group of vector bundlesReduced K-theory of a spaceSuspensionCompact spaceHausdorff space
Definition
Let be a compact Hausdorff space. Consider the commutative monoid of isomorphism classes of complex vector bundles over under direct sum. The group is its Grothendieck group; see Grothendieck group of vector bundles. The tensor product of bundles makes a commutative ring. For , set where is with a disjoint base point added, is the reduced suspension, and is reduced K-theory. Complex K-theory is the family of functors , , on compact Hausdorff spaces, with the maps induced by pulling back bundles.
Remarks
Example: for a point, a complex vector bundle is a finite-dimensional complex vector space, determined up to isomorphism by its dimension. The monoid is , so . Also , since every complex vector bundle over is trivial.
Non-example: the monoid of bundles itself is not , because it is not a group. Over a point, no vector space satisfies , so the trivial line bundle has no inverse before passing to the Grothendieck group.
For compact , is the set of homotopy classes of maps , where is the classifying space of the infinite unitary group. So is represented by a spectrum with in even degrees and in odd degrees.
Reading path
To understand this page from the ground up, read these 8 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Compact space concept
- Grothendieck group concept
- Grothendieck group of vector bundles concept
- Hausdorff space concept
- Reduced K-theory of a space concept
- Suspension concept
- Vector bundle concept
- Complex K-theory KU definition
Further reading
About this page
| Tag | AQEPZAH5JD |
|---|---|
| URI | m2://AQEPZAH5JD |
| Kind | definition |
| Writing | W0 stub |
| MSC | 55N15, 55R50 |
| Defines | Complex K-theory KU |
| Uses | Vector bundle, Grothendieck group, Grothendieck group of vector bundles, Reduced K-theory of a space, Suspension, Compact space, Hausdorff space |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.