凝聚集与Solovay模型
Condensed Sets and the Solovay Model
AI总结：
本文通过几何形变和自动连续性，证明了在Solovay模型中离散凝聚阿贝尔群的Whitehead问题的解决，并展示了局部紧阿贝尔群之间的内部Ext计算。
摘要：
我们展示了一个从Grothendieck上到代表Solovay模型到Barwick-Haine和Clausen-Scholze的κ-凝聚集的几何形变。然后我们利用此形变的性质和Solovay模型中的自动连续性，证明了Clausen-Scholze对离散凝聚阿贝尔群的Whitehead问题的解决。我们还展示了在Solovay模型中局部紧阿贝尔群之间的类似内部Ext计算。
英文摘要：
We exhibit a geometric morphism from the Grothendieck topos representing the Solovay model to the $κ$-pyknotic sets of Barwick--Haine and Clausen--Scholze. We then use the properties of this morphism and automatic continuity in the Solovay model to prove Clausen--Scholze's resolution of the Whitehead problem for discrete condensed abelian groups. We also exhibit an analogous internal $Ext$ computation between locally compact abelian groups in the Solovay model.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
