Некоммутативная геометрия

Некоммутативная геометрия (НКГ) — раздел математики, посвященный геометрическому подходу к Шаблон:Не переведено 5 и построению «пространств», которые локально представлены некоммутативными алгебрами функций (возможно, в некотором обобщенном смысле).

Подход, дающий глубокое представление о некоммутативных пространствах, заключается в использовании операторных алгебр (то есть алгебр ограниченных линейных операторов на гильбертовом пространстве).Шаблон:Sfn Одним из базовых примеров некоммутативного пространства являются Шаблон:Не переведено 5, которые сыграли ключевую роль в раннем развитии этой области в 1980-х годах и привели к некоммутативным версиям векторных расслоений, Шаблон:Не переведено 5, кривизны и т. д.Шаблон:Sfn

Основные идеи

Основной идеей некоммутативной геометрии является переформулировка понятий топологии, анализа, дифференциальной геометрии на языке банаховых алгебр.

В математике «пространства», геометрические объекты по своей природе, можно связать с множествами функций на них. В общем случае такие функции будут образовывать коммутативное кольцо. Например, можно взять кольцо $C(X)$ непрерывных комплекснозначных функций на топологическом пространстве $X$. Во многих случаях (например, если $X$ является компактным хаусдорфовым пространством) пространство $X$ однозначно восстанавливается по $C(X)$, поэтому можно в некотором смысле говорить, что $X$ имеет «коммутативную топологию».

Более конкретно, в топологии, компактные топологические хаусдорфовы пространства могут быть восстановлены по банаховой алгебре функций на пространстве (см. Шаблон:Не переведено 5 и теорема Гельфанда — Наймарка). В коммутативной алгебраической геометрии алгебраические схемы являются локально простыми спектрами коммутативных колец с единицей (А. Гротендик), и каждая квазиотделимая схема $X$ может быть восстановлена с точностью до изоморфизма схем по категории квазикогерентных пучков $O_X$-модулей (П. Габриэль-А. Розенберг). Для топологий Гротендика когомологические свойства сайта являются инвариантами соответствующей категории пучков множеств, рассматриваемых абстрактно как топос (А. Гротендик). Во всех этих случаях пространство восстанавливается из алгебры функций или её категоризированной версии — некоторой категории пучков на этом пространстве.

Функции в топологическом пространстве можно умножать и суммировать точечно, следовательно, они образуют коммутативную алгебру; на самом деле эти операции локальны в топологии базового пространства, следовательно, функции образуют пучок коммутативных колец над базовым пространством.

Идея некоммутативной геометрии состоит в том, чтобы попытаться обобщить эту двойственность на двойственность между некоммутативными алгебрами, или пучками некоммутативных алгебр, или другими структурами с похожими свойствами и геометрическими объектами определённых видов так, чтобы свойства их алгебраического и геометрического описания оказывались взаимосвязаны.

В связи с тем, что коммутативные кольца соответствуют обычным аффинным схемам, а коммутативные C*-алгебры-обычным топологическим пространствам, расширение до некоммутативных колец и алгебр требует нетривиального обобщения топологических пространств как «некоммутативных пространств». В связи с этим, иногда употребляется термин «Шаблон:Не переведено 5», хотя этот термин имеет и другие значения.

Приложения в математической физике

Некоммутативная геометрия применяется в квантовой теории поля и теории струн. Некоторые приложения в физике элементарных частиц описаны в статьях Шаблон:Не переведено 5 и Шаблон:Не переведено 5. Внезапный рост интереса к некоммутативной геометрии в физике следует за предположениями о её роли в М-теории, сделанными в 1997 году.

Связь с эргодической теорией

Часть теории, разработанной Аленом Конном для применения некоммутативной геометрии, на техническом уровне уходит корнями в более старые попытки, в частности в эргодическую теорию. В частности к настоящему моменту уже реализовано предложение Шаблон:Не переведено 5 создать теорию «виртуальных подгрупп», по отношению к которой эргодические групповые действия стали бы однородными пространствами расширенного вида.

Некоммутативные C*-алгебры, алгебры фон Неймана

По аналогии с Шаблон:Не переведено 5, которое показывает, что коммутативные $C^{\ast }$-алгебры являются Шаблон:Не переведено 5 для локально компактных хаусдорфовых пространств, формально двойственные к некоммутативным C*-алгебрам объекты часто называются некоммутативными пространствами. В общем случае можно связать с любой $C^{\ast }$-алгеброй $S$ топологическое пространство $\hat{S}$; см. Шаблон:Не переведено 5.

В силу Шаблон:Не переведено 5 между пространствами с сигма-конечной мерой и коммутативными алгебрами фон Неймана, некоммутативные алгебры фон Неймана называют «некоммутативными пространствами с мерой».

Некоммутативные дифференцируемые многообразия

Гладкое риманово многообразие $M$ — не просто топологическое пространство, на нём есть много дополнительной структуры. Но по его алгебре непрерывных функций $C(M)$ можно восстановить $M$ только как топологическое пространство. Алгебраический инвариант, позволяющий восстанавить риманову структуру — это Шаблон:Не переведено 5, строющаяся следующим образом. Пусть есть гладкое векторное расслоение $E$ над $M$, например, расслоение внешней алгебры. Гильбертово пространство $L^2(M,E)$ сечений $E$, квадрат которых интегрируем, содержит представление $C(M)$ операторами умножения. Можно рассмотреть неограниченный оператор $D$ в $L^2(M,E)$ с компактной резольвентой (например, Шаблон:Не переведено 5), такой, что для всех гладких $f$ коммутаторы $[D,f]$ ограничены. Недавно доказана глубокая теорема, которая утверждает, что по алгебре $C(M)$, её действию на пространстве $L^2(M,E)$ и оператору $D$ можно восстановить $M$ как риманово многообразие.

