ScalingStacks

\propname 6.8.3 . [01WY]

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

\propname 6.8.3.

Soit XX un espace analytique compact, purement de dimension nn. Soit (a1,…,am)(a_{1},\dots,a_{m}) une famille finie de fonctions inversibles sur XX et soit f:X→𝐆mmf\colon X\rightarrow\mathbf{G}_{\mathrm{m}}^{m} le moment correspondant.

1) La fonction u=log⁡max⁡(|a1|−1,…,|am|−1)u=\log\max(\mathopen{|}{a_{1}}\mathclose{|}^{-1},\dots,\mathopen{|}{a_{m}}\mathclose{|}^{-1}) est globalement psh-approchable.

2) Soit xx un point intérieur de XX. Il existe alors un nombre réel positif ou nul λ\lambda tel que MA⁡(u)=λ​δx\operatorname{MA}(u)=\lambda\delta_{x} au voisinage de xx.

3) Supposons que l’on ait u⁡(x)=log⁡|ai|−1​(x)u(x)=\log\mathopen{|}{a_{i}}\mathclose{|}^{-1}(x) pour i∈{1,…,p}i\in\{1,\dots,p\} et u⁡(x)>log⁡max​|ai|−1​(x)u(x)>\log\max\mathopen{|}{a_{i}}\mathclose{|}^{-1}(x) sinon. Soit g:X→𝐆mpg\colon X\rightarrow\mathbf{G}_{\mathrm{m}}^{p} le moment donné par (a1,…,ap)(a_{1},\dots,a_{p}).

Le nombre réel λ\lambda ne dépend que du germe de polytope calibré de gtrop​(X)g_{\text{trop}}(X) en gtrop​(x)g_{\text{trop}}(x) muni de son immersion dans 𝐑p\mathbf{R}^{p}. En particulier, si la dimension tropicale de gg en xx est <n<n, on a λ=0\lambda=0.

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