[论文解读] O_e(G) is a free module over O(G)

Ken A. Brown, Iain J. Gordon+1 more|ArXiv.org|Jul 28, 2000

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

一句话总结

本文证明了当单连通半单代数群 $G$ 在单位根 $\epsilon$ 处的量化函数代数 $\mathcal{O}_\epsilon[G]$ 是经典正则函数 $\mathcal{O}[G]$ 上的自由模，其秩为 $\ell^{\dim G}$，该结论基于 $\mathcal{O}[G]$ 的 Grothendieck 群 $K_0(\mathcal{O}[G])$ 的平凡性，以及在 $\mathcal{O}[G]$ 上秩足够大的投射模必为自由模的事实。

ABSTRACT

We show that the quantised function algebra O_e(G) of a simply-connected semisimple algebraic group G at a root of unity is a free module over the subring isomorphic to O(G).

研究动机与目标

• 建立 $\mathcal{O}_\epsilon[G]$ 是单连通半单代数群 $G$ 在单位根处 $\mathcal{O}[G]$ 上的自由模。
• 通过提供一个正确的证明，填补文献中此前存在错误证明和特殊情形证明的空白。
• 阐明 $\mathcal{O}[G]$ 上投射模成为自由模的条件，特别是当其秩超过 Krull 维数时的情形。
• 展示该自由性结果可推广至 $SL(2)$ 之外的更一般情形，而此前该结果仅被单独处理过。

提出的方法

• 利用文献 [4, 定理 7.2] 的结果，即 $\mathcal{O}_\epsilon[G]$ 是 $\mathcal{O}[G]$ 上的有限生成投射模，其秩为 $\ell^{\dim G}$。
• 应用 Marlin 的结果 [7, Corollaire 3]，即 $K_0(\mathcal{O}[G]) \cong \mathbb{Z}$，这意味着 $\mathcal{O}[G]$ 上所有有限生成投射模均为稳定自由模。
• 利用如下事实：任何秩大于 $\mathcal{O}[G]$ 的 Krull 维数的有限生成投射模必为自由模，依据 [2, 推论 IV.3.5]。
• 注意到当 $\ell > 1$ 时，有 $\dim G < \ell^{\dim G}$，因此 $\mathcal{O}_\epsilon[G]$ 的秩超过了 $\mathcal{O}[G]$ 的 Krull 维数，故其为自由模。
• 利用 $\mathcal{O}[G]$ 作为约化群的坐标环的结构，以及同构 $K_0(G) \cong K_0(G_{\text{red}})$ 来证明 $K_0(\mathcal{O}[G])$ 的平凡性。

实验结果

研究问题

• RQ1 当 $G$ 是单连通群且 $\epsilon$ 是 $\ell$ 次单位根时，$\mathcal{O}_\epsilon[G]$ 是否是 $\mathcal{O}[G]$ 上的自由模？
• RQ2 在什么条件下，$\mathcal{O}[G]$ 上的投射模成为自由模，特别是当其秩超过基环的 Krull 维数时？
• RQ3 能否仅通过 $K$-理论和模理论准则，而非显式构造基，来证明 $\mathcal{O}_\epsilon[G]$ 关于 $\mathcal{O}[G]$ 的自由性？
• RQ4 该自由性结果是否可推广至在中心子霍普夫代数上有限生成的更一般霍普夫代数？是否需要额外条件？
• RQ5 $\mathcal{O}_\epsilon[G]$ 是否是 $\mathcal{O}[G]$ 的裂化扩张？何种条件可蕴含此类结构？

主要发现

• 代数 $\mathcal{O}_\epsilon[G]$ 是 $\mathcal{O}[G]$ 上的自由模，其秩为 $\ell^{\dim G}$，其中 $\ell$ 是单位根 $\epsilon$ 的阶。
• 自由性源于 $\mathcal{O}_\epsilon[G]$ 是 $\mathcal{O}[G]$ 上的秩为 $\ell^{\dim G}$ 的投射模，且由于 $\dim G < \ell^{\dim G}$，该模必为自由模。
• $\mathcal{O}[G]$ 的 Grothendieck 群 $K_0(\mathcal{O}[G])$ 同构于 $\mathbb{Z}$，这意味着所有有限生成投射 $\mathcal{O}[G]$-模均为稳定自由模。
• 该结果可推广至 $SL(2)$ 之外的情形，解决了文献中此前证明错误或不完整的空白。
• 该证明不依赖于显式基的构造，而是通过 $K$-理论和维数界推导出自由性。
• 作者指出 $\mathcal{O}_\epsilon[G]$ 可能不是 $\mathcal{O}[G]$ 的裂化扩张，这一问题仍为开放问题。