{"id":"arxiv/2609.21534","url":"https://arxiv.org/abs/2609.21534","tags":["math.AT"],"score":0,"title":"Bousfield--Kan Completions of Subcontractible Presentations","domain":"math.AT","source":"arxiv","authors":["Andrey Mikhovich"],"reviews":0,"subject":"math.AT","summary":"We study Bousfield--Kan completions through the interaction of free simplicial resolutions, their filtration spectral sequences, and a noncommutative arithmetic square. For every free discrete simplicial group of finite type, we express its integral pronilpotent completion as the homotopy pullback of its rational prounipotent completion and the product of its pro-$p$ completions over an explicit adelic simplicial group. The adelic entry is formed by taking restricted products at finite nilpotent stages and then their inverse limit; no nilpotency assumption on the original group of components…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-18","reactions":{}}