[논문 리뷰] Further remarks on local discriminants

Chandan Singh Dalawat|arXiv (Cornell University)|2009. 09. 14.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 13

한 줄 요약

이 논문은 $p$차 단위근을 포함하는 국소체 $K$의 초등 아벨 $p$-확장의 분해 필드 및 판별식을 계산하기 위한 명시적 쿠머 이론 프레임워크를 개발하며, 국소 함수체에 대해 유사한 아르틴-슈라이어 이론을 수립한다. 주요 기여는 쿠머 쌍대성과 분해 필드 간의 수직 관계를 규명하여, 군 체계 이론에 의존하지 않고도 판별식과 분해 붕괴를 직접 계산할 수 있도록 한다.

ABSTRACT

Using Kummer theory for a finite extension K of \Qp(ζ)(where p is a prime number and ζa primitive p-th root of~1), we compute the ramification filtration and the discriminant of an arbitrary elementary abelian p-extension of K. We also develop the analogous Artin-Schreier theory for finite extensions of \Fp((π)) and derive similar results for their elementary abelian p-extensions.

연구 동기 및 목표

• 유한 확장 $K$에 대해 $\mathbb{Q}_p(\zeta)$의 확장이며, $\zeta$가 $p$차 원분단위근인 국소체 $K$의 임의의 초등 아벨 $p$-확장의 분해 필드와 판별식을 계산하는 것.
• 국소 함수체 $\mathbb{F}_p((\pi))$에 대해 아르틴-슈라이어 이론을 유사하게 개발하고, 그 초등 아벨 $p$-확장에 대해 유사한 결과를 도출하는 것.
• 쿠머 쌍대성과 상위 분해 필드 간의 수직 관계를 수립하여, 군 체계 이론에 의존하지 않고도 불변량을 명시적으로 계산할 수 있도록 하는 것.
• 이러한 확장의 가능한 분해 붕괴 수열, 차수, 총 개수를 결정하고, 차수의 판별식 값을 미분을 통해 계산하는 것.

제안 방법

• 유한 확장 $K/\mathbb{Q}_p(\zeta)$에 대해 쿠머 이론을 적용하며, 단위군 필터링에 의해 유도되는 $\overline{K^\times} = K^\times / K^{\times p}$ 위의 필터링 $\bar{U}_n$을 분석한다.
• 수직 관계 $ (G^u)^\perp = \bar{U}_{pe_1 - \lceil u \rceil + 1} $를 적용하며, 여기서 $G = \mathrm{Gal}(M/K)$이고 $M$은 $K$의 최대 초등 아벨 $p$-확장이다.
• 순환 $p$-차 확장 $K(\sqrt[p]{D})$의 분해 붕괴를 $pe_1 - m$로 도출하며, 여기서 $D \subset \bar{U}_m \setminus \bar{U}_{m+1}$이다.
• 아르틴-슈라이어 확장의 경우, 덧셈군 $K$와 필터링 $\wp^{-1}(\mathfrak{p}^m)$을 사용하여 쌍대 수직 관계를 수립한다.
• 판별식의 차수를 미분을 통해 계산: $v_K(d_{L|K}) = p \cdot v_L(\mathfrak{D}_{L|K})$, 여기서 $v_L(\mathfrak{D}_{L|K}) = (1 + b^{(c(m))})q^{c(m)} - (1 + b_{(c(m))})$이다.
• 노름군 특성화를 사용: $L = K(\wp^{-1}(\mathfrak{p}^{-m}))$일 때 $N_{L|K}(L^\times) = U_{m+1}K^{\times p}$이며, 이는 쿠머의 경우와 쌍대적이다.

실험 결과

연구 질문

• RQ1 원분단위근을 포함하는 국소체 $K$의 임의의 초등 아벨 $p$-확장의 분해 필드는 무엇인가?
• RQ2 군 체계 이론이나 푸어러의 판별식 곱의 공식을 사용하지 않고도 이러한 확장의 판별식을 명시적으로 어떻게 계산할 수 있는가?
• RQ3 이러한 확장에서 가능한 분해 붕괴 수열은 무엇이며, 그 차수와 총 개수는 각각 얼마인가?
• RQ4 국소 함수체 $\mathbb{F}_p((\pi))$에 대한 아르틴-슈라이어 이론은 국소 수체에 대한 쿠머 이론과 어떻게 유사한가?
• RQ5 특히 $p$-주기적 경우에, 갈루아군의 상위 분해 필드 필터링과 $K^\times / K^{\times p}$ (또는 $K/\wp(K)$) 위의 필터링 간의 정확한 수직 관계는 무엇인가?

주요 결과

• 최대 초등 아벨 $p$-확장 $M$에 대해 $\mathrm{Gal}(M|K)$의 상위 분해 붕괴는 정확히 $-1$, $[1, pe_1[$ 내의 $p$와 서로소인 $e$개의 정수, 그리고 $pe_1$에서 발생한다.
• 만약 $L = K(\sqrt[p]{D})$이고 $D \subset \bar{U}_m \setminus \bar{U}_{m+1}$이면, 유일한 분해 붕괴는 $pe_1 - m$이며, 이는 $m = 0$이 아닌 한 $p$와 서로소이다.
• 확장 $L|K$의 판별식 차수는 $v_K(d_{L|K}) = p \cdot v_L(\mathfrak{D}_{L|K})$로 주어지며, 여기서 $v_L(\mathfrak{D}_{L|K}) = (1 + b^{(c(m))})q^{c(m)} - (1 + b_{(c(m))})$이며, $q = p^f$이고 $b^{(i)}$는 $[1,m]$ 내에서 $p$와 서로소인 $i$번째 정수이다.
• 아르틴-슈라이어 확장 $L = K(\wp^{-1}(\mathfrak{p}^{-m}))$의 경우, 상위 분해 붕괴는 $-1$과 $[1,m]$ 내에서 $p$와 서로소인 $c(m)$개의 정수 $b^{(1)} < \cdots < b^{(c(m))}$에서 발생한다.
• 확장 $L|K$의 노름군은 $N_{L|K}(L^\times) = U_{m+1}K^{\times p}$를 만족하며, 이는 쿠머의 경우 $L = K(\sqrt[p]{U_m})$일 때 $N_{L|K}(L^\times) = U_{pe_1 - m + 1}K^{\times p}$임과 쌍대적이다.
• 수직 관계는 하세-아르트 정리에 의존하지 않고도 분해 붕괴가 정수임을 시사하며, $\overline{K^\times}$ 위의 필터링으로부터 분해 필드 필터링을 완전히 재구성할 수 있도록 한다.