[논문 리뷰] Noncommutative Motives II: K-Theory and Noncommutative Motives

Marco Robalo|arXiv (Cornell University)|2013. 06. 17.

advanced mathematical theories인용 수 3

한 줄 요약

이 논문은 비가환 모티프와 대수적 K-이론 사이의 기초적인 연결 고리를 확립하며, 비연결 K-이론이 dg-카테고리의 니스네비치 셰이프화임을 증명하고, 그 $\mathbb{A}^1$-국소화가 비가환 모티브 스태이블 카테고리에서 단위임을 보이며, 콘체비치의 K-이론에 대한 추측을 확인한다. 이는 K-이론이 비가환 모티프의 카테고리에서 올바른 사상 공간을 나타낸다는 것이며, 해석적 불연속성의 해소가 가능한 $k$일 경우, 모티브 함자가 호모토피 불변 K-이론을 통해 자연스럽게 인식되며 모든 정보를 유지함을 드러낸다.

ABSTRACT

We continue the work initiated in arXiv:1206.3645, where we introduced a new stable symmetric monoidal $(\infty,1)$-category $SH_{nc}$ encoding a motivic stable homotopy theory for the noncommutative spaces of Kontsevich and obtained a canonical monoidal colimit-preserving functor $SH o SH_{nc}$ relating this new theory to the $(\infty,1)$-category encoding the stable motivic $\mathbb{A}^1$ theory of Morel-Voevodsky. For a scheme $X$ this map recovers the dg-derived category of perfect complexes $L_{pe}(X)$. In this sequel we address the study of the different flavours of algebraic $K$-theory of dg-categories. As in the commutative case, these can be understood as spectral valued $\infty$-presheaves over the category of noncommutative smooth spaces and therefore provide objects in $SH_{nc}$ once properly localized. Our first main result is the description of non-connective $K$-theory of dg-categories introduced by Schlichting as the noncommutative Nisnevich sheafification of connective $K$-theory. In particular it follows that its further $\mathbb{A}^1$-localization is an object in $SH_{nc}$. As a corollary of the recent result in A. Blanc Phd thesis, we prove that this object is a unit for the monoidal structure. Using this, we obtain a precise proof for a conjecture of Kontsevich claiming that $K$-theory gives the correct mapping spaces in noncommutative motives. As a second corollary we obtain a factorization of our comparison map $SH o SH_{nc}$ through $Mod_{KH}(SH)$ - the $(\infty,1)$-category of modules over the commutative algebra object $KH$ representing homotopy invariant algebraic $K$-theory of schemes in $SH$. If $k$ is a field admitting resolutions of singularities, this factorization is fully faithful, so that, at the motivic level, no information (below $K$-theory) is lost by passing to the noncommutative world.

연구 동기 및 목표

• 비가환 모티프의 맥락에서 dg-카테고리에 대한 대수적 K-이론의 다양한 형태를 이해하기 위해.
• 비가환 설정에서 연결 K-이론과 비연결 K-이론 사이의 정확한 관계를 설정하기 위해.
• 비연결 K-이론이 $\mathbb{A}^1$-국소화를 거친 후 비가환 모티브 스태이블 카테고리에서 단위가 되는지 증명하기 위해.
• 콘체비치의 추측, 즉 K-이론이 비가환 모티프의 카테고리에서 사상 공간을 올바르게 나타낸다는 것을 검증하기 위해.
• 비가환 모티브로의 전이에서의 모티브 함자 $\mathcal{L}^\otimes: \mathcal{S}\mathcal{H}(k)^\otimes \to \mathcal{S}\mathcal{H}_{nc}(k)^\otimes$ 가 호모토피 불변 K-이론 위의 모듈러 카테고리 $Mod_{\mathcal{K}H}(\mathcal{S}\mathcal{H}(k))$ 를 통해 인식되며, $k$가 특이점의 해소를 허용할 경우 전부 충실함을 보여주기 위해.

