[논문 리뷰] A Grothendieck-Witt space for stable infinity categories with duality

Markus Spitzweck|arXiv (Cornell University)|2016. 10. 31.

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

한 줄 요약

이 논문은 2가 역원으로 가질 수 있는 환에서의 고전적 그로텐디크-위트 공간을 일반화하여, 양성 구조를 지닌 안정적 ∞-카테고리에 대해 그로텐디크-위트 공간 GW(C)를 구성한다. GW(C)가 군적 E∞-공간임을 보이고, 진정한 C₂-스펙트럼인 연결 실수 K-이론 스펙트럼 KR(C)의 일부임을 보이며, 2가 역원으로 가질 수 있는 환 위의 완전 복합체의 경우 고전적 K-이론과 GW-이론을 복원한다.

ABSTRACT

We construct a Grothendieck-Witt space for any stable infinity category with duality. If we apply our construction to perfect complexes over a commutative ring in which 2 is invertible we recover the classical Grothendieck-Witt space. Our Grothendieck-Witt space is a grouplike E-infinity space which is part of a genuine C_2-spectrum, the connective real K-theory spectrum.

연구 동기 및 목표

• 안정적 ∞-카테고리에 대한 양성 구조를 지닌 ∞-카테고리적 설정으로 고전적 그로텐디크-위트 공간 구성법을 확장한다.
• 군적 E∞-공간인 그로텐디크-위트 공간 GW(C)를 정의함으로써 연결 스펙트럼을 자연스럽게 유도한다.
• GW(C)가 진정한 C₂-스펙트럼인 연결 실수 K-이론 스펙트럼 KR(C)의 일부임을 보이며, ∞-카테고리로의 실수 K-이론을 일반화한다.
• 2가 역원으로 가질 수 있는 교환환 위의 완전 복합체에 적용했을 때 이 구성법이 고전적 그로텐디크-위트 공간을 복원함을 검증한다.

제안 방법

• 와일드하우젠의 K-이론 프레임워크를 양성 구조를 포함하도록 수정한 ∞-카테고리적 허미트 S•-구성법을 사용한다.
• Sₙ(C)를 Fun(Ar([n]), C)의 전부에서, 정확성 및 영 대상 조건을 만족하는 함자들로 이루어진 완전 부분카테고리로 정의한다.
• K(C)를 S•(C)의 코어 군족의 기하적 실현의 루프 공간으로 정의한다.
• 안정적 ∞-카테고리 C 내의 완전 페어링의 ∞-카테고리 위에서 C₂-고정점 구성법을 통해 그로텐디크-위트 공간 GW(C)를 도입한다.
• Span(𝔽[C₂]) 위에서의 스펜 구성법과 데이 콘볼루션을 통해 GW(C)가 군적 E∞-공간임을 확립한다.
• G = C₂에 대해 Span(𝔽[G])의 함자성과 유한 쌍대합 보존성을 이용하여 진정한 C₂-스펙트럼인 연결 실수 K-이론 스펙트럼 KR(C)를 구성한다.

실험 결과

연구 질문

• RQ1 고전적 그로텐디크-위트 공간 구성법은 어떻게 안정적 ∞-카테고리에 대한 ∞-카테고리적 설정으로 일반화될 수 있는가?
• RQ2 결과로 얻어진 GW(C) 공간은 어떤 구조를 지니며, K-이론과 실수 K-이론과의 관계는 어떠한가?
• RQ3 GW(C) 공간은 진정한 C₂-스펙트럼에 통합될 수 있으며, 그 기초 K-이론 스펙트럼과의 관계는 무엇인가?
• RQ4 2가 역원으로 가질 수 있는 환 위의 완전 복합체에 적용했을 때 이 구성법이 고전적 그로텐디크-위트 공간을 복원하는가?
• RQ5 스펜 구성법과 데이 콘볼루션은 어떻게 KR(C)를 진정한 C₂-스펙트럼으로 실현하는가?

주요 결과

• 그로텐디크-위트 공간 GW(C)는 군적 E∞-공간이므로 자연스럽게 연결 스펙트럼을 유도한다.
• 모든 안정적 ∞-카테고리 C에 대해, C가 2가 역원으로 가질 수 있는 교환환 위의 완전 복합체의 ∞-카테고리일 경우, GW(C)는 고전적 그로텐디크-위트 공간과 자연스럽게 동치이다.
• 이 구성법은 진정한 C₂-스펙트럼 KR(C)를 도출하며, 이는 C의 연결 실수 K-이론 스펙트럼이다.
• KR(C)의 기초 스펙트럼은 자연스럽게 K-이론 스펙트럼 K(C)와 동치이며, K(C)에 자연스러운 C₂-행동을 부여한다.
• KR(C)의 C₂-고정점은 자연스럽게 GW(C)와 동치이며, 실수 K-이론과 GW-이론 사이의 정확한 관계를 확립한다.
• 모든 E∞-환 스펙트럼 R과 텐서 역원이 존재하는 객체 L ∈ Perf(R)에 대해, 실수 K-이론 스펙트럼 KR(R, L)를 도출할 수 있으며, 이는 모든 n ∈ ℤ에 대해 KR(R, R[n])을 포함한다.