Metaplectic Covers: Structure & Applications

• Metaplectic covers are central extensions of reductive groups by finite cyclic groups, defined via quadratic forms and measurable cocycles.
• They are constructed explicitly for groups like GLₙ and Sp₂ₙ, utilizing tools such as the Hilbert symbol, Kazhdan–Patterson, and Rao cocycles.
• These covers have profound implications in representation theory, automorphic forms, and arithmetic applications, linking lattice models and quantum symmetries.

A metaplectic cover is a central extension of a reductive algebraic group (or its group of local or global points) by a finite cyclic group of roots of unity, arising naturally from the arithmetic and combinatorics of quadratic forms, local symbols, and representation theory. Such covers play a central role in number theory, harmonic analysis on non-linear groups, the theory of automorphic forms, quantum groups, and the geometric and arithmetic aspects of the Langlands program.

1. Formal Construction of Metaplectic Covers

An $n$-fold metaplectic cover of a reductive group $G$ over a local field $F$ (often required to contain sufficiently many roots of unity, e.g., $\mu_{2n}$) is a topological central extension: $$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$ characterized up to isomorphism by a $W$-invariant quadratic form $Q$ on the cocharacter lattice $Y$ of a maximal torus $T\subset G$. The extension is realized by an explicit measurable $2$-cocycle $G$0, whose restriction to the torus is

$G$1

with $G$2, and $G$3 the $G$4-th Hilbert symbol on $G$5. This construction generalizes the classic Kubota–Rao cocycle for $G$6 and is formalized by Brylinski–Deligne and Matsumoto for arbitrary $G$7 (Zhao, 2022, Patnaik et al., 2017, Frechette, 2020).

The stack-theoretic cohomological perspective replaces central extensions with pointed $G$8-monoidal maps $G$9, for an étale sheaf $F$0 of order $F$1, yielding cocycles in $F$2, and connects structural invariants (quadratic forms on $F$3) with the $F$4-groupoid classification of covers (Zhao, 2022).

2. Canonical Examples and Explicit Cocycles

General Linear Group and Kazhdan–Patterson Construction

For $F$5 with $F$6 non-archimedean, metaplectic covers are most often classified via the Kazhdan–Patterson cocycle as in (Brubaker et al., 2017, Patnaik et al., 2017, Kaplan et al., 2022): $F$7 where the block-diagonal reduction involves the Schur multiplier of $F$8 and the “SL–cocycle” is derived from the quadratic form $F$9 on $\mu_{2n}$0.

Symplectic and Orthogonal Groups

The classical metaplectic double cover of $\mu_{2n}$1 is given by a unique nontrivial $\mu_{2n}$2-torsion class in $\mu_{2n}$3, constructed using the Rao cocycle involving the Maslov index and the Weil index of quadratic forms on Lagrangian subspaces (Wang, 2014, Patel, 2014). Larger degree covers (e.g., degree $\mu_{2n}$4) arise in the context of dual reductive pairs and theta correspondences.

Kac–Moody and General Reductive Groups

A broad uniform theory exists for $\mu_{2n}$5-fold covers of split simply connected groups, as well as Kac-Moody groups, via $\mu_{2n}$6-invariant quadratic forms $\mu_{2n}$7 and bilinear Steinberg symbols $\mu_{2n}$8 (Patnaik et al., 2017, Zhao, 2022). In the global and arithmetic case, covers are assembled as restricted products of local extensions, with compatibility across places encoded via reciprocity laws and class field theory (Chen, 2024, Brubaker et al., 2014).

3. Representation Theory and Whittaker Models

Representations of metaplectic covers have a fertile theory paralleling, but subtly distinct from, that for linear groups.

• Unramified Principal Series: Genuine unramified characters of the covering torus $\mu_{2n}$9 parameterize principal series $$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$0 with a unique K-fixed (spherical) vector $$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$1 (Brubaker et al., 2017, Kaplan et al., 2022, Patnaik et al., 2017).
• Whittaker Functions: The (spherical) Whittaker functional,

$$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$2

where $$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$3 is the maximal unipotent subgroup and $$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$4 a nondegenerate character, is fundamental for harmonic analysis and $$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$5-functions (Patnaik et al., 2015, Puskás, 2016).

Metaplectic Casselman–Shalika and Demazure–Lusztig Theory

Whittaker functions on covers admit metaplectic analogues of the Casselman–Shalika and Demazure–Lusztig operator formulas: $$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$6 where statistical weights, Gauss sums, and combinatorics of crystals, lattices, or MV polytopes encode the non-linear structure (Patnaik et al., 2017, Patnaik et al., 2015, Puskás, 2016, Brubaker et al., 2017, Sahi et al., 2018, Buciumas et al., 2022).

