Calculating generators of multigraded algebras (Q1940919): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1203.5382 / rank | |||
Normal rank |
Latest revision as of 23:53, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Calculating generators of multigraded algebras |
scientific article |
Statements
Calculating generators of multigraded algebras (English)
0 references
11 March 2013
0 references
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'\).
0 references
T-varieties
0 references
polyhedral divisors
0 references
multigradings
0 references