[논문 리뷰] K-theory of endomorphisms via noncommutative motives

Andrew J. Blumberg, David Gepner외 1명|arXiv (Cornell University)|2013. 02. 05.

Homotopy and Cohomology in Algebraic Topology참고 문헌 30인용 수 4

한 줄 요약

이 논문은 비가환 모티브를 이용하여 자기 사상의 K-이론에 대한 공표현성 결과를 확립하며, 함자 KEnd(−)가 텐서 대수 𝕊[t]의 비가환 모티브에 의해 공표현됨을 보여준다. 이는 KEnd(−)의 자연스러운 변환을 정수와 상수항이 1인 유리함수로 완전히 분류함으로써 1970년대 알크비스트가 제기한 문제를 해결한다. 이 틀은 비가환 모티브의 대칭 모노이드 구조를 통해 유리 워드 벡터를 복원할 수 있도록 한다.

ABSTRACT

In this article we study the K-theory of endomorphisms using noncommutative motives. We start by extending the K-theory of endomorphisms functor from ordinary rings to (stable) infinity categories. We then prove that this extended functor KEnd(-) not only descends to the category of noncommutative motives but moreover becomes co-represented by the noncommutative motive associated to the tensor algebra S[t] of the sphere spectrum S. Using this co-representability result, we then classify all the natural transformations of KEnd(-) in terms of an integer plus a fraction between polynomials with constant term 1; this solves a problem raised by Almkvist in the seventies. Finally, making use of the multiplicative co-algebra structure of S[t], we explain how the (rational) Witt vectors can also be recovered from the symmetric monoidal category of noncommutative motives. Along the way we show that the K_0-theory of endomorphisms of a connective ring spectrum R equals the K_0-theory of endomorphisms of the underlying ordinary ring π_0(R).

연구 동기 및 목표

• 일반적인 링에서 안정적 ∞-카테고리로 자기 사상의 K-이론을 확장하기.
• 확장된 KEnd(−) 함자가 비가환 모티브의 카테고리에서 𝕊[t]의 비가환 모티브에 의해 공표현됨을 보여주기.
• 상수항이 1인 정수와 유리함수 매개변수를 사용하여 KEnd(−)의 모든 자연스러운 변환을 분류하기.
• 𝕊[t]의 코알제브라 구조를 통해 비가환 모티브의 대칭 모노이드 구조로부터 유리 워드 벡터를 복원하기.
• 연결성 링 스펙트럼 R의 자기 사상에 대한 K₀가 그 기본 일반 링 π₀R의 K₀와 일치함을 확립하기.

제안 방법

• 모든 ∞-카테고리 𝒞에 대해, End(𝒞)를 ∞-카테고리 Fun(Δ¹/∂Δ¹, 𝒞)로 정의한다.
• End(−)와 완전 ∞-카테고리의 대수적 K-이론을 조합하여 KEnd(−) 함수를 구성한다.
• KEnd(−)가 추가 불변량임을 증명하며, 따라서 비가환 모티브의 카테고리 M_add로 향하는 보편 추가 불변량 U_add를 통과함을 보인다.
• KEnd(𝒞)가 비가환 모티브 𝕊[t]의 U_add(𝕊[t])와 U_add(𝒞) 사이의 매핑 스펙트럼 Map(U_add(𝕊[t]), U_add(𝒞))와 자연적으로 동치임을 보여, KEnd(−)가 𝕊[t]의 비가환 모티브에 의해 공표현됨을 입증한다.
• 𝕊[t]의 곱셈적 코알제브라 구조를 이용하여 비가환 모티브의 대칭 모노이드 구조와 유리 워드 벡터 구성 간의 관계를 규명한다.
• KEnd 함수의 K₀ 수준 행동을 분석함으로써, 연결성 링 스펙트럼 R에 대해 K₀(End(R)) ≃ K₀(End(π₀R))임을 증명한다.

실험 결과

연구 질문

• RQ1 자기 사상의 K-이론을 호모토피적으로 일관된 방식으로 일반 링에서 안정적 ∞-카테고리로 어떻게 확장할 수 있는가?
• RQ2 비가환 모티브의 맥락에서 자기 사상의 K-이론의 보편 성질은 무엇인가?
• RQ3 KEnd(−) 함수의 모든 자연스러운 변환은 완전히 분류될 수 있는가?
• RQ4 비가환 모티브 𝕊[t]는 어떻게 자기 사상의 K-이론을 공표현하는가?
• RQ5 비가환 모티브의 대칭 모노이드 구조로부터 유리 워드 벡터를 재구성할 수 있는가?

주요 결과

• 완전 ∞-카테고리의 ∞-카테고리에서 자기 사상의 K-이론 함수 KEnd(−)는 추가 불변량이며, 비가환 모티브의 카테고리로 인해 요약된다.
• KEnd(𝒞)는 매핑 스펙트럼 Map(U_add(𝕊[t]), U_add(𝒞))와 자연적으로 동치이며, 이는 𝕊[t]의 비가환 모티브가 KEnd(−)를 공표현함을 보여준다.
• KEnd(−)의 모든 자연스러운 변환은 정수와 상수항이 1인 유리함수로 분류되며, 이는 1970년대 알크비스트의 문제를 해결한다.
• 비가환 모티브의 카테고리의 대칭 모노이드 구조를 통해 𝕊[t]의 코알제브라 구조를 이용하여 유리 워드 벡터를 복원할 수 있다.
• 모든 연결성 링 스펙트럼 R에 대해, 자기 사상의 K₀ 이론이 π₀R의 일반 링의 K₀ 이론과 일치한다. 즉, K₀(End(R)) ≃ K₀(End(π₀R)).
• 공표현성 결과는 자기 사상의 전체 K-이론이 비가환 모티브 𝕊[t]에 의해 결정됨을 의미하며, 이는 보편적 모델을 제공한다.