An elliptic curve is a type of mathematical object that looks like a smooth loop or donut shape and has a natural way of adding points together. When you repeatedly add a point to itself, you might eventually cycle back to the starting point. The collection of points that cycle back this way is called the torsion subgroup, and classifying which torsion subgroups are possible is a fundamental question in number theory. The difficulty depends on the "degree" of the number field you work over, meaning how many dimensions beyond ordinary rational numbers you allow. This paper completes the classification for degree 6, called sextic fields.
Earlier work had identified 44 torsion groups that show up infinitely often over sextic fields. The new result pins down exactly which additional groups appear only finitely often: there are precisely four of them. Three were already known to occur, but the fourth, a group called Z/2Z times Z/24Z, is newly discovered here. Even more striking, two of the four groups each arise from exactly one elliptic curve defined over exactly one sextic field, making them genuinely rare objects. The paper also confirms that no other torsion groups can appear over sextic fields, fully closing the classification.
To prove this, the authors built on techniques developed for lower-degree fields (degree 4 and 5), which involve studying special geometric objects called modular curves that parametrize elliptic curves with given torsion structure. The key new technical tools include a criterion involving something called the Cartier operator (a tool from the geometry of curves in characteristic 2) to rule out certain torsion points at the prime 2, along with arguments using diamond operators and special divisor classes on quotients of modular curves. Together these tools let the authors systematically show that no other torsion groups beyond the ones already listed can occur over any sextic number field.