---
title: Brenner–Schröer Proj Construction
url: https://www.emergentmind.com/topics/brenner-schroer-proj-construction
type: topic
---

# Brenner–Schröer Proj Construction

The Brenner–Schröer Proj construction is the multigraded extension of Grothendieck’s classical \(\operatorname{Proj}\) from \(\mathbb N\)-graded rings to commutative rings graded by an arbitrary finitely generated abelian group \(M\). Its basic innovation is to replace localization at powers of a single homogeneous element by localization at relevant homogeneous submonoids, and to replace the classical rings \((A_f)_0\) by the degree-zero parts \(A_{(S)}=(A_S)_0\) of such localizations, called potions. The resulting scheme \(\mathrm{Proj}^M(A)\) is obtained by gluing the affine schemes \(\operatorname{Spec}(A_{(S)})\); in modern treatments this gluing is taken as the primary definition, while under additional hypotheses one can recover a point-set description analogous to the classical homogeneous-prime picture [2509.15116].

## 1. Historical position and guiding idea

Brenner–Schröer defined the Proj of a ring graded by an arbitrary finitely generated abelian group, thereby extending the range of projective methods from singly graded situations to genuinely multigraded ones such as \(\mathbb Z^r\)-graded rings, Cox rings, and multi-projective constructions [2509.15116]. In the later formulation emphasized by Mayeux–Riche, and adopted in recent formalization work, the construction is organized around affine gluing rather than around a distinguished subset of a prime spectrum [2310.13502].

The conceptual departure from the classical case is forced by the grading group. For an \(\mathbb N\)-graded ring \(A=\bigoplus_{n\ge 0}A_n\), one localizes at a homogeneous element \(f\), takes the degree-zero part \(A_{(f)}\), and glues the affine opens \(\operatorname{Spec}(A_{(f)})\). When the grading is by a general finitely generated abelian group \(M\), there is no canonical notion of “positive degree,” and a single homogeneous element need not control enough degrees. Brenner–Schröer’s idea is therefore to work with homogeneous submonoids \(S\subset A\), require a relevance condition on their degrees, form the potion \(A_{(S)}\), and glue the corresponding spectra [2509.15116].

This construction sits, in the language of the formalization paper, “at the crossroads of algebraic geometry and Lie theory,” with applications including flag varieties and Springer resolutions [2509.15116]. The same general framework also underlies later toric and Cox-ring comparisons, where Brenner–Schröer Proj appears as a universal multigraded projective object attached to a graded ring [2212.00314].

## 2. Algebraic ingredients: gradings, relevance, and potions

Let \(M\) be a finitely generated abelian group and let
\[
A=\bigoplus_{m\in M}A_m,\qquad A_mA_{m'}\subset A_{m+m'}.
\]
A homogeneous element is an element of some \(A_m\); a submonoid \(S\subset A\) is homogeneous if all its elements are homogeneous [2509.15116].

