{"id":"arxiv/2610.11078","url":"https://arxiv.org/abs/2610.11078","tags":["math.LO","math.GR"],"score":0,"title":"Condensed Whitehead Problem","domain":"math.LO","source":"arxiv","authors":["Spencer Unger","Jerry Wei"],"reviews":0,"subject":"math.LO","summary":"The Whitehead problem, which asks whether every abelian group $A$ satisfying $\\mathrm{Ext}^1(A,\\mathbb{Z}) = 0$ is free, is independent of ZFC. However, this problem has an analogue in condensed mathematics that can be answered affirmatively. In this note, we give a new proof that an abelian group $ A $ of size $κ$ is free if and only if $\\underline{\\mathrm{Ext}}^1(\\underline{A}, \\underline{\\mathbb{Z}})(S_κ) = 0$, where $ S_κ$ is the Stone space of the Boolean completion of $\\operatorname{Add}(ω,κ)$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-08","reactions":{}}