[논문 리뷰] Artin--Schreier and Cyclotomic Extensions

Julio Cesar Salas–Torres, Martha Rzedowski–Calderón외 1명|arXiv (Cornell University)|2013. 06. 17.

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

한 줄 요약

이 논문은 특성 p > 0인 유한체 위의 유리 모듈러 함수체에 대한 아르틴-슈라이어 확장이 클래스체론에 의존하지 않고, 원형 함수체와 상수체 확장의 복합체에 포함됨을 조합론적 증명으로 제시한다. 핵심 결과는 분기자기의 구조에 기반하여 이러한 아르틴-슈라이어 확장을 포함하는 원형 및 상수체 확장을 명시적으로 기술한다.

ABSTRACT

In this paper we prove that any Artin--Schreier extension of a congruence rational function field is contained in the composite of a cyclotomic function field and a constant field extension that are explicitly prescribed.

연구 동기 및 목표

• 클래스체론을 사용하지 않고 아르틴-슈라이어 확장이 원형 및 상수체 확장에 포함됨을 증명하는 것.
• 주어진 유리 모듈러 함수체에 대한 아르틴-슈라이어 확장을 포함하는 원형 및 상수체 확장을 명시적으로 기술하는 것.
• 단일 분기소를 가진 아르틴-슈라이어 확장에 대해 차수와 나눗셈 조건을 이용한 조합론적 특성화를 수립하는 것.
• 부분분수 분해를 통해 일반적인 아르틴-슈라이어 확장으로 결과를 확장하는 것.
• 해당 확장의 수가 지정된 원형 및 상수체 복합체 내부의 확장 수와 일치함을 검증하는 것.

제안 방법

• 아르틴-슈라이어 정규형의 사용: $ y^p - y = s(T) $, 여기서 $ s(T) $ 는 사전에 정의된 분기자기의 구조를 가짐.
• s(T) 의 부분분수 분해를 통해 단일 분기소를 가진 경우로의 환원.
• 소의 거듭제곱에 대한 유도자(Conductor)가 포함되는 아르틴-슈라이어 확장의 수를 차수와 서로소 조건을 이용해 계산.
• 해당 확장과 적절한 $ N $ 에 대해 $ K(\Lambda_N)\mathbb{F}_{q^p} $ 의 부분확장을 상응시키는 전단사 함수의 수립.
• 레마 2.9 및 2.10 을 적용하여 칼리츠 모듈로의 $ N $- torsion 으로 생성되는 원형 함수체에 포함됨을 보임.
• 부분분수 분해의 각 항에 대응하는 부분확장의 생성자들을 합하여 생성자 $ y $ 를 명시적으로 구성함.

실험 결과

연구 질문

• RQ1 클래스체론을 사용하지 않고 아르틴-슈라이어 확장이 원형 및 상수체 확장에 포함됨을 증명할 수 있는가?
• RQ2 단일 분기소를 가진 주어진 아르틴-슈라이어 확장을 포함하는 정확한 원형 및 상수체 확장은 무엇인가?
• RQ3 주어진 분기자기 구조를 가진 아르틴-슈라이어 확장의 수와 특정 원형 및 상수체 복합체 내부의 부분확장의 수는 어떻게 비교되는가?
• RQ4 칼리츠 모듈로 $ \Lambda_N $ 는 아르틴-슈라이어 확장을 어떻게 실현하는가?
• RQ5 무한소 $ \mathcal{P}_\infty $ 의 존재가 포함 결과에서 원형 유도자의 구조에 어떤 영향을 미치는가?

주요 결과

• 분기소 $ \mathcal{P}_\infty $ 가 분기하지 않는 경우, $ F/K $ 가 $ F = K(y) $, $ y^p - y = s(T) $ 를 만족하면, $ K(\Lambda_{\prod_{i=1}^r P_i^{\alpha_i+1}})\mathbb{F}_{q^p} $ 에 포함된다.
• 분기소 $ \mathcal{P}_\infty $ 가 분기하는 경우, 확장은 $ K(\Lambda_{1/T^{\alpha_1+1}})K(\Lambda_{\prod_{i=2}^r P_i^{\alpha_i+1}})\mathbb{F}_{q^p} $ 에 포함된다.
• 소 $ P $ 에 대해 $ P^\alpha $ 에 유도자가 포함되는 아르틴-슈라이어 확장의 수는 $ K(\Lambda_{P^{\alpha+1}})\mathbb{F}_{q^p} $ 내부의 해당 확장의 수와 같다.
• 유리 함수체 $ K = \mathbb{F}_q(T) $ 에서는 모든 아르틴-슈라이어 확장이 원형 함수체와 차수 $ p $ 의 상수체 확장의 복합체의 부분확장으로 나타난다.
• 일반적인 경우를 단일 소로의 경우로 환원하기 위해 부분분수 분해를 사용하는 것이 증명의 핵심이다.
• 무한소가 분기하는 경우에도 결과는 성립하며, 이 경우 원형 유도자는 $ 1/T^{\alpha_1+1} $ 으로 조정된다.