For a homogeneous submonoid \(S\), one considers the set of occurring degrees
\[
\deg(S):=\{m\in M\mid \exists s\in S,\ s\in A_m\},
\]
its associated degree submonoid \(M[S\rangle:=\deg(S)\), and the subgroup
\[
M[S]:=M[S\rangle^{\mathrm{gp}}=M[S\rangle-M[S\rangle.
\]
A further saturation operation is essential: \(\underline S\) denotes the homogeneous submonoid of homogeneous divisors of elements of \(S\). One has canonical isomorphisms \(A_{\underline S}\cong A_S\), and similarly for localized graded modules [2509.15116].

Relevance is the multigraded substitute for the classical condition that powers of a positive-degree element eventually shift degrees as needed. A homogeneous submonoid \(S\) is \(M\)-relevant if for any \(m\in M\) there exists \(n\in\mathbf Z_{>0}\) such that \(nm\in M[\underline S]\); equivalently, \(M/M[\underline S]\) is torsion [2509.15116]. A homogeneous element or a family of homogeneous elements is called relevant when the submonoid it generates is relevant.

Given a homogeneous submonoid \(S\subset A\), the localization \(A_S\) is canonically \(M\)-graded. The potion of \(A\) with respect to \(S\) is
\[
A_{(S)}:=(A_S)_0.
\]
For a graded \(A\)-module \(Q\), one likewise sets
\[
Q_{(S)}:=(Q_S)_0.
\]
In the classical case \(S=\{1,f,f^2,\dots\}\), this recovers the usual ring \(A_{(f)}=(A_f)_0\) [2509.15116].

A recurring misconception is that multigraded Proj should still be governed by a single irrelevant ideal in the same elementary way as in the \(\mathbb N\)-graded case. Later work shows that relevance in the general \(D\)-graded setting is subtler: for a homogeneous element \(f\), one defines \(D^f\) as the subgroup generated by the degrees of homogeneous units in \(S_f\), calls \(f\) relevant when \(D^f\) has finite index in \(D\), and lets the irrelevant ideal \(S_+\) be generated by all relevant elements [2602.12812]. This formulation is compatible with the Brenner–Schröer viewpoint but makes explicit that periodicity of localizations replaces positivity of degree.

## 3. Gluing affine charts and the scheme \(\mathrm{Proj}^M(A)\)

The central technical input is what one source calls the “magic of potions.” If \(S\) and \(T\) are homogeneous submonoids, there is a canonical ring homomorphism
\[
A_{(S)}\longrightarrow A_{(ST)}.
\]
When \(S\) is relevant and \(T\) is finitely generated, \(A_{(ST)}\) is canonically a localization of \(A_{(S)}\) at explicit degree-zero elements constructed from generators of \(T\) together with degree-correcting elements from \(\underline S\). Consequently,
\[
\operatorname{Spec}(A_{(ST)})\to \operatorname{Spec}(A_{(S)})
\]
is an open immersion [2509.15116].

This yields the affine overlap calculus. For finitely generated relevant homogeneous submonoids \(S\), set
\[
D_\dagger(S):=\operatorname{Spec}(A_{(S)}).
\]
Then \(D_\dagger(ST)\) is canonically an open subscheme of both \(D_\dagger(S)\) and \(D_\dagger(T)\), one has \(D_\dagger(SS)=D_\dagger(S)\) and \(D_\dagger(ST)=D_\dagger(TS)\), and triple intersections satisfy the compatibility needed for gluing [2509.15116].

Let \(\mathcal F_A\) denote the set of relevant homogeneous submonoids of \(A\) that are finitely generated as submonoids of \((A,\times)\). Gluing the family \(\{D_\dagger(S)\}_{S\in\mathcal F_A}\) along the open subschemes \(D_\dagger(ST)\) produces a scheme
\[
\mathrm{Proj}^M(A):=\mathrm{Proj}^M_{\mathcal F_A}(A),
\]
equipped with open immersions \(\varphi_S:D_\dagger(S)\to \mathrm{Proj}^M(A)\) whose images cover the scheme [2509.15116]. In this presentation the underlying topological space is literally the quotient obtained by gluing the affine spectra \(\operatorname{Spec}(A_{(S)})\).

The structure sheaf is the sheaf obtained by gluing the affine structure sheaves on the \(D_\dagger(S)\). For a graded module \(Q\), there is a unique quasi-coherent \(\mathcal O_{\mathrm{Proj}^M(A)}\)-module \(\widetilde Q\) characterized by
\[
\Gamma(D_\dagger(S),\widetilde Q)=Q_{(S)}
\]
for every \(S\in\mathcal F_A\) [2509.15116]. This is the direct multigraded analogue of the classical correspondence \(Q\mapsto \widetilde Q\) on \(\operatorname{Proj}(A)\).

The construction is quasi-separated: intersections of basic affine opens are covered by affine opens of the form \(D_\dagger(ST)\) coming from affine open immersions [2509.15116]. In the original Brenner–Schröer quotient picture, the same scheme may also be described as the quotient of \(\operatorname{Spec}(A)\setminus V(A_\dagger)\) by the diagonalizable group attached to the grading lattice; Mayeux–Riche show that this quotient description coincides with the potion-gluing construction [2310.13502].

## 4. Topological description, \(D\)-prime ideals, and the role of factoriality

In the gluing formulation, multigraded Proj is not defined as a subset of a prime spectrum. That omission is deliberate. For general multigraded rings, the classical description by homogeneous prime ideals not containing an irrelevant ideal does not extend directly. A later topological analysis identifies the correct replacement, under additional hypotheses, as a spectrum of \(D\)-prime ideals rather than ordinary prime ideals [2602.12812].

Let \(S=\bigoplus_{d\in D}S_d\) be a \(D\)-graded integral domain, with \(D\) a finitely generated abelian group. A graded ideal \(\mathfrak p\) is \(D\)-prime if
\[
fg\in\mathfrak p \;\Rightarrow\; f\in\mathfrak p\ \text{or}\ g\in\mathfrak p
\]
for all homogeneous \(f,g\in S\). The ring is factorially \(D\)-graded if every nonzero nonunit homogeneous element is a product of \(D\)-prime elements [2602.12812]. These notions are weaker than their ordinary ring-theoretic counterparts; the paper’s example \(k[x]\) with \(\mathbb Z/2\)-grading shows that a \(D\)-prime element need not be prime in the usual sense.

For relevant homogeneous \(f\), one has the localizing map
\[
\psi_f:D_+(f)\to \operatorname{Spec}(S_{(f)}),\qquad \mathfrak p\mapsto \mathfrak p_f\cap S_{(f)}.
\]
The decisive result is that, for factorially \(D\)-graded integral domains, \(\psi_f\) is a homeomorphism for every relevant \(f\) [2602.12812]. This restores the classical local picture once one replaces homogeneous prime ideals by \(D\)-prime ideals.

Under the assumptions that \(S\) is factorially and effectively \(D\)-graded and \((S,B)\) is a conical ring, the multihomogeneous \(D\)-prime spectrum
\[
\Proj_D^B(S):=\{\mathfrak p\in D(S)\mid B\not\subseteq \mathfrak p\}
\]
admits a scheme structure for which every relevant chart \(D_+(f)\) is isomorphic to \(\operatorname{Spec}(S_{(f)})\), and the resulting scheme is canonically isomorphic to the Brenner–Schröer construction \(\Proj_B^D(S)\) [2602.12812]. In this sense the point-set description exists, but only after strengthening the hypotheses and modifying the notion of primality.

The same framework yields a multigraded Nullstellensatz. For factorially \(D\)-graded conical rings, radical homogeneous ideals in the relevant part correspond to closed subsets of \(\Proj_B^D(S)\), and closure is computed by vanishing of the appropriate homogeneous functions [2602.12812]. This places the Brenner–Schröer construction much closer to the classical \(\operatorname{Proj}\) once the correct prime-like objects have been identified.

## 5. Structural theorems, twists, and non-separatedness

The Brenner–Schröer Proj construction retains several formal properties of classical Proj. A homomorphism \(\Psi:A\to B\) of \(M\)-graded rings induces a canonical morphism
\[
\mathrm{Proj}^M_{\Psi(\mathcal F)}(B)\to \mathrm{Proj}^M_{\mathcal F}(A),
\]
obtained by gluing the affine maps \(A_{(S)}\to B_{(\Psi(S))}\) [2509.15116]. If \(\Psi\) is surjective, then \(\mathrm{Proj}^M(B)\to \mathrm{Proj}^M(A)\) is a closed immersion [2509.15116].

The construction is also compatible with tensor products and products. If \(A\) is \(M\)-graded and \(A'\) is \(M'\)-graded over a commutative ring \(R\), then
\[
\mathrm{Proj}^{M\times M'}(A\otimes_R A')
\cong
\mathrm{Proj}^M(A)\times_{\operatorname{Spec}(R)}\mathrm{Proj}^{M'}(A')
\]
[2509.15116]. A related base-change statement is established in the Mayeux–Riche treatment [2310.13502].

Twisting sheaves are indexed by the grading group itself. For \(\alpha\in M\), the degree shift \(Q(\alpha)\) is defined by \((Q(\alpha))_\beta=Q_{\alpha+\beta}\), and one sets
\[
\mathcal O_{\mathrm{Proj}^M(A)}(\alpha):=\widetilde{A(\alpha)}.
\]
If \(A\) is noetherian, then \(\mathcal O_{\mathrm{Proj}^M(A)}(\alpha)\) is coherent, and \(\widetilde Q\) is coherent for every finitely generated graded \(A\)-module \(Q\) [2509.15116]. Under a covering condition by maximally relevant submonoids, these twisting sheaves are invertible, and if \(\mathrm{Proj}^M(A)\) is quasi-compact the functor \(Q\mapsto \widetilde Q\) induces an equivalence between graded modules modulo negligible modules and quasi-coherent sheaves on \(\mathrm{Proj}^M(A)\) [2509.15116].

Later work refines the invertibility problem in terms of local degree groups. For \(X=\Proj^D(S)\) and \(d\in D\), the twist \(\mathcal O_X(d)\) is invertible if and only if, for every relevant \(f\), the localization \(S_f\) contains a unit of degree \(d\); equivalently, \(d\) lies in the intersection of the subgroups \(D^{f_i}\) attached to generators of the irrelevant ideal [2602.12812]. This makes precise the difference between the full divisor-class grading and the subgroup of degrees that actually yield line bundles.

Separatedness is the major point where multigraded Proj diverges sharply from the classical \(\mathbb N\)-graded theory. In the \(D\)-graded setting, \(\Proj^D(S)\) is separated if and only if the multiplication maps
\[
\mu_{(fg)}:S_{(f)}\otimes_{S_0}S_{(g)}\to S_{(fg)}
\]
are surjective for relevant pairs \(f,g\) [2602.12812]. Weak pairs detect the failure of this surjectivity, and linear dependencies in the degree group explain when such failures occur. If every linear dependency among relevant degrees is of length \(1\), then \(\Proj^D(S)\) is separated; if there exists a non-trivial irreducible dependency of higher length, then \(\Proj^D(S)\) is not separated [2602.12812].

The standard example is \(S=k[x,y,z]\) with \(D=\mathbb Z^2\) and
\[
\deg(x)=e_1,\qquad \deg(y)=e_2,\qquad \deg(z)=e_1+e_2.
\]
Here \(\deg(xy)=\deg(z)\) is a dependency of length \(2\), the map \(\mu_{(xz\cdot yz)}\) fails to be surjective, and \(\Proj^D(S)\) is not separated; geometrically, the source compares this to a “double origin” phenomenon [2602.12812].

## 6. Geometric realizations and comparisons with toric Proj-like constructions

A principal application is the realization of flag varieties as multigraded Proj schemes. Let \(k\) be algebraically closed, \(G\) a connected reductive group, \(T\) a maximal torus, and \(B=TN\) a Borel subgroup. If
\[
A:=\Gamma(G/N,\mathcal O_{G/N})=\bigoplus_{\chi\in X^*(T)}A_\chi,
\]
then \(A\) is naturally graded by the character group \(X^*(T)\), and one has
\[
G/B\cong \mathrm{Proj}^{X^*(T)}(A)
\]
[2509.15116]. This realizes the flag variety without choosing a single dominant weight. More generally, if \(\widetilde V\) is a finite-dimensional \(G\)-module and \(V\subset \widetilde V\) is a \(B\)-stable subspace, then the associated bundle \(G\times^B V\) is likewise realized as a multigraded Proj; in the case \(\widetilde V=\mathfrak g\) and \(V=\mathfrak n\), this gives the Springer resolution [2509.15116].

The same multigraded formalism encompasses products and multi-projective geometry. The product formula above is the multigraded analogue of the familiar description of \(\mathbb P^n\times \mathbb P^m\) by a \(\mathbb Z^2\)-graded ring [2509.15116]. This suggests, in the language of the sources, a natural role for Cox rings and toric constructions, although some of those implications are described as standard context rather than developed in detail.

In the toric setting, Brenner–Schröer Proj has been compared with Perling’s toric Proj. For the Cox-type ring \(A\) attached to a toric variety \(X_\Delta\), there is always a canonical torus-equivariant open embedding
\[
\mu:\tProj A\hookrightarrow {}^{\mathrm{MH}\!A
\]
from Perling’s toric Proj into the Brenner–Schröer multihomogeneous Proj [2212.00314]. When \(\Delta\) is simplicial, \(\mu\) is an isomorphism if and only if \(\Delta\) is simplicially complete [2212.00314]. This comparison makes precise that Brenner–Schröer Proj is generally larger: it uses all relevant homogeneous elements, not only those singled out by the toric fan.

A common misunderstanding is therefore to treat Brenner–Schröer Proj as merely a toric reconstruction device. The toric comparison shows instead that it is a general multigraded projective construction; Perling’s toric Proj is a fan-sensitive subconstruction that agrees with it only under a specific combinatorial condition [2212.00314].

## 7. Formalization and current extensions

The multi-graded Brenner–Schröer Proj construction has been formalized in Lean4. One formalization presents the multi-graded Proj construction for rings graded by finitely generated abelian groups and emphasizes the gluing of affine schemes built from potions [2509.15116]. A subsequent development extends this to a detailed Lean4 formalization of Brenner–Schröer Proj schemes together with algebraic dilatations [2606.01438].

In the formalization, homogeneous localization is implemented as a quotient type built from triples \((i,n,d)\) with numerator and denominator homogeneous of the same degree. Mathematically, this recovers the degree-zero fraction subring \((A_S)_0\), while making the universal-property aspect explicit [2509.15116]. The “magic of potions” is encoded through a structure `PotionGen`, which packages generators of a submonoid together with exponents and degree-correcting data used to exhibit \(A_{(ST)}\) as a localization of \(A_{(S)}\) [2509.15116].

The later Lean4 treatment introduces `GoodPotionIngredient` for finitely generated relevant homogeneous submonoids and constructs the scheme by `Scheme.GlueData`, using the affines \(\operatorname{Spec}(\potion(S))\) and the overlaps \(\operatorname{Spec}(\potion(ST))\) [2606.01438]. It also proves functoriality for graded ring homomorphisms, open-immersion properties for overlaps, and invariance under enlarging the covering family [2606.01438].

This formalized perspective suggests a methodological point rather than a new theorem: the Brenner–Schröer construction is especially well suited to mechanization because it reduces the geometry to graded localizations, degree-zero parts, and explicit gluing morphisms [2509.15116]. A plausible implication is that multigraded algebraic geometry, particularly in contexts such as Cox rings, toric geometry, and dilatation-type constructions, becomes more tractable in proof assistants when formulated in the Brenner–Schröer language rather than through prime-ideal descriptions alone.

Source: https://www.emergentmind.com/topics/brenner-schroer-proj-construction