Abstract:One of the better-known independence results in general mathematics is Shelah's solution to Whitehead's problem of whether $\mathrm{Ext}^1(A,\mathbb{Z})=0$ implies that an abelian group $A$ is free. The point of departure for the present work is Clausen and Scholze's proof that, in contrast, one natural interpretation of Whitehead's problem within their recently-developed framework of condensed mathematics has an affirmative answer in $\mathsf{ZFC}$. We record two alternative proofs of this result, as well as several original variations on it, both for their intrinsic interest and as a springboard for a broader study of the relations between condensed mathematics and set theoretic forcing. We show more particularly how the condensation $\underline{X}$ of any locally compact Hausdorff space $X$ may be viewed as an organized presentation of the forcing names for the points of canonical interpretations of $X$ in all possible set-forcing extensions of the universe, and we argue our main result by way of this fact. We show also that when interpreted within the category of light condensed abelian groups, Whitehead's problem is again independent of the $\mathsf{ZFC}$ axioms. In fact we show that it is consistent that Whitehead's problem has a negative solution within the category of $\kappa$-condensed abelian groups for every uncountable cardinal $\kappa$, but that this scenario, in turn, is inconsistent with the existence of a strongly compact cardinal.

Whitehead groups and the Bass conjecture

K-Theory of Solvable Groups

From acyclic groups to the bass conjecture for amenable groups

Generalized Bassian and other Mixed Abelian Groups with Bounded p-Torsion

The Baum-Connes conjecture, Swan group actions and controlled topology

Generalizations of the Bassian and co-Bassian Properties for Abelian Groups

Supper Bassian and Nearly Generalized Bassian Abelian Groups

The Isomorphism Conjecture for Solvable Groups in Waldhausen’s A-theory

A Bass--Serre theoretic proof of a theorem of Burns and Romanovskii

Inheritance properties of the Farrell-Jones Conjecture for totally disconnected groups

Semi-Generalized co-Bassian Groups

Trivialité des groupes de Whitehead réduits avec applications à l'approximation faible et l'approximation forte

Consequences of the random matrix solution to the Peterson-Thom conjecture

Remarks on hard Lefschetz conjectures on Chow groups

Whitehead's problem and condensed mathematics

Higher homotopy groups of topological Kac-Moody groups, Whitehead tower, and string groups

Homotopy braid groups are torsion-free

The Farrell-Jones Conjecture for hyperbolic-by-cyclic groups

The Farrell-Jones Conjecture for Some Nearly Crystallographic Groups

Sub-Bassian properties on Abelian groups

On the Whitehead theorem for nilpotent motivic spaces