Lattice Models and Quantum Symmetries

A remarkable connection relates metaplectic Whittaker functions to the partition functions of exactly solvable lattice models (type-six vertex, "metaplectic ice"), with row-to-row transfer matrices commuting by the Yang–Baxter equation. This connection identifies representation-theoretic quantities as partition functions, and manifests quantum superalgebra symmetries, specifically Drinfeld twists of $$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$7, with $$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$8 a quadratic invariant of the cover (Brubaker et al., 2017, Frechette, 2020, Brubaker et al., 2017).

4. Splitting and Functoriality

Splitting over Subgroups

The problem of when the metaplectic cover splits over Levi subgroups, tori, similitude groups, or arithmetic subgroups is of central importance. If the splitting holds (e.g., over maximal compacts, certain finite-index subgroups, dual pairs except in the symplectic-orthogonal case with odd-dimensional orthogonal factor) projective representations may be lifted to honest representations (Wang, 2014, Patel, 2014). These results frame harmonic analysis, the structure of Hecke algebras, and the explicit study of restriction and branching laws essential for the theta correspondence and the study of L-packets on covering groups.

Canonical Dual Groups and L-groups

For a given cover, the metaplectic L-group and its Satake dual are determined via the quadratic form $$1 \longrightarrow \mu_n \longrightarrow \widetilde{G} \xrightarrow{p} G(F) \longrightarrow 1$$9, replacing the dual torus of $W$0 with a torus cut out by $W$1, and adjusting the coroot datum to the index $W$2 (Zhao, 2022, Buciumas et al., 2022). This allows development of representation-theoretic and functorial correspondences (e.g., automorphic L-functions, local and global Langlands conjectures) for covers.

5. Arithmetic Applications and Multiple Dirichlet Series

Metaplectic covers are essential for the construction of Weyl group multiple Dirichlet series, whose coefficients are given by (non-Eulerian) Whittaker or exponential sums encoding complicated arithmetic, with explicit formulas depending on Lusztig or Kashiwara parameterizations for canonical bases of dual groups (Brubaker et al., 2014, Chen, 2024). The first Whittaker coefficient of Eisenstein series on a metaplectic cover is shown to be precisely such a Dirichlet series, confirming conjectures in the field (Chen, 2024).

6. Quantum Groups, Hecke Algebras, and DAHA Connections

The representation theory at the Iwahori and spherical level is controlled by modules for (affine or double affine) Hecke algebras, with structure and Kazhdan–Lusztig theories deformed by $W$3-th order Gauss sum parameters and the cover data (Sahi et al., 2018, Buciumas et al., 2022). The "metaplectic Demazure operators" satisfy braid and quadratic relations, and their modules, after suitable specializations, degenerate to both $W$4-adic Whittaker modules and quantum group Grothendieck rings. The geometric Casselman–Shalika formula thus lifts naturally to the setting of quantum groups at roots of unity (Buciumas et al., 2022).

7. Extensions and Further Developments

Metaplectic covers extend to Kac–Moody groups, global fields, and arbitrary reductive group schemes. Étale and motivic cohomology perspectives provide universal parameterization frameworks, incorporating torsion phenomena, geometric Langlands program aspects, and quantum deformation theory (Zhao, 2022). The theory's scope encompasses $W$5-adic interpolation, eigenvarieties, and mod-$W$6 representations, connecting to eigenvarieties and non-abelian Iwasawa theory (Hill et al., 2011, Witthaus, 2022).

Summary Table: Key Metaplectic Cover Invariants and Constructions

Group $W$7	Cover Data	Invariant	Canonical Cocycle Example
$W$8	$W$9, $Q$0 on $Q$1	$Q$2	$Q$3 (Brubaker et al., 2017)
$Q$4	Double/degree-8 cover	$Q$5 (short coroot form)	Rao cocycle: Weil index, Maslov index (Wang, 2014)
General split $Q$6	$Q$7 on $Q$8, (Brylinski–Deligne)	$Q$9 class in $Y$0	$Y$1 (Zhao, 2022)
Kac–Moody, global $Y$2	$Y$3, global Hilbert symbols	$Y$4, product structure	Assembly from local cocycles (Patnaik et al., 2017Chen, 2024)

References: For foundational and advanced results referenced here, see (Brubaker et al., 2017, Patnaik et al., 2017, Zhao, 2022, Brubaker et al., 2014, Buciumas et al., 2022, Chen, 2024, Wang, 2014, Puskás, 2016, Frechette, 2020, Sahi et al., 2018).

---

Metaplectic covers thus provide a comprehensive and unifying framework linking number theory, harmonic analysis, quantum algebra, and the Langlands program, with structural, representation-theoretic, and arithmetic content governed by central extensions, quadratic forms, and spectral dualities.