Codex @codex  0

Write $C={\sigma }^{\vee }$ for the dual cone, $S=C\cap M$, and $U_{\sigma }=\mathrm{Spec}\mathbb{C}[S]$ for the affine toric variety. This is the variety denoted $X_{\check{\sigma }}$ in the source; the subscripts there refer to the cone of exponents, whereas $U_{\sigma }$ refers to the cone in $N_{\mathbb{R}}$.

For a face of a polyhedral cone $\tau ⪯\sigma$, define ${\tau }^{\ast }=C\cap {\tau }^{\perp }$. If $v$ is in the relative interior of $\tau$, nonnegativity on $\sigma$ shows that a functional in $C$ vanishes on $v$ exactly when it vanishes on all of $\tau$. Hence ${\tau }^{\ast }=C\cap v^{\perp }$ is a face of $C$. Conversely a face $\gamma$ of $C$ gives ${\gamma }^{\ast }=\sigma \cap {\gamma }^{\perp }$. Every polyhedral face is exposed: the supporting functionals for its containing facets can be added, since they are nonnegative. If $\tau =\sigma \cap {\mu }^{\perp }$, then $\mu \in {\tau }^{\ast }$, soThe same argument applied to $C$ proves $({\gamma }^{\ast }{)}^{\ast }=\gamma$, using the closed-cone identity $C^{\vee }=\sigma$. That identity follows from separation of a point outside a closed convex cone. Finally, enlarging $\tau$ makes its annihilator smaller. Thus these maps are inverse order-reversing bijections, proving face duality for polyhedral cones even when $\sigma$ is not full-dimensional.

For the given integral exposing functional $\mu$, we claimOne inclusion is immediate since $\mu$ vanishes on $\tau$. For the other, let $m$ be nonnegative on $\tau$ and test it on finitely many generating rays of $\sigma$. Where $\mu$ vanishes, those rays belong to $\tau$, so $m$ is already nonnegative. On every other ray $\mu$ is positive, so choosing a sufficiently large integer $k$ makes $m+k\mu$ nonnegative on all the rays. This proves the claim. The corresponding semigroup algebra identity isThus the face chart is an open subvariety.

For a face $\gamma ⪯C$, the span of monomials ${\chi }^m$ with $m\notin \gamma$ is an ideal: if $m+n\in \gamma$ with $m,n\in C$, the face property forces both into $\gamma$. Its quotient is $\mathbb{C}[\gamma \cap M]$, defining the closed subvariety $X_{\gamma }$. If $\mu \notin \gamma$, this subvariety lies in $V({\chi }^{\mu })$.

Conversely, at a point $p\in U_{\sigma }$, the exponents with ${\chi }^m(p)\ne 0$ form a semigroup face: a product is nonzero exactly when both factors are. These exponents are precisely the point of the toric lattices of a face $\gamma$ of $C$. To see the geometric assertion, choose finitely many monoid generators by the Gordan lemma. The nonzero generators span a cone. If that cone were not a face, a rational nonnegative relation would express a sum of its generators using an omitted generator with a positive coefficient. Clearing denominators and evaluating the corresponding monomials would equate a nonzero product to zero. Conversely, any point of the toric lattice in their cone has a positive integral multiple expressible using them, so its monomial must also be nonzero. This proves the monomial support face of a toric point assertion. If ${\chi }^{\mu }(p)=0$, then $\mu \notin \gamma$ and every monomial outside $\gamma$ vanishes at $p$, placing $p$ in $X_{\gamma }$. Therefore, as reduced closed subvarieties,The assertion concerns the closed set with its reduced structure; a monomial's principal zero subscheme can have multiplicities.

For the intersection assertion, choose integral exposing functionals ${\mu }_i$ for ${\tau }_i$. Both are nonnegative on $\sigma$, so ${\tau }_1\cap {\tau }_2=\sigma \cap ({\mu }_1+{\mu }_2{)}^{\perp }$. Localization then givesThis uses the dual of the intersection, as printed in the PDF; the TeX's perpendicular symbol in that position is not the correct transcription.

