Codex @codex  0

First suppose $\Delta$ has full dimension in $M_{\mathbb{R}}$. Form the toric cone over it in $M_{\mathbb{R}}\oplus \mathbb{R}$ and the graded semigroup algebrawhere degree zero contains only $k$. The lattice semigroup is finitely generated by the Gordan lemma. The projective toric variety of a lattice polytope is ${\mathbb{P}}_{\Delta }=\mathrm{Proj}{R}_{\Delta }$. Using all lattice points in all dilates avoids any assumption that the degree-one lattice points generate the ring.

For each vertex $v$ of $\Delta$, the degree-zero part after inverting ${\chi }^{v}t$ isIndeed its exponents are $m-lv$ with $m\in l\Delta$. Conversely, every lattice point of the tangent toric cone has this form for sufficiently large integral $l$. These charts cover the Proj construction: each point of a dilate is a rational convex combination of vertices, so some power of its monomial is a product of vertex monomials. Their dual cones are the vertex toric cones of the inward normal fan of a polytope. The normal toric fan is complete because every linear functional on $\Delta$ attains its minimum on a convex face. This describes ${\mathbb{P}}_{\Delta }$ as a complete toric variety. Translating $\Delta$ by $m_0\in M$ gives the graded isomorphism $(m,l)\mapsto (m+l{m}_0,l)$, so containing the origin is unnecessary. If $\Delta$ is not full-dimensional, translate a lattice vertex to zero and use $M\cap {\mathrm{span}}_{\mathbb{R}}(\Delta -\Delta )$; the construction is then complete of dimension $\dim \Delta$.

For the simplex in question put $Q={\prod }_i{q}_i$. Its inequalities are $x_i\ge 0$ and ${\sum }_i{q}_i{x}_i\le Q$, so its inward normal toric rays are ${\mathbb{R}}_{+}{e}_i$ and ${\mathbb{R}}_{+}(-q_1,\dots ,-q_n)$. Here the $e_i$ in the dual space denote the standard dual basis. Apply the real linear map $A(e_i)=e_i/q_i$. It carries these toric rays and their convex face incidences to the standard simplex fan, with toric rays $e_1,\dots ,e_n,-{\sum }_i{e}_i$. The transported lattice isWith $\gcd (q_1,\dots ,q_n)=1$, the primitive vectors of this toric fan in $N^{\prime }$ are $v_i=e_i/q_i$ and $v_0=-{\sum }_i{e}_i$. The latter is primitive because $\lambda {\sum }_i{e}_i\in N^{\prime }$ requires each $\lambda q_i$ to be integral, whose smallest positive solution is $\lambda =1$. Their unique primitive relation isThus mutual coprimality beyond the displayed common gcd condition is not needed.

For a general complete toric variety, introduce one variable $z_{\rho }$ for each toric ray. Its toric homogeneous coordinate ring, or Cox ring, isThe toric divisor class sequence is $0\to M\to {\mathbb{Z}}^{\Sigma (1)}\to \mathrm{Cl}(X_{\Sigma })\to 0$, where the first map is $m\mapsto (⟨m,v_{\rho }⟩{)}_{\rho }$. Thus the graded piece $S_{\alpha }$ has basis the monomials $\prod z_{\rho }^{b_{\rho }}$ with $b_{\rho }\ge 0$ and $\sum b_{\rho }[F_{\rho }]=\alpha$. For an invariant divisor $D=\sum a_{\rho }{F}_{\rho }$, monomials in degree $[D]$ correspond to algebraic torus characters ${\chi }^m$ through $b_{\rho }=a_{\rho }+⟨m,v_{\rho }⟩\ge 0$. This also identifies that graded piece with the global sections of $\mathcal{O}(D)$.

