[논문 리뷰] Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

Baptiste Calmès, E. Dotto외 7명|arXiv (Cornell University)|2020. 09. 15.

Homotopy and Cohomology in Algebraic Topology인용 수 7

한 줄 요약

이 논문은 호르미티안 K-이론을 안정적 ∞-카테고리에서 코버드יזם 카테고리 모델을 사용한 허미티안 Q-구성에 기반한 통합 프레임워크로 도입한다. 그로텐디크-위트 스펙트럼의 K-이론적 및 L-이론적 구성요소로의 분해를 확립하고, 허미티안 추가성 정리를 증명하며, 2를 역전하지 않더라도 카루비의 주기성과 Weiss-Williams의 LA-이론과 같은 고전적 결과를 호모토피 이론적 맥락에서 회복한다.

ABSTRACT

We define Grothendieck-Witt spectra in the setting of Poincaré $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such algebraic examples alongside homotopy-theoretic generalisations: For example, the periodicity theorem holds for complex oriented $\mathrm{E}_1$-rings, and we show that the Grothendieck-Witt theory of parametrised spectra recovers Weiss and Williams' LA-theory. Our Grothendieck-Witt spectra are defined via a version of the hermitian Q-construction, and a novel feature of our approach is to interpret the latter as a cobordism category. This perspective also allows us to give a hermitian version -- along with a concise proof -- of the theorem of Blumberg, Gepner and Tabuada, and provides a cobordism theoretic description of the aforementioned LA-spectra.

연구 동기 및 목표

• 안정적 ∞-카테고리에서 고전적 그로텐디크-위트 이론을 확장하는 호모토피 이론적 프레임워크를 개발한다.
• 환의 2가 역전되지 않은 경우와 E1-환을 포함한 대수적 및 위상적 예제를 통합한다.
• 보트-제너러 시퀀스를 통해 그로텐디크-위트 스펙트럼의 K-이론적 및 L-이론적 구성요소로의 분해를 확립한다.
• 코버드יזם 카테고리 기반의 접근을 사용하여 블룸버그-제프너-타바타의 추가성 정리의 허미티안 판정을 증명한다.
• 매개변수 스펙트럼의 그로텐디크-위트 이론이 Weiss와 Williams의 LA-이론을 회복함을 보인다.

제안 방법

• Poincaré ∞-카테고리에서 허미티안 Q-구성을 코버드יזם ∞-카테고리로 해석하는 새로운 해석을 사용한다.
• 유니모듈라 형식의 코버드יזם ∞-카테고리의 군 완비화를 통해 그로텐디크-위트 스펙트럼을 정의한다.
• Poincaré-베르드리 수열과 가군 함자를 적용하여 국소화 및 메이어-비에토리스 원리를 확립한다.
• 기본 정확수열을 구성하기 위해 가군 함자의 보르디피케이션과 진정한 하이퍼볼리제이션을 도입한다.
• 하이퍼볼리제이션을 통해 그로텐디크-위트 스펙트럼이 K-이론과 L-이론으로 연결되는 보트-제너러 수열을 확립한다.
• C2-등가 호모토피 이론과 노름 사상(노름 맵)을 사용하여 2- torsion이 존재할 경우 고정점과 궤도를 다룬다.

실험 결과

연구 질문

• RQ1 2가 역전되지 않은 상황에서 허미티안 K-이론을 안정적 ∞-카테고리로 체계적으로 확장할 수 있는 방법은 무엇인가?
• RQ2 이 설정에서 그로텐디크-위트 스펙트럼, K-이론, L-이론 간의 정확한 관계는 무엇인가?
• RQ3 코버드יזם 이론적 접근을 사용하여 K-이론의 추가성 정리를 허미티안 설정으로 일반화할 수 있는가?
• RQ4 매개변수 스펙트럼의 그로텐디크-위트 이론이 Weiss와 Williams의 LA-이론을 회복하는가?
• RQ5 Poincaré-베르드리 수열과 국소화 수열은 허미티안 설정에서 어떻게 행동하는가?

주요 결과

• Poincaré ∞-카테고리의 그로텐디크-위트 스펙트럼은 K-이론과 L-이론으로 이어지는 장정확수열에 포함되며, 고전적 보트-제너러 수열을 일반화한다.
• 허미티안 Q-구성이 코버드יזם ∞-카테고리로 실현되어 기하학적 해석을 제공하고 추가성 정리의 간결한 증명을 가능하게 한다.
• 카루비의 기본 정리와 주기성 정리는 2가 역전되지 않은 환, 특히 복소-방향 E1-환에 대해서도 성립한다.
• 매개변수 스펙트럼의 그로텐디크-위트 이론은 Weiss와 Williams의 LA-이론과 동치이다.
• 2- torsion의 역전 가능성이 없더라도, 메이어-비에토리스 및 국소화 수열이 성립한다.
• 2가 역전될 경우, 이중 구조를 가진 정확 카테고리의 그로텐디크-위트 공간에서 스펙트럴 실현된 코버드יזם 카테고리로의 자연사상은 동치이다.