Step 1. Given a finite set $L$ and a field $\kappa$, we rely on basic toric geometry (cf. [KKMS, Ful93, Oda88]) to show that $Z:=\mathbf{A}^{L}_{\kappa}=\Spec\kappa[t_{i},\,i\in L]$ and its coordinate hyperplanes $(H_{i})_{i\in L}$ satisfy an analogue of (i)-(iv). Set $T:=(\mathbf{G}_{m,\kappa})^{L}$ to be the multiplicative split torus of dimension $L$ over $\kappa$. The fan $\Sigma$ of the toric $\kappa$-variety $Z$ consists of the cones $\hat{\sigma}_{J}=\sum_{j\in J}\mathbf{R}_{+}e_{j}$, $J\subset L$. For each $s\in\mathbf{R}_{+}^{L}$ let

$$\val_{Z,s}:\kappa[[t_{i},\,i\in L]]\to\mathbf{R}_{+}$$

be the monomial valuation with $\val_{Z,s}(t_{i})=s_{i}$ for $i\in L$, so that the center of $\val_{Z,s}$ on $Z$ is the generic point of $H_{J}:=\bigcap_{j\in J}H_{j}$ for all $s$ in the relative interior of $\hat{\sigma}_{J}$.

Let $\Sigma^{\prime}$ be a simplicial fan decomposition of $\Sigma$. The toric $\kappa$-variety $Z^{\prime}$ attached to $\Sigma^{\prime}$ comes with a $T$-equivariant proper birational morphism $\rho:Z^{\prime}\to Z$ satisfying the following properties:

• (a)

  $Z^{\prime}$ is normal (because it is toric), and all toric Weil divisors of $Z^{\prime}$ are $\mathbf{Q}$-Cartier (since $\Sigma^{\prime}$ is simplicial).

• (b)

  There is a bijection between the set of rays $(R_{i})_{i\in L^{\prime}}$ of $\Sigma^{\prime}$ and the toric prime divisors $(H^{\prime}_{i})_{i\in L^{\prime}}$ of $Z^{\prime}$, in such a way that for each $s\in R_{i}\setminus\{0\}$ the center of $\val_{Z,s}$ on $Z^{\prime}$ is the generic point of $H^{\prime}_{i}$.

• (c)

  For each $J^{\prime}\subset L^{\prime}$ the intersection $H^{\prime}_{J^{\prime}}:=\bigcap_{j\in J^{\prime}}H^{\prime}_{j}$ is normal, irreducible, and non-empty iff $\hat{\sigma}^{\prime}_{J^{\prime}}=\sum_{j\in J^{\prime}}R_{j}$ is a cone of $\Sigma^{\prime}$. In this case $H^{\prime}_{J^{\prime}}$ has codimension $|J^{\prime}|$, and its generic point is the center of $\val_{Z,s}$ on $Z^{\prime}$ for all $s$ in the relative interior of $\hat{\sigma}^{\prime}_{J^{\prime}}$.

• (d)

  For each toric divisor $G$ of $Z^{\prime}$, the map $s\mapsto\val_{Z,s}(G)$ is linear on each cone of $\Sigma^{\prime}$.

With the notation of (c), assume that $H^{\prime}_{J^{\prime}}$ is non-empty and let $\hat{\sigma}_{J}$ be the smallest cone of $\Sigma$ containing $\hat{\sigma}^{\prime}_{J^{\prime}}$. We then have $\rho(H^{\prime}_{J^{\prime}})=H_{J}$, and we claim that

(3.7)

$$\rho_{*}\mathcal{O}_{H^{\prime}_{J^{\prime}}}=\mathcal{O}_{H_{J}}.$$

