ScalingStacks

Proof. Given any point $x\in E_{J}$ we can find $k\gg 1$ and sections $s_{0},\dots,s_{N}\in H^{0}(\mathfrak{X},\mathfrak{L}^{k})$ so that in some adapted coordinate chart $V_{x}$ near $x$ we have that none of the sections $s_{0},s_{m+1},\dots,s_{N}$ vanishes, while $s_{j}=0$ is a defining equation for $E_{j}$, $1\leqslant j\leqslant m$, and so $s_{j}/s_{0}$ is comparable to $z_{j}$ for $1\leqslant j\leqslant m$.

We construct a Kähler metric $\omega_{x,t}^{\prime}$ on $X_{t}$ by pulling back a suitable toric metric on $\mathbb{P}^{N}$ , which on the complement of the zeros of all the $s_{i}$’s is given by

$$\omega^{\prime}_{x,t}=\frac{1}{k}i\partial\bar{\partial}u\left(\frac{\log|s_{1}/s_{0}|}{\log|t|},\dots,\frac{\log|s_{N}/s_{0}|}{\log|t|}\right),$$

where $u(x_{1},\dots,x_{N})$ is a smooth convex function in $\mathbb{R}^{N}$ which is asymptotic to $v(x_{1},\dots,x_{N})=\max(0,x_{1},\dots,x_{N})$ at infinity, and with $D^{2}u\geqslant C^{-1}\mathrm{Id}$ on a ball of radius comparable to 1 containing the image of $V_{x}\cap X_{t}$ in the logarithmic coordinates. For example, an explicit such $u$ can be produced as the convolution of $v$ with a smooth mollifier. By construction, $\omega^{\prime}_{x,t}$ lies in the class $\frac{1}{|\log|t||}c_{1}(\mathfrak{L})|_{X_{t}}$, and it satisfies (3.2) on $V_{x}\cap X_{t}$.

We then choose finitely many $x^{(1)},\dots,x^{(M)}\in E_{J}$ such that the corresponding $V_{x^{(1)}},\dots,V_{x^{(M)}}$ cover $E_{J}$, let $U$ be their union, and define

$$\omega^{\prime}_{t}=\frac{1}{M}\sum_{k=1}^{M}\omega^{\prime}_{x^{(k)},t}.$$

This is our desired Kähler metric on $X_{t}$ in $\frac{1}{|\log|t||}c_{1}(\mathfrak{L})|_{X_{t}}$ which satisfies (3.2) in adapted coordinate charts on $U\cap X_{t}$.

Next, we consider the function

$$\hat{\rho}=A\sum_{j=1}^{m}\left(\frac{\tilde{x}_{j}}{2}-b_{j}\right)^{2}-1=A\sum_{j=1}^{m}\left(\frac{\log r_{j}}{2\log|t|}-b_{j}\right)^{2}-1,$$

on $U\backslash\bigcup_{i\in I}E_{i}$. Choosing the constants $b_{j}$ in the strict interior of $\Delta_{J}$ we can ensure the minimum of $\hat{\rho}$ on $U\cap X_{t}$ equals $-1$, and choosing $A$ suitably large independent of $t$, we can ensure $\{\hat{\rho}\leqslant 0\}$ is compactly contained in $U$. Now we define

$$\rho_{t}=\begin{cases}\min(\hat{\rho},0)|_{X_{t}}\quad&\text{ on }U\cap X_{t}\\ 0\quad&\text{ on }X_{t}\backslash U\end{cases},$$

which satisfies the requirements in (a). We let $B_{t}=\{\rho_{t}<0\}\subset X_{t}$. Lastly, (3.3) follows immediately from part (a) and (3.2). ∎