[논문 리뷰] Defect of an extension, key polynomials and local uniformization

Jean-Christophe San Saturnino|arXiv (Cornell University)|2014. 12. 24.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 16

한 줄 요약

이 논문은 유한하고 단순한 비가치체 확장에서의 결함이 그의 완전한 키 다항식 집합의 유효 차수들의 곱과 같음을 증명하며, 결함과 키 다항식 이론 사이에 정확한 대수적 연결을 제공한다. 주요 기여는 잔여 특성의 차수에 대한 귀납적 결함 없는 조건을 가정할 때, 동차 특성의 비가환 완전 국소 환 위의 순서 1의 가치에 대한 국소 균일화 정리의 일반화이며, 이는 이전 결과를 일반화하고 특성 0에서의 국소 균일화를 재증명한다.

ABSTRACT

For all simple and finite extension of a valued field, we prove that its defect is the product of the effective degrees of the complete set of key polynomials associated. As a consequence, we obtain a local uniformization theorem for valuations of rank 1 centered on an equicharacteristic quasi-excellent local domain satisfying some inductive assumptions of lack of defect.

연구 동기 및 목표

• 비가치체 확장에서의 결함과 해당 가치에 관련된 키 다항식 사이의 정확한 관계를 명확히 하기 위해.
• 상위 몫체에 대한 귀납적 결함 없는 조건을 도입하여 이전의 국소 균일화 결과를 일반화하기 위해.
• 유효 차수와 키 다항식을 사용하여 특성 0에서의 국소 균일화를 재증명하기 위해.
• 확장에서의 한계 키 다항식의 유효 차수들의 곱으로서 결함이 곱셈적임을 증명하기 위해.
• 유효 차수를 통한 가치와 관련된 순서 구조의 대수적 특성화를 제공하기 위해.

제안 방법

• 확장 [L:K] ≤ [Γμ:Γν][kμ:kν]의 부등식에서의 승수인 결함을 정의하며, 이는 잔여 특성의 거듭제곱이다.
• 문헌 [3]과 [9]의 키 다항식 프레임워크를 사용하며, 특히 완전하고 1완전 집합의 개념을 활용한다.
• 다항식 P의 키 다항식 Q에 대한 유효 차수를, 계수의 값매기의 최대값을 갖는 표준 전개에서 Q의 최고 거듭제곱으로 정의한다.
• 값매기와 관련된 순서 구조 대수들이 유효 차수에 대해 유클리드적임을 증명하며, 유효 차수의 수열은 비감소적이며 궁극적으로 일정해진다.
• 뉴턴 다각형 이론과 W. Mahboub의 키 다항식을 적용하여, 결함이 한계 키 다항식의 유효 차수들의 곱과 같음을 보인다.
• 차원에 대한 귀납법과 몫체의 결함 없는 성질을 사용하여, 동차 특성의 비가환 완전 국소 환 위의 순서 1 가치에 대한 국소 균일화 정리를 증명한다.

실험 결과

연구 질문

• RQ1 유한하고 단순한 비가치체 확장에서의 결함은 가치에 관련된 키 다항식과 어떻게 관련이 있는가?
• RQ2 특히 한계 키 다항식이 존재할 경우, 결함이 키 다항식의 유효 차수들의 곱으로 표현될 수 있는가?
• RQ3 비가환 완전 국소 환 위의 순서 1 가치가 어떤 조건에서 국소 균일화를 가질 수 있는가?
• RQ4 유효 차수는 가치와 관련된 순서 구조 대수의 구조를 특성화하는 데 어떤 역할을 하는가?
• RQ5 한계 키 다항식이 존재하지 않으면 확장에서 결함 없는 성질이 성립하는가, 그 반대도 성립하는가?

주요 결과

• 유한하고 단순한 비가치체 확장에서의 결함은 키 다항식의 완전 집합에 포함된 한계 키 다항식들의 유효 차수들의 곱과 같다.
• 잔여 체의 특성이 0이면, 결함은 자명하며 국소 균일화 정리는 성립하며, Zariski의 고전 결과를 복원한다.
• 국소 환의 완비화 몫체가 결함 없는 경우이고, 낮은 차원에서 국소 균일화 성질이 성립한다면, 가치는 임베디드 국소 균일화를 가진다.
• 키 다항식에 대한 다항식의 유효 차수는 잘 정의되어 있으며, 관련된 순서 구조 대수의 구조를 결정한다.
• 유효 차수의 수열은 비감소적이며 궁극적으로 일정한 값을 가지며, 이 값이 0 또는 1이면 키 다항식 집합은 1완전하다.
• 동차 특성의 비가환 완전 국소 환 위의 순서 1 가치에 대해, 연속적인 완비화의 몫체에 대한 귀납적 결함 없는 조건을 가정할 경우 국소 균일화가 성립한다.