[논문 리뷰] Weierstrass preparation theorem and singularities in the space of non-degenerate arcs

Ngô Bảo Châu|arXiv (Cornell University)|2017. 06. 19.

Commutative Algebra and Its Applications참고 문헌 3인용 수 3

한 줄 요약

이 논문은 비퇴화된 호의 공간의 점에서의 형식적 완비화에 대해 Weierstrass 유형의 분해를 확립하며, 이가 유한형 스킴과 무한차원 형식적 디스크의 곱과 동형임을 보여준다. 주요 기여는 nilpotent 및 Weierstrass 유형의 사상들을 포함하는 다이어그램을 통해 양호한 슬라이스를 구성함으로써, 호 공간의 국소 구조가 무한차원 인자까지는 유한형 모델과 형식적으로 동치임을 증명하는 것이다.

ABSTRACT

We study the Weierstrass preparation and division theorems over arbitrary test rings and the local structure of singularities in the space of nondegenerate arcs on algebraic varieties. As an application, we prove a strengthened version of a theorem of Grinberg-Kazhdan and Drinfeld.

연구 동기 및 목표

• 비퇴화된 호의 공간의 국소 구조를 이해하기 위해.
• Grinberg-Kazhdan-Drinfeld 정리를 Weierstrass 준비를 통해 더 정교한 국소 모델로 확장하기 위해.
• 형식적 완비화에서의 형식적 동치를 갖는 호 공간의 양호한 슬라이스를 구성하기 위해.
• 유한형 모델을 통한 펄스러운 층과 교차 호몰로지의 정의를 위한 기초를 마련하기 위해.
• 유한차원 확장까지의 형식적 모델의 독립성을 명확히 하여, 호 공간 위의 정규 함수의 구성에 기여하기 위해.

제안 방법

• 사상의 다이어그램을 사용: $ N_{1,d} \to T_d \to T_d \times \mathbb{A}^\infty \simeq N_{1} \to \mathcal{L}X $, 여기서 $ T_d $ 는 $ S_{d+1}^{n+1} $ 에 대해 유한형이다.
• $ \mathrm{nil}_\infty $- quasi-isomorphism 의 개념을 적용하여 $ N_0 \to N_1 $ 을 연결함으로써 형식적 완비화에서 동형임을 보장한다.
• $ Q_{d+1} \to S_{d+1}^{n+1} $ 의 영 섹션을 따라 기저 변경을 통해 $ Y_d \subset T_d $ 를 구성함으로써, 유한형 $ k $-스킴을 얻는다.
• $ N_0 \to N_1 \to \mathcal{L}X $ 를 통해 올리기 위해 형식적 동치 성질을 사용하여 $ \phi(r): Y_d \to \mathcal{L}X $ 를 정의한다.
• $ Q_{d+1} \to S_{d+1}^{n+1} $ 에 따른 기저 변경에서 성질를 유지함으로써, $ Y_d \to T_d $ 가 형식적 완비화에서 동치임을 증명한다.
• 합성 사상 $ \phi(r): Y_d \to \mathcal{L}X $ 가 형식적 완비화에서 동치임을 확립함으로써, $ \hat{Y}_{y'} \times \hat{D}^\infty \simeq \widehat{\mathcal{L}X}_{x'} \times \hat{D}^\infty $ 를 유도한다.

실험 결과

연구 질문

• RQ1 비퇴화된 호의 공간의 국소 구조는 무한차원 형식적 디스크까지는 유한형 스킴으로 모델링될 수 있는가?
• RQ2 비퇴화된 호에서의 호 공간의 형식적 완비화는 Weierstrass 유형의 분해를 갖는가?
• RQ3 유한형 형식적 모델의 선택은 유한차원 확장까지 독립적인가? 이는 교차 호몰로지 함수 정의의 일관성을 보장한다.
• RQ4 호 공간에 대해 양호한 슬라이스를 구성할 수 있는가? 이 슬라이스의 형식적 완비화가 호 공간의 것과 동치여야 한다.
• RQ5 $ \mathrm{nil}_\infty $-quasi-isomorphism 이 호 공간의 다양한 모델을 연결하는 데 어떤 역할을 하는가?

주요 결과

• 비퇴화된 호 $ x' $ 에서 호 공간 $ \mathcal{L}X $ 의 형식적 완비화는 어떤 유한형 $ k $-스킴 $ Y_{y'} $ 에 대해 $ \hat{Y}_{y'} \times \hat{D}^\infty $ 와 동형임을 보여, 국소 유한형 모델을 확립한다.
• $ \phi(r): Y_d \to \mathcal{L}X $ 는 형식적 완비화에서의 동치이며, $ \hat{Y}_{y'} \times \hat{D}^\infty \simeq \widehat{\mathcal{L}X}_{x'} \times \hat{D}^\infty $ 를 의미함으로써, 양호한 슬라이스의 존재를 증명한다.
• $ Q_{d+1} \to S_{d+1}^{n+1} $ 에 따른 기저 변경을 통해 $ Y_d $ 를 구성함으로써 유한형 $ k $-스킴을 얻게 되어, 슬라이스가 대수적이고 잘 행동함을 보장한다.
• $ Y_d \to T_d $ 는 형식적 완비화에서의 동치이며, 이는 $ Q_{d+1} \to S_{d+1}^{n+1} $ 에 따른 기저 변경에서 유도되며, 이는 자체적으로 형식적 동치이다.
• $ N_0 \to N_1 $ 이 $ \mathrm{nil}_\infty $-quasi-isomorphism 이므로 형식적 완비화에서 동형임을 유도하며, 사상의 올리기 가능성을 보장한다.
• $ \phi_0(r): Y_d \to N_0 $ 는 형식적 완비화에서의 동치이며, $ N_0 \to \mathcal{L}X $ 가 Weierstrass 유형이므로 전체 합성 $ \phi(r) $ 도 형식적 완비화에서의 동치이다.