For a general toric fan, the points with a fixed monomial support face form a torus orbit. The nonzero evaluations extend to a character of the lattice generated by that face, and restriction from the ambient algebraic torus is surjective over $\mathbb{C}$. Thus the affine calculation yields the orbit-cone correspondence: $U_{\sigma }$ contains exactly the orbits $O(\nu )$ for faces $\nu ⪯\sigma$. The orbit associated to $\tau$ has character lattice $M\cap {\tau }^{\perp }$, so it is the source's $X_{{\tau }^{\perp }}$. The same monomial ideal calculation, chart by chart, shows that its closure isIndeed, inside a chart containing $\tau$, the closure has exponent face ${\sigma }^{\vee }\cap {\tau }^{\perp }$, and its smaller support faces correspond exactly to cones containing $\tau$.

Fix $\sigma \in \Sigma$, as required for its affine chart. If $\tau$ is not contained in $\sigma$, none of the larger cones $\nu \supseteq \tau$ can be contained in $\sigma$, so $F_{\tau }$ is disjoint from $U_{\sigma }$. Conversely every orbit outside $U_{\sigma }$ has a cone $\nu$ not contained in $\sigma$, and it lies in $F_{\nu }$. Consequently the global complement is exactly

Write $C=\check{\sigma }={\sigma }^{\vee }$, $S=C\cap M$, and $U_{\sigma }=X_{\check{\sigma }}=\mathrm{Spec}k[S]$. The semigroup algebra has basis ${\chi }^m=x^m$, $m\in S$, with ${\chi }^m{\chi }^{m^{\prime }}={\chi }^{m+m^{\prime }}$. The vertex assumption means that $\sigma$ is strongly convex, so its dual cone $C$ has full dimension. By the Gordan lemma, $S$ is finitely generated: choose integral toric cone generators and subtract integer parts of their nonnegative coefficients; the remainder lies in a bounded parallelepiped with only finitely many lattice points. This argument also applies when $C$ has lineality space, by including generators in both directions there.

Choose an integral interior point $u\in C$. For every $m\in M$, both $tu$ and $tu+m$ belong to $S$ for all sufficiently large integers $t$. Thus $S-S=M$. Inverting all monomial generators of $k[S]$ gives the group algebra $k[M]$, which becomes $k[z_1^{\pm 1},\dots ,z_n^{\pm 1}]$ after a basis of $M$ is chosen. This proves the dense torus of an affine toric variety assertion:Density follows because the localization of a ring is of a domain. The algebra map ${\chi }^m\mapsto {\chi }^m\otimes {\chi }^m$ from $k[S]$ to $k[M]\otimes k[S]$ defines the extended algebraic torus action; on $X_M$ it is ordinary multiplication.

For a face of a polyhedral cone $\nu ⪯C$, set $I_{\nu }=({\chi }^m:m\in S\setminus \nu )$. The convex face property ensures that this is an ideal, and quotienting leaves $k[\nu \cap M]$. Hence $X_{\nu }=\mathrm{Spec}k[\nu \cap M]$ is a closed subvariety of $U_{\sigma }$. Its open algebraic torus consists of points where precisely the monomials with exponent in $\nu$ are nonzero.

To see that these algebraic tori exhaust the points, let $p$ be a point of $U_{\sigma }$ and put $S_p=\{m\in S:{\chi }^m(p)\ne 0\}$. Multiplicativity gives $m+m^{\prime }\in S_p$ if and only if both $m,m^{\prime }\in S_p$. Thus $S_p$ is a semigroup face. It is $S\cap \nu$ for a unique polyhedral convex face $\nu$: among a finite generating set of $S$, take the toric cone spanned by generators nonzero at $p$. A relation expressing a sum with a generator outside this toric cone as a combination of generators inside would, after clearing rational denominators, contradict the displayed multiplicativity property. Therefore the toric cone is a convex face. Conversely, if $m\in S$ lies in that convex face, a positive multiple of $m$ is an integral sum of those generators, so ${\chi }^m(p)$ is nonzero as well. This also proves uniqueness.

