[论文解读] Azumaya-type noncommutative spaces and morphisms therefrom: Polchinski's D-branes in string theory from Grothendieck's viewpoint

Chien‐Hao Liu, Shing‐Tung Yau|ArXiv.org|Sep 11, 2007

Black Holes and Theoretical Physics参考文献 124被引用 21

一句话总结

本文通过将格罗滕迪克关于交换环与空间之间的对偶性推广至非交换阿兹马亚代数，提出了一套非交换几何框架，用于弦理论中的D-brane。该框架实现了D-brane的内在代数几何定义，自然再现了Higgsing/un-Higgsing等关键物理现象及模空间结构。关键结果表明，光滑射影卡拉比-丘表面的D0-brane模空间同时嵌入了经典对称积与量子希尔伯特概形，通过非交换态射空间统一了经典与量子模空间。

ABSTRACT

We explain how Polchinski's work on D-branes re-read from a noncommutative version of Grothendieck's equivalence of local geometries and function rings gives rise to an intrinsic prototype definition of D-branes (of B-type) as an Azumaya-type noncommutative space. Several originally open-string induced properties of D-branes can be reproduced solely by this intrinsic definition. We study also the moduli space of D0-branes on a commutative target space in this setup. Some of its features resembles gas of D0-branes in Vafa's work.

研究动机与目标

• 通过非交换代数几何，为弦理论中的D-brane提供一种内在且数学上严谨的定义。
• 在纯粹代数几何设定下重现D-brane的Higgsing/un-Higgsing行为，而此前基于周期类的定义无法自然捕捉这一现象。
• 在单一非交换模空间的态射框架内，统一D0-brane在卡拉比-丘表面的古典模空间（Chow簇）与量子模空间（Hilbert概形）。
• 建立波尔奇尼的物理识别（即D-brane作为Ramond-Ramond场源）与格罗滕迪克的范畴化方案之间通过非交换推广的桥梁。
• 证明光滑射影卡拉比-丘表面的D0-brane模空间同时包含 $ S^nY $ 与 $ Y^{[n]} $，其中后者实现为量子修正的模空间，即超凯勒解析

提出的方法

• 将格罗滕迪克关于交换环与概形之间的等价性推广至非交换阿兹马亚代数，通过其模范畴定义非交换空间。
• 将D-brane定义为从非交换空间 $ ( ext{Space}ig(M_n(bC), bC^nig)) $ 到目标空间 $ Y $ 的态射，其中源空间编码了Chan-Paton丛与D-brane电荷。
• 构造态射空间 $ ext{Map}ig(( ext{Space}ig(M_n(bC), bC^nig), Y) $ 作为此类态射的参数空间，其自然地同时包含对称积 $ S^nY $ 与Hilbert概形 $ Y^{[n]} $。
• 通过限制自然投影 $ ilde{ ho}: ext{Map} o S^nY $ 到Hilbert态射的像 $ ext{Im}ig( ilde{ ho}|_{ ext{Im} ilde{ ho}_{ ext{Hilb}}} ig) $，实现解析 $ Y^{[n]} o S^nY $。
• 利用代数几何中的已知结果——如Lehn与Sorger的工作及Uribe定理——证明在卡拉比-丘曲面上，$ Y^{[n]} $ 是 $ S^nY $ 的超凯勒解析，与弦理论中预测的量子修正模空间一致。
• 将该框架应用于D4-brane上的D0-brane，表明D0-brane在光滑射影曲面 $ Y $ 上的模空间通过同一非交换态射空间，统一了经典与量子构型。

实验结果

研究问题

• RQ1 非交换格罗滕迪克对偶性的推广能否提供一种自然且内在的D-brane定义，从而捕捉Higgsing等物理行为？
• RQ2 D0-brane在卡拉比-丘曲面上的古典模空间 $ S^nY $ 与量子模空间 $ Y^{[n]} $ 能否在单一数学框架内统一？
• RQ3 阿兹马亚型非交换空间在代数几何中实现Chan-Paton丛与D-brane电荷的角色为何？
• RQ4 从非交换空间到目标代数簇的态射空间模空间是否自然地同时包含Hilbert概形与Chow簇作为子结构？
• RQ5 能否从非交换几何构造中推导出D0-brane的量子修正模空间？该空间由Vafa预测，并通过群 orbifold 上同调验证。

主要发现

• 光滑射影卡拉比-丘曲面 $ Y $ 上D0-brane的模空间被实现为从非交换阿兹马亚空间出发的态射空间的像，该像自然地同时包含 $ S^nY $ 与 $ Y^{[n]} $ 作为子结构。
• Hilbert概形 $ Y^{[n]} $ 作为自然态射 $ ilde{ ho}_{ ext{Hilb}} $ 的像出现，且投影 $ ilde{ ho} $ 限制在该像上，给出解析 $ Y^{[n]} o S^nY $。
• 对于卡拉比-丘曲面 $ Y $，Hilbert概形 $ Y^{[n]} $ 是对称积 $ S^nY $ 的超凯勒解析，与Vafa预测的量子修正模空间一致，并经由Chen-Ruan群orbifold上同调验证。
• 该构造将量子模空间 $ ilde{S}^nY $ 实现为 $ S^nY $ 的orbifold上同调，且其同构于 $ Y^{[n]} $ 的普通上同调，从而在卡拉比-丘情形下证实了Ruan的猜想。
• 该框架自然地统一了D-brane模空间的经典与量子方面：对称积 $ S^nY $ 对应经典配置空间，而 $ Y^{[n]} $ 对应量子修正空间，非交换态射空间统一了二者。
• D-brane的Higgsing/un-Higgsing行为自然地编码于 $ ( ext{Space}ig(M_n(bC), bC^nig)) $ 的非交换几何中，该几何捕捉了束缚与非束缚D-brane态之间的物理跃迁。