Топология

Топологическая K-теория

Цели урока

Понять конструкцию Гротендика и группу K(X) как кольцо виртуальных расслоений
Освоить периодичность Ботта для комплексной (период 2) и вещественной (период 8) K-теорий
Изучить теорему Атья-Зингера об индексе и её частные случаи
Связать K-теорию с приложениями в физике конденсированного состояния

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

Кобордизмы и характеристические числа
Характеристические классы расслоений
Гомологии

Почему уравнение Дирака имеет ровно столько решений, сколько обещает топология пространства? Ответ - теорема Атья-Зингера, соединившая анализ и топологию через K-теорию.

Топологические изоляторы: классификация по KO-группам с периодом 8 = таблица Альтланда-Зирнбауэра
Квантовые вычисления: топологические кубиты защищены K-теоретическими инвариантами от декогеренции
Стандартная модель физики: аномалии калибровочных теорий проверяются через индекс оператора Дирака
String theory: индекс-теорема определяет спектр безмассовых мод при компактификации

От Гротендика до топологических изоляторов

Александр Гротендик в 1957 году построил группы K(X) в алгебраической геометрии для доказательства теоремы Римана-Роха. Майкл Атья и Фридрих Хирцебрух в 1961 году перенесли конструкцию в топологию. Рауль Ботт в 1959 году доказал периодичность. Атья и Зингер в 1963 году объединили всё в теорему об индексе. В 2007 году Кейн и Мел открыли топологические изоляторы - экспериментальную реализацию KO-инвариантов в кристаллах.

Группа K(X) и виртуальные расслоения

Атья и Зингер в 1963 году доказали теорему об индексе: индекс эллиптического оператора Дирака = ch(sigma)*td(TX)[X] - связав аналитику с K-теорией. Это объединило квантовую механику и алгебраическую топологию.

K(CP^n) = Z[H]/(H-1)^{n+1} - элегантная кольцевая структура. H - тавтологическое расслоение, [H]-1 - нильпотентный элемент степени n+1. Это аналог когомологий H*(CP^n) = Z[h]/(h^{n+1}), но без удвоения степени.

Чему равна K-tilde(S^2) и какой элемент её порождает?

Верно: H = тавтологическое линейное расслоение над S^2 = CP^1, [H]-[1] in K-tilde(S^2) = Z - стандартный образующий.

Периодичность Ботта и её следствия

1959 год. Рауль Ботт доказывает периодичность - одно из главных открытий математики XX века. Комплексные K-группы имеют период 2, вещественные - период 8. Это отражает структуру классических алгебр Клиффорда и объясняет "реальную" периодичность в физике конденсированного состояния.

Топологические изоляторы и KO-теория

Приложение вещественной K-теории к физике конденсированного состояния

Топологические изоляторы классифицируются по KO-группам пространства импульсов. Период 8 алгебр Клиффорда определяет 8 классов симметрии (таблица Альтланда-Зирнбауэра). Каждому классу соответствует топологический инвариант (целочисленный или Z/2) - именно здесь числа Ботта из чистой математики определяют физически измеряемые свойства материалов.

Какой период имеет вещественная K-теория KO?

Верно. KO(X) = KO(Sigma^8 X), период 8 соответствует периодичности Cl_n над вещественными числами.

Теорема Атья-Зингера об индексе

Теорема Атья-Зингера (1963) - одна из вершин математики XX века. Она объясняет, почему уравнение Дирака имеет решения: индекс (число решений минус число ко-решений) вычисляется через топологию пространства. Без этой теоремы невозможно понять ни Стандартную модель, ни геометрию 4-многообразий.

Оператор D	Многообразие	ind(D) = ?
Дирак (спиновое M)	M^{4k}	A-hat-число = integral A-hat(TM)
de Rham d+d*	M^{2n}	chi(M) = эйлерова характеристика
Подпись d+*d	M^{4k}	sigma(M) = теорема Хирцебруха
dbar Дольбо	Комплексное X	chi(X, O) = chi голоморфная

Теорема Атья-Зингера требует, чтобы оператор был эллиптическим: символ sigma_D должен быть обратимым на T*X \ (нулевое сечение). Параболические и гиперболические операторы (теплопроводность, волновое уравнение) не попадают в этот класс.

Что вычисляет теорема Атья-Зингера для оператора de Rham d+d* на компактном многообразии?

Верно. Оператор Ходжа d+d* имеет ind = chi(M) по теореме Хопфа-де Рама.

K-теория и топологические изоляторы

В 2007 году Кейн и Мел открыли топологические изоляторы - материалы, проводящие ток на поверхности, но изолирующие внутри. Классификация использует именно KO-теорию с периодом 8. Десять классов симметрии Альтланда-Зирнбауэра соответствуют десяти позициям в периодической таблице KO- и K-теории. Чистая математика 1959 года предсказывает физические фазы вещества.

Z-инвариант в размерности 2 - это число Черна занятых зон, то есть c₁ расслоения занятых состояний над торусом Бриллюэна T². Это квантовый эффект Холла. Z/2-инварианты соответствуют кручению KO-теории и обнаруживаются экспериментально по краевым состояниям.

Какое из следующих НЕ является приложением комплексной K-теории?

Верно: Перельман доказал гипотезу Пуанкаре через анализ потока Риччи (Хамильтон-Перельман); K-теория здесь ни при чём. Остальные три варианта — настоящие приложения K-теории.

Связи с другими темами

K-теория - центральный объект современной математики и физики конденсированного состояния.

Топологические изоляторы — Связанная тема
Теорема об индексе — Связанная тема
Некоммутативная геометрия — Связанная тема
Алгебраическая геометрия — Связанная тема

Итоги

K(X) = Grothendieck(Vect(X)) - кольцо виртуальных расслоений; K(pt) = Z
Периодичность Ботта: K(X) = K(Sigma^2 X); K-tilde(S^{2k}) = Z, K-tilde(S^{2k+1}) = 0
Вещественная KO-теория имеет период 8, связанный с алгебрами Клиффорда
Характер Черна ch: K(X) -> H^чёт(X;Q) - кольцевой изоморфизм после тензорирования на Q
Теорема Атья-Зингера: ind(D) = integral over X of ch(sigma_D)*td(TX tensor C)
Частные случаи: de Rham = chi(M), сигнатурный = sigma(M), Дирак = A-hat-число

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

Почему период K-теории равен 2, а не 1? Что мешает существованию изоморфизма K(X) = K(Sigma X)?
Как интерпретируется виртуальное расслоение [E]-[F] физически - что это такое в квантово-механических терминах?
Почему теорема Атья-Зингера даёт именно целое число, а не произвольное вещественное?

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

top-25-cobordism — Кобордизмы и расслоения - предпосылки K-теории
top-24-chern — Классы Черна - исходный материал для характера Черна ch
top-27 — K-теория используется в TDA через K-группы пространств данных