[논문 리뷰] The Weierstrass preparation theorem and resultants of $p$-adic power series

Laurent Berger|arXiv (Cornell University)|2019. 10. 11.

advanced mathematical theories참고 문헌 6인용 수 1

한 줄 요약

이 논문은 p진 거듭제곱급수에 대한 일반적인 결과식을 정의하기 위해 Weierstrass 준비정리의 일반 버전을 증명함으로써 p진 거듭제곱급수에 대한 보편적 결과식을 도입한다. 두 p진 거듭제곱급수 f와 g의 계수에 관한 거듭제곱급수 Resn({fi}, {gi})를 구성하여, f와 g가 p진 열린 단위판 내에서 공통의 근을 가질 때 정확히 그 값이 0이 되도록 한다. 주요 기여는 p진 맥락에서 결과식을 통해 공통의 근을 탐지하는 구성적이고 계수 기반의 공식을 제공하는 것으로, 고전적 대수적 결과를 p진 정수환 위의 거듭제곱급수로 확장한다.

ABSTRACT

We define the resultant of two power series with coefficients in the ring of integers of a $p$-adic field. In order to do this, we prove a universal version of the Weierstrass preparation theorem.

연구 동기 및 목표

• p다항식에 대한 고전적 결과식과 유사한 p진 거듭제곱급수를 위한 결과식을 정의하는 것.
• 특히 p진 단위판에서 유계 해석 함수의 맥락에서 p진 정수환 위의 무한 거듭제곱급수에 대한 결과식 이론을 확장하는 것.
• 두 p진 거듭제곱급수의 공통의 근을 판단하기 위한 구성적 기준—계수에 대한 보편적 거듭제곱급수를 통해—제시하는 것.
• Weierstrass 준비정리와 같은 대수적 도구를 사용하여 p진 해석학에서 공통의 근과 인수분해를 연구하기 위한 기초를 마련하는 것.

제안 방법

• 형식적 거듭제곱급수환 Rn = Z[Fn, F⁻¹ₙ, {Fk}k≥n+1][[F₀,…,Fₙ₋₁]] 위에서 보편적 Weierstrass 준비정리를 증명하여, 임의의 거듭제곱급수 F(X) ∈ Rn[[X]]가 P·U로 유일하게 인수분해됨을 보이며, 여기서 P는 (F₀,…,Fₙ₋₁)에 대해 구분된 다항식이고 U는 Rn[[X]] 내의 단위원임을 보장한다.
• 결과식 Resn({fi}, {gi})를 f와 g의 계수에 관한 거듭제곱급수로 정의하여, f의 근 z ∈ mCp에 대해 g(z)의 곱을 계산한다.
• 보편 준비정리를 사용하여 F의 계수에 따라 구분된 다항식 P와 단위원 U의 계수에 대한 명시적 공식을 유도한다.
• 이를 응용하여, 뉴턴 다각형 이론과 제한된 거듭제곱급수환에서의 인수분해를 활용하여 단위 구면 |z| = 1에서의 근을 위한 보편적 Hensel 인수분해 정리를 정의한다.
• 특정 최소 및 최대 비영계수를 갖는 OK{X}의 거듭제곱급수에 대해 이 방법을 응용하여, 단위 구면에서의 공통 근을 탐지하기 위한 결과식 Resn,d를 구성한다.
• Rn과 Sn,d의 분리되고 완비된 위상 구조를 활용하여 인수분해 및 결과식 구성의 수렴성과 유일성을 보장한다.

실험 결과

연구 질문

• RQ1 p다항식에 대한 고전적 결과식과 유사한 결과식을 p진 거듭제곱급수에 대해 정의할 수 있는가?
• RQ2 p진 거듭제곱급수 맥락에서 Weierstrass 준비정리를 어떻게 보편화할 수 있으며, 이를 통해 인수분해가 계수에 의존하는 방식을 어떻게 통제할 수 있는가?
• RQ3 두 p진 거듭제곱급수의 공통의 근이 p진 열린 단위판 내에 존재하는지 판단하는 데 사용할 수 있는 보편적인 대수적 공식이 존재하는가?
• RQ4 이론을 p진 열린 판이 아닌 단위 구면 |z| = 1에서의 공통 근을 탐지할 수 있도록 확장할 수 있는가?
• RQ5 지정된 비영계수 차수를 갖는 거듭제곱급수에 제한했을 때 결과식의 대수적 구조는 어떠한가?

주요 결과

• 논문은 두 p진 거듭제곱급수 f와 g가 p진 열린 단위판 내에서 공통의 근을 가질 때 정확히 0이 되는 보편적 결과식 Resn({fi}, {gi}) ∈ Z[Fn, F⁻¹ₙ, {Fk}k≥n+1][[F₀,…,Fₙ₋₁]]을 구성한다.
• 결과식은 f의 Weierstrass 차수가 n일 때, f의 모든 근 z ∈ mCp에 대해 g(z)의 곱으로 정의되며, 이 곱은 f와 g의 계수에 대한 수렴하는 거듭제곱급수로 표현된다.
• 보편 Weierstrass 준비정리(정리 B)는 임의의 거듭제곱급수 F(X) ∈ Rn[[X]]가 P·U로 유일하게 인수분해됨을 보장하며, 여기서 P는 (F₀,…,Fₙ₋₁)에 대해 구분되고 U는 Rn[[X]] 내의 단위원이다.
• 이 구성은 Sylvester 행렬이나 행렬식을 사용하지 않고, 고전적 결과식의 p진 유사체를 곱 공식을 통해 정의함으로써 가능해진다.
• 단위 구면 |z| = 1에서의 근을 위한 보편적 Hensel 인수분해 정리가 확립되었으며, 이는 µmin(f) = n 및 µmax(f) = n+d인 OK{X}의 거듭제곱급수가 유일하게 f = PU로 인수분해됨을 보여주며, 여기서 P는 차수 d의 상수항이 1인 다항식이고 U ∈ OK{X}는 U ≡ Fn+dXⁿ mod In,d를 만족한다.
• 결과식 Resn,d는 단위 구면에서의 공통 근을 탐지하기 위해 구성되었으며, 뉴턴 다각형 이론과 제한된 거듭제곱급수를 활용하여 열린 판의 경우를 구면 맥락으로 일반화한다.