← Back to arXiv
arXivNumber TheoryarXiv:2609.03050

An upper bound for an exceptional automorphism group

The paper is about a special kind of geometric object called a "function field" defined over a finite field. Finite fields are algebraic systems with a limited number of elements, and function fields built over them have deep connections to coding theory and cryptography. The specific function fields studied here are called "maximal," meaning they achieve the theoretical maximum number of points allowed by a classical bound in the field. These maximal function fields are particularly valuable because of their applications in constructing efficient error-correcting codes.

A central question when studying any geometric object is understanding its symmetries, which mathematicians call automorphisms. The collection of all symmetries of an object forms a group, and knowing the size and structure of that group tells you a great deal about the object itself. In earlier work, four researchers identified a specific collection of symmetries for this family of function fields and showed that those symmetries form a group of order 4 times (q+1), where q is the parameter defining the finite field. They conjectured this was the complete symmetry group, meaning no hidden extra symmetries existed.

The new paper proves that conjecture by showing no additional symmetries can exist beyond those already found. The strategy is to establish an upper bound on how large the symmetry group can possibly be, and then show that upper bound matches the lower bound already known. This kind of argument, where you squeeze a quantity from both sides until it is pinned to a single value, is a common and elegant technique in mathematics. The result settles the open question and gives a complete picture of the symmetry structure for this family of function fields under the stated conditions on the parameters.

Read original →