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

| * 
* 论
* 编
弦理論 |
| --- |
|  |
| 基本对象 | 
* 弦
* 膜
* 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（英语：）
* 弗朗克·韦尔切克
* 文小刚
* 徐一鴻

 |
|  |
| 
* 历史
* 词汇

 |

 |

**同调镜像对称**是马克西姆·孔采维奇提出的数学猜想，为研究弦理论的物理学家首次观察到的镜像对称现象寻求一种系统的数学解释。

历史
--

Kontsevich (1994)在苏黎世国际数学家大会上发言，推测一对卡拉比-丘流形*X*、*Y*的镜像对称可以解释为由*X*的代数几何构造的三角范畴（*X*上凝聚层的导出范畴）和由*Y*的辛几何构造得三角范畴（导出深谷范畴）的等价性。
爱德华·威滕最初描述了将N=(2,2)超对称场论拓扑扭曲为他所谓A、B模型拓扑弦论，涉及从黎曼曲面到固定目标（通常是卡拉比-丘流形）的映射。镜像对称的大多数预言包含于*Y*上的A模型与其镜像*X*上的B模型的物理等价中。黎曼曲面的边界为空时，它们表示闭弦的世界面。为涵盖开弦情形，必须引入边界条件以保持超对称。A模型的边界条件是*Y*的拉格朗日子流形形式，并带有一些附加结构（通常称为膜结构）；B模型的边界条件，形式是*X*的全纯（或代数）子流形，与其上的全纯（或代数）向量丛。这些是用于建立相关范畴的对象，通常称作A膜、B膜。范畴中的态射来自两膜之间伸展的开弦的无质谱。

闭弦A、B模型只捕捉到了所谓拓扑部分，是全体弦论的一小部分。相似地，模型中的膜也只是D膜这一完整动力学对象的拓扑近似。即便如此，这部分弦论产生的数学也深奥而困难。

2016-17年，普林斯顿高等研究院数学学院用了整整一学年时间研究同构镜像对称，参与者包括MIT的Paul Seidel、法国高等科学研究所的马克西姆·孔采维奇、伯克利加州大学的Denis Auroux。

例子
--

数学家只在几个例子中验证了这一猜想。孔采维奇在自己的开创性演讲中评论说，这个猜想可用Θ函数在椭圆曲线的情形下证明。Alexander Polishchuk和Eric Zaslow根据这一思路证明了椭圆曲线版本猜想。深谷贤治建立了阿贝尔簇猜想的元素。之后，孔采维奇和Yan Soibelman利用SYZ猜想的思想，证明了仿射流形上的非奇异环面丛上的猜想的大部分内容。2003年，Paul Seidel证明了四次曲面情形的猜想。Hausel & Thaddeus (2002)在希钦系统和朗兰兹对偶性的背景下解释了SYZ猜想。

霍奇菱形
----

调和{\displaystyle (p,\ q)}微分形式（等价于上同调，即闭形式模正合形式）空间的维度{\displaystyle h^{p,\ q}}按惯例排列为菱形，称作霍奇菱形。可以用弗里德里希·希策布鲁赫描述的生成函数算出完全交的这些(p,q)-贝蒂数。例如，对于3维流形，霍奇菱形的*p*与*q*值范围为0到3:

|  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- |
|  |  |  | *h*3,3 |  |  |  |
|  |  | *h*3,2 |  | *h*2,3 |  |  |
|  | *h*3,1 |  | *h*2,2 |  | *h*1,3 |  |
| *h*3,0 |  | *h*2,1 |  | *h*1,2 |  | *h*0,3 |
|  | *h*2,0 |  | *h*1,1 |  | *h*0,2 |  |
|  |  | *h*1,0 |  | *h*0,1 |  |  |
|  |  |  | *h*0,0 |  |  |  |

镜像对称将原流形的(p, q)次微分形式{\displaystyle h^{p,\ q}}的维数转化为相对的流形的{\displaystyle h^{n-p,\ q}}。也就是说，对任意卡拉比-丘流形，霍奇菱形在旋转π弧度下保持不变，与镜像卡拉比-丘流形的霍奇菱形在旋转π/2弧度后相关联。

椭圆曲线被视为1维卡拉比-丘流形的情形下，霍奇菱形非常简单：

K3曲面被视为2维卡拉比-丘流形，因为其贝蒂数是{1, 0, 22, 0, 1}，霍奇菱形如下：

3维情形中，通常称作卡拉比-丘流形，会发生非常有趣的事。有时会出现镜像对，如*M*、*W*，具有沿对角线相互对称的霍奇菱形。

*M*的菱形：

*W*的菱形：

*M*、*W*对应弦论中的A、B模型。镜像对称不仅取代了同调维度，还取代了镜像对上的辛结构与复结构，这就是同调镜像对称的起源。

1990-1991年，Candelas et al. 1991的研究不仅对枚举代数几何，还对整个数学产生了重大影响，并启发了Kontsevich (1994)。文中，两五次三维流形的镜像对有如下霍奇菱形。

 

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

另见
--

* 镜像对称猜想
* 拓扑量子场论
* 范畴论
* 弗洛尔同调
* 深谷范畴
* 导出范畴
* 五次三维流形

参考文献
----

1. ↑  IAS school of mathematics: Special Year on Homological Mirror Symmetry
2. ↑ . math.stackexchange.com.  [2017-03-06].
3. ↑ . pbelmans.ncag.info.  [2017-03-06].
4. ↑  Nicolaescu, Liviu.  (PDF).

* Candelas, Philip; de la Ossa, Xenia C.; Green, Paul S.; Parkes, Linda.. Nuclear Physics B. 1991, **359** (1): 21–74. Bibcode:1991NuPhB.359...21C. MR 1115626. doi:10.1016/0550-3213(91)90292-6.
* Kontsevich, Maxim.. 1994. arXiv:alg-geom/9411018 可免费查阅.
* Kontsevich, Maxim; Soibelman, Yan.. 2000. arXiv:math.SG/0011041 可免费查阅.
* Seidel, Paul.. 2003. arXiv:math.SG/0310414 可免费查阅.
* Hausel, Tamas; Thaddeus, Michael.. Inventiones Mathematicae. 2002, **153** (1): 197–229. Bibcode:2003InMat.153..197H. S2CID 11948225. arXiv:math.DG/0205236 可免费查阅. doi:10.1007/s00222-003-0286-7.