[论文解读] Real topological cyclic homology of spherical group rings

Amalie Høgenhaven|arXiv (Cornell University)|Nov 3, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 12

一句话总结

该论文计算了在群反转诱导的反对合下，球面群环 𝕊[Γ] 的实拓扑循环同调（TCR）的 G-等变同伦类型，其中 G = Gal(ℂ/ℝ)。它建立了从 Γ 的双曲巴尔构造的悬垂谱到 THR(𝕊[Γ]) 的 O(2)-等变映射，该映射在所有素数 p 和所有 n ≥ 0 下，对 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$.

研究动机与目标

• 确定在群反转诱导的反对合下，球面群环 𝕊[Γ] 的实拓扑循环同调（TCR）的 G-等变同伦类型。
• 建立从 Γ 的双曲巴尔构造的 O(2)-等变悬垂谱到 THR(𝕊[Γ]) 的映射，使其在 C_{p^n} 和 D_{p^n} 同伦群上诱导同构。
• 在 G-稳定同伦范畴中，利用 ℤ/2-Tate 转移的等变同伦纤维，计算 p-完备化的 TCR(𝕊[Γ]; p)。

提出的方法

• 为带有反对合 D 的环谱 A 构造一个 O(2)-等变正交谱 THR(A,D)，推广 Bökstedt 的模型。
• 通过根同构 ρ_r 和几何固定点，建立 THR(𝕊[Γ], inv) 上与 G-作用相容的循环结构。
• 应用 Bökstedt 近似引理的等变版本，以控制 THR(𝕊[Γ], inv) 的同伦类型。
• 利用等变悬垂定理和映射空间的连通性估计，分析投影映射 pr_0: holim_i H•(C_{p^i}; 𝕊) → 𝕊 的同伦纤维。
• 通过定理 4.4，将投影 pr_0 识别为 p-完备化后的 G-等变 ℤ/2-Tate 转移 Σ^∞_G Σ^{1,1}ℙ^∞(ℂ) → 𝕊。
• 应用三角范畴公理，推导出在 G-稳定同伦范畴中存在非典范同构：TCR(𝕊, id; p) ≃ Σ^{1,1}ℙ^∞_{-1}(ℂ) ∨ 𝕊。

实验结果

研究问题

• RQ1 对于由群反转诱导反对合的球面群环，实拓扑循环同调 TCR(𝕊[Γ], inv; p) 的 G-等变同伦类型是什么？
• RQ2 从 Γ 的双曲巴尔构造的悬垂谱到 THR(𝕊[Γ], inv) 的映射是否在所有素数 p 和所有 n ≥ 0 下，对 C_{p^n} 和 D_{p^n} 同伦群诱导同构？
• RQ3 p-完备化的 TCR(𝕊, id; p) 与 ℤ/2-Tate 转移映射的等变同伦纤维有何关系？

主要发现

• 从 Γ 的双曲巴尔构造的 O(2)-等变悬垂谱到 THR(𝕊[Γ], inv) 的映射，在所有素数 p 和所有 n ≥ 0 下，对 C_{p^n}- 和 D_{p^n}-同伦群诱导同构。
• 在 p-完备化后，实拓扑循环同调 TCR(𝕊, id; p) 在 G-稳定同伦范畴中同构于 ℤ/2-Tate 转移的 G-等变同伦纤维与球面谱的楔和。
• 投影 pr_0: holim_i H•(C_{p^i}; 𝕊) → 𝕊 在 p-完备化后被识别为 G-等变 ℤ/2-Tate 转移 Σ^∞_G Σ^{1,1}ℙ^∞(ℂ) → 𝕊。
• 涉及 holim_i H•(C_{p^i}; 𝕊)、𝕊 和 Ω𝕊 ∨ 𝕊 的典范三角形导致在 G-稳定同伦范畴中存在非典范同构：TCR(𝕊, id; p) ≃ Σ^{1,1}ℙ^∞_{-1}(ℂ) ∨ 𝕊。
• 该计算通过实代数 K-理论框架，将经典 TCR(𝕊; p) 的计算推广至包含 G-等变性和双曲结构的情形。