Amibe (mathématiques)
# Amibe (mathématiques)

En mathématiques, et plus particulièrement en analyse complexe, une amibe est une figure géométrique associée à un polynôme à plusieurs variables complexes. Les amibes ont des applications en géométrie algébrique, en particulier en géométrie tropicale.

## Définition

Soit la fonction

    $\mathrm {Log} :\left({\mathbb {C} }\backslash \{0\}\right)^{n}\to \mathbb {R} ^{n}$

définie sur l'ensemble de tous les n-uplets $z=(z_{1},z_{2},\dots ,z_{n})$ de nombres complexes non nuls, et à valeurs dans l'espace euclidien $\mathbb {R} ^{n},$ par la formule

    $\mathrm {Log} (z_{1},z_{2},\dots ,z_{n})=(\ln |z_{1}|,\ln |z_{2}|,\dots ,\ln |z_{n}|).\,$

(où ln désigne le logarithme naturel). Si p(z) est un polynôme en $n$ variables complexes, son amibe ${\mathcal {A}}_{p}$ est définie comme l'image de l'ensemble des zéros de p par la fonction Log, c'est-à-dire que :

    ${\mathcal {A}}_{p}=\left\{\mathrm {Log} (z)\,:\,z\in \left({\mathbb {C} }\backslash \{0\}\right)^{n},p(z)=0\right\}.\,$

Les amibes furent définies en 1994 dans un livre de Israel Gelfand, A. V. Kapranov, et Andrei Zelevinsky.

## Propriétés

* Toute amibe est un ensemble fermé ;
* Toute composante connexe du complémentaire $\mathbb {R} ^{n}\backslash {\mathcal {A}}_{p}$ est convexe ;
* L'aire d'une amibe d'un polynôme à deux variables est finie ;
* Les amibes en dimension 2 ont des "tentacules" infiniment longs, se rapprochant exponentiellement vite de droites asymptotes.

## Fonction de Ronkin

La fonction de Ronkin, associée au polynôme $p(z=(z_1,...,z_n))$ (en n variables complexes), va de $\mathbb {R} ^{n}$ vers $\mathbb {R}$, et est définie par

    $N_{p}(x)={\frac {1}{(2\pi i)^{n}}}\int _{\mathrm {Log} ^{-1}(x)}\ln |p(z)|\,{\frac {dz_{1}}{z_{1}}}\wedge {\frac {dz_{2}}{z_{2}}}\wedge \cdots \wedge {\frac {dz_{n}}{z_{n}}},$

où $x$ est le vecteur $x=(x_{1},x_{2},\dots ,x_{n})$, ce qui est équivalent à

    $N_{p}(x)={\frac {1}{(2\pi )^{n}}}\int _{[0,2\pi ]^{n}}\ln |p(z)|\,d\theta _{1}\,d\theta _{2}\cdots d\theta _{n},$

où $z=\left(e^{x_{1}+i\theta _{1}},e^{x_{2}+i\theta _{2}},\dots ,e^{x_{n}+i\theta _{n}}\right)$.

La fonction de Ronkin est convexe, et affine sur chaque composante connexe du complémentaire de l'amibe de $p(z)$.

Par exemple, la fonction de Ronkin d'un monôme $p(z)=az_{1}^{k_{1}}z_{2}^{k_{2}}\dots z_{n}^{k_{n}}$, avec $a\neq 0$, est

    $N_{p}(x)=\log |a|+k_{1}x_{1}+k_{2}x_{2}+\cdots +k_{n}x_{n}.\,$

## Squelette d'une amibe

Si on remplace dans la définition de la fonction Log le logarithme népérien par le logarithme en base b, et qu'on fait tendre b vers l'infini, on démontre que l'amibe se contracte vers l'ensemble des zéros de la fonction associée à p en restant dans $R^n$ et en remplaçant le polynôme par son analogue tropical, pour lequel les sommes de monômes $ax^{m}y^{n}$ sont remplacées par le maximum d'expressions de la forme $b+mx+ny$ (ces expressions sont les fonctions de Ronkin des monômes du polynôme). Il en résulte que cet ensemble, appelé squelette de l'amibe, est formé de portions de droites.

