Big categories, big spectra

We introduce two new topological invariants of a rigidly-compactly generated tensor-triangulated category and study their associated support theories and relation to existing technology. The first, the smashing spectrum, is produced by proving that the frame of smashing ideals is always spatial, and is equipped with a surjective morphism to the Balmer spectrum which detects the failure of the telescope conjecture. The second, the big spectrum, results from taking the entire collection of localizing ideals seriously and considering prime localizing ideals. Although there are, in principle, a proper class of localizing ideals, we are able to prove the existence of at least one big prime lying over every Balmer prime. We conclude with a pair of examples illustrating our constructions.