[논문 리뷰] Slices of motivic Landweber spectra

Markus Spitzweck|ArXiv.org|2008. 05. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 5

한 줄 요약

이 논문은 모티빅스 Landweber 스펙트럼의 슬라이스에 대한 일반적 결과를 Voevodsky의 모티빅스 Thom 스펙트럼 MGL에 대한 추측 하에 확립한다. 두 단계 방법—먼저 Landweber 정확한 E에 대해 MGL ∧ E 형태의 스펙트럼에서 결과를 증명하고, 그 후 코심플리셜 해상도를 사용하는 방식—을 통해 이러한 스펙트럼의 슬라이스가 모티빅스 Eilenberg-MacLane 스펙트럼 H와 MU의 호모토피 군에 의해 결정됨을 보이며, Conner-Floyd 동형사상의 모티빅스 유사체를 확인하고, 모든 컴팩트 스펙트럼으로 코homological Landweber 정확성을 확장한다.

ABSTRACT

We show that the Conjecture of Voevodsky concerning slices of the algebraic cobordism spectrum MGL implies a general statement about the slices of motivic Landweber spectra. In particular it confirms the possible approach suggested by Voevodsky for the computation of the slices of the homotopy algebraic K-theory spectrum KGL via a Conner-Floyd isomorphism complementing Levine's unconditional proof of these slices over perfect fields. A similar result, and Voevodsky's conjecture over fields of char. 0, are also announced by Hopkins-Morel.

연구 동기 및 목표

• Voevodsky의 MGL에 대한 추측 하에 모티빅스 Landweber 스펙트럼의 슬라이스에 대한 일반적 진술을 증명하기.
• [13]에서 제안된 KGL 슬라이스 계산 전략이 Conner-Floyd 동형사상에 의해 실현 가능한지 확인하기.
• 모티빅스 스태이블 카테고리에서 강하게 이중가능한 스펙트럼에서부터 모든 컴팩트 스펙트럼으로 코homological Landweber 정확성을 확장하기.
• 추측 하에 MGL의 제로 슬라이스가 모티빅스 Eilenberg-MacLane 스펙트럼 H임을 확립하기.
• 코심플리셜 해상도를 통해 슬라이스 필터레이션과 모티빅스 Landweber 정확성 조건 간의 잘 맞는 상호작용을 보여주기.

제안 방법

• MU-호모로지의 프로젝티브 차원에 대한 위상적 결과를 사용하여, Landweber 스펙트럼 E에 대해 MGL ∧ E 형태의 스펙트럼에 대한 슬라이스 분해를 증명하기.
• 슬라이스 필터레이션의 릿지 텐서 함자 구조를 이용하여 s*(E) ∧ s*(F)와 s*(E ∧ F)를 연결하고, 링 및 모듈러 구조를 유지하기.
• 일반적인 Landweber 스펙트럼을 MGL ∧ E 형태의 스펙트럼으로 표현하는 코심플리셜 해상도를 구성하여 첫 번째 경우로의 환원 가능하게 하기.
• 모티빅스 K-이론에 대한 Conner-Floyd 동형사상을 적용하여 MGL**X ⊗ MU* Z[u,u⁻¹]와 KGL**X 사이의 관계를 설정함으로써 추측되는 슬라이스 구조를 뒷받침하기.
• H-모듈러의 도파라티드 카테고리로 유령 맵을 분석하고 Landweber 스펙트럼의 고유성(유령 동치에 대해)을 확립하기.
• 모든 컴팩트 객체 X와 Landweber 정확성 조건을 만족하는 모든 M*에 대해 자연적 사상 α_M*,X: MGL**X ⊗_MU* M* → E**X 가 동형사상임을 증명하여, 코homological Landweber 정확성을 확인하기.

실험 결과

연구 질문

• RQ1 Voevodsky의 MGL 슬라이스에 대한 추측은 모티빅스 Landweber 스펙트럼의 슬라이스에 대한 일반적 기술을 암시하는가?
• RQ2 MGL과 Landweber 정확성에 의해 KGL 슬라이스를 계산하는 Conner-Floyd 동형사상 전략은 실현 가능한가?
• RQ3 모티빅스 설정에서 코homological Landweber 정확성은 강하게 이중가능한 스펙트럼을 넘어서 모든 컴팩트 스펙트럼에 대해 유효한가?
• RQ4 추측 하에 MGL ∧ E의 슬라이스는 Σ_T^i H ⊗ π_2i(MU) 와 동형인가?
• RQ5 모티빅스 Landweber 스펙트럼의 구성과 고유성에서, 유령 맵의 역할은 무엇인가?

주요 결과

• Voevodsky의 추측 하에, Landweber 정확한 E에 대해 MGL ∧ E의 슬라이스는 Σ_T^i H ⊗ π_2i(MU) 와 동형이다.
• 모든 컴팩트 X와 Landweber 정확성 조건을 만족하는 모든 M*에 대해, 사상 α_M*,X: MGL**X ⊗_MU* M* → E**X 는 동형사상이다.
• 코homological Landweber 정확성은 SH(S)_T 내의 모든 컴팩트 스펙트럼에 대해 유효하며, 강하게 이중가능한 스펙트럼에 한정되지 않는다.
• 추측 하에 MGL의 제로 슬라이스는 모티빅스 Eilenberg-MacLane 스펙트럼 H이다.
• D_MGL,T 에서 유래하는 SH(S)_T 내의 유령 맵은 SH(S) 내에서도 유령 맵이므로, Landweber 스펙트럼의 고유성(유령 동치에 대해)이 보장된다.