ScalingStacks

Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.

00RW

Remark 4.13. The tropical version Uw∞U^{\infty}_{w} of UwsU^{s}_{w} is in general larger than Uw∞∩∂Δλ∨U^{\infty}_{w}\cap\partial\Delta_{\lambda}^{\vee}; it typically contains also some subset stretching to infinity along the ww-direction. If we regard ϕ¯m,w\bar{\phi}_{m,w} as local functions on 𝒜λ∞\mathcal{A}_{\lambda}^{\infty} instead of ∂Δλ∨\partial\Delta_{\lambda}^{\vee}, then there is a delicate issue. The Lemma above does not imply that ϕ¯m,w+⟨m,x⟩\bar{\phi}_{m,w}+\langle m,x\rangle for various choices of m,wm,w glue approximately on overlapping regions far from ∂Δλ∨\partial\Delta_{\lambda}^{\vee}. The problem is that such overlapping regions have too small measure, which breaks down the proof.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.