Indeed, the mapping ?" is called " canonical ", or more explicitly : the canonical mapping ( or balanced product ) of the tensor product.
2.
More detailed geometry of non-hyperelliptic curves is read from the theory of canonical curves, the canonical mapping being 2-to-1 on hyperelliptic curves but 1-to-1 otherwise for " g " > 2.