🔢 mathematics

Siegel modular forms associated to Weil representations: $\operatorname{SL}_2(\mathbb{R}) \& \operatorname{GL}_2(\mathbb{R})$ cases

This paper investigates explicit modular forms of weights $1/2$ and $3/2$ arising from the classical Weil representation of $\operatorname{SL}_2(\mathbb{R})$ via various 2-cocycles, reorganizing them through tensor induction before extending the study to the similitude group $\operatorname{GL}_2(\mathbb{R})$ .

Original authors: Chun-Hui Wang

Published 2026-05-22

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Chun-Hui Wang

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a master architect trying to build a bridge between two very different worlds: the world of symmetry (how shapes and numbers can be rearranged without changing their essence) and the world of patterns (specifically, complex, repeating waves called "modular forms").

This paper, written by Chun-Hui Wang, is essentially a detailed blueprint for how to construct that bridge using a specific set of tools called Weil representations.

Here is a breakdown of the paper's journey, translated into everyday language:

1. The Building Blocks: The "Heisenberg" and the "Covering"

To understand the paper, you first need to know about the "Heisenberg group." Think of this as a special kind of dance floor where the dancers (numbers) have a very specific rule: if you swap two dancers, the music changes slightly (a phase shift). This is the foundation of quantum mechanics, but here it's used for pure math.

The author is interested in how the group SL2(R) (a group of 2x2 matrices with a determinant of 1, acting like a set of transformations on a plane) interacts with this dance floor.

The Problem: When you try to make the SL2 group dance with the Heisenberg group, the music doesn't quite line up perfectly. It's like trying to play a duet where one musician is slightly out of sync.
The Solution: The paper uses "covering groups." Imagine putting a "hat" on the SL2 group. This hat has multiple layers (specifically 2 layers or 8 layers). By wearing this hat, the group can finally dance in perfect sync with the Heisenberg group. This synchronized dance is called the Weil representation.

2. The Three Different "Costumes" (Models)

The paper explains that you can view this synchronized dance in three different ways, like looking at the same sculpture from three different angles. These are called models:

The Schrödinger Model: This is like looking at the dance as a wave function (a probability cloud). It's the standard way physicists look at quantum particles.
The Lattice Model: This is like looking at the dance as a grid of points (like a checkerboard). It focuses on discrete, whole-number steps.
The Fock Model: This is like looking at the dance as a collection of vibrating strings or harmonic oscillators. It's very useful for counting specific patterns.

The author's job in the first half of the paper is to show exactly how to translate a move from the "Wave" costume to the "Grid" costume, and then to the "String" costume. They provide the exact mathematical "dictionary" (called intertwining operators) to switch between these views without losing any information.

3. The Main Goal: Building "Siegel Modular Forms"

Once the author has mastered the dance (the Weil representation), they use it to build something called Siegel Modular Forms.

