[논문 리뷰] On a theorem of Faltings on formal functions

Paola Bonacini, Alessio Del Padrone외 1명|ArXiv.org|2008. 10. 09.

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

한 줄 요약

이 논문은 프로젝티브 다양체 $X$ 상에서 형식적 유리 함수의 확장을 다루는 팔링스의 정리에 대해 두 가지 간단한 전지적 기하학적 증명을 제공한다. 여기서 $Y$ 는 $\mathbb{P}^n$ 내의 $r \leq d-1$ 개의 초평면과의 교차로 정의되며, $\dim X = d > 2$ 이다. 주요 결과는 $X$ 상의 모든 형식적 유리 함수가 $Y$ 沿해 고유하게 $X$ 상의 유리 함수로 확장된다는 것을 보여주며, 히로나카-마츠무라 정리와 인cidenc construction을 기반으로 한 접근을 통해 깊이 있는 국소적 결과를 접근 가능한 기하적 논증으로 해결한다.

ABSTRACT

In 1980, Faltings proved, by deep local algebra methods, a local result regarding formal functions which has the following global geometric fact as a consequence. Theorem: Let k be an algebraically closed field (of any characteristic). Let Y be a closed subvariety of a projective irreducible variety X defined over k. Assume that X \subseteq P^n, dim(X)=d>2 and Y is the intersection of X with r hyperplanes of P^n, with r \le d-1. Then, every formal rational function on X along Y can be (uniquely) extended to a rational function on X. Due to its importance, the aim of this paper is to provide two elementary global geometric proofs of this theorem.

연구 동기 및 목표

• 팔링스의 형식 함수에 관한 깊이 있는 결과에 대해 접근 가능한 전지적 기하학적 증명을 제공함으로써, 고도의 국소 대수학에 의존하는 바람에 접근하기 어려운 문제를 해결한다.
• 프로젝티브 다양체 $X$ 의 부분다양체 $Y \subset X$ 에서 형식적 유리 함수가 $X$ 상의 유리 함수로 고유하게 확장되는 조건을 보여주며, 여기서 $Y$ 는 $X$ 와 초평면들의 낮은 고차원 교차로 정의된다.
• 특히 풍턴-한슨 연결성 정리와 같은 맥락에서 응용 가능한 바탕이 되는 팔링스 결과를 더 쉽게 접근 가능하게 만들기 위해 이를 목표로 한다.
• 프로젝티브 다양체 내의 부분다양체에 대해 $G3$ 성질이 성립하는 조건을 일반화하고 명확히 한다.
• 두 가지 서로 다른 기하학적 구성—한편은 사상과 섬유 분석에 기반한 것이고, 另한 것은 인cidenc 다양체에 기반한 것—을 제시하여 문제를 기하학적 형식 이론의 알려진 정리로 환원한다.

제안 방법

• 프로젝티브 공간 상의 형식적 유리 함수에 관한 히로나카-마츠무라 정리를 활용하여 문제를 프로젝티브 공간 상의 형식 스킴로 환원한다.
• 프로젝티브 공간 $P$ 를 $(r+1)$-개의 선형 형식의 튜플을 매개변수화하는 공간으로 삼아, 인cidenc 다양체 $\Gamma \subset X \times P$ 를 통해 $X' \to X$ 의 비자명한 사상 $f$ 를 구성한다.
• 인cidenc 다양체 $Z \subset X \times P$ 에서의 프로젝티브 사상 $g: Z \to P$ 를 정의하며, $P$ 의 점들에 대응하는 섬유는 $X$ 와 $r+1$ 개의 초평면의 교차로 표현된다.
• 차원 분석과 사영 사상의 전성(onto)을 이용하여, $g^{-1}(L) \subset f^{-1}(Y)$ 를 만족하는 차원 $\geq 1$ 인 연결 부분다양체 $L \subset P$ 가 존재함을 보장한다. 이는 $G3$ 성질의 적용을 가능하게 한다.
• 만약 $Y$ 가 연결이고 $X$ 가 정규이며 기약이면 $K(X_{/Y})$ 가 체임을 이용하여 문제를 기하학적 리프팅을 통한 $G3$ 조건 검증으로 환원한다.
• 모든 형식적 함수의 리프팅을 통해 $G3$ 성질 적용: 만약 $X'$ 상의 부분다양체 $Y'' \subset X'$ 가 $X'$ 에서 $G3$ 이고, $Y$ 는 $Y''$ 에서 $Y$ 로 전성적 사상이면, $Y$ 는 $X$ 에서 $G3$ 이다.

