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: