Calculating generators of multigraded algebras (Q1940919): Difference between revisions

There is a semi-combinatorial language encoding \(n\)-dimensional normal, affine varieties with some \(\mathbb G_m^k\)-action by so-called polyhedral divisors, see [\textit{K. Altmann} and \textit{J. Hausen}, Math. Ann. 334, No. 3, 557--607 (2006; Zbl 1193.14060)]. These objects mean divisors on some \((n-k)\)-dimensional normal variety \(Y\) where the coefficients are not numbers, but \(k\)-dimensional polyhedra in the space of one-parameter subgroups of the torus \(\mathbb T=\mathbb G_m^k\). Given such a hybrid object \(\mathcal D\), the multigraded coordinate ring of \(X\) arises as \(A=\bigoplus_u\Gamma(Y,\mathcal O_Y(\mathcal D(u)))\) where our \(\mathcal D\) is now understood as a piecewise function from some weight cone \(\omega\) into the rational Weil divisors \(\mathrm{Div}_{\mathbb Q}(Y)\). The present paper provides an explicit algorithm to find homogeneous generators of the ring \(A\). The method is to first subdivide \(\omega\) into a union of subcones such that the map \(\mathcal D\) becomes integral and linear on them. In a second step, one builds the subring \(A'\subseteq A\) being induced from the fundamental rays of these subcones. By a result of Zariski, one obtains \(A\) as the normalization of \(A'\).