| 环论 |
| --- |
|  |
| 基礎概念**環**

* 子環
* 理想
	+ 分式理想

* 商环
	+ 完全商環（英语：）
* 積環（英语：）

**环同态**

* 核
* 內自同構
* 弗罗贝尼乌斯自同态

**代数结构**

* 模
* 代數
* 結合代數
* 階化環（英语：）
* \*-代數（英语：）
* 環的範疇（英语：）

**相關結構**

* 非結合環（英语：）
	+ 李環
	+ 約爾旦環（英语：）
* 半环
* 半體（英语：）

 |
| 交換代數**交换环**

* 整环
	+ 整數封閉環（英语：）
	+ GCD環
	+ 唯一分解整環
	+ 主理想整環（英语：）
	+ 歐幾里得整環

* 複合環（英语：）
	+ 多项式环
	+ 形式冪級數環

**代數數論**

* 代数数域
* 整數環（英语：）
* 代數獨立

* 超越數論
* 超越次數

**P進數**

* P整數
* P有理數

**代数几何**

* 仿射簇（英语：）

 |
| 非交換代數（英语：）**非交換環（英语：）**

* 除环
* 半本原環（英语：）
* 單純環（英语：）
* 交換子

**非交換代數幾何（英语：）**
**自由代數（英语：）**
**克利福德代数**

* 幾何代數（英语：）

**運算元代數（英语：）** |
| * 
* 论
* 编
 |

**非交换代数几何**是非交换几何的一个方向，研究非交换代数对象（如环）的形式对偶的几何性质，以及由它们导出的几何对象（如由沿局部胶合或取非交换叠商）的几何性质。

例如，非交换代数几何通过适当地粘合非交换环的谱，来推广概形，已经取得了部分成功。非交换环推广了交换概形上的交换正规函数环。在传统（交换）代数几何中，空间上的函数有由逐点乘积定义的积，函数的值交换时，函数也交换：{\displaystyle a\times b=b\times a}。值得注意的是，将非交换结合代数视作"非交换"空间上的函数代数是一种意义深远的几何直觉，尽管在形式上看像是谬误。

非交换代数几何的主要动机来自物理学，尤其是量子物理，当中可观察量代数被视作函数的非交换类似物，因此有动机观察其几何性质。非交换代数几何还为研究交换代数几何中的对象（如布饶尔群）提供了新技术。

非交换代数几何的方法与交换的类似，但基础往往不同。交换代数几何中的局部行为由局部环之类的交换代数对象来捕捉，在非交换环境中没有类似的环论；不过在范畴论情景中，我们可以讨论非交换谱上的准凝聚层的局部范畴叠。来自同调代数和K-理论的全局性质更常用于非交换情景。

历史
--

### 经典方法：非交换局部化问题

交换代数几何始于构造环的谱。代数簇（更一般的概形）的点是环的素理想，代数簇上的函数是环的元素。但非交换环可能没有适当的非零双侧素理想，仿射空间上多项式微分算子的外尔代数就如此：外尔代数是单环。因此，可尝试用主谱代替素谱：还有非交换局部化和下降理论。这在某种程度上是可行的：例如，雅克·迪克斯米耶的包络代数可看作是为李代数的包络代数的主谱研究非交换代数几何。迈克尔·阿廷的"非交换环"笔记具有相似精神，部分内容尝试从非交换几何的角度研究表示论。这两种方法的关键在于，不可约表示，或至少是主理想，可视作"非交换点"。

### 使用层范畴的现代观点

事实证明，（举例来说）要从主谱开始发展出一套可行的层理论并不容易。可以想象，这种困难由一种量子现象造成：空间中的点可以影响远处的点（事实上，单独处理点、将空间视作点集并不合适）。

于是，人们接受了Pierre Gabriel论文中预设的隐含范式，Gabriel–Rosenberg重构定理也部分证明了：在概形同构的意义下，交换概形可完全从概形上的准凝聚层的阿贝尔范畴重构出来。亚历山大·格罗滕迪克指出，做几何不需要空间，只要有空间上的层范畴就够了。这思想由尤里·马宁引入了非交换代数。（准）凝聚层的导出范畴中，有些稍弱的重构定理，是**导出非交换代数几何**（下详）的动机。

### 导出代数几何

条目：导出代数几何
最新的方法是通过形变理论，将非交换代数置于导出代数几何的领域中。

作为一个激励性例子，考虑复数\mathbb {C} 上的1维外尔代数，它是自由环{\displaystyle \mathbb {C} \langle x,\ y\rangle }对关系式

{\displaystyle xy-yx=1}
的商。此环表示单变量*x*的多项式微分算子；*y*表示微分算子{\displaystyle \partial \_{x}}。这个环符合{\displaystyle xy-yx=\alpha }关系给出的单参数族。α若非零，则关系决定了与外尔代数同构的环；α为零时，关系就是*x*与*y*的交换关系，由此得到的商环就是两变量多项式环{\displaystyle \mathbb {C} [x,\ y]}。从几何学角度看，两变量多项式环表示2维仿射空间{\displaystyle \mathbb {A} ^{2}}，因此单参数族的存在说明，仿射空间允许对外尔代数确定的空间进行非交换形变。这种形变与微分算子符号及{\displaystyle \mathbb {A} ^{2}}是仿射线的余切丛有关（研究外尔代数可获得仿射空间信息：外尔代数的迪克斯米耶猜想等同于仿射平面的雅可比猜想）。

