 Maroni invariant

The difference between the two normalized splitting degrees of the canonical scroll of a trigonal curve measures its imbalance. Since a smooth trigonal curve cannot contain the negative section, its intersection with that section is nonnegative. This gives $3a\le g+2$, and parity gives $a\equiv g(\mathrm{mod}2)$.