[논문 리뷰] The Riemannian Hebbarkeitss\"atze for pseudorigid spaces

João Lourenço|arXiv (Cornell University)|2017. 11. 18.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 혼합 특성수의 완비 이산 평가환환 $\mathcal{O}_K$ 위의 가상강체 공간에 대해 리만의 제거 가능한 특이점 정리—removable singularity theorems—를 확립한다. 노름 이론적 계산을 통해 가상아핀 대수와 가상강체의 노เอ터 정규화의 유사체를 사용하여, 국소적으로 거듭제곱 유계 함수는 코디멘션 $\geq 1$인 닫힌 부분집합 위로 유일하게 연장되며, 해석적 함수는 코디멘션 $\geq 2$인 곳으로 연장된다는 것을 증명한다. 이러한 결과들은 분석적 방법을 통해 $\mathcal{O}_K$-평탄 정규 형식 스킴의 전역 단위층에 대한 데종의 정리를 재증명한다.

ABSTRACT

We prove Riemann's theorems on extensions of functions over certain mixed characteristic analytic adic spaces, first introduced by Johansson and Newton. We use these results to reprove a theorem of de Jong identifying global sections of an $\mathcal{O}_K$-flat normal formal scheme, locally formally of finite type over $\mathcal{O}_K$, with locally powerbounded sections over the generic fibre.

연구 동기 및 목표

• 해석적 특이점 위에서 매르모르픽 함수의 연장과 관련된 고전적 리만의 Hebbarkeitss"atze를 혼합 특성수의 분석적 아디크 공간으로 확장한다.
• 혼합 특성수에서 $\mathcal{O}_K$-평탄 형식 스킴을 연구하기 위한 틀로 가상강체 공간 이론을 개발한다.
• 분석적 기법을 사용하여 $\mathcal{O}_K$-평탄 정규 형식 스킴의 전역 단위층을 그 일반 섹션 위의 국소적으로 거듭제곱 유계 함수와 동일시하는 데종의 정리를 재증명한다.

제안 방법

• 특수 섹션에 있는 특이점 집합 $Z$를 가진 정규 가상강체 공간 $X = \mathrm{Spa}\, A$에 대한 경우로 축소하며, 여기서 $A$는 $\mathcal{O}_K$-평탄 정규 가상아핀 대수이고, 특이점 집합 $Z$는 특수 섹션에 속한다.
• 기저 경우를 검증하기 위해 기본적인 가상아핀 대수 $D_n\langle X_1,\dots,X_r\rangle$에서의 노름 계산을 직접 수행하며, 여기서 $D_n = \mathcal{O}_K[[T]]\langle \pi/T^n \rangle[1/T]$이다.
• 노에터 정규화 보조정리의 가상강체 버전을 적용: $k((T))$-아핀 대수 간의 유한 단사 사상은 충분히 큰 $n$에 대해 $D_n\langle X_1,\dots,X_r\rangle$ 위의 가상아핀 대수 간의 유한 단사 사상으로 올리기.
• 뤼트케봄베르트의 Hilfss"atze의 유사체로 해석적 함수와 유계 함수의 전이 보조정리를 개발하여 특이점 위로의 함수 연장 가능성을 보장한다.
• 자리지의 주요 정리와 형식 함수의 정리를 사용하여 전역 연장 문제를 정의 아이디얼이 주원소인 경우로 축소한다.
• 첫 번째 Hebbarkeitssatz와 분석적 점에 관한 위상적 결과를 적용하여 데종의 형식 스킴의 전역 단위층에 대한 정리를 재증명한다.

실험 결과

연구 질문

• RQ1 고전적 리만의 제거 가능한 특이점 정리는 혼합 특성수의 분석적 아디크 공간으로 확장될 수 있는가?
• RQ2 정규 가상강체 공간 $X$ 위에서 닫힌 부분집합 $Z$의 여집합 위에 정의된 국소적으로 거듭제곱 유계 함수는 $\mathrm{codim}_X Z \geq 1$일 때 전체 공간 위로 유일하게 연장되는가?
• RQ3 해석 함수는 $\mathrm{codim}_X Z \geq 2$일 때 유일하게 연장되는가?
• RQ4 분석적 기법을 사용하여 $\mathcal{O}_K$-평탄 정규 형식 스킴의 전역 단위층에 대한 데종의 정리를 재증명할 수 있는가?
• RQ5 형식 스킴 $X$를 그 일반 섹션, 완전화된 특수 섹션, 전이 사상의 삼중조 $F: C \to D$로 보내는 함자 $F$는 완전 충실한가?

주요 결과

• 첫 번째 Hebbarkeitssatz가 성립한다: $X$가 $\mathcal{O}_K$ 위의 정규 가상강체 공간이고 $Z \subset X$가 자리지적 닫힌 부분집합이며 $\mathrm{codim}_X Z \geq 1$이면, 제약 사상 $\mathcal{O}_X^+(X) \to \mathcal{O}_X^+(X \setminus Z)$는 환의 동형사상이다.
• 두 번째 Hebbarkeitssatz가 성립한다: $\mathrm{codim}_X Z \geq 2$이면, 제약 사상 $\mathcal{O}_X(X) \to \mathcal{O}_X(X \setminus Z)$는 환의 동형사상이다.
• 가상강체의 노에터 정규화의 유사체가 확립된다: 주어진 $k((T))$-아핀 대수 간의 유한 단사 사상은 충분히 큰 $n$에 대해 $D_n\langle X_1,\dots,X_r\rangle$ 위의 가상아핀 대수 간의 유한 단사 사상으로 올라간다.
• $\mathcal{O}_K$-평탄 정규 형식 스킴 $X$의 전역 단위층은 첫 번째 Hebbarkeitssatz와 분석적 점에 관한 위상적 결과를 통해 그 일반 섹션 $X_\eta$ 위의 국소적으로 거듭제곱 유계 함수의 환과 동형이다.
• $k$가 대수적으로 닫혀져 있을 때, 형식 스킴 $X$를 삼중조 $(X_\eta, (X_{\text{red}})^{\text{perf}}, \mathrm{sp}_X)$로 보내는 함자 $F: C \to D$는 완전 충실하며, 이는 $X$의 정수적 구조를 그 일반 섹션과 특수 섹션으로부터 복원한다.
• 전이 사상 $\mathrm{sp}_X: |X| \to |X_{\text{red}}|$는 잘 정의되어 있고 함자적이며, 평가환환의 경우 고전적 전이와 일치한다. 이는 이전 정의를 일반화한다.