[论文解读] A mirror symmetric construction of qH*_T(G/P)_(q)

Konstanze Rietsch|ArXiv.org|Nov 7, 2005

Algebraic structures and combinatorial models参考文献 17被引用 12

一句话总结

该论文使用李理论方法为旗丛 $G/P$ 构造了一个镜像对称族，表明带对数校正项的全纯函数的临界点可恢复彼得森簇的分层，从而通过振荡积分实现 $T$-等变量子上同调环 $qH^*_T(G/P)_{(q)}$。该构造推广了吉文塔尔（Givental）和乔-金（Joe–Kim）对 $SL_n/B$ 的镜像族，确认了他们的积分是量子微分方程的解。

ABSTRACT

Let G be a simple simply connected complex algebraic group. We give a Lie theoretic construction of a conjectural mirror family associated to a general flag variety G/P, and show that it recovers the Peterson variety presentation for the T-equivariant quantum cohomology rings qH*_T(G/P)_(q) with quantum parameters inverted. For SL_n/B we relate our construction to the mirror family defined by Givental and its T-equivariant analogue due to Joe and Kim.

研究动机与目标

• 使用李理论几何方法为一般旗丛 $G/P$ 构造一个镜像对称族。
• 证明带 $T$-等变校正项的全纯函数的临界点可恢复彼得森簇分层 $\mathcal{Y}_P$。
• 建立由此构造产生的振荡积分可实现 $G/P$ 的 $T$-等变量子微分方程的解。
• 在 $G=SL_n$ 的情形下验证镜像猜想，与吉文塔尔和乔-金的构造进行比较。

提出的方法

• 在基空间 $H^2(G/P,\mathbb{C})/2\pi i H^2(G/P,\mathbb{Z})$ 上构造一族仿射概形 $Z_P$，其纤维紧化后为 $G^\vee/P^\vee$。
• 在覆盖空间 $\tilde{Z}_P \times \mathfrak{h}$ 上定义一个全纯函数 $\mathcal{F}_P$ 和一个多值全纯函数 $\phi_P$，以编码 $T$-等变结构。
• 利用 $\mathcal{F}_P + \ln \phi_P$ 沿纤维的临界点，恢复彼得森簇 $\mathcal{Y}_P$ 的坐标环。
• 建立从模型空间 $\tilde{\mathcal{Z}}$ 到覆盖空间 $\tilde{Z}_B^{\mathfrak{h}^\vee}$ 的比较映射 $(\gamma, \tilde{\beta}, \gamma_R)$，证明其为覆盖映射且保持积分路径结构。
• 证明乔与金的 $T$-等变积分在该映射下转化为所提议镜像积分的形式 (8.1)，相位与体积形式完全匹配。
• 通过显式计算指数与矩阵表达式，验证相位与体积形式的拉回与吉文塔尔及乔-金构造中的对应数据一致。

实验结果

研究问题

• RQ1 能否为一般旗丛 $G/P$ 构造一个基于李理论的镜像族，以实现 $T$-等变量子上同调环 $qH^*_T(G/P)_{(q)}$？
• RQ2 函数 $\mathcal{F}_P + \ln \phi_P$ 的临界点集是否可恢复彼得森簇分层 $\mathcal{Y}_P$？
• RQ3 该构造所定义的振荡积分与吉文塔尔和乔-金对 $SL_n/B$ 的镜像族有何关系？
• RQ4 乔与金的积分域与所提议镜像族之间是否存在保持量子微分方程解结构的覆盖映射？
• RQ5 能否将 $G/B$ 的镜像猜想解释为通过这些积分生成量子 Toda 格式的 Whittaker 函数？

主要发现

• 在所构造族 $Z_P$ 的纤维上，$\mathcal{F}_P + \ln \phi_P$ 的临界点恢复了彼得森簇分层 $\mathcal{Y}_P$ 的开稠密部分，其中量子参数非零。
• 比较映射 $(\gamma, \tilde{\beta}, \gamma_R)$ 是一个覆盖映射，其在乔与金的积分路径上诱导一一对应，确保变量变换下积分等价。
• 吉文塔尔对 $SL_n/B$ 的镜像族是所构造族 $Z_B$ 的一个开子集，其相位与体积形式由限制关系确定。
• 当用 $T_{v_{ij}}$ 变量表示时，$T$-等变校正项 $\tilde{\phi}$ 与乔与金的对数校正项 $\sum \lambda_a(T_{h_a} - T_{t_a})$ 一致，确认了构造的一致性。
• 乔与金积分中的相位 $e^{\tilde{\mathcal{F}}_{JK}}$ 是通过比较映射拉回 $e^{\mathcal{F}_B} \tilde{\phi}$ 得到的，确认了振荡积分形式的等价性。
• 该构造通过证明形式为 (8.1) 的积分通过所提议的镜像族实现了 $T$-等变量子微分方程的解，从而确认了 $SL_n/B$ 情形下的镜像猜想。