\(k\)-normality of weighted projective spaces (Q2493452): Difference between revisions

Let \(X\) be a \(\mathbb{Q}\)-factorial projective toric variety with \(\text{rk}\text{Pic}X=1\), e.g., a weighted projective space. The note addresses the problem of \(k\)-normality of \(X\), i.e., the surjectivity of the restriction homomorphism \(H^0(\mathbb{P}^r,\mathcal{O}_{\mathbb{P}^r}(k))\to H^0(X,\mathcal{O}_X(k))\), where \(\mathbb{P}^r\) is an ambient projective space. The embedding \(X\hookrightarrow\mathbb{P}^r\) is given by a very ample line bundle \(L=\mathcal{O}_X(1)\) on \(X\), which in its turn is determined by an integral \(n\)-simplex \(P\), \(n=\dim X\). It is proved that the multiplication map \(H^0(X,L^{\otimes k})\otimes H^0(X,L)\to H^0(X,L^{\otimes k+1})\) is surjective for all \(k\geq n/2\). In particular, \(X\) is projectively normal (i.e., \(k\)-normal for all \(k\)) in any ambient projective space if \(n\leq3\). For \(n>3\) it is proved that \(X\) is \(k\)-normal, i.e., \(H^0(X,L)^{\otimes k}\) maps onto \(H^0(X,L^{\otimes k})\) whenever \(k\geq 3n/2-1\). The assertions are reformulated in terms of integral points in \(P\) and its multiples, and proved by convex-geometrical technique.