# Topological K-theory

Topological K-theory is a generalized cohomology theory that assigns to a topological space the Grothendieck group of its vector bundles, turning the formal differences of bundles into an algebraic invariant of the space. It was introduced by [Michael Atiyah](https://www.edgepedia.org/michael-atiyah) and [Friedrich Hirzebruch](https://www.edgepedia.org/friedrich-hirzebruch) in their 1961 paper "Vector bundles and homogeneous spaces" as a topological analog of the group Grothendieck had used in his formulation of the [Riemann–Roch theorem](https://www.edgepedia.org/riemann-roch-theorem)<sup>[1](https://celebratio.org/Atiyah_MF/article/39/)</sup><sup> • </sup><sup>[2](https://link.springer.com/book/10.1007/978-3-540-79890-3)</sup>. The theory became a central tool in topology and, through the Atiyah–Singer index theorem, in analysis and mathematical physics<sup>[3](https://celebratio.org/Atiyah_MF/article/40/)</sup>.

| Key fact | Detail |
|---|---|
| Definition | For a compact Hausdorff space X, K(X) is the Grothendieck group of the monoid Vect(X) of isomorphism classes of complex vector bundles under direct sum<sup>[4](https://web.ma.utexas.edu/users/gdavtor/notes/ktheory.pdf)</sup> |
| Representing space | K⁰ is represented by \( \mathbb{Z} \times BU \), so K⁰(X) ≅ [X, \( \mathbb{Z} \times BU \)] for compact Hausdorff X<sup>[5](https://bastiaancnossen.com/notes/stable-homotopy-higher-algebra/section/complex-k-theory/complex-k-theory-groups/index.html)</sup> |
| Bott periodicity | Complex K-theory is 2-periodic: \( K^{n+2}(X) \cong K^{n}(X) \); real KO-theory has period 8<sup>[6](https://pi.math.cornell.edu/~zakh/6530/sec12.pdf)</sup><sup> • </sup><sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup> |
| Ring structure | Tensor product of bundles extends to a commutative ring structure on K⁰(X), with unit the class of the trivial line bundle<sup>[5](https://bastiaancnossen.com/notes/stable-homotopy-higher-algebra/section/complex-k-theory/complex-k-theory-groups/index.html)</sup> |
| Chern character | The Chern character gives a natural isomorphism \( K^{0}(X) \otimes \mathbb{Q} \cong \) even rational Čech cohomology and \( K^{1}(X) \otimes \mathbb{Q} \cong \) odd rational cohomology<sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup> |
| Index theorem | Atiyah and Singer computed the index of an elliptic operator in terms of K-theory; for a family over a base B the index is an element of K⁰(B)<sup>[3](https://celebratio.org/Atiyah_MF/article/40/)</sup><sup> • </sup><sup>[8](https://www.claymath.org/library/proceedings/cmip06.pdf)</sup> |
| Physics application | Kitaev's 2009 periodic table classifies gapped free-fermion phases using Bott periodicity, with invariants 0, \( \mathbb{Z} \), or \( \mathbb{Z}_2 \)<sup>[9](https://arxiv.org/abs/0901.2686)</sup> |

## Definition via the Grothendieck group

The isomorphism classes of complex vector bundles over a compact Hausdorff space X form a commutative monoid Vect(X) under direct sum. This monoid generally lacks inverses, so K-theory adjoins them formally. The Grothendieck group construction, the left adjoint to the forgetful functor from abelian groups to commutative monoids, produces an abelian group K(X) together with a homomorphism from Vect(X) satisfying a universal property: every monoid homomorphism from Vect(X) to an abelian group factors uniquely through it<sup>[4](https://web.ma.utexas.edu/users/gdavtor/notes/ktheory.pdf)</sup>. The basic example is the Grothendieck group of the natural numbers, which is the integers \( \mathbb{Z} \)<sup>[4](https://web.ma.utexas.edu/users/gdavtor/notes/ktheory.pdf)</sup>.

Concretely, elements of K(X) are formal differences \( [E] - [F] \) of vector bundles, where two pairs \( (E_1, F_1) \) and \( (E_2, F_2) \) are identified when \( E_1 \oplus F_2 \) and \( E_2 \oplus F_1 \) become isomorphic after adding trivial bundles. Two bundles that become isomorphic after adding trivial bundles are called stably isomorphic<sup>[4](https://web.ma.utexas.edu/users/gdavtor/notes/ktheory.pdf)</sup>. For a point, every bundle is trivial and K(point) ≅ \( \mathbb{Z} \), the rank<sup>[4](https://web.ma.utexas.edu/users/gdavtor/notes/ktheory.pdf)</sup>.

**Reduced K-theory.** Choosing a basepoint in X gives a rank map \( K(X) \to K(*) \cong \mathbb{Z} \), and the reduced group \( \widetilde{K}(X) \) is its kernel; the contraction map splits the sequence, so \( K(X) \cong \widetilde{K}(X) \oplus \mathbb{Z} \)<sup>[4](https://web.ma.utexas.edu/users/gdavtor/notes/ktheory.pdf)</sup>. Equivalently, \( \widetilde{K}(X) \) is Vect(X) modulo stable equivalence<sup>[4](https://web.ma.utexas.edu/users/gdavtor/notes/ktheory.pdf)</sup>.

**Ring structure.** Besides addition from direct sum, the tensor product of vector bundles extends to a multiplication on K⁰(X), making it a commutative ring with unit the class of the trivial line bundle<sup>[5](https://bastiaancnossen.com/notes/stable-homotopy-higher-algebra/section/complex-k-theory/complex-k-theory-groups/index.html)</sup><sup> • </sup><sup>[4](https://web.ma.utexas.edu/users/gdavtor/notes/ktheory.pdf)</sup>. A first computation illustrates the theory: \( K^0(S^2) \cong \mathbb{Z} \oplus \mathbb{Z} \), where one summand is generated by the trivial bundles and the other by the canonical line bundle H over \( \mathbb{CP}^1 \)<sup>[6](https://pi.math.cornell.edu/~zakh/6530/sec12.pdf)</sup>.

## Bott periodicity and the cohomology theory

K-theory becomes a full cohomology theory once the negative groups are defined by suspension, \( K^{-n}(X) = K^0(S^n X) \)<sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup>. The organizing result is the [Bott periodicity theorem](https://www.edgepedia.org/bott-periodicity-theorem): there is a natural isomorphism \( K^0(S^2 X) \cong K^0(X) \) for all locally compact Hausdorff spaces, so \( K^{n-2}(X) \cong K^{n}(X) \) and the theory is 2-periodic<sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup><sup> • </sup><sup>[6](https://pi.math.cornell.edu/~zakh/6530/sec12.pdf)</sup>. Homotopy-theoretically, K⁰ is represented by the space \( \mathbb{Z} \times BU \), the colimit over the classifying spaces BU(n) of unitary groups, and this colimit is what exhibits the periodicity<sup>[5](https://bastiaancnossen.com/notes/stable-homotopy-higher-algebra/section/complex-k-theory/complex-k-theory-groups/index.html)</sup><sup> • </sup><sup>[10](https://pi.math.cornell.edu/~zakh/book.pdf)</sup>.

Replacing complex vector bundles by real ones gives real K-theory, KO, which has period 8 instead of 2<sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup>. The theory satisfies the Eilenberg–Steenrod axioms for a generalized cohomology theory: homotopy invariance, a suspension isomorphism, the long exact sequence of a pair, and additivity<sup>[11](https://www.math.harvard.edu/media/Krulewski-K-Theoretic-thesis.pdf)</sup>. Like ordinary cohomology, it has long exact sequences for a closed subspace \( Y \subset X \)<sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup>.

## Relation to ordinary cohomology

Rationally, K-theory carries no more information than cohomology: the Chern character gives a natural isomorphism from \( K^0(X) \otimes \mathbb{Q} \) to the direct sum of the even rational [Čech cohomology](https://www.edgepedia.org/cech-cohomology) groups, and from \( K^1(X) \otimes \mathbb{Q} \) to the odd ones<sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup>. For a line bundle \( \xi \), the character takes the form \( \mathrm{ch}\,\xi = e^{c_1(\xi)} \), where \( c_1 \) is the first [Chern class](https://www.edgepedia.org/chern-class)<sup>[12](https://encyclopediaofmath.org/wiki/Chern_character)</sup>.

What K-theory adds is its treatment of torsion, which the Chern character loses; the Adams operations detect torsion elements in K(X) that map to zero under the Chern character<sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup><sup> • </sup><sup>[13](https://jetbundle.github.io/physics/field-theory/chapter-7/)</sup>. Two further advantages noted by N. Christopher Phillips, professor of mathematics at the [University of Oregon](https://www.edgepedia.org/university-of-oregon), are that some invariants, such as the index of a family of elliptic differential operators, naturally live in K-theory, and that K-theory generalizes to Banach algebras and C*-algebras while ordinary cohomology does not<sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup>.

## The index theorem and elliptic operators

The deepest application of K-theory came through the [Atiyah–Singer index theorem](https://www.edgepedia.org/atiyah-singer-index-theorem). Atiyah and Singer announced their general index formula in 1963, and in "The index of elliptic operators, I" ([Annals of Mathematics](https://www.edgepedia.org/annals-of-mathematics), 1968) they computed the index of an elliptic operator in terms of K-theory; paper III then passed from K-theory to cohomology to obtain the explicit cohomological formula<sup>[3](https://celebratio.org/Atiyah_MF/article/40/)</sup><sup> • </sup><sup>[14](https://annals.math.princeton.edu/1968/87-3/p05)</sup>. In the simplest case the operator is a linear differential operator \( D: C^{\infty}(E) \to C^{\infty}(F) \) between spaces of sections of complex vector bundles over X<sup>[15](https://oamonitor.ireland.openaire.eu/national/search/publication?pid=10.2307%2F1970715)</sup>.

For a family of elliptic operators parametrized by a compact base B, the index is generally not one integer but a virtual vector bundle, an element of \( K^0(B) \)<sup>[8](https://www.claymath.org/library/proceedings/cmip06.pdf)</sup>. Atiyah and Singer showed that this family index should be thought of as an element of the K-theory group \( K^*(B) \), a formulation that became central to later work on determinant bundles, anomalies, and moduli spaces<sup>[8](https://www.claymath.org/library/proceedings/cmip06.pdf)</sup>. The Thom isomorphism theorem in K-theory, for which Landweber's expository text sketches proofs in terms of the index for families of elliptic operators, is a key ingredient of this circle of ideas<sup>[16](https://arxiv.org/abs/math/0504555)</sup>.

## Variants and extensions

The K-theory of complex vector bundles has several variants and refinements<sup>[1](https://celebratio.org/Atiyah_MF/article/39/)</sup>:

- **KO-theory**, for real vector bundles, with period 8<sup>[1](https://celebratio.org/Atiyah_MF/article/39/)</sup><sup> • </sup><sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup>.
- **Equivariant K-theory** \( K_G \), for G-vector bundles over G-spaces, introduced by Atiyah and [Graeme Segal](https://www.edgepedia.org/graeme-segal) in 1965<sup>[1](https://celebratio.org/Atiyah_MF/article/39/)</sup>.
- **KR-theory**, introduced by Atiyah in 1966 as a mixture of the real, self-conjugate, and equivariant theories, motivated by real algebraic geometry and essential for the index problem for real elliptic operators<sup>[1](https://celebratio.org/Atiyah_MF/article/39/)</sup>.

In the 1970s it was found that topological K-theory and its dual theory, K-homology, extend naturally to the category of C*-algebras, which made possible the body of work now called noncommutative topology<sup>[8](https://www.claymath.org/library/proceedings/cmip06.pdf)</sup>. K-homology itself, the homology theory dual to K-theory, first received natural constructions for general compact metric spaces from C*-algebraists, using extensions of C*-algebras and later abstract elliptic pseudodifferential operators<sup>[7](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)</sup>. [Operator K-theory](https://www.edgepedia.org/operator-k-theory) also serves as a foundation for classifying gapped phases of matter: with respect to symmetries including time reversal, charge conjugation, and magnetic translations, Guo Chuan Thiang demonstrated that it offers a broader and more natural framework than the commutative topological theory.<sup>[17](https://arxiv.org/abs/1406.7366)</sup>

## Classification of topological phases of matter

In a short and influential 2009 paper, [Alexei Kitaev](https://www.edgepedia.org/alexei-kitaev), then at the [California Institute of Technology](https://www.edgepedia.org/california-institute-of-technology), proposed that gapped phases of noninteracting fermions can be classified using the techniques of topological K-theory<sup>[9](https://arxiv.org/abs/0901.2686)</sup><sup> • </sup><sup>[17](https://arxiv.org/abs/1406.7366)</sup>. Gapped phases of free fermions, with and without charge conservation and time-reversal symmetry, are classified using Bott periodicity: the symmetry type and spatial dimension determine a universality class corresponding to one of the 2 types of complex and 8 types of real Clifford algebras, and the phases within a class are characterized by a topological invariant that is an element of an abelian group equal to 0, \( \mathbb{Z} \), or \( \mathbb{Z}_2 \)<sup>[9](https://arxiv.org/abs/0901.2686)</sup>. The interface between two infinite phases with different topological numbers must carry gapless modes, and the classification is robust with respect to disorder provided electron states near the [Fermi energy](https://www.edgepedia.org/fermi-energy) are absent or localized<sup>[9](https://arxiv.org/abs/0901.2686)</sup>.

Later work refined the framework. Thiang's 2014 treatment exhibits Kitaev's periodic table as a special case of an operator-K-theoretic framework and proves that the phenomena of periodicity and dimension shifts remain robust in the presence of disorder and magnetic fields; in it, K-theory groups are better thought of as groups of obstructions between homotopy classes of gapped phases than as absolute classifiers<sup>[17](https://arxiv.org/abs/1406.7366)</sup>. K-theory has also been used to classify Floquet topological insulators, where the static classification group \( \mathcal{G} \) becomes \( \mathcal{G}^{\times n} \), with n the number of physically important gaps in the quasienergy spectrum<sup>[18](https://journals.aps.org/prb/abstract/10.1103/PhysRevB.96.155118)</sup>, and Terry A. Loring, professor of mathematics at the [University of New Mexico](https://www.edgepedia.org/university-of-new-mexico), derived formulas and algorithms for Kitaev's invariants in finite disordered systems, finding that K-theory arises as an obstruction to perturbing approximately compatible observables into compatible ones<sup>[19](https://arxiv.org/abs/1502.03498)</sup>.

## References

1. [Celebratio Mathematica — Atiyah — K-Theory](https://celebratio.org/Atiyah_MF/article/39/)
2. [K-Theory: An Introduction, Springer](https://link.springer.com/book/10.1007/978-3-540-79890-3)
3. [Celebratio Mathematica — Atiyah — Index Theory](https://celebratio.org/Atiyah_MF/article/40/)
4. [George Torres, Topological K-theory and Bott periodicity (lecture notes)](https://web.ma.utexas.edu/users/gdavtor/notes/ktheory.pdf)
5. [Complex K-theory groups, Stable homotopy theory and higher algebra (Bastiaan Cnossen)](https://bastiaancnossen.com/notes/stable-homotopy-higher-algebra/section/complex-k-theory/complex-k-theory-groups/index.html)
6. [Section 12: Topological K-theory, Cornell lecture notes](https://pi.math.cornell.edu/~zakh/6530/sec12.pdf)
7. [N. C. Phillips, An overview of topological, C*-algebraic, and algebraic K-theory (lecture slides, University of Oregon, 2024)](https://pages.uoregon.edu/ncp/Courses/KThyReading_W24_Web/IntroLectureSlides/Diff.pdf)
8. [Noncommutative geometry (Clay Mathematics Institute Monograph Series, preface)](https://www.claymath.org/library/proceedings/cmip06.pdf)
9. [Alexei Kitaev, Periodic table for topological insulators and superconductors (2009), arXiv:0901.2686](https://arxiv.org/abs/0901.2686)
10. [Chapter 9: Topological K-theory (book draft, Cornell)](https://pi.math.cornell.edu/~zakh/book.pdf)
11. [Matthew Krulewski, The K-Theoretic Classification of Topological Materials (Harvard thesis)](https://www.math.harvard.edu/media/Krulewski-K-Theoretic-thesis.pdf)
12. [Chern character, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Chern_character)
13. [k-theory · field theory (Jetbundle notes)](https://jetbundle.github.io/physics/field-theory/chapter-7/)
14. [Atiyah and Singer, The index of elliptic operators. I., Annals of Mathematics 87 (1968)](https://annals.math.princeton.edu/1968/87-3/p05)
15. [The Index of Elliptic Operators: I (OpenAIRE record)](https://oamonitor.ireland.openaire.eu/national/search/publication?pid=10.2307%2F1970715)
16. [Gregory D. Landweber, K-theory and elliptic operators, arXiv:math/0504555](https://arxiv.org/abs/math/0504555)
17. [Guo Chuan Thiang, On the K-theoretic classification of topological phases of matter, arXiv:1406.7366](https://arxiv.org/abs/1406.7366)
18. [Roy and Harper, Periodic table for Floquet topological insulators, Phys. Rev. B 96, 155118 (2017)](https://journals.aps.org/prb/abstract/10.1103/PhysRevB.96.155118)
19. [Terry A. Loring, K-Theory and Pseudospectra for Topological Insulators, arXiv:1502.03498](https://arxiv.org/abs/1502.03498)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Advanced algebraic structures › Homological algebra and K-theory › Topological and operator K-theory*

*Initially written Sep 17, 2026 · Reviewed: Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license