Affinization of the Balmer Spectrum

• Affinization of the Balmer Spectrum is a process that identifies tensor-triangular data with affine geometric objects via prime thick ⊗-ideals and Verdier quotients.
• The method uses Thomason-style classification and support theory to align the topology of algebraic stacks with the Balmer spectrum, demonstrating a canonical correspondence.
• Extensions to graded cohomology and Dirac schemes show that affinization is hypothesis-sensitive, adapting to representation-theoretic contexts and standard tame-stack settings.

Searching arXiv for the cited papers to ground the article in the current literature. Affinization of the Balmer spectrum denotes a class of identifications in tensor-triangular geometry whereby the Balmer spectrum $\operatorname{Spc}\operatorname{Perf}(X)$ of perfect complexes on a stack or related tensor-triangulated category is recovered as an affine geometric object, or as a graded-affine analogue, from intrinsic tensor-triangular data. In the foundational tame-stack case, if $X$ is a quasi-compact tame algebraic stack with quasi-finite and separated diagonal, then there is a canonical isomorphism of locally ringed spaces

$$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$

and, when a coarse moduli space $X_{\mathrm{cs}}$ exists, the induced map

$$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$

is an isomorphism of locally ringed spaces, so that the coarse space is recovered as an affinization of $\operatorname{Perf}(X)$ (Hall, 2014). Subsequent work exhibits related but more cohomological forms of affinization for quotient Deligne–Mumford stacks and for tensor-triangular categories of permutation modules, replacing an ordinary affine target by $\operatorname{Spec}^h$ of a graded cohomology ring or by a Dirac scheme (Lau, 2021, Dubey et al., 8 Jul 2025).

1. Tensor-triangular setting and Balmer’s construction

Let $X$ be an algebraic stack. The ambient derived category is $\operatorname{DQcoh}(X)$, the unbounded derived category of $\mathcal{O}$-modules on the lisse-étale site of $X$0 with quasi-coherent cohomology sheaves, and its compact objects are denoted $X$1. The full tensor-triangulated subcategory of perfect complexes is written $X$2; a perfect complex is locally quasi-isomorphic to a bounded complex of finite locally free sheaves. For a quasi-compact algebraic stack with quasi-finite and separated diagonal, these categories supply the basic tensor-triangular input for support theory and classification of tensor ideals (Hall, 2014).

Balmer’s spectrum of a rigid tensor-triangulated category $X$3 is the set of prime thick $X$4-ideals of $X$5, endowed with the topology generated by basic opens

$X$6

Its structure sheaf is obtained by first defining a presheaf on such basic opens by

$X$7

where $X$8 is the Verdier quotient and $X$9 is the image of the tensor unit, and then sheafifying. In the geometric case $$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$0, this construction becomes comparable to the ordinary Zariski structure sheaf once one identifies the relevant Verdier quotients with categories of perfect complexes on open substacks (Hall, 2014).

A second, more algebraic model of Balmer’s construction appears for quotient Deligne–Mumford stacks $$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$1. In that setting one has a graded endomorphism ring

$$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$2

and a comparison map

$$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$3

sending a prime tensor ideal to the corresponding homogeneous prime ideal defined via cones of homogeneous endomorphisms. This comparison map underlies a different affinization mechanism, one expressed through graded cohomology rather than ordinary coarse moduli (Lau, 2021).

2. Classification of thick $$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$4-ideals

The central structural input for the tame-stack result is a Thomason-style classification theorem. A subset $$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$5 is called Thomason if it is a union of closed subsets whose complements are quasi-compact open. For a quasi-compact algebraic stack $$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$6 with quasi-finite and separated diagonal, the assignment

$$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$7

induces a bijection between Thomason subsets of $$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$8 and thick $$(|X|,\mathcal{O}_{X,\mathrm{Zar}})\simeq \operatorname{Spc}\operatorname{Perf}(X),$$9-ideals of $X_{\mathrm{cs}}$0. Here the homological support of $X_{\mathrm{cs}}$1 is $X_{\mathrm{cs}}$2 This is the direct analogue, for stacks, of Thomason’s classification on schemes (Hall, 2014).

The proof rests on tensor-nilpotence. If $X_{\mathrm{cs}}$3 is a morphism in $X_{\mathrm{cs}}$4 with $X_{\mathrm{cs}}$5 compact and $X_{\mathrm{cs}}$6, and if for every point $X_{\mathrm{cs}}$7 the pullback $X_{\mathrm{cs}}$8 vanishes, then

