ScalingStacks

Proof. [02V5]

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.

The special fibre of 𝒳Π\mathcal{X}_{\Pi} is a chain of rational curves EiE_{i}, i=0,…,ki=0,\dots,k, corresponding to the points aβˆ’ia-i. The monomial Ο‡1\chi^{1} is a section of the trivial line bundle and corresponds to the function ψ⁑(u)=βˆ’u\psi(u)=-u. Using Proposition 4.84 we obtain that

div⁑(Ο‡1)=D0βˆ’D∞+βˆ‘i=0k(aβˆ’i)​Ei,\operatorname{div}(\chi^{1})=D_{0}-D_{\infty}+\sum_{i=0}^{k}(a-i)E_{i},

where D0D_{0} and D∞D_{\infty} are again the horizontal divisors determined by the points 00 and ∞\infty.

Since the vertices of the polyhedral complex Ξ \Pi are integral, by equation (4.87), we deduce that div⁑(Ο–)\operatorname{div}(\varpi) is reduced.

Then the result follows from [Lic68, Corollary 1.13] using an explicit description of the local rings at the points of the special fibre as in the proof of Lemma 5.57. ∎

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