Tropical computations for toric intersection theory in Macaulay2
Alessio Borzì
Abstract
We present the Macaulay2 package TropicalToric.m2 for toric intersection theory computations using tropical geometry.
Alessio Borzì
We present the Macaulay2 package TropicalToric.m2 for toric intersection theory computations using tropical geometry.
This paper contains 8 sections, 4 theorems, 13 equations, 4 figures.
Theorem 3.1
Let $Y$ be a subvariety of the algebraic torus $T^n$ and let $\overline{Y}$ be its closure in a toric variety $X_\Sigma$ such that $|\Sigma| = \operatorname{trop}(Y)$ and $\Sigma$ is simplicial. Let $\Sigma'$ be a completion of the fan $\Sigma$ and let $i:X_{\Sigma} \rightarrow X_{\Sigma'}$ be the i where $m(\sigma)$ is the multiplicity of $\sigma$ in $\operatorname{trop}(Y)$.