Abstract: In analogy with the classical group law on a plane cubic curve, we define a group law on a smooth plane tropical cubic curve. We show that the resulting group is isomorphic to $S^1$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to define and study the group structure on tropical elliptic curves, similar to the group structure of classical elliptic curves. Specifically:
1. **Define the Jacobian of tropical elliptic curves**:
- The author defines the Abelian group (Jacobian) related to tropical curves and points out that, different from the classical case, the Jacobian of a tropical elliptic curve is not the curve itself, but the complement \( C \) of the curve after removing the so - called "tentacles" part.
2. **Establish the relationship between the distance function and the group law**:
- A crucial distance function \( d_C(P, Q): C\times C\rightarrow\mathbb{R} \) is introduced, and the relationship between the group law and the distance function is established through the following theorem:
\[
d_C(O, P + Q)=d_C(O, P)+d_C(O, Q)
\]
where \( O \) is a fixed point on \( C \).
3. **Prove group isomorphism**:
- It is proved that as a group, \( C \) is isomorphic to the unit circle \( S^1 \).
### Main Results
- **Theorem 1.1**: Let \( C \) be a tropical elliptic curve, \( C \) be the complement after removing the tentacles, and \( O \) be a point on \( C \), then:
a) There exists a bijection between sets \( C\leftrightarrow\text{Jac}(C) \), given by \( P\leftrightarrow P - O \).
b) The induced group law on \( C \) satisfies the above distance function relationship.
c) As a group, \( C \) is isomorphic to \( S^1 \).
### Methods and Tools
- The paper uses basic concepts and tools in tropical geometry, such as tropical semirings, tropical polynomials, basic properties of tropical curves and their intersection theory, etc., to construct and verify these conclusions.
Through these works, the paper provides a clear group structure for tropical elliptic curves and shows how to use the distance function to describe this structure, thus laying a foundation for further research on elliptic curves in tropical geometry.