[논문 리뷰] Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

Marco Robalo|arXiv (Cornell University)|2012. 06. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 49인용 수 16

한 줄 요약

이 논문은 고차 범주론과 비가환 모티브 이론을 활용하여 스킴의 모티브 안정 호모토피 이론에 대한 보편적 특성화를 수립한다. 대칭 스펙트럼 구성의 일반화를 통해 대칭 모노이드 $(∞,1)$-범주로 확장함으로써, 고전적 모티브 호모토피 이론에서 새로운 비가환 모티브 이론으로의 보편적인 모노이드 함자를 제공함으로써, 보편적 성질과 강하 조건을 통한 가환 및 비가환 대수기하학 간의系통적 비교를 가능하게 한다.

ABSTRACT

Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^Σ(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with a left Quillen monoidal map $\V o Sp^Σ(\V,X)$ sending $X$ to an invertible object. In this paper we use the recent developments in the subject of Higher Algebra to understand the nature of this construction. Every symmetric monoidal model category has an underlying symmetric monoidal $(\infty,1)$-category and the first notion should be understood as a mere "presentation" of the second. Our main result is the characterization of the underlying symmetric monoidal $\infty$-category of $Sp^Σ(\V,X)$, by means of a universal property inside the world of symmetric monoidal $(\infty,1)$-categories. In the process we also describe the link between the construction of ordinary spectra and the one of symmetric spectra. As a corollary, we obtain a precise universal characterization for the motivic stable homotopy theory of schemes with its symmetric monoidal structure. This characterization trivializes the problem of finding motivic monoidal realizations and opens the way to compare the motivic theory of schemes with other motivic theories. As an application we provide a new approach to the theory of noncommutative motives by constructing a stable motivic homotopy theory for the noncommutative spaces of Kontsevich. For that we introduce an analogue for the Nisnevich topology in the noncommutative setting. Our universal property for the classical theory for schemes provides a canonical monoidal map towards these new noncommutative motives and allows us to compare the two theories.

연구 동기 및 목표

• 대칭 모노이드 $(∞,1)$-범주 프레임워크 내에서 스킴의 모티브 안정 호모토피 이론에 대한 보편적 특성화를 제공하는 것.
• 고차 대수학과 dg-범주를 활용하여 고전적 대칭 스펙트럼 구성의 비가환 설정으로의 일반화를 수행하는 것.
• 비가환 공간을 위한 Nisnevich 위상의 비가환 대응과 $ΐ^1$-호모토피 불변성의 정의.
• 고전적 모티브 안정 호모토피 이론에서 비가환 모티브 안정 호모토피 이론으로의 보편적인 모노이드 함수의 수립.
• 보편적 성질을 통한 가환 및 비가환 대수기하학에서의 모티브 불변량 비교를 위한 기초 마련.

제안 방법

• ∞-범주적 안정화 과정을 통해 대칭 모노이드 모델 범주를 대칭 모노이드 $(∞,1)$-범주로 승격시키기 위해 고차 범주론을 사용하는 것.
• 대칭 모노이드 $(∞,1)$-범주에서 역전 가능 객체 $X$에 대해 보편 안정화를 제공하는 대칭 스펙트럼 범주 $Sp^{Σ}(Σ, X)$를 구성하는 것.
• 안정화의 보편 성질을 적용하여, 타이트 객체가 역전가능해지는 보편적인 대칭 모노이드 $(∞,1)$-범주로서 스킴의 모티브 안정 호모토피 이론을 특성화하는 것.
• dg-범주를 통한 비가환 매끄러운 공간의 정의와 Nisnevich 사각형을 이용한 비가환 Nisnevich 위상의 부여.
• 비가환 Nisnevich 강하 조건과 $L_{pe}(ΐ^1)$-불변성에 대해 국소화함으로써, $Fun(Ν cS(k)^{op}, ˇ Sp)$의 전사함수 범주를 비가환 모티브 안정 호모토피 범주로 얻는 것.
• 국소화와 안정화의 보편 성질을 통한, 결과적으로 얻어진 국소화된 전사함수 범주와 비가환 모티브 안정 호모토피 범주 $σττ_{nc}(k)^{⊗}$ 사이의 보편적인 모노이드 동치를 수립하는 것.

실험 결과

연구 질문

• RQ1 대칭 모노이드 $(∞,1)$-범주 세계에서 스킴의 모티브 안정 호모토피 이론을 특성화하는 보편적 성질은 무엇인가?
• RQ2 고차 대수학과 dg-범주를 활용하여 대칭 스펙트럼 구성의 비가환 공간으로의 일반화는 어떻게 수행되는가?
• RQ3 비가환 Nisnevich 위상의 비가환 대응은 무엇이며, 비가환 모티브 호모토피 이론에서 강하 조건을 어떻게 지원하는가?
• RQ4 고전적 모티브 안정 호모토피 이론의 스킴에서 새로운 비가환 모티브 이론으로의 모노이드 사상은 어떻게 이루어지는가?
• RQ5 비가환 모티브 이론이 호모토피 불변 $K$-이론을 통해 완전 충실한 인수분해를 갖는 정도는 어느 정도인가?

주요 결과

• 스킴의 모티브 안정 호모토피 이론은 보편적 성질을 통해, 타이트 객체가 역전가능해지는 보편적인 대칭 모노이드 $(∞,1)$-범주로서 특성화된다.
• $Sp^{Σ}(Σ, X)$의 구성은 역전가능 객체 $X$에 대한 보편 안정화를 제공하며, 고전적 대칭 스펙트럼을 ∞-범주적 설정으로 일반화한다.
• dg-범주의 Nisnevich 사각형을 이용하여, 비가환 매끄러운 공간의 $(∞,1)$-범주 $Ν cS(k)$에 비가환 Nisnevich 위상을 정의한다.
• 비가환 모티브 안정 호모토피 범주 $σττ_{nc}(k)^{⊗}$는 비가환 Nisnevich 강하 조건과 $ΐ^1$-불변성에 대해 국소화된 전사함수 범주 $Fun_{Nis,L_{pe}(ΐ^1)}(Ν cS(k)^{op}, ˇ Sp)^{⊗}$와 보편적 성질을 통해 보편적인 모노이드 동치를 이룬다.
• 고전적 모티브 안정 호모토피 범주 $σττ(k)^{⊗}$에서 비가환 모티브 안정 호모토피 범주 $σττ_{nc}(k)^{⊗}$로의 보편적 모노이드 함수가 존재하며, 이는 안정화의 보편 성질에 의해 유도된다.
• Kontsevich의 추측, 즉 비가환 모티브 호모토피 이론에서의 사상 스펙트럼이 텐서곱의 $K$-이론과 관련되며, 이 틀 안에서 모티브 함수는 $σττ(k)^{⊗}$-모듈러스를 통해 호모토피 불변 $K$-이론 스펙트럼 $ℇ𝔌𝔊$를 통해 완전 충실한 인수분해를 갖는 것으로 기대된다.