[논문 리뷰] Abhyankar places admit local uniformization in any characteristic

Hagen Knaf, Franz‐Viktor Kuhlmann|arXiv (Cornell University)|2003. 04. 12.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 임의의 특성에서 Abhyankar 장소의 국소 균일화를 평가 이론적 방법을 활용하여 확립한다. $K$-자명한 Abhyankar 장소 중에서 분리 가능한 잔여체 확장이 존재하는 경우, 함수체 확장을 거치지 않고도 매끄러운 다양체 위에서 국소 균일화가 가능하다는 것을 증명하고, 이 결과를 차수 2 이하의 정규 Nagata 환에서 비자명한 장소로 확장한다. 이 경우, 결함 없는, 토퐁 없는, 분리 가능한 조건을 만족해야 한다.

ABSTRACT

We prove that every place $P$ of an algebraic function field $F|K$ of arbitrary characteristic admits local uniformization, provided that the sum of the rational rank of its value group and the transcendence degree of its residue field $FP$ over $K$ is equal to the transcendence degree of $F|K$, and the extension $FP|K$ is separable. We generalize this result to the case where $P$ dominates a regular local Nagata ring $R\subseteq K$ of Krull dimension $\dim R\leq 2$, assuming that the valued field $(K,v_P)$ is defectless, the factor group $v_P F/v_P K$ is torsion-free and the extension of residue fields $FP|KP$ is separable. The results also include a form of monomialization. Further, we show that in both cases, finitely many Abhyankar places admit simultaneous local uniformization on an affine scheme if they have value groups isomorphic over $v_P K$.

연구 동기 및 목표

• Abhyankar 장소에 초점을 맞추어 임의의 특성으로 Zariski의 국소 균일화 정리를 일반화하는 것.
• 잔여체 확장이 분리 가능한 경우, Abhyankar 장소에 대한 국소 균일화 문제를 해결하는 것.
• 차수 ≤ 2인 정규 국소 Nagata 환 $R$ 위에서 비자명한 장소로 결과를 확장하는 것. 이 경우 결함 없는, 토포론 없는, 분리 가능한 조건을 만족해야 한다.
• 정규 매개변수의 단항식 형태로 원소가 표현될 수 있음을 보여주는 단항식화 형태를 제공하는 것.
• $v_P K$ 위에서 동형인 값군을 가진 유한 개의 Abhyankar 장소에 대해 동시에 국소 균일화가 가능함을 증명하는 것.

제안 방법

• 임의의 체 위의 함수체에서 Abhyankar 장소의 구조를 분석하기 위해 평가 이론적 기법을 사용하는 것.
• 전이 기저 $T$에 대해 $`\mathcal{O}_K(T)$의 엄격한 호넨라이제이션의 분수체에 함수체 $F$를 매장하는 것.
• 모든 $Z \subset \mathcal{O}_P$의 원소들이 $`\mathcal{O}_{X,x}$-단항식이 되도록 보장하는, 쌍 $(P, Z)$에 대한 $R$-균일화 가능성 개념을 적용하는 것.
• 기저 환 $R$에 따라 $`\dim \mathcal{O}_{X,x} = \dim_{\mathbb{Q}}(v_P F / v_P K \otimes \mathbb{Q}) + 1$ 또는 $+2$ 임을 보장하는 조건을 사용하는 것.
• 모든 $Z$의 원소들이 $`\mathcal{O}_{X,x}$의 정규 매개변수 체계에서 단항식으로 표현되도록 보장하는 것.
• 결함 없는 평가된 체 이론과 보편적 카테나리티를 활용하여 $R$ 위의 정규 모델의 존재를 보장하는 것.

실험 결과

연구 질문

• RQ1 함수체 확장을 거치지 않고, 양의 특성에서 Abhyankar 장소에 대해 국소 균일화를 달성할 수 있는가?
• RQ2 값군과 잔여체 확장에 어떤 조건이 성립할 경우 비-$K$-자명한 장소에 대해 국소 균일화가 성립하는가?
• RQ3 동형 값군을 가진 여러 개의 Abhyankar 장소는 동시에 균일화될 수 있는가?
• RQ4 비자명한 기저 환의 경우, 국소 균일화에서 장소의 중심에 대응하는 국소 환의 정확한 차수는 얼마인가?
• RQ5 Abhyankar 장소의 국소 균일화 맥락에서 단항식화는 어떻게 달성할 수 있는가?

주요 결과

• 분리 가능한 잔여체 확장을 가진 모든 $K$-자명한 Abhyankar 장소는 함수체 확장을 거치지 않고도 매끄러운 다양체 위에서 국소 균일화가 가능하다.
• 차수 $\leq 2$인 정규 국소 Nagata 환 $R$ 위에서 비자명한 Abhyankar 장소에 대해, $(K,P)$가 결함 없고, $v_P F / v_P K$가 토포론 없고, $FP/KP$가 분리 가능한 경우 국소 균일화가 성립한다.
• 장소의 중심 $x$에서의 국소 환 $`\mathcal{O}_{X,x}$의 차수는 $`\mathcal{O}_K$가 이산 평가 환인 경우 $\dim \mathcal{O}_{X,x} = \dim_{\mathbb{Q}}(v_P F / v_P K \otimes \mathbb{Q}) + 1$이며, 그렇지 않은 경우 $+2$이다.
• 주어진 유한 집합 $Z \subset \mathcal{O}_P$의 모든 원소들은 $`\mathcal{O}_{X,x}$의 정규 매개변수 체계에서 단항식으로 표현될 수 있다.
• 값군이 $v_P K$ 위에서 서로 동형인 유한 개의 Abhyankar 장소는 단일 아핀 스킴 위에서 동시에 국소 균일화가 가능하다.
• 기저 환 $R$는 반드시 Nagata 이어야 하며, 결함 없는 조건은 $R/p$의 유한 확장에서 정수적 폐쇄의 정수성 보장을 한다.