On the multiplication map of a multigraded algebra (Q2372678): Difference between revisions

Let \(A=\bigoplus_{n\in M} A_n\) be a multigraded algebra over an algebraically closed field \(K, M\cong \mathbb Z^d\). The weight cone of \(A\) is the convex polyhedral cone \(\omega(A)\subseteq \mathbb Q\otimes_\mathbb Z M\) generated by all \(u\in M\) with \(A_u\neq 0\). The pair \(u,v\in\omega(A)\cap M\) is called a generating pair if there exist \(m>0\) such that for any \(k>0\) the multiplication \(\mu_{km}: A_{kmu} \otimes_K A_{kmv}\to A_{km(u+v)}\) is a surjective map. The \(M\)-grading defines an action of the torus \(T:=\text{Spec} K[M]\) on \(X:=\text{Spec}(A)\) such that for any \(u\in M\) the elements \(f\in A_u\) are precisely the semiinvariants for the character \(\chi^n:T\to K^\ast\) \((f(tx)=\chi^n(t)f(x))\). The orbit cone of \(x\in X\) is the convex polyhedral cone \(\omega(x)\subset\mathbb Q\otimes_\mathbb Z M\) generated by all \(u\in \omega(A)\) admitting an \(f\in A_u\) with \(f(x)\neq 0\). To \(u\in\omega(\Delta)\) the so-called GIT--cone \(\lambda(u):=\bigcap_{\substack{ x\in X\\ u\in\omega(x)}}\omega(x)\) is associated. The collection \(\Lambda(A)\) of all of them is a fan. Assume that \(A\) is finitely generated over \(K\) and integral. It is proved that a generating pair \(u,v\) lies in a common GIT-cone. If \(u,v\in\omega(A)\cap M\) lie in a common GIT-cone \(\lambda\) and \(u\) belongs to the relative interior \(\lambda^0\subseteq \lambda\) then \(u,v\) is a generating pair. Let \(W(A):=\{x\in X\;| \;\omega(x)=\omega(A)\}\) and for \(u\in\omega(\Delta)\cap M\) let \(X(u):=\bigcup_{\substack{ f\in A_{nu}\\ n>0}} \{x\in X\;| \;u\in\omega(x)\}\;,\;Y(u)=X(u)/T\). For \(u,v\) in a common GIT--cone let \(Z(u,v)\) be the image of the canonical map \(Y(u+v)\to Y(u)\times Y(v)\). If \(A\) is factorial and \(X\smallsetminus W(A)\) is of codimension at least two in \(X\) then for \(u,v\in\omega(A)^0\) belonging to a common GIT--cone the pair \(u,v\) is generating if and only if \(Z(u,v)\) is normal.