[論文レビュー] 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$ の量子化函数代数 $ϵ[G]$ が根の単位根 $ϵ$ において、古典的正則関数 $ϵ[G]$ 上の自由加群であることを、$K_0(ϵ[G])$ の自明性と、$ϵ[G]$ 上で十分大きなランクの射影加群が常に自由であるという事実を用いて証明する。ランクは $π^{πm 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).

研究の動機と目的

• 単連結な半単純代数群 $G$ と単位根 $ϵ$ に対して、$\mathcal{O}_\epsilon[G]$ が $\mathcal{O}[G]$ 上の自由加群であることを確立すること。
• 以前に誤った証明と特殊ケースの証明がなされた後、文献におけるギャップを埋めるために正しい証明を提供すること。
• $\mathcal{O}[G]$ 上の射影加群が自由になる条件、特にランクがクルール次元を超過する場合を明確にすること。
• $SL(2)$ の場合に別個に扱われた特定のケースを超えて、自由性の結果が一般化されることを示すこと。

提案手法

• $\mathcal{O}_\epsilon[G]$ が $\mathcal{O}[G]$ 上の有限生成射影加群であり、ランクが $\ell^{\dim G}$ であるという [4, 定理 7.2] の結果を用いる。
• $K_0(\mathcal{O}[G]) \cong \mathbb{Z}$ であるという Marlin の結果 [7, Corollaire 3] を適用し、$\mathcal{O}[G]$ 上のすべての有限生成射影加群が安定的に自由であることを示す。
• [2, 定理 IV.3.5] による事実を活用して、$\mathcal{O}[G]$ のクルール次元を超えるランクの有限生成射影加群は、必然的に自由である。
• $\dim G < \ell^{\dim G}$ であるため（$\ell > 1$ のとき）、$\mathcal{O}_\epsilon[G]$ のランクは $\mathcal{O}[G]$ のクルール次元を超過しており、したがって自由である。
• $\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]$ 上の射影加群が自由になる条件は何か、特にランクがベース環のクルール次元を超過する場合に。
• RQ3 明示的な基底を構成することなく、$K$-理論と加群論的基準を用いて、$\mathcal{O}_\epsilon[G]$ が $\mathcal{O}[G]$ 上で自由であることを示せるか？
• RQ4 有限生成な中心的部分ホップ代数上に有限生成なホップ代数としてのより一般的なホップ代数へ、この自由性の結果を拡張できるか？それには追加の条件が必要か？
• RQ5 $\mathcal{O}_\epsilon[G]$ は $\mathcal{O}[G]$ のクラフト拡大か？このような構造を示すために必要な条件は何か？

主な発見

• 代数 $\mathcal{O}_\epsilon[G]$ は、$\ell$ を単位根 $\epsilon$ の位数として、$\mathcal{O}[G]$ 上のランク $\ell^{\dim G}$ の自由加群である。
• 自由性は、$\mathcal{O}_\epsilon[G]$ がランク $\ell^{\dim G}$ の射影 $\mathcal{O}[G]$-加群であり、$\dim G < \ell^{\dim G}$ であるため、この加群が自由であるという事実に起因する。
• $\mathcal{O}[G]$ のグロテンディーク群 $K_0(\mathcal{O}[G])$ は $\mathbb{Z}$ に同型であり、これは $\mathcal{O}[G]$ 上のすべての有限生成射影加群が安定的に自由であることを意味する。
• この結果は $SL(2)$ の場合に限らず一般化可能であり、以前の誤った証明や不完全な証明があった文献のギャップを解消する。
• 証明は明示的な基底の構成に依存せず、$K$-理論と次元の上限を用いて自由性を導出する。
• 著者らは、$\mathcal{O}_\epsilon[G]$ が $\mathcal{O}[G]$ のクラフト拡大でない可能性があると指摘しており、これは未解決の問題のまま残っている。