Это говорит о том, что некоммутативное риманово многообразие можно определить как Шаблон:Не переведено 5 $(A,H,D)$, состоящую из представления $C^{\ast }$-алгебры $A$ в гильбертовом пространстве $H$, вместе с неограниченным оператором $D$ на $H$ с компактной резольвентой, такому, что коммутатор $[D,a]$ ограничена для всех $a$ в некоторой плотной подалгебре $A$. Ведутся активные исследования спектральных троек, и построено много примеров некоммутативных многообразий.

Некоммутативные аффинные и проективные схемы

По аналогии с Шаблон:Не переведено 5 между аффинными схемами и коммутативными кольцами, можно определить категорию «некоммутативных аффинных схем» как двойственную категории ассоциативных колец с единицей. В этом контексте существуют определённые аналоги топологии Зарисского, позволяющие «склеивать» такие аффинные схемы, образуя более общие объекты.

Существуют также некоммутативные обобщения конструкций $\mathrm{Cone}$ и $\mathrm{Proj}$ для коммутативных градуированных колец, имитирующие теорему Серра о проективизации. А именно, категория квазикогерентных пучков O-модулей на $\mathrm{Proj}$-е коммутативной градуированной алгебры эквивалентна категории градуированных модулей над кольцом, Шаблон:Нп5 в подкатегории Серра градуированных модулей конечной длины; существует также аналогичная теорема для когерентных пучков, когда алгебра нётерова. Эта теорема расширена как определение «некоммутативной проективной геометрии» Майклом Артином и Дж. Дж. Чжаном, которые добавляют также некоторые общие условия теории колец (например, регулярность Артина-Шелтера).

Многие свойства проективных схем распространяются на этот контекст. Например, существует аналог знаменитой двойственности Серра для некоммутативных проективных схем Артина и Чжана.

А. Л. Розенберг создал довольно общую концепцию «некоммутативной квазикомпактной схемы» (над базовой категорией), переводя исследования Гротендика морфизмов схем и покрытий на абстрактный язык категорий квазикогерентных пучков и функторов плоской локализации.

Существует также ещё один интересный подход с помощью теории локализации, благодаря Шаблон:Не переведено 5, Люку Виллерту и Алену Вершорену, где основной концепцией является концепция «схематической алгебры».

Инварианты для некоммутативных пространств

Некоторые из мотивирующих вопросов теории связаны с распространением известных топологических инвариантов на формально двойственные к некоммутативным (операторным) алгебрам и на другие варианты некоммутативных пространств. Одной из главных отправных точек исследований Алена Конна в некоммутативной геометрии является его открытие новой теории гомологий, связанной с некоммутативными ассоциативными алгебрами и некоммутативными операторными алгебрами, а именно Шаблон:Не переведено 5 и их связь с алгебраической K-теорией (основную роль играет отображение характеров Конна-Черна).

Теория характеристических классов гладких многообразий была расширена до спектральных троек с помощью операторной K-теории и Шаблон:Не переведено 5. Несколько обобщений ныне классических теорем об индексе позволяют эффективно извлекать числовые инварианты из спектральных троек. Фундаментальный характеристический класс в циклических когомологиях, Шаблон:Не переведено 5, обобщает классический характер Чженя.

Примеры некоммутативных пространств

• В представлении фазового пространства квантовой механики симплектическое фазовое пространство из классической механики деформировано в некоммутативное фазовое пространство, генерируемое операторами координаты и импульса.
• Шаблон:Не переведено 5предлагается в качестве расширения стандартной модели физики элементарных частиц.
• Шаблон:Не переведено 5, являющийся деформацией функциональной алгебры обычного тора, может быть задан структурой спектральной тройки. Этот класс примеров интенсивно изучался и до сих пор используется в качестве тестового примера для более сложных ситуаций.
• Пространство Снайдера
• Некоммутативные алгебры, возникающие из слоений.
• Примеры, связанные с динамическими системами, происходящими из теории чисел, такие как сдвиг Гаусса на цепных дробях, приводят к некоммутативным алгебрам, которые, по-видимому, имеют интересные некоммутативные геометрии.

См. также

• Коммутативность
• Представление фазового пространства
• Произведение Мояля
• Шаблон:Не переведено 5
• Шаблон:Не переведено 5
• Шаблон:Не переведено 5

Ссылки

• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation Шаблон:Wayback
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation

Дальнейшее чтение

• Шаблон:Citation
• Шаблон:Cite book

Ссылки

• Introduction to Quantum Geometry by Micho Đurđevich
• Шаблон:Cite arxiv
• Шаблон:Cite arxiv
• Шаблон:Cite arxiv
• Шаблон:Cite journal
• Шаблон:Cite arxiv(An easier introduction that is still rather technical)
• Noncommutative geometry on arxiv.org
• MathOverflow, Theories of Noncommutative Geometry
• Шаблон:Cite arxiv
• Шаблон:Cite arxiv
• Noncommutative geometry and particle physics