$X_{\mathrm{cs}}$9

From this one derives the support-comparison statement that if $$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$0 satisfy

$$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$1

then the thick $$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$2-ideal generated by $$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$3 is contained in that generated by $$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$4 (Hall, 2014).

These results are decisive for affinization because they identify the prime-ideal topology of the tensor-triangulated category with the underlying topological space of the stack. The Balmer spectrum is therefore not merely an abstract spectral space attached to $$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$5; under tame hypotheses it inherits the same support-theoretic geometry as $$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$6 itself. A plausible implication is that the affinization phenomenon is driven less by ad hoc computations and more by a robust support formalism internal to tensor-triangular geometry.

3. Tame stacks and reconstruction of the locally ringed space

An algebraic stack is tame if its geometric stabilizer groups are finite and linearly reductive. Equivalently, it has quasi-finite separated diagonal and the natural functor $$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$7 is exact. For tame $$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$8, one has the crucial identification

$$\operatorname{Spc}\operatorname{Perf}(X)\to \operatorname{Spc}\operatorname{Perf}(X_{\mathrm{cs}})$$9

so Balmer’s spectrum applies directly to the tensor-triangulated category of perfect complexes (Hall, 2014).

The principal reconstruction theorem states that if $\operatorname{Perf}(X)$0 is tame, then there is a canonical isomorphism of locally ringed spaces

$\operatorname{Perf}(X)$1

At the level of points, the universal support datum on $\operatorname{Perf}(X)$2 yields a tautological map of supports

$\operatorname{Perf}(X)$3

and the classification of thick $\operatorname{Perf}(X)$4-ideals implies that $\operatorname{Perf}(X)$5 is a homeomorphism. The structure sheaf is then identified by passing to Thomason opens $\operatorname{Perf}(X)$6 and using the equivalence

$\operatorname{Perf}(X)$7

which gives

$\operatorname{Perf}(X)$8

Thus both the topological space and the Zariski sheaf are recovered from $\operatorname{Perf}(X)$9 (Hall, 2014).

This result clarifies the meaning of “affinization” in the tame setting. The Balmer spectrum does not introduce a new auxiliary space; rather, it reconstructs the ordinary locally ringed space underlying the stack. Since the reconstruction is formulated entirely in terms of prime thick $\operatorname{Spec}^h$0-ideals and Verdier quotients, it is intrinsic to the tensor-triangulated category.

4. Coarse moduli spaces as affinizations

Suppose $\operatorname{Spec}^h$1 has finite inertia. By Keel–Mori, there exists a coarse moduli space

$\operatorname{Spec}^h$2

where $\operatorname{Spec}^h$3 is an algebraic space characterized by the universal property that any map from $\operatorname{Spec}^h$4 to an algebraic space factors uniquely through $\operatorname{Spec}^h$5. In this situation, $\operatorname{Spec}^h$6 is a separated universal homeomorphism. The morphism induces a tensor-triangulated functor

$\operatorname{Spec}^h$7

and hence a continuous map on Balmer spectra

$\operatorname{Spec}^h$8

If $\operatorname{Spec}^h$9 is tame, this map is an isomorphism of locally ringed spaces (Hall, 2014).

The proof separates the point-set and sheaf-theoretic components. On points, both spectra are identified with the underlying topological spaces $X$0 and $X$1, and the universal homeomorphism property of $X$2 yields the necessary homeomorphism. On structure sheaves, the identity

$X$3

matches the rings of sections on Thomason opens, because on the spectral side the structure sheaf is computed by endomorphisms of the tensor unit in local Verdier quotients, and these endomorphisms coincide with ordinary global sections on the corresponding open substacks or algebraic spaces (Hall, 2014).

In this sense, $X$4 “affinizes” to $X$5. When $X$6 is affine, one recovers the affine scheme $X$7 as the Balmer spectrum of $X$8. More invariantly, $X$9 is described as the universal target of a tensor-triangulated functor from $\operatorname{DQcoh}(X)$0 to an “affine” tensor-triangulated category, namely one arising as $\operatorname{DQcoh}(X)$1 of an algebraic space (Hall, 2014). This suggests that coarse moduli formation is compatible with tensor-triangular descent at the level of prime ideals and local endomorphism rings.

