跳转到内容

非交换几何

维基百科,自由的百科全书

非交换几何(英语:Noncommutative geometry,简称NCG)为数学的分支领域,内容为非交换代数英语noncommutative algebra的几何方法,以及由函数的非交换代数局部呈现的空间的构造。非交换代数是一种结合代数,而乘积不是交换性的,亦即不总是等于。更广义地说,这是一种代数结构,其中主要二元运算之一为非交换的。拓朴学范数等概念可以延伸到非交换几何中。

通过算子代数(即希尔伯特空间有界线性算子的代数),可以深入了解非交换空间。[1]非交换空间的典型例子之一也许是非交换环面,在1980年代的领域发展早期发挥了关键作用,导出了向量丛联络曲率等等概念的非交换版本。[2]:21

动机

[编辑]

主要动机是将空间与代数之间的交换对偶性扩展到非交换环境。数学中,带几何性质的空间可以与空间上的数值函数相关联。这些函数一般会形成交换环。例如,在拓扑空间X上可取连续复值函数环C(X)。许多时候(如当X是豪斯多夫空间时),都可以从C(X)中复原出X,所以说X具有交换拓扑。

更具体地说,在拓扑学中,紧豪斯多夫拓扑空间可从空间上函数的巴拿赫代数中重建出来(Gelfand–Naimark定理)。在交换代数几何中,概形是交换酉环的局部素谱(A. Grothendieck),每个拟分离概形都可在同构意义上从模的准凝聚层范畴的概形中重建出来(P. Gabriel–A. Rosenberg)。对于格罗滕迪克拓扑,景的上同调性质是相应的被抽象为意象的集合层范畴的不变量(A. Grothendieck)。在所有这些情形下,空间都是从函数代数或其范畴形式(空间上的层范畴)重建出来的。

拓扑空间上的函数可进行乘和逐点加,因此构成了交换代数;事实上,这些运算在基空间拓扑中是局部的,因此函数构成了基空间上的交换环层。

非交换几何试图将这种对偶性推广到非交换代数、非交换代数的层、类层非交换代数、算子代数结构与某些几何实体之间的对偶性,并通过这种对偶性给出实体的代数描述与几何描述之间的相互作用。

考虑到交换环对应通常的仿射概形,交换C*-代数对应通常的拓扑空间,要推广到非交换环和代数,需要拓扑空间的非平凡推广,即“非交换空间”。因此,有一些关于非交换拓扑的讨论。

在数学物理中的应用

[编辑]

粒子物理学中的部分应用可见于非交换标准模型非交换量子场论。在1997年推测非交换几何在M理论中的作用后,物理学界对非交换几何突然非常高涨。[3]

来自遍历理论的动机

[编辑]

阿兰·科纳在技术层面处理非交换几何提出的部分理论源于更早的尝试,特别是遍历理论。George Mackey提出了“虚子群”理论,遍历群作用将成为一种推广的齐性空间

非交换C*-代数与诺依曼代数

[编辑]

非交换C*-代数的(形式)对偶,现在一般叫做非交换空间。这可以和盖尔范德表示相类比,后者表明交换C*-代数与局部紧豪斯多夫空间对偶。总的来说,可以给任何C*-代数S关联一个拓扑空间Ŝ

由于σ-有限测度空间和交换冯诺依曼代数之间的对偶,非交换冯诺依曼代数也被称为非交换测度空间

非交换可微流形

[编辑]

光滑黎曼流形M是具有大量额外结构的拓扑空间。从其连续函数代数C(M)中,只能拓扑地复原M 。回复黎曼结构的代数不变量是三元谱,由M上的光滑向量丛E构造而来,如外部代数丛。E的平方可积瓣的希尔伯特空间L2(ME)带有用乘运算对C(M)的表示,考虑L2(ME)中的无界算子D,其具有紧预解式(如符号算子),则只要f光滑,交换子[Df]就有界。一个深刻的定理[4]指出,M作为黎曼流形可以从这些数据中复原。

这表明,可将非交换黎曼流形定义为三元谱(AHD),由希尔伯特空间H上C*-代数的表示AH上的无界算子D、使[Da]对A的某个稠密子代数中所有a都有界的紧预解式组成。对三元谱的研究非常活跃,已经构建了许多非交换流形的例子。

非交换仿射与射影概形

[编辑]

类比仿射概形交换环对偶,定义非交换仿射概形范畴为结合酉环范畴的对偶。这与Zariski拓扑有类似之处,这样就可以把仿射概形推广到更一般的对象上。

