[論文レビュー] The Structure of Hopf Algebras Acting on Dihedral Extensions

Alan Koch, Timothy Kohl+2 more|arXiv (Cornell University)|Aug 31, 2017

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

ひとこと要約

この論文は、素数 $p \geq 3$ に対して二面体群 $D_p$ をガロア群とするガロア拡大上に作用するホップ代数の構造を調査し、ホップ＝ガロア構造を実現するホップ代数の明示的記述を提供する。3つのホップ代数の同型類と2つの $K$-代数同型類が存在することが示され、$p=3$ に対しては完全なウェダーバーン＝アルチン分解が計算され、$H_0 \cong \mathbb{Q}^6$ が $Ç$ の6つのコピーの直積として得られる。

ABSTRACT

We discuss isomorphism questions concerning the Hopf algebras that yield Hopf-Galois structures for a fixed separable field extension $L/K$. We study in detail the case where $L/K$ is Galois with dihedral group $D_p$, $p\ge 3$ prime and give explicit descriptions of the Hopf algebras which act on $L/K$. We also determine when two such Hopf algebras are isomorphic, either as Hopf algebras or as algebras. For the case $p=3$ and a chosen $L/K$, we give the Wedderburn-Artin decompositions of the Hopf algebras.

研究の動機と目的

• 固定された分離拡大 $L/K$ に対して、ガロア群が $D_p$（$p \geq 3$ が素数）であるようなホップ代数の同型類を特定すること。
• これらのホップ代数の構造が、特に $\operatorname{Gal}(L/K)$ の正規閉包への作用に依存する仕組みを分析すること。
• 特に $p=3$ の場合に、ホップ代数の明示的基底と代数的分解（ウェダーバーン＝アルチン分解を含む）を提供すること。
• ホップ代数同士、または中間体へのベースチェンジ後の同型が発生する可能性と、その条件を調査すること。

提案手法

• 分離拡大におけるホップ＝ガロア構造のグライザー＝パライジ分類を用い、問題を $\operatorname{Gal}(E/K)$ と $\operatorname{Gal}(E/L)$ に関連する群論的データに還元する。ここで $E$ は $L/K$ の正規閉包である。
• ホップ代数の基本的構成（固定環として）を適用する：$H_\lambda = (L[N_\lambda])^{\lambda(D_p)}$、ここで $N_\lambda$ は群作用に関連する正規 $\lambda$-集合である。
• ハーゲンミュラーとパライジの手法を用いて、群環の $K$-ホップ代数形を計算し、$H_\lambda$ を特定の関係を持つ多項式環 $K[x,y]/I$ の商として明示的に記述する。
• ウェダーバーン＝アルチン定理を用いて、$p=3$ の場合の $H_0$ の代数的構造を分解し、定義多項式の共通零点の集合を分析して単純成分の数を特定する。
• ガロア降下と群作用の技法を適用し、中間体へのベースチェンジにおいて $K$-代数同型類が保存されることを示す。
• ホップ代数の構造が、二次部分体 $F = K[z]/(z^2 - b)$ の生成子の選び方に依存しないことを検証し、構成の一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 1つの $K$-ホップ代数が、$L/K$ に対して複数のホップ＝ガロア構造を実現できるか？
• RQ2 非同型の2つの $K$-ホップ代数が、中間体 $F$（$K \subset F \subset L$）へのベースチェンジ後に同型になることはあり得るか？
• RQ3 1つの $K$-代数が複数の非同型の余代数構造を備え、それらが $L/K$ に対して異なるホップ＝ガロア構造をもたらすことはあり得るか？
• RQ4 非同型の2つの $K$-代数が、中間体へのベースチェンジ後に代数として同型になることはあり得るか？

主な発見

• ガロア群が $D_p$（$p \geq 3$ が素数）であるガロア拡大 $L/K$ に対して、正確に $p+2$ 個のホップ＝ガロア構造が存在し、これらはグライザー＝パライジ分類による群論的データからすべて得られる。
• これらの構造を実現する $K$-ホップ代数には3つの同型類が存在し、これは任意の中間体へのベースチェンジに対しても変わらない。
• $K$-代数同型類は2つであり、$L$ や任意の真の中間体へのベースチェンジ後でも保存される。
• $p=3$ の場合、ホップ代数 $H_0$ はウェダーバーン＝アルチン分解により $\mathbb{Q}^6$ に同型であり、定義イデアルの有理数点が正確に6つ存在するためである。
• $H_0$ は明示的に $\mathbb{Q}[x,y]/I$ として記述され、$I = (y^2 + 3x^2 - 12, (x-2)(x-1)(x+1)(x+2), (x-1)(x+1)(xy))$ であり、その余乗法、余単位、逆元写像は閉じた形で与えられる。
• $H_0$ のホップ代数構造は、二次部分体 $F = \mathbb{Q}(\zeta_3)$ の生成子の選び方に依存せず、Canonicalな同型不変量が保証される。