[논문 리뷰] Integration motivique sur les schemas formels

Julien Sebag|arXiv (Cornell University)|2001. 12. 21.

Logic, programming, and type systems인용 수 4

한 줄 요약

이 논문은 완비 이산 평가환수환을 갖는 형식 스킴 위에서 모티브적 적분을 확장하며, 형식 스킴의 그린버그 스킴에 대한 모티브적 측도를 도입한다. 이는 타인적 분기된 사상에 대해 변화변수 공식을 수립하여 Denef-Loeser 이론을 일반화하고 모티브적 및 p진 적분을 통합한다. 주요 결과는 칼라비-야우 다양체 위의 게이지 형식에 대한 모티브적 적분이 유일한 일반 섬유에 의존한다는 것이며, 이는 바티레프의 불변성과 p진 경우의 세르의 불변성을 복원한다.

ABSTRACT

We develop the theory of motivic integration for formal schemes

연구 동기 및 목표

• 완비 이산 평가환수환을 갖는 완전한 잔여체를 가진 형식 스킴 위로 모티브적 적분을 대수적 다양체에서 일반화하기.
• 형식 스킴의 그린버그 스킴에 대한 모티브적 측도를 정의하여 아크 스킴 구성의 일반화하기.
• 이 새로운 설정에서 타인적 분기된 사상에 대해 변화변수 공식을 수립하기.
• 바티레프의 허지 불변성과 세르의 p진 체적 불변성과 같은 고전적 불변성을 모티브적 적분을 통해 복원하기.
• 모티브적 및 p진 적분을 통합하기 위해 칼라비-야우 다양체 위의 게이지 형식에 대한 모티브적 적분이 유일한 일반 섬유에 의존한다는 것을 보여주기.

제안 방법

• 완비 이산 평가환수환 $R$ 위에서 형식적으로 평탄한 형식 스킴 $\mathcal{X}$ 에 대해 그린버그 스킴 $\mathrm{Gr}(\mathcal{X})$ 를 정의하며, 이는 양의 특성에서의 아크 스킴을 일반화한다.
• ц린더 집합을 사용하여 다양체의 그로텐디크 링의 완비화 값의 모티브적 측도 $\mu_{\mathcal{X}}$ 를 구성한다.
• 특히 자코비안 행렬식의 $\pi$-진 평가를 포함하는 지수적 적분 가능 함수의 개념을 도입한다.
• 측정 가능한 집합을 유한 개의 원통의 합집합으로 정의하고, 타인적 사상에 의한 역상 및 직접상에 대한 안정성을 증명한다.
• 타인적 사상 $h: \mathcal{Y} \to \mathcal{X}$ 에 대해 변화변수 공식을 수립하며, 자코비안 행렬식의 차수를 포함한다.
• 칼라비-야우 일반 섬유 위의 게이지 형식에 대한 모티브적 적분이 임의의 약한 네론 모델의 특별 섬유의 클래스와 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 완비 이산 평가환수환을 갖는 완전한 잔여체를 가진 형식 스킴 위로 모티브적 적분을 대수적 다양체에서 확장할 수 있는가, 특히 잔여체가 양의 특성을 가질 경우에 대해?
• RQ2 모르피즘 $k \hookrightarrow R$ 가 존재하지 않을 경우 아크 스킴 구성은 어떻게 일반화되어야 하는가?
• RQ3 형식 스킴 설정에서 적절한 측정 가능한 집합과 적분 가능한 함수의 개념은 무엇인가?
• RQ4 이 일반화된 모티브적 적분 이론에서 타인적 사상에 대해 변화변수 공식이 성립하는가?
• RQ5 바티레프의 허지 수와 세르의 p진 체적과 같은 고전적 불변성이 이 틀 안에서 모티브적 적분으로 복원될 수 있는가?

주요 결과

• p진 체 위의 칼라비-야우 다양체에서 게이지 형식에 대한 모티브적 적분은 게이지 형식의 선택에 영향을 받지 않으며, 그로텐디크 링에서 임의의 약한 네론 모델의 특별 섬유의 클래스와 일치한다.
• 완비 이산 평가환수환 $R$ 위에서 극대적이고 평탄한 모델을 가진 p진 칼라비-야우 다양체에 대해, 캐논리컬 선다이프의 생성자에 대한 모티브적 적분은 $\widehat{\mathcal{M}}$ 에서 특별 섬유의 클래스와 일치하며, 바티레프의 결과를 일반화한다.
• K 가 $\mathbf{Q}_p$ 의 유한 확장일 경우, 게이지 형식에 대한 모티브적 적분은 [17]의 보조정리 4.6.3에 의해 세르의 p진 체적 불변성으로 특수화된다.
• 형식 스킴 $\mathcal{X}$ 의 그린버그 스킴 $\mathrm{Gr}(\mathcal{X})$ 는 아크 스킴 $\mathcal{L}(X)$ 를 일반화하며, $R = k[[t]]$ 이고 $\mathcal{X}$ 가 $k$-다양체의 $\pi$-진 완비화일 경우 이 둘은 서로 동형이다.
• 타인적 사상 $h: \mathcal{Y} \to \mathcal{X}$ 에 대해 변화변수 공식이 성립하며, 자코비안 행렬식의 $\pi$-진 평가가 모티브적 측도의 지수에 나타난다.
• 이 이론은 [17]에서 보여지다시피 고전적 모티브적 적분과 p진 적분을 모두 일반화하는 통합적 프레임워크를 제공한다.