[논문 리뷰] Algebraic models of change of groups in rational stable equivariant homotopy theory

J. P. C. Greenlees|arXiv (Cornell University)|2015. 01. 25.

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

한 줄 요약

이 논문은 자유 $G$-스펙트럼에 대한 유리수 안정 등변 homotopy 이론에서 귀납, 제한, 코근접 함자에 대한 명시적 대수적 모델을 제공한다. 이는 군 환과 코homology 환 위의 등급 모듈의 도파르 카테고리들을 사용한다. 주요 기여는 위상수학적 변화-군 함자들과 $H^*(BG_e)[\overline{G}]$ 및 $H^*(BH_e)[\overline{H}]$ 위의 토퍼션 모듈 위에서의 대수적 연산 사이의 정확한 대응 관계를 밝혀내며, 귀납($\theta^\dagger$), 제한($\theta_*$), 코근접($\theta^*$)의 대수적 대응을 위한 명시적 공식을 제공한다.

ABSTRACT

Shipley and the author have given an algebraic model for free rational G-spectra for a compact Lie group G. In the present note we describe, at the level of homotopy categories, the algebraic models for induction, restriction and coinduction relating free rational G-spectra and free rational H-spectra for a subgroup H of G. The justification for giving this short and elementary account is (1) the author found it difficult to guess the correct answer, (2) the answer depends on which Quillen equivalence is used between topology and algebra and (3) this has provided useful insight in several other projects (including arXiv:1501.03425).

연구 동기 및 목표

• 유리수 안정 등변 homotopy 이론의 맥락에서 변화-군 함자(귀납, 제한, 코근접)에 대한 대수적 모델을 수립하기 위해.
• G-스펙트럼과 H-스펙트럼 사이의 유도된 카테고리의 등급 모듈 위에서의 유도된 함자들 간의 쌍대함수 삼중항이 어떻게 대수적 연산으로 번역되는지 기술하기 위해.
• 귀납, 제한, 코근접의 대수적 대응을 텐서곱, 호모모르피즘, 군 환 작용을 통해 명시적인 공식으로 제공하기 위해.
• 특히 비자명한 와일 군이 존재할 경우, 상대적 이중화 모듈과 와일 군 작용이 대수적 모델에서 수행하는 역할을 명확히 하기 위해.
• 예를 들어 $G = SO(3)$, $H = O(2)$와 같이 구체적인 사례를 통해 모델이 기존의 위상수학적 행동을 어떻게 복원하는지 보여주기 위해.

제안 방법

• 시플리와 그린리스가 수립한 자유 유리수 $G$-스펙트럼에 대한 대수적 모델을 사용하여, 자유 $G$-스펙트럼의 호모토피 카테고리를 $H^*(BG_e)[\overline{G}]$ 위의 토퍼션 모듈의 유도된 카테고리와 동치로 식별한다.
• 유도된 귀납 함자 $\theta^\dagger$를 $\mathbb{Q}[\overline{G}] \otimes_{\mathbb{Q}[\overline{H}]} \Sigma^{L(G/H)} N$로 구성하며, 여기서 $L(G/H)$는 동차 공간의 접공간이다.
• 유도된 제한 함자 $\theta_*$를 $H^*(BH_e) \otimes_{H^*(BG_e)} M$로 정의하며, 항등성분의 포함에 의한 베이스 체인지 방식을 사용한다.
• 유도된 코근접 함자 $\theta^*$를 $\mathrm{Hom}_{\mathbb{Q}[\overline{H}]}(\mathbb{Q}[\overline{G}], N)$로 정의하며, 이는 와일 군의 쌍대 작용을 포함한다.
• 특수한 예인 $G = SO(3)$, $H = O(2)$에서 상대적 이중화 모듈 $\mathbb{D}(G_e|H_e) \cong \Sigma^2 \tilde{\mathbb{Q}} \otimes \mathbb{Q}[c]$를 명시적으로 계산하여 등급 이동을 보정한다.
• 유도된 카테고리에서 기대되는 보편 성질을 만족함을 확인하여, 유도된 함자들 간의 쌍대함수 관계를 검증한다.

실험 결과

연구 질문

• RQ1 자유 유리수 $G$-스펙트럼과 $H$-스펙트럼 사이의 위상수학적 변화-군 함자(귀납, 제한, 코근접)는 어떻게 대수적으로 모델링할 수 있는가?
• RQ2 유도된 등급 모듈 카테고리에서 귀납, 제한, 코근접을 모델링하는 함자 $\theta^\dagger$, $\theta_*$, $\theta^*$에 대한 정확한 대수적 표현은 무엇인가?
• RQ3 와일 군 작용과 와일 군 대수의 구조는 비자명한 와일 군이 존재할 경우 대수적 모델에 어떻게 영향을 미치는가?
• RQ4 특히 비항등성분이 존재할 경우, 상대적 이중화 모듈은 등급 이동을 보정하는 데 어떤 역할을 하는가?
• RQ5 특정 예를 들어 $G = SO(3)$, $H = O(2)$로 계산하고 검증할 수 있는가?

주요 결과

• 귀납 함자 $i_*$는 $\theta^\dagger(N) = \mathbb{Q}[\overline{G}] \otimes_{\mathbb{Q}[\overline{H}]} \Sigma^{L(G/H)} N$로 대수적으로 모델링되며, 여기서 $\Sigma^{L(G/H)}$는 동차 공간 $G/H$의 차원을 반영한다.
• 제한 함자 $i^*$는 $\theta_*(M) = H^*(BH_e) \otimes_{H^*(BG_e)} M$로 모델링되며, 항등성분의 포함에 의한 기저 전환으로서 작용한다.
• 코근접 함자 $i_!$는 $\theta^*(N) = \mathrm{Hom}_{\mathbb{Q}[\overline{H}]}(\mathbb{Q}[\overline{G}], N)$로 모델링되며, $N$ 위에 와일 군의 쌍대 작용을 포함한다.
• $G = SO(3)$, $H = O(2)$의 예에서, 대수적 제한은 $\theta_*M = \mathbb{Q}[c] \otimes_{\mathbb{Q}[d]} M$로 주어지며, 여기서 $d \mapsto c^2$이고, 대수적 코근접은 $\theta^*(N) = N^W$로, $N$의 $W$-불변 부분이다.
• 상대적 이중화 모듈 $\mathbb{D}(G_e|H_e)$는 $\Sigma^2 \tilde{\mathbb{Q}} \otimes \mathbb{Q}[c]$로 계산되며, 이는 귀납 모델의 등급 이동을 보정하고 쌍대성과의 호환성을 확보한다.
• 대수적 모델은 상위함수 삼중항 $\theta^\dagger \dashv \theta_* \dashv \theta^*$를 형성하며, 이는 위상수학적 쌍대함수 관계를 반영하고, 유도된 카테고리의 구조와 호환된다.