ScalingStacks

Proof. [0164]

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.

This is well known (seeΒ e.g. Β [KS06, p.381]) but we supply a proof for the convenience of the reader. To simplify notation, we set r:=r𝒳​𝒳′r:=r_{{\mathcal{X}}{\mathcal{X}}^{\prime}}, A:=A𝒳​𝒳′A:=A_{{\mathcal{X}}{\mathcal{X}}^{\prime}}, Ξ”:=Δ⁑(𝒳)\Delta:=\Delta({\mathcal{X}}) and Ξ”β€²:=Δ⁑(𝒳′)\Delta^{\prime}:=\Delta({\mathcal{X}}^{\prime}).

Let WW be the center of the blowup ρ\rho, and ZZ the smallest stratum of 𝒳0{\mathcal{X}}_{0} containing WW. Let EiE_{i}, i∈Ii\in I be the irreducible components of 𝒳0{\mathcal{X}}_{0}, JβŠ‚IJ\subset I the subset such that ZZ is an component of EJE_{J}, and ΟƒZ\sigma_{Z} the simplex defined by ZZ. Let Eiβ€²E^{\prime}_{i}, i∈Ii\in I be the strict transform of EiE_{i} to 𝒳′{\mathcal{X}}^{\prime}. Finally, let Eβ€²E^{\prime} be the exceptional divisor of ρ\rho. It corresponds to a vertex vβ€²=vEβ€²β€²v^{\prime}=v^{\prime}_{E^{\prime}} of Ξ”β€²\Delta^{\prime}.

First assume W⊊ZW\subsetneq Z. In this case, Ξ”β€²\Delta^{\prime} is obtained from Ξ”\Delta by β€œraising a tent over the simplex ΟƒZ\sigma_{Z}”. Let us be more precise. Consider a simplex Οƒ\sigma of Ξ”\Delta, corresponding to a stratum YY of 𝒳0{\mathcal{X}}_{0}. By the definition of a simple blowup, WW meets every irreducible component of 𝒳0{\mathcal{X}}_{0} transversely (if at all). It follows that YY cannot be contained in WW, so ρ\rho is a biholomorphism above a general point of YY. Thus the strict transform Yβ€²Y^{\prime} of YY defines a stratum of 𝒳0β€²{\mathcal{X}}^{\prime}_{0} as well as a simplex Οƒβ€²\sigma^{\prime} of Ξ”β€²\Delta^{\prime}, whose vertices correspond to the strict transforms of the vertices of Οƒ\sigma. In this case, rr maps Οƒβ€²\sigma^{\prime} onto Οƒ\sigma, and ρ:Yβ€²β†’Y\rho\colon Y^{\prime}\to Y is a bimeromorphic morphism, so Οƒβ€²\sigma^{\prime} is active for rr.

This proves that r:Aβ†’Ξ”r\colon A\to\Delta is surjective. To prove injectivity, consider a stratum Yβ€²Y^{\prime} of 𝒳0β€²{\mathcal{X}}^{\prime}_{0}, with corresponding simplex Οƒβ€²\sigma^{\prime} of Ξ”β€²\Delta^{\prime}. If Yβ€²Y^{\prime} is not contained in Eβ€²E^{\prime}, then ρ\rho is a biholomorphism at the general point of Yβ€²Y^{\prime}, Y:=ρ⁑(Yβ€²)Y:=\rho(Y^{\prime}) is a stratum of 𝒳0{\mathcal{X}}_{0} of the same dimension as Yβ€²Y^{\prime}, and Yβ€²Y^{\prime} is the strict transform of YY. Thus we are in the situation above. On the other hand, if Yβ€²Y^{\prime} is contained in Eβ€²E^{\prime}, then there exist irreducible components EiE_{i}, i∈Ji\in J of 𝒳0{\mathcal{X}}_{0}, having strict transforms Eiβ€²E^{\prime}_{i}, i∈Ji\in J, such that Οƒβ€²\sigma^{\prime} has vβ€²v^{\prime} and viβ€²v^{\prime}_{i}, i∈Ji\in J as vertices. Since WW is not a stratum of 𝒳0{\mathcal{X}}_{0}, the smallest stratum YY containing ρ⁑(Yβ€²)\rho(Y^{\prime}) is cut out by EiE_{i}, i∈Ji\in J. It follows that rr maps the simplex Οƒβ€²\sigma^{\prime} onto the lower-dimensional simplex Οƒ\sigma, so Οƒβ€²\sigma^{\prime} is not active for rr. Hence r:Aβ†’Ξ”r\colon A\to\Delta is injective.

Now assume W=ZW=Z is stratum of 𝒳0{\mathcal{X}}_{0}, defining a simplex Οƒ\sigma with vertices viv_{i}, i∈Ji\in J. In this case, Ξ”β€²\Delta^{\prime} is obtained from Ξ”\Delta by a barycentric subdivision of the simplex ΟƒZ\sigma_{Z}. Again, let us be more precise. The same argument as above shows that if YY is a stratum of 𝒳0{\mathcal{X}}_{0} that is not contained in WW, and Yβ€²Y^{\prime} is the strict transform, then the simplex ΟƒYβ€²β€²\sigma^{\prime}_{Y^{\prime}} is active for rr and r⁑(ΟƒYβ€²β€²)=ΟƒYr(\sigma^{\prime}_{Y^{\prime}})=\sigma_{Y}. Further, ΟƒYβ€²β€²\sigma^{\prime}_{Y^{\prime}} is the unique simplex in 𝒳0β€²{\mathcal{X}}^{\prime}_{0} that is active for rr and whose image under rr meets the interior of ΟƒY\sigma_{Y}.

It remains to consider strata of 𝒳0{\mathcal{X}}_{0} contained in ZZ. This becomes a toroidal calculation. Let YY be such a stratum, cut out by EiE_{i}, i∈Ki\in K, where JβŠ‚KJ\subset K. Then Οβˆ’1​(Y)\rho^{-1}(Y) consists of |J||J| strata Yiβ€²Y^{\prime}_{i}, i∈Ji\in J, each cut out by Eβ€²E^{\prime} and Ejβ€²E^{\prime}_{j}, j∈Kβˆ–{i}j\in K\setminus\{i\}. The restriction ρ|Yiβ€²:Yiβ€²β†’Y\rho|_{Y^{\prime}_{i}}\colon Y^{\prime}_{i}\to Y is a bimeromorphic morphism, and the the corresponding simplex Οƒiβ€²\sigma^{\prime}_{i} is active for rr and maps homeomorphically onto a simplex contained in ΟƒY\sigma_{Y}. Further, these simplices r⁑(Οƒiβ€²)r(\sigma^{\prime}_{i}) have disjoint interiors and cover ΟƒY\sigma_{Y}. Finally, if Yβ€²Y^{\prime} is a stratum of 𝒳0β€²{\mathcal{X}}^{\prime}_{0} contained in E=Οβˆ’1​(Z)E=\rho^{-1}(Z), then Y=ρ⁑(Yβ€²)Y=\rho(Y^{\prime}) is a stratum contained in ZZ, hence Yβ€²=Yiβ€²Y^{\prime}=Y^{\prime}_{i} is one of the strata above. This completes the proof. ∎

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