[논문 리뷰] Diophantine inequality for equicharacteristic excellent Henselian local domains

Hirotada Ito, Shuzo Izumi|arXiv (Cornell University)|2008. 01. 07.

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

한 줄 요약

이 논문은 G. Rond의 다항식환에 대한 디오판틴 부등식을 등차수성 우수한 헨젤 국소환의 설정으로 일반화한다. Rees의 $\varsigma$-가중치에 대한 부등식과 선형 아르틴 근사 성질을 활용하여, 완비화된 체의 대수적 원소와 기저 체로부터의 유리 근사 사이의 $\varsigma$-adic 거리에 하한을 설정한다. 이는 $|z - x/y|_{\hat{\boldsymbol{v}}} > c \cdot |y|_{\boldsymbol{v}}^a$ 를 만족하며, 모든 $x, y \in A$, $y \neq 0$ 에 대해 일관되게 성립하며, $z \in \hat{K} \setminus K$ 는 $K$ 에 대수적이다. 이는 다항식환을 초월하는 광범위한 국소환 클래스로 다항식 근사 이론을 확장한다.

ABSTRACT

G. Rond has proved a Diophantine type inequality for the field of quotients of the convergent or formal power series ring in multivariables. We generalize his theorem to the field of the quotients of an excellent Henselian local domain in equicharacteristic case.

연구 동기 및 목표

• G. Rond의 다항식환에 대한 다항식 부등식을 더 넓은 범주인 등차수성 우수한 헨젤 국소환으로 일반화하기 위해.
• 완비화된 몫체의 대수적 원소와 도메인에서 온 유리 근사 사이의 $\mathfrak{m}$-adic 거리에 대해 일관된 하한을 설정하기 위해.
• 이 설정에서 선형 아르틴 근사 성질을 최소한의 국소환 조건 하에 다항식 부등식을 증명함으로써 이를 확장하기 위해.
• 하한에 등장하는 지수 $a$ 가 모든 이러한 대수적 원소에 대해 일관되게 유계가 아니며, Rond의 반례를 일반화하기 위해.

제안 방법

• 등차수성 우수한 헨젤 국소환 $(A, \mathfrak{m})$ 의 몫체 $K = Q(A)$ 에서의 $\mathfrak{m}$-가중치를 사용하며, 값군이 $\mathbb{Z}$ 와 동형이 되고, 초월도 조건을 포함하는 축약 조건 (a)-(d) 를 만족한다.
• 완비 국소환에서의 $\mathfrak{m}$-가중치에 대한 Rees의 부등식을 핵심 기술 도구로 적용하여 가중치와 $\mathfrak{m}$-adic 순서 사이의 관계를 규명한다.
• Hübl-Swanson의 결과를 통해 분석적으로 기약인 우수한 도메인으로 일반화된 순서 함수에 대한 곱 부등식의 변종을 활용한다.
• 순서 함수 $\nu_{\mathfrak{m}}$ 가 $A[z]$ 에서의 비취소 성질을 통해 다항식의 합의 순서가 최소 차수 항에 의해 결정됨을 보장함으로써, 다항식 부등식을 $\mathfrak{m}$-adic 순서에 대한 부등식으로 환원한다.
• 가중치 $\boldsymbol{v}$ 에서의 완비화 $\hat{K}$ 와 $K[z]$ 에서의 $\hat{\boldsymbol{v}}$ 의 행동을 분석하며, 이 가중치가 $\mathfrak{m}'$-가중치임을 보인다.
• 선형 아르틴 근사 성질을 $|z - x/y|_{\hat{\boldsymbol{v}}}$ 의 하한으로 적용하며, 부등식 $s\hat{\boldsymbol{v}}(x - yz) \leq \nu_{\mathfrak{m}'}(x - yz) + C \leq t\boldsymbol{v}(x) + C$ 에서 유도한다.

실험 결과

연구 질문

• RQ1 등차수성 우수한 헨젤 국소환의 몫체의 완비화에서 대수적 원소 $z \in \hat{K} \setminus K$ 에 대해 $|z - x/y|_{\hat{\boldsymbol{v}}} > c \cdot |y|_{\boldsymbol{v}}^a$ 형식의 다항식 부등식이 성립하는가?
• RQ2 다항식환에 대한 Rond의 결과는 다항식환일 필요가 없는 더 넓은 국소환의 범주로 확장될 수 있는가?
• RQ3 하한에 등장하는 지수 $a$ 는 모든 이러한 대수적 원소 $z$ 에 대해 일관되게 유계가 되는가, 아니면 Rond의 반례와 마찬가지로 임의로 클 수 있는가?
• RQ4 $\mathfrak{m}$-가중치는 가중치 이론적 구조와 국소환 내의 $\mathfrak{m}$-adic 순서를 연결하는 데 어떤 역할을 하는가?
• RQ5 $K$ 에 대해 대수적 원소 $z$ 에 대해 $A[z]$ 가 분석적으로 기약임은 다항식 부등식의 증명을 어떻게 용이하게 하는가?

주요 결과

• 논문은 등차수성 우수한 헨젤 국소환의 몫체의 완비화에서, 모든 $x \in A$, $y \in A^*$, 그리고 $K$ 에 대수적인 $z \in \hat{K} \setminus K$ 에 대해 $|z - x/y|_{\hat{\boldsymbol{v}}} > c \cdot |y|_{\boldsymbol{v}}^a$ 형식의 다항식 부등식을 확립한다. 여기서 $a > 0$ 이고 $c > 0$ 이다.
• 지수 $a$ 는 양수이지만 일관되게 유계가 아니며, Rond의 지수 유계가 없는 원소의 반례가 이 설정으로 일반화된다.
• 증명은 $\mathfrak{m}$-가중치에 대한 Rees의 부등식과 $A[z]$ 에서의 $\mathfrak{m}$-adic 순서의 비취소 성질에 의존하며, 이는 합의 순서가 최소 차수 항에 의해 결정됨을 보장한다.
• $\hat{\boldsymbol{v}}|_{Q(A[z])}$ 가 $A[z]$ 에서의 $\mathfrak{m}'$-가중치임을 보였으며, 이는 부등식을 완비화에서 적용하기 위해 필수적이다.
• $\hat{K}$ 는 일반적으로 $\hat{A}$ 의 몫체가 아니므로, 가중치 $\hat{\boldsymbol{v}}$ 는 별도로 다뤄져야 하며, 부등식은 $\hat{K}$ 에 직접적으로 증명된다.
• 결과는 이 일반화된 설정에서 선형 아르틴 근사 성질을 확인하며, 완비화된 체의 대수적 원소가 원래 도메인의 유리 원소로 너무 잘 근사될 수 없다는 것을 보여준다.