# Properties from Tropical Geometry that do not imply their algebraic counterpart.

One of the motivations to study tropical geometry is that there are some hard Algebraic Questions that can be answered by proving them in the Tropical World. For example one can show that tropical Bezout's Theorem implies the Algebraic Bezout.

What properties are there known that are true (or might be) in tropical geometry that don't imply that their algebraic version is true?

• The topology of an algebraic variety is not determined by the topology of the tropicalization. For example, the tropicalization of an elliptic curve has first betti number zero. Aug 26 '11 at 13:14
• Maybe I am confused, but I think that the tropicalization of an elliptic curve has typically (generically?) first betti number one. Aug 30 '11 at 13:32
• Yes, the Betti number of the tropicalization will be zero or one depending on the sign of the valuation of the j-invariant. Sep 10 '11 at 14:21

Of course this property relies on the fact that "intersection" is not defined in the usual way. We define the "intersection" of two tropical curves $C_1$ and $C_2$ as follows: the union $C_1\cup C_2$ has a natural cellularization into vertices and edges, and "$C_1\cap C_2$" is the union of the vertices contained in the set-theoretic intersection $C_1\cap C_2$. One may also define a multiplicity on each intersection point. With this definition, the intersection of a tropical curve with itself is the union of its vertices.
• @BM: what do you mean by "convergence"? Isn't the phenomenon of two lines in the plane intersecting in one point analogous to what happens with the intersection product in the Chow ring of -say- $\mathbb{P}^2$ ? Aug 25 '11 at 16:42
• By "convergence" I mean that you can take an alternative definition of the "intersection" "$C_1 \cap C_2$" by taking the limit (as $t\to 0$) of the set-theoretic intersection $C_1 \cap C_2^t$, where $C_2^t$ is obtained by translating $C_2$ at distance $t$ on a generic direction $v$ (the result does not depend on $v$). The Chow ring seems different to me, since there in order to have a well-defined "intersection" you first need to quotient all curves that are rationally equivalent (in particular, there is only one line in the Chow ring of $P^2$) Aug 25 '11 at 17:07