5. Quotient stacks, cohomological spectra, and the scope of affinization

The tame-stack theorem has immediate consequences for standard classes of stacks. If $\operatorname{DQcoh}(X)$2 is a finite linearly reductive group acting on an affine scheme $\operatorname{DQcoh}(X)$3 and $\operatorname{DQcoh}(X)$4, then $\operatorname{DQcoh}(X)$5 is tame, its coarse space is $\operatorname{DQcoh}(X)$6, and

$\operatorname{DQcoh}(X)$7

as locally ringed spaces. If $\operatorname{DQcoh}(X)$8 is a Deligne–Mumford stack obtained by taking $\operatorname{DQcoh}(X)$9th-roots of a normal crossings divisor in a scheme $\mathcal{O}$0, then $\mathcal{O}$1 is tame with coarse space $\mathcal{O}$2, and hence

$\mathcal{O}$3

A further corollary states that if $\mathcal{O}$4 is a finite, surjective, universally injective morphism of tame Artin stacks with $\mathcal{O}$5 an algebraic space, then $\mathcal{O}$6 induces an isomorphism

$\mathcal{O}$7

These examples show that non-affine stacky geometry may collapse, at the Balmer-spectrum level, to an ordinary algebraic space (Hall, 2014).

A different phenomenon appears for certain quotient Deligne–Mumford stacks. For $\mathcal{O}$8 with $\mathcal{O}$9 a finite group acting on a commutative ring $X$00, Lau considers the graded cohomology ring

$X$01

where $X$02 is the skew-group algebra and $X$03 is viewed as the trivial $X$04-module via the augmentation. The main theorem identifies the comparison map

$X$05

as a homeomorphism, and the corresponding stable quotient has spectrum

$X$06

In this setting, the Balmer spectrum is “literally an affine graded scheme” $X$07 (Lau, 2021).

These two modes of affinization are not interchangeable. The coarse-space description belongs to the tame, linearly reductive regime, whereas the cohomological homogeneous-prime description is formulated for quotient Deligne–Mumford stacks of the form $X$08 with no statement in the cited summary that $X$09 is linearly reductive. This suggests that affinization in tensor-triangular geometry is hypothesis-sensitive: in tame contexts the Balmer spectrum recovers ordinary coarse moduli, while in more representation-theoretic contexts it may instead recover a graded cohomological spectrum.

6. Graded and Dirac-affine extensions

The later literature expands the notion of affinization beyond ordinary schemes and algebraic spaces. For quotient stacks $X$10, the identification

$X$11

exhibits the Balmer spectrum as a graded-affine object, with structure sheaf given by the sheaf associated to the graded ring $X$12. The proof strategy proceeds fibrewise over $X$13, uses field base-change to reduced fibre rings

$X$14

and relies on universal-homeomorphism behavior for maps on $X$15 induced by localizations and quotients, together with detection of tensor-nilpotence and noetherian induction (Lau, 2021).

An even more elaborate form appears for integral permutation modules. Let $X$16 be a finite group and $X$17 a commutative noetherian ring. For an elementary abelian $X$18-group $X$19, Balmer–Gallauer’s twisted cohomology algebra is

$X$20

where $X$21 records twists by invertible objects $X$22 indexed by normal index-$X$23 subgroups $X$24, and $X$25 is the cohomological shift. Under the hypotheses that $X$26 is noetherian and either $X$27 or $X$28, the comparison map

$X$29

is a continuous, injective, locally closed immersion. Moreover, $X$30 admits an open cover by the basic opens

$X$31

and on each chart the graded endomorphism ring is

$X$32

Hence the pair $X$33 is a Dirac scheme, covered by graded-affine opens $X$34 (Dubey et al., 8 Jul 2025).

These developments broaden the meaning of “affinization of the Balmer spectrum.” In the tame-stack theorem, affinization means recovery of an ordinary coarse moduli space as a locally ringed space. In Lau’s quotient-stack theorem, it means realization as a homogeneous prime spectrum of a graded cohomology ring. In the permutation-module setting, it means realization as a Dirac scheme assembled from localizations of a multi-graded twisted cohomology algebra. A plausible implication is that affinization is best understood not as a single construction but as a family of comparison principles, each adapted to the support theory and endomorphism algebra naturally attached to the tensor-triangulated category under study.