[논문 리뷰] On the formalisme of mixed sheaves

Morihiko Saito|ArXiv.org|2006. 11. 20.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 7

한 줄 요약

이 논문은 복소수에 통합 가능한 체 위의 대수다양체 위의 혼합 층에 대한 형식을 제안하며, 혼합 호지 모듈과 ℓ-아디ック 층을 일반화하는 혼합 모티브 층의 범주를 구축한다. 기하학적 기원 대상의 유도 범주 내에서 유리 Chow 군에서 Ext 군으로의 사이클 맵을 수립하고, 그 사상의 전성과 허지 유형 추측이 동치임을 보여, 모티브 코homology와 호지 이론을 연결한다.

ABSTRACT

We give a formalism of mixed sheaves on varieties over a subfield of the complex number field.

연구 동기 및 목표

• 수체 위의 다양체에서 혼합 호지 모듈과 ℓ-아디크 층을 통합하는 혼합 층의 형식을 개발한다.
• 기하학적 기원 대상에 기반하여 혼합 모티브 층의 범주를 정의하며, 표준 함자들과 편재 층으로의 忘却 함자와 호환된다.
• 기하학적 기원 혼합 층의 유도 범주의 Ext 군으로의 사이클 맵을 수립한다.
• 이 사이클 맵의 전성이 매끄럽고 사영인 다양체에 대해 허지 유형 추측과 동치임을 보인다.
• 이 형식이 블로흐의 추측과 모티브 코hom로의 구조에 미치는 영향을 탐색한다.

제안 방법

• 체 k 위의 대수다양체에서 A-혼합 층의 범주를 정의하며, 대칭, 당김, 직접 이미지, 외부 곱에 대해 안정적이며, X(ℂ) 위의 편재 층으로의 忘却 함자가 존재한다.
• 혼합 층의 유계 유도 범주 D^b(M(X))를 구성하며, 표준 함자 f_*, f_!, f^*, f^!, ψ_g, φ_g,1, D, ⊗, Hom에 대해 안정되고 忘却 함자와 호환된다.
• 상수 층 Q^M on Spec k 에서 표준 함자를 반복 적용하고 부분구조 및 몫을 취하여 기하학적 기원 대상의 전체 부분범주 M(X)^go 를 정의한다.
• A = ℚ 인 경우, M(X)를 필터링이 있는 정규화된 정칙 홀로노믹 D-모듈, X_σ(ℂ) 위의 ℚ-편재 층, X_σ(ℂ) 위의 ℚ_l-편재 층, 그리고 호환되는 필터링 W 를 포함하는 구조로 실현하며, 혼합 호지 모듈과 ℓ-아디크 층을 일반화한다.
• 유리 Chow 군에서 모티브 Ext 군으로의 자연스러운 사이클 맵 CH^p(X)_Q → Ext^{2p}_{D^b M(X)^go}(Q_X^M, Q_X^M(p)) 를 구성한다.
• 이 사이클 맵의 전성 문제를, 절대 호지 사이클이 대수적임을 보장하는 허지 유형 추측으로 환원한다.

실험 결과

연구 질문

• RQ1 수체 위의 다양체에서 혼합 호지 모듈과 ℓ-아디크 층을 통합하는 혼합 층의 형식을 구성할 수 있는가?
• RQ2 기하학적 기원 혼합 층의 유도 범주의 Ext 군으로의 사이클 맵이 전성인가?
• RQ3 이 사이클 맵의 전성이 매끄럽고 사영인 다양체에 대해 허지 유형 추측을 함의하는가?
• RQ4 기저 체 전환을 통해 사이클 맵의 단사성은 복소수 다양체의 경우로 환원될 수 있는가?
• RQ5 사이클 맵의 전성과 블로흐의 고차 Chow 군에 대한 추측 사이의 관계는 무엇인가?

주요 결과

• 사이클 맵 CH^p(X)_Q → Ext^{2p}_{D^b M(X)^go}(Q_X^M, Q_X^M(p)) 가 구성되었으며, 이 맵의 전성이 모든 k 위의 매끄럽고 사영인 다양체에 대해 허지 유형 추측이 성립할 때에만 성립함을 보였다.
• 이 사이클 맵의 단사성은 X_ℂ 위의 사이클 맵의 단사성으로 환원되며, 이는 CH^p(X)_Q → CH^p(X_ℂ)_Q 의 단사성에 기인한다.
• A = ℚ 인 경우, 범주 M(X) 는 필터링이 있는 정규화된 정칙 홀로노믹 D-모듈, X_σ(ℂ) 위의 ℚ-편재 층, X_σ(ℂ) 위의 ℚ_l-편재 층, 그리고 호환되는 필터링 W 를 포함하는 구조로 실현되며, 비교 동형사상과 극화 조건을 만족한다.
• 기하학적 기원 대상의 전체 부분범주 M(X)^go 는 혼합 층의 모든 공리를 만족하며, 혼합 모티브 층의 범주와 동치일 것이라 추측된다.
• n = dim X 인 경우, 사이클 맵 (8.11.1) 의 전성이, 차원 ≤ dim X 인 경우 d+1 에서의 사이클 맵 전성으로 환원되며, 이는 허지 유형 추측을 전제로 한다.
• d ≥ dim X - 2 인 경우, 사이클 맵 (8.11.2) 의 단사성이 허지 유형 추측 하에 확보되었으며, p ≤ 1 인 경우 Ext 군의 사상들의 전성에 기반한다.