ScalingStacks

3.1. Neighborhoods of the discriminant [03F0]

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

3.1. Neighborhoods of the discriminant

For a given (λ,ν)(\lambda,\nu) we define subsets Uvβ⊂UvU_{v}^{\beta}\subset U_{v} and Vwβ∨⊂VwV_{w}^{\beta^{\vee}}\subset V_{w} whose union will give the complement of a neighborhood of DD depending on two real parameters β,β∨>0\beta,{\beta^{\vee}}>0. We assume β,β∨\beta,{\beta^{\vee}} to be small in the λ,ν\lambda,\nu scales, respectively. In what follows we identify Σ\Sigma with ∂Δλ∨\partial\Delta^{\vee}_{\lambda} and ∂Δν\partial{\Delta_{\nu}} via the maps ϕ\phi and ϕ^\hat{\phi} associated with the bi-PIKAS of type (λ,ν)(\lambda,\nu).

For v∈vert⁡(S)v\in\operatorname{vert}(S) we let UvβU_{v}^{\beta} be the set of points in the corresponding facet of Δλ∨\Delta^{\vee}_{\lambda} which lie in the closed polyhedron Q(v∣{0})λ​(β)Q^{\lambda}_{(v\mid\{0\})}(\beta) (cf. [HZ02, Section 3.2]), and similar for Vwβ∨V_{w}^{\beta^{\vee}}. Explicitly,

Uvβ:={n∈Uv:⟨m,n⟩+λ(m)≤−β, all m∈Δℤ\{v,0}},\displaystyle U_{v}^{\beta}:=\{n\in U_{v}\ :\ \langle m,n\rangle+\lambda(m)\leq-\beta,\text{ all }m\in\Delta_{\mathbb{Z}}\backslash\{v,0\}\},
Vwβ∨:={m∈Vw:⟨m,n⟩+ν(n)≤−β∨, all n∈Δℤ∨\{w,0}}.\displaystyle V_{w}^{\beta^{\vee}}:=\{m\in V_{w}\ :\ \langle m,n\rangle+\nu(n)\leq-{\beta^{\vee}},\text{ all }n\in\Delta^{\vee}_{\mathbb{Z}}\backslash\{w,0\}\}.

Because β,β∨\beta,\beta^{\vee} are small the sets UvβU_{v}^{\beta} and Vwβ∨V_{w}^{\beta^{\vee}} are non-empty. We define the smooth part of Σ\Sigma as

Σsm:=⋃v∈vert⁡(S)Uvβ∪⋃w∈vert⁡(T)Vwβ∨.\Sigma^{\mathrm{sm}}:=\bigcup_{v\in\operatorname{vert}(S)}U_{v}^{\beta}\cup\bigcup_{w\in\operatorname{vert}(T)}V_{w}^{\beta^{\vee}}.

Then the neighborhood of DD is defined as the complement to all these closed sets in Σ\Sigma:

Nλ,νβ,β∨​(D):=Σ\Σsm.N_{\lambda,\nu}^{\beta,\beta^{\vee}}(D):=\Sigma\backslash\Sigma^{\mathrm{sm}}.

An important observation is that Nλ,νβ,β∨​(D)→DN_{\lambda,\nu}^{\beta,\beta^{\vee}}(D)\to D as β,β∨→0\beta,\beta^{\vee}\to 0 in the scales of λ,ν\lambda,\nu, respectively.

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