[논문 리뷰] Tannaka duality over ring spectra

James Wallbridge|arXiv (Cornell University)|2012. 04. 25.

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

한 줄 요약

이 논문은 가환 링 스펙트럼 위의 $(\infty,1)$-카테고리에 대한 Tannaka 쌍대성 정리를 수립하며, 고전적 Tannaka 쌍대성을 유도 대수기하학으로 일반화한다. 이는 유도된 군 스택(또는 게르베)의 카테고리가, 섬유 함수자를 지닌 강한 대칭 모나드 $(\infty,1)$-카테고리의 카테고리와 동치임을 증명하며, $E_\infty$-링 스펙트럼과 안정적 호모토피 이론의 맥락으로 고전적 결과를 확장한다.

ABSTRACT

We prove a Tannaka duality theorem for $(\infty,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric monoidal $(\infty,1)$-categories endowed with particular structure. This duality theorem is defined over commutative ring spectra and subsumes the classical statement. We show how the classical theory, and its extension over arbitrary rings, arises as a special case of our more general theory. The application to perfect complexes is explored.

연구 동기 및 목표

• 고전적 Tannaka 쌍대성을 가환 링 스펙트럼 위의 $(\infty,1)$-카테고리 맥락으로 확장하기.
• 아핀 군 스킴과 Tannakian 카테고리 사이의 쌍대성을 유도 및 스펙트럼 맥락으로 일반화하기.
• 고전적 이론이 강한 $(\infty,1)$-카테고리와 섬유 함수자를 통해 새로운 프레임워크의 특수한 경우로 나타남을 보여주기.
• 유도된 군 스택과 섬유 함수자를 지닌 강한 대칭 모나드 $(\infty,1)$-카테고리 간의 완전 충실한 수반 관계를 수립하기.
• 스펙트럼 대수기하 기법을 사용하여 완전 복합체와 유도 대수기하학에 응용을 탐색하기.

제안 방법

• 고전적 Tannaka 쌍대성을 일반화하기 위해 $(\infty,1)$-카테고리와 대칭 모나드 구조의 프레임워크를 사용한다.
• 유도된 맥락으로 Grothendieck의 기본 군의 개념을 섬유 함수자의 자동형사상 군으로 일반화한다.
• 모든 객체가 이중가능한 강한 $(\infty,1)$-카테고리 개념을 사용하여 유한차원 벡터 공간의 안정적 호모토피 이론적 일반화를 모델링한다.
• 대칭 모나드 $(\infty,1)$-카테고리에서 자유로운 강한 카테고리를 구성하기 위해 강성화 함수자 $(\bullet)^{\text{rig}}$를 정의한다.
• 섬유 함수자와 완전 복합체 사이의 수반 관계 $\textup{Fib}_* \dashv \textup{Perf}_*$를 활용하여 쌍대성을 수립한다.
• 유도 대수기하학의 결과, 특히 $\infty$-카테고리 맥락에서의 스택, 게르베, 호프 대수 이론을 적용한다.

실험 결과

연구 질문

• RQ1 고전적 Tannaka 쌍대성은 어떻게 $E_\infty$-링 스펙트럼 위의 $(\infty,1)$-카테고리 맥락으로 일반화될 수 있는가?
• RQ2 섬유 함수자를 지닌 대칭 모나드 $(\infty,1)$-카테고리가 유도된 군 스택을 재구성하기 위해 어떤 조건이 필요한가?
• RQ3 고전적 Tannaka 쌍대성은 아핀 군 스킴에 대한 체 위에서 어떻게 새로운 스펙트럼 프레임워크의 특수한 경우로 나타나는가?
• RQ4 강성화가 $(\infty,1)$-카테고리 맥락에서 Tannaka 쌍대성 일반화에 어떤 역할을 하는가?
• RQ5 링 스펙트럼 위의 완전 복합체는 유도된 게르베와 강한 카테고리 간의 쌍대성과 어떻게 관련되는가?

주요 결과

• 논문은 지점 Tannaka 쌍대성 정리를 증명한다: 유도된 군 스택에서 섬유 함수자를 지닌 강한 대칭 모나드 $(\infty,1)$-카테고리로 가는 함자 $\textup{Perf}_*$는 완전 충실하다.
• 수반 관계 $\textup{Fib}_* \dashv \textup{Perf}_*$는 유도된 군 스택의 카테고리와 섬유 함수자를 지닌 강한 대칭 모나드 $(\infty,1)$-카테고리의 카테고리 사이의 동치를 유도한다.
• 고전적 Tannaka 쌍대성은 $E_\infty$-링이 체이고 위상이 자명할 경우, 아핀 군 스킴에 대한 특수한 경우로 복원된다.
• $(\infty,1)$-카테고리 내 객체의 이중가능성은 호모토피 카테고리에서의 이중성 존재를 보장하며, 안정적이고 일관된 쌍대성 구조를 확보한다.
• 강성화 함수자 $(-)^{\text{rig}}$는 주어진 대칭 모나드 $(\infty,1)$-카테고리 위에서 자유로운 강한 카테고리를 구성하는 방법을 제공하며, 이중가능한 객체의 구성이 가능하게 한다.
• 강한 카테고리에서의 전치 사상 구성은 일반화된 텐서 카테고리의 고전적 쌍대성인 등식 $C(x,y) \simeq C(y^\vee, x^\vee)$를 유도한다.