[논문 리뷰] Motivic Hodge modules

Brad Drew|arXiv (Cornell University)|2018. 01. 30.

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

한 줄 요약

이 논문은 복소수 위의 유한형 스킴에서 모티브 히오지 모듈러스에 대해 준-카테고리적으로 강화된 여섯 연산 형식을 구축하며, A1-호모토피 이론으로부터의 정규화된 모티브 실현을 제공한다. 이 실현은 구성 가능 대상에서 그로텐디크의 여섯 연산과 호환된다. 주요 기여는 델리뉴의 혼합 히오지 구조와 절대 히오지 코homology를 강화된 호모로지 공간을 통해 실현하는 완전히 강화된, t-구조를 갖는 프레임워크를 제공함으로써, 사이토의 혼합 히오지 모듈러스의 도파인 카테고리로의 실현 함자 구축에 실현 가능한 길을 열어준다.

ABSTRACT

We construct a quasi-categorically enhanced Grothendieck six-functor formalism on schemes of finite type over the complex numbers. In addition to satisfying many of the same properties as M. Saito's derived categories of mixed Hodge modules, this new six-functor formalism receives canonical motivic realization functors compatible with Grothendieck's six functors on constructible objects.

연구 동기 및 목표

• A1-호모토피 이론에서 사이토의 혼합 히오지 모듈러스의 도파인 카테고리로의 실현 함자 구축을 방해하는 장애를 해결하기 위해, 현재 준-카테고리적 강화가 부족한 상태에서의 문제를 해결한다.
• 유한형 C-스킴에서의 모티브 히오지 모듈러스 형식을 준-카테고리적으로 강화된 형태로 개발하여, 그로텐디크의 여섯 연산과 호환되며, 구성 가능 대상에서 SH(−)로부터의 정규화된 모티브 실현 함자를 갖는다.
• 델리뉴의 혼합 히오지 구조와 절대 히오지 코homology가 모티브 히오지 형식 내에서 강화된 호모로지 공간을 통해 정규화된 형태로 실현되는 프레임워크를 제공한다.
• 구성 가능 모티브 히오지 카테고리에 대해 무게 구조의 존재를 확립하며, 순수 히오지 구조의 생성자를 명시적으로 제공하고, 확장에 대해 안정성을 보장한다. 이는 순수성과 소멸 조건을 이용한다.
• 비교 함자들이 사이토의 카테고리로의 사상이 완전히 충실함을 보이며, 따라서 혼합 히오지 모듈러스를 실현하는 문제를 이러한 비교 함자 구축 문제로 환원할 수 있음을 보여준다.

제안 방법

• 유한형 C-스킴에서 X ↦ DH(X)의 준-카테고리적으로 강화된 여섯 연산 형식을 구축하며, 단순 체계로 확장된다.
• 구성 가능 모티브 히오지 모듈러스의 카테고리인 DHc(X)에 유리수 극화 가능한 혼합 히오지 구조의 도파인 카테고리인 Db(MHSp_Q)로의 정규화된 강화를 부여한다.
• 이 강화를 통해 Hs_B(X,Q)(r)를 단위 대상의 타이트 스케일링된 버전 간의 강화된 호모로지 객체의 s번째 코homology로 실현한다.
• 에테일 국소화된 A1-호모토피 카테고리로 인한 자연스러운 함자 SH(−) → DH(−)를 통해, 모티브 실현이 그로텐디크의 여섯 연산과 호환됨을 확립한다.
• 순수성과 코homological 지지의 소멸 조건을 이용하여, 브라운 재구성 정리와 표현 정리를 적용해 DHc(X)에 대해 무게 구조를 구축한다.
• 히로나카의 해소와 드종의 교체를 이용하여 h-내림내림을 확립하고, 무게 구조의 공리계를 검증하며, 절대 히오지 코homology에 대해 베일린슨–소울레 추측이 참임을 기반으로 한다.

실험 결과

연구 질문

• RQ1 모티브 히오지 모듈러스에 대해 그로텐디크의 연산과 호환되며, 델리뉴의 혼합 히오지 구조를 실현하는 준-카테고리적으로 강화된 여섯 연산 형식을 구축할 수 있는가?
• RQ2 A1-호모토피 이론에서 모티브 히오지 모듈러스로의 실현 함자를 구성 가능 대상에서 여섯 연산과 가환하게 만들 수 있는가?
• RQ3 모티브 히오지 형식의 구성 가능 부분카테고리에 대해 무게 구조가 존재하는가? 그리고 이를 명시적으로 묘사할 수 있는가?
• RQ4 모티브 히오지 형식에서 사이토의 혼합 히오지 모듈러스의 도파인 카테고리로의 비교 함자는 완전히 충실한가?
• RQ5 A1-호모토피 이론에서 알려진 t-구조가 없을 경우, 모티브 히오지 형식에서 t-구조의 존재를 확립할 수 있는가?

주요 결과

• 모티브 히오지 형식 DH(X)는 유한형 C-스킴에서 준-카테고리적으로 강화된 여섯 연산 체계를 제공하며, 그로텐디크의 연산과 호환되며, 단순 체계로 확장된다.
• 구성 가능 모티브 히오지 모듈러스의 카테고리인 DHc(X)는 Db(MHSp_Q)로의 정규화된 강화를 갖는다. 이에 따라 델리뉴의 혼합 히오지 구조 Hs_B(X,Q)(r)는 단위 대상의 타이트 스케일링된 버전 간의 강화된 호모로지 객체의 s번째 코homology로 실현된다.
• SH(−) → DH(−)의 모티브 실현 함자는 구성 가능 대상에 제한되었을 때 그로텐디크의 여섯 연산과 호환되며, A1-호모토피 이론과의 정규화된 연결 고리를 제공한다.
• 계수 체계 DHc(−)⊗은 G(순수 히오지 구조의 집합)에 대해 유일한 G-구성 가능 무게 구조를 갖는다. 비교 사상 ρ∗,⊗_Hdg,c는 무게 정확하다.
• 사상 ι∗,⊗_c: DHc(−)⊗ → DHc(−)⊗는 무게 정확하며, 모티브 히오지 형식이 혼합 히오지 이론에서 구성 가능 계수 이론에 대해 원하는 모든 조건을 충족시키지만, Db_c((−)an,Q)의 페르세이브 t-구조를 올리는 t-구조의 존재성만 제외하고는 모두 충족한다.
• DHc(−)에 대한 무게 구조 존재성은 베일린슨–소울레 추측이 필요하지 않으며, 절대 히오지 코homology에 대해 이와 유사한 추측이 이미 알려져 있으므로 성립한다.