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


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

Подход, дающий глубокое представление о некоммутативных пространствах, заключается в использовании операторных алгебр (то есть алгебр ограниченных линейных операторов на гильбертовом пространстве).[2] Одним из базовых примеров некоммутативного пространства являются некоммутативные торы[en], которые сыграли ключевую роль в раннем развитии этой области в 1980-х годах и привели к некоммутативным версиям векторных расслоений, связностей[en], кривизны и т. д.[3]

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

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

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

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

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

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

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

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

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

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

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

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

По аналогии с представлением Гельфанда[en], которое показывает, что коммутативные -алгебры являются двойственными[en] для локально компактных хаусдорфовых пространств, формально двойственные к некоммутативным C*-алгебрам объекты часто называются некоммутативными пространствами. В общем случае можно связать с любой -алгеброй топологическое пространство ; см. спектр C*-алгебры[en].

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

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

Гладкое риманово многообразие  — не просто топологическое пространство, на нём есть много дополнительной структуры. Но по его алгебре непрерывных функций можно восстановить только как топологическое пространство. Алгебраический инвариант, позволяющий восстанавить риманову структуру — это спектральная тройка[en], строющаяся следующим образом. Пусть есть гладкое векторное расслоение над , например, расслоение внешней алгебры. Гильбертово пространство сечений , квадрат которых интегрируем, содержит представление операторами умножения. Можно рассмотреть неограниченный оператор в с компактной резольвентой (например, оператор сигнатуры[en]), такой, что для всех гладких коммутаторы ограничены. Недавно доказана глубокая теорема[6], которая утверждает, что по алгебре , её действию на пространстве и оператору можно восстановить как риманово многообразие.

Это говорит о том, что некоммутативное риманово многообразие можно определить как спектральную тройку[en] , состоящую из представления -алгебры в гильбертовом пространстве , вместе с неограниченным оператором на с компактной резольвентой, такому, что коммутатор ограничена для всех в некоторой плотной подалгебре . Ведутся активные исследования спектральных троек, и построено много примеров некоммутативных многообразий.

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

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

Существуют также некоммутативные обобщения конструкций и для коммутативных градуированных колец, имитирующие теорему Серра о проективизации. А именно, категория квазикогерентных пучков O-модулей на -е коммутативной градуированной алгебры эквивалентна категории градуированных модулей над кольцом, локализованным[en] в подкатегории Серра градуированных модулей конечной длины; существует также аналогичная теорема для когерентных пучков, когда алгебра нётерова. Эта теорема расширена как определение «некоммутативной проективной геометрии» Майклом Артином и Дж. Дж. Чжаном,[7] которые добавляют также некоторые общие условия теории колец (например, регулярность Артина-Шелтера).

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

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

Существует также ещё один интересный подход с помощью теории локализации, благодаря Фреду Ван Ойстейену[en], Люку Виллерту и Алену Вершорену, где основной концепцией является концепция «схематической алгебры».[10][11]

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

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

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

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

См. также

Примечания

  1. Некоммутативная алгебра — это ассоциативная алгебра, в которой умножение не является коммутативным, то есть для которой не всегда равно ; или, в более общем плане, алгебраическая структура в которой одна из основных бинарных операций не является коммутативной; она также позволяет использовать дополнительные структуры, например топологию или норму, возможно, с помощью некоммутативной алгебры функций.
  2. Khalkhali, Marcolli, 2008, p. 171.
  3. Khalkhali, Marcolli, 2008, p. 21.
  4. 1 2 Сергеев А. Г. Ввведение в некоммутативную геометрию
  5. Connes, Alain; Douglas, Michael R; Schwarz, Albert (1998-02-05). “Noncommutative geometry and Matrix theory”. Journal of High Energy Physics. 1998 (2): 003. arXiv:hep-th/9711162. Bibcode:1998JHEP...02..003C. DOI:10.1088/1126-6708/1998/02/003. ISSN 1029-8479.
  6. Connes, Alain (2008), On the spectral characterization of manifolds, arΧiv:0810.2088 [math.OA]. 
  7. Artin, M.; Zhang, J.J. (1994). “Noncommutative Projective Schemes”. Advances in Mathematics. 109 (2): 228—287. DOI:10.1006/aima.1994.1087. ISSN 0001-8708.
  8. Yekutieli, Amnon; Zhang, James J. (1997-03-01). “Serre duality for noncommutative projective schemes”. Proceedings of the American Mathematical Society. American Mathematical Society (AMS). 125 (3): 697—708. DOI:10.1090/s0002-9939-97-03782-9. ISSN 0002-9939.
  9. A. L. Rosenberg, Noncommutative schemes, Compositio Mathematica 112 (1998) 93—125,doi; Underlying spaces of noncommutative schemes, preprint MPIM2003-111, dvi, ps; MSRI[en] lecture Noncommutative schemes and spaces (Feb 2000): video
  10. Freddy van Oystaeyen, Algebraic geometry for associative algebras, ISBN 0-8247-0424-X — New York: Dekker, 2000.- 287 p. — (Monographs and textbooks in pure and applied mathematics, 232)
  11. Van Oystaeyen, Fred; Willaert, Luc (1995). “Grothendieck topology, coherent sheaves and Serre's theorem for schematic algebras” (PDF). Journal of Pure and Applied Algebra. Elsevier BV. 104 (1): 109—122. DOI:10.1016/0022-4049(94)00118-3. HDL:10067/124190151162165141. ISSN 0022-4049.
  12. Snyder, Hartland S. (1947-01-01). “Quantized Space-Time”. Physical Review. American Physical Society (APS). 71 (1): 38—41. Bibcode:1947PhRv...71...38S. DOI:10.1103/physrev.71.38. ISSN 0031-899X.

Ссылки

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

Ссылки