ScalingStacks

2.2.3 Tropicalisations [01N2]

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

2.2.3 Tropicalisations

On considère le groupe abélien 𝐑+×\mathbf{R}_{+}^{\times} comme un 𝐑\mathbf{R}-espace vectoriel, via l’exponentiation coordonnée par coordonnée  ; le choix d’une base de logarithmes permet d’ailleurs de l’identifier à l’espace 𝐑\mathbf{R}.

Soit TT un tore. Nous noterons TtropT_{\text{trop}} le 𝐑\mathbf{R}-espace vectoriel Hom⁡(𝖷⁡(T),𝐑+×)\operatorname{Hom}(\mathsf{X}(T),\mathbf{R}^{\times}_{+}), que l’on peut identifier à (𝐑+×)n(\mathbf{R}^{\times}_{+})^{n} une fois choisie une trivialisation de TT, ou à 𝐑n\mathbf{R}^{n} si l’on fixe en plus une base de logarithmes. L’espace vectoriel TtropT_{\text{trop}} est appelé tropicalisation du tore TT.

Étant donné un point tt de TT, l’application qui applique un caractère φ∈𝖷⁡(T)\varphi\in\mathsf{X}(T) sur l’élément |φ⁡(t)|\mathopen{|}{\varphi(t)}\mathclose{|} est un élément de TtropT_{\text{trop}} noté trop​(t){\text{trop}}(t). L’application trop:T→Ttrop{\text{trop}}\colon T\rightarrow T_{\text{trop}} ainsi définie est continue.

La formation de TtropT_{\text{trop}} est fonctorielle : tout morphisme affine f:T→T′f\colon T\to T^{\prime} entre tores induit une application affine ftrop:Ttrop→Ttrop′f_{\text{trop}}\colon T_{\text{trop}}\to T^{\prime}_{\text{trop}} telle que le diagramme

T\textstyle{T\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}f\scriptstyle{f}T′\textstyle{T^{\prime}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Ttrop\textstyle{T_{\text{trop}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ftrop\scriptstyle{f_{\text{trop}}}Ttrop′\textstyle{T^{\prime}_{\text{trop}}}

commute.

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