[논문 리뷰] On the motivic commutative ring spectrum BO

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

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 37

한 줄 요약

이 논문은 스키틀링의 에르미트 $K$-이론을 기반으로 하는 동역학적 가환 링 스펙트럼 $\mathbf{BO}$를 구성한다. 이 스펙트럼은 안정적으로 피브르아틀(fibrant)이면서 $(8,4)$-주기적임을 보이며, $1/2$를 포함하는 기저 위의 매끄러운 스킴에서 에르미트 $K$-이론을 코homology 이론으로 실현한다. $\mathbf{BO}^{p,q}(X_+/U_+)$와 $KO^{[q]}_{2q-p}(X,U)$ 사이의 표준적 동형사상이 수립되며, 그로텐디크-위트 군의 텐서곱과 호환되는 유일한 가환 모노이드 구조가 $\mathbf{BO}$에 부여된다.

ABSTRACT

We construct an algebraic commutative ring T- spectrum BO which is stably fibrant and (8,4)- periodic and such that on SmOp/S the cohomology theory (X,U) -> BO^{p,q}(X_{+}/U_{+}) and Schlichting's hermitian K-theory functor (X,U) -> KO^{[q]}_{2q-p}(X,U) are canonically isomorphic. We use the motivic weak equivalence Z x HGr -> KSp relating the infinite quaternionic Grassmannian to symplectic $K$-theory to equip BO with the structure of a commutative monoid in the motivic stable homotopy category. When the base scheme is Spec Z[1/2], this monoid structure and the induced ring structure on the cohomology theory BO^{*,*} are the unique structures compatible with the products KO^{[2m]}_{0}(X) x KO^{[2n]}_{0}(Y) -> KO^{[2m+2n]}_{0}(X x Y). on Grothendieck-Witt groups induced by the tensor product of symmetric chain complexes. The cohomology theory is bigraded commutative with the switch map acting on BO^{*,*}(T^{2}) in the same way as multiplication by the Grothendieck-Witt class of the symmetric bilinear space <-1>.

연구 동기 및 목표

• Schlichting의 에르미트 $K$-이론을 코homology 이론으로 실현하는 동역학적 가환 링 스펙트럼 $\mathbf{BO}$를 구성한다.
• 기저에 $1/2$ 가 포함된 매끄러운 스킴에 대해 $\mathbf{BO}^{p,q}(X_+/U_+)$와 $KO^{[q]}_{2q-p}(X,U)$ 사이의 표준적 동형사상을 확립한다.
• $\mathbb{Z} \times HGr \xrightarrow{\sim} \mathbf{KSp}$의 동역학적 약한 동치를 이용하여, 동역학적 안정 호모토피 범주에서 $\mathbf{BO}$에 가환 모노이드 구조를 도입한다.
• $\mathbf{BO}^{*,*}$에 유도된 링 구조가 대칭 체인 복합체를 통한 그로텐디크-위트 군의 텐서곱과 유일하게 호환됨을 보인다.
• 모렐과 보예보츠키의 그라스만이안 정리들을 심플렉틱 설정으로 확장하여, 동역학적 비안정 호모토피 범주에서 $\mathbb{Z} \times HGr \simeq \mathbf{KSp}$를 증명한다.

제안 방법

