[논문 리뷰] Jets via Hasse-Schmidt Derivations

Paul Vojta|arXiv (Cornell University)|2004. 07. 07.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 52

한 줄 요약

이 논문은 해세-슈마이트 고차 도함수를 사용하여 스킴 위의 제트를 정의하는 새로운 대수적 프레임워크를 제안한다. 이는 고전적 제트 이론을 매끄럽고 특성 0인 스킴에 국한되지 않고 임의의 스킴, 특이점, 임의의 특성으로 일반화한다. 주요 기여는 스킴 $X$ 위에서 $Y$ 에 대한 제한된 호차 $ olimits\operatorname{Spec} R[[t]]/(t^{m+1}) \to X$ 를 분류하는 군집된 선형 대수적 복합체 $ olimits\operatorname{HS}^{m}_{X/Y}$ 의 구축으로, 대수기하학 전반에 걸쳐 제트 공간을 통합하고 상대적 및 로그 제트 구성이 가능하게 한다.

ABSTRACT

This note is intended to provide a general reference for jet spaces and jet differentials, valid in maximal generality (at the level of EGA). The approach is rather concrete, using Hasse-Schmidt (divided) higher differentials. Discussion of projectivized jet spaces (as in Green and Griffiths (1980)) is included.

연구 동기 및 목표

• 매끄럽고 특성 0인 스킴에 국한되지 않고, 임의의 스킴, 특히 특이점이 있거나 양의 특성을 가진 경우에도 고전적 제트 이론을 일반화하기 위해.
• 전통적인 미분형식 대신 해세-슈마이트 고차 도함수를 사용하여 제트 공간의 통합된 대수적 구성법을 제공하기 위해.
• 스킴의 상대적 사상 $X \to Y$ 에 대해 제트 공간 형식을 확장하여, 제한된 디스크에서의 사상으로서 제트의 함자적 기술을 가능하게 하기 위해.
• 로그 제트 공간에 대한 향후 연구를 위한 기초를 마련하기 위해, $\operatorname{HS}^{m}_{X/Y}(\log D)$ 의 개념적 프레임워크를 도입하기 위해.
• 제트 대수 $\operatorname{HS}^{m}_{B/A}$ 가 에탈로컬라이제이션에 대해 보존됨을 입증함으로써, 스킴 위의 복합체로의 전역 조합이 가능함을 보장하기 위해.

제안 방법

• 레이비니츠 유형 항등식을 만족하는 $A$-선형 사상의 순서 $(D_0, \dots, D_m)$ 로 고차 도함수를 정의하여, 도함수를 고차로 일반화하기 위해.
• 레이비니츠 법칙과 덧셈성을 나타내는 관계를 부여한 다항식 대수의 몫으로서 대수 $\operatorname{HS}^{m}_{B/A}$ 를 구성하기 위해.
• $\operatorname{HS}^{m}_{B/A}$ 가 고차 도함수의 함자에 대해 유일성 성질을 만족함을 보여, $B$ 에서 $R$ 으로 가는 $A$-상대 고차 도함수의 함자를 핵심적으로 표현함을 입증하기 위해.
• $\operatorname{HS}^{m}_{B/A}$ 가 에탈 기저 변경에 대해 보존됨을 증명하여, 스킴 $X$ 위에 $\operatorname{HS}^{m}_{X/Y}$ 라는 복합체를 구성할 수 있음을 보장하기 위해.
• 상대 제트 공간 $J_m(X/Y)$ 를 상대 스펙트럼 $\operatorname{Spec} \operatorname{HS}^{m}_{X/Y}$ 로 정의하여, 함자 $Z \mapsto \operatorname{Hom}_Y(Z[[t]]/(t^{m+1}), X)$ 를 표현함을 보여주기 위해.
• 프로젝티브 제트 공간을 $\operatorname{Proj} \operatorname{HS}^{m}_{X/Y}$ 를 통해 확장하여, 그린-그리피스와 세무플-데메를리의 구성과 일치함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 매끄럽지 않거나 특성 0이 아닌 경우에도, 스무딩 조건이나 특성 0 가정 없이, 임의의 특성(혼합 또는 양의 특성 포함)에서 제트 공간을 어떻게 정의할 수 있는가?
• RQ2 클래식적인 제트 구성법이 미분형식의 대칭 대수를 사용하는 것을 해세-슈마이트 도함수로 일반화하여 고차 제트를 균일하게 다룰 수 있는가?
• RQ3 어떻게 제트 공간을 임의의 스킴, 특히 특이점이 있거나 비매끄러운 경우에도 함자적이고 복합체 이론적으로 만들 수 있는가?
• RQ4 고차 제트 이론에서 $\bigoplus_{d\geq 0} S^d \Omega_{B/A}$ 를 대체할 올바른 대수적 구조는 무엇인가?
• RQ5 해세-슈마이트 프레임워크와 호환되는 방식으로 로그 제트 공간을 어떻게 구성할 수 있는가?

주요 결과

• $\operatorname{HS}^{m}_{B/A}$ 는 고차 도함수의 순서 $m$ 에 대한 함자를 핵심적으로 표현하는 군집된 $B$-대수이며, 제트 대수의 보편 성질을 일반화한다.
• $\operatorname{HS}^{m}_{B/A}$ 가 에탈 기저 변경에 대해 보존되므로, $\operatorname{HS}^{m}_{X/Y}$ 를 스킴 $X$ 위에 복합체로 구성하는 것이 에탈 강하를 통해 가능하다.
• 상대 제트 공간 $J_m(X/Y)$ 는 $\operatorname{Spec} \operatorname{HS}^{m}_{X/Y}$ 와 동형이며, $Y$-스킴 $Z$ 에 대해 함자 $Z \mapsto \operatorname{Hom}_Y(Z[[t]]/(t^{m+1}), X)$ 를 표현한다.
• $m > 0$ 이면 프로젝티브 제트 공간 $\operatorname{Proj} \operatorname{HS}^{m}_{X/Y}$ 는 $\mathbb{G}_m$-몫을 통해 그린-그리피스와 세무플-데메를리의 구성과 일치한다.
• 이 프레임워크는 자연스럽게 로그 제트 공간으로 확장되며, 전체 구성은 향후 연구로 연기되지만, $D$ 가 정상 교차 분할이면 $\operatorname{HS}^{m}_{X/Y}(\log D)$ 는 에탈 복합체가 되어야 한다.
• 완비화와 헨젤라이제이션과의 호환성이 입증되었으며, $\widehat{A^\text{h}} = \widehat{A}$ 와 $\sqrt{IA^\text{h}} = \sqrt{I}A^\text{h}$ 를 통해 형식 이웃의 호환성이 보장된다.