[논문 리뷰] The Structure of Hopf Algebras Acting on Dihedral Extensions

Alan Koch, Timothy Kohl외 2명|arXiv (Cornell University)|2017. 08. 31.

Algebraic structures and combinatorial models참고 문헌 19인용 수 4

한 줄 요약

이 논문은 소수 $p \geq 3$ 에 대해 이면군 Galois 군 $D_p$ 를 가진 Galois 확장 위에 작용하는 호프 대수의 구조를 조사하며, 호프-갈로아 구조를 실현하는 호프 대수의 명시적 기술을 제공한다. 이는 세 개인자형 호프 대수 이sovorphism 클래스와 두 개인자형 $K$-대수 이sovorphism 클래스를 포함하며, $p=3$ 에서는 전체 웨더번-아르틴 분해가 계산되어 $H_0 \cong \mathbb{Q}^6$ 를 얻는다. 이는 $\mathbb{Q}$ 의 여섯 개의 복사본의 곱이다.

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$ 에 대해 Galois 군이 $D_p$ 인 경우, $p \geq 3$ 소수일 때 이를 작용시키는 호프 대수의 이sovorphism 클래스를 결정하는 것.
• 이러한 호프 대수의 구조가 군론적 자료, 특히 $\operatorname{Gal}(L/K)$ 가 정규폐쇄 위에서 작용하는 방식에 따라 어떻게 달라지는지 분석하는 것.
• 특히 $p=3$ 의 경우에 대해 호프 대수의 명시적 기저와 대수적 분해를 제공하며, 웨더번-아르틴 분해를 포함하는 것.
• 호프 대수 간의 이sovorphism 또는 중간체로의 기저 변경 후 이sovormism이 발생할 수 있는지 조사하고, 그 조건을 밝혀내는 것.

제안 방법

• 분리 확장 위의 호프-갈로아 구조에 대한 Greither-Pareigis 분류를 활용하며, 이는 문제를 $\operatorname{Gal}(E/K)$ 와 $\operatorname{Gal}(E/L)$ 에 관한 군론적 자료로 환원한다. 여기서 $E$ 는 $L/K$ 의 정규폐쇄이다.
• 호프 대수의 기본 구조를 고정환으로서 정의: $H_\lambda = (L[N_\lambda])^{\lambda(D_p)}$, 여기서 $N_\lambda$ 는 군 작용과 관련된 정규 $\lambda$-집합이다.
• Haggenmüller과 Pareigis의 방법을 적용하여 군환의 $K$-호프 대수 형태를 계산하며, $H_\lambda$ 의 명시적 표현을 다항식환 $K[x,y]/I$ 의 몫으로 얻는다. 여기서는 특정 관계식이 존재한다.
• 웨더번-아르틴 정리를 적용하여 $p=3$ 에서 $H_0$ 의 대수적 구조를 분해하며, 정의 다항식들의 공통 영점의 다양체를 분석하여 단순 성분의 수를 결정한다.
• 갈로아 수축과 군 작용 기법을 적용하여, $K$-대수 이sovorphism 클래스가 중간체로의 기저 변경 동안 유지됨을 보인다.
• quadratic 부분체 $F = K[z]/(z^2 - b)$ 의 생성자 선택에 관계없이 호프 대수의 구조가 불변임을 검증함으로써, 구성의 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 한 개의 $K$-호프 대수가 $L/K$ 에서 두 개 이상의 호프-갈로아 구조를 실현할 수 있는가?
• RQ2 서로 이sovormic이 아닌 두 개의 $K$-호프 대수가 중간체 $F$ 에서의 기저 변경 후 이sovormic이 될 수 있는가? ($K \subset F \subset L$)
• RQ3 한 개의 $K$-대수가 여러 개의 이sovormic이 아닌 코알gebra 구조를 가질 수 있는가? 이는 $L/K$ 에서의 서로 다른 호프-갈로아 구조를 이끌어낼 수 있다.
• RQ4 서로 이sovormic이 아닌 두 개의 $K$-대수가 중간체로의 기저 변경 후 대수적으로 이sovormic이 될 수 있는가?

주요 결과

• Galois 군이 $D_p$ 인 분리 확장 $L/K$ 에 대해, $p \geq 3$ 소수일 때 정확히 $p+2$ 개의 호프-갈로아 구조가 존재하며, 이는 Greither-Pareigis 분류에 의해 군론적 자료를 통해 유도된다.
• 이러한 구조를 실현하는 $K$-호프 대수의 이sovormphism 클래스는 세 개인자형이며, 이는 어떤 중간체로의 기저 변경 후에도 그대로 유지된다.
• 두 개의 $K$-대수 이sovormphism 클래스가 존재하며, 이는 $L$ 또는 어떤 진부분 중간체로의 기저 변경 후에도 유지된다.
• $p=3$ 에서 호프 대수 $H_0$ 는 웨더번-아르틴 분해가 $\mathbb{Q}^6$ 와 이sovormic임을 보이며, 이는 정의 아이디얼의 유리점 다양체가 정확히 여섯 개가 존재하기 때문이다.
• $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)$ 의 생성자 선택과 무관하므로, 표준적인 이sovormphism 불변량을 보장한다.