[논문 리뷰] Orientable homotopy modules

Frédéric Déglise|arXiv (Cornell University)|2010. 05. 23.

Homotopy and Cohomology in Algebraic Topology인용 수 2

한 줄 요약

이 논문은 모렐이 제기한 추측을 증명하며, 보에보츠키의 호모토피 불변 층과 이행을 갖는 것들이 정확히 호프 사상 η가 자명하게 작용하는 호모토피 모듈러스임을 규명한다. 이러한 모듈러스와 로스트의 사이클 모듈러스 사이의 동치관계를 확립함으로써, 이 작업은 대수적 코바르던스의 구조적 기반을 제공하고, 모티브 코homology 스펙트럼 H를 통해 일반화된 코homology 이론에서의 정규 사이클 클래스를 구성한다.

ABSTRACT

We prove a conjecture of Morel identifying Voevodsky's homotopy invariant sheaves with transfers with spectra in the stable homotopy category which are concentrated in degree zero for the homotopy t-structure and have a trivial action of the Hopf map. This is done by relating these two kind of objects to Rost's cycle modules. Applications to algebraic cobordism and construction of cycle classes are given.

연구 동기 및 목표

• 모렐이 제기한, 이행을 갖는 호모토피 모듈러스와 η 작용이 자명한 호모토피 모듈러스 간의 관계에 대한 추측을 해결하는 것.
• 이행을 갖는 호모토피 모듈러스와 로스트의 사이클 모듈러스 사이의 범주적 동치관계를 확립하는 것.
• 일반화된 모티브 코hom로지 이론에서 사이클 클래스의 체계적 구성 방법을 제공하는 것.
• 안정 모티브 호모토피 범주에서 호프 사상 η가 방향성의 장애물로 작용하는 역할를 명확히 하는 것.

제안 방법

• 링 스펙트럼 위의 모듈러스 맥락에서 고스인 삼각형과 고스인 사상 을 사용하여, η 작용이 자명한 호모토피 모듈러스를 H-모듈러스와 연결한다.
• 나이브에이션 스펙트럴 시퀀스를 적용하고 그 미분을 계산하여 코homology 군의 구조를 분석한다.
• 이전 연구 결과에 기반하여, 이행을 갖는 호모토피 모듈러스가 유한 생성 체 확장 위에서의 그들의 섬유에 의해 결정됨을 이용한다.
• 나이브에이션 스펙트럴 시퀀스의 E2-항과 약한 방향성 스펙트럼에 대한 코homology 스펙트럴 시퀀스 사이에 정규 동형사상을 구성한다.
• 포스트니코프 타워와 잘라내는 함자들을 사용하여 모티브 스펙트럼에 대한 코homology 스펙트럴 시퀀스를 정의한다.
• MGL-모듈러스의 구조와 푸시포워드 사상들을 이용하여, 스펙트럴 시퀀스와 호환되는 고스인 사상을 정의한다.

실험 결과

연구 질문

• RQ1 이행을 갖는 호모토피 모듈러스와 η 작용이 자명한 호모토피 모듈러스 사이의 정확한 범주론적 관계는 무엇인가?
• RQ2 이행을 갖는 호모토피 모듈러스는 그 섬유 위의 대수적 구조로 어떻게 기술할 수 있는가?
• RQ3 호프 사상 η는 SH(k)에서 스펙트럼의 방향성 장애물로 어떤 역할를 하는가?
• RQ4 일반화된 모티브 코hom로지에서 사이클 클래스는 정규적으로 구성될 수 있으며, 어떤 조건에서 추론과 푸시포워드와 호환되는가?
• RQ5 약한 방향성 스펙트럼에 대해, 나이브에이션 시퀀스와 코homology 시퀀스의 E2-항은 어느 정도 일치하는가?

주요 결과

• 이행을 갖는 호모토피 모듈러스에서 호모토피 모듈러스로의 함자 γ∗ 는 전사적이며, 그 본질적 상은 정확히 η 작용이 0인 호모토피 모듈러스로 이루어져 있다.
• 이행을 갖는 호모토피 모듈러스는 로스트의 사이클 모듈러스와 동치이며, 이는 이행의 순수한 대수적 기술을 제공한다.
• 임의의 차원 d인 매끄럽고 연결된 스킴 X에 대해, 자연스러운 사상 MGL2d,d(X) → CH0(X) 는 동형사상이다.
• 모든 약한 방향성 스펙트럼 E에 대해, π0(E)∗ 가 방향성이고 음의 차수에서의 소멸 조건을 만족할 경우, CHn(X) → E2n,n(X) 에 대한 정규 사이클 클래스 사상 σX 가 존재한다.
• 약한 방향성 스펙트럼에 대해, 코homology 스펙트럴 시퀀스와 나이브에이션 스펙트럴 시퀀스의 E2-항은 서로 동형이며, 이 동형은 미분과 호환된다.
• MGL의 형식적 군 법칙에서 ψ: MGL → E 아래 계수 aij 가 소멸할 경우, 스펙트럼의 링 스펙트럼 사이의 정규 사상 σ: H → E 가 존재한다.