Exceptional Siegel-Weil theorems for compact $\mathrm{Spin}_8$

TL;DR

This paper establishes a new Siegel-Weil theorem for a dual pair involving a compact form of the group of type D4 related to a totally real cubic extension, linking automorphic forms and Eisenstein series in an exceptional setting.

Contribution

It proves a novel Siegel-Weil theorem for a dual pair involving compact and split groups of type D4, expanding the understanding of automorphic forms in exceptional groups.

Findings

Computed the lift of the trivial representation to G_E as a degenerate Eisenstein series.

Proved smaller Siegel-Weil theorems for dual pairs within G_E.

Connected automorphic forms on S_E to algebraic structures via Fourier coefficients.

Abstract

Let $E$ be a cubic \'etale extension of the rational numbers which is totally real, i.e., $E \otimes \mathbf{R} \simeq \mathbf{R} \times \mathbf{R} \times \mathbf{R}$. There is an algebraic $\mathbf{Q}$-group $S_E$ defined in terms of $E$, which is semisimple simply-connected of type $D_4$ and for which $S_E(\mathbf{R})$ is compact. We let $G_E$ denote a certain semisimple simply-connected algebraic $\mathbf{Q}$-group of type $D_4$, defined in terms of $E$, which is split over $\mathbf{R}$. Then $G_E \times S_E$ maps to quaternionic $E_8$. This latter group has an automorphic minimal representation, which can be used to lift automorhpic forms on $S_E$ to automorphic forms on $G_E$. We prove a Siegel-Weil theorem for this dual pair: I.e., we compute the lift of the trivial representation of $S_E$ to $G_E$, identifying the automorphic form on $G_E$ with a certain degenerate Eisenstein series. Along the way, we prove a few more "smaller" Siegel-Weil theorems, for dual pairs $M \times S_E$ with $M \subseteq G_E$. The main result of this paper is used in the companion paper "Exceptional theta functions and arithmeticity of modular forms on $G_2$" to prove that the cuspidal quaternionic modular forms on $G_2$ have an algebraic structure, defined in terms of Fourier coefficients.