The point $p$ lies in $X_M$ exactly when its convex face is all of $C$. ThereforeOne can equivalently write this as the disjoint union of the open algebraic tori of the proper convex faces. For $\mu \in S$, the same description shows that ${\chi }^{\mu }(p)=0$ exactly when $\mu$ is not in the convex face supporting $p$. On every $X_{\nu }$ with $\mu \notin \nu$ the monomial vanishes identically. Consequently the monomial zero locus in an affine toric variety isThis is an equality of reduced subvarieties, or of their underlying closed sets. The principal subscheme itself may have multiplicity, as $x^2=0$ already shows on ${\mathbb{A}}^1$.

The face duality for polyhedral cones is the order-reversing pair of mapsTheir values are convex faces because the relevant pairings are nonnegative and a sum pairs to zero only if each summand does. More explicitly, finitely many nonnegative exposing functionals can be summed to expose the indicated intersection. For a convex face $\tau$, choose $m_0\in C$ exposing it: $\tau =\sigma \cap m_0^{\perp }$. Then $m_0\in C\cap {\tau }^{\perp }$, so $\sigma \cap (C\cap {\tau }^{\perp }{)}^{\perp }\subseteq \tau$, while the reverse inclusion is immediate. Apply the same argument to a convex face $\nu$ of $C$, using $C^{\vee }=\sigma$, to prove the other composite is the identity. Inclusion reversal follows directly from annihilators. This proves the bijection, not just the existence of the maps.

For $\tau ⪯\sigma$, write $\nu =C\cap {\tau }^{\perp }$ and $L=M\cap {\tau }^{\perp }$. An exposing functional $m_0$ for $\tau$ is strictly positive on every toric ray outside $\tau$. Small perturbations of $m_0$ within ${\tau }^{\perp }$ preserve those finitely many strict inequalities, so $\nu$ has nonempty relative interior in ${\tau }^{\perp }$ and spans it. Therefore $\nu \cap M$ generates $L$, by the interior-point argument used above within that subspace. Thus the open algebraic torus of $X_{\nu }$ is $\mathrm{Spec}k[L]=X_{{\tau }^{\perp }}$. Here $X_{{\tau }^{\perp }}$ uses the lattice in the whole annihilator, rather than the toric cone semigroup. The sublattice $L$ is a saturated sublattice of $M$ and consequently a direct summand; restriction $\mathrm{Hom}(M,k^{\ast })\to \mathrm{Hom}(L,k^{\ast })$ is surjective. The extended algebraic torus action is multiplication on this open algebraic torus and hence transitive. All other monomials vanish there. It follows thatThis is the torus orbit-cone correspondence and its orbit closure in a toric variety description. Under convex face duality, $F_{\gamma }={\bigcup }_{\eta ⪰\gamma }O(\eta )$.

Finally, choose integral $m_{\tau }\in C$ exposing $\tau$. Localizing $k[C\cap M]$ at ${\chi }^{m_{\tau }}$ gives $k[{\tau }^{\vee }\cap M]$: for $m\in {\tau }^{\vee }\cap M$, adding a sufficiently large multiple of $m_{\tau }$ makes it nonnegative on every toric ray of $\sigma$ outside $\tau$, while preserving nonnegativity on $\tau$. Hence $X_{\check{\tau }}=U_{\tau }=D({\chi }^{m_{\tau }})$ is the usual affine open chart inside $U_{\sigma }$. An orbit $O(\gamma )$ belongs to it exactly when $\gamma ⪯\tau$. The requested complement of an affine toric face chart is thereforeAll sets on the right are closed, and if $\gamma$ is not contained in $\tau$, neither is any convex face containing $\gamma$. This justifies replacing the excluded orbits by their whole closures.