ScalingStacks

Example 5.1 . [016L]

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

Example 5.1.

Assume that 𝒳{\mathcal{X}} is snc, and write as above 𝒳0=∑i∈Ibi​Ei{\mathcal{X}}_{0}=\sum_{i\in I}b_{i}E_{i}. Pick a closed point ξ∈𝒳0\xi\in{\mathcal{X}}_{0}, and denote by J={0,…,p}⊂IJ=\{0,\dots,p\}\subset I the set of components of 𝒳0{\mathcal{X}}_{0} passing through ξ\xi. We may choose a regular system of parameters z0,…,zn∈𝒪𝒳,ξz_{0},\dots,z_{n}\in{\mathcal{O}}_{{\mathcal{X}},\xi} such that ziz_{i} is a local equation of EiE_{i} for 0≤i≤p0\leq i\leq p, i.e. t=u​z0b0​…​zpbp{t}=uz_{0}^{b_{0}}\dots z_{p}^{b_{p}} for some unit u∈𝒪𝒳,ξ∗u\in{\mathcal{O}}^{*}_{{\mathcal{X}},\xi}. The logarithmic form

Ω:=d​z0z0∧⋯∧d​zpzp∧d​zp+1∧⋯∧d​zn\Omega:=\frac{dz_{0}}{z_{0}}\wedge\dots\wedge\frac{dz_{p}}{z_{p}}\wedge dz_{p+1}\wedge\dots\wedge dz_{n}

is then a local generator of K𝒳logK^{\mathrm{log}}_{{\mathcal{X}}}, and induces a local generator

Ωrel:=Ω⊗(d​tt)−1\Omega^{\mathrm{rel}}:=\Omega\otimes(\frac{d{t}}{{t}})^{-1}

of K𝒳/SlogK^{\mathrm{log}}_{{\mathcal{X}}/S}.

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