[论文解读] The Weyl extension algebra of $GL_2(\bar{\mathbb{F}}_p)$

Vanessa Miemietz, Will Turner|arXiv (Cornell University)|Jun 28, 2011

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

一句话总结

本文利用 $2$-函子的广义 Koszul 对偶框架，计算了代数闭域上正特征 $p$ 的 $GL_2$ 的 Weyl 模的 Yoneda 扩张代数。关键结果是：通过张量代数和导出算子构造，实现了扩张代数 $\mathbf{w}$ 的显式单项式基，其指标为无限维多面体中的格点。

ABSTRACT

We compute the Yoneda extension algebra of the collection of Weyl modules for $GL_2$ over an algebraically closed field of positive characteristic p by developing a theory of generalised Koszul duality for certain 2-functors, one of which controls the rational representation theory of $GL_2$ over such a field.

研究动机与目标

• 计算 $GL_2$ 在 $\overline{\mathbb{F}}_p$ 上主块中 Weyl 模的 Yoneda 扩张代数 $\mathbf{w}$。
• 将 Koszul 对偶技术扩展至具有非负分次和 $2$-函子结构的有理表示理论设置。
• 为 $\mathbf{w}$ 提供一个显式单项式基，其指标为无限维格点多面体的元素。
• 将 $\mathbf{w}$ 的组合描述为作用于 $F[z,z^{-1}]$ 的迭代算子的极限。
• 修正并完善早期对偶构造，特别是关于双模同调与多面体基中指标参数的处理。

提出的方法

• 为控制 $GL_2$ 有理表示的 $2$-函子发展广义 Koszul 对偶理论。
• 引入代数算子 $\mathfrak{O}_\Upsilon$ 与 $\mathbb{H}\mathbb{K}\mathbb{T}_A(M)$，通过迭代张量积编码同调数据。
• 构造代数 $\Upsilon = \mathbb{HT}_{\boldsymbol{d}}(\underline{\boldsymbol{u}})$，作为 Koszul 对偶代数 ${\boldsymbol{d}}$ 上的张量代数，其上带有双模 ${}_{{\boldsymbol{d}}}M_{{\boldsymbol{d}}}$。
• 在 $\Upsilon$ 上使用三重分次结构，其单项式基由多面体中的格点指标化，其中乘法为 $\pm$ 另一个基元素或零。
• 应用同调对偶算子 $\mathcal{K}$ 与 $\mathbb{K}$，通过迭代 $\mathfrak{O}$-作用将 $\mathbf{w}$ 与 $F[z,z^{-1}]$ 关联。
• 通过调整参数 $a$ 与 $b$ 的条件，修正了多面体基中的指标，以确保同调中双模结构的正确性。

实验结果

研究问题

• RQ1 如何显式描述 $GL_2$ 在特征 $p>0$ 下 Weyl 模的 Yoneda 扩张代数？
• RQ2 广义 Koszul 对偶在通过 $2$-函子编码 $GL_2$ 有理表示理论中起什么作用？
• RQ3 扩张代数 $\mathbf{w}$ 如何拥有一个由无限维多面体中格点指标化的单项式基？
• RQ4 为确保多面体基中乘法的正确性，双模同调结构中需要进行哪些修正？
• RQ5 迭代代数算子 $\mathfrak{O}^q_{\mathbb{H}\mathbb{T}_{\mathcal{K}(\mathbf{a})}(\mathcal{K}(\underline{m}))}$ 如何从 $F[z,z^{-1}]$ 重构扩张代数？

主要发现

• 在 $GL_2(\overline{\mathbb{F}}_p)$ 的主块中，Weyl 模的 Yoneda 扩张代数 $\mathbf{w}$ 同构于 $\lim_q \mathfrak{O}_\Upsilon^q(F[z,z^{-1}])$，其中 $\Upsilon$ 是一个三重分次代数，具有单项式基。
• 代数 $\Upsilon$ 被实现为 Koszul 对偶代数 ${\boldsymbol{d}}$ 上的张量代数 $\mathbb{HT}_{\boldsymbol{d}}(\underline{\boldsymbol{u}})$，并带有双模 ${}_{{\boldsymbol{d}}}M_{{\boldsymbol{d}}}$。
• 代数 $\mathbf{w}$ 的单项式基由无限维多面体中的格点指标化，其乘法为 $\pm$ 另一个基元素或零。
• 在基元素的指标中发现一处修正：当 $s=2,\dots,p-1$ 时，元素 $(p-s,0,0,a,b,s+1)$ 满足 $a=b-1$；而当 $s=1$ 时，$(p-1,0,0,a,b,2)$ 满足 $a=b+1$。
• $\mathbf{w}$ 具有一个自然的 $\mathbb{Z}$-三重分次，其中 $k$-分次对应于 $\operatorname{Ext}$ 中的上同调度数。
• 该构造产生一个同调等价的算子，将 $\mathbf{w}$ 实现为对 $F[z,z^{-1}]$ 的迭代 $\mathfrak{O}$-作用的极限，最终同构为 $\mathbb{H}\mathcal{K}(A) \cong \mathfrak{O}_F \mathfrak{O}^q_{\mathbb{H}\mathbb{T}_{\mathcal{K}(\mathbf{a})}(\mathcal{K}(\underline{m}))} F[z,z^{-1}]$。