[论文解读] Permutation-equivariant quantum K-theory VI. Mirrors

Alexander Givental|arXiv (Cornell University)|Sep 25, 2015

Advanced Combinatorial Mathematics参考文献 3被引用 3

一句话总结

本文为紧致环簇上的 Hori-Vafa 镜像构造发展了一种类 K-理论的对应形式，利用复振荡积分表示 $q$-超几何函数在 $K^0$-理论中的形式。它识别出由相位函数临界点参数化的拉格朗日子流形，揭示了在 Adams 映射下具有自相似行为，并通过 $q$-差分算子和单位根极限将量子 K-理论与镜像对称联系起来。

ABSTRACT

We present here the K-theoretic version of mirror models of toric manifold. First, we recall the construction of cohomological mirrors for toric manifolds, i.e. representations of the toric hypergeometric functions from quantum cohomology theory by complex oscillating integrals. Then we repeat the construction in the K-theoretic situation, and obtain complex oscillating integrals representing q-hypergeometric functions from quantum K-theory of toric manifolds, bundles, and super-bundles. Finally, we examine the Lagrangian varieties parameterized by critical points of the phase functions of these oscillating integrals.

研究动机与目标

• 将 Hori-Vafa 镜像构造从上同调推广至紧致环簇的 K-理论量子不变量。
• 通过相位函数与 Lefschetz 柱面，将 $K^0(X)$-值振荡积分中的 $q$-超几何函数形式化。
• 在接近单位根的准经典极限下，识别这些积分驻相渐近展开所对应的拉格朗日子流形。
• 通过 $D_q$-模与 Adams 映射，建立量子 K-理论与镜像对称之间的几何联系。
• 通过单位根处的自相似结构，将镜像哲学推广至包含 K-理论与 $q$-差分算子的情形。

提出的方法

• 通过线丛 $P_i$ 与 $U_j(P)$ 及其乘法关系，构造 $K$-理论 $I$-函数 $I_X^K$ 为 $K^0(X)$ 中的 $q$-超几何级数。
• 通过定义在由约束 $\prod_j X_j^{m_{ij}} = Q_i$ 所确定的环面 $\widehat{X}_Q$ 上的非紧致 Lefschetz 柱面，将 $I_X^K$ 表示为复振荡积分 $\mathcal{I}_X^K$。
• 使用拉格朗日乘数法推导相位函数 $\sum_{k>0} \sum_j X_j^k / k(1 - q^k)$ 的临界点方程，从而得到拉格朗日子流形 $L_m$。
• 将参数空间 $(P,Q)$ 上的辛结构识别为 $\sum_i dP_i/P_i \wedge dQ_i/Q_i$，并证明 $L_m$ 是 $L_1$ 在 Adams 映射 $\Psi^m$ 下的拉回。
• 在 $q = \zeta^{-1}$（$m$ 次单位根）附近分析驻相渐近行为，提取拉格朗日子流形的自相似性。
• 证明 $\mathcal{I}_X^K$ 上的 $D_q$-模结构满足与 $K$-理论 $I$-函数相同的系统，从而确认了 K-理论中的镜像对称性。

实验结果

研究问题

• RQ1 如何将 Hori-Vafa 镜像构造从上同调推广至紧致环簇的 K-理论？
• RQ2 复振荡积分表示超几何函数的 K-理论类比形式是什么？
• RQ3 在 K-理论镜像积分中，相位函数的临界点如何参数化辛环面中的拉格朗日子流形？
• RQ4 这些拉格朗日子流形在 Adams 映射 $\Psi^m$ 下的自相似行为具有何种几何与代数意义？
• RQ5 在 $q$-振荡积分的准经典极限下，其与 $D_q$-模及量子 K-理论的关系为何？

主要发现

• K-理论 $I$-函数 $I_X^K$ 可通过定义在由 $\prod_j X_j^{m_{ij}} = Q_i$ 所确定的环面 $\widehat{X}_Q$ 上的 Lefschetz 柱面上的复振荡积分 $\mathcal{I}_X^K$ 来表示。
• 相位函数 $\sum_{k>0} \sum_j X_j^k / k(1 - q^k)$ 的临界点满足 $\sum_{l>0} X_j^{lm}/(lm) = u_j(p)$，从而导出关系式 $\ln(1 - X_j^m)^{1/m} = u_j(p)$。
• 拉格朗日子流形 $L_m$ 的表达式为 $Q_i^m = \prod_j (1 - U_j^m(P))^{m_{ij}}$，即 $L_1$ 在 Adams 映射 $\Psi^m$ 下的原像。
• 当 $m=1$ 时，拉格朗日子流形 $L_1$ 实现了 $K^0(X)$ 中 Kirwan 关系的量子形变，从而与量子上同调相联系。
• 在 $q = \zeta^{-1}$（单位根）附近的驻相渐近行为表现出自相似性，且 $L_m$ 是 $L_1$ 在 $\Psi^m$ 下的拉回。
• 在 $\mathcal{I}_X^K$ 上构造的 $D_q$-模结构与 $K$-理论 $I$-函数系统一致，从而在 K-理论中确认了镜像对称性。