The Langlands program is one of the deepest frameworks in modern mathematics, connecting number theory, representation theory, and geometry. At its heart, it predicts precise relationships between two very different kinds of mathematical objects: representations of algebraic groups over local fields (like the p-adic numbers), and representations of a symmetry object called the L-group. For an exceptional algebraic group called G2, mathematicians Gan and Savin previously constructed candidate "L-packets," which are collections of representations that the Langlands program predicts should be grouped together. This paper verifies that these packets behave correctly with respect to a key set of constraints called endoscopic character identities.
Endoscopy is a technique for relating representations of different groups that share a common substructure. The character identities in question are equations that say how the characters (traces of representation matrices) of an L-packet for one group must combine to match characters of representations of a related, smaller group called an endoscopic group. Proving these identities is essential for confirming that a proposed local Langlands correspondence is genuinely correct and not just a plausible guess. The proof here also establishes similar identities for a more exotic construction involving a symmetry called triality, which rotates among three equivalent copies of a large eight-dimensional orthogonal group called PGSO8, and the exceptional group G2 maps into this picture in a subtle way.
As a bonus result, the authors derive a global consequence: a formula describing how often certain automorphic representations of G2 appear in its discrete spectrum, specifically those coming from a simpler group called PGL3. Automorphic representations are central objects in modern number theory, and multiplicity formulas tell you how many independent ways a given representation can appear in the space of all automorphic forms. This result connects the local, p-adic analysis to the global arithmetic setting, illustrating the far-reaching coherence of the Langlands framework.