[논문 리뷰] Modules homotopiques (Homotopy modules)

Frédéric Déglise|arXiv (Cornell University)|2009. 04. 30.

Homotopy and Cohomology in Algebraic Topology인용 수 17

한 줄 요약

이 논문은 동치 불변 층과 전이를 갖는 범주(HI(k))를 사이클 모듈러스의 범주(MCycl(k))에 완전 충실하게 통합함으로써, 사이클 모듈러스가 비효율적 모티브 스펙트럴 호모토피 범주 DM(k) 위의 자연스러운 t-구조의 하트를 이룬다는 것을 보이며, 또한 DM(k)에서의 스키마에 대한 콘비에즈 스펙트럴 시퀀스가 호모토피 t-구조에 대한 초코homology 스펙트럴 시퀀스와 일치함을 증명한다. 이는 블로크와 오구스의 고전적 결과를 일반화한다.

ABSTRACT

The proof of the coincidence of the Gysin morphism in motivic cohomology and the usual pushout on Chow groups has been improved (see Lemma 3.3 and Proposition 3.11)

연구 동기 및 목표

• 보에보츠키의 동치 불변 층과 전이를 갖는 범주(HI(k))와 로스트의 사이클 모듈러스의 범주(MCycl(k))를 비교하는 것.
• HI(k)가 MCycl(k)에 완전 충실하게 통합되며, 이에 대한 역함수는 게르스텐 복합체의 제0 코homology로 주어진다는 것을 보이는 것.
• 이 비교를 비효율적 모티브 범주 DM(k)로 확장하여, MCycl(k)가 DM(k) 위의 자연스러운 t-구조의 하트가 됨을 보이는 것.
• DM(k)에서의 스크림 k-스키마에 대한 콘비에즈 스펙트럴 시퀀스가 호모토피 t-구조에 대한 초코homology 스펙트럴 시퀀스와 일치함을 증명하는 것.
• 블로크와 오구스의 콘비에즈 스펙트럴 시퀀스에 대한 고전적 결과를 DM(k)의 맥락으로 일반화하는 것.

제안 방법

• 저자들은 시신스키와 저자의 최근 작업을 바탕으로, 보에보츠키의 효율적 모티브 범주를 일반화하는 비효율적 모티브 범주 DM(k)의 구축을 사용한다.
• 그들은 이동 가능한 스킴의 Z-정수 계차를 갖는 층, 즉 이동 가능한 모듈러스라고 불리는, 이동에 대한 호환성 동형사상이 있는 Z-계차 층을 정의한다.
• 각 동치 불변 모듈러스 F에 대해, φ_n = Hom_{HI(k)}(G_m^{ ens n}, F)로 정의된 사이클 모듈러스 φ를 구성함으로써, HI*(k)에서 MCycl(k)로의 함자를 구성한다.
• 그들은 F의 게르스텐 복합체가 F ↦ φ를 통한 함수를 통해 정의된 사이클 모듈러스 φ에 대응하는 복합체 C*(X, φ)와 자연스럽게 동형임을 보인다.
• DM(k) 위의 t-구조를 사용하여, 그 하트가 MCycl(k)와 동치인 자연스러운 t-구조를 정의한다. 이는 효율적 범주 위의 호모토피 t-구조를 일반화한다.
• 콘비에즈 필터링이 스크림 k-스키마 X에서 DM(k)에서의 호모토피 t-구조에 대응하는 초코homology 스펙트럴 시퀀스와 같은 스펙트럴 시퀀스를 유도함을 보여, 스펙트럴 시퀀스의 일치를 증명한다.

실험 결과

연구 질문

• RQ1 동치 불변 층과 전이를 갖는 범주, HI(k),는 사이클 모듈러스의 범주 MCycl(k)에 완전 충실하게 통합되는가?
• RQ2 사이클 모듈러스의 범주 MCycl(k)는 비효율적 모티브 범주 DM(k) 위의 자연스러운 t-구조의 하트로 실현될 수 있는가?
• RQ3 DM(k)에서의 코homology에 대한 콘비에즈 스펙트럴 시퀀스는 호모토피 t-구조에 대응하는 초코homology 스펙트럴 시퀀스와 일치하는가?
• RQ4 동치 불변 모듈러스 F의 게르스텐 복합체는 로스트의 사이클 모듈러스 구성과 어떻게 관련이 있는가?
• RQ5 동치 불변 모듈러스는 그 기저체 위의 섬유들에 의해 얼마나 잘 결정되는가? 이는 사이클 모듈러스와 어떻게 관련이 있는가?

주요 결과

• 동치 불변 층과 전이를 갖는 범주, HI(k),는 F ↦ {Hom_{HI(k)}(G_m^{ ens n}, F)}_n를 통해 사이클 모듈러스의 범주 MCycl(k)에 완전 충실하게 통합된다.
• 사이클 모듈러스의 범주 MCycl(k)는 비효율적 모티브 범주 DM(k) 위의 자연스러운 t-구조의 하트와 동치이며, 이는 효율적 범주 위의 호모토피 t-구조를 일반화한다.
• DM(k)에 의해 표현되는 스크림 k-스키마의 코homology에 대한 콘비에즈 스펙트럴 시퀀스는 호모토피 t-구조에 대응하는 초코homology 스펙트럴 시퀀스와 동형이다.
• 동치 불변 모듈러스 F의 게르스텐 복합체는 F에 의해 정의된 사이클 모듈러스 φ에 대응하는 복합체 C*(X, φ)와 자연스럽게 동형이다.
• 동치 불변 모듈러스 F에서 사이클 모듈러스를 구성하는 과정 F ↦ {Hom_{HI(k)}(G_m^{ ens n}, F)}_n는 사이클 모듈러스 φ를 A^0(., φ)로 보내는 함수의 준역함수를 제공한다. 여기서 A^0(., φ)는 게르스텐 복합체의 제0 코homology이다.
• 이 결과는 고전적 블로크-오구스 스펙트럴 시퀀스 일치 결과를 비효율적 모티브 범주로 일반화한다.