[논문 리뷰] Approximation diophantienne dans les corps de series en plusieurs variables

Guillaume Rond|ArXiv.org|2005. 05. 31.

Numerical Methods and Algorithms인용 수 3

한 줄 요약

이 논문은 다변수 다항식환에서 디오판틴 근사 정리를 확립하여, 이러한 환의 완비화에서 대수적 원소들이 분모의 함의치의 거듭제곱에 비례하여 유리근사로부터 떨어져 있음을 증명한다. 이 결과는 다항식환에서의 아르틴 함수가 동차 다항식에 대해 애매한 함수로 유계임을 시사하며, 특이점 이론에서의 문제를 해결하고 아크 공간 위의 로자예비치 유형 부등식과 연결된다.

ABSTRACT

We give here a result of diophantine approximation between $Ø_N$, the ring of power series in several variables, and the completion of the valuation ring that dominates $Ø_N$ for the $\m$-adic topology. We deduce from this that the Artin function of a homogenous polynomial in two variables is bounded by an affine function, which can be interpreted in term of a Lojasiewicz inequality on the wedges space.

연구 동기 및 목표

• 다변수 거듭제곱급수환에서의 나눗셈 실패 문제를 다루어, 특이점 이론에서 아크와 코인의 올림프로브를 방해하는 원인를 해결하기 위해.
• 다변수 거듭제곱급수환의 이상수에 대해 아르틴 함수의 행동을 연구하며, 특히 이것이 애매한 함수로 유계가 되지 않을 경우를 다루기 위해.
• m-adic 위상에서의 거듭제곱급수환과 그 완비화 사이의 디오판틴 근사 결과를 확립하기 위해.
• 이 근사 결과를 적용하여, 두 변수에서의 동차 다항식에 대해 아르틴 함수가 애매한 함수로 유계임을 증명하기 위해.
• 아크 공간의 웨지 공간 위에서의 로자예비치 부등식을 통한 기하학적 해석을 제공하기 위해.

제안 방법

• N개의 변수에 대한 형식적 또는 수렴하는 거듭제곱급수환에 대한 m-adic 위상을 사용하기 위해.
• 거듭제곱급수환 O_N와 그를 지배하는 정수환의 완비화 사이의 비교를 수행하며, 이는 어떤 체 K에 대해 K[[T]]와 동형임을 의미한다.
• 디오판틴 근사 정리의 적용: O_N에 속하지 않는 완비화에서 대수적 원소 z에 대해, 상수 a ≥ 1과 K ≥ 0가 존재하여 모든 x,y ∈ O_N에 대해 |z - x/y| ≥ K|y|^a 를 만족시킨다.
• 아르틴-리스 보조정리를 활용하여 O_N에서의 근사의 차수를 제어하기 위해.
• 아르틴 함수 문제를, 완비화에서 다항식 Q의 근을 연구하는 것으로 환원하기 위해, 차수 추정과 함의치 추정을 사용한다.
• 디오판틴 근사 추정과 함의치 이론적 추정을 조합하여 아르틴 함수에 대한 애매한 유계를 도출하기 위해.

실험 결과

연구 질문

• RQ1 다변수 거듭제곱급수환에서 두 변수에 대한 동차 다항식에 대해, 높은 차원에서의 이러한 유계가 실패하더라도 아르틴 함수가 애매한 함수로 유계가 될 수 있는가?
• RQ2 다변수 거듭제곱급수환과 그 m-adic 완비화 사이의 디오판틴 근사 간격의 정확한 성격은 무엇인가?
• RQ3 다변수 환에서의 나눗셈 실패는 특이점 이론에서 아크와 코인의 올림프로브에 어떤 영향을 미치는가?
• RQ4 아르틴-리스 보조정리는 비함의치환에서의 근사 제어에 얼마나 널리 적용될 수 있는가?
• RQ5 거듭제곱급수환에서의 디오판틴 근사로부터 아크 공간 위의 로자예비치 유형 부등식을 도출할 수 있는가?

주요 결과

• 논문은 디오판틴 근사 정리를 증명한다: O_N의 m-adic 완비화에 속하지만 O_N에 속하지 않는 임의의 대수적 원소 z에 대해, 상수 a ≥ 1과 K ≥ 0가 존재하여 모든 x,y ∈ O_N에 대해 |z - x/y| ≥ K|y|^a 를 만족시킨다.
• O_N 계수를 가진 동차 다항식 P(X,Y)의 아르틴 함수는 i ↦ λi + μ 형태의 애매한 함수로 유계이며, 여기서 λ ≤ d 이다. 여기서 d는 P의 차수이다.
• 이 유계는 관련 다항식 Q의 근에 대한 디오판틴 근사 결과와 함의치 추정을 조합함으로써 유도된다.
• 증명은 아르틴-리스 보조정리를 사용하여 O_N에서의 근사해를 m-adic 위상에서 정확한 해로 올리는 데에 사용된다.
• 결과적으로, 두 변수에서의 동차 다항식에 대해 아르틴 함수가 여전히 애매한 유계를 유지함을 확인한다. 이는 다변수 기저 환에서도 성립한다.
• 핵심 통찰은 다변수 환에서의 나눗셈 실패가 디오판틴 근사에 의해 제어되며, 이는 아르틴 함수의 유계성을 가능하게 한다.