Condensed Whitehead Problem
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}(ω,κ)$.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.11078
curl -X POST /api/v1/records/arxiv/2610.11078/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.11078/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'