[논문 리뷰] Nilpotent invariance of semi-topological K-theory of dg-algebras and the lattice conjecture

Konovalov Andrey|arXiv (Cornell University)|2021. 02. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 5

한 줄 요약

이 논문은 A. 블랑의 반-위상적 K-이론에 대한 유도된 니르포텐트 불변성을 연결성 있는 $$\mathbb{C}$-dg-대수에 대해 확립하여 주기적 순환환에 대한 유리수 구조를 가능하게 한다. 핵심 결과는 반-위상적 K-이론에서 주기적 순환환으로의 위상적 체르니코프 특성사상이 등가임을 확인하는 '격자 추측'을 여러 종류의 dg-카테고리에 대해 증명하는 것이다. 이는 특히 유한형 $$\mathbb{C}$-대수의 고립 또는 니르포텐트 확장에서의 완전 복합체와, 바르부르헤아 및 페어러존스 추측을 만족하는 기본군을 가진 공간 위의 국소적 시스템을 포함한다.

ABSTRACT

We show existence of a natural rational structure on periodic cyclic homology, conjectured by L. Katzarkov, M. Kontsevich, T. Pantev, for several classes of dg-categories, including proper connective $\mathbb{C}$-dg-algebras and dg-categories of local systems. The main ingredient is derived nilpotent invariance of A. Blanc's semi-topological K-theory, which we establish along the way.

연구 동기 및 목표

• 비환향적 스킴에 대한 $$\mathbb{C}$에서의 주기적 순환환에 대한 유리수 구조를 확립하는 것, 이는 카츠카로프, 콘체비치, 판테브가 추측한 바이다.
• 다양한 종류의 dg-카테고리에 대해 반-위상적 K-이론에서 주기적 순환환으로의 위상적 체르니코프 특성사상이 등가임을 증명하는 것.
• 군 대수에서의 격자 추측을 국소적 시스템과 기본군이 특정 추측적 성질을 만족하는 위상공간 위의 국소적 시스템으로 확장하는 것.
• 위상적 K-이론과 유도된 니르포텐트 불변성을 이용한 주기적 순환환에 대한 새로운 계산 프레임워크 제공.
• 기본군이 특정 조건을 만족하는 공간을 통해 페어러존스 추측의 반례를 기하학적으로 구성할 수 있는 방법을 제안하는 것.

제안 방법

• 분석화의 일반화를 통해 정의된 위상적 실현 함자에 기반한 A. 블랑의 반-위상적 K-이론을 정수적 구조의 후보로 사용.
• 유도된 니르포텐트 불변성 증명: 연결성 있는 $$\mathbb{C}$-dg-대수의 니르포텐트 확장 $v:B\rightarrow A$에 대해, 유도된 사상 ${\mathrm{K}}^{\mathrm{st}}(B)\rightarrow{\mathrm{K}}^{\mathrm{st}}(A)$가 등가임을 보임.
• 동일한 위상적 실현 체계를 통해 호크시드 및 순환환의 불변량을 실현하고, 그 실현이 영이 됨을 보임.
• 2개 중 3개 성질과 모리타 동치 및 재구성에 대한 닫힘 성질을 적용하여 격자 추측을 더 넓은 종류의 dg-카테고리로 확장.
• 기본군이 바르부르헤아 및 유리수 페어러존스 추측을 만족할 경우, ${\mathrm{K}}^{\mathrm{st}}(\mathrm{Loc}(M,\mathbb{C}))\simeq{\mathrm{K}}^{\mathrm{st}}(\mathbb{C}[\pi_1M])$의 동치를 통해 국소적 시스템의 경우를 군 대수로 환원.
• 고차 범주론과 호모토피 이론의 결과, 특히 등가 $\mathrm{Loc}(E,\mathbb{C})\simeq\mathrm{Perf}(C_*(\Omega E))$를 활용하여 국소적 시스템과 루프 공간 순환환을 연결함.

실험 결과

연구 질문

• RQ1 반-위상적 K-이론이 연결성 있는 $$\mathbb{C}$-dg-대수에 대해 유도된 니르포텐트 불변성을 만족하는가?
• RQ2 완전 복합체가 유한형 $$\mathbb{C}$-대수의 고립 또는 니르포텐트 확장일 경우, 격자 추측—즉, 위상적 체르니코프 특성사상이 등가임—이 성립하는가?
• RQ3 어떤 종류의 위상공간 $M$에 대해 국소적 시스템의 카테고리 $\mathrm{Loc}(M,\mathbb{C})$가 격자 추측을 만족하는가?
• RQ4 기본군이 바르부르헤아 및 페어러존스 추측을 만족하는 공간 위의 국소적 시스템으로 격자 추측을 군 대수에서 확장할 수 있는가?
• RQ5 기본군이 바르부르헤아 추측을 만족하지만 유리수 페어러존스 추측을 만족하지 않는 공간을 통해 페어러존스 추측의 반례를 기하학적으로 구성할 수 있는가?

주요 결과

• 연결성 있는 $$\mathbb{C}$-dg-대수의 니르포텐트 확장에 대해 반-위상적 K-이론의 유도된 니르포텐트 불변성이 성립함을 보이며, 기본적인 기술적 결과를 확립한다.
• 격자 추측은 $T = \mathrm{Perf}(B)$인 경우에 대해 성립하며, 여기서 $B$는 연결된 고립 $$\mathbb{C}$-dg-대수이거나 유한형 $$\mathbb{C}$-대수의 니르포텐트 확장이다.
• 기본군이 하이퍼볼릭, CAT(0), 매핑 클래스, 오른쪽-각형 아르틴 군 등을 포함한 여덟 가지 특정 군의 클래스에 속할 경우, 국소적 시스템에 대한 격자 추측은 포인트가 있고 연결적이며 국소적으로 수축 가능한 공간 $M$에 대해 성립한다.
• 국소적 시스템 $\mathrm{Loc}(M,\mathbb{C})$의 반-위상적 K-이론은 군 대수 $\mathbb{C}[\pi_1M]$의 반-위상적 K-이론과 등가이며, 문제를 군 대수로 환원한다.
• 군론적 가정 하에 위상적 체르니코프 특성사상은 등가 ${\mathrm{K}}^{\mathrm{top}}(\mathrm{Loc}(M,\mathbb{C}))\otimes\mathbb{C}\xrightarrow{\sim}\mathrm{HP}(\mathrm{Loc}(M,\mathbb{C}))$를 유도한다.
• 결과들은 페어러존스 추측의 반례를 찾는 새로운 길을 제안하며, 바르부르헤아 추측은 만족하지만 유리수 페어러존스 추측은 만족하지 않는 기본군을 가진 공간 $M$을 통해 기하학적 반례를 구성할 수 있음을 시사한다.