[논문 리뷰] An elementary proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case

Kazuhiko Kurano, Kazuma Shimomoto|arXiv (Cornell University)|2015. 10. 13.

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

한 줄 요약

이 논문은 등차수 $p>0$인 경우 코hen-가브르 정리에 대한 새로운 초등적 증명을 제시한다. 이 증명은 완비 국소환에 모듈러 유한하게 삽입되는 계수 체와 매개변수 체계의 존재를 확립하며, 차원 $d$인 몫체의 분수체로의 일반적으로 분리 가능한 체 확장이 성립한다. 증명은 최대 아이디얼의 추가 생성자의 수에 대한 귀납법과 위어스트라스 준비정리를 사용하여 원하는 계수 체와 매개변수를 구성한다.

ABSTRACT

The aim of this article is to give a new proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case.

연구 동기 및 목표

• 등차수 $p>0$인 경우 코헨-가브르 정리에 대한 새로운 초등적 증명을 제공한다.
• 계수 체 $\phi: k \to A$와 매개변수 $y_1,\dots,y_d$를 구성하여 $\phi(k)[[y_1,\dots,y_d]] \subset A$가 모듈러 유한 확장이 되도록 한다.
• 모든 최소 소수 $P$에 대해 $\dim A/P = d$ 이면, 체 확장 $\operatorname{Frac}(\phi(k)[[y_1,\dots,y_d]]) \to \operatorname{Frac}(A/P)$가 분리 가능함을 보장한다.
• 기존의 코헨 구조 정리의 일반화로서, 근본적으로 에르미트적 성질을 갖는 축소 동차차원적 경우에 대해 일반적으로 에탈 성질을 달성한다.

제안 방법

• 완비 국소환 $A$의 최대 아이디얼에서 매개변수 체계를 초과하는 생성자의 수인 $h$에 대한 귀납법을 사용한다.
• Weierstrass 준비정리를 적용하여 $A[[X]]$의 멱급수를 단위원과 특별한 다항식의 곱으로 분해한다.
• 잔여체 $k$에 대한 $p$-기저를 사용하여 계수 체 $\phi: k \to A$를 구성한다.
• 가환 다이어그램을 통해 중간 환들 $B$, $C$, $D$, $E$를 거쳐 모듈러 유한 확장을 체인으로 구축한다.
• 미분의 행동과 몫체의 구조를 분석하여 체 확장의 분리성을 검증한다.
• 분리성이 기저 체 변경과 모듈러 유한 설정에서의 원소 첨가에 대해 유지됨을 이용한다.

실험 결과

연구 질문

• RQ1 등차수 $p>0$에서 코헨-가브르 정리는 추상대수학의 초등적 방법으로 증명될 수 있는가?
• RQ2 계수 체와 매개변수 체계를 구성하여 관련 멱급수환의 삽입이 $A$에 모듈러 유한하게 이루어지고, 잔여체 확장이 분리 가능한가?
• RQ3 축소 동차차원적 경우에서 확장의 일반적인 에탈 성질은 어떻게 달성할 수 있는가?
• RQ4 Weierstrass 준비정리는 이러한 계수 체와 매개변수를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $\pi \circ \phi = \mathrm{id}_k$를 만족하는 계수 체 $\phi: k \to A$의 존재를 확립한다. 여기서 $\pi: A \to k$는 몫사상이다.
• 매개변수 $y_1, \dots, y_d$가 구성되어 $\phi(k)[[y_1, \dots, y_d]] \subset A$가 모듈러 유한 확장이 된다.
• 모든 최소 소수 $P \subset A$에 대해 $\dim A/P = d$ 이면, 체 확장 $\operatorname{Frac}(\phi(k)[[y_1, \dots, y_d]]) \to \operatorname{Frac}(A/P)$는 분리 가능하다.
• 증명은 $h$—최대 아이디얼의 매개변수 체계를 초과하는 생성자의 수—에 대한 귀납법을 사용하여 문제를 $h=1$ 경우로 축소한다.
• 모든 중간 사상이 단사적이며 모듈러 유한함을 보장함으로써, 필요한 성질들이 유지된다.
• 일부 계수 체에서는 분리성이 실패할 수 있으나, 적절한 계수 체를 선택함으로써 이를 방지할 수 있음을 보여주는 예시가 제시된다. 예를 들어 $\mathbb{F}_p(s)$에서 $s = t + X$로 정의할 수 있다.