PreprintCC BY 4.0arXiv
A short proof of the Segal conjecture for Cp
Abstract
We give a new proof of the generalized Segal conjecture for the cyclic group of prime order p, i.e. the fact that the Tate diagonal of any bounded below spectrum is a p-completion. The idea, inspired by Hahn and Wilson's argument, is to use descent along the equivariant map from the p-fold tensor power of the field with p elements to its topological Hochschild homology. The only computational input that we use is the calculation of the homotopy rings of this topological Hochschild homology and its Tate construction, together with the map induced by the cyclotomic Frobenius.
Related
- A Short Proof of Zhang's Conjecture on Stack-Sortable Permutations
- A short polyhedral proof of the infinitesimal Stoker conjecture
- A very short unified proof of Dar's conjecture and Log-Brunn--Minkowski in the plane
- A short proof of the Erd\H os--Sós Conjecture
- A Short Proof of a Conjecture Regarding Quadratic Representations of Practical Numbers
BibTeX
@misc{nikolaus2026short,
title = {{A short proof of the Segal conjecture for $C_p$}},
author = {Thomas Nikolaus},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.39440},
eprint = {2610.39440},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.39440},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - A short proof of the Segal conjecture for C_p
AU - Thomas Nikolaus
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2610.39440
UR - https://arxiv.org/abs/2610.39440
AB - We give a new proof of the generalized Segal conjecture for the cyclic group of prime order p, i.e. the fact that the Tate diagonal of any bounded below spectrum is a p-completion. The idea, inspired by Hahn and Wilson's argument, is to use descent along the equivariant map from the p-fold tensor power of the field with p elements to its topological Hochschild homology. The only computational input that we use is the calculation of the homotopy rings of this topological Hochschild homology and its Tate construction, together with the map induced by the cyclotomic Frobenius.
ER -