ScalingStacks

Proof. [04PC]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

We write b=mini⩽n⁡bib=\min_{i\leqslant n}b_{i}; we assume bb to be negative or zero by the condition b1+…+bn=2b_{1}+\ldots+b_{n}=2, as the case n=2n=2 and b1=b2=1b_{1}=b_{2}=1 is already treated in the proof of [NXY19, prop. 5.4].

The blow-up 𝒳1\mathscr{X}_{1} of the point p∞p_{\infty} in 𝒳\mathscr{X} yields a new irreducible component D∞,1D_{\infty,1} (we denote the strict transforms by the same letters for notational simplicity) with multiplicity N∞,1=n+1N_{\infty,1}=n+1, the point p∞,1=C∩D∞,1p_{\infty,1}=C\cap D_{\infty,1} and the intersection numbers bi,1≔−(C⋅Di)𝒳1=bi+1b_{i,1}\coloneqq-(C\cdot D_{i})_{\mathscr{X}_{1}}=b_{i}+1. If we repeat the process ss times, we obtain the models 𝒳s\mathscr{X}_{s}, the exceptional divisors D∞,sD_{\infty,s} with multiplicity N∞,s=n​s+1N_{\infty,s}=ns+1, the points p∞,s=C∩D∞,sp_{\infty,s}=C\cap D_{\infty,s} and the intersection numbers bi,s≔−(C⋅Di)𝒳s=bi+sb_{i,s}\coloneqq-(C\cdot D_{i})_{\mathscr{X}_{s}}=b_{i}+s.

For s=1−bs=1-b, we have mini⩽n⁡{bi,1−b}>0\min_{i\leqslant n}\{b_{i,1-b}\}>0, and by [NXY19] the integral affine structure induced by 𝒳1−b\mathscr{X}_{1-b} on Star⁡(τC)\Star(\tau_{C}) is given by v0,…,vnv_{0},\ldots,v_{n} and

(3.1.2) v∞,1−b=1n⁡(1−b)+1​(−1,b1+1−b,…,bn−1+1−b).v_{\infty,1-b}=\frac{1}{n(1-b)+1}(-1,b_{1}+1-b,\ldots,b_{n-1}+1-b).

The sequence of blow-ups 𝒳s+1→𝒳s\mathscr{X}_{s+1}\rightarrow\mathscr{X}_{s} induces (weighted) barycentric subdivisions of the faces τp∞,s\tau_{p_{\infty,s}} with vertices such that

(3.1.3) N∞,s+1​v∞,s+1=N∞,s​v∞,s+∑i=1nvi.N_{\infty,s+1}v_{\infty,s+1}=N_{\infty,s}v_{\infty,s}+\sum_{i=1}^{n}v_{i}.

Combining Eq. 3.1.2 and Eq. 3.1.3, at each step we obtain that

v∞,s=1n​s+1​(−1,b1+s,…,bn−1+s),v_{\infty,s}=\frac{1}{ns+1}(-1,b_{1}+s,\ldots,b_{n-1}+s),

and in particular v∞=(−1,b1,…,bn−1)v_{\infty}=(-1,b_{1},\ldots,b_{n-1}). The proposition follows from the following lemma. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.