[论文解读] Topological D-Branes and Commutative Algebra

Paul S. Aspinwall|ArXiv.org|Mar 29, 2007

Black Holes and Theoretical Physics参考文献 40被引用 10

一句话总结

本文提出了一套实用的框架，利用交换代数计算卡拉比–丘紧化中的拓扑D膜，表明在朗道–金兹堡相中，超势能的矩阵分解可借助 Macaulay2 等计算机代数系统高效分析。关键贡献是提出线性sigma模型不同相之间D膜的三角范畴之间存在等价关系，该等价关系通过导出范畴与分次模统一起来。

ABSTRACT

We show that questions concerning the topological B-model on a Calabi-Yau manifold in the Landau-Ginzburg phase can be rephrased in the language of commutative algebra. This yields interesting and very practical methods for analyzing the model. We demonstrate how the relevant "Ext" groups and superpotentials can be computed efficiently by computer algebra packages such as Macaulay. This picture leads us to conjecture a general description of D-branes in linear sigma models in terms of triangulated categories. Each phase of the linear sigma model is associated with a different presentation of the category of D-branes.

研究动机与目标

• 开发计算高效的计算方法，用于分析卡拉比–丘流形上B模型的拓扑D膜。
• 将矩阵分解技术与交换代数相结合，实现Ext群与超势能的实用计算。
• 通过三角范畴提出线性sigma模型各相中D膜范畴的统一描述。
• 证明Macaulay2可被适配用于计算与D膜物理相关的多重分次设定下的Ext群。
• 阐明D项条件与边界条件在从矩阵分解实现凝聚层导出范畴中的作用。

提出的方法

• 在朗道–金兹堡相中，将D膜表示为超势能W的矩阵分解，使用具有互逆映射的自由模对。
• 利用商环 A = k[x,y]/(W_p, W_q) 上的分次模的导出范畴，建模大半径相中的D膜。
• 应用Macaulay2通过将问题简化为交换代数计算，计算矩阵分解之间的Ext群。
• 实施商构造 (DGrS(W)/J^Δ) 以实现卡拉比–丘流形X上凝聚层的导出范畴。
• 在环 S = k[p,q,x,y] 中利用三重分次，编码线性sigma模型的规范与R对称性。
• 推测线性sigma模型的每一相均对应于同一基础三角D膜范畴的不同表示形式。

实验结果

研究问题

• RQ1 如何系统性地利用超势能的矩阵分解来计算拓扑B模型中开弦希尔伯特空间？
• RQ2 卡拉比–丘流形上凝聚层的导出范畴与朗道–金兹堡相中矩阵分解范畴之间的确切关系是什么？
• RQ3 Macaulay2能否被有效适配以计算与线性sigma模型相关的多重分次设定下的Ext群？
• RQ4 线性sigma模型中的D项条件如何导致卡拉比–丘超曲面上凝聚层的导出范畴？
• RQ5 线性sigma模型不同相中D膜范畴的一般结构是什么？这些范畴之间如何关联？

主要发现

• 朗道–金兹堡相中D膜的范畴与W_p + W_q的矩阵分解范畴等价，且由设置p = q = -1诱导出2-移位对称性。
• 当代码适配得当时，即使在多重分次设定下，也可通过Macaulay2高效计算D膜之间的Ext群。
• 在大半径相中，D膜范畴同构于Schimmrigk流形上有界导出范畴，该流形由P^3 × P^2中W_p = W_q = 0定义。
• D项条件导致商构造 DGrS(W)/(A/J)^Δ，该构造实现了卡拉比–丘流形上凝聚层的导出范畴。
• 本文推测线性sigma模型的所有相均对应于同一三角D膜范畴的不同表示形式，推广了Orlov的等价性。
• 该方法为通过B模型中的A∞-结构研究D膜稳定性与关联函数提供了实用的计算路径。