[논문 리뷰] Additive Chow groups of schemes

Amalendu Krishna, Marc Levine|ArXiv.org|2007. 02. 06.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 3

한 줄 요약

이 논문은 체 위의 매끄럽고 사영적인 다양체에 대해 블로흐의 고차 체인 그룹 위에 추가 체인 그룹의 모듈러 구조를 수립하여, 사영 범주 공식과 블로우업 공식을 가능하게 한다. 이는 기약적 유형의 스킴에 대해 무한대에서 로그 극을 가진 보렐-무어 이론으로 일반화되며, Guillién-Navarro Aznar 기법을 활용한다. 또한 특성 0에서 1-사이클의 추가 체인 그룹에서 절대 칼라흐 미분형식으로의 레지우얼 맵의 상사상성을 증명한다.

ABSTRACT

We show how to make the additive Chow groups of Bloch-Esnault, Ruelling and Park into a graded module for Bloch's higher Chow groups, in the case of a smooth projective variety over a field. This yields a a projective bundle formula as well as a blow-up formula for the additive Chow groups of a smooth projective variety. In case the base-field admits resolution of singularieties, these properties allow us to apply the technique of Guille'n and Navarro Aznar to define the additive Chow groups "with log poles at infinity" for an arbitrary finite-type k-scheme X. This theory has the usual properties of a Borel-Moore theory on finite type k-schemes: it is covariantly functorial for projective morphisms, contravariantly functorial for morphisms of smooth schemes, and has a projective bundle formula, homotopy property, Mayer-Vietoris and localization sequences. Finally, we show that the regulator map defined by Park from the additive Chow groups of 1-cycles to the modules of absolute Kaehler differentials of an algebraically closed field of characteristic zero is surjective, giving an evidence of conjectured isomorphism between these two groups.

연구 동기 및 목표

• 매끄럽고 사영적인 다양체의 체인 링 위에 추가 체인 그룹의 모듈러 구조를 수립하기 위해.
• 기약적 유형의 스킴에 대해 무한대에서 로그 극을 가진 보렐-무어 이론으로 추가 체인 그룹을 확장하기 위해.
• 확장된 이론에 대해 사영 범주 공식, 호모토피 불변성, 메이어-비에토리스 수열과 같은 기본 성질를 확립하기 위해.
• 특성 0에서 1-사이클의 추가 체인 그룹에서 절대 칼라흐 미분형식의 모듈러로의 레지우얼 맵의 상사상성을 증명하기 위해.
• 레지우얼 맵을 통한 추가 체인 그룹과 드 라무-위트 복합체 사이의 추측된 이隳수를 뒷받침하는 증거를 제공하기 위해.

제안 방법

• 캡 곱과 외부 곱의 구조를 통해 블로흐의 고차 체인 그룹이 추가 체인 그룹 위에 모듈러 작용을 정의한다.
• 해결의 단순화를 이용하여 Guillién-Navarro Aznar 방법을 적용해 기약적 유형의 스킴에서 추가 체인 그룹을 보렐-무어 이론으로 확장한다.
• 확장된 이론에서 매끄럽고 준사영인 다양체 간의 사상에 대해 당김(기시스) 맵을 도입한다.
• 대응의 작용과 사영 범주 공식을 이용해 확장된 이론의 구조적 성질를 유도한다.
• 네스테르енко-수스린-토토르 이隳수와 맵 η: k ⊗ K₀^M(k) → Ω^*ₖ를 활용해 추가 체인 그룹과 칼라흐 미분형식을 연결한다.
• 이동 보조정과 국소화 기법을 적용해 확장된 이론에서의 함자성과 정확한 수열을 검증한다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 다양체에 대해 추가 고차 체인 그룹이 체인 링 위에 모듈러 구조를 지닐 수 있는가?
• RQ2 무한대에서 로그 극을 가진 추가 체인 그룹의 확장된 이론이 기약적 유형의 스킴에서 보렐-무어 homology 이론의 공리를 만족하는가?
• RQ3 특성 0에서 1-사이클의 추가 체인 그룹에서 절대 칼라흐 미분형식의 모듈러로의 레지우얼 맵은 상사상인가?
• RQ4 K-이론의 아티야-히르체브루흐 스펙트럴 시퀀스는 모듈러스와 로그 극을 포함하도록 일반화될 수 있는가?
• RQ5 모듈러스가 존재할 경우 추가 체인 그룹과 드 라무-위트 복합체 사이의 관계는 무엇인가?

주요 결과

• 매끄럽고 사영적인 다양체의 추가 체인 그룹은 그 체인 링 위에 모듈러 구조를 지닌다. 이는 사영 범주 공식과 블로우업 공식을 가능하게 한다.
• 특성 0에서 해소가능한 체를 가진 체에 대해, 모든 기약적 유형의 스킴에 대해 무한대에서 로그 극을 가진 추가 체인 그룹이 정의되며, 모든 표준 보렐-무어 성질을 만족한다.
• 대수적으로 닫힌 체에서 특성 0일 경우, 1-사이클의 추가 체인 그룹에서 Ω¹ₖ로의 레지우얼 맵은 상사상이다.
• R^{n+3}_{1,m} ∘ μ = (−1)^n ⋅ η ∘ S^{n}_{1,m} 는 CH^n(k,n) ⊗ TCH^2(k,3;m) 위에서 성립하며, 칼라흐 미분형식과의 핵심 호환성을 확립한다.
• 대수적으로 닫힌 체의 경우 R^3_{1,m}(Γ) ≠ 0 이므로, 1차수에서 레지우얼 맵은 상사상임을 시사한다.
• 이론은 모듈러스와 로그 극을 포함한 추측된 아티야-히르체브루흐 스펙트럴 시퀀스를 지지하며, 고전적 프레임워크를 확장한다.