[논문 리뷰] On the algebraic cobordism spectra MSL and MSp

Ivan Panin, Charles Walter|arXiv (Cornell University)|2010. 11. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 27

한 줄 요약

이 논문은 대칭 T^∧2-스펙트럼의 범주에서 가환 모노이드로서의 대수적 코버던스 스펙트럼 MSL과 MSp를 구성하며, MSp가 모티빅 스테이블 호모토피 범주 SH(S)에서 심플렉틱적으로 방향화된 코homology 이론들에 대해 보편적임을 확립한다. 핵심 결과는 MSp에서 목표 A로의 가환 모노이드의 사상과 A 위의 당연한 심플렉틱 톰 클래스의 수열 사이에 자연스러운 전단사 관계가 존재한다는 것이다. 이는 MSp의 보편성의 증명이다.

ABSTRACT

We construct algebraic cobordism spectra MSL and MSp. They are commutative monoids in the category of symmetric T^{2}- spectra. The spectrum MSp comes with a natural symplectic orientation given either by a tautological Thom class th^{MSp} in MSp^{4,2}(MSp_{2}), a tautological Borel class b_{1}^{MSp} in MSp^{4,2}(HP^{\infty}) or any of six other equivalent structures. For a commutative monoid E in the category SH(S) we prove that assignment g -> g(th^{MSp}) identifies the set of homomorphisms of monoids g : MSp -> E in the motivic stable homotopy category SH(S) with the set of tautological Thom elements of symplectic orientations of E. A weaker universality result is obtained for MSL and special linear orientations.

연구 동기 및 목표

• 대칭 T^∧2-스펙트럼의 범주에서 가환 모노이드로서의 대수적 코버던스 스펙트럼 MSL과 MSp를 구성하는 것.
• 모티빅 스테이블 호모토피 범주 SH(S)에서 심플렉틱적으로 방향화된 코homology 이론들에 대해 MSp가 보편적 대상임을 확립하는 것.
• SH(S)의 가환 모노이드 A로의 사상 φ: MSp → A와 A 위의 당연한 심플렉틱 톰 클래스의 수열 사이에 자연스러운 전단사 관계가 존재함을 증명하는 것.
• 특수선형 및 심플렉틱 방향화를 위한 대수적 코버던스에서의 호모토피적 프레임워크를 제공하며, 보에보드스키의 MGL 구성의 확장이다.

제안 방법

• Sp_{2n}과 Σ_n ⊂ Sp_{2n}의 호환되는 작용을 갖는 BSp_{2n}과 MSp_n를 사용하여 MSp를 구성함으로써, 대칭 T^∧2-스펙트럼의 구조를 확보한다.
• MSp_2에서의 톰 클래스 th^MSp ∈ MSp^{4,2}(MSp_2) 또는 등가적으로 HP^∞에서의 보렐 클래스 b_1^MSp ∈ MSp^{4,2}(HP^∞)를 통해 당연한 심플렉틱 방향화를 MSp에 부여한다.
• 쿼aternionic 프로젝티브 번들의 정리(Quaternionic projective bundle theorem)를 사용하여 BSp_{2r}와 MSp_{2r}의 코homology를 계산하고, A^{*,*}(MSp)에서의 극한 역산을 가능하게 한다.
• 자연스러운 사상 A^{0,0}(MSp) → lim^1 A^{4r,2r}(MSp_{2r})가 동형임을 증명함으로써, 사상 분류에서의 차단 항목이 제거됨을 보인다.
• 대칭 T^∧2-스펙트럼의 보편 성질을 적용하여, φ ↦ φ(th^MSp)의 할당이 가환 모노이드 사상과 심플렉틱 톰 클래스 사이의 전단사 관계를 유도함을 보인다.
• 극한 체계의 구조와 연결 사상의 상사상성(surjectivity)을 이용하여 lim^1 항이 소멸함을 보이고, 이로 인해 A^{*,*}(MSp) ≅ A^{*,*}(pt)[[b_1,b_2,...]]^hom과 같은 동형이 성립함을 도출한다.

실험 결과

연구 질문

• RQ1 모티빅 호모토피 이론에서 심플렉틱 방향화에 대해 보편적인 대수적 코버던스 스펙트럼이 존재하는가?
• RQ2 MSp의 구성이 대칭 T^∧2-스펙트럼에서의 가환 모노이드의 구조로 확장될 수 있는가?
• RQ3 사상 φ: MSp → A에 대해 그 당연한 톰 클래스의 당김을 할당할 때, 이 할당이 A 위의 심플렉틱 방향화와 자연스러운 전단사 관계를 형성하는가?
• RQ4 극한 역산의 구조가 심플렉틱적으로 방향화된 코homology 이론들에 대해 A^{*,*}(MSp)를 계산하는 데 어떤 역할을 하는가?
• RQ5 기존 이론들인 헤르미티안 K-이론이나 윌트 군에 대해, 차단 군 lim^1 A^{2n-1,n}(MSL_n^{⟨n⟩}) 및 lim^1 A^{8r-1,4r}(MSp_{2r} ∧ MSp_{2r})는 소멸하는가?

주요 결과

• 스펙트럼 MSp는 대칭 T^∧2-스펙트럼의 범주에서 가환 모노이드이며, MSp_2에서의 당연한 톰 클래스 th^MSp ∈ MSp^{4,2}(MSp_2)에 의해 자연스러운 심플렉틱 방향화를 갖는다.
• SH(S)에서의 가환 모노이드 사상 φ: MSp → A와 A 위의 당연한 심플렉틱 톰 클래스의 수열 (θ_1, θ_2, ...) 사이에 자연스러운 전단사 관계가 존재하며, 이는 심플렉틱 방향화의 보편 성질을 만족한다.
• MSp의 코homology는 A^{*,*}(MSp) ≅ lim^1 A^{*,*}(MSp_{2r}) ≅ A^{*,*}(pt)[[b_1, b_2, ...]]^hom를 만족하며, 연결 사상의 상사상성으로 인해 lim^1 항이 소멸한다.
• MSp ∧ MSp에 대해서도 동일한 결과가 성립하며, A^{*,*}(MSp ∧ MSp) ≅ A^{*,*}(pt)[[b'_1, b'_2, ..., b''_1, b''_2, ...]]^hom이다.
• φ가 모노이드 사상임에 대한 장애는 사라지는데, 이는 A^{0,0}(MSp ∧ MSp) → lim^1 A^{8r,4r}(MSp_{2r} ∧ MSp_{2r})의 사상이 동형이기 때문이다.
• MSL에 대해서는 더 약한 보편성 결과가 성립한다: 사상 φ: MSL → A는 lim^1 장애를 제외한 특수선형 방향화와 대응되며, 이 장애는 Hom_{SH(S)}(MSL ∧ MSL, A)의 부분군에 위치한다.