[论文解读] Rational representations of $GL_2$

Vanessa Miemietz, Will Turner|ArXiv.org|Sep 5, 2008

Algebraic structures and combinatorial models参考文献 10被引用 5

一句话总结

本文引入了一个无穷维基本代数 $\underleftarrow{\mathcal{C}}_p(F)$，它控制代数闭域 $F$ 上正特征 $p$ 的 $GL_2(F)$ 的有理表示理论。关键结果表明，格拉斯 Schur 代数 $\mathcal{G}(2,\underline{r})$ 的逆极限的每个块都与 $\underleftarrow{\mathcal{C}}_p(F)$ Morita 等价，揭示了 $GL_2$ 模表示理论背后深刻的组合结构。该构造依赖于迭代平凡扩张和细化根滤子的滤子，对量子群表示中的导出等价性和 Koszul 对偶具有影响。

ABSTRACT

Let $F$ be an algebraically closed field of characteristic $p$. We fashion an infinite dimensional basic algebra $\underleftarrow{\mathcal{C}}_p(F)$, with a transparent combinatorial structure, which we expect to control the rational representation theory of $GL_2(F)$.

研究动机与目标

• 揭示正特征 $p$ 的域上 $GL_2(F)$ 有理表示理论中隐藏的组合结构。
• 构造一个具有透明结构的无穷维代数 $\underleftarrow{\mathcal{C}}_p(F)$，以控制 $GL_2(F)$ 的表示理论。
• 建立 $\mathcal{G}(2,\underline{r})$ 的格拉斯 Schur 代数逆极限的每个块都与 $\underleftarrow{\mathcal{C}}_p(F)$ Morita 等价，从而统一正特征下 $GL_2$ 的表示理论。
• 探讨 $\mathcal{S}(2,\underline{r}) \cong \mathcal{G}(2,\underline{r})$ 的可能性，这意味着 $\mathcal{S}(2,\underline{r})$ 本身也与 $\underleftarrow{\mathcal{C}}_p(F)$ Morita 等价。
• 通过无穷维预投射代数 $\Pi_\infty$ 将 $GL_2$ 的模表示理论与 Koszul 对偶及量子群表示联系起来。

提出的方法

• 将无穷维代数 $\underleftarrow{\mathcal{C}}_p(F)$ 构造为具有自对偶双模的代数的迭代平凡扩张的逆极限。
• 在格拉斯代数 $\mathcal{S}(2,r)$ 上定义一个细化根滤子的滤子，从而导出一个分次环 $\mathcal{G}(2,r)$。
• 利用序列 $\mathcal{G}(2,r) \twoheadleftarrow \mathcal{G}(2,r+2)$ 的逆极限 $\mathcal{G}(2,\underline{r})$ 来建模 $GL_2(F)$-表示的范畴。
• 应用 Erdmann、Henke 和 Koenig 关于 $\mathcal{S}(2,r)$ 的 Ringel 自对偶块的结果，证明 $\mathcal{G}(2,r)$ 的某些块与 $\mathcal{C}_p^d(F)$ Morita 等价，从而为归纳证明提供基础。
• 在两个无穷维自对偶代数 $\mathcal{L}_1$ 和 $\mathcal{L}_2$ 之间引入一个稳定等价，希望将其提升为 Morita 等价，以证明 $\mathcal{S}(2,\underline{r}) \cong \mathcal{G}(2,\underline{r})$。
• 通过格罗滕迪克群建立与预投射代数 $\Pi_\infty$ 的联系，将 $\mathcal{C}_n$ 解释为函子 $-^{\oplus n}$ 的范畴化。

实验结果

研究问题

• RQ1 正特征下 $GL_2(F)$ 的有理表示理论是否具有一个具有透明组合结构的通用控制代数？
• RQ2 格拉斯 Schur 代数 $\mathcal{G}(2,\underline{r})$ 的逆极限的所有块是否都与代数 $\underleftarrow{\mathcal{C}}_p(F)$ Morita 等价？
• RQ3 是否可以建立同构 $\mathcal{S}(2,\underline{r}) \cong \mathcal{G}(2,\underline{r})$，从而意味着整个有理表示范畴由 $\underleftarrow{\mathcal{C}}_p(F)$ 控制？
• RQ4 稳定等价及其向导出等价或 Morita 等价的潜在提升，在证明 $\mathcal{S}(2,\underline{r})$ 与 $\mathcal{G}(2,\underline{r})$ 同构的过程中起到什么作用？
• RQ5 Koszul 对偶与预投射代数 $\Pi_\infty$ 如何与 $GL_2(F)$ 的模表示理论及其量子群对应物相关联？

主要发现

• 所有 $\mathcal{G}(2,\underline{r})$ 的块都与 $\underleftarrow{\mathcal{C}}_p(F)$ Morita 等价，确立了该代数作为正特征下 $GL_2(F)$-有理表示的通用控制对象。
• 通过迭代平凡扩张和逆极限构造 $\underleftarrow{\mathcal{C}}_p(F)$ 的方法，为理解正特征 $p > 0$ 下 $GL_2$ 的表示理论提供了透明的组合框架。
• 证明了 $\mathcal{G}(2,r)$ 的某些 Ringel 自对偶块与 $\mathcal{C}_p^d(F)$ Morita 等价，构成了主定理归纳证明的基础。
• 本文表明，证明 $\mathcal{S}(2,\underline{r}) \cong \mathcal{G}(2,\underline{r})$ 的主要障碍在于将两个无穷维自对偶代数 $\mathcal{L}_1$ 和 $\mathcal{L}_2$ 之间的稳定等价提升为 Morita 等价。
• 构造了一个将单模映射到单模的 $\mathcal{L}_1$ 与 $\mathcal{L}_2$ 之间的稳定等价，暗示了证明所需同构的路径。
• 范畴 $\mathcal{F}(\mathcal{C}_n(A,T))$ 的格罗滕迪克群同构于 $\mathcal{F}(A,T)$ 的 $n$ 重直和，表明 $\mathcal{C}_n$ 实现了函子 $-^{\oplus n}$ 的范畴化。