[论文解读] 3d Mirror Symmetry and Elliptic Stable Envelopes

Richárd Rimányi, Andrey Smirnov+2 more|arXiv (Cornell University)|Feb 10, 2019

Algebraic structures and combinatorial models参考文献 58被引用 30

一句话总结

本文通过在对偶的 quiver 变体积 X × X′ 上构造一个普遍的等变椭圆上同调类——'Mother 函数'——建立了 3d 镜像对称与代数几何中椭圆稳定包之间的深刻联系，其中 X = T∗Gr(k,n)。Mother 函数在 X 和 X′ 上的限制分别给出椭圆稳定包，证明了在将 X 上的等变参数与 X′ 上的凯勒参数对应时，其限制矩阵互为转置，从而在稳定包与椭圆上同调的层面上实现了 3d 镜像对称。

ABSTRACT

We consider a pair of quiver varieties (X;X') related by 3d mirror symmetry, where X =T*Gr(k,n) is the cotangent bundle of the Grassmannian of k-planes of n-dimensional space. We give formulas for the elliptic stable envelopes on both sides. We show an existence of an equivariant elliptic cohomology class on X $ imes$ X' (the Mother function) whose restrictions to X and X' are the elliptic stable envelopes of those varieties. This implies, that the restriction matrices of the elliptic stable envelopes for X and X' are equal after transposition and identification of the equivariant parameters on one side with the Kähler parameters on the dual side.

研究动机与目标

• 在 Nakajima quiver 变体积的背景下，为 X = T∗Gr(k,n) 及其 3d 镜像对偶 X′ 精确定义 3d 镜像对称的数学实现。
• 利用等变椭圆上同调与 GKM 理论，计算 X 和 X′ 上的椭圆稳定包。
• 在 X × X′ 上定义一个普遍的等变椭圆上同调类——'Mother 函数'——其限制在 X 和 X′ 上分别给出稳定包。
• 证明在等变参数与凯勒参数对偶下，X 和 X′ 上椭圆稳定包的限制矩阵互为转置。
• 通过 q-差分方程与单值性验证对偶性，表明过渡矩阵中具有解析性与极点抵消。

提出的方法

• 利用 Nakajima 的 quiver 变体积构造，将 X = T∗Gr(k,n) 及其 3d 镜像对偶 X′ 实现为带关系的 quiver 表示的模空间。
• 应用等变椭圆上同调与 GKM 理论，通过局部化与 theta 函数计算 X 和 X′ 上的椭圆稳定包。
• 引入 'Mother 函数' 作为 X × X′ 上等变椭圆上同调中的类，通过阿贝尔化与杨图上的树状组合学构造。
• 利用阿贝尔化公式将 X′ 上的稳定包分解为凯勒与非凯勒部分，使用分区的杨图中的组合数据。
• 通过极点减法定理与 q-差分方程的单值性理论，将稳定包与解的全纯基之间的过渡矩阵联系起来。
• 应用树结构上的消去引理与对合对称性，证明乘积 Tp,pT′λ,µ 的全纯性，消除多余极点。

实验结果

研究问题

• RQ1 在 Nakajima quiver 变体积中，3d 镜像对称如何在椭圆稳定包的层面上实现？
• RQ2 在等变椭圆上同调中，编码对偶变体 X 与 X′ 上稳定包的普遍对象是什么？
• RQ3 在等变参数与凯勒参数对偶下，X 和 X′ 上椭圆稳定包的限制矩阵之间有何关系？
• RQ4 哪些组合结构（如杨图中的树）控制着 X′ 上稳定包的凯勒与非凯勒部分？
• RQ5 为何乘积 Tp,pT′λ,µ 在凯勒参数中是全纯的？其极点抵消的机制是什么？

主要发现

• 通过 GKM 理论与 theta 函数，显式构造了 X = T∗Gr(k,n) 上的椭圆稳定包，并满足全纯归一化条件。
• 对偶变体 X′ 上的椭圆稳定包由涉及分区杨图中树的阿贝尔化公式给出，包含凯勒与非凯勒部分的贡献。
• Mother 函数——一个在 X × X′ 上取值于适当线丛 L 的 H^0(X × X′, L) 中的普遍类——被构造为 theta 函数的乘积，并满足所需的限制性质。
• 在参数识别下，即 X 上的等变参数对应于 X′ 上的凯勒参数时，X 和 X′ 上椭圆稳定包的限制矩阵互为转置。
• 乘积 Tp,pT′λ,µ 在凯勒参数 ui 中是全纯的，因为所有形如 θ(ui/uj) 的潜在极点均因树结构上的对合对称性与消去引理而被消除。
• 在 k=1 且 n=4 的情形下，推导出 Mother 函数与稳定包的显式公式，并通过 theta 函数的恒等式验证了对偶性。