[논문 리뷰] The Riemannian Hebbarkeitssätze for pseudorigid spaces

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

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

한 줄 요약

이 논문은 혼합 특성수를 가진 완비 이산 평가환환 $\mathcal{O}_K$ 위의 가상강체 공간에 대해 리만의 헤브바이트케이츠 정리를 확립한다. 즉, 닫힌 부분집합 $Z$의 여집합에서 정의된 국소적으로 거듭제곱유계 또는 해석적 함수가 $\operatorname{codim}_X Z \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.

연구 동기 및 목표

• 혼합 특성수의 맥락에서, 해석적 함수 및 유계 함수에 대한 리만의 고전적 제거 가능한 특이점 정리들을 가상강체 공간으로 확장하는 것.
• 정규 가상강체 공간에서 닫힌 부분집합 $Z$의 여집합에서 정의된 국소적으로 거듭제곱유계 또는 해석적 함수가 $\operatorname{codim}_X Z \geq 1$ 또는 $\geq 2$일 경우 전체 공간으로 유일하게 확장된다는 것을 증명하는 것.
• $\mathcal{O}_K$-평탄이고 정규인 형식 스킴의 전역 절단을 그 일반화된 섬유에서 국소적으로 거듭제곱유계 절단과 연결짓는 드 졸랑의 정리에 대한 새로운 증명을 제공하는 것.
• 자코브슨 아디크 공간과 가상강체 기하학의 기초 도구를 개발하는 것. 이는 노이터 정규화 보조정리와 해석적 전이 보조정리 등을 포함하며, 혼합 특성수 설정을 다룰 수 있도록 한다.

제안 방법

• 모든 $\mathcal{O}_K$-평탄이고 정규인 가상아핀 대수 $A$로의 축소를 통해 문제를 단순화하며, $X = \operatorname{Spa}(A)$이고 $Z$는 특별 섬유에 포함된다고 가정한다.
• 노름 이론적 계산을 통해 기본적인 가상아핀 대수 $D_n\langle X_1,\dots,X_r\rangle$ 위에서 헤브바이트케이츠 정리를 직접 검증한다.
• 적절한 유한성 및 평탄성 조건 하에서, $D_n\langle X_1,\dots,X_r\rangle$ 에서 $A\langle \pi/T^n \rangle$ 으로의 유한 임베딩을 노이터의 정규화 보조정리의 변형을 통해 구성한다.
• 뤼트케보름트의 Hilfssatz 1.7의 유사체를 제공하는 해석적 및 유계 전이 보조정리를 개발하여 특이점 근처로 함수를 확장할 수 있도록 한다.
• 자리크시의 주정리와 형식 함수 정리를 이용해 전역 절단 문제를 정의 아이디얼이 주어진 경우로 축소한다.
• 첫 번째 및 두 번째 헤브바이트케이츠 정리를 적용하여, $\mathcal{O}_X^+(X) \to \mathcal{O}_X^+(X\setminus Z)$ 및 $\mathcal{O}_X(X) \to \mathcal{O}_X(X\setminus Z)$ 의 제약 사상이 여부 조건 하에서 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 리만의 고전적 제거 가능한 특이점 정리들은 혼합 특성수를 가진 분석적 아디크 공간, 특히 $\mathcal{O}_K$ 위의 가상강체 공간으로 일반화될 수 있는가?
• RQ2 닫힌 부분집합 $Z$의 여부 조건이 어떤 조건일 경우, $X\setminus Z$에서 정의된 국소적으로 거듭제곱유계 또는 해석적 함수가 정규 가상강체 공간 $X$ 전체로 유일하게 확장되는가?
• RQ3 혼합 특성수에서의 대응 정리가 존재하지 않는 강체 기하학 결과에 의존하지 않고, 첫 번째 및 두 번째 헤브바이트케이츠 정리를 가상강체 설정에서 증명할 수 있는가?
• RQ4 $\operatorname{codim}_X Z \geq 1$ (해당 경우 $\mathcal{O}_X^+$) 또는 $\geq 2$ (해당 경우 $\mathcal{O}_X$)일 경우, 전역 절단에서의 제약 사상 $\mathcal{O}_X^+(X) \to \mathcal{O}_X^+(X\setminus Z)$ (또는 $\mathcal{O}_X(X) \to \mathcal{O}_X(X\setminus Z)$) 가 동형이 되는가?
• RQ5 이러한 확장 정리들을 활용하여, $\mathcal{O}_K$-평탄이고 정규인 형식 스킴의 전역 절단이 그 일반화된 섬유에서 국소적으로 거듭제곱유계 절단과 일치한다는 드 졸랑의 정리를 재증명할 수 있는가?

주요 결과

• 첫 번째 헤브바이트케이츠 정리가 성립한다: $\operatorname{codim}_X Z \geq 1$ 이면 $\mathcal{O}_X^+(X) \to \mathcal{O}_X^+(X\setminus Z)$ 는 동형이므로, $X\setminus Z$에서 정의된 모든 국소적으로 거듭제곱유계 함수는 $X$ 전체로 유일하게 확장된다.
• 두 번째 헤브바이트케이츠 정리가 성립한다: $\operatorname{codim}_X Z \geq 2$ 이면 $\mathcal{O}_X(X) \to \mathcal{O}_X(X\setminus Z)$ 는 동형이므로, $X\setminus Z$에서 정의된 모든 함수는 $X$ 전체로 유일하게 확장된다.
• 드 졸랑의 정리에 대한 새로운 증명이 제시된다: $\mathcal{O}_K$-평탄이고 정규인 형식 스킴 $\mathfrak{X}$가 $\mathcal{O}_K$ 위에서 국소적으로 유한형일 경우, 전역 절단 $\mathcal{O}_\mathfrak{X}(\mathfrak{X})$ 는 분석적 영역 $\mathfrak{X}_a$에서의 국소적으로 거듭제곱유계 절단의 링과 동형이다. 즉, $\mathcal{O}_\mathfrak{X}(\mathfrak{X}) \cong \mathcal{O}_\mathfrak{X}^+(\mathfrak{X}_a)$.
• 모든 $\mathcal{O}_K$-평탄 가상아핀 대수에 대해 노이터 정규화 보조정리가 확립되었으며, 이는 큰 $n$에 대해 $k((T))$-아핀 맵을 $D_n$ 위의 가상아핀 대수로 유한한 릿지로 올리는 데 필수적이다.
• $\mathcal{O}_K$-평탄이고 정규인 형식 스킴의 범주에서, $\mathfrak{X} \mapsto (\mathfrak{X}_a, \mathfrak{X}_{\text{red}}, \operatorname{sp}_\mathfrak{X})$ 의 함자적 사상이 완전한 함자적 사상이 되며, 이는 잔여체 $k$ 가 대수적으로 닫혀 있을 경우 성립한다.
• 유사하게, $\mathfrak{X}_a$ 와 $\mathfrak{X}_{\text{red}}$ 를 각각 일반화된 섬유 $\mathfrak{X}_\eta$ 와 특별 섬유의 완전화로 대체한 경우에도 동일한 조건 하에서 완전한 함자적 사상이 성립한다.