[논문 리뷰] Real topological cyclic homology of spherical group rings

Amalie Høgenhaven|arXiv (Cornell University)|2016. 11. 03.

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

한 줄 요약

이 논문은 G = Gal(ℂ/ℝ)일 때, 군 역전위에 의해 유도되는 반대입체를 갖는 구형 군환 𝕊[Γ]의 실수 위상적 순환 homology (TCR)의 G-등변 호모토피 유형을 계산한다. 모든 소수 p와 n ≥ 0에 대해, Γ 위의 이형성 바 구조의 스uspension 스펙트럼에서 THR(𝕊[Γ])로의 O(2)-등변 맵을 수립하여 C_{p^n}- 및 D_{p^n}-호모토피 군에서의 동형을 유도하고, p-완비화 이후 TCR(𝕊[Γ]; p)를 ℤ/2-Tate 전이의 등변 호모토피 필러와 구형 스펙트럼의 와이어 합으로 계산한다.

ABSTRACT

We compute the $G$-equivariant homotopy type of the real topological cyclic homology of spherical group rings with anti-involution induced by taking inverses in the group, where $G$ denotes the group $Gal(\mathbb{C}/\mathbb{R})$. The real topological Hochschild homology of a spherical group ring $\mathbb{S}[Γ]$, with anti-involution as described, is an $O(2)$-cyclotomic spectrum and we construct a map commuting with the cyclotomic structures from the $O(2)$-equivariant suspension spectrum of the dihedral bar construction on $Γ$ to the real topological Hochschild homology of $\mathbb{S}[Γ]$, which induce isomorphisms on $C_{p^n}$- and $D_{p^n}$-homotopy groups for all $n\in \mathbb{Z}$ and all primes $p$. Here $C_{p^n}$ is the cyclic group of order $p^n$ and $D_{p^n}$ is the dihedral group of order $2p^n$. Finally, we compute the $G$-equivariant homotopy type of the real topological cyclic homology of $\mathbb{S}[Γ]$ at a prime $p$.

연구 동기 및 목표

• 군 역전위에 의해 유도되는 반대입체를 갖는 구형 군환 𝕊[Γ]에 대한 실수 위상적 순환 homology (TCR)의 G-등변 호모토피 유형을 결정하는 것.
• 모든 소수 p와 n ≥ 0에 대해, Γ 위의 이형성 바 구조의 O(2)-등변 스uspension 스펙트럼에서 THR(𝕊[Γ])로의 맵을 수립하여 C_{p^n} 및 D_{p^n}-호모토피 군에서의 동형을 유도하는 것.
• G-안정 호모토피 범주에서 p-완비화된 TCR(𝕊[Γ]; p)를 ℤ/2-Tate 전이의 등변 호모토피 필러를 사용하여 계산하는 것.

제안 방법

• 반대입체 D를 갖는 링 스펙트럼 A에 대해, Bökstedt의 모델을 일반화한 O(2)-등변 옥타드로프 스펙트럼 THR(A,D)를 구성하는 것.
• 루트 이sov모르피즘 ρ_r와 기하학적 고정점들을 통해 G-작용과 호환되는 THR(𝕊[Γ], inv)의 사이클로토믹 구조를 수립하는 것.
• THR(𝕊[Γ], inv)의 호모토피 유형을 제어하기 위해 Bökstedt의 근사 보조정리의 등변 일반화를 적용하는 것.
• 등변 스uspension 정리와 매핑 공간의 연결성 추정을 사용하여 holim_i H•(C_{p^i}; 𝕊) → 𝕊의 사영 맵 pr_0의 호모토피 필러를 분석하는 것.
• 정리 4.4를 통해 p-완비화 이후에 사영 맵 pr_0가 G-등변 ℤ/2-Tate 전이 Σ^∞_G Σ^{1,1}ℙ^∞(ℂ) → 𝕊와 동일시됨을 밝혀내는 것.
• 삼각 범주 공리계를 적용하여 G-안정 호모토피 범주에서 비표준 동형 TCR(𝕊, id; p) ≃ Σ^{1,1}ℙ^∞_{-1}(ℂ) ∨ 𝕊를 유도하는 것.

실험 결과

연구 질문

• RQ1 군 역전위에 의해 유도되는 반대입체를 갖는 구형 군환에 대해, 실수 위상적 순환 homology TCR(𝕊[Γ], inv; p)의 G-등변 호모토피 유형은 무엇인가요?
• RQ2 Γ 위의 이형성 바 구조의 스uspension 스펙트럼에서 THR(𝕊[Γ], inv)로의 맵이 모든 소수 p와 n ≥ 0에 대해 C_{p^n} 및 D_{p^n}-호모토피 군에서 동형을 유도하는가요?
• RQ3 p-완비화된 TCR(𝕊, id; p)는 ℤ/2-Tate 전이 맵의 등변 호모토피 필러와 어떻게 관련이 있나요?

주요 결과

• 모든 소수 p와 모든 n ≥ 0에 대해, Γ 위의 이형성 바 구조의 O(2)-등변 스uspension 스펙트럼에서 THR(𝕊[Γ], inv)로의 맵이 C_{p^n}- 및 D_{p^n}-호모토피 군에서 동형을 유도한다.
• p-완비화 이후, 실수 위상적 순환 homology TCR(𝕊, id; p)는 G-안정 호모토피 범주에서 ℤ/2-Tate 전이의 G-등변 호모토피 필러와 구형 스펙트럼의 와이어 합과 동형이다.
• p-완비화 이후, 사영 맵 pr_0: holim_i H•(C_{p^i}; 𝕊) → 𝕊는 G-등변 ℤ/2-Tate 전이 Σ^∞_G Σ^{1,1}ℙ^∞(ℂ) → 𝕊와 동일시된다.
• holim_i H•(C_{p^i}; 𝕊), 𝕊, 및 Ω𝕊 ∨ 𝕊를 포함하는 분리 삼각형은 G-안정 호모토피 범주에서 비표준 동형 TCR(𝕊, id; p) ≃ Σ^{1,1}ℙ^∞_{-1}(ℂ) ∨ 𝕊를 이끌어낸다.
• 이 계산은 G-등변성과 이형성 구조를 실수 대수적 K-이론 프레임워크를 통해 통합함으로써 고전적 TCR(𝕊; p) 계산을 일반화한다.