[论文解读] Introduction to the Alexandru Conjecture

Pierre-Yves Gaillard|arXiv (Cornell University)|Mar 12, 2000

Finite Group Theory Research被引用 3

一句话总结

本文提出了亚历山德鲁猜想，即在实半单李群的哈里什-钱德拉模背景下，对卡兹丹-卢斯蒂格理论的类比。该研究将BGG范畴$\mathcal{O}$中的结果——如投影覆盖、Ext-多项式及格罗滕迪克群关系——通过形式化的$Z$-代数结构推广至哈里什-钱德拉模的设定，提出类似性质，包括多项式不变量和具有自同态代数$\mathbb{C}$的范畴定义模。其主要贡献是提出了一套用于通过新多项式$\widetilde{a}_{ij}$计算Ext-代数的猜想框架，该框架推广了德洛尔姆与卡兹丹-卢斯蒂格-沃根多项式。

ABSTRACT

Is a Verma module transformed into another Verma module by a selfequivalence? The answer is affirmative and the proof suggests a notion of standard object in the category of Harish-Chandra modules that coincides often, but not always, with the usual one.

研究动机与目标

• 将BGG范畴$\mathcal{O}$的结构性定理——如投影覆盖与Ext-多项式——推广至实半单李群的哈里什-钱德拉模设定。
• 通过形式化$Z$-代数$A$（其中$Z = \mathbb{C}[[z_1,\dots,z_r]]$）及有限维$A$-模，提出哈里什-钱德拉模表示理论的猜想性框架。
• 将范畴$\mathcal{O}$中的格罗滕迪克群关系与Ext-多项式恒等式推广至哈里什-钱德拉设定，特别通过德洛尔姆型级数与多项式不变量实现。
• 提出简单模Ext-代数的精细结构，猜想其可分解为$\widetilde{d}_k \widetilde{a}_{ki} \widetilde{a}_{kj}$的和，其中$\widetilde{a}_{ij}$通过朗兰兹参数与卡兹丹-卢斯蒂格-沃根多项式定义。

提出的方法

• 将$A$定义为完备的、有限生成的$Z$-代数，满足$\mathcal{H}_\rho \simeq A\text{-df}$，其中$\mathcal{H}_\rho$为具有平凡无穷小特征的哈里什-钱德拉模范畴。
• 构造简单$A$-模$L_i$的投影覆盖$P_i$，并定义$M_i = A e_i / \sum_{j > i} A e_j A e_i$，模仿范畴$\mathcal{O}$中Verma模的构造。
• 引入$\widetilde{a}_{ij}(t) = t^{\widetilde{\ell}(j) - \widetilde{\ell}(i)} \widetilde{p}_{ij}(t^{-2})$，其中$\widetilde{p}_{ij}$为卡兹丹-卢斯蒂格-沃根多项式，$\widetilde{\ell}(i)$为与$i$相关的$K_{\mathbb{C}}$-轨道的复维数。
• 定义$\widetilde{d}_i = (1 - t^2)^{\dim \mathfrak{a}_i}$，即依赖于抛物子代数$\mathfrak{p}_i$的朗兰兹分解的校正因子。
• 猜想$\mathop{\rm Ext}^\bullet(L_i, L_j)$的Poincaré级数等于$\sum_k \widetilde{d}_k \widetilde{a}_{ki} \widetilde{a}_{kj}$，推广了范畴$\mathcal{O}$中的结果。
• 利用索引集$I$上的偏序关系$\leq$，定义$ i \leq j $当且仅当$\ell(j) = \ell(i) + 1$且$\mathop{\rm Ext}^1(L_j, L_i) \neq 0$，以建立猜想理论的偏序集结构。

实验结果

研究问题

• RQ1 BGG范畴$\mathcal{O}$的结构性定理——如投影覆盖描述与Ext-多项式恒等式——能否推广至实半单李群的哈里什-钱德拉模设定？
• RQ2 是否存在一个完备且关于$Z = \mathbb{C}[[z_1,\dots,z_r]]$有限型的$Z$-代数$A$，使得$\mathcal{H}_\rho \simeq A\text{-df}$，且$A$模其根的理想后为交换代数？
• RQ3 范畴$\mathcal{O}$中的格罗滕迪克群关系，如$\boldsymbol{L}_y = \sum_x a_{x,y}(-1) \boldsymbol{M}_x$，在哈里什-钱德拉设定中是否可通过$\overline{M}_i$与$a_{ij}$有有效类比？
• RQ4 简单哈里什-钱德拉模的Ext-代数能否表示为$\widetilde{d}_k \widetilde{a}_{ki} \widetilde{a}_{kj}$的和，其中$\widetilde{a}_{ij}$通过朗兰兹参数与卡兹丹-卢斯蒂格-沃根多项式定义？
• RQ5 约化投影覆盖$\overline{M}_i$的自同态代数是否等于$\mathbb{C}$，如在范畴$\mathcal{O}$中的情况？

主要发现

• 猜想模$M_i = A e_i / \sum_{j > i} A e_j A e_i$满足$\mathop{\rm End}_A(M_i) = \mathbb{C}$，推广了范畴$\mathcal{O}$中的定理2。
• 猜想格罗滕迪克群关系$\boldsymbol{L}_j = \sum_i a_{ij}(-1) \overline{\boldsymbol{M}}_i$成立，其中$a_{ij}$为$\mathop{\rm Ext}_A^\bullet(M_i, L_j)$的Poincaré级数。
• 猜想中的多项式$p_{ij}$满足：当$i < j$时，$\deg p_{ij} < (\ell(j) - \ell(i))/2$，且$p_{ii} = 1$，与卡兹丹-卢斯蒂格多项式的性质一致。
• 简单模的Ext-代数满足$SP\, \mathop{\rm Ext}_A^\bullet(L_i, L_j) = \sum_k a_{ki} a_{kj}$，为范畴$\mathcal{O}$中定理5的直接类比。
• 在假设$G$与$K$同秩的条件下，提出猜想$SP\, \mathop{\rm Ext}_A^\bullet(L_i, L_j) = \sum_k \widetilde{d}_k \widetilde{a}_{ki} \widetilde{a}_{kj}$，其中$\widetilde{d}_i = (1 - t^2)^{\dim \mathfrak{a}_i}$，且$\widetilde{a}_{ij} = t^{\widetilde{\ell}(j) - \widetilde{\ell}(i)} \widetilde{p}_{ij}(t^{-2})$。
• 提出将$\overline{M}_i$构造为$M_i / \text{rad}(\mathop{\rm End}_A M_i) \cdot M_i$，并猜想$\mathop{\rm End}_A(\overline{M}_i) = \mathbb{C}$，推广了定理2。