[논문 리뷰] Strong approximation for a toric variety

Dasheng Wei|arXiv (Cornell University)|2014. 03. 05.

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

한 줄 요약

이 논문은 수체 k 위의 매끄러운 토릭 다양체 X에 대해, ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 를 만족할 때, 코드이먼스이 2 이상인 닫힌 부분집합 W 를 제거한 후에도 대수적 브라우어-만인 장애를 고려한 강력한 근사가 성립함을 증명한다. 증명은 내림내림 이론과 코드이먼스 2인 구멍을 가진 아핀 공간에 대한 강력한 근사에 기반하여, 브라우어-만인 장애가 단일 자리 $v_0$ 를 제외한 곳에서 강력한 근사의 유일한 장애임을 보여준다. 이 결과는 이전의 노름 방정식과 피브레이션에 대한 연구를 확장하며, 조건 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 는 제거될 수 없으며 최적임을 보여준다.

ABSTRACT

Let X be a toric variety over a number field k with \kbar[X]^ imes=\kbar^ imes. Let W\subset X be a closed subset of codimension at least 2. We prove that X\setminus W satisfies strong approximation with algebraic Brauer--Manin obstruction.

연구 동기 및 목표

• 수체 k 위의 토릭 다양체 X에 대해 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 를 만족할 때, 대수적 브라우어-만인 장애를 고려한 강력한 근사가 성립함을 증명하기 위해.
• 코드이먼스 $\geq 2$ 인 닫힌 부분집합 $W \subset X$ 를 제거함으로써 단일 자리 $v_0$ 를 제외한 곳에서 강력한 근사가 유지됨을 증명하기 위해.
• 이 설정에서 브라우어-만인 장애가 강력한 근사의 유일한 장애임을 보여주기 위해.
• 노름 방정식과 피브레이션으로 정의된 아핀 다양체에 대한 기존의 강력한 근사 결과를, 단위군 조건을 만족하는 일반 토릭 다양체로 확장하기 위해.
• 조건 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 가 없을 경우 결과가 성립하지 않음을 보여줌으로써 이 조건의 날카로움을 입증하기 위해, [CX18, 예제 5.2]에서 제시된 바와 같다.

제안 방법

• 토릭 다양체의 팬과 캐릭터 띠를 통해 내림내림 이론과 토릭 다양체의 구조를 이용하여 문제를 코드이먼스 2인 구멍이 있는 아핀 공간으로 환원하기 위해.
• 레마 1.1을 적용하여 $\mathbb{A}^n_k \setminus Z$ 가 $\operatorname{codim}(Z) \geq 2$ 를 만족할 경우 단일 자리 $v_0$ 를 제외한 곳에서 강력한 근사가 성립함을 보여주기 위해.
• 집합 $S \cup \{v_0\}$ 에 속하는 자리 $v$ 에 대해 $p_v$ 근처에 가까운 점을 지나는 직선 $\ell \subset Y = \mathbb{A}^n_k \setminus Z$ 를 구성하여 아델릭 근사 조건을 확보하기 위해.
• 모든 유니버설 토르서가 특이점 집합 위로 확장될 수 있으며, 이 집합의 코드이먼스는 $\geq 2$ 이므로 토르서에서의 강력한 근사가 올라감을 이용하기 위해.
• [DW18, 레마 3.1]을 적용하여 $X \setminus W$ 가 $v_0$ 를 제외한 곳에서 대수적 브라우어-만인 장애를 고려한 강력한 근사가 성립함을 결론짓기 위해.
• 노름 방정식 $N_{L/k}(\mathbf{w}) = cN_{K/k}(\mathbf{z})$ 에 대해 브라우어 군 $\mathrm{Br}_1(X)/\mathrm{Br}_0(X) \cong H^2(G, \widehat{T})$ 를 계산하고, 서로소인 아벨 몫에 대해 이 군이 영이 됨을 보여주기 위해.

실험 결과

연구 질문

• RQ1 수체 k 위의 토릭 다양체 $X$ 에 대해 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 를 만족할 때, 코드이먼스 $\geq 2$ 인 닫힌 부분집합 $W$ 를 제거한 후에도 브라우어-만인 장애를 고려한 강력한 근사가 성립하는가?
• RQ2 전역 단위군이 자명할 경우에도, 이러한 다양체에 대해 단일 자리 $v_0$ 를 제외한 곳에서 강력한 근사를 확립할 수 있는가?
• RQ3 이 설정에서 브라우어-만인 장애가 강력한 근사의 유일한 장애인가?
• RQ4 정의하는 노름 형식의 갈루아 군에 어떤 조건이 있어야 $\mathrm{Br}_1(X)/\mathrm{Br}_0(X)$ 가 자명해지는가?
• RQ5 왜 조건 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 가 필수적인가? 이 조건이 만족되지 않을 경우 무엇이 실패하는가?

주요 결과

• 모든 매끄러운 토릭 다양체 $X$ 는 수체 $k$ 위에서 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 를 만족하고, 코드이먼스 2 이상인 닫힌 부분집합 $W \subset X$ 를 제거한 $X \setminus W$ 는 단일 자리 $v_0$ 를 제외한 곳에서 대수적 브라우어-만인 장애를 고려한 강력한 근사 성립한다.
• 증명은 아핀 공간에서 코드이먼스 2인 닫힌 부분집합을 제거한 경우의 강력한 근사로 환원되며, 이는 직선 근사와 이러한 공간이 $v_0$ 를 제외한 곳에서 강력한 근사를 만족한다는 사실에 기반한다.
• 이 설정에서 브라우어-만인 장애가 강력한 근사의 유일한 장애임이 내림내림과 토르서 기법을 통해 입증된다.
• 노름 방정식 $N_{L/k}(\mathbf{w}) = cN_{K/k}(\mathbf{z})$ 로 정의된 다양체에서 $L \cap K = k$ 이고 최대 아벨 부분확장들이 서로소일 경우, $\mathrm{Br}_1(X) = \mathrm{Br}_0(X)$ 이므로 강력한 근사가 장애 없이 성립한다.
• 조건 ${\bar{k}}[X]^\times = {\bar{k}}^\times$ 는 필수적이다. 이 조건이 없을 경우, 무한한 자리에서 브라우어-만인 장애를 고려한 강력한 근사가 실패한다. [CX18, 예제 5.2]에서 제시된 바와 같다.
• 브라우어 군 $\mathrm{Br}_1(X)/\mathrm{Br}_0(X)$ 는 $H^2(G, \widehat{T})$ 와 동형이며, 여기서 $G = \mathrm{Gal}(L.K/k)$ 이고 $\widehat{T}$ 는 관련 토릭의 캐릭터 군이다. 이 군은 서로소인 아벨 몫 조건 하에서 영이 된다.