Section 3: Arrangements of Trees¶
In Theorem 3.4 we prove that the \(27\) lines on a tropically smooth octanomial surface have distinct tropicalization.
We use normalized Plücker coordinates where the first nonzero entry is \(1\). Nine of the lines are identified by their zero coordinates. The other lines come in six triplets. Each triplet is identified by its zero coordinates. In the proof we use the following data:
secondary conesof the 53 unimodular triangulations of the support of the surface;
minimal polynomialsof the nonzero Plücker coordinates of the six triplets of lines.