Skip to main content
2 of 3
clarified title

How does the Balmer spectrum fail to describe the algebraic geometry of categories of non-compact objects?

In trying to understand the higher algebraic geometry of the stable homotopy category, one thing I've come across repeatedly is the claim that one should only consider the Balmer spectrum of a tt-category whose objects are all compact. One argument for this is that a certain fundamental result (Theorem 2.14 of this paper) depends on dualizability; but dualizability is not equivalent to compactness, or even stronger/weaker than compactness. Moreover, the result in question only becomes problematic because there will be non-radical ideals in the non-rigid case, and it's essentially a tt-version of the Nullstellensatz. I don't have any issue with non-radical ideals, myself, and in fact they're quite important for deformation theory, so I don't find this argument very convincing.

The reason this has come up is that I've been comparing and contrasting some localizations and completions. One famous result, for example, is that the category of perfect complexes over a quasicompact quasiseparated scheme $X$ has Balmer spectrum $X$. However, over a Noetherian ring $R$ (I'll take $R=\mathbb{Z}$ for concreteness), the same is true for the full derived category. The difference is that the irreducible thick subcategories of $D(\mathbb{Z})$ (which are to be thought of as the "residue class fields" at each prime tt-ideal) are the categories of (derived) $p$-complete complexes, whereas the irreducible thick subcategories of $D^{\text{perf}}(\mathbb{Z})$ are the categories of $p$-local complexes. (Of course, p-completion doesn't live within the category of perfect complexes.)

This distinction arises, in particular, when we try to compare the tt-geometry of $D(\mathbb{Z})$ and the stable homotopy category. I recently asked about the Balmer spectrum of $\operatorname{Sp}_p^{\wedge}$, since I haven't been able to find any information about this but wanted to compare it to $D(\mathbb{Z})$ as is done (slightly less formally) in Barthel and Beaudry's chapter of the Handbook. I was told, once again, that it's problematic to apply the Balmer spectrum construction here; but, as discussed above, I don't see why that is.

Hence my question: does the Balmer spectrum really fail to describe the AG of stable symmetric monoidal infinity-categories containing non-compact objects? In particular, are there any specific examples of important results failing in this context?