Jacobian variety
Based on this endomorphism one can reduce the Jacobian variety to a subgroup "G" with the property, that every element is of trace zero: