[논문 리뷰] Invariants topologiques des Espaces non commutatifs

Anthony Blanc|arXiv (Cornell University)|2013. 07. 24.

Homotopy and Cohomology in Algebraic Topology인용 수 7

한 줄 요약

이 학위논문은 복소수 위의 dg-카테고리로 정의된 비가환 공간을 위한 위상수학적 K-이론을 제안한다. 이는 유한형 복소기하구조 위의 스펙트럴 프레셰이브의 위상수학적 실현을 이용한다. 주요 결과로는, 단위 dg-카테고리에 대한 연결 및 비연결 대수적 K-이론의 위상수학적 실현이 표준적인 위상수학적 K-이론 스펙트럼을 복원하며, 대수적 K-이론에서 주기적 호모로지로의 케른 차수는 이 위상수학적 K-이론을 통해 인자화되며, 이는 비가환 호모로지 이론의 유리수 부분에 대한 후보를 제공한다.

ABSTRACT

In this thesis, we give a definition of topological K-theory of Kontsevich's noncommutative spaces (ie dg-categories) defined over the complex. The main motivation comes from noncommutative Hodge structures in the sense of Kontsevich--Katzarkov--Pantev on the periodic cyclic homology of smooth and proper dg-algebras. The essential ingredient in the definition is the topological realization functor from presheaves of spectra on the site of complex affine schemes to spectra. Topological K-theory is defined as the Bott inverted topological realization of nonconnective algebraic K-theory. Using a non-abelian generalization of Deligne's proper cohomological descent, we show that the topological realization of the preaheave given by nonconnective K-theory is the spectrum bu of connective topological K-theory. The other main result deals with the relation between topological K-theory of a dg-category T and the moduli stack of perfect modules over T^op. Moreover, topological K-theory can be endowed with a Chern character map to periodic cyclic homology which factorizes Cisinski--Tabuada Chern map. We give a comparison result for smooth schemes of finite type over the complex and for finite dimensional associative algebras.

연구 동기 및 목표

• ℂ 위의 dg-카테고리로 해석된 비가환 공간에 대한 위상수학적 K-이론을 정의하기 위해.
• 대수적 K-이론과 주기적 호모로지와 같은 대수적 불변량을 단순화하는 위상수학적 불변량을 찾는 데의 초석을 마련하기 위해.
• 대수적 K-이론에서 주기적 호모로지로의 케른 차수를 통해 비가환 호모로지 이론의 유리수 부분에 대한 후보를 제공하기 위해.
• 위상수학적 실현, dg-카테고리, 비가환 호모로지 이론을 연결하는 프레임워크를 구축하기 위해.
• 주요 사례에서 래티스 추측을 증명하기 위해: 매끄러운 유한형 스킴과 유한차원 결합 대수

제안 방법

• 유한형 복소기하구조의 사이트 위의 스펙트럴 프레셰이브에 대한 위상수학적 실현 함자 사용.
• 완전한 dg-모듈의 스택과 가환 모노이드 구조를 갖는 연결 준위상수학적 K-이론을 정의.
• 위상수학적 실현을 통한 비연결 대수적 K-이론을 이용해 음의 K-군으로 정의를 확장.
• 비아벨리안이고 호모토피적 환경으로의 델리뉴의 적절한 코homological 내림의 일반화를 적용하여 매끄러운 스킴로의 제한을 가능하게 함.
• 결과 스펙트럼의 Bott 원소로의 역원화를 통해 위상수학적 K-이론을 정의.
• 매끄러운 스킴로의 제한 성질을 이용해 연결 및 비연결 실현 간의 동치를 증명.

실험 결과

연구 질문

• RQ1 ℂ 위의 dg-카테고리로 주어진 비가환 공간에 대해 어떻게 위상수학적 K-이론을 정의할 수 있는가?
• RQ2 단위 dg-카테고리에 대한 연결 및 비연결 대수적 K-이론의 위상수학적 실현이 표준적인 위상수학적 K-이론 스펙트럼을 유도하는가?
• RQ3 대수적 K-이론에서 주기적 호모로지로의 케른 차수가 이 새로운 위상수학적 K-이론을 통해 인자화되는가?
• RQ4 매끄러운 유한형 스킴에 대해, 위상수학적 K-이론이 비가환 호모로지 이론의 유리수 부분을 캡처한다는 래티스 추측은 참인가?
• RQ5 유한차원 결합 대수에 대해서도 래티스 추측이 성립하는가?

주요 결과

• 단위 dg-카테고리에 대한 연결 대수적 K-이론 프레셰이브의 위상수학적 실현은 기존의 위상수학적 K-이론 스펙트럼과 동치이다.
• 비연결 대수적 K-이론 프레셰이브의 경우에도 동일한 동치가 성립하며, 이는 매끄러운 스킴로의 제한 성질을 이용한다.
• 대수적 K-이론에서 주기적 호모로지로의 케른 차수가 위상수학적 K-이론을 통해 인자화되며, 이는 그 유리수 호모로지 후보로서의 역할을 뒷받침한다.
• 매끄러운 유한형 스킴 위의 완전한 복합체의 dg-카테고리에 대해 래티스 추측이 참으로 증명되었다.
• 유한차원 결합 대수의 경우에도 래티스 추측이 확인되었다.
• 호모토피적 비아벨리안 환경에서 델리뉴의 적절한 코homological 내림의 일반화가 확립되었으며, 이는 핵심 기술적 결과를 가능하게 하였다.