[논문 리뷰] Parametrized higher category theory and higher algebra: Exposé IV -- Stability with respect to an orbital $\infty$-category

Denis Nardin|arXiv (Cornell University)|2016. 08. 27.

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

한 줄 요약

이 논문은 유 endo 유한군 G의 궤도 범주 위의 G-카테고리—즉, G-스펙트럼의 안정성 이론을 궤도 ∞-카테고리의 프레임워크를 사용하여 개발한다. G-스펙트럼은 G-가환 모노이드를 통해 G-스페이스의 G-스테이블라이제이션으로 특성화되며, 유한 G-스페이스에서의 G-선형 함자에 대한 유일한 수신체로 G-스펙트럼을 보편적으로 특성화한다. 또한 Guillou와 May가 제시한 직교 G-스펙트럼에 관한 결과에 대해 새로운 증명을 제공한다.

ABSTRACT

In this paper we develop a theory of stability for $G$-categories (presheaf of categories on the orbit category of $G$), where $G$ is a finite group. We give a description of Mackey functors as $G$-commutative monoids exploit it to characterize $G$-spectra as the $G$-stabilization of $G$-spaces. As an application of this we provide an alternative proof of a theorem by Guillou and May. The theory here is developed in the more general setting of orbital categories.

연구 동기 및 목표

• G-카테고리에 대한 안정성 이론을 개발하여, 고전적 안정 ∞-카테고리 이론을 등변 설정으로 일반화한다.
• G-가환 모노이드의 구조를 사용하여 G-스펙트럼을 G-스페이스의 G-스테이블라이제이션으로 특성화한다.
• G-스펙트럼의 ∞-카테고리가 유한 G-스페이스에서의 G-선형 함자에 대한 보편적 수신체로 되는 보편 성질을 제공한다.
• 궤도 ∞-카테고리의 새로운 프레임워크를 통해 Guillou와 May의 직교 G-스펙트럼에 관한 정리에 대한 대안적 증명을 제공한다.

제안 방법

• 논문은 유한군 G의 궤도 범주 OG를 사용하여, OG 위의 ∞-카테고리의 프레시피어로 G-카테고리를 정의한다.
• 궤도 ∞-카테고리 T 위의 카테고리에 대해 T-반가환성과 T-안정성을 도입하여, 가환성과 안정성의 일반화를 제공한다.
• 궤도 ∞-카테고리 T의 구조를 사용하여, 매크리 함수의 일반화로서 T-가환 모노이드를 정의한다.
• 유한 G-스페이스의 ∞-카테고리에서 G-스펙트럼의 ∞-카테고리로 향하는 보편 G-선형 함자를 구성하며, G-스펙트럼이 G-스페이스의 G-스테이블라이제이션임을 보여준다.
• 스웨드-시플리 정리를 적용하여, 직교 스펙트럼과 등변 스펙트럼 사이의 특정 함자가 동치임을 보이며, 궤도의 피브어와이즈 스터핑 스펙트럼에 의존한다.
• 구드윌리 칼큘러스 프레임워크를 사용하여, 유한 G-스페이스에서 G-스페이스로의 선형 함자와 G-스펙트럼의 카테고리 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 G-카테고리를 사용하여, ∞-카테고리에서의 고전적 안정성 개념을 등변 설정으로 어떻게 일반화할 수 있는가?
• RQ2 G-스펙트럼의 ∞-카테고리가 유한 G-스페이스에서의 G-선형 함자에 대해 어떤 보편 성질을 가지는가?
• RQ3 궤도 ∞-카테고리의 맥락에서 매크리 함수는 T-가환 모노이드와 어떻게 관련되는가?
• RQ4 G-스펙트럼은 G-가환 모노이드를 포함하는 보편 성질을 통해 G-스페이스의 G-스테이블라이제이션으로 특성화될 수 있는가?
• RQ5 궤도 ∞-카테고리 이론은 Guillou와 May의 직교 G-스펙트럼에 관한 정리에 대해 어떤 새로운 증명을 가능하게 하는가?

주요 결과

• G-스펙트럼의 ∞-카테고리는 보편적으로 유한 G-스페이스에서의 G-선형 함자에 대한 수신체로 작용하며, G-스펙트럼에 대한 보편 성질을 확립한다.
• G-스펙트럼은 G-가환 모노이드를 통한 안정화 과정으로 G-스페이스의 G-스테이블라이제이션으로 특성화된다.
• 연결 G-스펙트럼과 G-스페이스의 G-가환 모노이드 사이의 함정은, 기저 모노이드가 군-유사일 때이고 스펙트럼이 연결일 때에만 동치이다.
• 직교 G-스펙트럼에서 등변 G-스펙트럼으로의 함자는 동치이다. 이는 궤도의 스터핑 스펙트럼을 보존하고 Schwede-Shipley 조건을 충족하기 때문이다.
• 이론은 G-스펙트럼을 G-스테이블라이제이션을 통해 G-스페이스로 표현하고, G-선형 함자의 보편 성질을 통해 Guillou-May 정리에 대한 새로운 증명을 제공한다.
• 각 궤도에 대한 G-스펙트럼 카테고리의 섬유는 궤도의 스터핑 스펙트럼에 의해 생성되며, 안정화 함자는 이러한 부분카테고리 위에서 전부 충실하다.