[논문 리뷰] Formal and rigid geometry: an intuitive introduction, and some applications

Johannes Nicaise|arXiv (Cornell University)|2007. 01. 19.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 비유클리드적 장 위의 대수기하학과 산술 및 특이점 이론을 연결하는 데서 중요한 역할을 하는 형식기하학과 강한 기하학에 대한 직관적인 소개를 제공한다. 형식 스킴이 무한소 구조를 어떻게 포착하는지와 강한 기하학이 비유클리드적 설정에서 해석 기법을 어떻게 가능하게 하는지 설명하며, Sebag 및 저자의 작업을 통해 밀놀러 분할과 모티프적 zeta 함수에 대한 핵심 응용을 다룬다.

ABSTRACT

We give an informal introduction to formal and rigid geometry over complete discrete valuation rings, and we discuss some applications in algebraic and arithmetic geometry and singularity theory, with special emphasis on recent applications to the Milnor fibration and the motivic zeta function by J. Sebag and the author.

연구 동기 및 목표

• 대수기하학 및 산술기하학 분야의 연구자들에게 형식기하학과 강한 기하학에 대한 개념적이고 접근 가능한 개요를 제공하기 위해.
• 형식 스킴, 그 일반성 섬유(강한 다양체), 그리고 잔여체 위의 특수 섬유 간의 관계를 명확히 하기 위해.
• 특이점 연구를 위한 이러한 도구의 사용을 동기화하기 위해, 특히 밀놀러 분할과 모티프적 zeta 함수를 통해.
• 강한 기하학이 고전적 그로텐디크 위상수학의 한계를 넘어서 비유클리드적 설정에서 위상수학적 기법을 가능하게 하는 방식을 설명하기 위해.
• 추상적인 형식기하학 및 강한 기하학적 구조를 갈릴로아 이론과 곡선의 준안정 환원에 대한 구체적 응용과 연결하기 위해.

제안 방법

• 완전한 이산 평가환환 $ R $ 위의 형식 스킴을 사용하여, 잔여체 $ k $ 위의 특수 섬유 $ X_0 $ 와 그 무한소 이웃을 모두 $ \widehat{X} $ 를 통해 코딩한다.
• 형식 스킴 $ \widehat{X} $ 의 일반성 섬유 $ X_\eta $ 는 균일화자 $ \pi $ 를 역으로 취하여, $ K $ 위의 강한 해석적 공간을 얻는다.
• 베르코비치의 스펙트럴 이론을 강한 기하학에 적용하여 해석적 공간에 진정한 위상을 도입하고, 고전적 대수기하학 위상수학 기법을 가능하게 한다.
• 강한 공간에서 그들의 표준 환원 $ \widetilde{L} $ 에 대한 감소 사상은 형식 섬유가 특이점 탐지에 핵심 도구가 되도록 한다.
• 강한 해석적 곡선의 아핀로드 커버리지에 대한 패치워크 기법을 사용하여, 표준 환원의 붙임으로써 준안정 모델을 구성한다.
• GAGA 유형 정리를 적용하여 강한 해석적 커버리지를 대수적 에탈 커버리지로 대수화하고, 비유클리드적 장 위에서 갈릴로아 확장을 구성할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 형식 스킴 $ R $ 위에서 특수 섬유와 그 무한소 이웃이 산술기하학에서 어떻게 통합되는가?
• RQ2 고전적 그로텐디크 위상수학에 비해 비유클리드적 해석기하학에서 강한 기하학이 더 기하학적인 프레임워크를 어떻게 제공하는가?
• RQ3 강한 공간의 형식 섬유가 닫힌 점에서의 표준 환원에 대해, 매끄러움이나 일반 이중점과 같은 기하적 성질을 어떻게 탐지할 수 있는가?
• RQ4 유한 확장 $ R' $ 의 $ R' $-절단(sections)이 형식 스킴의 일반성 섬유와 특수 섬유를 연결하는 데 어떤 역할을 하는가?
• RQ5 강한 기하학에서의 패치워크 기법을 어떻게 활용하여 곡선과 갈릴로아 커버리지의 준안정 모델을 구성할 수 있는가?

주요 결과

• 형식 스킴 $ \widehat{X} $ 의 일반성 섬유 $ X_\eta $ 는 $ K $ 위의 강한 해석적 공간이며, 그 $ K' $-점들은 $ X $ 의 $ R' $-절단과 대응되며, 일반성 섬유와 특수 섬유 사이에 정규적인 연결 고리를 확립한다.
• 아핀도메인 $ U $ 의 표준 환원 $ \widetilde{U} $ 상의 닫힌 점 $ x $ 는 그 형식 섬유가 반지름 1인 열린 디스크와 위상동형일 때이고, 그때에만 매끄럽다.
• 장 $ L $ 위의 곡선 $ C $ 에 대해 준안정 모델은, $ C^{an} $ 의 유한한 적합한 커버 $ \mathfrak{U} $ 를 찾음으로써 구성되며, 그 표준 환원 $ \widetilde{U} $ 는 준안정이어야 하고 서로 붙일 수 있어야 한다.
• 강한 기하학을 통해 강한 해석적 곡선의 에탈 커버리지를 구성하고, GAGA 정리를 통해 대수적 에탈 커버리지로 대수화할 수 있으며, 기저 장 위에서 대수적 에탈 커버리지를 얻을 수 있다.
• 프로젝트브 라인에 대한 아브하앙카르의 추측은 강한 기하학을 통해 실현된다: 유한군 $ G $ 는 $ \mathbb{P}^1_k $ 의 커버의 갈릴로아 군으로 실현 가능하다. 이는 $ \infty $ 를 제외한 곳에서만 분지가 있으며, $ G $ 가 $ p $-거듭제곱 순서를 갖는 원소들에 의해 생성될 때에 한하여 성립한다.
• 하르바터의 정리는 강한 설정에서 실현된다: 임의의 유한군 $ G $ 에 대해, $ X $ 가 매끄럽고, 사영적이며, 절대적으로 기약인, 어떤 $ L $-유리점에서 분지가 없는 갈릴로아 커버 $ X \to \mathbb{P}^1_L $ 가 존재한다.