Indeed, denote by $\zeta^{\prime}_{J^{\prime}}$ and $\zeta_{J}$ the generic points of $H^{\prime}_{J^{\prime}}$ and $H_{J}$ respectively. Since $H_{J}$ is normal, (3.7) amounts to the fact $\kappa(\zeta_{J})$ is algebraically closed in $\kappa(\zeta^{\prime}_{J^{\prime}})$ (cf. [EGA, III.4.3.12]). But $H^{\prime}_{J^{\prime}}$ is the closure of a $T$-orbit $(H^{\prime}_{J^{\prime}})^{0}$ in $Z^{\prime}$, mapping to the $T$-orbit $H_{J}^{0}:=(\bigcap_{j\in J}H_{j})\setminus(\bigcup_{j\notin J}H_{j})$ in $Z$. The stabilizer of $H_{J}^{0}$ in $T$ is $(\mathbf{G}_{m,\kappa})^{J}$, so the $T$-equivariant morphism $(H^{\prime}_{J^{\prime}})^{0}\to H_{J}^{0}$ has geometrically integral fibers. In particular $\zeta^{\prime}_{J^{\prime}}$ is the generic point of the fiber over $\zeta_{J}$, and it follows as desired that $\kappa(\zeta_{J})$ is algebraically closed in $\kappa(\zeta^{\prime}_{J^{\prime}})$ (cf. [EGA, IV.4.5.9]).

Step 2. Let $h\in\PA(\Delta_{\mathcal{X}})_{\mathbf{Z}}$ be a strictly convex support function for $\Delta^{\prime}$. We define $\mathcal{X}^{\prime}$ as the blow-up of $\mathcal{X}$ along the vertical fractional ideal sheaf $\mathfrak{a}_{h}$ given in Definition 3.10.

Let $\xi\in\mathcal{X}_{0}$ be a given point and use the notation of Remark 3.8. Since $\mathcal{X}$ and $Z:=\mathbf{A}^{L}_{\kappa(\xi)}$ are excellent we get a diagram

where $p$ and $q$ are regular, i.e. flat and with (geometrically) regular fibers (but a priori not of finite type, as opposed to a smooth morphism). By Remark 3.8 we have

(3.8)

$$p_{*}\val_{\widehat{\mathcal{X}}_{\xi},s}=\val_{\mathcal{X},s}\text{ and }q_{*}\val_{\widehat{\mathcal{X}}_{\xi},s}=\val_{Z,s}$$

for all $s\in\sigma_{I_{\xi}}$. The subdivision of $\sigma_{I_{\xi}}$ defined by $\Delta^{\prime}$ induces a simplicial fan decomposition $\Sigma^{\prime}$ of $\mathbf{R}_{+}^{L}$, to which the results of Step 1 apply. Since $h$ is a support function of $\Delta^{\prime}$, the toric $\kappa(\xi)$-variety $Z^{\prime}$ attached to $\Sigma^{\prime}$ coincides in fact with the blow-up of $Z$ along the toric fractional ideal sheaf

$$\mathfrak{b}_{h}:=\sum\{\mathcal{O}_{Z}(H_{m}),\,m\in\mathbf{Z}^{I_{\xi}},\,\langle m,\cdot\rangle\leq h\text{ on }\sigma_{\xi}\},$$

where we have set $H_{m}:=\sum_{i\in I_{\xi}}m_{i}H_{i}$. Comparing with (3.6), we see that

$$p^{-1}\mathfrak{a}_{h}\cdot\widehat{\mathcal{O}}_{\mathcal{X},\xi}=q^{-1}\mathfrak{b}_{h}\cdot\widehat{\mathcal{O}}_{\mathcal{X},\xi}.$$

Since blow-ups commute with flat base change (cf. [Liu, 8.1.12]), $\widehat{\mathcal{X}}^{\prime}_{\xi}:=\mathcal{X}^{\prime}\times_{\mathcal{X}}\spec\widehat{\mathcal{X}}_{\xi}$ sits in a commutative diagram

(3.9)

where the two squares are Cartesian. The morphisms $p^{\prime}$ and $q^{\prime}$ are also regular, since the latter property is preserved under finite type base change (cf. [EGA, IV.6.8.3]).

