代数几何中，**唐纳森–托马斯理论**是关于**唐纳森–托马斯不变量**的理论。给定卡拉比–丘三维流形上的层的紧模空间，其唐纳森–托马斯不变量是其点的虚数，即上同调1类对虚基类的积分。唐纳森–托马斯不变量是卡森不变量的全纯类似物，由Simon Donaldson and Richard Thomas （1998）引入。唐纳森–托马斯不变量与代数三维流形的格罗莫夫-威滕不变量及Rahul Pandharipande、Thomas提出的稳对理论有密切联系。

唐纳森–托马斯理论的物理动机是弦论和规范场论中出现的某些BPS态。这是因为不变量取决于所研究的模空间派生范畴{\displaystyle D^{b}({\mathcal {M}})}的布里奇兰稳定条件。从本质上讲，其对应于卡拉比-丘流形的凯勒模空间中的点，如同镜像对称猜想中的考虑，而由此产生的子范畴{\displaystyle {\mathcal {P}}\subset D^{b}({\mathcal {M}})}是相应的超共形场论的BPS态范畴。

定义与例子
-----

格罗莫夫-威滕不变量的基本思想是研究黎曼曲面到光滑目标的伪全纯映射，以探测空间的几何。所有映射的模叠都有虚基类，其上的相交理论产生的数值不变量通常包含枚举信息。唐纳森-托马斯理论的方法也是通过方程，研究代数三维流形中的曲线，确切地说是用空间上的理想层进行研究。这一模空间也允许有虚基类，并产生某些可枚举的数值不变量。

在格罗莫夫–威滕理论中，映射可以是域曲线的多重覆盖与塌陷分量（collapsed component），而唐纳森-托马斯理论则允许层中包含零势信息，不过这些都是整值不变量。Davesh Maulik、安德烈·奥昆科夫、Nikita Nekrasov、Rahul Pandharipande等人提出了更深层的猜想，即代数三维流形的格罗莫夫–威滕理论和唐纳森-托马斯理论实际上等价。更具体地说，在适当改变变量后，它们的生成函数相等。对于卡拉比-丘三维流形，唐纳森-托马斯不变量可表为模空间上的加权欧拉特征。最近，这些不变量、母题霍尔代数（motivic Hall algebra）与量子体上的函数环之间也出现了联系。[需要解释]

* 五次三维流形上的线的模空间是含2875个点的离散集。点的虚拟数就是点的实际数，因此模空间的唐纳森-托马斯不变量就是2875。
* 相似地，五次上的圆锥的模空间的唐纳森-托马斯不变量是609250。

### 定义

对于卡拉比-丘三维流形Y与固定的上同调类{\displaystyle \alpha \in H^{\text{even}}(Y,\mathbb {Q} )}，有相关的相容层（陈示性类{\displaystyle c({\mathcal {E}})=\alpha }）的模叠{\displaystyle {\mathcal {M}}(Y,\alpha )}。一般来说，这是个无限类的非分离亚廷叠，很难在其上定义数值不变量。相反，有些开放子叠{\displaystyle {\mathcal {M}}^{\sigma }(Y,\alpha )}参数化了这种相容层{\mathcal {E}}，具有施加的稳定性条件\sigma ，即\sigma 稳定层。这些模叠具有更好的性质，比如被有限类型分离。唯一的困难在于，由于存在固定层的变形阻碍，它们可能具有不良的奇点。特别地

> {\displaystyle {\begin{aligned}T\_{[{\mathcal {E}}]}{\mathcal {M}}^{\sigma }(Y,\alpha )&\cong {\text{Ext}}^{1}({\mathcal {E}},{\mathcal {E}})\\{\text{Ob}}\_{[{\mathcal {E}}]}({\mathcal {M}}^{\sigma }(Y,\alpha ))&\cong {\text{Ext}}^{2}({\mathcal {E}},{\mathcal {E}})\end{aligned}}}
> 
> 

由于Y是卡拉比-丘流形，所以塞尔对偶性意味着

> {\displaystyle {\text{Ext}}^{2}({\mathcal {E}},{\mathcal {E}})\cong {\text{Ext}}^{1}({\mathcal {E}},{\mathcal {E}}\otimes \omega \_{Y})^{\vee }\cong {\text{Ext}}^{1}({\mathcal {E}},{\mathcal {E}})^{\vee }}
> 
> 

其给出了维数为0的完美阻碍理论。特别地，这意味着相关的虚基类

> {\displaystyle [{\mathcal {M}}^{\sigma }(Y,\alpha )]^{vir}\in H\_{0}({\mathcal {M}}^{\sigma }(Y,\alpha ),\mathbb {Z} )}
> 
> 

的同调度为{\displaystyle 0}，然后可以定义**DT不变量**：

> {\displaystyle \int \_{[{\mathcal {M}}^{\sigma }(Y,\alpha )]^{vir}}1}
> 
> 

其取决于稳定性条件\sigma 和上同调类\alpha 。托马斯证明，对光滑族{\displaystyle Y\_{t}}，上述不变量也不变。最初研究者选择的是吉赛克稳定性条件，近年来又根据其他稳定条件对其他DT不变量进行了研究，从而得出了"穿墙公式"（wall-crossing formula）。

事实
--

* 模空间*M*的唐纳森-托马斯不变量等于*M*的加权欧拉示性数。权函数将*M*中的每点都有类似的超平面奇点的米尔诺数。

推广
--

