[논문 리뷰] Scaffolds and integral Hopf Galois module structure on purely inseparable extensions

Alan Koch|arXiv (Cornell University)|2014. 05. 29.

Algebraic structures and combinatorial models참고 문헌 13인용 수 5

한 줄 요약

이 논문은 $p^n$ 차수, $n \geq 2$ 인 완전 분해 불가능한 국소체의 확장에 대해 허프 갈로아 스카폴드를 도입하여, 정규 기저 정리의 허프 갈로아 버전을 가능하게 한다. 분수 이상 $¤\mathfrak{P}_L^h¤$ 가 허프 대수 $H$의 관련 순서에서 자유 모듈이 되는지 여부를 판단하기 위한 수치 기준을 수립한다. 이 기준은 $h-2$ 가 $p^n$ 모듈로에서의 잔여물에 기반하며, $¤\operatorname{res}(h-2) > (p^n - 3)/2¤$ 라면 자유성이 성립한다. 이는 이러한 확장에 대해 정수 허프 갈로아 모듈러 구조를 완전히 특성화한다.

ABSTRACT

Let $p$ be prime. Let $L/K$ be a finite, totally ramified, purely inseparable extension of local fields, $\left[ L:K ight] =p^{n},\;n\geq2.$ It is known that $L/K$ is Hopf Galois for numerous Hopf algebras $H,$ each of which can act on the extension in numerous ways. For a certain collection of such $H$ we construct "Hopf Galois scaffolds" which allow us to obtain a Hopf analogue to the Normal Basis Theorem for $L/K.$ The existence of a scaffold structure depends on the chosen action of $H$ on $L.$ We apply the theory of scaffolds to describe when the fractional ideals of $L$ are free over their associated orders in $H.$

연구 동기 및 목표

• 순수하게 비가역적이고 완전히 분해 불가능한 국소체 확장의 맥락에서 갈로아 스카폴드 이론을 허프 갈로아 확장으로 확장한다.
• 야생 브랜치로 인해 정수환 $¤\mathfrak{O}_L¤$ 가 정규 정수 기저를 갖지 못함에 따라 분수 이상의 정수 갈로아 모듈러 구조를 묘사하는 데 도전한다.
• 허프 대수 $H$ 내의 관련 순서 $¤\mathfrak{A}_h¤$ 에서 분수 이상 $¤\mathfrak{P}_L^h¤$ 가 자유가 되는지 여부를 판단하기 위한 수치 기준을 스카폴드 구조를 사용하여 구성한다.
• 자유성 조건이 특정 $H$ 또는 작용의 선택과 무관하게, 스카폴드가 존재하고 내성 정도가 충분할 경우에만 $p^n$ 모듈로에서 $h$ 의 순위에 의존한다는 것을 보여준다.

제안 방법

• 값이 $t$ 인 원소 $\lambda_t \in L$ 와 연산자 $\Psi_i \in H$ 로 구성된 $H$-스카폴드를 도입하며, $v_L(\Psi_i(\lambda_t))$ 는 계산 가능하고 체계적인 구조를 가져야 한다.
• 분수 이상 $¤\mathfrak{P}_L^h¤$ 에 작용하는 관련 순서 $¤\mathfrak{A}_h = \{ \alpha \in H : \alpha(\mathfrak{P}_L^h) \subseteq \mathfrak{P}_L^h \}¤$ 를 정의한다.
• 매개변수 $n$, $r$, $f$ 를 가진 일련의 단일 생성 $K$-허프 대수 $H_{n,r,f}^*$ 에 대해 스카폴드를 구성하며, $v_K(f)$ 가 스카폴드 내성 정도를 제어한다.
• 스카폴드를 이용해 수치 기준을 유도한다: $¤\mathfrak{P}_L^h¤$ 가 $¤\mathfrak{A}_h¤$ 에서 자유이기 위한 필요충분조건은 $¤\operatorname{res}(h-2) > (p^n - 3)/2¤$ 이다. 여기서 $¤\operatorname{res}(x)¤$ 는 $x$ 를 $p^n$ 모듈로로 나눈 나머지이다.
• 자유성 조건이 스카폴드가 존재하고 내성 정도가 충분할 경우, 허프 대수 $H$ 또는 작용의 선택과 무관하다는 것을 보여준다.
• $¤\mathfrak{P}_L^h = T^m \mathfrak{P}_L^{\operatorname{res}(h)}¤$ 를 이용해 자유성 문제를 $0 \leq \operatorname{res}(h) \leq p^n - 1$ 인 경우로 단순화한다.

