[논문 리뷰] A1-homotopy theory of noncommutative motives

Gonçalo Tabuada|arXiv (Cornell University)|2014. 02. 18.

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

한 줄 요약

이 논문은 비가환 모티프에 대한 A¹-호모토피 이론을 개발하여, K-이론과 주기적 순환homology 사이의 자연스러운 변환을 분류하는 A¹-덧셈형 및 A¹-국소화형 불변량의 보편 범주를 구축한다. 이는 Karoubi-Villamayor K-이론(KV)과 Weibel의 호모토피 K-이론(KH)이 이러한 변환에 대해 보편적임을 보여주며, 주기적 순환homology로 향하는 호모토피 Chern 문자의 간결한 구축을 가능하게 한다.

ABSTRACT

In this article we continue the development of a theory of noncommutative motives. We construct categories of A1-homotopy noncommutative motives, described their universal properties, and compute their spectra of morphisms in terms of Karoubi-Villamayor's K-theory (KV) and Weibel's homotopy K-theory (KH). As an application, we obtain a complete classification of all the natural transformations defined on KV, KH. This leads to a streamlined construction of Weibel's homotopy Chern character from KV to periodic cyclic homology. Along the way we extend Dwyer-Friedlander's etale K-theory to the noncommutative world, and develop the universal procedure of forcing a functor to preserve filtered homotopy colimits.

연구 동기 및 목표

• dg 범주론적 맥락에서 비가환 모티프에 대한 A¹-호모토피 이론을 개발하는 것.
• K-이론과 주기적 순환homology 사이의 자연스러운 변환을 분류하는 A¹-덧셈형 및 A¹-국소화형 불변량의 보편 범주를 구축하는 것.
• Dwyer-Friedlander의 에탈 K-이론을 확장하고, 비가환 설정에서 필터링된 호모토피 쌍대극한을 유지하도록 하는 보편적 절차를 정의하는 것.
• KV 및 KH에서 주기적 순환homology로 향하는 자연스러운 변환의 완전한 분류를 제공하여, 호모토피 Chern 문자의 새로운 구축을 이끌어내는 것.

제안 방법

• 저자들은 A¹-덧셈형 및 A¹-국소화형 불변량에 대해 보편성을 만족하는 두 개의 보편 유도자 준동형사상 $ U^{{\bf A\backslash{}^{1}}}_{\mathsf{add}}: \mathsf{HO}(\mathsf{dgcat}) \to \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}} $ 및 $ U^{{\bf A\backslash{}^{1}}}_{\mathsf{loc}}: \mathsf{HO}(\mathsf{dgcat}) \to \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{loc}} $을 구성한다.
• 그들은 dg 범주 위에 Quillen 모델 구조를 사용하고, 특히 $ L_S\!\operatorname{Fun}(\mathsf{dgcat}_f^{\mathrm{op}},\mathsf{Sp}) $를 통해 함수 범주의 국소화를 이용해 보편적 구성법을 유도한다. 이는 호모토피 쌍대극한 유지 조건을 강제하기 위함이다.
• 보편 범주 내의 사상 스펙트럼은 KV 및 KH를 통해 계산되며, $ \underline{\mathrm{Hom}}_{\mathsf{add},{\bf A\backslash{}^{1}}}(\mathsf{HO}(\mathsf{dgcat}),\mathbb{D}) \simeq \underline{\mathrm{Hom}}_{!}(\operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}},\mathbb{D}) $ 라는 등식이 성립함을 보여준다.
• 필터링된 호모토피 쌍대극한을 유지하도록 하는 보편적 절차가 개발되어, $ HP $가 호모토피적으로 유한형으로 표현 가능한 dg 범주에서 원래 $ HP $와 일치하는 A¹-덧셈형 변형 $ HP^{\mathrm{flt}} $의 구축이 가능해진다.
• 저자들은 Thomason의 작업을 활용해 Dwyer-Friedlander의 에탈 K-이론을 dg 범주로 확장하며, 이가 A¹-국소화형 불변량임을 보여준다.
• 그들은 자연스러운 변환 $ \epsilon: HP^{\mathrm{flt}} \Rightarrow HP $를 수립하며, 이는 호모토피적으로 유한형으로 표현 가능한 dg 범주에서 동형사상이 되어 보편 A¹-덧셈형 이론이 주기적 순환homology와 연결됨을 보여준다.

실험 결과

연구 질문

• RQ1 비가환 모티프에 대한 보편 A¹-덧셈형 불변량 이론은 무엇이며, KV 및 KH에서부터의 자연스러운 변환을 어떻게 분류하는가?
• RQ2 주기적 순환homology는 어떻게 수정되어 필터링된 호모토피 쌍대극한을 유지하면서도, 유한형으로 표현 가능한 대상들에서 원래와 일치하는가?
• RQ3 필터링된 호모토피 쌍대극한 유지 보편 절차는 A¹-호모토피 불변량을 구축하는 데 어떤 역할을 하는가?
• RQ4 Dwyer-Friedlander의 에탈 K-이론을 dg 범주로 확장하는 것은 A¹-국소화형 불변량과 어떻게 관련되는가?
• RQ5 KV에서 주기적 순환homology로 향하는 호모토피 Chern 문자는 A¹-호모토피 이론의 보편 성질을 통해 재구성될 수 있는가?

주요 결과

• 보편 A¹-덧셈형 범주 $ \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}} $ 는 $ L_S\!\operatorname{Fun}(\mathsf{dgcat}_f^{\mathrm{op}},\mathsf{Sp}) $ 의 국소화로서 구성되며, 사상 스펙트럼이 A¹-덧셈형 불변량의 것과 동치임을 보여준다.
• 보편 A¹-국소화형 범주 $ \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{loc}} $ 도 유사하게 구성되며, 사상 스펙트럼이 A¹-국소화형 불변량의 것과 동치이다.
• $ \mathsf{HO}(\mathsf{dgcat}) $ 에서 임의의 삼각형 유도자 $ \mathbb{D} $ 로 향하는 사상 스펙트럼은 $ \underline{\mathrm{Hom}}_{!}(\operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}},\mathbb{D}) \simeq \underline{\mathrm{Hom}}_{\mathsf{add},{\bf A\backslash{}^{1}}}(\mathsf{HO}(\mathsf{dgcat}),\mathbb{D}) $ 로 계산되며, 이는 보편 성질을 수립한다.
• $ HP^{\mathrm{flt}} $ 의 구축은 호모토피적으로 유한형으로 표현 가능한 dg 범주에서 $ HP $ 와 일치하는 A¹-덧셈형 주기적 순환homology의 변형을 제공하며, 자연스러운 변환 $ \epsilon $ 를 통해 연결된다.
• KV 및 KH에서 주기적 순환homology로 향하는 자연스러운 변환의 완전한 분류가 확보되었으며, 이는 호모토피 Chern 문자의 새로운 간결한 구축으로 이어진다.
• Dwyer-Friedlander의 에탈 K-이론을 dg 범주로의 확장은 A¹-국소화형 불변량임을 보여주며, 고전적 역할을 비가환 설정으로 일반화한다.