标题： 层的 smash 谱 显示英文标题

标题： The smashing spectrum of sheaves

摘要： 对于任意的$\infty$-到拓，我们对在以导出向量空间为值的$\infty$-范畴中的紧致局部化进行分类：它们中的每一个都是到一个（唯一的）闭子到拓的限制函子。 我们的证明基于布尔覆盖的存在性。 这个结果特别给我们提供了第一个非零的可表示对称张量稳定$\infty$-范畴的例子，其紧致谱没有点。 结合这个结果与层-谱 adjunction，我们得到了关于局部的 Tannaka 类范畴重构结果。 显示英文摘要

摘要： For an arbitrary $\infty$-topos, we classify the smashing localizations in the $\infty$-category of sheaves valued in derived vector spaces: Any of them is the restriction functor to a (unique) closed subtopos. Our proof is based on the existence of a Boolean cover. This result in particular gives us the first example of a nonzero presentably symmetric monoidal stable $\infty$-category whose smashing spectrum has no points. Combining this with the sheaves-spectrum adjunction, we obtain a Tannaka-type categorical reconstruction result for locales.