Spin Geometry: An Introduction

Why is the electron not an ordinary vector? Why did explaining spin require inventing new mathematics? Spin geometry reveals the deepest structure of space.

• **Particle Physics:** The Dirac equation describes the relativistic electron. The prediction of antimatter from pure mathematics.
• **Topology:** The Atiyah-Singer theorem unifies dozens of theorems (Gauss-Bonnet, Hirzebruch) into a single formula.
• **Quantum Computing:** A qubit is a spinor in ℂ². Logical gates in SU(2) are rotations on the Bloch sphere.

Предварительные знания

• Smooth Manifolds
• Connections and Covariant Derivative
• Lie Groups and Lie Algebras

Clifford Algebras

Unity game engine (2024) uses quaternions (Clifford algebra Cl(0,2)) for 60 fps rotations: 4 numbers per rotation, no gimbal lock. The **Clifford algebra** Cl(V,g) is generated by a vector space V with a quadratic form g, subject to the relation v·v = g(v,v)·1. It simultaneously generalizes complex numbers, quaternions, and the exterior algebra.

Cl(ℝ¹, −1) ≅ ℂ (complex numbers). Cl(ℝ², −1,−1) ≅ ℍ (Hamilton's quaternions). Cl(ℝ³,g), the Pauli algebra. Cl(ℝ¹˒³), the Dirac algebra in particle physics.

Spinors and the Spin(n) Group

**Spinors** are elements of the minimal irreducible representation of a Clifford algebra. The group **Spin(n)** is the double cover of SO(n): every rotation corresponds to two spinors differing by a sign. The electron is a spinor, a 360° rotation changes the sign of its wave function.

Half-integer spin particles (electrons, neutrinos, quarks) are described by spinor fields. A 360° rotation returns a vector to its original position but negates a spinor. This is not abstract, neutron interference experiments have confirmed this experimentally!

Spin Bundle and Spin Structure

A **spin structure** on an oriented Riemannian manifold (M,g) is a lift of the SO(n) frame bundle to a Spin(n) principal bundle. Not every manifold admits a spin structure, the obstruction is the second Stiefel-Whitney class w₂(M).

Spheres Sⁿ, tori Tⁿ, and Lie groups all admit spin structures. CP² does not. A spin structure is required to define the Dirac operator and to study spinor fields on a manifold.

The Dirac Operator and the Atiyah-Singer Index Theorem

The **Dirac operator** D̸ = Σᵢ eᵢ · ∇_{eᵢ} acts on sections of the spinor bundle. It is the 'square root' of the Laplacian: D̸² = ∇*∇ + R/4 (Weitzenböck formula). The **Atiyah-Singer index theorem** relates analysis (ind D̸) to topology (the A-hat genus).

ind(D̸) = dim ker D̸⁺ − dim ker D̸⁻ = Â(M), a quantity computed purely from topology (Pontryagin classes). This is one of the deepest theorems of 20th-century mathematics, unifying geometry, analysis, and topology.

Key Ideas

• **Clifford algebra** Cl(V,g): eᵢeⱼ + eⱼeᵢ = 2g(eᵢ,eⱼ), generalizes ℂ, ℍ, and the exterior algebra
• **Spinors**: representations of Cl(V,g); 360° rotation = sign change (double cover Spin → SO)
• **Spin structure**: lift of SO(n) to Spin(n); exists ⟺ w₂(M) = 0
• **Dirac operator** D̸²=Δ+R/4; Atiyah-Singer: ind D̸ = Â(M) (analysis = topology)

Related Topics

Spin geometry synthesizes algebra, geometry, and physics:

• Lie Groups and Lie Algebras — Spin(n) is a Lie group, the double cover of SO(n); Lie algebra spin(n) ≅ so(n)
• Gauss-Bonnet Theorem — A special case of Atiyah-Singer: for D̸ in dim=2 one recovers χ(M) = Â = Gauss-Bonnet
• Riemann Curvature Tensor — Scalar curvature R in the Weitzenböck formula is a contraction of the Riemann tensor; connects to the kernel of D̸

Вопросы для размышления

• Why is SO(3) insufficient to describe the electron, requiring Spin(3) = SU(2)? What does this say about the nature of physical space?
• The Atiyah-Singer theorem connects analysis and topology. Can one give an example where a topological fact implies an analytical statement?
• The Stiefel-Whitney class w₂ = 0 is the condition for a spin structure. How does this relate to orientability of the manifold?

Связанные уроки

• aa-01-groups-intro