[논문 리뷰] Orientation theory in arithmetic geometry

Frédéric Déglise|arXiv (Cornell University)|2011. 11. 17.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 28

한 줄 요약

이 논문은 모티브 호모토피 이론을 사용하여 산술기하학에서 방향성 이론을 개발하며, 절대 순수성 조건 하에서 특성류 및 기본류, Gysin 사상, 잔류 사상의 프레임워크를 수립한다. 임의의 자연스러운 변환에 대해 그로텐디크 스타일의 리만-로흐 공식을 증명하고 새로운 잔류 리만-로흐 공식을 유도하며, SGA6에서 예측한 바와 같이 유리 모티브 및 에테ール $\ell$-adic 코homology에 적용한다.

ABSTRACT

This work is devoted to study orientation theory in arithmetic geometric within the motivic homotopy theory of Morel and Voevodsky. The main tool is a formulation of the absolute purity property for an \emph{arithmetic cohomology theory}, either represented by a cartesian section of the stable homotopy category or satisfying suitable axioms. We give many examples, formulate conjectures and prove a useful property of analytical invariance. Within this axiomatic, we thoroughly develop the theory of characteristic and fundamental classes, Gysin and residue morphisms. This is used to prove Riemann-Roch formulas, in Grothendieck style for arbitrary natural transformations of cohomologies, and a new one for residue morphisms. They are applied to rational motivic cohomology and étale rational $\ell$-adic cohomology, as expected by Grothendieck in \cite[XIV, 6.1]{SGA6}.

연구 동기 및 목표

• 모티브 호모토피 이론을 사용하여 산술기하학에서 방향성 이론에 대한 통합된 공리적 프레임워크를 수립하기.
• 코homology 이론의 임의의 자연스러운 변환에 대해 그로텐디크 스타일의 리만-로흐 정리를 공식화하고 증명하기.
• 절대 순수성 조건 하에서 특성류 및 기본류, Gysin 사상, 잔류 사상 이론을 개발하기.
• 분석적 불변성과 수평적 당김, 과잉 교차, 투영 공식과의 호환성을 검증하기.
• 결과를 유리 모티브 코homology 및 에테ール 유리 $\ell$-adic 코homology에 적용하여 SGA6에서의 기대를 확인하기.

제안 방법

• 안정된 모티브 호모토피 범주에서 코Cartesian 단면으로 표현된 산술 코homology 이론에 대한 절대 순수성의 공식화를 사용한다.
• 코homology 이론의 공리(산술 코homology 이론 포함)를 적용하여 콘 차수, 톰 차수, $\mathbf{MGL}$-모듈러의 성질를 도출한다.
• 닫힌 포함과 프로젝티브 lci 사상에 대해 국소화 장점 완전열을 통해 Gysin 사상과 잔류 사상을 구성한다.
• 토드 클래스와 보편 공식을 사용하여 리만-로흐 정리를 도출하며, 대수적 K-이론과 코homology를 포함하는 명시적 교환 다이어그램을 활용한다.
• 형식적 군 법칙의 유일성을 이용하여, 덧셈 형식적 군 법칙의 경우 토드 클래스가 항등적으로 1임을 보인다.
• Gabber-Riou의 Gysin 사상과 비교하여 $\mathbb{Z}[1/N]$-스킴의 맥락에서 일관성을 확인하며, 조건 조정에 따라 일致함을 확인한다.

실험 결과

연구 질문

• RQ1 모티브 호모토피 이론을 사용하여 산술기하학에서 방향성 이론을 체계적으로 어떻게 개발할 수 있는가?
• RQ2 산술 코homology에서 Gysin 사상과 잔류 사상의 존재에 필요한 충분한 조건은 무엇인가?
• RQ3 모티브 맥락에서 코homology 이론 간의 임의의 자연스러운 변환에 대해 리만-로흐 공식은 어떻게 일반화되는가?
• RQ4 절대 순수성 성질이 분석적 불변성과 교차 이론과의 호환성을 보장하는 데 어떤 역할을 하는가?
• RQ5 이 프레임워크 내의 구성은 에테ール 코homology와 대수적 K-이론의 기존 결과와 어떻게 관련되어 있으며, 특히 SGA6의 맥락에서 어떤 의미를 갖는가?

주요 결과

• 절대 순수성 조건 하에서 특성류 및 기본류 이론이 철저히 발전되어 교차 이론의 체계적인 다루기가 가능해졌다.
• Gysin 사상과 잔류 사상은 닫힌 포함과 프로젝티브 lci 사상에 대해 구성되었으며, 수평적 당김, 과잉 교차, 투영 공식의 공리와 호환된다.
• 새로운 잔류 리만-로흐 공식이 증명되었으며, 고전적 그로텐디크 스타일 공식을 정규 봉우리가 있는 닫힌 포함의 경우로 확장한다.
• 고차 콘 캐릭터스터 $\operatorname{ch}_r$ 는 퀼렌 또는 와이벨 $KH_r$-이론에서 유리 모티브 및 에테ール $\ell$-adic 코homology로 잘 정의되며, 푸시포워드와 가환성을 가진다.
• 덧셈 형식적 군 법칙을 가진 이론의 경우, 리만-로흐 공식에서 토드 클래스는 항등적으로 1이며, 이는 보편 공식을 단순화시킨다.
• 이 논문에서 구성한 Gysin 사상은 $\mathbb{Z}[1/N]$-스킴의 경우, 이중성 관례가 정확히 맞춰질 때 Gabber-Riou의 사상과 일치한다.