[논문 리뷰] On the existence of geometric models for function fields in several variables

Feng-Wen An|ArXiv.org|2009. 09. 10.

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

한 줄 요약

이 논문은 수체 위의 여러 변수 함수체의 갈로아 확장에 대해, 이를 산술 스킴의 아핀 맵으로서 실현함으로써 명시적인 기하 모델을 구축한다. 주요 기여는 수스린-보예보츠키의 가짜갈로와 확장을 일반화한 '준갈로와 닫힘 덮개'의 존재에 대한 구축 증명으로, 이는 갈로아 군을 스킴 덮개의 자기동형사상 군으로 실현한다.

ABSTRACT

In this paper we will give an explicit construction of the geometric model for a prescribed extension of a function field in several variables over a number field. As a by-product, we will also prove the existence of quasi-galois closed covers of arithmetic schemes (in eprint arXiv:0907.0842).

연구 동기 및 목표

• 수체 위의 여러 변수 함수체에 대한 주어진 갈로아 확장을 위한 기하 모델을 수립하는 것.
• 수스린-보예보츠키의 의미에서의 가짜갈로와 덮개 개념을 산술 스킴으로 일반화하는 것.
• 주요 구성의 부산물로써 준갈로와 닫힘 덮개의 존재를 보여주는 것.
• 체 확장의 갈로아 군을 스킴 사상의 자기동형사상 군으로 실현하는 것.
• 아핀 스킴 사상의 형태로 이러한 기하 모델을 명시적이고 구축 가능한 방법으로 만들기 위한 것.

제안 방법

• 주어진 산술 스킴 $Y$의 함수체 $K$를 갖는 산술 다양체 $X$와 그 위에 정의된 전사적이고 유한형이며 아핀 사상 $f: X \to Y$를 구성한다.
• 갈로아 확장인 체 확장 $L/K$를 이용해 함수체 $k(X) = L$를 정의한다.
• 함수체 $k(X)$의 대수적 폐쇄를 값으로 갖는 유일한 최대의 단순 아핀 덮개를 사용하여 준갈로와 닫힘성을 확보한다.
• 모든 국소환 $\mathcal{O}_X(U_\alpha)$ 가 $\mathcal{O}_Y(V_\alpha)$ 위에서 유일한 공액체를 가지거나, 덮개가 공액 조건을 만족할 경우, $X$ 는 $Y$ 위에서 준갈로와 닫혀 있다고 간주한다.
• 유일성 및 공액 성질을 검증함으로써 Lemma 3.3을 활용해 이러한 덮개의 존재를 보장한다.
• 논문 [2]의 주요 정리를 활용하여 자기동형사상 군 $\mathrm{Aut}(X/Y)$ 가 $\mathrm{Gal}(L/K)$ 와 동형임을 결론짓는다.

실험 결과

연구 질문

• RQ1 수체 위의 여러 변수 함수체에 대한 갈로아 확장을 위한 기하 모델을 명시적으로 구성할 수 있는가?
• RQ2 산술 스킴의 덮개가 갈로아 군을 그 자기동형사상 군으로 실현하기 위해 어떤 조건이 필요한가?
• RQ3 가짜갈로와 덮개 개념은 다양체의 경우를 초월하여 산술 스킴으로 어떻게 일반화할 수 있는가?
• RQ4 스킴 덮개가 어떤 조건에서 기저 스킴 위에서 준갈로와 닫혀지는가?
• RQ5 주어진 갈로아 확장을 함수체 확장으로 갖는 아핀 스킴 사상의 구축 방법은 존재하는가?

주요 결과

• 수체 위의 여러 변수 함수체 $K$ 에 대한 임의의 갈로아 확장 $L/K$ 에 대해 명시적인 기하 모델이 존재한다.
• 구성된 사상 $f: X \to Y$ 는 아핀이며, 전사적이며, 유한형이며, $k(X) = L$ 이고 $k(Y) = K$ 이다.
• 자기동형사상 군 $\mathrm{Aut}(X/Y)$ 는 갈로아 군 $\mathrm{Gal}(L/K)$ 와 동형이 되며, 이는 원하는 기하 모델을 확립한다.
• 이 구성은 수스린-보예보츠키의 가짜갈로와 덮개를 산술 스킴으로 일반화한 준갈로와 닫힘 덮개를 제공한다.
• 이러한 덮개의 존재는 공액 및 정수성 조건을 만족하는 유일한 최대 단순 아핀 덮개를 통해 증명된다.
• 이 방법은 갈로아 확장을 산술 스킴의 자기동형사상 군으로 실현하기 위한 체계적이고 구축 가능한 접근법을 제공한다.