실험 결과

연구 질문

• RQ1 어떤 기하학적 조건에서 $X$ 의 부분다양체 $Y \subset X$ 에서의 형식적 유리 함수가 $X$ 상의 유리 함수로 확장될 수 있는가?
• RQ2 팔링스의 깊이 있는 국소적 결과—형식 함수에 관한 것—을 고전적 대수기하학의 정리들과 전지적 기하학적 구성만을 사용하여 재증명할 수 있는가?
• RQ3 특히 $\dim X = d > 2$ 이고 $Y$ 가 $X$ 와 $r \leq d-1$ 개의 초평면의 교차로 정의될 때, $Y$ 의 고차원성(코다이멘션)은 형식 함수의 확장을 보장하는 데 어떤 역할을 하는가?
• RQ4 국소 코hom로지나 형식 스킴 이론이 아닌, 인cidenc 기하학과 사상 이론을 통해 $Y$ 가 $X$ 에서 $G3$ 임을 어떻게 증명할 수 있는가?
• RQ5 인cidenc 다양체와 프로젝티브 사상 등의 기하학적 구성으로, $\mathbb{P}^n$ 상의 형식 함수의 알려진 경우로 $G3$ 성질을 환원할 수 있는가?

주요 결과

• 모든 $X$ 상의 형식적 유리 함수는 $Y$ 에서의 형식적 함수로 고유하게 확장되며, 이는 $X \subset \mathbb{P}^n$ 이 기약이고 차원 $d > 2$ 이며, $Y = X \cap H_1 \cap \cdots \cap H_r$ 이고 $r \leq d-1$, 그리고 $k$ 가 대수적으로 닫혀 있을 때 성립한다.
• $Y$ 가 $X$ 에서 $G3$ 임을 두 가지 서로 다른 기하학적 구성—한편은 비자명한 사상 $f: X' \to X$ 와 부분다양체 $Y'' \subset X'$ 를 사용한 것이고, 另한 것은 인cidenc 다양체 $Z \subset X \times P$ 와 사상 $g: Z \to P$ 를 사용한 것—을 통해 확립한다.
• 두 번째 증명은 $g^{-1}(L) = Y \times L \subset f^{-1}(Y)$ 를 만족하는 직선 $L \subset P$ 를 구성하며, $L$ 이 연결되어 있고 차원 $\geq 1$ 이므로 이는 $Y$ 가 $X$ 에서 $G3$ 임을 보장한다.
• 핵심 기술 도구는 히로나카-마츠무라 정리로, 이는 $Y$ 가 연결이고 양의 차원이면 $K(\mathbb{P}^n_{/Y}) \cong K(\mathbb{P}^n)$ 임을 보여준다.
• 증명은 비자명한 사상과 전성적 사상에 대해 $G3$ 성질이 유지됨을 보여주며, 이는 $\mathbb{P}^n$ 의 알려진 경우로의 환원을 가능하게 한다.
• 결과적으로 형식 완비 $X_{/Y}$ 가 체를 이루며, 이는 $Y$ 가 $X$ 에서 $G3$ 임과 동치임을 확인한다. 이는 제시된 고차원성 및 차원 제약 조건 하에서 정확히 성립한다.