此外,还有交换分次环的Cone与Proj的推广,模仿了塞尔关于Proj的定理,即交换分次代数的Proj上的O模的准相干层范畴等价于有限长的分次模塞尔子范畴上局部化的环上的分次模范畴;当代数符合诺特定理时,相干层也有类似定理。迈克尔·阿廷和J. J. Zhang将这个定理推广为非交换射影几何的定义,[5]并增加了一些一般环论条件(如亚廷-舍尔正则性)。

射影概形的许多性质都延伸到这一领域。例如,亚廷和Zhang针对非交换射影范畴提出了著名的塞尔对偶[6]

A. L. Rosenberg创造了相当普遍的(在基范畴上的)非交换准紧概形,抽象化了格罗滕迪克关于概形态射、准相干范畴与平面局部化函子的研究。[7]Fred Van Oystaeyen、Luc Willaert和Alain Verschoren还通过局部化理论提出了另一种有趣的方法,其主要概念是概形代数[8][9]

非交换空间的不变量

[编辑]

非交换几何的一些激励性问题涉及将已知拓扑不变量推广到非交换(算子)代数的形式对偶,以及非交换空间的其他代替物。阿兰·孔涅在非交换几何方向的主要出发点之一是发现了非交换结合代数与非交换算子代数相关的新同调论,即循环同调及其与K-理论的关系(主要通过孔涅-陈特征映射)。

利用算子K-理论和循环上同调的工具,光滑流形的示性类理论已经可以推广到三元谱。对现在的经典阿蒂亚-辛格指标定理进行的一些推广,可以有效地从三元谱中提取数值不变式。循环上同调中的基本示性类,即所谓JLO上循环(JLO cocycle)是经典陈特征(Chern character)的推广。

非交换空间的例子

[编辑]

联络

[编辑]

孔涅联络微分几何联络的非交换推广,由阿兰·孔涅提出,后来被Joachim Cuntz和丹尼尔·奎伦推广。

定义

[编辑]

给定右AEE上的孔涅联络是线性映射

其满足乘积法则[11]

相关条目

[编辑]

引用

[编辑]
  1. ^ Khalkhali & Marcolli 2008,第171页.
  2. ^ Khalkhali & Marcolli 2008.
  3. ^ Connes, Alain; Douglas, Michael R; Schwarz, Albert. Noncommutative geometry and Matrix theory. Journal of High Energy Physics. 1998-02-05, 1998 (2): 003. Bibcode:1998JHEP...02..003C. ISSN 1029-8479. S2CID 7562354. arXiv:hep-th/9711162可免费查阅. doi:10.1088/1126-6708/1998/02/003. 
  4. ^ Connes, Alain. On the spectral characterization of manifolds. Journal of Noncommutative Geometry. 2013, 7: 1–82. S2CID 17287100. arXiv:0810.2088可免费查阅. doi:10.4171/JNCG/108. 
  5. ^ Artin, M.; Zhang, J.J. Noncommutative Projective Schemes. Advances in Mathematics. 1994, 109 (2): 228–287. ISSN 0001-8708. doi:10.1006/aima.1994.1087可免费查阅. 
  6. ^ Yekutieli, Amnon; Zhang, James J. Serre duality for noncommutative projective schemes. Proceedings of the American Mathematical Society (American Mathematical Society (AMS)). 1997-03-01, 125 (3): 697–708. ISSN 0002-9939. doi:10.1090/s0002-9939-97-03782-9可免费查阅. 
  7. ^ A. L. Rosenberg, Noncommutative schemes, Compositio Mathematica 112 (1998) 93--125, doi; Underlying spaces of noncommutative schemes, preprint MPIM2003-111, dvi页面存档备份,存于互联网档案馆), ps页面存档备份,存于互联网档案馆); MSRI lecture Noncommutative schemes and spaces (Feb 2000): video页面存档备份,存于互联网档案馆
  8. ^ 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)
  9. ^ Van Oystaeyen, Fred; Willaert, Luc. Grothendieck topology, coherent sheaves and Serre's theorem for schematic algebras (PDF). Journal of Pure and Applied Algebra (Elsevier BV). 1995, 104 (1): 109–122. ISSN 0022-4049. doi:10.1016/0022-4049(94)00118-3. hdl:10067/124190151162165141可免费查阅. 
  10. ^ Snyder, Hartland S. Quantized Space-Time. Physical Review (American Physical Society (APS)). 1947-01-01, 71 (1): 38–41. Bibcode:1947PhRv...71...38S. ISSN 0031-899X. doi:10.1103/physrev.71.38. 
  11. ^ Vale 2009,Definition 8.1.

参考文献

[编辑]

孔涅联络参考文献

[编辑]

阅读更多

[编辑]

外部链接

[编辑]