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$.

The most symmetric smooth cubic surface over a finite field of characteristic $2$

Groups acting on cubic surfaces in characteristic zero

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Automorphic Forms with Degenerate Fourier Coefficients

On the Cuspidal Cohomology of Arithmetic Groups

Smooth cuboids in group theory

Cubic surfaces with infinite, discrete automorphism group

Automorphism groups of cubic fivefolds and fourfolds

On symmetric plane quartic curves

Birational automorphism groups of Severi-Brauer surfaces over the field of rational numbers

Automorphisms of surfaces over fields of positive characteristic

Cubic surfaces with one rational line over finite fields

Quadratic Euler Characteristic of Symmetric Powers of Curves

On regular surfaces of general type with numerically trivial automorphism group of order $4$

Cubic fourfolds with symplectic automorphisms

Linear system of geometrically irreducible plane cubics over finite fields

Automorphisms of quasi-projective surfaces over fields of finite characteristic

On automorphism groups of smooth hypersurfaces

Automorphism groups of smooth plane curves

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