The study of algebraic curves and their symmetries is a central topic in mathematics. An algebraic curve is roughly a solution set of polynomial equations, and its automorphisms are the transformations that map the curve to itself while preserving its structure. Understanding how large these symmetry groups can be, relative to the complexity of the curve, is a classical problem going back to the 19th century. This paper focuses on the case where the number of symmetries is the square of a prime number, asking how large that prime can be given a curve of fixed genus (genus being a measure of the curve's topological complexity, like the number of holes).
The authors work over any algebraically closed field, which includes both the familiar complex numbers and fields with a positive characteristic (a setting where arithmetic "wraps around" after a prime number, the way clock arithmetic wraps around after 12). This distinction matters because the behavior of symmetry groups in positive characteristic can be more exotic than in the classical complex setting. The paper establishes explicit upper bounds on the prime involved, and these bounds differ depending on whether the characteristic of the field divides the group order or not, corresponding to the so-called tame and wild cases.
Beyond just finding these bounds, the authors identify exactly which curves achieve the maximum possible prime square symmetry, classifying them into explicit families. They also determine the full automorphism group for each of these extremal curves, not just the prime square part. This kind of complete classification is valuable because it tells mathematicians precisely where the boundary cases live, giving a clearer picture of the landscape of highly symmetric curves across all fields.