Indexed metadata

Spectra, Growth, and Localization in Half-Bounded Tensor Triangular Geometry

Liangyu Zhu

Source record

Source: arXiv

Published: Oct 25, 2026

arXiv: 2610.34469

Open original source ↗

Source abstract

Over a noetherian scheme, classical cohomological support determines thick tensor ideals of perfect complexes. In half-bounded derived categories, complexes with the same support can generate different radical thick tensor ideals. We study how these distinctions affect the Balmer spectrum and localization. For a commutative noetherian ring RR, we prove that Spc⁡(Dfg−(R))\operatorname{Spc}(\mathbf D^-_{\mathrm{fg}}(R)) is noetherian if and only if RR is artinian. For a nonempty noetherian scheme XX, the corresponding condition is dim⁡X=0\dim X=0. For such a ring RR and a finite group GG, Spc⁡(Dfg−(RG))\operatorname{Spc}(\mathbf D^-_{\mathrm{fg}}(RG)) is noetherian if and only if RR is artinian and ∣G∣|G| is invertible in RR. Using the Sanders--Zhang classification over a discrete valuation ring, we compare objects whose annihilator exponents grow at different rates in different degrees. We lift the relevant generation relations before changing coefficients and obtain spectral retractions. These comparisons persist after thick quotients and algebraic localization under explicit uniform annihilation and nonvanishing conditions. A second argument uses nonnilpotent classes of positive degree and passes from cyclic subgroups to finite groups. Applications include relative results for schemes and bounded-below spectra with degreewise finitely generated homotopy. We also describe the cohomological information shared by the resulting ideals. The localization comparisons for bounded-below complexes of finitely generated modules and for bounded-below derived objects with finitely generated cohomology are established separately.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.