ScalingStacks

Exercise 6.1 . [02ZQ]

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

Exercise 6.1.

Suppose that there is a point xβˆˆπ’³0x\in\mathcal{X}_{0} which has a neighbourhood isomorphic to a neighbourhood of a dimension zero torus orbit of an affine Gorenstein toric variety YxY_{x}. Such an affine variety is specified as follows. Set M=β„€nM=\mathbb{Z}^{n}, Mℝ=MβŠ—β„€β„M_{\mathbb{R}}=M\otimes_{\mathbb{Z}}\mathbb{R}, N=Hom℀⁑(M,β„€)N=\operatorname{Hom}_{\mathbb{Z}}(M,\mathbb{Z}), Nℝ=NβŠ—β„€β„N_{\mathbb{R}}=N\otimes_{\mathbb{Z}}\mathbb{R} with n=dim𝒳tn=\dim\mathcal{X}_{t}. Then there is a lattice polytope ΟƒβŠ†Mℝ\sigma\subseteq M_{\mathbb{R}}, C(Οƒ):={(rm,r)|mβˆˆΟƒ,rβ‰₯0}βŠ†Mβ„βŠ•β„C(\sigma):=\{(rm,r)\,|\,m\in\sigma,r\geq 0\}\subseteq M_{\mathbb{R}}\oplus\mathbb{R}, P:=C​(Οƒ)∨∩(NβŠ•β„€)P:={C(\sigma)}^{\scriptscriptstyle\vee}\cap(N\oplus\mathbb{Z}) the monoid determined by the dual of the cone C⁑(Οƒ)C(\sigma), Yx=Spec⁑ℂ⁑[P]Y_{x}=\operatorname{Spec}\mathbb{C}[P], and finally ff coincides with the monomial z(0,1)z^{(0,1)}.

Now let us take a small neighbourhood of xx of the form

U~Ξ΄={y∈Spec⁑ℂ⁑[P]||zp|<δ for allΒ p∈P}.\widetilde{U}_{\delta}=\{y\in\operatorname{Spec}\mathbb{C}[P]\,|\,\hbox{$|z^{p}|<\delta$ for all $p\in P$}\}.

This is an open set as the condition |zp|<Ξ΄|z^{p}|<\delta can be tested on a finite generating set for PP, provided that Ξ΄<1\delta<1. Then show that for a given tt, |t|<1|t|<1 and Ο΅=βˆ’2Ο€/log|t|\epsilon=-2\pi/\log|t|, if

Οƒt:={m∈Mℝ|⟨p,(m,1)⟩>log⁑δlog⁑|t|Β for allΒ p∈P},\sigma_{t}:=\{m\in M_{\mathbb{R}}\,|\,\hbox{$\langle p,(m,1)\rangle>{\log\delta\over\log|t|}$ for all $p\in P$}\},

then

fβˆ’1​(t)∩U~Ξ΄β‰…Xϡ​(Οƒt).f^{-1}(t)\cap\widetilde{U}_{\delta}\cong X_{\epsilon}(\sigma_{t}).

Note that

Οƒ:={m∈Mℝ|⟨p,(m,1)⟩β‰₯0Β for allΒ p∈P},\sigma:=\{m\in M_{\mathbb{R}}\,|\,\hbox{$\langle p,(m,1)\rangle\geq 0$ for all $p\in P$}\},

so Οƒt\sigma_{t} is an open subset of Οƒ\sigma, and as tβ†’0t\rightarrow 0, Οƒt\sigma_{t} converges to the interior of Οƒ\sigma. ∎

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