[论文解读] Mirror Symmetry and Discriminants

Paul S. Aspinwall, M. Ronen Plesser+1 more|arXiv (Cornell University)|Feb 15, 2017

Topological and Geometric Data Analysis参考文献 22被引用 3

一句话总结

该论文通过规范线性σ模型（GLSM）技术，在非紧致toric Calabi–Yau流形的背景下，建立了奇异N=(2,2)超共形场论的判别式与GKZ A-行列式之间的精确对应关系。研究表明，GKZ行列式中的重数自然源自GLSM的Higgs分支，并编码于无质量D-膜的导出范畴中，围绕判别式分支的单值性由球面对称函子描述，从而实现了对GKZ行列式的范畴化。

ABSTRACT

We analyze the locus, together with multiplicities, of "bad" conformal field theories in the compactified moduli space of N=(2,2) superconformal field theories in the context of the generalization of the Batyrev mirror construction using the gauged linear sigma-model. We find this discriminant of singular theories is described beautifully by the GKZ "A-determinant" but only if we use a noncompact toric Calabi-Yau variety on the A-model side and logarithmic coordinates on the B-model side. The two are related by "local" mirror symmetry. The corresponding statement for the compact case requires changing multiplicities in the GKZ determinant. We then describe a natural structure for monodromies around components of this discriminant in terms of spherical functors. This can be considered a categorification of the GKZ A-determinant. Each component of the discriminant is naturally associated with a category of massless D-branes.

研究动机与目标

• 理解在N=(2,2)超共形场论框架下，GKZ A-行列式中重数的起源。
• 利用非紧致镜像对称，建立奇异CFT判别式与GKZ A-行列式之间的匹配。
• 通过GLSM的Higgs分支，将GKZ行列式中的重数解释为拓扑K0-理论与代数K0-理论的秩。
• 通过将判别式每个分支与无质量D-膜的范畴相关联，并利用球面对称函子描述单值性，实现对GKZ A-行列式的范畴化。
• 阐明B模型侧对数坐标的作用，及其在非紧致设定下实现与GKZ行列式匹配的必要性。

提出的方法

• 使用规范线性σ模型（GLSM）分析N=(2,2) SCFT的模空间，并将其分解为Higgs分支与Coulomb分支。
• 应用局部镜像对称，将非紧致toric Calabi–Yau上的A模型与具有对数坐标的紧致Calabi–Yau上的B模型联系起来。
• 将GKZ A-行列式计算为参数的单项式乘积，其中指数编码了重数。
• 将代数K0-理论群的秩与无质量D-膜范畴中例外族的物体数量相等化。
• 通过D-膜导出范畴上的球面扭转构造单值性函子，其与判别式分支的通用单值性相关联。
• 利用toric几何将陈示性环与上同调环等同，确保拓扑与代数K0-理论秩的一致性。

实验结果

研究问题

• RQ1 GKZ A-行列式中的重数如何从规范线性σ模型的结构中产生？
• RQ2 为何需要非紧致镜像对称才能将GKZ A-行列式与奇异CFT的判别式相匹配？
• RQ3 判别式分支在无质量D-膜范畴中的范畴解释是什么？
• RQ4 围绕判别式分支的单值性如何在D-膜导出范畴中编码？
• RQ5 B模型侧的对数坐标在实现与GKZ行列式匹配中起什么作用？

主要发现

• 当A模型侧采用非紧致toric Calabi–Yau流形，B模型侧使用对数坐标时，奇异N=(2,2) SCFT的判别式被精确地由GKZ A-行列式描述。
• GKZ A-行列式中的重数对应于代数K0-理论群的秩，该秩等于无质量D-膜范畴中例外族的物体数量。
• 围绕判别式通用分支的单值性被实现为作用于无质量D-膜导出范畴上的球面扭转函子。
• 墙或杂交相的无质量D-膜导出范畴由例外族生成，其结构与相应toric流形的拓扑一致。
• 在紧致情形下，GKZ重数与GLSM的匹配需要对GKZ行列式进行修正，因为K3类范畴中的K0-理论结构变得更为复杂且无限维。
• GLSM通过Witten指标与Higgs理论的轨道空间欧拉示性数，为GKZ行列式的异常次数提供了物理解释。