ScalingStacks

Remark 4.13 . [00RW]

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

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-backed reader collection; mathematical self-containment is not assessed.