[論文レビュー] Flatness and freeness properties of the generic Hopf Galois extensions

Christian Kassel, Akira Masuoka|arXiv (Cornell University)|Nov 19, 2009

Algebraic structures and combinatorial models参考文献 12被引用数 8

ひとこと要約

本稿では、一般のホイッフガロア拡張における余不変量の部分代数 $ \mathcal{B}_H^\alpha $ 上での自由可換ホイッフ代数 $ S(t_H)_\Theta $ が忠実平坦または自由となる十分条件を確立する。$ \mathcal{B}_H^\alpha $ がホイッフ余代数の多項式的恒等式から得られる要素によって生成されることを証明し、次のような条件下で自由性と平坦性を示す：有限次元性、余可換性、または $ H $ の特定の構造的性質。主な貢献は、一般のガロア拡張における整域性および平坦性に関する結果の広範な一般化である。

ABSTRACT

In previous work, to each Hopf algebra H and each invertible right two-cocycle on H, Eli Aljadeff and the first-named author attached a subalgebra B of the free commutative Hopf algebra S generated by the coalgebra underlying H; the algebra B is the subalgebra of coinvariants of a generic Hopf Galois extension. In this paper we give conditions under which S is faithfully flat, or even free, as a B-module. We also show that B is generated as an algebra by certain elements arising from the theory of polynomial identities for comodule algebras developped jointly with Aljadeff.

研究の動機と目的

• $ S(t_H)_\Theta $ が $ \mathcal{B}_H^\alpha $-加群として忠実平坦または自由となる十分条件を同定すること。
• 以前の研究における $ S(t_H)_\Theta $ が $ \mathcal{B}_H^\alpha $ 上で整域であるという未解決問題を解消し、忠実平坦性が整域性よりも弱く、より一般な十分条件であることを示すこと。
• $ \mathcal{B}_H^\alpha $ が $ H $-余加群代数の多項式的恒等式理論から生じる要素によって生成されることを証明すること。
• 有限次元的、余可換的、および指標的ホイッフ代数を含むより広いクラスのホイッフ代数へ、整域性および平坦性に関する以前の結果を拡張すること。

提案手法

• 著者たちは、$ \mathcal{B}_H^\alpha $ の構造と一般のコサイクル $ \sigma $ との関係を分析することで、問題を $ \alpha = \varepsilon $（自明なコサイクル）の場合に還元する。
• $ S(t_H)_\Theta $ を、対称代数 $ S(t_H) $ の分数体の部分代数として定義し、$ t_x $ および $ t_x^{-1} $ によって生成され、$ H $ からの双代数構造を誘導する。
• 一般コサイクルとその逆元から得られる、Heyneman-Sweedler記法を用いたコプロダクトを用いて、$ \mathcal{B}_H $ 内の重要な要素 $ p_x, p_x', q_{x,y}, q_{x,y}' $ を定義する。
• $ \sigma(x,y) $ および $ \sigma^{-1}(x,y) $ をこれらの要素で表現し、$ \mathcal{B}_H $ が $ p_x, p_x', q_{x,y}, q_{x,y}' $ によって生成されることを示す。
• 加群論的結果を適用する：有限次元性は射影性を、余可換性は忠実平坦性を、特定の有限性条件は自由性をもたらす。
• $ H $-余加群代数の多項式的恒等式理論を用いて、$ \mathcal{B}_H $ の生成子を定義・関係づけ、代数的独立性および生成能力を証明する。

実験結果

リサーチクエスチョン

• RQ1 $ S(t_H)_\Theta $ が $ \mathcal{B}_H^\alpha $ 上で忠実平坦となる条件は何か。これは整域性よりも弱い条件であり、代数的準同型から $ K $-形 $ {}^\alpha H $ への射影性を保証する。
• RQ2 $ \mathcal{B}_H^\alpha $ は、特に $ p_x, p_x', q_{x,y}, q_{x,y}' $ によって、$ H $-余加群代数の多項式的恒等式理論から得られる要素によって生成されるか。
• RQ3 有限次元的でないホイッフ代数のより広いクラスに対し、$ S(t_H)_\Theta $ が $ \mathcal{B}_H^\alpha $ 上で自由または忠実平坦となるか。
• RQ4 要素 $ p_x, p_x', q_{x,y}, q_{x,y}' $ は一般コサイクル $ \sigma $ とどのように関係するか。また、これらは $ \mathcal{B}_H $ の自然な生成子として機能できるか。
• RQ5 $ H $ の構造的性質（余可換性、指標的性、群的元の有限生成性など）のうち、$ S(t_H)_\Theta $ が $ \mathcal{B}_H^\alpha $ 上で自由または忠実平坦となるのを保証するのは何か。

主な発見

• 有限次元的 $ H $ に対して、$ S(t_H)_\Theta $ は $ \mathcal{B}_H $-加群として有限生成で射影的かつ生成的であり、忠実平坦性を示唆する。
• $ H $ が余可換であれば、$ S(t_H)_\Theta $ は $ \mathcal{B}_H $ 上で忠実平坦であり、以前の結果をより広いホイッフ代数のクラスへと拡張する。
• $ H $ が群的元の有限集合を持つ指標的ホイッフ代数であれば、$ S(t_H)_\Theta $ は $ \mathcal{B}_H $ 上で自由であり、自由性の強い有限性条件を提供する。
• $ H $ が可換または指標的で余可換であれば、$ S(t_H)_\Theta $ は $ \mathcal{B}_H $ 上で自由であり、以前の整域性に関する結果を一般化する。
• 代数 $ \mathcal{B}_H $ はすべての $ x,y \in H $ に対して $ p_x, p_x', q_{x,y}, q_{x,y}' $ によって生成される。これは長年の自然生成子に関する未解決問題を解決する。
• 余可換な $ H $ に対して、$ \mathcal{B}_H $ は $ p_x, q_{x,y} $ 及びその反対元によって生成され、生成子の集合が簡略化される。