실험 결과

연구 질문

• RQ1 순수하게 비가역적 확장 $L/K$ 에서 허프 대수 $H$ 의 관련 순서 $¤\mathfrak{A}_h¤$ 에서 분수 이상 $¤\mathfrak{P}_L^h¤$ 가 언제 자유 모듈이 되는가?
• RQ2 순수하게 비가역적 확장의 $p^n$ 차수, $n \geq 2$ 에 대해 허프 갈로아 작용에 대해 스카폴드를 구성할 수 있는가? 이를 통해 순위와 갈로아 작용 정보를 통합적으로 묘사할 수 있는가?
• RQ3 분수 이상 $¤\mathfrak{P}_L^h¤$ 가 $¤\mathfrak{A}_h¤$ 에서 자유가 되는 것의 조건은 순위 $h$ 와 허프 대수 $H$ 의 구조에 어떻게 의존하는가?
• RQ4 스카폴드가 존재하고 내성 정도가 충분할 경우, 자유성 기준은 허프 대수 $H$ 와 작용의 선택과 독립적인가?
• RQ5 순위가 $b$ 인 균일화자 $x$ 가 $¤v_L(x) = b¤$ 를 만족할 때, $¤\mathfrak{P}_L^h¤$ 가 $¤\mathfrak{A}_h¤$ 에서 자유가 되는 데 어떤 역할을 하는가?

주요 결과

• 분수 이상 $¤\mathfrak{P}_L^h¤$ 는 허프 대수 $H$ 의 관련 순서 $¤\mathfrak{A}_h¤$ 에서 자유이기 위한 필요충분조건으로 $¤\operatorname{res}(h-2) > (p^n - 3)/2¤$ 를 만족한다. 여기서 $¤\operatorname{res}(x)¤$ 는 $x$ 를 $p^n$ 모듈로로 나눈 나머지이다.
• 범위 $2 - p^n \leq h \leq 1$ 에서 자유성 조건은 $¤\frac{p^n - 3}{2} < h - 2 + p^n \leq p^n - 1¤$ 로 단순화되며, 이는 $¤\operatorname{res}(h-2) > (p^n - 3)/2¤$ 와 동치이다.
• 스카폴드 내성 정도가 충분할 경우, $¤\mathfrak{P}_L^h¤$ 가 $¤\mathfrak{A}_h¤$ 에서 자유임은 허프 대수 $H = H_{n,r,f}^*$ 나 작용의 선택과 무관하다.
• 분수 이상 $¤\mathfrak{P}_L^h¤$ 가 $¤\mathfrak{A}_h¤$ 에서 자유일 경우, 단일 원소로 생성된다: $¤\mathfrak{P}_L^h = \mathfrak{A}_h \cdot (T^m \rho)¤$, 여기서 $¤\rho¤$ 는 순위 $¤\operatorname{res}(h)¤$ 를 가진 균일화자이다.
• 순위 $b = 1$ 이면, 즉 $v_L(x) = -1$ 이면, $v_K(f) \geq 3$ 이면 스카폴드 내성 정도가 충분하므로 정수환 $¤\mathfrak{O}_L¤$ 는 $¤\mathfrak{A}_h¤$ 에서 자유이다.
• 스카폴드 구성은 순위와 갈로아 유사 작용을 통합적으로 묘사할 수 있게 하며, 순수하게 비가역적 확장에 대해 정규 기저 정리의 허프 갈로아 버전으로 일반화한다.