Skip to main content
1 of 2
Peter Scholze
  • 21.3k
  • 4
  • 104
  • 122

Indeed, there are no nonzero injective condensed abelian groups.

Let $I$ be an injective condensed abelian group. We can find some surjection $$ \bigoplus_{j\in J} \mathbb Z[S_j]\to I$$ for some index set $J$ and some profinite sets $S_j$, where $\mathbb Z[S_j]$ is the free condensed abelian group on $S_j$ -- this is true for any condensed abelian group. But now we can find an injection $$\bigoplus_{j\in J} \mathbb Z[S_j]\hookrightarrow K$$ into some compact abelian group $K$, for example a product of copies of $\mathbb Z_p$ for any chosen prime $p$. Indeed, it suffices to do this for any summand individually (embedding into a product in the end), and each factor embeds into a product of copies of $\mathbb Z$ (by choosing many maps $S\to \mathbb Z$), thus into a product of copies of $\mathbb Z_p$. We remark that it in this step that we need to work in the condensed setting: In the pyknotic setting, $J$ can be larger than the relevant cutoff cardinal for the profinite sets, so $K$ would not be in the site of $\kappa$-small compact Hausdorff spaces. By injectivity of $I$, we get a surjection $K\to I$. In particular, the underlying condensed set of $I$ is quasicompact. Now assume that $I$ is $\kappa$-condensed for some $\kappa$, and pick a set $A$ of cardinality bigger than $\kappa$, and consider the injection $$\bigoplus_A I\hookrightarrow \prod_A I.$$ The sum map $\bigoplus_A I\to I$ extends to $\prod_A I\to I$ by injectivity of $I$. I claim that the map $\prod_A I\to I$ necessarily factors over a map $\prod_{A'} I\to I$ for some subset $A'\subset A$ where the cardinality of $A'$ is less than $\kappa$. To check this, we use the surjection $K\to I$; then it is enough to prove that the map $\prod_A K\to I$ factors over $\prod_{A'} K\to I$ for some such $A'$. But this follows from $I$ being $\kappa$-condensed and $\prod_A K$ being profinite. Thus, the sum map $\bigoplus_A I\to I$ factors over $\prod_{A'} I\to I$ for some $A'\subset A$. But then restricting the sum map along the inclusion $I\to \bigoplus_A I$ given by some $a\in A\setminus A'$ gives both the identity and the zero map, finally showing that $I=0$.

I hope I didn't screw something up.

Peter Scholze
  • 21.3k
  • 4
  • 104
  • 122