ScalingStacks

Remark 7.6 [037I]

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 7.6

It is not so easy to show that the tropical multiplicity is well-defined, i.e. independent of the choice of qq. Chambert-Loir and Ducros do not use tropical multiplicities, but the latter are equivalent to the canonical calibration introduced in [CD12], §3.5. To summarize this construction, let e1,…,ene_{1},\dots,e_{n} (resp. f1,…,fnf_{1},\dots,f_{n}) be a basis of M′M^{\prime} (resp. MσM_{\sigma}). Then the canonical calibration of σ\sigma is defined as

[φtrop−1(τ):Trop(q)(τ)]⋅(Trop(q)|(Nσ)ℝ)∗(e1∧⋯∧en)∈Λn((Nσ)ℝ)[\varphi_{\rm trop}^{-1}(\tau):{\rm Trop}(q)(\tau)]\cdot({\rm Trop}(q)|_{(N_{\sigma})_{\mathbb{R}}})^{*}(e_{1}\wedge\dots\wedge e_{n})\in\Lambda^{n}((N_{\sigma})_{\mathbb{R}})

together with the orientation induced by the pull-back of e1,…,ene_{1},\dots,e_{n} with respect to the linear isomorphism Trop⁡(q)|(Nσ)ℝ{\rm Trop}(q)|_{(N_{\sigma})_{\mathbb{R}}}. The canonical calibration is equal to the calibration mσ​f1∧⋯∧fnm_{\sigma}f_{1}\wedge\dots\wedge f_{n} together with the orientation induced by f1,…,fnf_{1},\dots,f_{n}. Since the canonical calibration does not depend on the choice of qq up to refinement ([CD12], §3.5), the same is true for the tropical multiplicities.

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