The homological spectrum via definable subcategories (Q6994820)

Support theories occupy a central place in modern algebra, topology, and representation theory. Their origins lie in the development of classical techniques in commutative algebra -- most notably the use of prime spectra and support varieties -- as well as in modular representation theory and stable homotopy theory. During the late 20th century, as triangulated categories became the natural environment for many homological phenomena, mathematicians sought a unified notion of support that could operate in this broader, more flexible context. In this work, The author aims to bridge the homological spectrum of Balmer-Krause-Stevenson with the Ziegler spectrum, thereby connecting tensor-triangular geometry with the model-theoretic approach to purity. In fact, they clarify the relationship between the homological spectrum and the Ziegler spectrum, two of the most important topological invariants associated with triangulated categories. The author's main achievement is the construction of a new topological space derived from the Ziegler spectrum and the proof that it is homeomorphic to the homological spectrum.