* 我们不考虑层的模空间，而考虑导出范畴对象的模空间。这给出了计算卡拉比-丘三维流形的稳对的Pandharipande–托马斯不变量。
* 搜门不考虑整值不变量，而考虑母题不变量。

另见
--

* 枚举几何
* 格罗莫夫–威滕不变量
* 希尔伯特概形
* 量子上同调

参考文献
----

1. ↑  Bridgeland, Tom.. 2006-02-08. arXiv:math/0212237 可免费查阅.
2. ↑  Maulik, D.; Nekrasov, N.; Okounkov, A.; Pandharipande, R.. Compositio Mathematica. 2006, **142** (5): 1263–1285. S2CID 5760317. arXiv:math/0312059 可免费查阅. doi:10.1112/S0010437X06002302.
3. ↑  Szendroi, Balazs.. 2016-04-27. arXiv:1503.07349 可免费查阅 [math.AG].
4. ↑  Thomas, R. P.. 2001-06-11. arXiv:math/9806111 可免费查阅.
5. ↑  Kontsevich, Maxim; Soibelman, Yan.. 2008-11-16. arXiv:0811.2435 可免费查阅.

* Donaldson, Simon K.; Thomas, Richard P. Huggett, S. A.; Mason, L. J.; Tod, K. P.; Tsou, S. T.; Woodhouse, N. M. J. (编), Oxford University Press: 31–47, 1998, ISBN 978-0-19-850059-9, MR 1634503
* Kontsevich, Maxim,  (PDF), Mathematische Arbeitstagung, Bonn, 2007

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
弦理論 |
| --- |
|  |
| 基本对象 | 
* 弦
* 膜
* D膜
* S膜（英语：）
* NS5膜
* M2膜
* M5膜
* 黑膜（英语：）

 |  |
|  |
| 背景理論 | 
* 南部-后藤作用量
* 泊里雅科夫作用量
* 陳-西蒙斯理論
* 共形场论
* 量子引力
* 卡鲁扎-克莱因理论
* 全像原理
* 万有理论
* 杨-米尔斯理论

 |
|  |
| 微扰弦理论 | 
* 玻色弦理論
* 超弦理論
* 第一型弦理論
* 第二型弦理論（第二A型 · 第二B型）
* 混合弦理論（SO(32)雜弦 · *E*8x*E*8雜弦）
* 弦拓扑
* 扭量弦理論（英语：）

 |
|  |
| 非微扰结果 | 
* 弦場論
* 弦論對偶性
* S對偶
* T對偶
* U對偶
* 镜像对称性
* M理论（入門）
* AdS/CFT对偶

 |
|  |
| 现象学 | 
* 弦唯象学
* 弦宇宙學
* 弦論地景
* 膜宇宙學

 |
|  |
| 数学方法 | 
* 陈–怕吞因素
* 摄动理论
* 巴塔林-維爾可維斯基代數
* 格爾斯滕哈伯代數
* 顶点算子代数
* 維拉宿代數
* 卡茨-穆迪代數
* 1/N展开

 |
|  |
| 几何 | 
* RNS体系（英语：）
* GS体系（英语：）
* GSO映射（英语：）
* 卡拉比-丘流形
* K3曲面
* G2流形（英语：）
* 紧化
* 軌形（英语：）
* 定向形（英语：）
* 錐形(弦论)（英语：）
* 塞伯格-維騰理論
* 塞伯格-維騰不變量
* 塞伯格-維騰映射
* 快子凝聚
* 微扰反常
* O(N)模型
* 非线性σ模型

 |
|  |
| 规范场论 | 
* 陈-西蒙斯形式
* 楊-米爾斯理論
* Wess-Zumino-Witten模型
* 纽结理论
* 瞬子
* BRST量子化
* BPS態
* 磁单极子

 |
|  |
| 超对称 | 
* 超引力
* 超空間
* 李超群（英语：）
* 超對稱楊-米爾斯理論

 |
|  |
| 理论家 | 
* 阿尔卡尼-哈米德
* 迈克尔·阿蒂亚
* 湯姆·班克斯
* 陈省身
* 戴克赫拉夫
* 朵夫（英语：）
* 費斯勒（英语：）
* 丹尼爾·弗里丹
* 蓋茲（英语：）
* Gliozzi（英语：）
* 迈克尔·格林 (物理学家)
* 布莱恩·葛林
* 戴维·格娄斯
* 葛布澤（英语：）
* 哈維（英语：）
* 霍扎瓦（英语：）
* 加来道雄
* Klebanov（英语：）
* 南部阳一郎
* 孔采维奇
* 胡安·马尔达西那
* 曼德尔施塔姆
* Martinec（英语：）
* 格雷·穆爾
* 莫特爾
* Nekrasov（英语：）
* Neveu（英语：）
* 奧利佛（英语：）
* 波尔钦斯基
* 泊里雅科夫
* 加來道雄
* 麗莎·藍道爾
* 皮埃尔·拉蒙
* Rohm（英语：）
* Scherk（英语：）
* 约翰·施瓦茨
* 内森·塞伯格
* Sen（英语：）
* Sơn（英语：）
* 安德鲁·施特罗明格
* 桑壯（英语：）
* 萨斯坎德
* 特·胡夫特
* Townsend（英语：）
* 瓦法
* 韦内齐亚诺
* 埃·弗尔林德
* 赫·弗尔林德（英语：）
* 爱德华·威滕
* 杨振宁
* 丘成桐
* Zaslow（英语：）
* 弗朗克·韦尔切克
* 文小刚
* 徐一鴻

 |
|  |
| 
* 历史
* 词汇

 |

 |