[논문 리뷰] From Galois to Hopf Galois: theory and practice

Teresa Crespo, Anna Rio외 1명|arXiv (Cornell University)|2014. 03. 25.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 5

한 줄 요약

이 논문은 분리 가능한 체 확장에 대해 호프 갈루아 이론을 사용하여 고전적 갈루아 이론을 확장한다. 정규 폐쇄의 갈루아 군에 대한 군론적 조건을 사용하여 갈루아 성질을 재구성한다. 호프 갈루아 구조는 갈루아 군에 의해 정규화된 정규 부분군을 통해 분류되며, 야생적으로 분할된 확장에서 갈루아 모듈러 이론에의 적용이 이루어진다.

ABSTRACT

Hopf Galois theory expands the classical Galois theory by considering the Galois property in terms of the action of the group algebra k[G] on K/k and then replacing it by the action of a Hopf algebra. We review the case of separable extensions where the Hopf Galois property admits a group-theoretical formulation suitable for counting and classifying, and also to perform explicit computations and explicit descriptions of all the ingredients involved in a Hopf Galois structure. At the end we give just a glimpse of how this theory is used in the context of Galois module theory for wildly ramified extensions.

연구 동기 및 목표

• 코커뮤파티브 호프 대수를 사용하여 고전적 갈루아 이론을 갈루아 확장 이외로 일반화하기 위해 호프 갈루아 이론을 도입한다.
• 갈루아 군에 의해 정규화된 정규 부분군을 통한 군론적 특성화를 통해 분리 가능한 확장에서 호프 갈루아 구조를 특성화한다.
• 비갈루아 확장에서 갈루아 이론의 기본 정리가 강한 형태로 성립하는 조건을 조사한다.
• 호프 갈루아 이론의 응용을 야생적으로 분할된 확장에서의 갈루아 모듈러 이론으로 확장한다.
• 호프 오더가 수체에서 정수환의 자유성 결정에 미치는 역할을 탐색한다.

제안 방법

• 체 대수 $k[G]$ 가 $K$ 위에 작용하는 갈루아 성질을 재구성한 후, $k[G]$ 를 임의의 유한 코커뮤파티브 $k$-호프 대수 $H$ 로 일반화한다.
• 확장 $K/k$ 가 호프 갈루아임과 동치인 조건으로서, 사상 $(1, \nu): K \bigotimes_k H \to \operatorname{End}_k(K)$ 가 동형임을 사용한다.
• 갈루아 수렴을 적용하여 분리 가능한 확장에서 호프 갈루아 구조를 분류하는 문제를 갈루아 군 $G = \mathrm{Gal}(\tilde{K}/k)$ 와 관련된 군론 문제로 축소한다.
• 갈루아 군 $G$ 가 코셋 $G/G'$ 에 작용할 때, $S_n$ 의 정규 부분군 $N \leq S_n$ 이 존재하면, 호프 갈루아 확장으로 특성화한다.
• 호프 갈루아 이론의 기본 정리를 사용하여 $H$ 의 부분호프 대수와 $K/k$ 의 중간체 사이에 일대일이고 포함관계를 반전하는 대응을 확립한다.
• 갈루아 모듈러 이론을 확장하기 위해 $\mathfrak{A}_H = \{\alpha \in H \mid \alpha(x) \in \mathcal{O}_K \text{ for all } x \in \mathcal{O}_K\}$ 를 정의하고, $\mathcal{O}_K$ 가 $\mathfrak{A}_H$ 위에서 자유임을 $\mathfrak{A}_H$ 가 $H$ 의 호프 오더임과 연결한다.

실험 결과

연구 질문

• RQ1 분리 가능한 체 확장 $K/k$ 가 호프 갈루아가 되기 위한 군론적 조건은 무엇인가?
• RQ2 비갈루아 확장에서 갈루아 이론의 기본 정리가 강한 형태로 성립하는 조건은 무엇인가?
• RQ3 호프 갈루아 이론을 사용하여 야생적으로 분할된 확장에서 정수환 $\mathcal{O}_K$ 의 자유성을 결정할 수 있는가?
• RQ4 체 확장의 사슬에서 호프 갈루아 성질의 전이성은 어떻게 행동하는가?
• RQ5 호프 오더는 비유역적으로 분할된 확장으로의 노이터 정리 일반화에 어떤 역할을 하는가?

주요 결과

• 차수 $n$ 의 분리 가능한 확장 $K/k$ 는 갈루아 군 $G = \mathrm{Gal}(\tilde{K}/k)$ 가 코셋 $G/G'$ 에 작용할 때, $S_n$ 의 정규 부분군 $N$ 이 $G$ 에 의해 정규화되면 호프 갈루아이다.
• 갈루아 이론의 기본 정리가 강한 형태로 성립하는 것은 $K/k$ 가 거의 고전적 갈루아이면, 즉 $N \leq G$ 이면 성립한다.
• 갈루아 군이 $S_4(6c)$, $S_4(6d)$, $F_{36}$, $2S_4$, $A_5$, $F_{36}:2$, $A_6$, $S_6$ 인 확장에서는 호프 갈루아 구조가 존재하지 않지만, 일부는 거의 고전적 갈루아 구조를 가질 수 있다.
• 전이 정리에 따르면, $K/k$ 와 $F/K$ 가 호프 갈루아이면 $F/k$ 도 호프 갈루아이지만, 그 역은 일반적으로 성립하지 않는다.
• 야생적으로 분할된 확장에서 $\mathcal{O}_K$ 는 $\mathfrak{A}_H$ 가 $H$ 의 호프 오더이면 $\mathfrak{A}_H$ 위에서 자유이며, 이는 노이터 정리의 일반화이다.
• 어떤 갈루아 확장에서는 $\mathcal{O}_K$ 가 $\mathfrak{A}_{k[G]}$ 위에서 자유가 아니지만, 비고전적 호프 대수 $H$ 에 대해 $\mathfrak{A}_H$ 위에서 자유일 수 있으며, 이는 호프 갈루아 구조가 모듈러 이론에서의 유용성을 보여준다.