这一思路中，算畴（运算集合或空间）概念变得尤为重要。（Francis 2008）导言写道：

|  |  |  |
| --- | --- | --- |
| "| 我们开始研究一些不太交换的代数几何。… {\displaystyle {\mathcal {E}}\_{n}}环上的代数几何可看作是非交换与交换代数几何一些导出理论之间的插值。随着*n*增加，这些{\displaystyle {\mathcal {E}}\_{n}}-代数收敛到Toën-Vezzosi和卢里的导出代数几何。 | "|
|  |

非交换环的射影
-------

条目：非交换射影几何
交换代数几何的基本构造之一是分次交换环的射影构造，建立了射影簇和十分丰沛线丛，其齐次坐标环是原环。构造簇的底拓扑空间需要将环局部化，但构造空间上的层则不需要。根据让-皮埃尔·塞尔的定理，分次环射影上的准凝聚层等同于环上的分次模，都是有限维因子。亚历山大·格罗滕迪克提出的意象论认为，空间上的层范畴可作为空间本身。因此，在非交换代数几何中，常以下面的方式定义射影：令*R*为分次**C**代数，Mod-*R*表示分次右*R*模范畴。令*F*表示Mod-*R*包含所有有限长模的子范畴。这样，Proj *R*的定义是阿贝尔范畴Mod-*R*对*F*的商。等价地，它是Mod-*R*的局部化，其中若两模与适当选择的*F*对象直接相加后，在Mod-*R*中同构，则两模同构。

这种方法引出了[[非交换射影几何]。非交换光滑射影曲线就是光滑交换曲线，但对于奇异曲线或光滑高维空间，非交换情景允许有新的对象。

另见
--

* 导出非交换代数几何
* Q范畴
* 准自由代数

参考文献
----

* M. Artin, J. J. Zhang, Noncommutative projective schemes, Advances in Mathematics 109 (1994), no. 2, 228–287, doi.
* Yuri I. Manin, Quantum groups and non-commutative geometry, CRM, Montreal 1988.
* Yuri I Manin, Topics in noncommutative geometry, 176 pp. Princeton 1991.
* A. Bondal, M. van den Bergh, Generators and representability of functors in commutative and noncommutative geometry, Moscow Mathematical Journal 3 (2003), no. 1, 1–36.
* A. Bondal, D. Orlov, Reconstruction of a variety from the derived category and groups of autoequivalences, Compositio Mathematica 125 (2001), 327–344 doi
* John Francis, Derived Algebraic Geometry Over {\displaystyle {\mathcal {E}}\_{n}}-Rings
* O. A. Laudal, Noncommutative algebraic geometry, Rev. Mat. Iberoamericana 19, n. 2 (2003), 509--580; euclid.
* Fred Van Oystaeyen, Alain Verschoren, Non-commutative algebraic geometry, Springer Lect. Notes in Math. 887, 1981.
* Fred van Oystaeyen, Algebraic geometry for associative algebras, Marcel Dekker 2000. vi+287 pp.
* A. L. Rosenberg, Noncommutative algebraic geometry and representations of quantized algebras, MIA 330, Kluwer Academic Publishers Group, Dordrecht, 1995. xii+315 pp. ISBN 0-7923-3575-9
* M. Kontsevich, A. Rosenberg, Noncommutative smooth spaces, The Gelfand Mathematical Seminars, 1996--1999, 85--108, Gelfand Math. Sem. Birkhäuser, Boston 2000; arXiv:math/9812158
* 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
* Pierre Gabriel, Des catégories abéliennes, Bulletin de la Société Mathématique de France 90 (1962), p. 323-448, numdam
* Zoran Škoda, Some equivariant constructions in noncommutative algebraic geometry, Georgian Mathematical Journal 16 (2009), No. 1, 183--202, arXiv:0811.4770.
* Dmitri Orlov, Quasi-coherent sheaves in commutative and non-commutative geometry, Izv. RAN. Ser. Mat. 2003, vol. 67, issue 3, 119–138 (MPI preprint version dvi, ps)
* M. Kapranov, Noncommutative geometry based on commutator expansions, Journal für die reine und angewandte Mathematik 505 (1998), 73-118, math.AG/9802041.

阅读更多
----

* A. Bondal, D. Orlov, Semi-orthogonal decomposition for algebraic varieties\_, PreprintMPI/95–15, alg-geom/9506006
* Tomasz Maszczyk, Noncommutative geometry through monoidal categories, math.QA/0611806
* S. Mahanta, On some approaches towards non-commutative algebraic geometry, math.QA/0501166
* Ludmil Katzarkov, Maxim Kontsevich, Tony Pantev, Hodge theoretic aspects of mirror symmetry, arxiv/0806.0107
* Dmitri Kaledin, Tokyo lectures "Homological methods in non-commutative geometry", pdf, TeX; and (similar but different) Seoul lectures

外部链接
----

* MathOverflow, Theories of Noncommutative Geometry
* *nLab*的noncommutative algebraic geometry條目
* *nLab*的equivariant noncommutative algebraic geometry條目
* *nLab*的noncommutative scheme條目
* *nLab*的Kapranov's noncommutative geometry條目