Некоммутативная геометрия
Некоммутативная геометрия (НКГ) — раздел математики, посвященный геометрическому подходу к некоммутативным алгебрам[1] и построению «пространств», которые локально представлены некоммутативными алгебрами функций (возможно, в некотором обобщенном смысле).
Подход, дающий глубокое представление о некоммутативных пространствах, заключается в использовании операторных алгебр (то есть алгебр ограниченных линейных операторов на гильбертовом пространстве).[2] Одним из базовых примеров некоммутативного пространства являются некоммутативные торы, которые сыграли ключевую роль в раннем развитии этой области в 1980-х годах и привели к некоммутативным версиям векторных расслоений, связностей, кривизны и т. д.[3]
Основные идеи
Основной идеей некоммутативной геометрии является переформулировка понятий топологии, анализа, дифференциальной геометрии на языке банаховых алгебр.[4]
В математике «пространства», геометрические объекты по своей природе, можно связать с множествами функций на них. В общем случае такие функции будут образовывать коммутативное кольцо. Например, можно взять кольцо [math]\displaystyle{ C(X) }[/math] непрерывных комплекснозначных функций на топологическом пространстве [math]\displaystyle{ X }[/math]. Во многих случаях (например, если [math]\displaystyle{ X }[/math] является компактным хаусдорфовым пространством) пространство [math]\displaystyle{ X }[/math] однозначно восстанавливается по [math]\displaystyle{ C(X) }[/math], поэтому можно в некотором смысле говорить, что [math]\displaystyle{ X }[/math] имеет «коммутативную топологию».
Более конкретно, в топологии, компактные топологические хаусдорфовы пространства могут быть восстановлены по банаховой алгебре функций на пространстве (см. Представление Гельфанда и теорема Гельфанда — Наймарка). В коммутативной алгебраической геометрии алгебраические схемы являются локально простыми спектрами коммутативных колец с единицей (А. Гротендик), и каждая квазиотделимая схема [math]\displaystyle{ X }[/math] может быть восстановлена с точностью до изоморфизма схем по категории квазикогерентных пучков [math]\displaystyle{ O_X }[/math]-модулей (П. Габриэль-А. Розенберг). Для топологий Гротендика когомологические свойства сайта являются инвариантами соответствующей категории пучков множеств, рассматриваемых абстрактно как топос (А. Гротендик). Во всех этих случаях пространство восстанавливается из алгебры функций или её категоризированной версии — некоторой категории пучков на этом пространстве.
Функции в топологическом пространстве можно умножать и суммировать точечно, следовательно, они образуют коммутативную алгебру; на самом деле эти операции локальны в топологии базового пространства, следовательно, функции образуют пучок коммутативных колец над базовым пространством.
Идея некоммутативной геометрии состоит в том, чтобы попытаться обобщить эту двойственность на двойственность между некоммутативными алгебрами, или пучками некоммутативных алгебр, или другими структурами с похожими свойствами и геометрическими объектами определённых видов так, чтобы свойства их алгебраического и геометрического описания оказывались взаимосвязаны.
В связи с тем, что коммутативные кольца соответствуют обычным аффинным схемам, а коммутативные C*-алгебры-обычным топологическим пространствам, расширение до некоммутативных колец и алгебр требует нетривиального обобщения топологических пространств как «некоммутативных пространств». В связи с этим, иногда употребляется термин «некоммутативная топология», хотя этот термин имеет и другие значения.
Приложения в математической физике
Некоммутативная геометрия применяется в квантовой теории поля и теории струн.[4] Некоторые приложения в физике элементарных частиц описаны в статьях некоммутативная стандартная модель и некоммутативная квантовая теория поля. Внезапный рост интереса к некоммутативной геометрии в физике следует за предположениями о её роли в М-теории, сделанными в 1997 году.[5]
Связь с эргодической теорией
Часть теории, разработанной Аленом Конном для применения некоммутативной геометрии, на техническом уровне уходит корнями в более старые попытки, в частности в эргодическую теорию. В частности к настоящему моменту уже реализовано предложение Джорджа Мэки создать теорию «виртуальных подгрупп», по отношению к которой эргодические групповые действия стали бы однородными пространствами расширенного вида.
Некоммутативные C*-алгебры, алгебры фон Неймана
По аналогии с представлением Гельфанда, которое показывает, что коммутативные [math]\displaystyle{ C^\ast }[/math]-алгебры являются двойственными для локально компактных хаусдорфовых пространств, формально двойственные к некоммутативным C*-алгебрам объекты часто называются некоммутативными пространствами. В общем случае можно связать с любой [math]\displaystyle{ C^\ast }[/math]-алгеброй [math]\displaystyle{ S }[/math] топологическое пространство [math]\displaystyle{ \hat{S} }[/math]; см. спектр C*-алгебры.
В силу двойственности между пространствами с сигма-конечной мерой и коммутативными алгебрами фон Неймана, некоммутативные алгебры фон Неймана называют «некоммутативными пространствами с мерой».
Некоммутативные дифференцируемые многообразия
Гладкое риманово многообразие [math]\displaystyle{ M }[/math] — не просто топологическое пространство, на нём есть много дополнительной структуры. Но по его алгебре непрерывных функций [math]\displaystyle{ C(M) }[/math] можно восстановить [math]\displaystyle{ M }[/math] только как топологическое пространство. Алгебраический инвариант, позволяющий восстанавить риманову структуру — это спектральная тройка, строющаяся следующим образом. Пусть есть гладкое векторное расслоение [math]\displaystyle{ E }[/math] над [math]\displaystyle{ M }[/math], например, расслоение внешней алгебры. Гильбертово пространство [math]\displaystyle{ L^2 (M,E) }[/math] сечений [math]\displaystyle{ E }[/math], квадрат которых интегрируем, содержит представление [math]\displaystyle{ C(M) }[/math] операторами умножения. Можно рассмотреть неограниченный оператор [math]\displaystyle{ D }[/math] в [math]\displaystyle{ L^2(M,E) }[/math] с компактной резольвентой (например, оператор сигнатуры), такой, что для всех гладких [math]\displaystyle{ f }[/math] коммутаторы [math]\displaystyle{ [D,f] }[/math] ограничены. Недавно доказана глубокая теорема[6], которая утверждает, что по алгебре [math]\displaystyle{ C(M) }[/math], её действию на пространстве [math]\displaystyle{ L^2(M,E) }[/math] и оператору [math]\displaystyle{ D }[/math] можно восстановить [math]\displaystyle{ M }[/math] как риманово многообразие.
Это говорит о том, что некоммутативное риманово многообразие можно определить как спектральную тройку [math]\displaystyle{ (A, H, D) }[/math], состоящую из представления [math]\displaystyle{ C^\ast }[/math]-алгебры [math]\displaystyle{ A }[/math] в гильбертовом пространстве [math]\displaystyle{ H }[/math], вместе с неограниченным оператором [math]\displaystyle{ D }[/math] на [math]\displaystyle{ H }[/math] с компактной резольвентой, такому, что коммутатор [math]\displaystyle{ [D,a] }[/math] ограничена для всех [math]\displaystyle{ a }[/math] в некоторой плотной подалгебре [math]\displaystyle{ A }[/math]. Ведутся активные исследования спектральных троек, и построено много примеров некоммутативных многообразий.
Некоммутативные аффинные и проективные схемы
По аналогии с двойственностью между аффинными схемами и коммутативными кольцами, можно определить категорию «некоммутативных аффинных схем» как двойственную категории ассоциативных колец с единицей. В этом контексте существуют определённые аналоги топологии Зарисского, позволяющие «склеивать» такие аффинные схемы, образуя более общие объекты.
Существуют также некоммутативные обобщения конструкций [math]\displaystyle{ \operatorname{Cone} }[/math] и [math]\displaystyle{ \operatorname{Proj} }[/math] для коммутативных градуированных колец, имитирующие теорему Серра о проективизации. А именно, категория квазикогерентных пучков O-модулей на [math]\displaystyle{ \operatorname{Proj} }[/math]-е коммутативной градуированной алгебры эквивалентна категории градуированных модулей над кольцом, локализованным в подкатегории Серра градуированных модулей конечной длины; существует также аналогичная теорема для когерентных пучков, когда алгебра нётерова. Эта теорема расширена как определение «некоммутативной проективной геометрии» Майклом Артином и Дж. Дж. Чжаном,[7] которые добавляют также некоторые общие условия теории колец (например, регулярность Артина-Шелтера).
Многие свойства проективных схем распространяются на этот контекст. Например, существует аналог знаменитой двойственности Серра для некоммутативных проективных схем Артина и Чжана.[8]
А. Л. Розенберг создал довольно общую концепцию «некоммутативной квазикомпактной схемы» (над базовой категорией), переводя исследования Гротендика морфизмов схем и покрытий на абстрактный язык категорий квазикогерентных пучков и функторов плоской локализации.[9]
Существует также ещё один интересный подход с помощью теории локализации, благодаря Фреду Ван Ойстейену, Люку Виллерту и Алену Вершорену, где основной концепцией является концепция «схематической алгебры».[10][11]
Инварианты для некоммутативных пространств
Некоторые из мотивирующих вопросов теории связаны с распространением известных топологических инвариантов на формально двойственные к некоммутативным (операторным) алгебрам и на другие варианты некоммутативных пространств. Одной из главных отправных точек исследований Алена Конна в некоммутативной геометрии является его открытие новой теории гомологий, связанной с некоммутативными ассоциативными алгебрами и некоммутативными операторными алгебрами, а именно циклические гомологии и их связь с алгебраической K-теорией (основную роль играет отображение характеров Конна-Черна).
Теория характеристических классов гладких многообразий была расширена до спектральных троек с помощью операторной K-теории и циклических когомологий. Несколько обобщений ныне классических теорем об индексе позволяют эффективно извлекать числовые инварианты из спектральных троек. Фундаментальный характеристический класс в циклических когомологиях, коцикл JLO, обобщает классический характер Чженя.
Примеры некоммутативных пространств
- В представлении фазового пространства квантовой механики симплектическое фазовое пространство из классической механики деформировано в некоммутативное фазовое пространство, генерируемое операторами координаты и импульса.
- Некоммутативная стандартная модельпредлагается в качестве расширения стандартной модели физики элементарных частиц.
- Некоммутативный тор, являющийся деформацией функциональной алгебры обычного тора, может быть задан структурой спектральной тройки. Этот класс примеров интенсивно изучался и до сих пор используется в качестве тестового примера для более сложных ситуаций.
- Пространство Снайдера[12]
- Некоммутативные алгебры, возникающие из слоений.
- Примеры, связанные с динамическими системами, происходящими из теории чисел, такие как сдвиг Гаусса на цепных дробях, приводят к некоммутативным алгебрам, которые, по-видимому, имеют интересные некоммутативные геометрии.
См. также
- Коммутативность
- Представление фазового пространства
- Произведение Мояля
- Нечеткая сфера
- Некоммутативная алгебраическая геометрия
- Некоммутативная топология
Примечания
- ↑ Некоммутативная алгебра — это ассоциативная алгебра, в которой умножение не является коммутативным, то есть для которой [math]\displaystyle{ xy }[/math] не всегда равно [math]\displaystyle{ yx }[/math]; или, в более общем плане, алгебраическая структура в которой одна из основных бинарных операций не является коммутативной; она также позволяет использовать дополнительные структуры, например топологию или норму, возможно, с помощью некоммутативной алгебры функций.
- ↑ Khalkhali, Marcolli, 2008, p. 171.
- ↑ Khalkhali, Marcolli, 2008, p. 21.
- ↑ 4,0 4,1 Сергеев А. Г. Ввведение в некоммутативную геометрию Архивная копия от 3 марта 2022 на Wayback Machine
- ↑ (1998-02-05) «Noncommutative geometry and Matrix theory». Journal of High Energy Physics 1998 (2): 003. arXiv:hep-th/9711162. doi:10.1088/1126-6708/1998/02/003. ISSN 1029-8479. .
- ↑ Connes, Alain (2008), On the spectral characterization of manifolds, arΧiv:0810.2088 [math.OA].
- ↑ (1994) «Noncommutative Projective Schemes». Advances in Mathematics 109 (2): 228–287. doi:10.1006/aima.1994.1087. ISSN 0001-8708.
- ↑ (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.
- ↑ A. L. Rosenberg, Noncommutative schemes, Compositio Mathematica 112 (1998) 93—125,doi; Underlying spaces of noncommutative schemes, preprint MPIM2003-111, dvi Архивная копия от 4 сентября 2021 на Wayback Machine, ps Архивная копия от 4 сентября 2021 на Wayback Machine; MSRI lecture Noncommutative schemes and spaces (Feb 2000): video Архивная копия от 17 декабря 2004 на Wayback Machine
- ↑ 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)
- ↑ (1995) «Grothendieck topology, coherent sheaves and Serre's theorem for schematic algebras». Journal of Pure and Applied Algebra (Elsevier BV) 104 (1): 109–122. doi:10.1016/0022-4049(94)00118-3. ISSN 0022-4049.
- ↑ Snyder, Hartland S. (1947-01-01). «Quantized Space-Time». Physical Review (American Physical Society (APS)) 71 (1): 38–41. doi:10.1103/physrev.71.38. ISSN 0031-899X. .
Ссылки
- Connes, Alain (1994), Non-commutative geometry, Boston, MA: Academic Press, ISBN 978-0-12-185860-5, <https://archive.org/details/noncommutativege0000conn>
- Connes, Alain & Marcolli, Matilde (2008), A walk in the noncommutative garden, An invitation to noncommutative geometry, World Sci. Publ., Hackensack, NJ, с. 1–128
- Connes, Alain & Marcolli, Matilde (2008), Noncommutative geometry, quantum fields and motives, vol. 55, American Mathematical Society Colloquium Publications, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-4210-2, <http://www.alainconnes.org/docs/bookwebfinal.pdf> Архивная копия от 29 декабря 2009 на Wayback Machine
- Gracia-Bondia, Jose M; Figueroa, Hector & Varilly, Joseph C (2000), Elements of Non-commutative geometry, Birkhauser, ISBN 978-0-8176-4124-5
- Khalkhali, Masoud & Marcolli, Matilde (2008), An Invitation to non-Commutative Geometry, World Scientific, ISBN 978-981-270-616-4, <https://www.worldscientific.com/worldscibooks/10.1142/6422>
- Landi, Giovanni (1997), An introduction to noncommutative spaces and their geometries, vol. 51, Lecture Notes in Physics. New Series m: Monographs, Berlin, New York: Springer-Verlag, ISBN 978-3-540-63509-3
- Van Oystaeyen, Fred & Verschoren, Alain (1981), Non-commutative algebraic geometry, vol. 887, Lecture Notes in Mathematics, Springer-Verlag, ISBN 978-3-540-11153-5
Дальнейшее чтение
- Consani, Caterina & Connes, Alain, eds. (2011), Noncommutative geometry, arithmetic, and related topics. Proceedings of the 21st meeting of the Japan-U.S. Mathematics Institute (JAMI) held at Johns Hopkins University, Baltimore, MD, USA, March 23–26, 2009, Baltimore, MD: Johns Hopkins University Press, ISBN 978-1-4214-0352-6, <https://books.google.com/books?id=yqdCBA9hQr0C&q=Noncommutative+geometry,+arithmetic,+and+related+topics>
- Grensing, Gerhard. Structural aspects of quantum field theory and noncommutative geometry. — Hackensack New Jersey : World Scientific, 2013. — ISBN 978-981-4472-69-2.
Ссылки
- Introduction to Quantum Geometry by Micho Đurđevich
- Ginzburg, Victor (2005), Lectures on Noncommutative Geometry, arΧiv:math/0506603.
- Khalkhali, Masoud (2004), Very Basic Noncommutative Geometry, arΧiv:math/0408416.
- Marcolli, Matilde (2004), Lectures on Arithmetic Noncommutative Geometry, arΧiv:math/0409520.
- (2000) «Noncommutative Geometry for Pedestrians». Classical and Quantum Nonlocality. arXiv:gr-qc/9906059. doi:10.1142/9789812792938_0007. .
- Masson, Thierry (2006), An informal introduction to the ideas and concepts of noncommutative geometry, arΧiv:math-ph/0612012.(An easier introduction that is still rather technical)
- Noncommutative geometry on arxiv.org
- MathOverflow, Theories of Noncommutative Geometry
- Mahanta, Snigdhayan (2005), On some approaches towards non-commutative algebraic geometry, arΧiv:math/0501166.
- Sardanashvily, G. (2009), Lectures on Differential Geometry of Modules and Rings, arΧiv:0910.1515 [math-ph].
- Noncommutative geometry and particle physics