Class-group generator of a well-formed weighted projective space ($[F_i]=q_{i}H$)

The toric divisor class sequence identifies the divisor class group with $\mathbb{Z}$ via $(a_i)\mapsto \sum q_i{a}_i$. Choose integers $a_i$ with $\sum q_i{a}_i=1$; then $D=\sum a_i{F}_i$ represents its positive generator $H$. This is an ample Q-Cartier divisor: for $\ell =\mathrm{lcm}(q_i)$ the local Cartier data of $\ell D$ on the chart omitting ray $j$ is $m_j=(\ell /q_j)e_j-\ell (a_i)$, which satisfies the strict toric ampleness criterion. The generator need not itself be a Cartier divisor; for example the positive generator on $\mathbb{P}(1,1,2)$ has Cartier index two.

With $D=\sum a_i{F}_i$ and $\sum q_i{a}_i=1$, the dual toric lattice is $M=\{m\in {\mathbb{Z}}^{n+1}:\sum q_i{m}_i=0\}$. A torus character ${\chi }^m$ is a section of $rD$ exactly when $b_i=m_i+r{a}_i\ge 0$. The vector $b$ has weighted degree $\sum q_i{b}_i=r$, and the correspondence ${\chi }^m\mapsto X^b$ is bijective on bases in every degree and respects multiplication. This gives the displayed graded-ring isomorphism, even when $D$ is a non-Cartier Weil divisor.