[논문 리뷰] Automorphism Groups of Quasi-galois Closed Arithmetic Schemes

Feng-Wen An|ArXiv.org|2009. 07. 05.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 13

한 줄 요약

이 논문은 산술 체계 $X$가 표면형태의 유한형 사상 $ \phi$를 통해 다른 산술 체계 $Y$ 위에서 준-갈로아 닫혀 있을 경우, 함수체 $k(X)$가 $k(Y)$의 갈로아 확장임을 증명하며, 자동사상군 $\mathrm{Aut}(X/Y)$가 갈로아 군 $\mathrm{Gal}(k(X)/k(Y))$와 동형임을 보인다. 더 나아가 $\dim X = \dim Y$일 경우, $X$는 슈스린-보예보츠키의 의미에서의 가짜 갈로아 코버가 되며, 다변수 산술 체계로의 고전 갈로아 이론의 일반화를 이룬다.

ABSTRACT

Assume that $X$ and $Y$ are arithmetic schemes, i.e., integral schemes of finite types over $Spec(\mathbb{Z})$. Then $X$ is said to be quasi-galois closed over $Y$ if $X$ has a unique conjugate over $Y$ in some certain algebraically closed field, where the conjugate of $X$ over $Y$ is defined in an evident manner. Now suppose that $ϕ:X o Y$ is a surjective morphism of finite type such that $X$ is quasi-galois closed over $Y$. In this paper the main theorem says that the function field $ k(X)$ is canonically a Galois extension of $k(Y)$ and the automorphism group ${Aut}(X/Y)$ is isomorphic to the Galois group $Gal(k(X)/k(Y))$; in particular, $ϕ$ must be affine. Moreover, let $\dim X=\dim Y$. Then $X$ is a pseudo-galois cover of $Y$ in the sense of Suslin-Voevodsky.

연구 동기 및 목표

• 수체 위의 정상적 대수기하학적 다양체의 일반화로서 준-갈로아 닫힌 산술 체계의 개념을 정의하고 연구하기 위해.
• 체계 $X$가 $Y$ 위에서 준-갈로아 닫혀 있을 경우, 사상 $\phi: X \to Y$ 의 구조적 및 군론적 성질을 조사하기 위해.
• 그러한 사상에 대해 자동사상군 $\mathrm{Aut}(X/Y)$ 와 갈로아 군 $\mathrm{Gal}(k(X)/k(Y))$ 사이의 표준적 동형사상을 확립하기 위해.
• $\dim X = \dim Y$ 일 경우, 사상 $\phi$ 가 수스린-보예보츠키의 의미에서의 가짜 갈로아 코버임을 보여주기 위해.
• 다변수 함수체의 갈로아 확장을 산술 체계를 통해 기하학적 모델로 제공하기 위해.

제안 방법

• 산술 체계 $X$가 함수체의 대수적 폐쇄에서 $Y$ 위에서 유일한 공액체를 가지는 경우, 이를 $Y$ 위에서의 준-갈로아 닫힌 산술 체계로 정의한다.
• 아핀 열린 덮개와 체 공액을 이용하여 $X$ 와 그 $Y$ 위에서의 자동사상의 구조를 분석한다.
• 구조층을 통해 체 자동사상의 올림을 이용해 표준적 동형사상 $t: \mathrm{Aut}(X/Y) \to \mathrm{Gal}(k(X)/k(Y))$ 를 구성한다.
• 불변환 $\mathcal{O}_Y \cong \phi_*(\mathcal{O}_X)^{\mathrm{Aut}(X/Y)}$ 를 보여줌으로써 사상 $\phi$ 가 아핀임을 증명한다.
• 슈스린-보예보츠키의 가짜 갈로아 코버에 관한 결과를 적용하여, $\phi$ 가 유한하고 $\dim X = \dim Y$ 일 경우 $X$ 가 가짜 갈로아 코버임을 유도한다.
• 아핀 열린 부분집합에서의 접합 기법을 사용하여 국소 공액체에서 전역 자동사상을 정의하고, 교차부분에서의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 산술 체계의 표면형 유한형 사상 $\phi: X \to Y$ 가 함수체의 갈로아 확장을 유도하는 조건은 무엇인가?
• RQ2 체계 $X$ 가 $Y$ 위에서 준-갈로아 닫혀 있을 경우, 자동사상군 $\mathrm{Aut}(X/Y)$ 와 갈로아 군 $\mathrm{Gal}(k(X)/k(Y))$ 는 어떻게 관련되어 있는가?
• RQ3 동일한 차원을 가진 산술 체계의 맥락에서 준-갈로아 닫힘의 기하학적 의미는 무엇인가?
• RQ4 준-갈로아 닫힌 코버는 다변수 함수체의 임의의 갈로아 확장을 기하학적 모델로 제공할 수 있는가?
• RQ5 준-갈로아 닫힘은 산술 기하학에서 고전적 정상성 개념을 어떻게 일반화하는가?

주요 결과

• 체계 $X$ 가 $Y$ 위에서 준-갈로아 닫혀 있을 경우, 사상 $\phi: X \to Y$ 는 반드시 아phin이어야 한다.
• 함수체 $k(X)$ 는 $k(Y)$ 의 표준적 갈로아 확장이며, $[k(X):k(Y)] = |\mathrm{Gal}(k(X)/k(Y))|$ 를 만족한다.
• 자명한 군 동형사상 $\mathrm{Aut}(X/Y) \cong \mathrm{Gal}(k(X)/k(Y))$ 가 존재하여, 체계 자동사상과 체 갈로아 자동사상 간의 직접적 대응을 확립한다.
• $\dim X = \dim Y$ 일 경우, 사상 $\phi$ 는 유한 사상이며, 슈스린-보예보츠키의 의미에서 $X$ 는 $Y$ 의 가짜 갈로아 코버이다.
• $\mathrm{Aut}(X/Y)$ 의 작용은 모든 $y \in Y$ 에 대해 $\phi^{-1}(y)$ 에서 전이적임을 보여, 높은 수준의 대칭성을 나타낸다.
• 구조층은 $\mathcal{O}_Y \cong \phi_*(\mathcal{O}_X)^{\mathrm{Aut}(X/Y)}$ 를 만족하여, 몫의 불변 이론적 성격을 확인한다.