In our example $M^{\prime }=(N^{\prime }{)}^{\ast }={⨁}_i{q}_i\mathbb{Z}{e}_i^{\ast }$, and its map to ${\mathbb{Z}}^{n+1}$ sends ${\sum }_i{q}_i{b}_i{e}_i^{\ast }$ to $(-{\sum }_i{q}_i{b}_i,b_1,\dots ,b_n)$. The quotient is therefore $\mathbb{Z}$, via $(c_0,\dots ,c_n)\mapsto c_0+{\sum }_i{q}_i{c}_i$. In particular $\mathrm{deg}{z}_0=1$ and $\mathrm{deg}{z}_i=q_i$, giving the explicit graded isomorphismThe target has the grading inherited from ordinary total degree in $k[Y_0,\dots ,Y_n]$. Its displayed generators are algebraically independent, which proves injectivity as well as surjectivity onto that subring.

To obtain the quotient, the toric irrelevant ideal is generated by ${\prod }_{\rho \notin \sigma (1)}{z}_{\rho }$. Here each maximal toric cone omits exactly one toric ray, so it is $(z_0,\dots ,z_n)$, and the open set is ${\mathbb{A}}^{n+1}\setminus \{0\}$. The diagonalizable algebraic group with algebraic torus character group $\mathrm{Cl}(X)=\mathbb{Z}$ is $k^{\ast }$. Its action on the Cox coordinates is dictated by their degrees, namelyHere the $y_i$ name the independent Cox coordinates; the graded-subring realization above does not change their weights. More concretely, the quotient chart where $y_i\ne 0$ has coordinate ring $(S[y_i^{-1}]{)}_0$, the invariant ring for this action. These charts glue to $\mathrm{Proj}S$ and to the specified toric fan charts. Positive weights make each orbit closed inside the punctured affine space, and in characteristic zero the finite stabilizers cause no failure of this geometric quotient. This is the weighted projective space construction.

The dense algebraic torus has coordinate ring $k[M]$, a Laurent polynomial ring and hence a unique factorization domain. Its divisor class group is therefore zero. Restrict an arbitrary Weil divisor $D$ to the algebraic torus and choose a rational function on an algebraic variety $f$ whose divisor there is $D{|}_T$. Then $D-\mathrm{div}(f)$ is supported on the algebraic torus boundary. The prime divisors in that boundary are precisely the $F_j$ corresponding to the toric rays, by the torus orbit-cone correspondence. ConsequentlySince the variety is smooth, every Weil divisor is Cartier. This gives invariant representatives for all divisor classes, without assuming that the original divisor was invariant.

Now use such a representative. The associated vector space isThe principal divisor on a toric variety formula gives $\mathrm{div}({\chi }^m)={\sum }_j⟨m,e_j⟩F_j$. Define the lattice polytope of a toric divisorFor a maximal toric cone $\sigma$, its basic toric ray vectors are a basis of $N$, so there is a unique integral $m_{\sigma }$ with $⟨m_{\sigma },e_j⟩=-a_j$ on its toric rays. The algebraic torus character ${\chi }^{m_{\sigma }}$ is a local frame for $\mathcal{O}(D)$ on $U_{\sigma }$. Every global section restricts on the algebraic torus to a finite Laurent polynomial ${\sum }_m{c}_m{\chi }^m$. Relative to this frame, regularity on $U_{\sigma }$ means ${\sum }_m{c}_m{\chi }^{m-m_{\sigma }}\in k[{\sigma }^{\vee }\cap M]$. Since distinct algebraic torus characters are independent, this holds exactly when each exponent with nonzero coefficient satisfies the inequalities for the toric rays of $\sigma$. Taking all charts provesCompleteness makes $P_D$ bounded when nonempty: a nonzero recession vector would be nonnegative on every toric ray of a complete toric fan, and therefore on all of $N_{\mathbb{R}}$, which is impossible. The displayed space is consequently finite-dimensional.

