[논문 리뷰] Some remarks on topological $K$-theory of dg categories

Benjamin Antieau, Jeremiah Heller|arXiv (Cornell University)|2017. 09. 05.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 3

한 줄 요약

이 논문은 모티브 호모토피 이론을 사용하여 앤서니 블랑의 dg 범주에 대한 유한 계수를 가진 반-위상적 K-이론에 대한 추측을 확립한다. 이는 프리드랜더-워커의 정의와 블랑의 정의에 따르는 연결된 반-위상적 K-이론이 사영적 복소수 다양체에서 일치함을 증명하며, dg 범주의 위상적 K-이론이 Bott 원소를 역수한 후 에탈 하이퍼내림을 만족함을 보여, 핵심적인 구조적 성질을 확인한다.

ABSTRACT

Using techniques from motivic homotopy theory, we prove a conjecture of Anthony Blanc about semi-topological K-theory of dg categories with finite coefficients. Along the way, we show that the connective semi-topological K-theories defined by Friedlander-Walker and by Blanc agree for quasi-projective complex varieties and we study étale descent of topological K-theory of dg categories.

연구 동기 및 목표

• dg 범주에 대한 반-위상적 K-이론의 유한 계수에 대한 앤서니 블랑의 추측을 해결하기 위해.
• 프리드랜더-워커와 블랑의 두 정의의 반-위상적 K-이론을 비교하고 통합하기 위해.
• dg 범주의 위상적 K-이론에 대한 에탈 내림 성질을 확립하기 위해.
• 블랑의 연결된 반-위상적 K-이론이 사영적 복소수 다양체에서 프리드랜더-워커의 구성과 일치함을 보여주기 위해.

제안 방법

• dg 범주에 관련된 K-이론 스펙트럼의 구조를 분석하기 위해 모티브 호모토피 이론을 사용한다.
• 스펙트럼 요나다 임bedding과 실현 유도자를 적용하여 모티브 스펙트럼과 위상 스펙트럼을 연결한다.
• KGL의 주기성과 Bott 원소를 활용하여 반-위상적 K-이론과 위상적 K-이론을 연결한다.
• 실현 유도자가 모티브 스펙트럼 범주에서 내부 사상 대상과 동치이며 쌍대성을 유지함을 이용한다.
• 코homology 이론의 표현 가능성에 기반하여, 위상적 K-이론의 프레시피어가 에탈 하이퍼내림을 만족함을 확립한다.
• 사영적 X에 대해 Perf_X의 연결된 반-위상적 K-이론과 프리드랜더-워커의 구성 간의 동치성을 이용한다.

실험 결과

연구 질문

• RQ1 사영적 복소수 다양체에서 프리드랜더-워커와 블랑의 반-위상적 K-이론 구성은 일치하는가?
• RQ2 모든 C와 n ≥ 1에 대해, K(C)/n ≃ K^st(C)/n 이라는 블랑의 추측은 참인가?
• RQ3 매끄러운 복소수 스킴 위의 위상적 K-이론 프레시피어는 에탈 하이퍼내림을 만족하는가?
• RQ4 dg 범주의 위상적 K-이론은 A^1-호모토피 동치와 에탈 위상에 대한 하이퍼층으로서 불변인가?
• RQ5 모티브 스펙트럼에서 위상 스펙트럼으로의 실현 유도자를 사용하여 KGL(C)와 K^top(C)를 연결할 수 있는가?

주요 결과

• 모든 사영적 복소수 다양체 X에 대해, 블랑의 구성에 따른 Perf_X의 연결된 반-위상적 K-이론은 프리드랜더-워커의 K^sst(X)와 동치이다.
• 블랑의 추측은 참이다: 모든 n ≥ 1과 임의의 C-선형 dg 범주 C에 대해 K(C)/n ≃ K^st(C)/n 이다.
• 위상적 K-이론 프레시피어 K^top(C)는 A^1-불변이며, Sm_C 위의 에탈 위상에 대한 하이퍼층이다.
• 위상적 K-이론 스펙트럼 K^top(C)는 주기적 모티브 K-이론 스펙트럼 KGL(C)의 실현과 동형이다.
• 프레시피어 K^top(C)는 코homology 이론이 스펙트럼에 의해 표현되므로 에탈 하이퍼내림을 만족한다.
• 실현 유도자가 내부 사상 대상과 가환하므로, K^top(C)(X)를 X(C)의 스uspension 스펙트럼에서 K^top(C)로의 사상으로 식별할 수 있다.