[논문 리뷰] A localization theorem for the $K$-theory of assemblers with an application to the Grothendieck spectrum of varieties

Inna Zakharevich|arXiv (Cornell University)|2014. 01. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 2

한 줄 요약

이 논문은 자르고 붙이는 방식으로 기하 데이터를 코딩하는 분해기(assmbler)를 도입하여, 높은 기하적 불변량을 캡처하는 호모토피 군을 갖는 $K$-이론 스펙트럼을 정의한다. 이 $K$-이론에 대해 국소화 및 분해 정리(localization and devissage theorems)를 확립하고, 이는 다양체의 그로텐디크 스펙트럼과 다면체의 자르기-붙이기 군에 적용된다.

ABSTRACT

In this paper we introduce the notion of an assembler, which formally encodes and data. An assembler has an associated $K$-theory spectrum, in which $\pi_0$ is the free abelian group of objects of the assembler modulo the cutting and pasting relations, and in which the higher homotopy groups encode further geometric invariants. The goal of this paper is to prove structural theorems about this $K$-theory spectrum, including analogs of Quillen's localization and devissage theorems. We demonstrate the uses of these theorems by analysing the assembler associated to the Grothendieck ring of varieties and the assembler associated to scissors congruence groups of polytopes.

연구 동기 및 목표

• 다양체와 다면체와 같은 기하 데이터를 자르고 붙이는 방식을 포괄하는 분해기의 개념을 통해 형식화하기.
• 객체 간 자르고 붙이는 관계를 $ one_0$이 포착하는 분해기에 관련된 $K$-이론 스펙트럼을 정의하기.
• 퀼렌의 국소화 및 분해 정리에 유사한 구조적 정리들을 이 $K$-이론에 확립하기.
• 이러한 정리를 다양체의 분해기와 다면체의 분해기에 적용하여 그로텐디크 스펙트럼과 자르기-붙이기 군을 분석하기.

제안 방법

• 기하 접합 데이터를 형식화하기 위해 특정 분해 클래스를 갖는 범주로 분해기를 정의하기.
• 월드하우젠의 $S$-구성 또는 그 변형을 사용하여 분해기의 $K$-이론 스펙트럼을 구성하기.
• 제한 사상의 코파인더를 몫 범주에 대한 $K$-이론과 동일시하는, $K$-이론 스펙트럼에 대한 국소화 정리 증명하기.
• 적절한 필터링 조건 하에서 두께 있는 부분범주에만 의존한다는 것을 보여주는 분해 정리 수립하기.
• 체 위의 다양체의 분해기에 이러한 정리를 적용하여 그 $K$-이론이 그로텐디크 링과 관련됨을 밝히기.
• 다면체의 분해기에 이러한 정리를 적용하여 그 $K$-이론이 자르기-붙이기 군과 연결됨을 밝히기.

실험 결과

연구 질문

• RQ1 다양체와 다면체와 같은 기하 범주를 자르고 붙이는 방식을 포괄하는 범주론적 구조로 어떻게 형식화할 수 있는가?
• RQ2 이러한 형식화된 구조의 $K$-이론 스펙트럼을 지배하는 구조적 정리는 무엇인가?
• RQ3 다양체의 분해기의 $K$-이론이 그로텐디크 스펙트럼을 얼마나 잘 복원하는가?
• RQ4 다면체의 분해기의 $K$-이론은 고전적인 자르기-붙이기 군과 어떻게 관련이 있는가?
• RQ5 국소화 및 분해 정리는 이 새로운 $K$-이론 프레임워크로 일반화될 수 있는가?

주요 결과

• 분해기의 $K$-이론 스펙트럼의 $ one_0$은 자르고 붙이는 관계에 모odulo한 객체들의 자유 아벨 군과 동형이다.
• 논문은 $K$-이론 스펙트럼에 대해 국소화 정리를 확립하여, 제한 사상의 코파인더를 몫 분해기의 $K$-이론과 동일시한다.
• 적절한 필터링 조건 하에서 두께 있는 부분범주에만 의존한다는 것을 보여주는 분해 정리가 증명되었다.
• 체 위의 다양체의 분해기의 $K$-이론은 그로텐디크 스펙트럼으로 가는 사상이 존재하며, 그의 구조에 대한 새로운 시각을 제공한다.
• 다면체의 분해기의 $K$-이론은 고전적인 자르기-붙이기 군을 $ one_0$으로 실현하며, 높은 호모토피 군은 추가 불변량을 캡처한다.
• 이 프레임워크는 공통적인 범주론적 기반을 통해 대수기하학과 기하적 위상수학의 $K$-이론 불변량을 통합하고 일반화한다.