[论文解读] Noncommutative geometry through monoidal categories

Tomasz Maszczyk|ArXiv.org|Nov 27, 2006

Algebraic structures and combinatorial models参考文献 15被引用 9

一句话总结

本文提出了一种基于拟相干层的张量范畴的非交换代数几何框架，取代传统的环基方法。它为莫里塔等价和霍普夫-伽罗瓦扩张提供了几何解释，表明在交换对象上，经典交换构造（如平坦下降）可视为非交换构造的结果，并通过循环对象构建整体不变量，从而得到带有系数的霍赫希尔德同调、循环同调与周期循环同调。

ABSTRACT

After introducing a noncommutative counterpart of commutative algebraic geometry based on monoidal categories of quasi-coherent sheaves we show that various constructions in noncommutative geometry (e.g. Morita equivalences, Hopf-Galois extensions) can be given geometric meaning extending their geometric interpretations in the commutative case. On the other hand, we show that some constructions in commutative geometry (e.g. faithfully flat descent theory, principal fibrations, equivariant and infinitesimal geometry) can be interpreted as noncommutative geometric constructions applied to commutative objects. For such generalized geometry we define global invariants constructing cyclic objects from which we derive Hochschild, cyclic and periodic cyclic homology (with coefficients) in the standard way.

研究动机与目标

• 基于张量范畴而非环或阿贝尔范畴，发展一种非交换代数几何框架。
• 为非交换设定中的代数构造（如莫里塔等价与霍普夫-伽罗瓦扩张）提供几何解释。
• 证明经典交换构造（如忠实平坦下降、等变几何）可作为对交换对象施加非交换几何构造的结果而出现。
• 通过循环对象定义非交换概形的全局不变量，从而得到带有系数的霍赫希尔德同调、循环同调与周期循环同调。
• 通过范畴对偶性与辫状结构，建立无穷小结构与微分算子之间的非交换对偶性。

提出的方法

• 以拟相干层的张量范畴作为基础几何对象，用对称张量阿贝尔范畴替代交换环。
• 应用巴尔默的张量重构定理，通过其层的张量范畴定义非交换概形。
• 从辫状张量范畴与满足迹-辫状相容性的系数对象出发，构造循环对象，推广德·拉姆上同调与联络结构。
• 建立非交换仿射概形中平坦覆盖与非交换伽罗瓦扩张之间的等价关系，将下降数据与几何粘合联系起来。
• 利用对偶范畴之间的对偶性，实现无穷小邻域与微分算子之间的非交换对偶性。
• 通过标准函子从循环对象推导出霍赫希尔德同调、循环同调与周期循环同调，其中系数推广了具有可积联络的层。

实验结果

研究问题

• RQ1 如何用张量范畴而非环或阿贝尔范畴重新表述非交换代数几何？
• RQ2 能否将经典几何构造（如忠实平坦下降与主纤维丛）重新解释为在交换对象上施加的非交换几何构造？
• RQ3 在非交换设定中，伽罗瓦扩张与平坦覆盖的范畴与几何意义为何？
• RQ4 如何通过范畴对偶性在非交换几何中统一无穷小结构与微分算子？
• RQ5 辫状结构与系数对象在定义德·拉姆上同调（带可积联络）的非交换类比中起何作用？

主要发现

• 本文建立了非交换仿射概形范畴中平坦覆盖与非交换伽罗瓦扩张之间的等价关系，表明下降数据通过对称性对应于几何粘合。
• 证明了无穷小结构与微分算子作为两种范畴对偶构造的特例而出现，推广了经典交换几何中的对偶性。
• 从辫状张量范畴与满足迹-辫状相容性的系数对象构造循环对象，提供了德·拉姆上同调（带可积联络）的非交换类比。
• 由此产生的循环对象导出带有系数的霍赫希尔德同调、循环同调与周期循环同调，将经典同调理论推广至非交换概形。
• 该框架实现了非交换几何中整体结构与无穷小结构的统一处理，其不变量完全由范畴数据导出。
• 该方法表明，在张量范畴设定中，纯粹几何构造（通过几何态射）与代数构造（通过同态）可被统一，且后者在应用于交换对象时成为前者的特例。