The Analogy: Imagine you are weaving a tapestry. A "modular form" is a specific type of pattern that repeats itself perfectly no matter how you stretch or rotate the fabric (as long as you follow the rules of the group).
The Twist: Usually, these patterns have whole-number weights (like 2, 4, or 6). But this paper is interested in half-integer weights (like 1/2 or 3/2). These are "exotic" patterns that are much harder to define.
The "Theta Series": The author identifies three specific types of these exotic patterns:
1. Classical Theta: The standard pattern.
2. Minus Theta: A pattern with alternating signs (like a checkerboard of black and white).
3. Fermionic Theta: A pattern that behaves like "fermions" (particles in physics that can't occupy the same space), involving half-steps.

The paper calculates the exact "multiplier systems" for these patterns. In plain English, this means they figured out the exact rulebook for how these patterns change when you apply a transformation. It's like writing down the exact instruction: "If you rotate the fabric by 90 degrees, the pattern must multiply by this specific number."

4. Expanding the Universe: From SL2 to GL2

The first half of the paper deals with SL2(R) (matrices with determinant 1). The second half expands the scope to GL2(R) (matrices with any non-zero determinant).

The Analogy: If SL2 is a rigid, perfect square grid, GL2 is a flexible grid that can stretch and shrink.
The author shows how to take all the rules they built for the rigid square and adapt them for the flexible grid. They introduce a new concept called the Weil-Deligne group to handle the stretching and shrinking parts of the dance.

5. The "Induction" Trick

A major part of the paper uses a technique called Induction.

The Analogy: Imagine you have a small, local dance troupe (a small subgroup). You want to know how they would perform on a massive global stage (the whole group).
Tensor Induction: The author uses a method called "tensor induction" to take a simple character (a basic rule) from the small troupe and "blow it up" into a complex, multi-dimensional representation for the whole group.
They prove that for certain conditions (specifically when a number $N$ is odd), this "blown-up" representation is irreducible. In our analogy, this means the new dance routine is a single, unified performance that cannot be broken down into smaller, independent dances. It's a solid, indivisible block of symmetry.

Summary

In short, Chun-Hui Wang's paper is a rigorous mathematical manual that:

Standardizes the rules for how different mathematical "costumes" (models) of the Weil representation relate to each other.
Constructs specific, exotic patterns (modular forms of weight 1/2 and 3/2) using these rules.
Generalizes these constructions from a rigid group (SL2) to a more flexible one (GL2).
Proves that these constructions result in solid, indivisible mathematical structures (irreducible representations) under specific conditions.

The paper doesn't claim to cure diseases or predict the stock market. Instead, it provides the fundamental "grammar" and "syntax" needed to write new, complex mathematical stories about symmetry and number theory. It ensures that when mathematicians talk about these specific half-integer weight patterns, they are all speaking the same precise language.

Technical Summary: Siegel Modular Forms Associated to Weil Representations: $SL_2(\mathbb{R})$ & $GL_2(\mathbb{R})$ Cases

Problem Statement
The paper addresses the explicit construction and reorganization of modular forms of half-integral weights ( $1/2$ and $3/2$ ) arising from the classical Weil representation. Specifically, it focuses on three types of theta series: classical, minus, and fermionic. While the transformation properties of these forms under the symplectic group $SL_2(\mathbb{R})$ and its congruence subgroups are well-established in the literature (notably by Shimura, Lion–Vergne, and Satake–Takase), the paper seeks to unify these results within a rigorous representation-theoretic framework. Furthermore, it aims to extend these constructions from $SL_2(\mathbb{R})$ to the similitude group $GL_2(\mathbb{R})$ , a step necessary for a broader automorphic perspective, particularly in the context of the Langlands program.

Methodology
The author employs a multi-faceted approach combining the theory of covering groups, explicit cocycle calculations, and representation induction:

Covering Groups and Cocycles: The study begins by rigorously defining the relevant central covering groups of $SL_2(\mathbb{R})$ and $GL_2(\mathbb{R})$ . The author analyzes three distinct 2-cocycles associated with the Weil representation:
- $c_{X^*}$ and $\tilde{c}_{X^*}$ (associated with Rao, Kudla, Perrin, and Lion–Vergne), which yield 2-fold and 8-fold covers, respectively.
- $\tilde{b}_{Cz}$ (associated with Satake–Takase), a real-analytic cocycle linked to the Fock model.
  The paper explicitly constructs the relationships between these cocycles and the corresponding central extension groups ( $\widetilde{SL}_2(\mathbb{R})$ , $\widetilde{GL}_2(\mathbb{R})$ , etc.), establishing isomorphisms between different realizations of these covers.
Weil Representations in Three Models: The Weil representation is realized in three distinct models:
- Schrödinger Model: Acting on $L^2(\mathbb{R})$ .
- Lattice Model: Acting on functions defined on a lattice quotient.
- Fock Model: Acting on spaces of entire functions (holomorphic).
  The paper constructs explicit intertwining operators between these models, particularly for the extended group $SL^\pm_2(\mathbb{R})$ (the group of matrices with determinant $\pm 1$ ).
Induction and Tensor Induction: To reorganize the modular forms, the author utilizes induced representations. The theta series are interpreted as matrix-valued functions transforming under specific induced representations of congruence subgroups. The paper employs both standard induction and tensor induction (following Curtis–Reiner and Serre) to generate representations of $SL_2(\mathbb{Z})$ and $GL_2(\mathbb{Z})$ from characters of smaller subgroups like $\Gamma_\theta$ .
Extension to $GL_2(\mathbb{R})$ : Following Barthel's work on $p$ -adic fields, the author extends the 2-cocycles and Weil representations from $SL_2(\mathbb{R})$ to $GL_2(\mathbb{R})$ . This involves defining automorphic factors $J_\delta(g, z)$ using the Weil–Deligne group to handle the similitude factor (determinant).

Key Contributions and Results

Explicit Multiplier Systems: The paper computes explicit multiplier systems for the classical, minus, and fermionic theta series of weights $1/2$ and $3/2$ . These are defined for various congruence subgroups, including $\Gamma_\theta \cap \Gamma_0(N^2)$ and their extensions to the similitude group. The multiplier systems are expressed in terms of Jacobi symbols, Dedekind sums, and specific roots of unity derived from the chosen cocycles.
Reorganization via Induction: The modular forms are reorganized into vector-valued forms $\Theta_{\chi}^{\kappa/2}$ taking values in matrix spaces ( $M_{1\times 3}(\mathbb{C})$ or $M_{1\times 2}(\mathbb{C})$ ). The transformation law is shown to be:
$\Theta_{\chi}^{\kappa/2}(gz) = J_{\kappa/2}(g, z) \Theta_{\chi}^{\kappa/2}(z) \gamma_\chi(g^{-1})$
where $\gamma_\chi$ is an induced representation. The paper proves that for odd $N$ (or $N \equiv 2 \pmod 4$ ), these induced representations are irreducible, while they are reducible for $N \equiv 0 \pmod 4$ .
Extension to $GL_2(\mathbb{R})$ : The main result extends the transformation laws to the similitude group $GL_2(\mathbb{R})$ . Theorem C establishes that the theta series $\theta^{\pm, \delta}_\chi$ and the associated matrix-valued forms $\Theta^{\pm, \delta}_\chi$ transform under $GL_2(\mathbb{R})$ with automorphic factors defined via the Weil–Deligne group, preserving the structure of the induced representations.
Intertwining Operators: The paper provides detailed constructions of intertwining operators between the Schrödinger, Lattice, and Fock models for the extended group $SL^\pm_2(\mathbb{R})$ , clarifying how the different models relate under the action of the full group including elements with negative determinant.

Significance and Claims
The paper claims to provide a unified and explicit framework for understanding half-integral weight modular forms through the lens of Weil representations and covering groups. By reorganizing these forms using (tensor) induction, the author connects classical theta series results (such as those by Shimura and Lion–Vergne) directly to the representation theory of discrete subgroups of $SL_2$ and $GL_2$ .

The extension to $GL_2(\mathbb{R})$ is presented as a necessary step for formulating these results in the language of automorphic representations, aligning with the spirit of the Langlands program. The author notes that the methodology used—specifically the comparison of different models and the use of explicit cocycles—can be applied to the study of Siegel modular forms for higher-rank metaplectic groups, referencing prior work by Takase and others in that direction. The paper does not claim to solve open problems regarding the Langlands correspondence itself but rather provides the explicit "building blocks" (the modular forms and their transformation laws) required for such investigations.