Abstract:Let $E$ be a cubic étale 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.

Ibukiyama correspondences on automorphic forms on $\operatorname{Mp}_4(\mathbb{A}_\mathbb{Q})$ and $\operatorname{SO}_5(\mathbb{A}_\mathbb{Q})$ generating large discrete series representations at the real place

Automorphic Forms with Degenerate Fourier Coefficients

On The Distinction Of Iwahori-Spherical Discrete Series Representations

$H^0$ of Igusa varieties via automorphic forms

Mizuno's rank three Nahm sums II: identities of index $(1,2,2)$ and modular forms

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

On Extension of Ginzburg-Jiang-Soudry Correspondence to Certain Automorphic Forms on $Sp_{4mn}(\BA)$ and $\wt{Sp}_{4mn \pm 2n}(\BA)$

Dimension formulas for Siegel modular forms of level $4$

Eichler-Shimura theory for general congruence subgroups

Iwasawa theory of twists of elliptic modular forms over imaginary quadratic fields at inert primes

An Iwahori theoretic mod $p$ Local Langlands Correspondence

Formal degrees of genuine Iwahori-spherical representations

Minimal models, modular linear differential equations and modular forms of fractional weights

Double Eisenstein series and modular forms of level $4$

Nearly holomorphic automorphic forms on Sp(2n) with sufficiently regular infinitesimal characters and applications

Motivic action for Siegel modular forms

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

On the Zeta functions of supersingular isogeny graphs and modular curves

A New $\pm$ Iwasawa Theory and Converse of Gross-Zagier and Kolyvagin Theorem (with an Appendix by Yangyu Fan)

On $μ$-invariants and isogenies for abelian varieties over function fields

The Ramanujan and Sato-Tate Conjectures for Bianchi modular forms