[논문 리뷰] An Integral Digit Derivative Basis for Carlitz Prime Power Torsion Extensions

Andreas Maurischat, Rudolph Perkins|arXiv (Cornell University)|2016. 01. 01.

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

한 줄 요약

이 논문은 함수체의 칼리츠 소수 거듭제곱 타원형 확장에서 정수환의 적분 기저를 구성하며, 고정된 기약다항식 𝔪의 근에서 평가된 앤더슨-탁어 함수 ω의 초미분의 단항식을 사용한다. 또한 이러한 확장에 대해 명시적인 체 정규기저를 제공하여 앙글레-펠라린의 이전 작업을 단순화하고 확장한다. 특히 야생 분기와 정수 정규기저의 부재성의 맥락에서 중요한 발전을 이룬다.

ABSTRACT

Let $\\mathfrak{p}$ be a monic irreducible polynomial in $A:=\\mathbb{F}_q[\ heta]$, the ring of polynomials in the indeterminate $\ heta$ over the finite field $\\mathbb{F}_q$, and let $\\zeta$ be a root of $\\mathfrak{p}$ in an algebraic closure of $\\mathbb{F}_q(\ heta)$. For each positive integer $n$, let $\\lambda_n$ be a generator of the $A$-module of Carlitz $\\mathfrak{p}^n$-torsion. We give a basis for the ring of integers $A[\\zeta,\\lambda_n] \\subset K(\\zeta, \\lambda_n)$ over $A[\\zeta] \\subset K(\\zeta)$ which consists of monomials in the hyperderivatives of the Anderson-Thakur function $\\omega$ evaluated at the roots of $\\mathfrak{p}$. We also give an explicit field normal basis for these extensions. This builds on (and in some places, simplifies) the work of Angl\\`es-Pellarin.

연구 동기 및 목표

• 칼리츠 $ \frak{p}^n $-탄성 확장에서 $ A[\theta] $ 위의 정수환 $ A[\theta, \nu_n] $에 대한 적분 기저를 구성하는 것.
• $ K_n = K(C[\frak{p}^{n+1}]) $일 때, 확장 $ K_n(\theta)/K_0(\theta) $에 대한 명시적인 체 정규기저를 제공하는 것.
• 앙글레-펠라린의 해석적 기저 구성 방법을 초미분을 이용해 단순화하고 확장하는 것.
• 특성으로 나누어떨어지는 차수의 확장에서 야생 분기로 인해 정수 정규기저가 존재하지 않는 이유를 다루는 것.

제안 방법

• 기저는 $ \nu^{(k)}(\theta)^{e_k} $ 형태의 단항식으로 구성되며, 여기서 $ \nu^{(k)} $는 $ \frak{p} $의 근 $ \theta $에서 평가된 앤더슨-탁어 함수 $ \nu $의 초미분이다.
• 구성은 칼리츠 지수함수와 칼리츠 모듈로의 산란행렬을 생성하는 앤더슨-탁어 함수 $ \nu(t) $를 통한 타원점의 해석적 균일화에 기반한다.
• 저자들은 전개식 $ \nu(t) = \sum_{n \geq 0} \nu^{(n)}(\theta)(t - \theta)^n $을 이용해 초미분 $ \nu^{(n)}(\theta) $를 추출한다.
• 핵심 기술적 도구로는 $ \mathbb{F}_q(\theta) $ 위에서의 라그랑주 보간법을 사용하여 $ \nu^{(n)}(\theta) $-단항식을 $ K_0(\theta) $-선형결합으로 간주된 갈루아 수반이 되도록 표현한다.
• 체 정규기저의 증명은 $ n $ 에 대한 귀납법을 사용하며, 갈루아군 $ \operatorname{Gal}(K_n(\theta)/K_0(\theta)) \cong (A/\frak{p}^{n+1}A)^\times $ 의 작용을 활용한다.
• 구성은 $ \eta_n = \prod_{k=1}^n (\nu^{(k)})^{q-1} $ 가 정수 정규기저가 없음에도 불구하고 $ K_n(\theta)/K_0(\theta) $ 에 대한 정규기저를 생성한다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 칼리츠 $ \frak{p}^n $-탄성 확장에서 $ A[\theta] $ 위의 정수환 $ A_n[\theta] $에 대해 명시적인 적분 기저를 구성할 수 있는가?
• RQ2 체 확장 $ K_n(\theta)/K_0(\theta) $ 는 정규기저를 갖는가? 만약 그렇다면, 이를 명시적으로 기술할 수 있는가?
• RQ3 앤더슨-탁어 함수 $ \nu $ 의 $ \theta $ 에서의 초미분은 타원점 생성자와 적분 기저와 어떻게 관련이 있는가?
• RQ4 왜 $ A_n[\theta]/A[\theta] $ 에서 정수 정규기저가 존재하지 않는가? 그리고 여전히 체 정규기저를 구성할 수 있는가?

주요 결과

• $ A[\theta] $ 위의 정수환 $ A_n[\theta] $ 는 각각 $ 0 \leq e_k \leq q-1 $ 인 단항식 $ \prod_{k=1}^n (\nu^{(k)}(\theta))^{e_k} $ 로 이루어진 적분 기저를 갖는다.
• 요소 $ \eta_n = \prod_{k=1}^n (\nu^{(k)}(\theta))^{q-1} $ 는 체 확장 $ K_n(\theta)/K_0(\theta) $ 에 대한 정규기저를 생성한다.
• $ \eta_n $ 의 갈루아 수반은 전체 확장 $ K_n(\theta) $ 를 $ K_0(\theta) $ 위에서 생성하며, 이는 체 정규기저임을 확인한다.
• 이 구성은 앙글레-펠라린의 결과를 단순화하고 정교화하며, 특히 야생 분기의 맥락에서 중요한 발전을 이룬다.
• $ A_n[\theta]/A[\theta] $ 에서 정수 정규기저가 존재하지 않는 것은 $ \theta - \zeta_i $ 위에 있는 소수에서의 야생 분기로 인한 것으로, 레오폴트 유형의 장애와 일치한다.