On surjectivity in tensor triangular geometry

Abstract

We prove that a jointly conservative family of geometric functors between rigidly-compactly generated tensor triangulated categories induces a surjective map on Balmer spectra. From this we deduce a fiberwise criterion for Balmer's comparison map to be a continuous bijection. This gives short alternative proofs of the Hopkins--Neeman theorem and its generalization, due to Lau, to the case of a finite group acting trivially on an affine scheme.

Accepted for publication in Math. Z.; comments still welcome!