PomeDefinition 21.13.25.D7E78CFDB281 A function $\varphi \in \mathrm{PSH}_{\mathrm{tor}}(X,\theta )$ can be written as
\[ \varphi |_{T(\mathbb {C})}=\operatorname{Trop}^*f \]
for some unique function $f\colon N_{\mathbb {R}}\rightarrow [-\infty ,\infty )$. Then we define $F_{\varphi }\colon N_{\mathbb {R}}\rightarrow \mathbb {R}$ as follows:
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.