Abstract:The $D$-graded Proj construction provides a general framework for constructing schemes from rings graded by finitely generated abelian groups $D$, yet its properties and applications remain underdeveloped compared to the classical $\mathbb{N}$-graded case. This paper establishes the essential characteristics of $D$-graded rings $S$, like the distinction between $D$-homogeneous prime ideals and $D$-prime ideals if $D$ has torsion. We particularly focus on describing the quotient by the associated group scheme, generalizing the construction of a toric variety from its Cox ring. As in the $\mathbb{N}$-graded construction, the basic affine opens of the Proj construction are given in terms of degree-zero localizations $S_{(f)}$, where $f$ in $S$ homogeneous is \emph{relevant}. We prove that $\pi_f: {\rm Spec}(S_f) \to {\rm Spec}(S_{(f)})$ is a geometric quotient under mild finiteness assumptions if $f$ is relevant, and give necessary and sufficient conditions for this map to be a pseudo ${\rm Spec}(S_0[D])$-torsor.
From: Felix Goebler [view email]
[v1]
Thu, 6 Nov 2025 18:19:16 UTC (28 KB)
[v2]
Sat, 22 Nov 2025 10:35:52 UTC (28 KB)
[v3]
Thu, 12 Feb 2026 11:41:02 UTC (28 KB)
[v4]
Thu, 25 Jun 2026 08:38:12 UTC (28 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。