{"id":"arxiv/2610.40209","url":"https://arxiv.org/abs/2610.40209","tags":["math.AT"],"score":0,"title":"The Segal conjecture for large objects and semiadditive lifts","domain":"math.AT","source":"arxiv","authors":["Vignesh Subramanian"],"reviews":0,"subject":"math.AT","summary":"We prove a projection formula for homotopy fixed points of trivial actions of finite $p$-groups. More precisely, for every bounded-below, $p$-complete spectrum $X$ whose mod-$p$ homology is $I$-complete, the canonical map \\[ (\\mathbb S_p)^{BG}\\otimes X \\overset{\\simeq}{\\rightarrow} X^{BG} \\] is an equivalence for every finite $p$-group $G$, where $I$ is the augmentation ideal of the Steenrod algebra. Building on earlier joint work with Burklund, our proof combines the Adams--Gunawardena--Miller calculation with an adaptation of Carlsson's induction. As an application, using the work of Yuan,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}