[논문 리뷰] On nilpotent extensions of $\infty$-categories and the cyclotomic trace

Elden Elmanto, Vladimir Sosnilo|arXiv (Cornell University)|2020. 10. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 44인용 수 4

한 줄 요약

이 논문은 덴다스-구드윌리-맥카시(Dundas-Goodwillie-McCarthy, DGM) 정리의 순환 추적(cyclotomic trace)을 단일 컴팩트 생성자가 없는 안정적 ∞-카테고리로 확장한다. 이는 노르마르의 확장과 무게 구조를 통해 이루어지며, 덧셈 ∞-카테고리에서의 노르마르 확장을 도입하고, 본다르코의 무게 구조를 활용하여 스택에서의 잘리기 불변량에 대해 cdh 수축을 증명한다. 또한 복소수 위의 유도 스택에 대해 블랑크의 격자 추측의 새로운 사례를 증명한다.

ABSTRACT

We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty$-categories) for additive $\infty$-categories, (2) define the notion of nilpotent extensions for suitable $\infty$-categories and furnish interesting examples such as categorical square-zero extensions, and (3) use (1) and (2) to extend the Dundas-Goodwillie-McCarthy theorem for stable $\infty$-categories which are not monogenically generated (such as the stable $\infty$-category of Voevodsky's motives or the stable $\infty$-category of perfect complexes on some algebraic stacks). The key input in our paper is Bondarko's notion of weight structures which provides a "ring-with-many-objects" analog of a connective $\mathbb{E}_1$-ring spectrum. As applications, we prove cdh descent results for truncating invariants of stacks extending the work of Hoyois-Krishna for homotopy $K$-theory, and establish new cases of Blanc's lattice conjecture.

연구 동기 및 목표

• 링 스펙트럼 이외의 안정적 ∞-카테고리로 DGM 정리를 단일 컴팩트 생성자가 없는 경우로 일반화한다.
• 덧셈 ∞-카테고리에서의 노르마르 확장을 정의하고 연구하며, 기존의 아이디얼 기반의 노르마르성의 일반화로써, 카테고리적 제곱제로 확장을 포함한다.
• 확장된 DGM 정리를 통해, 스택에서의 잘리기 불변량에 대해 cdh 수축을 확립한다.
• 개발된 프레임워크를 통해 복소수 위의 유도 스택에 대해 블랑크의 격자 추측의 새로운 사례를 증명한다.
• 안정적 ∞-카테고리의 무게 하트에서 다양한 K-이론 불변량(직합, 월드하우젠, BGT)을 통합한다.

제안 방법

• 덧셈 ∞-카테고리에서의 노르마르 확장의 개념을 도입하여, 링 스펙트럼의 아이디얼 기반 노르마르성의 일반화를 이루며.
• 본다르코의 무게 구조를 활용하여 연결성 있는 E1-링 스펙트럼의 '다수의 객체를 가진 링'에 해당하는 구조를 모델링한다.
• 베르디에 졸리션과 아이디오포텐트 완성 기법을 통해 덧셈 ∞-카테고리에서 국소화 수열을 구성한다.
• 모리타 이론과 인도 완성 기법을 활용하여, 덧셈 ∞-카테고리와 컴팩트 생성자를 가진 안정적 ∞-카테고리 간의 관계를 규명한다.
• 무게 구조를 통해 기존의 사례로 환원함으로써, 덧셈 ∞-카테고리에서의 노르마르 확장에 대해 DGM 정리를 확립한다.
• cdh 수축과 니스네비치 수축 기법을 활용하여, 스택, 특히 유도 스택과 ANS 스택으로의 불변량 확장을 수행한다.

실험 결과

연구 질문

• RQ1 순환 추적에 관한 DGM 정리는 단일 생성자가 없는 안정적 ∞-카테고리로 확장될 수 있는가?
• RQ2 ∞-카테고리에서의 노르마르 아이디얼의 적절한 일반화는 무엇이며, 이러한 확장을 어떻게 정의하고 연구할 수 있는가?
• RQ3 기존의 경우를 초월하여, 대수적 스택에서 잘리기 불변량에 대해 cdh 수축이 성립하는가?
• RQ4 복소수 위의 유도 스택에 대해 블랑크의 격자 추측이 성립하는 조건은 무엇인가?
• RQ5 안정적 ∞-카테고리의 무게 하트 맥락에서, 다양한 K-이론 불변량(직합, 월드하우젠, BGT)은 어떻게 관련되어 있는가?

주요 결과

• DGM 정리는 덧셈 ∞-카테고리에서의 노르마르 확장으로까지 확장되어, 비단일 생성자가 있는 안정적 ∞-카테고리의 프레임워크를 제공한다.
• 특정 기하 조건을 만족하는 유도 스택에서 잘리기 불변량에 대해 cdh 절단을 증명한다. 이에는 몫 스택과 ANS 스택이 포함된다.
• 복소수 위의 유도 스택 [Y/G]에서 Y가 아핀이고 G가 재구성 가능한 경우, 그리고 복소수 위의 매끄러운 ANS 스택에서, 블랑크의 격자 추측에 대한 새로운 사례를 검증한다.
• 유계로 무게가 부여된 안정적 ∞-카테고리의 경우, 무게 하트에서의 직합, 월드하우젠, BGT K-이론 불변량은 자연적으로 동치이다.
• 무게 하트의 연결성 K-이론이 전체 카테고리의 비연결성 K-이론의 연결성 덮개임을 보여준다.
• 이 프레임워크는 기존의 고전적 DGM 정리의 범위를 넘어서, 보에보드스키의 모티프와 대수적 스택 위의 완전 복소수에 대해 추적 방법을 적용할 수 있도록 한다.