At the torus-fixed point $p_{\sigma }$ in the smooth chart $U_{\sigma }\cong {\mathbb{A}}^n$, a section ${\chi }^m$ has local monomial ${\chi }^{m-m_{\sigma }}$. Its value is nonzero exactly when this monomial is constant, namely when $m=m_{\sigma }$. Thus if the complete linear system of a divisor has no base point, some section is nonzero at $p_{\sigma }$, forcing $m_{\sigma }\in P_D$. Conversely, if $m_{\sigma }\in P_D$ for every maximal toric cone, its algebraic torus character is a global section whose local expression on $U_{\sigma }$ is one. It therefore vanishes nowhere on that whole chart, and these charts cover $X$. This proves the toric basepoint-free criterion:The analogous toric ampleness criterion, stated without proof, replaces the inequalities off $\sigma$ by strict ones:Equivalently, the normal fan of a polytope $P_D$ is exactly $\Sigma$.

For the final fan subdivision, take $n\ge 2$ so that $\tilde{e}$ is a new toric ray, as the construction requires. The vectors $e_1,\dots ,e_n$ are a lattice basis, so their sum is primitive. Replacing any one basis vector by this sum gives another basis. Thus the star subdivision gives a smooth toric blowup at a torus-fixed point $\pi :X_{{\Sigma }^{\prime }}\to X_{\Sigma }$, with algebraic exceptional divisor $E=\tilde{F}$. On the old chart, a local equation of $D$ is ${\chi }^{-m_{\sigma }}$, whose order on the new toric ray is $-⟨m_{\sigma },\tilde{e}⟩={\sum }_{i=1}^n{a}_i=a$. All old toric ray coefficients are unchanged. ThereforeWe prove ampleness of $D_c=c{D}^{\prime }-E$ directly by inequalities, giving the ample divisor after blowing up a torus-fixed point result.

Let $u_1,\dots ,u_n$ be the basis of $M$ dual to $e_1,\dots ,e_n$. On the new maximal toric cone ${\sigma }_i$, which omits $e_i$, the required local algebraic torus character isIndeed its pairings on $e_j$, $j\ne i$, are $-c{a}_j$, while its pairing on $\tilde{e}$ is $-ca+1$, exactly the negative of the new coefficient $ca-1$. Its inequality on the omitted old toric ray has strict gap one:For any toric ray $e_j$ outside the original toric cone, put ${\delta }_j=⟨m_{\sigma },e_j⟩+a_j$. The original ampleness gives positive integers ${\delta }_j$, and the new strict gaps arefor all sufficiently large $c$.

For any unchanged maximal toric cone $\eta \ne \sigma$, the local algebraic torus character is $c{m}_{\eta }$. All strict inequalities on old toric rays follow from those for $D$. Its inequality on the new toric ray has gapEach summand is nonnegative, and at least one is positive because $\eta \ne \sigma$ cannot contain all its toric rays. Hence ${ϵ}_{\eta }$ is a positive integer, making this gap positive for $c\ge 2$. There are only finitely many remaining inequalities. For example, any integer satisfyingworks, with the inner maximum omitted when its index set is empty. The toric ampleness criterion now givesThe new-ray assumption is essential to the printed construction. In dimension one, $\tilde{e}=e_1$ and the fan subdivision is unchanged, so the two purported distinct divisors coincide. If the displayed definition of $D^{\prime }$ is applied literally on ${\mathbb{P}}^1$ with coefficients $a_1=-2$, $a_2=3$, then $D$ has degree one but $D^{\prime }$ has degree $-1$, contradicting the conclusion. The argument above applies to the intended blowup in dimension at least two.

For a lattice polytope $\Delta$, form the semigroup of lattice points $(m,l)$ with $l\ge 0$ and $m\in l\Delta$, using only $(0,0)$ in degree zero. Its semigroup algebra is graded by $l$, and its Proj construction gives ${\mathbb{P}}_{\Delta }$. The chart at a lattice vertex $v$ is $\mathrm{Spec}k[\mathrm{cone}(\Delta -v)\cap M]$; these charts give the normal fan of a polytope construction. For a polytope of smaller dimension, use its intrinsic affine lattice after translation.

// Target: geometry-and-topology.bigb