[论文解读] Calabi-Yau completions and orbifold equivalences

Nils Carqueville, Alexander Quintero Vélez|arXiv (Cornell University)|Sep 2, 2015

Algebraic structures and combinatorial models参考文献 47被引用 6

一句话总结

该论文在特定条件下，建立了在同调光滑且完备的微分分次代数上，从轨道丛等价性到其卡拉比-丘完备化的提升机制。证明了若两个此类代数之间存在具有可逆量子维数的1-态射，则该等价性可提升至其卡拉比-丘完备化，且保持由量子维数可逆性诱导的范畴等价关系。

ABSTRACT

Calabi-Yau algebras are particularly symmetric differential graded algebras. There is a construction called `Calabi-Yau completion' which produces a canonical Calabi-Yau algebra from any homologically smooth dg algebra. Homologically smooth dg algebras also form a 2-category to which the construction of `equivariant completion' can be applied. In this theory two objects are called `orbifold equivalent' if there is a 1-morphism $X$ with invertible quantum dimensions between them. Any such relation entails a whole family of equivalences between categories. We show that an orbifold equivalence between two homologically smooth and proper dg algebras lifts to an orbifold equivalence between their Calabi-Yau completions under certain conditions on $X$.

研究动机与目标

• 研究微分分次代数背景下卡拉比-丘完备化与轨道丛等价性的相互作用。
• 将轨道丛等价性的理论——最初源自拓扑量子场论——推广至卡拉比-丘完备化的设定中。
• 确立同调光滑且完备的微分分次代数之间的轨道丛等价性在何种条件下可提升至其卡拉比-丘完备化。
• 通过将吉涅斯堡代数与ADE型 quiver 的结果推广，连接至等变完备化与量子维数理论。

提出的方法

• 采用凯勒的卡拉比-丘完备化构造，通过张量代数扩张，从任意同调光滑的微分分次代数构造出一个n-卡拉比-丘代数。
• 将[19]中的等变完备化构造应用于微分分次代数的2-范畴，生成一个双范畴，其中轨道丛等价性通过具有可逆量子维数的1-态射来定义。
• 运用微分分次双模的伴随结合律，关联同态与张量函子，实现跨代数的模结构操控。
• 利用双范畴中1-态射的量子维数定义轨道丛等价性，依赖于该不变量的可逆性。
• 将该理论应用于朗道-吉涅斯堡模型与ADE型quiver，表明与ADE型Dynkin quiver相关的吉涅斯堡代数正是路径代数的卡拉比-丘完备化。
• 依赖于将微分分次双模识别为$A^{{ extrm{op}}} \otimes_k B$-模，从而在导出范畴中使用标准同调代数工具。

实验结果

研究问题

• RQ1 在何种条件下，两个同调光滑且完备的微分分次代数之间的轨道丛等价性可提升为它们的卡拉比-丘完备化之间的等价性？
• RQ2 1-态射的量子维数在卡拉比-丘完备化下如何变化？其可逆性在何种条件下得以保持？
• RQ3 在朗道-吉涅斯堡模型的双范畴中，轨道丛等价关系是否可通过吉涅斯堡代数提升至其卡拉比-丘完备化？
• RQ4 由轨道丛等价性诱导的范畴等价关系在卡拉比-丘完备化构造下能持续保持到何种程度？
• RQ5 与ADE型quiver相关的吉涅斯堡代数如何与它们底层路径代数的轨道丛等价类相关联？

主要发现

• 若原始1-态射具有可逆量子维数，则两个同调光滑且完备的微分分次代数之间的轨道丛等价性可提升为它们的卡拉比-丘完备化之间的轨道丛等价性。
• 卡拉比-丘完备化构造保持了微分分次代数2-范畴的结构，包括伴随的存在性与量子维数的概念。
• 对于ADE型Dynkin quiver，相关的吉涅斯堡代数正是路径代数$kQ$的卡拉比-丘完备化，且其轨道丛等价类继承自基代数。
• 当原始双范畴中的1-态射$X$具有可逆量子维数时，该提升结果成立，这确保了在双模范畴中存在双边逆。
• 将卡拉比-丘完备化构造为在移位对偶双模上的张量代数，确保了所得代数为$n$-卡拉比-丘代数，并在导出范畴中满足所需的对偶同构。
• 本文建立了原始双范畴中轨道丛等价性与卡拉比-丘完备化中轨道丛等价性之间的典范对应，保持了所有诱导的范畴等价关系。