[논문 리뷰] Grinberg-Kazhdan theorem and Newton groupoids

Vladimir Drinfeld|arXiv (Cornell University)|2018. 01. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 4

한 줄 요약

이 논문은 뉴턴의 근을 찾는 방법에서 영감을 받은 뉴턴 군oids를 사용하여 특성에 관계없이 그린버그-카즈단 형식적 호의 정리에 대한 증명을 제시한다. 이는 스킴 내의 매끄러운 호의 형식적 이웃이 무한차원 형식적 디스크와 유한형 스킴의 곱으로 분해됨을 보여주며, 군oids와 리 앨베로이드를 통해 기하학적 구조를 명확히 한다.

ABSTRACT

We first prove the Grinberg-Kazhdan formal arc theorem without any assumptions on the characteristic. This part of the article is equivalent to arXiv:math-AG/0203263. Then we try to clarify the geometric ideas behind the proof by introducing the notion of Newton groupoid (which is related to Newton's method for finding roots). Newton groupoids are certain groupoids in the category of schemes associated to any generically etale morphism from a locally complete intersection to a smooth variety.

연구 동기 및 목표

• 특성 0 이외의 체에서도 유효한 특성에 관계없는 그린버그-카즈단 형식적 호의 정리에 대한 새로운 증명을 제공하는 것.
• 지속적으로 에탈 기하학적 사상에 의해 연결된 국소적으로 완비교집합 스킴에서 매끄러운 다양체로의 사상과 관련된 뉴턴 군oids를 도입하여 증명의 기하학적 직관을 명확히 하는 것.
• 매끄러운 군oids가 다양체 위에서 일반적으로 추이적으로 작용할 수 있음을 보이며, 대수적 군 작용의 탄력적인 대안을 제공하는 것.
• 뉴턴 군oids 구성법을 통해 스킴의 형식적 호 공간과 기저 스킴의 기하학 사이의 연결 고리를 확립하는 것.
• 뉴턴 군oids의 리 앨베로이드가 자연스럽게 정의된 탄성층의 부분층과 동형임을 보이며, 미분기하학과 대수기하학을 연결하는 것.

제안 방법

• 형식적 호의 변형을 매개변수의 거듭제곱에 모odulo하여 해석하기 위해 준비 정리로 웨이어스트라스 나눗셈 정리를 사용한다.
• 지속적으로 에탈 사상에 의해 연결된 국소적으로 완비교집합 스킴에서 매끄러운 다양체로의 사상과 관련된 스킴의 군oids로서 뉴턴 군oids를 도입하며, 뉴턴의 방법을 통한 반복적 근의 찾기 방식을 코딩한다.
• 테스트 링(최대 아이디얼이 영항성인 국소 아르틴 대수)을 통한 형식적 이웃 구성법을 사용하여 형식적 호 공간의 점을 묘사한다.
• 핵심 공식 (5.10)을 사용하여 뉴턴 군oids의 구조를 정의하고, fppf 층 이론과 단사 사상의 추론을 통해 그 성질을 검증한다.
• 뉴턴 군oids의 리 앨베로이드와 탄성층의 부분층 사이의 동형, 특히 $\operatorname{Lie}(\Gamma_r) \cong (\varphi^*\Theta_Y)(-r\Delta_X)$에 의존하여 적분 가능성과 기하학적 통제를 확립한다.

실험 결과

연구 질문

• RQ1 체의 특성이 0이 아니라는 가정 없이 그린버그-카즈단 형식적 호의 정리를 어떻게 증명할 수 있는가?
• RQ2 스킴 내의 매끄러운 호의 형식적 이웃의 분해를 뒷받침하는 기하학적 구조는 무엇인가?
• RQ3 뉴턴의 방법과 반복적 근사 기법이 군oids를 통해 대수기하학에서 어떻게 나타나는가?
• RQ4 리 앨베로이드는 형식적 호의 무한소 대칭을 이해하는 데 어떤 역할을 하는가?
• RQ5 매끄러운 군oids는 다양체 위에서 일반적으로 추이적으로 작용할 수 있으며, 이는 대수적 군 작용과 어떻게 다를까?

주요 결과

• 스킴 $X$ 내의 매끄러운 호 $\gamma_0$의 형식적 이웃 $\mathcal{L}(X)_{\gamma_0}$ 는 $D^\infty \times Y_y$ 와 동형이며, 여기서 $Y_y$ 는 체 $k$ 위의 유한형 스킴 $Y$ 의 점 $y$ 에 대한 형식적 이웃이고, $D^\infty$ 는 형식적 디스크의 무한곱이다.
• 국소적으로 완비교집합에서 매끄러운 다양체로의 지속적으로 에탈 사상과 관련된 뉴턴 군oids $\Gamma_r$ 는 매끄러운 군oids이며, 그 리 앨베로이드는 $ (\varphi^*\Theta_Y)(-r\Delta_X) $ 와 동형이다. 이는 암시 함수 정리의 기하학적 실현이다.
• 사상 $ \operatorname{Maps}^\circ_N(\mathbb{A}^1, X/\Gamma_r) \to Z_r $ 는 단사이며, $ r \geq 3 $ 일 때는 $ Z'_r $ 로 인해 인수분해된다. 이는 군oids가 올바른 변형 자료를 포괄하고 있음을 보여준다.
• 방정식 (5.23)으로 정의된 스킴 $W$ 의 $\operatorname{Spec} A/(q)$ 의 임의의 점 위에서의 섹션은 비어 있지 않으며 정확히 한 점을 가지며, 이는 $ q^{-1}Q(x_0,y_0) $ 가 $q$ 모듈로 가역이기 때문이다.
• 만약 $ a \neq 0 $ 이면 군 스킴 $ (\Gamma_r)_z $ 는 $ \frac{\partial f}{\partial x}(x_0,y_0) = 0 $ 인지 여부에 따라 달라지며, 그 구조는 $z$ 에서 $X$ 의 특이점 유형을 반영한다.
• 앵커 사상 $ \tau: \operatorname{Lie}(\Gamma_r) \to \Theta_X $ 는 부분층 $ \mathfrak{a}_r = (\varphi^*\Theta_Y)(-r\Delta_X) $ 로의 동형이며, 리 앨베로이드의 구조가 기하학적으로 의미가 있음을 확인한다.