Спин-геометрия: введение

Почему электрон - не обычный вектор? Почему для объяснения спина пришлось изобрести новую математику? Спин-геометрия раскрывает самую глубокую структуру пространства.

• **Физика частиц:** Уравнение Дирака описывает релятивистский электрон. Предсказание антиматерии из чистой математики.
• **Топология:** Теорема Атья-Зингера - унификация десятков теорем (Гаусса-Бонне, Хирцебруха) в одну формулу.
• **Квантовые вычисления:** Кубит - это спинор в ℂ². Логические ворота SU(2) - вращения на сфере Блоха.

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

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

Алгебра Клиффорда

Игровой движок Unity (2024) использует кватернионы (Clifford algebra Cl(0,2)) для 60 fps вращений: 4 числа на rotation, без gimbal lock. **Алгебра Клиффорда** Cl(V,g) порождается векторным пространством V с квадратичной формой g и соотношением v·v = g(v,v)·1. Она обобщает комплексные числа, кватернионы и внешнюю алгебру одновременно.

Cl(ℝ¹, −1) ≅ ℂ (комплексные числа). Cl(ℝ², −1,−1) ≅ ℍ (кватернионы Гамильтона). Cl(ℝ³,g) - алгебра Паули. Cl(ℝ¹˒³) - алгебра Дирака в физике частиц.

Спиноры и группа Spin(n)

**Спиноры** - это элементы минимального неприводимого представления алгебры Клиффорда. Группа **Spin(n)** - двойное накрытие SO(n): каждому вращению соответствуют два спинора, отличающихся знаком. Электрон - спинор: поворот на 360° меняет знак волновой функции.

Частицы с полуцелым спином (электрон, нейтрино, кварки) описываются спинорными полями. Поворот на 360° возвращает вектор в исходное положение, но меняет знак спинора. Это не абстрактность - интерференция нейтронов подтвердила это экспериментально!

Спинорное расслоение и спиновая структура

**Спиновая структура** на ориентированном римановом многообразии (M,g) - это лифтинг репёра SO(n)-расслоения до Spin(n)-расслоения. Не каждое многообразие допускает спиновую структуру - препятствие: второй класс Штифеля-Уитни w₂(M).

Сферы Sⁿ, торы Tⁿ, группы Ли - все допускают спиновую структуру. CP² - не допускает. Наличие спиновой структуры необходимо для определения оператора Дирака и изучения спинорных полей на многообразии.

Оператор Дирака и теорема Атья-Зингера

**Оператор Дирака** D̸ = Σᵢ eᵢ · ∇_{eᵢ} действует на сечениях спинорного расслоения. Это "квадратный корень" из лапласиана: D̸² = ∇*∇ + R/4 (формула Вайценбёка). **Теорема Атья-Зингера** связывает аналитику (ind D̸) с топологией (A-hat род).

ind(D̸) = dim ker D̸⁺ − dim ker D̸⁻ = Â(M) - величина, вычисляемая только через топологию (классы Понтрягина). Это одна из самых глубоких теорем математики XX века, объединяющая геометрию, анализ и топологию.

Ключевые идеи

• **Алгебра Клиффорда** Cl(V,g): eᵢeⱼ + eⱼeᵢ = 2g(eᵢ,eⱼ) - обобщает ℂ, ℍ, внешнюю алгебру
• **Спиноры** - представления Cl(V,g); поворот 360° = смена знака (двойное накрытие Spin → SO)
• **Спиновая структура** - лифт SO(n) до Spin(n); существует ⟺ w₂(M) = 0
• **Оператор Дирака** D̸²=Δ+R/4; теорема Атья-Зингера: ind D̸ = Â(M) (аналитика = топология)

Связанные темы

Спин-геометрия синтезирует алгебру, геометрию и физику:

• Группы Ли и алгебры Ли — Spin(n)-группа Ли, двойное накрытие SO(n); алгебра Ли spin(n) ≅ so(n)
• Теорема Гаусса-Бонне — Частный случай теоремы Атья-Зингера: для D̸ в dim=2 получаем χ(M) = Â = Гаусс-Бонне
• Тензор кривизны Римана — Скалярная кривизна R в формуле Вайценбёка-свёртка тензора Римана; связь с ядром Дирака

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

• Почему для описания электрона недостаточно SO(3) и нужна Spin(3) = SU(2)? Что это говорит о природе физического пространства?
• Теорема Атья-Зингера связывает аналитику и топологию. Можете ли привести пример, где из топологии следует аналитическое утверждение?
• Класс Штифеля-Уитни w₂ = 0 - условие на спиновую структуру. Как это связано с ориентируемостью многообразия?

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

• aa-01-groups-intro