Topology
Topological K-Theory
Цели урока
- Construct K(X) as the Grothendieck group of Vect(X) and understand its ring structure
- State and apply Bott periodicity for complex (period 2) and real (period 8) K-theory
- Apply the Atiyah-Singer index theorem and identify its special cases
- Connect KO-theory to the classification of topological phases in condensed matter
Предварительные знания
- Cobordism and characteristic numbers
- Characteristic classes
- Homology groups
Why does the Dirac equation have exactly as many solutions as the topology of spacetime demands? The index theorem answers this - and the same K-theory classifying solutions also classifies phases of quantum matter.
- Topological insulators: KO-theory with period 8 classifies 10 symmetry classes of topological phases
- Quantum computing: topological qubits protected by KO-invariants from decoherence
- Standard Model: anomaly cancellation in gauge theories checked via Dirac operator index
- String theory: massless modes in compactifications counted by index theorem
From Grothendieck to Topological Insulators
Alexander Grothendieck built K-groups for algebraic geometry in 1957 to prove Riemann-Roch. Atiyah and Hirzebruch transferred the construction to topology in 1961. Raoul Bott proved periodicity in 1959. Atiyah and Singer proved the index theorem in 1963, unifying everything. In 2007, Kane and Mele discovered topological insulators - an experimental realization of KO-invariants in crystals.
K-Theory and Bott Periodicity
Atiyah and Singer proved the index theorem in 1963: the index of the Dirac operator equals ch(sigma)*td(TX) integrated over X - connecting analysis to K-theory. This unified quantum mechanics and algebraic topology. The same periodicity that appears in K-theory shows up in topological insulators.
The Atiyah-Hirzebruch spectral sequence: E_2^{p,q} = H^p(X; K^q(pt)) converges to K^{p+q}(X). Since K^0(pt) = Z and K^{-1}(pt) = 0 (and period 2), this gives K(X) in terms of ordinary cohomology. Over Q: K(X) tensor Q = H^even(X; Q).
What is K-tilde(S^2) and which element generates it?
Atiyah-Singer Index Theorem
The Atiyah-Singer theorem (1963) is one of the summits of 20th-century mathematics. It explains why the Dirac equation has solutions: the index (solutions minus co-solutions) is computed purely from the topology of the space. Without this theorem, neither the Standard Model nor the geometry of 4-manifolds would be understood.
| Operator D | Manifold | ind(D) |
|---|---|---|
| Dirac (spin M) | M^{4k} | A-hat-genus = integral over M of A-hat(TM) |
| de Rham d+d* | M^{2n} | chi(M) = Euler characteristic |
| Signature d+*d | M^{4k} | sigma(M) = Hirzebruch theorem |
| Dolbeault dbar | Complex X | chi(X, O) = holomorphic Euler char |
Index on T^2 and CP^2
Concrete applications of the index theorem
On the flat torus T^2: the tangent bundle is trivial, td(TT^2) = 1, Euler characteristic chi = 0, ind(Dirac) = 0. On CP^2: sigma(CP^2) = 1 by the Hirzebruch theorem. The signature operator d+*d has index exactly sigma = 1. Verification: H^2(CP^2) = Z with matrix [1], so b_2+ - b_2- = 1 - 0 = 1.
What does the Atiyah-Singer theorem compute for the de Rham operator d+d* on a compact manifold?
K-Theory and Topological Insulators
In 2007, Kane and Mele discovered topological insulators - materials that are insulating in the bulk but conducting on their surface. The classification uses exactly KO-theory with period 8. Ten symmetry classes (Altland-Zirnbauer) map to ten entries in the KO and K-theory periodic table. Pure mathematics from 1959 predicts physical phases of matter.
The Z invariant in dimension 2 corresponds to the Chern number of the occupied bands - exactly c_1 of the bundle of occupied states over the Brillouin torus T^2. This is the quantum Hall effect. The Z/2 invariants correspond to KO-theory torsion - detected experimentally by edge states.
What is the period of real KO-theory, and what physical phenomenon does it classify?
Connections to other topics
K-theory is central to modern mathematics, physics of topological matter, and quantum computing.
- Topological insulators — Related topic
- Index theorem — Related topic
- Noncommutative geometry — Related topic
- Algebraic geometry — Related topic
Итоги
- K(X) = Grothendieck(Vect(X)) - ring of virtual bundles; K(pt) = Z
- Bott periodicity: K(X) = K(Sigma^2 X); K-tilde(S^{2k}) = Z, K-tilde(S^{2k+1}) = 0
- Real KO-theory has period 8, connected to Clifford algebras Cl_n over R
- Chern character ch: K(X) -> H^even(X;Q) - ring isomorphism after tensoring with Q
- Atiyah-Singer: ind(D) = integral over X of ch(sigma_D)*td(TX tensor C)
- Special cases: de Rham = chi(M), signature = sigma(M), Dirac = A-hat-genus
Вопросы для размышления
- Why is the period of K-theory 2 and not 1? What prevents an isomorphism K(X) = K(Sigma X)?
- How does the physical picture of topological insulators translate into KO-theory language?
- Why does the Atiyah-Singer theorem guarantee an integer output when both ch and td produce rational numbers?
Связанные уроки
- top-25-cobordism — Cobordism and bundles are prerequisites for K-theory
- top-24-chern — Chern character ch: K(X) -> H^even(X;Q) connects K-theory to cohomology
- top-27 — K-theory tools appear in TDA via K-groups of data spaces