Let $(e^{\prime}_{i})_{i\in I^{\prime}_{\xi}}$ be the set of vertices of $\Delta^{\prime}$ contained in $\sigma_{I_{\xi}}$, so that each ray $\mathbf{R}_{+}e^{\prime}_{i}$ belongs to the fan $\Sigma^{\prime}$. If we let $H^{\prime}_{i}$ be the corresponding toric prime divisor of $Z^{\prime}$ and pick $J^{\prime}\subset I^{\prime}_{\xi}$ then $H^{\prime}_{J^{\prime}}=\bigcap_{j\in J^{\prime}}H_{j}$ is normal, irreducible, and non-empty iff the $e^{\prime}_{j}$, $j\in J^{\prime}$ span a face $\sigma^{\prime}_{J^{\prime}}$ of $\Delta^{\prime}$, by property (c). Since $q^{\prime}$ is regular, if follows that $q^{\prime-1}(H^{\prime}_{J^{\prime}})$ is normal and is either empty or of codimension $|J^{\prime}|$. It is furthermore irreducible, by (3.7) and Lemma 3.12 below. In particular, $(q^{\prime-1}(H^{\prime}_{i}))_{i\in I^{\prime}_{\xi}}$ is exactly the set of irreducible components of the special fiber of $\widehat{\mathcal{X}}^{\prime}_{\xi}$. We then easily obtain the analogue of (i)-(iv) of Theorem 3.11 with $\widehat{\mathcal{X}}^{\prime}_{\xi}$, $\sigma_{I_{\xi}}$ and $\val_{\widehat{\mathcal{X}}_{\xi}}$ in place of $\mathcal{X}^{\prime}$, $\Delta_{\mathcal{X}}$ and $\val_{\mathcal{X}}$.

On the other hand, for each irreducible component $E^{\prime}$ of $\mathcal{X}^{\prime}_{0}$ dominating $\xi$, we claim that the divisor $p^{\prime-1}(E^{\prime})$ is irreducible. Indeed, each irreducible component of the divisor $p^{\prime-1}(E^{\prime})$ is of the form $q^{\prime-1}(H^{\prime}_{i})$ for some $i\in I^{\prime}_{\xi}$. If we denote by $\xi^{\prime}$ and $\eta^{\prime}_{i}$ the generic points of $E^{\prime}$ and $p^{\prime-1}(H_{i}^{\prime})$ respectively then we have on the one hand $p^{\prime}(\eta^{\prime}_{i})=\xi^{\prime}$ since $p^{\prime}$ is flat. On the other hand, $\eta_{i}^{\prime}$ is the center of $\val_{\widehat{\mathcal{X}}_{\xi},e^{\prime}_{i}}$ on $\widehat{\mathcal{X}}^{\prime}_{\xi}$, hence $p^{\prime}(\eta_{i}^{\prime})=c_{\mathcal{X}^{\prime}}(\val_{\mathcal{X},e^{\prime}_{i}})$ thanks to (3.8). For dimension reason it follows that $\emb_{\mathcal{X}}(e^{\prime}_{i})=x_{E^{\prime}}\in X$, and the injectivity of $\emb_{\mathcal{X}}$ shows that $i$ is uniquely determined by $E^{\prime}$, which implies as desired that $p^{\prime-1}(E^{\prime})$ is irreducible.

We may thus write the irreducible components of $\mathcal{X}^{\prime}_{0}$ dominating $\xi$ as $(E^{\prime}_{i})_{i\in I^{\prime}_{\xi}}$, with the property that

$$p^{\prime-1}(E^{\prime}_{i})=q^{\prime-1}(H^{\prime}_{i}).$$

By flat descent it follows that $E^{\prime}_{i}$ is normal over $\xi$. It is also $\mathbf{Q}$-Cartier, since a Weil divisor is Cartier at a point iff its restriction to the formal neighborhood of that point is Cartier. It is now easy to conclude the proof of (i)-(iv), using the analogous properties for $\widehat{\mathcal{X}}^{\prime}_{\xi}$ together with (3.8). ∎