[논문 리뷰] Motivic twisted K-theory

Markus Spitzweck, Paul Arne Østvær|arXiv (Cornell University)|2010. 08. 29.

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

한 줄 요약

이 논문은 유니버설 $\mathsf{B}\mathbf{G}_{\mathfrak{m}}$-_bundle를 통해 정의된 무게 1의 차수 3 모티브(co)호몰로지 클래스를 이용하여 모티브 twisted K-이론을 도입한다. 삼중적 등급의 Tor 스펙트럴 시퀀스와 $E_{\infty}$-링 스펙트럼 프레임워크를 활용하여 동치적 모티브 twisted K-이론에 대한 Künneth isomorphism을 확립하고, twisted K-이론이 twisted periodized rational 모티브(co)호몰로지와 유리수 위상에서 동형임을 보여주는 유리수 Chern character를 구성한다.

ABSTRACT

This paper sets out basic properties of motivic twisted K-theory with respect to degree three motivic cohomology classes of weight one. Motivic twisted K-theory is defined in terms of such motivic cohomology classes by taking pullbacks along the universal principal BG_m-bundle for the classifying space of the multiplicative group scheme. We show a Kuenneth isomorphism for homological motivic twisted K-groups computing the latter as a tensor product of K-groups over the K-theory of BG_m. The proof employs an Adams Hopf algebroid and a tri-graded Tor-spectral sequence for motivic twisted K-theory. By adopting the notion of an E-infinity ring spectrum to the motivic homotopy theoretic setting, we construct spectral sequences relating motivic (co)homology groups to twisted K-groups. It generalizes various spectral sequences computing the algebraic K-groups of schemes over fields. Moreover, we construct a Chern character between motivic twisted K-theory and twisted periodized rational motivic cohomology, and show that it is a rational isomorphism. The paper includes a discussion of some open problems.

연구 동기 및 목표

• 무게 1의 차수 3 모티브(co)호몰로지 클래스를 이용하여 모티브 twisted K-이론 이론을 개발한다.
• 모티브 K-이론의 $\mathsf{B}\mathbf{G}_{\mathfrak{m}}$ 위에서 동치적 모티브 twisted K-이론에 대한 Künneth isomorphism을 확립한다.
• 모티브 (co)호몰로지와 twisted K-군 사이를 연결하는 스펙트럴 시퀀스를 구성하고, 이는 고전적 대수적 K-이론에 대한 스펙트럴 시퀀스를 일반화한다.
• 모티브 twisted K-이론에서 twisted periodized rational 모티브(co)호몰로지로 가는 Chern character를 정의하고, 이것이 유리수 동형임을 증명한다.

제안 방법

• 모티브 twisted K-이론을 $\mathsf{M}\mathbf{Z}^{3,1}(\mathscr{X})$에 속하는 클래스에 의해 유도된 유니버설 $\mathsf{B}\mathbf{G}_{\mathfrak{m}}$-bundle을 따라 호모토피 pullback을 통해 정의한다.
• 모티브적 약한 동치 $\mathsf{B}\mathbf{G}_{\mathfrak{m}}$와 $\mathbf{P}^\infty$ 사이의 관계를 이용하여 스 suspension 스펙트럼 위에 모듈러 구조를 구성한다.
• 삼중적 등급의 Tor 스펙트럴 시퀀스를 이용하여 모티브 twisted K-이론을 다루고, $\mathsf{KGL}_\ast(\mathbf{P}^\infty)$ 위에 존재하는 Adams Hopf algebroid의 구조를 활용한다.
• 모티브적 맥락에서 $E_{\infty}$-링 스펙트럼의 개념을 채택하여 모티브 (co)호몰로지와 twisted K-군을 연결한다.
• 모티브 twisted K-이론에서 twisted periodized rational 모티브(co)호몰로지로 가는 Chern character를 구성한다.
• Landweber exactness와 등급화된 Hopf algebroid 위의 코모듈 구조를 이용하여 Chern character의 유리수 동형성을 증명한다.

실험 결과

연구 질문

• RQ1 차수 3의 모티브(co)호몰로지 클래스 중 무게 1을 갖는 것들을 이용하여 twisted K-이론을 어떻게 모티브적 맥락으로 일반화할 수 있는가?
• RQ2 모티브 (co)호몰로지와 모티브 twisted K-이론을 연결하는 스펙트럴 시퀀스는 무엇이며, 이는 고전적 대수적 K-이론에 대한 스펙트럴 시퀀스를 어떻게 일반화하는가?
• RQ3 모티브 twisted K-이론에서 twisted periodized rational 모티브(co)호몰로지로 가는 Chern character가 유리수 동형을 유도하는가?
• RQ4 모티브 K-이론 스펙트럼 $\mathsf{KGL}$은 $\Sigma^\infty \mathbf{P}^\infty_+$ 위에서 어떤 구조를 가지며, 이는 어떻게 twisted K-이론의 구성에 기여하는가?
• RQ5 동치적 모티브 twisted K-이론에 대한 Künneth isomorphism은 $\mathsf{KGL}_\ast(\mathsf{B}\mathbf{G}_{\mathfrak{m}})$ 위의 텐서곱으로 어떻게 표현되는가?

주요 결과

• 논문은 동치적 모티브 twisted K-이론에 대한 Künneth isomorphism을 확립하여, twisted K-군이 $\mathsf{KGL}_\ast(\mathsf{B}\mathbf{G}_{\mathfrak{m}})$ 위의 텐서곱으로 표현됨을 보여준다.
• 삼중적 등급의 Tor 스펙트럴 시퀀스를 구성하여 모티브 twisted K-이론을 계산하고, $\mathsf{KGL}_\ast(\mathbf{P}^\infty)$ 위의 Adams Hopf algebroid의 구조를 활용한다.
• 모티브 twisted K-이론에서 twisted periodized rational 모티브(co)호몰로지로 가는 Chern character가 유리수 동형임을 증명한다.
• $\Sigma^\infty \mathbf{P}^\infty_+$는 링 스펙트럼으로서 작용하며, 유니버설 $\mathsf{B}\mathbf{G}_{\mathfrak{m}}$-bundle을 통해 $\Sigma^\infty \mathscr{X}^{\tau}_+$가 이를 모듈러로 갖는다.
• $(\mathsf{KGL}_\ast(\mathbf{P}^\infty), \mathsf{KGL}_\ast\mathsf{KGL} \otimes_{\mathsf{KGL}_\ast} \mathsf{KGL}_\ast(\mathbf{P}^\infty))$ 가 평탄한 등급화된 Adams Hopf algebroid임을 증명한다.
• Landweber exactness가 등급화된 모티브적 맥락에 적응되었으며, 이는 $\eta_L: \mathsf{KGL}_\ast(\mathbf{P}^\infty) \to \Gamma \otimes_{\mathsf{KGL}_\ast} \mathsf{KGL}_\ast(\mathbf{P}^\infty)$ 가 평탄함을 보여주어 기저 변경의 정확성을 확보한다.