• $\mathbf{BO}$를 $T$-스펙트럼으로 구성하며, 그 공간들은 이동된 대칭 구조를 가진 유계 복합체에 대한 스키틀링의 에르미트 $K$-이론 공간들의 피브르아틀 교체이다.
• $\mathbb{Z} \times HGr \xrightarrow{\sim} \mathbf{KSp}$의 동역학적 약한 동치를 사용하여, 동역학적 안정 호모토피 범주에서 $\mathbf{BO}$에 가환 모노이드 구조를 도입한다.
• 스펙트럼의 구조와 톰 클래스를 통해 $KO^{[n]}_i(X,U) \cong \mathbf{BO}^{2n-i,n}(\Sigma_T^\infty(X_+/U_+))$의 동형사상을 확립한다.
• 심플렉틱 코hom올로지의 보렐 클래스 이론을 적용하여, 심플렉틱 번들의 경우 $b_i(E,\phi) \in KO^{[2i]}_0(X)$를 정의하며, 이는 동치 $KSp \cong KO^{[2]}$를 이용한다.
• $CP^1$-스펙트럼 프레임워크와 아핀 그라스만이안 $CGr(m,n)$을 사용하여, 대수적 $K$-이론의 유사체로 $CP^{1+}$-스펙트럼 $\mathbf{BGL}^{\text{fin}}$과 $\mathbf{BGL}^{\text{geom}}$를 구성한다.
• 호모토피 이론적 기법, 특히 $\varprojlim^1$ 추론과 $\mathbf{A}^1$-호모토피를 활용하여 호환성과 표현 가능성의 검증을 수행한다.

실험 결과

연구 질문

• RQ1 기저에 $1/2$ 가 포함된 매끄러운 스킴에서, 스키틀링의 에르미트 $K$-이론을 코homology 이론으로 실현하는 동역학적 가환 링 스펙트럼 $\mathbf{BO}$를 $(8,4)$-주기적으로 구성할 수 있는가?
• RQ2 기저에 $1/2$ 가 포함된 매끄러운 스킴에 대해, 코homology 이론 $\mathbf{BO}^{p,q}(X_+/U_+)$와 $KO^{[q]}_{2q-p}(X,U)$ 사이에 표준적 동형사상이 존재하는가?
• RQ3 $\mathbb{Z} \times HGr \simeq \mathbf{KSp}$의 동역학적 약한 동치가 $\mathbf{BO}$에 그로텐디크-위트 군의 텐서곱과 호환되는 유일한 가환 모노이드 구조를 제공하는가?
• RQ4 심플렉틱 코hom올로지의 보렐 클래스는 $\mathbf{BO}$의 구조와 그 코homology 군에 어떻게 관련되는가?
• RQ5 모렐–보예보츠키의 그라스만이안 정리가 심플렉틱 케이스로 확장될 수 있는가? 즉, 동역학적 비안정 호모토피 범주에서 $\mathbb{Z} \times HGr \simeq \mathbf{KSp}$가 성립하는가?

주요 결과

• $\mathbf{BO}$는 안정적으로 피브르아틀이며 $(8,4)$-주기적이다. 그 코homology 군 $\mathbf{BO}^{p,q}(X_+/U_+)$는 스키틀링의 에르미트 $K$-이론 $KO^{[q]}_{2q-p}(X,U)$와 표준적으로 동형이다.
• $\mathbf{BO}^{*,*}$에 존재하는 링 구조는 대칭 체인 복합체를 통해 유도된 그로텐디크-위트 군의 텐서곱에 의해 유일하게 결정된다.
• $\mathbf{BO}^{*,*}$의 코homology 이론은 이중첨자 가환성(graded commutativity)을 가지며, 스위치 사상은 대칭 이차형식 공간 $\langle -1 \rangle$의 그로텐디크-위트 클래스를 통한 곱셈으로 작용한다.
• $\mathbb{Z} \times HGr \xrightarrow{\sim} \mathbf{KSp}$의 동역학적 약한 동치는 $\mathbf{BO}$에 동역학적 안정 호모토피 범주에서 가환 모노이드 구조를 도입하는 데 핵심적인 입력을 제공한다.
• 에르미트 $K$-이론 공간들의 피브르아틀 교체를 통한 $\mathbf{BO}$의 구성은 모든 무게에 대해 균일한 처리를 보장하며, 비아핀 스킴과 열린 쌍에 자연스럽게 대응한다.
• 모렐과 보예보츠키의 그라스만이안 정리가 심플렉틱 케이스로 확장되었음을 검증하였으며, $\mathbb{Z} \times HGr \simeq \mathbf{KSp}$가 $H_\bullet(S)$에서 성립함을 증명하였다. 이는 $\mathbf{BO}$의 구성 기반을 제공한다.