Abstract:Up to isomorphism, there is a unique connected semisimple algebraic group over $\mathbb{Q}$ of Lie type $\mathrm{F}_{4}$, with compact real points and split over $\mathbb{Q}_{p}$ for all primes $p$. Let $\mathbf{F}_{4}$ be such a group. In this paper, we study the level one automorphic representations of $\mathbf{F}_{4}$ in the spirit of the work of Chenevier, Renard, and Taïbi. First, we give an explicit formula for the number of these representations having any given archimedean component. For this, we study the automorphism group of the two definite exceptional Jordan algebras of rank $27$ over $\mathbb{Z}$ studied by Gross, as well as the dimension of the invariants of these groups in all irreducible representations of $\mathbf{F}_{4}(\mathbb{R})$. Then, assuming standard conjectures by Arthur and Langlands for $\mathbf{F}_{4}$, we refine this counting by studying the contribution of the representations whose global Arthur parameter has any possible image (or "Sato-Tate group"). This includes a detailed description of all those images, as well as precise statements for the Arthur's multiplicity formula in each case. As a consequence, we obtain a conjectural but explicit formula for the number of algebraic, cuspidal, level one automorphic representation of $\mathrm{GL}_{26}$ over $\mathbb{Q}$ with Sato-Tate group $\mathbf{F}_{4}(\mathbb{R})$ of any given weight (assumed "$\mathrm{F}_{4}$-regular"). The first example of such representations occurs in motivic weight $36$.

Automorphisms of Chevalley groups over commutative rings

Regular bi-interpretability and finite axiomatizability of Chevalley groups

Real Fundamental Chevalley Involutions and Conjugacy Classes

Sha-rigidity of Chevalley groups over local rings

Chevalley groups over $\Z$: A representation-theoretic approach

On the automorphisms of the Drinfeld modular groups

Chevalley groups over Laurent polynomial rings

Chevalley's Theorem for Affine Nash Groups

The Diophantine problem in Chevalley groups

Root graded groups revisited

On the Automorphism Groups of Cayley Graphs of Finite Simple Groups

Infinite dimensional Chevalley groups and Kac-Moody groups over ℤ

Arithmetic subgroups of Chevalley group schemes over function fields II: Conjugacy classes of maximal unipotent subgroups

Automorphism Groups of Commuting Polynomial Maps of the Affine Plane

The Chevalley group G_{2}(2) of order 12096 and the octonionic root system of E_{7}

Level one automorphic representations of an anisotropic exceptional group over $\mathbb{Q}$ of type $\mathrm{F}_{4}$

Centrality of K2 for Chevalley groups: a pro-group approach

On the computation of character values for finite Chevalley groups of exceptional type

Arithmetic subgroups of Chevalley group schemes over function fields I: quotients of the Bruhat-Tits building by $\{P\}$-arithmetic subgroups

A higher-dimensional Chevalley restriction theorem for classical groups in characteristic p