[论文解读] Gevrey solutions of irregular hypergeometric systems in two variables

María‐Cruz Fernández‐Fernández, Francisco Jesús Castro Jiménez|arXiv (Cornell University)|Nov 20, 2008

Polynomial and algebraic computation参考文献 12被引用 4

一句话总结

本文完整描述了与仿射平面单式曲线相关的二维不规则超几何系统在奇点处的Gevrey级数解。通过Γ-级数和基本的D-模技术，证明了此类系统的不规则性复形为 perverse 丛，并确定了其解析斜率为 $ b/a $，从而在特定情况下验证了斜率比较定理。

ABSTRACT

We describe the Gevrey series solutions at singular points of the irregular hypergeometric system (GKZ system) associated with an affine plane monomial curve. We also describe the irregularity complex of such a system with respect to its singular support.

研究动机与目标

• 明确描述不规则超几何系统 $ \mathcal{M}_A(\beta) $ 在奇点处的Gevrey级数解，其中 $ A = (a_1\; a_2) $ 且 $ \gcd(a_1,a_2) = 1 $。
• 分析关于奇点支集 $ Y $（坐标轴的并集）的不规则性复形 $ \operatorname{Irr}_Y(\mathcal{M}_A(\beta)) $。
• 使用基本方法证明不规则性复形在 $ Y $ 上为 perverse 丛，从而确认Mebkhout的一般性结果。
• 确定系统相对于坐标轴的解析斜率为 $ b/a $，并验证其与代数斜率一致。
• 在 $ Y $ 上非原点处，提供不规则性复形的0阶上同调的基，并显式描述单值性本征值。

提出的方法

• 利用Gel’fand、Kapranov与Zelevinsky引入的Γ-级数，对一般点处的全纯解进行参数化。
• 应用沿光滑曲线 $ Y $ 的 $ s $ 阶Gevrey级数形式，其定义为 $ \sum \frac{1}{i!^{s-1}} f_i(x_1) x_2^i $ 的收敛性。
• 通过涉及 $ \mathcal{O}_{\widehat{X|Y}}(s) $ 与 $ \mathcal{Q}_Y(s) $ 的复形的上同调，构造不规则性复形 $ \operatorname{Irr}_Y^{(s)}(\mathcal{M}_A(\beta)) $。
• 利用 $ \mathcal{D}_X $-模的 $ \mathcal{E}xt $-上同调的长正合列，分析 $ \operatorname{Irr}_Y^{(s)}(\mathcal{M}_A(\beta)) $ 在点 $ p \in Y $ 处的结构。
• 使用算子 $ E = a x_1 \partial_{x_1} + b x_2 \partial_{x_2} - \beta $ 及其在形式级数上的作用，推导解的结构。
• 通过本征值 $ \exp\left(\frac{2\pi i(\beta - b k)}{a}\right) $（$ k = 0, \dots, a-1 $）计算单值性，以验证perversity的余支集条件。

实验结果

研究问题

• RQ1 对于 $ A = (a_1\; a_2) $，不规则超几何系统 $ \mathcal{M}_A(\beta) $ 在原点处的Gevrey级数解具有何种结构？
• RQ2 不规则性复形 $ \operatorname{Irr}_Y(\mathcal{M}_A(\beta)) $ 在原点及奇点支集 $ Y $ 的非奇点处的行为如何？
• RQ3 不规则超几何系统 $ \mathcal{M}_A(\beta) $ 的不规则性复形是否为 $ Y $ 上的 perverse 丛？是否可不依赖深层D-模理论予以证明？
• RQ4 系统相对于坐标轴的解析斜率为何？其与代数斜率的关系如何？
• RQ5 在 $ Y \setminus \{(0,0)\} $ 上的点 $ p $ 处，不规则性复形的0阶上同调能否显式描述其基？

主要发现

• 根据定理4.1，不规则性复形 $ \operatorname{Irr}_Y(\mathcal{M}_A(\beta)) $ 在原点处的局部芽为零。
• 对于 $ p \in Y \setminus \{(0,0)\} $，不规则性复形 $ \operatorname{Irr}_Y^{(s)}(\mathcal{M}_A(\beta)) $ 在 $ b/a \leq s \leq \infty $ 时集中在度数0，且在 $ 1 \leq s < b/a $ 时为零，从而在 $ s = b/a $ 处出现唯一间隙。
• 在 $ p \in Y \setminus \{(0,0)\} $ 处，不规则性复形的0阶上同调为一维，其基可显式构造。
• 不规则性复形的单值性本征值为 $ \exp\left(\frac{2\pi i(\beta - b k)}{a}\right) $（$ k = 0, \dots, a-1 $），这些本征值可由解的基显式计算得出。
• 系统相对于 $ Y $ 的解析斜率为 $ b/a $，且与代数斜率一致，从而在本例中验证了斜率比较定理。