[논문 리뷰] On Abhyankar's lemma about ramification indices

Jean-Luc Chabert, Emmanuel Halberstadt|arXiv (Cornell University)|2018. 05. 22.

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

한 줄 요약

이 논문은 국소체의 두 유한 확장의 합성체에서 분해수지수(e(\mathfrak{q}/\mathfrak{p}))가 적어도 하나의 확장이 옹순하게 분해될 경우 각 개별 분해수지수의 최소공배수(lcm)와 같음을 군론적 방법으로 간결하게 증명한다. 주요 기여는 아비앙카르의 보조정리가 잔여체가 완전한 디데킨드 정역으로 일반화되어, 옹순 분해 조건 하에서 $ e(\mathfrak{q}/\mathfrak{p}) = \mathrm{lcm}\{e(\mathfrak{p}_1/\mathfrak{p}), e(\mathfrak{p}_2/\mathfrak{p})\} $ 임을 확립하는 것이다.

ABSTRACT

We provide a simple proof of the fact that the ramification index of the compositum of two finite extensions of local fields is equal to the least common multiple of the ramification indices when at least one of the extensions is tamely ramified.

연구 동기 및 목표

• 수체와 함수체에 대해 아비앙카르의 보조정리를 일반화하여 합성체 확장의 분해수지수에 대한 정확한 공식을 확립하는 것.
• 이전에는 함수체에 대해서만 기술된 바 있었지만, 적어도 하나의 확장이 옹순하게 분해될 경우에 대한 직접적 증명을 통해 문헌의 빈자리 메우기.
• 특히 디데킨드 정역과 완전한 잔여체를 갖는 상황에서 합성체의 분해수지수가 개별 지수의 최소공배수와 같아지는 조건을 명확히 하기.
• 표준 부등식 $ \mathrm{lcm}\{e(\mathfrak{p}_1/\mathfrak{p}), e(\mathfrak{p}_2/\mathfrak{p})\} \mid e(\mathfrak{q}/\mathfrak{p}) $ 가 옹순 분해 조건 하에서 등호로 업그레이드됨을 보여주는 것.

제안 방법

• 합성체 $ L = K_1K_2 $ 에 대한 정규폐쇄 $ L' $ 을 고려하고, 소 $ \mathfrak{p} $ 위에 올라가는 소 $ \mathfrak{q}' $ 에서의 관성군 $ G_0 = \mathcal{I}_{\mathfrak{q}'}(L'/K) $ 를 분석한다.
• 갈루아 군과 분해의 성질을 활용하여 관성군 $ G_0 $ 를 잔여 특성 $ p $ 와 서로소인 순환군과 $ p $-군 $ G_1 $ 으로의 반직곱으로 분해한다.
• 공식 $ e(\mathfrak{q}/\mathfrak{p}) = |G_0| / |G_0 \cap \Gamma| $ (여기서 $ \Gamma = \mathrm{Gal}(L'/L) $) 와 유사하게 $ e(\mathfrak{p}_i/\mathfrak{p}) $ 도 군의 순서로 표현한다.
• 최소공배수와 최대공약수 사이의 항등식 $ \mathrm{lcm}(a,b) \times \gcd(a,b) = ab $ 을 활용하여 분해수지수의 최소공배수와 관련된 군 순서의 최대공약수를 연결한다.
• 특성 $ p $ 에 따라 경우를 나누어 분석한다: $ p = 0 $ 이면 $ G_0 $ 는 순환군이므로, 부분군의 교집합 순서는 그들의 순서의 최대공약수와 같다.
• $ p > 0 $ 이면 $ G_1 $ 이 유일한 $ p $-시라우스 부분군이므로, 사영 $ \pi: G_0 \to G_0/G_1 $ 을 이용해 문제를 순환 몫으로 환원하고, $ |G_0 \cap \Gamma| = \gcd\{|G_0 \cap \Gamma_1|, |G_0 \cap \Gamma_2|\} $ 를 증명한다.

실험 결과

연구 질문

• RQ1 두 국소체 확장의 합성체에서 분해수지수가 각 개별 분해수지수의 최소공배수와 같아지는 조건은 무엇인가?
• RQ2 아비앙카르의 보조정리는 함수체 외에도 수체와 잔여체가 완전한 디데킨드 정역으로 일반화될 수 있는가?
• RQ3 두 확장이 모두 악성분해될 경우 분해수지수에는 어떤 일이 발생하며, 왜 최소공배수 공식이 실패할 수 있는가?
• RQ4 합성체의 갈루아 폐쇄에서의 관성군의 구조가 합성체의 분해수지수를 어떻게 결정하는가?
• RQ5 한 확장이 옹순하게 분해될 경우 $ e(\mathfrak{q}/\mathfrak{p}) = \mathrm{lcm}\{e(\mathfrak{p}_1/\mathfrak{p}), e(\mathfrak{p}_2/\mathfrak{p})\} $ 가 성립하는가?

주요 결과

• 적어도 $ K_1/K $ 또는 $ K_2/K $ 중 하나가 옹순하게 분해될 경우, 합성체 $ L = K_1K_2 $ 에서의 분해수지수는 $ e(\mathfrak{q}/\mathfrak{p}) = \mathrm{lcm}\{e(\mathfrak{p}_1/\mathfrak{p}), e(\mathfrak{p}_2/\mathfrak{p})\} $ 를 만족한다.
• 증명은 정규폐쇄에서의 갈루아 이론적 구조에 기반하여, 갈루아 군의 교집합 순서가 그들의 순서의 최대공약수와 같음을 보여준다.
• 잔여 특성 $ p = 0 $ 이면 관성군은 순환군이므로, 순환군 내 부분군의 교집합 순서가 그들의 순서의 최대공약수와 같다는 성질에 의해 결과가 직접 도출된다.
• $ p > 0 $ 이면 $ p $-시라우스 부분군 $ G_1 $ 이 정규이면서, $ p $ 가 $ e(\mathfrak{p}_1/\mathfrak{p}) $ 를 나누지 않으면 $ G_1 $ 이 하나의 갈루아 군(예: $ \Gamma_1 $) 안에 포함되므로, 순환 몫으로 환원 가능하여 결과가 성립한다.
• 두 확장이 모두 악성분해될 경우 일반적으로 공식이 성립하지 않으며, 논문은 $ K = \mathbb{Q} $, $ K_1 = \mathbb{Q}(\sqrt[3]{3}) $, $ K_2 = \mathbb{Q}(j\sqrt[3]{3}) $ 인 반례를 제시한다. 여기서 $ e(\mathfrak{q}/\mathfrak{p}) = 6 $, $ \mathrm{lcm}(3,3) = 3 $ 이며, $ 6 \nmid 9 $ 이므로 곱의 상한도 실패함을 보여준다.
• 보조정리는 $ e(\mathfrak{p}_1/\mathfrak{p}) $ 와 $ e(\mathfrak{p}_2/\mathfrak{p}) $ 가 서로소이면 $ e(\mathfrak{q}/\mathfrak{p}) = e(\mathfrak{p}_1/\mathfrak{p}) \times e(\mathfrak{p}_2/\mathfrak{p}) $ 임을 보여주며, 이는 $ \gcd(a,b) = 1 $ 이면 $ \mathrm{lcm}(a,b) = ab $ 이기 때문이다.