[논문 리뷰] Equivariant symmetric monoidal structures

Michael A. Hill, Michael J. Hopkins|arXiv (Cornell University)|2016. 10. 10.

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

한 줄 요약

이 논문은 유한 $G$-집합을 인덱스로 하는 대칭 단순 카테고리와 거듭제곱을 포함하는, 등변적 일반화된 대칭 단순 카테고리인 $G$-대칭 단순 카테고리의 개념을 도입한다. $G$-교환 법칙을 가진 모노이드를 정의하고, 진정된 $G$-스펙트럼의 베우스필드 국소화가 작용적 대수적 구조를 유지하는 조건을 규명하며, 직관적으로는 실패할 수 있는 경우에도 스매싱 국소화가 여전히 교환 법칙을 가진 스펙트럼을 유지할 수 있음을 보여준다.

ABSTRACT

Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also symmetric monoidal powers indexed by arbitrary finite $G$-sets. We then define $G$-commutative monoids to be the natural extension of ordinary commutative monoids to this new context. Using this machinery, we then describe when Bousfield localization in equivariant spectra preserves certain operadic algebra structures, and we explore the consequences of our definitions for categories of modules over a $G$-commutative monoid.

연구 동기 및 목표

• 등변 호모토피 이론 내에서 전이와 함께 작용하는 대칭 단순 곱을 포함하는 대칭 단순 구조의 형식화된 개념을 제시하는 것.
• 대칭 단순 카테고리 내에서 교환 법칙을 가진 모노이드의 자연스러운 등변적 일반화로서 $G$-교환 법칙을 가진 모노이드를 정의하는 것.
• 진정된 $G$-스펙트럼의 베우스필드 국소화가 교환 법칙을 가진 스펙트럼과 작용적 대수적 구조를 유지하는 조건을 규명하는 것.
• 토프로스 위의 프레샤브에서 유사한 구조를 식별하여 등변 호모토피 이론의 프레임워크를 모티빅 호모토피 이론으로 확장하는 것.
• 예상치 못한 행동을 보이는 컴팩트 리 군 작용(예: $G = S^1$)에서, 나이브한 국소화가 실패하더라도 진정된 구조는 여전히 교환 법칙을 유지함을 밝히는 것.

제안 방법

• 궤도 범주 $\mathcal{O}rb_G$ 에서 대칭 단순 카테고리의 범주로의 함자로 $G$-대칭 단순 카테고리를 정의하며, 제약과 전이 사상이 포함된다.
• 대칭 단순 계수 체계와 대칭 단순 매킷 편지체를 기초 구조로 도입하며, 후자는 동형 사상에 의한 이중 코셋 공식을 만족한다.
• 유한 $G$-집합을 $G/H$ 위에서 고려하는 범주를 대칭 단순 매킷 편지체의 보편적 모델로 사용한다.
• 진정된 $G$-스펙트럼 내에서 $L$-비특이 객체의 범주가 $\mathcal{O}_L(U)$-대칭 단순 카테고리의 부분범주가 되는 조건을 확립하여 국소화가 대수적 구조를 유지함을 보장한다.
• $G = S^1$의 경우를 분석하여, $S^1$-스펙트럼은 나이브하게 보일 수 있지만, 모든 진정된 부분군으로의 제약은 진정된 교환 법칙을 가진 스펙트럼이 됨을 보여준다.
• 모티빅 호모토피 이론으로 결과를 확장하기 위해, 모티빅 스펙트럼에서 $\mathbb{R}$로의 실현 함자가 린-모노이드적임을 보이며, 국소화 행동을 유지함을 보인다.

실험 결과

연구 질문

• RQ1 주어진 $G$-대칭 단순 카테고리에 대해, 진정된 $G$-스펙트럼의 베우스필드 국소화가 $\mathcal{L}(U)$-대수를 유지하는 조건은 무엇인가?
• RQ2 등변 안정 호모토피 이론의 맥락에서 $G$-교환 법칙을 가진 모노이드는 일반적인 교환 법칙을 가진 모노이드를 어떻게 일반화하는가?
• RQ3 유한 지표 부분군이 없는 상황에서도, 컴팩트 리 군(예: $S^1$)의 경우 표준적인 국소화 반례가 실패하는 이유는 무엇인가?
• RQ4 등변 대칭 단순 카테고리의 프레임워크는 모티빅 호모토피 이론으로 확장될 수 있으며, 그 맥락에서 어떤 구조가 도출되는가?
• RQ5 노름 사상과 스킴 위에서의 텐서 곱 연산은 등변 대칭 단순 구조를 모티빅 맥락으로 확장하는 데 어떤 역할을 하는가?

주요 결과

• 베우스필드 국로컬화가 $\mathcal{L}(U)$-대수를 유지하려면, $L$-비특이 객체의 범주가 $G$-스펙트럼의 범주 내에서 $\mathcal{O}_L(U)$-대칭 단순 카테고리의 부분범주여야 한다.
• $G = S^1$의 경우, 교환 법칙을 가진 $S^1$-링 스펙트럼은 모든 진정된 부분군으로 제약을 받을 때 진정된 교환 법칙을 가진 스펙트럼이 된다. 이는 $S^1$이 유한 지표 부분군을 가지지 않음에도 불구하고 성립한다.
• 진정된 부분군의 가족에 대해 관련된 영속성 함자(Nullification functor)는 교환 법칙을 가진 스펙트럼을 유지한다. 이는 이러한 국로컬화가 스매싱적이며 교환 법칙과 호환됨을 보여준다.
• $S^0[a_{V_1}^{-1}, a_{V_2}^{-1}, \dots]$ 는 진정된 $S^1$-링 스펙트럼이며, 임의의 진정된 부분군으로의 제약이 영이 되는 필수 사상의 열에 의한 국로컬화로 구성된다.
• 체 $\mathbb{R}$ 위에서의 모티빅 호모토피 이론에서, 국로컬화 $S^0[\rho^{-1}]$ 는 교환 법칙을 가진 스펙트럼이 아니며, 그 복소 실현이 $S^0[a_{\bar{\rho}}^{-1}]$ 가 되어 교환 법칙을 가진 스펙트럼이 아니기 때문이다.
• 체 $k$ 위에서의 모티빅 맥락은 유한 체 확장에 대해 노름 사상을 포함하며, 이는 $G$-대칭 단순 구조를 스킴에 추가적인 텐서 곱 연산을 포함해 일반화할 수 있음을 시사한다.