Функциональный анализ
C*-алгебры и алгебры фон Неймана
Цели урока
- Усвоить C*-тождество ||a*a|| = ||a||^2 и его следствие: норма определяется алгебраически
- Понять теоремы Гельфанда (коммутативный случай) и Гельфанда-Наймарка (общий)
- Знать классификацию факторов фон Неймана: типы I, II_1, II_inf, III
- Понимать конструкцию GNS и связь состояний с представлениями
Предварительные знания
- Спектральная теория самосопряжённых операторов
- Гильбертовы пространства
- Банаховы алгебры
Как одно алгебраическое тождество ||a*a|| = ||a||^2 полностью определяет норму через спектр и гарантирует конкретную реализацию операторами на гильбертовом пространстве?
- Стандартная модель физики элементарных частиц: алгебра наблюдаемых квантованного поля - C*-алгебра; алгебры Вейля для бозонных полей, CAR-алгебры для фермионных
- Квантовые вычисления: алгебра n-кубитной системы = M_{2^n}(C); тензорные произведения кубитов - тензорные произведения C*-алгебр
- Топологические изоляторы: K-теория C*-алгебры квазипериодического гамильтониана = топологические инварианты фазы (Нобелевская премия 2016)
- Задача MIP* = RE (Ji и др., 2020): связь конджектуры Конна с квантовыми интерактивными доказательствами - открытие года в теоретической информатике
Фон Нейман и алгебраическая квантовая механика
Джон фон Нейман в 1929 году построил строгую математику квантовой механики на гильбертовых пространствах. В 1930-1940 годах совместно с Мюрреем он исследовал *-подалгебры B(H), замкнутые в слабой топологии, - будущие алгебры фон Неймана. Их классификация факторов (1936-1943) - монументальная работа: 5 типов факторов, каждый со своей 'непрерывной размерностью'. Гельфанд и Наймарк в 1943 году дали абстрактную аксиоматику (C*-тождество) и теорему представления. Сегал в 1947 году добавил конструкцию GNS. В 1970-е Конн начал классификацию факторов типа III - и получил Филдсовскую медаль (1982).
C*-алгебры: аксиоматика и теорема Гельфанда
1943 год. Гельфанд и Наймарк показывают: любая абстрактная C*-алгебра конкретно реализуется как алгебра операторов на гильбертовом пространстве. Одно алгебраическое тождество ||a*a|| = ||a||^2 заменяет бесконечно много условий совместности нормы и инволюции.
Дуальность Гельфанда - один из глубочайших результатов математики: категория коммутативных C*-алгебр (с *-гомоморфизмами) дуальна категории компактных хаусдорфовых пространств (с непрерывными отображениями). Некоммутативная геометрия - это программа обобщения этой дуальности.
Что утверждает теорема Гельфанда-Наймарка?
Теорема Гельфанда-Наймарка: каждая абстрактная C*-алгебра конкретно реализуется как замкнутая *-подалгебра B(H). Это теорема существования представления - аналог теоремы Кэли для групп.
Алгебры фон Неймана и классификация факторов
Алгебры фон Неймана - C*-алгебры, дополнительно замкнутые в слабой топологии на B(H). Фон Нейман в 1936-1943 годах провёл их полную классификацию. Факторы типа II_1 - алгебры с конечной трассой без минимальных проекторов - оказались связаны с K-теорией C*-алгебр, теорией узлов и свободной вероятностью.
| Тип | Описание | Проекторы | Пример |
|---|---|---|---|
| I_n | Матричная алгебра M_n(C) | Конечные ранги 0,1,...,n | M_n(C) |
| I_inf | B(H), H бесконечномерно | Произвольные проекторы | B(l^2) |
| II_1 | Конечная трасса tau(I)=1 | Все tau in [0,1] | L(F_n) - свободная группа |
| II_inf | Полуконечная трасса | Все tau in [0,+inf) | B(H) tensor L(F_n) |
| III | Без трассы | Все проекторы эквивалентны | Алгебры факторов КМТ |
Алгебра фон Неймана L(Gamma)
Алгебра группы как фактор типа II_1
Для дискретной группы Gamma: алгебра фон Неймана L(Gamma) - слабое замыкание операторов левого регулярного представления на l^2(Gamma). Нормированная трасса: tau(a) = <a*delta_e, delta_e>, где delta_e - дельта-функция в единице. L(F_n) для свободной группы F_n с n >= 2 - фактор типа II_1. Открытая проблема (50 лет): изоморфны ли L(F_2) и L(F_3)?
Чем фактор отличается от общей алгебры фон Неймана?
Фактор: центр M cap M' = C*I - тривиальный. Это аналог простой алгебры. Классификация Мюррея-фон Неймана: типы I, II, III в зависимости от структуры проекторов.
Состояния, представления и конструкция GNS
Состояние на C*-алгебре - положительный нормированный функционал phi: A -> C. Конструкция GNS (Гельфанд-Наймарк-Сегал) строит из состояния phi представление: гильбертово пространство H_phi, оператор pi_phi и циклический вектор xi_phi такой, что phi(a) = <pi_phi(a) xi_phi, xi_phi>. Это математическая основа квантовой статистики.
Что строит конструкция GNS из состояния phi на C*-алгебре A?
GNS: из состояния phi на A строится тройка (H_phi, pi_phi, xi_phi) - представление pi_phi: A -> B(H_phi) с циклическим вектором xi_phi такой, что phi(a) = <pi_phi(a)*xi_phi, xi_phi>.
Тензорные произведения C*-алгебр
Квантовая запутанность - физически: состояние двух частиц не распадается в тензорное произведение состояний каждой. Математически: тензорное произведение C*-алгебр A tensor B имеет несколько неэквивалентных норм (минимальная и максимальная). Ядерные алгебры - те, у которых норма единственна. Большинство алгебр квантовой механики ядерны.
Задача Конна (1976, открытая до 2020): является ли каждая сепарабельная алгебра фон Неймана типа II_1 вложимой в ультрапредел матричных алгебр? В 2020 году Джи, Натараджан, Видик, Райт и Юэн (MIP* = RE) дали отрицательный ответ, связав проблему Конна с гипотезой Гальперина о квантовых интерактивных доказательствах.
Что означает ядерность C*-алгебры A?
Ядерность: A tensor_min B = A tensor_max B для всех C*-алгебр B. Это аналог конечномерности в бесконечномерном контексте.
Связи с другими областями
C*-алгебры - унифицирующий язык квантовой физики и некоммутативной геометрии.
- Некоммутативная геометрия Конна — Алгебры фон Неймана - алгебраическая основа некоммутативных многообразий Конна
- Спектральная теория самосопряжённых операторов — GNS-конструкция и спектральная теорема - технический фундамент C*-алгебр
- K-теория операторов — K-теория - топологический инвариант C*-алгебр, классифицирующий проекторы и унитарные элементы
Итоги
- C*-алгебра: банахова *-алгебра с C*-тождеством ||a*a|| = ||a||^2; норма определяется алгебраически
- Теорема Гельфанда: коммутативная C*-алгебра = C(X); дуальность алгебр и пространств
- Теорема Гельфанда-Наймарка: любая C*-алгебра вкладывается в B(H)
- Алгебры фон Неймана: M = M''; факторы (тривиальный центр) классифицируются типами I, II_1, II_inf, III
- GNS: состояние phi -> представление (H_phi, pi_phi, xi_phi); phi(a) = <pi_phi(a)*xi_phi, xi_phi>
Вопросы для размышления
- Почему C*-тождество ||a*a|| = ||a||^2 'жёстко' определяет норму - почему нельзя поставить другую норму?
- В чём содержательный смысл теоремы бидвойственности M = M'' для алгебр фон Неймана?
- Как факторы типа II_1 с нормированной трассой tau реализуют 'непрерывную размерность' между I_n и I_inf?