[논문 리뷰] Witt Vectors and Equivariant Ring Spectra

Morten Brun|ArXiv.org|2004. 11. 25.

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

한 줄 요약

이 논문은 유한군 $G$-작용을 가진 $E_{\infty}$-링 스펙트럼 $T$의 제로스피드 호모토피 군 $\pi_0(T)$의 $G$-일반 워드 벡터의 링에서 $T^G$의 제로스피드 호모토피 군으로의 표준 맵을 수립한다. 주요 결과는 주기적 유니터리 코버디즘 스펙트럼 $MP$에 대해 이 맵이 단사임을 보이며, 이는 등변 유니터리 코버디즘 링에 워드 벡터의 구조를 제공한다.

ABSTRACT

This paper establishes a connection between equivariant ring spectra and Witt vectors in the sense of Dress and Siebeneicher. Given a commutative ringspectrum T in the highly structured sense, that is, an E-infinity-ringspectrum, with action of a finite group G we construct a ringhomomorphism from the ring of G-typical Witt vectors of the zeroth homotopy group of T to the zeroth homotopy group of the G-fixed point spectrum of T. In the particular case, where T is the periodic unitary cobordism spectrum introduced by Strickland, we show that this ringhomomorphism is injective, and we interpret this in terms of equivariant cobordism.

연구 동기 및 목표

• 유한군 $G$-작용을 가진 $E_{\infty}$-링 스펙트럼 $T$에 대해 $\mathbb{W}_G(\pi_0(T))$에서 $\pi_0(T^G)$로의 자연스러운 링 준동형사를 수립하기 위해.
• 특히 주기적 유니터리 코버디즘 스펙트럼 $MP$에 대해 이 준동형사를 등변 코버디즘의 관점에서 해석하기 위해.
• $G$-등변 $MP$에 대해 준동형사 $\tau_{\widetilde{MP}}$가 단사적이지만 전사적이지 않음을 보여주기 위해.
• 타마라 포터널을 사용하여 등변 스테이블 호모토피 범주로 고전적 워드 벡터 구성의 일반화를 위해.
• 스마시 곱과 와이드 합의 상호작용을 모델링하기 위해 이중모나이드 카테고리와 부분 피시-함수를 사용한 카테고리적 프레임워크 제공하기 위해.

제안 방법

• 유한군 $G$-집합 $X$에 대해 $[\Sigma^\infty X_+, T]_G$를 통해 $G$-작용을 가진 $E_{\infty}$-링 스펙트럼 $T$로부터 타마라 포터널 $\widetilde{T}$를 구성하기 위해.
• 드레스와 지벤에이처의 이론을 타마라 포터널 $\widetilde{T}$에 적용하여 링 준동형사 $\tau_{\widetilde{T}}: \mathbb{W}_G(\pi_0(T)) \to \pi_0(T^G)$를 유도하기 위해.
• 라플라자의 이중모나이드 카테고리에 대한 조율 이론을 부분 피시-함수를 통해 재구성하여 스마시 곱과 와이드 합 사이의 호환성을 확보하기 위해.
• 직각 스펙트럼을 사용하여 스펙트럼의 스마시-인덕션을 분석하며, 특히 순열 작용을 가진 $G$-스마시 거듭제곱 $X^{\wedge G}$에 중점을 두기 위해.
• 코프리프레젠테이션의 호모토피적 제어와 모나이드 함자에 의한 푸시아웃 보존성을 활용하여 구성의 안정성을 확보하기 위해.
• 이 구성이 직각 스펙트럼, 등변 대칭 스펙트럼, 등변 $\Gamma$-스페이스에 대해 안정 동치를 통해 적용됨을 검증하기 위해.

실험 결과

연구 질문

• RQ1 등변 $E_{\infty}$-링 스펙트럼에 대해 $G$-일반 워드 벡터 링을 자연스럽게 어떻게 연결할 수 있는가?
• RQ2 등변 $E_{\infty}$-링 스펙트럼의 $G$-고정점 스펙트럼과 그 워드 벡터 구성 사이의 관계는 무엇인가?
• RQ3 $MP$와 같은 특정 스펙트럼에 대해 유도된 준동형사 $\tau_{\widetilde{T}}: \mathbb{W}_G(\pi_0(T)) \to \pi_0(T^G)$는 단사적이고 전사적인가?
• RQ4 구체적으로 구의 스펙트럼에 대해 고전적 동형사 $\tau_{\widetilde{\mathbb{S}}}$는 다른 등변 링 스펙트럼으로 확장될 수 있는가?
• RQ5 등변 유니터리 코버디즘 링 $\mathcal{U}^G_*$는 비등변 코버디즘 링 $\mathcal{U}_*$의 워드 벡터 구성과 어떻게 관련이 있는가?

주요 결과

• 모든 $G$-작용을 가진 $E_{\infty}$-링 스펙트럼 $T$에 대해 준동형사 $\tau_{\widetilde{T}}: \mathbb{W}_G(\pi_0(T)) \to \pi_0(T^G)$가 표준적으로 수립된다.
• 구의 스펙트럼 $\mathbb{S}$에 대해 맵 $\tau_{\widetilde{\mathbb{S}}}$는 동형사이며, 드레스와 지벤에이처의 고전 결과를 복원한다.
• 군 $G$가 순환군일 때, $\mathrm{THH}(R)$의 토폴로지컬 호흐시ลด 호모로지에 대해 $\tau_{\widetilde{\mathrm{THH}(R)}}$ 역시 동형사이다.
• 주기적 유니터리 코버디즘 스펙트럼 $MP$에 대해 맵 $\tau_{\widetilde{MP}}$는 단사적이지만 전사적이지 않으며, $G$가 소수 차수의 순환군일 때에도 마찬가지이다.
• $\mathbb{W}_G(\mathcal{U}_*)$는 등변 유니터리 코버디즘 링 $\mathcal{U}^G_*$의 부분환으로 포함되며, 이는 등변 코버디즘에 워드 벡터의 구조를 제공한다.
• 이 구성은 모델 구조의 변화에 대해 안정적이다: 직각 스펙트럼, 등변 대칭 스펙트럼, 등변 $\Gamma$-스페이스에 대해 안정 동치를 통해 적용 가능하다.