[논문 리뷰] Higher Newton polygons and integral bases

Jordi Guàrdia, Jesús Sanz Montes외 1명|arXiv (Cornell University)|2009. 02. 19.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 9

한 줄 요약

이 논문은 몬테스 알고리즘에서 φ-adic 전개의 몫을 이용하여 수체에서 𝔭-정수 기저를 더 빠르게 계산하는 방법을 제시한다. 이러한 몫의 𝔭-adic 값매김을 분석함으로써, 전역적으로 𝔭-정수인 원소들을 구성하고, 이는 감소된 정수 기저를 형성하며, 이는 이전의 OM 기반 및 고전적 방법에 비해 A[θ]에서 O(n)의 곱셈 연산을 요구함으로써 효율성을 크게 향상시킨다.

ABSTRACT

Let $A$ be a Dedekind domain, $K$ the fraction field, $\p$ a non-zero prime ideal of $A$, and $K_\pp$ the completion of $K$ with respect to the $\p$-adic topology. At the input of a monic irreducible separable polynomial, $f(x)\in A[x]$, Montes algorithm determines the factorization of $f(x)$ over $K_\pp[x]$, and it provides essential arithmetic information about the finite extensions of $K_\pp$ determined by the different irreducible factors. In particular, it can be used to compute $\p$-integral bases of the extension of $K$ determined by $f(x)$ \cite{newapp}. In this paper we present new (and faster) methods to compute $\p$-integral bases, based on the use of the quotients of certain divisions with remainder of $f(x)$ that occur along the flow of Montes algorithm.

연구 동기 및 목표

• 분수체가 전역체인 딜라이드 도메인에서 𝔭-정수 기저를 계산하기 위한 더 효율적인 알고리즘을 개발하기 위해.
• 높은 차수의 확장에서 고전적 방법과 이전의 OM 기반 접근법의 계산 비효율성을 극복하기 위해.
• 몬테스 알고리즘 동안의 φ-adic 전개에서 유도된 몫을 이용하여 국소적 𝔓-정수 기저가 아닌 전역적으로 𝔭-정수 기저를 구성하기 위해.
• 알고리즘의 결과 기저가 𝔭-감소형임을 보장하기 위해. 이는 대수적 함수체 및 리만-로흐 공간 계산과 같은 응용 분야에서 필수적이다.
• A[θ]에서 O(n)의 곱셈 연산만으로도 충분함을 보여주는 복잡도 분석을 제공하기 위해.

제안 방법

• 몬테스 알고리즘에서 f(x)의 φ-adic 전개 과정에서 얻어지는 몫 Q_i(x)를 활용한다. 여기서 f(x) = φ(x)Q_1(x) + a_0(x), Q_1(x) = φ(x)Q_2(x) + a_1(x), 등으로 표현된다.
• 각 𝔭 위의 소수 𝔓에 대해 Q_i(θ)의 𝔓-adic 값매김을 분석하여, Q_i(θ)/π^μ 이 𝔭-정수인 최대의 μ를 결정한다 (정리 3.3).
• 각 L_𝔓/K_𝔓에서 이러한 몫의 곱을 적절한 π의 거듭제곱으로 나누어 국소 정수 기저를 구성한다.
• 이전의 OM 방법과 달리, 설계 단계에서 전역적으로 𝔭-정수인 원소들을 구성함으로써 후처리 과정 없이도 전역 정수성을 확보한다.
• 모든 소인수에 대해 이러한 전역적으로 𝔭-정수인 원소들을 조합하여 허미트 정규형을 통해 완전한 𝔭-정수 기저를 구성한다.
• 고차수 뉴턴 다각형과 잔여 다항식의 구조를 활용하여 φ-다항식의 선택과 값매김 데이터 추적을 안내한다.

실험 결과

연구 질문

• RQ1 몬테스 알고리즘에서의 φ-adic 전개에서 유도된 몫을 이용하여 정수 기저를 위한 전역적으로 𝔭-정수인 원소들을 구성할 수 있는가?
• RQ2 각 기약 인수에 대해 Q_i(θ)의 𝔓-adic 값매김은 무엇이며, 이를 통해 적절한 π의 거듭제곱을 나누는 데 어떻게 활용할 수 있는가?
• RQ3 결과 기저가 항상 𝔭-감소형임을 보장할 수 있으며, 고전적 방법과 이전의 OM 기반 방법에 비해 어떤 계산적 이점이 있는가?
• RQ4 이러한 기저를 구성하는 데 필요한 복잡도는 무엇이며, 이를 n과 δ에 대해 유계로 표현할 수 있는가?
• RQ5 이 방법은 특히 리만-로흐 공간 계산을 위한 함수체에서 감소 기저를 계산하는 데 적용될 수 있는가?

주요 결과

• 이 방법은 A[θ]에서 O(n)의 곱셈 연산만으로 𝔭-정수 기저를 구성하며, 고전적 방법의 O(n²) 복잡도에 비해 크게 향상된다.
• 결과 기저는 항상 𝔭-감소형이며, 이는 대수적 함수체 및 약수류 군 계산과 같은 응용 분야에서 필수적이다.
• 모든 기저 원소들이 전역적으로 𝔭-정수이므로, 이전의 OM 기반 방법과 달리 전역 정수성을 확보하기 위한 후처리 과정이 필요 없다.
• 이 방법은 깔끔한 복잡도 분석이 가능하다: A에서 O(n²+εδ¹⁺ε + n¹⁺εδ²⁺ε)의 연산이 필요하며, 여기서 δ는 잔여체 확장의 차수이다.
• f(x) = x¹² + 14x¹⁰ + 8x⁸ + 16x⁶ + 32x⁴ + 64x² + 128인 예제에 대해, 허미트 정규형을 거친 후 12개의 정수 원소를 포함하는 완전한 𝔭-정수 기저를 성공적으로 계산하였다.
• 모든 𝔓|𝔭에 대해 몫 Q_i(θ)/π^μ를 통한 국소 기저의 구성은 타당하며, 이러한 원소들의 합집합은 전역적으로 𝔭-정수 기저를 형성한다 (정리 5.16).