제안 방법

• 비가환 모티프의 $(\infty,1)$-카테고리 $\mathcal{S}\mathcal{H}_{nc}(k)$ 를 사용하며, 이는 dg-카테고리 위의 스펙트럼의 니스네비치 셰이프의 $\mathbb{A}^1$-국소화로 구성된다.
• 비가환 모티브의 $\mathcal{S}\mathcal{H}_{nc}(k)$ 의 보편 성질을 적용하여 비연결 K-이론이 연결 K-이론의 니스네비치 셰이프화임을 보인다.
• 최근의 결과 [4] 를 활용하여 비연결 K-이론의 $\mathbb{A}^1$-국소화가 $\mathcal{S}\mathcal{H}_{nc}(k)$ 의 모노이드 구조에서 단위임을 증명한다.
• 모티브 함자 $\mathcal{L}^\otimes: \mathcal{S}\mathcal{H}(k)^\otimes \to \mathcal{S}\mathcal{H}_{nc}(k)^\otimes$ 가 호모토피 불변 K-이론 위의 모듈러 카테고리 $Mod_{\mathcal{K}H}(\mathcal{S}\mathcal{H}(k))$ 를 통해 자연스럽게 인식됨을 확립한다.
• 비가환 모티브의 접근 방식을 시지-지스키-타바우다의 접근과 비교하기 위해, 극한을 보존하는 모노이드 함자들의 지지자-지그재그를 사용하며, 타바우다의 구조의 니스네비치-$\mathbb{A}^1$-국소화가 저자들의 $\mathcal{S}\mathcal{H}_{nc}(k)$ 와 동치임을 보인다.

실험 결과

연구 질문

• RQ1 dg-카테고리의 비연결 K-이론이 비가환 설정에서 연결 K-이론의 니스네비치 셰이프화인가?
• RQ2 비연결 K-이론의 $\mathbb{A}^1$-국소화가 $\mathcal{S}\mathcal{H}_{nc}(k)$ 에서 단위가 되는가?
• RQ3 모티브 함자 $\mathcal{L}^\otimes$ 는 호모토피 불변 K-이론 위의 모듈러 카테고리 $Mod_{\mathcal{K}H}(\mathcal{S}\mathcal{H}(k))$ 를 통해 인식되는가?
• RQ4 이 인식이 $k$가 특이점의 해소를 허용할 경우 충실한가?
• RQ5 저자들의 비가환 모티브 프레임워크는 시지-지스키-타바우다의 접근 방식과 보편 성질 측면에서 어떻게 비교되는가?

주요 결과

• dg-카테고리의 비연결 K-이론은 연결 K-이론의 니스네비치 셰이프화로 자연스럽게 식별되며, 이는 비가환 K-이론에서 핵심적인 구조적 질문을 해결한다.
• 비연결 K-이론의 $\mathbb{A}^1$-국소화는 $\mathcal{S}\mathcal{H}_{nc}(k)$ 의 모노이드 구조에서 단위이며, 이는 비가환 모티프의 카테고리에서 이중화 객체로 작용함을 의미한다.
• 이 단위 성질은 콘체비치의 원래 추측을 정확히 증명하며, K-이론이 비가환 모티프의 카테고리에서 올바른 사상 공간을 제공한다는 것을 보여준다.
• 모티브 함자 $\mathcal{L}^\otimes: \mathcal{S}\mathcal{H}(k)^\otimes \to \mathcal{S}\mathcal{H}_{nc}(k)^\otimes$ 는 자연스럽게 $Mod_{\mathcal{K}H}(\mathcal{S}\mathcal{H}(k))$ 를 통해 인식된다.
• 만약 $k$가 특이점의 해소를 허용한다면, 이 인식은 충실하며, 비가환 세계로의 전이 시 모티브 수준에서 정보가 손실되지 않음을 보여준다.