[论文解读] Representations of quantum groups arising from the Stokes phenomenon

Xiaomeng Xu|arXiv (Cornell University)|Dec 31, 2020

Algebraic structures and combinatorial models参考文献 31被引用 4

一句话总结

本文建立了具有 Poincaré 阶数为一的亚纯线性常微分方程的 Stokes 矩阵与量子群 $U_q(\frak{gl}_n)$ 的表示之间的直接联系，表明这些矩阵通过参数 $u \in \frak{h}_{\rm reg}$ 和 $q = e^{\pi i h}$ 诱导出一族表示。关键结果是通过微分系统的渐近分析，实现了 Drinfeld 同构的普遍构造，从而借助在单位根处的量子群表示与典范基，为 WKB 近似和孤立子解提供了代数洞察。

ABSTRACT

In this paper we prove that the quantum Stokes matrices of the quantum differential equation at a second order pole give rise to representations of the quantum group $U_q(\frak{gl}_n)$. We explain our results from the viewpoint of deformation quantization of the classical Stokes matrices at a second order pole. As a consequence, we can get a dictionary between the theory of Stokes phenomenon and the theory of quantum groups. We briefly discuss several such correspondences, and outline the generalization of our results to all classical types of Lie algebras and to the quantum differential equation at an arbitrary order pole.

研究动机与目标

• 开发一个代数框架，以理解具有 Poincaré 阶数为一的亚纯线性常微分方程中的 Stokes 现象。
• 建立此类 ODE 的 Stokes 矩阵与量子群 $U_q(\frak{gl}_n)$ 表示之间的对应关系。
• 应用量子群表示理论分析渐近行为，包括 WKB 近似和孤立子解。
• 通过 Stokes 矩阵的渐近展开，提供 Drinfeld 同构的普遍构造。
• 通过在单位根处的量子群表示与典范基，猜想 WKB 近似的代数表征。

提出的方法

• 构造一个具有 Poincaré 阶数为一的通用亚纯线性微分系统，其系数矩阵为 $h(u + T/z)$，其中 $T$ 是 $U(\frak{gl}_n)$ 生成元的矩阵。
• 通过扇形解与转移矩阵 $S_\pm(u;h)$ 分析 Stokes 现象，这些矩阵用于度量不规则奇点附近的渐近不连续性。
• 通过 Stokes 矩阵的归一化条目定义从 $U_q(\frak{gl}_n)$ 到 $\mathrm{End}(L(\lambda))$ 的映射 $\mathcal{S}_q(u)$，其中 $q = e^{\pi i h}$。
• 证明该映射在非共振（$h \notin \mathbb{Q}$）与共振（$h \in \mathbb{Q}$）两种情况下，均定义了 $U_q(\frak{gl}_n)$ 的良好表示。
• 利用先前工作中获得的 Stokes 矩阵渐近展开，显式构造出一个 Drinfeld 同构，将量子群结构与单值性数据联系起来。
• 应用典范基理论（Lusztig, Kashiwara）猜想：WKB 近似可由量子群的典范基表征。

实验结果

研究问题

• RQ1 如何系统地将一阶亚纯 ODE 的 Stokes 矩阵与量子群表示联系起来？
• RQ2 此类 ODE 解的渐近行为背后的代数结构是什么，特别是在非共振情况下？
• RQ3 能否使用量子群的典范基，代数表征该微分系统的 WKB 近似？
• RQ4 合流超几何型方程的孤立子或多项式解如何从量子群表示理论中涌现？
• RQ5 Drinfeld 同构在连接 ODE 的单值性数据与量子群结构方面起什么作用？

主要发现

• 通用 ODE 系统 $dF/dz = h(u + T/z)F$ 的 Stokes 矩阵 $S_\pm(u;h)$ 通过映射 $\mathcal{S}_q(u)$ 在 $L(\lambda)$ 上诱导出 $U_q(\frak{gl}_n)$ 的表示，其中 $q = e^{\pi i h}$。
• 该构造给出了一个以 $u \in \frak{h}_{\rm reg}$ 为参数的 Drinfeld 同构族，通过 Stokes 矩阵的归一化条目显式实现。
• 当 $h \notin \mathbb{Q}$ 时，映射 $\mathcal{S}_q(u)$ 定义了 $U_q(\frak{gl}_n)$ 的真实表示，满足所有标准量子群关系。
• 当 $h \in \mathbb{Q}$ 时，该表示可连续延拓至 $q_0 = e^{\pi i h_0}$（单位根），从而给出 $U_{q_0}(\frak{gl}_n)$ 的表示。
• 先前工作中导出的 Stokes 矩阵渐近展开，产生了显式的 Drinfeld 同构，将单值性数据与量子群结构联系起来。
• 本文猜想：该 ODE 的 WKB 近似由 $U_q(\frak{gl}_n)$ 的典范基表征，且孤立子解对应于在单位根处的表示。