Modulation Groups Paper Analysis Report

Basic Information

• Paper ID: 2510.23932
• Title: Modulation Groups
• Authors: Jayce R. Getz, Armando Gutiérrez Terradillos, Farid Hosseinijafari, Bryan Hu, Seewoo Lee, Aaron Slipper, Marie-Hélène Tomé, Haoyun Yao, Alan Zhao
• Classification: math.NT (Number Theory), math.AG (Algebraic Geometry), math.RT (Representation Theory)
• Publication Date: October 2025 (arXiv v2: October 29, 2025)
• Paper Link: https://arxiv.org/abs/2510.23932v2

Abstract

This paper introduces and systematically studies the concept of "modulation groups," which provide a group-theoretic characterization of automorphism groups of Schwartz spaces on certain spherical varieties. The authors prove that, under appropriate assumptions, these Schwartz spaces naturally constitute representations of modulation groups, providing a broad generalization of the defining representation of the metaplectic group. The paper discusses in detail two core examples: vector spaces and the zero locus of even-dimensional quadratic cones, where in both cases the modulation groups are closely related to algebraic groups. The authors propose a conjectural approach connecting modulation groups to infinite-dimensional algebraic groups (ind-algebraic groups) and discuss adelization as well as the relationship between modulation group representations and the Poisson summation conjecture.

Research Background and Motivation

Core Problems

This paper aims to address the following fundamental questions:

1. Unified Framework Problem: How can one systematically understand and generalize the group-theoretic enhancements of the Fourier transform known in special cases? For instance, how does the metaplectic group enhance the Fourier transform on vector spaces?
2. Structural Problem of Poisson Summation Formula: How can one add group-theoretic structure to the Poisson summation formulas in the conjectures of Braverman-Kazhdan, Ngô, and Sakellaridis?
3. Boundary Terms Problem: How can one understand the mysterious "boundary terms" in Poisson summation formulas?

Research Significance

This research has profound implications for number theory and representation theory:

1. Langlands Program: The Braverman-Kazhdan conjecture indicates that Poisson summation formulas for reductive monoids imply functional equations of Langlands L-functions. Combined with converse theorems, this would derive much of Langlands functoriality.
2. Generalization of Minimal Representations: Representations of modulation groups provide interesting generalizations of minimal representations, which can be viewed as group-theoretic enhancements of the Fourier transform.
3. Global Analogue: Adelic modulation groups provide a group-theoretic enhancement of Poisson summation formulas, generalizing how adelic metaplectic representations enhance Poisson summation for vector spaces.

Limitations of Existing Approaches

• In special cases (such as vector spaces and quadratic spaces), Fourier transforms and related group actions have been studied, but a unified theoretical framework is lacking
• The boundary structure of Schwartz spaces (namely $\mathcal{S}(X(F))/\mathcal{S}(X^\circ(F))$) and its role in Poisson summation remain systematically unexplored
• Complete Poisson summation formulas (with geometric descriptions of boundary terms) exist for few cases beyond vector and matrix spaces

Core Contributions

1. Introduction of Modulation Groups Concept:
   • Defines the spectral small modulation group $\Psi_\omega^s\{F\}$ (as the automorphism group of $L^2(X^{\text{sm}}(F), \mathcal{L}^{1/2})$)
   • Proves under appropriate assumptions that it is the $F$-points of an algebraic group: the algebraic small modulation group $\Psi_\omega^s$
   • Defines the modulation group $\Psi_\omega\{F\}$ containing the Fourier transform
2. Computation of Key Examples:
   • Vector Space Case (Theorem 1.2): $\Psi_{\text{id}}\{F\}$ is the image of a subgroup of the Jacobi group under the Heisenberg-Weil representation
   • Quadratic Cone Case (Theorem 1.3): $\Psi_\omega\{F\}$ is the image of $\text{GO}_{2n+2}(F)$ under the minimal representation
3. Establishment of Structural Correspondences:
   • In the vector space and quadratic cone cases, demonstrates the parallelism between invariant filtrations of the small modulation group action on $\mathcal{S}(X(F))$ and invariant filtrations of its action on the cotangent bundle $T^*X^{\text{sm}}$
   • Proposes Ansatz 8.14: modulation group actions admit a semiclassical limit corresponding to infinite-dimensional algebraic group actions on cotangent bundles
4. Global Theory:
   • Proves that the existence of a complete Poisson summation formula is equivalent to the existence of an adelic representation space for the modulation group (Theorem 11.1)
   • Provides a global analogue of modulation groups in the Langlands program

Methodology Details

Task Definition

Let $F$ be a local field of characteristic zero. Given the following data:

• An affine algebraic group $H/F$
• An $H$-affine scheme $X/F$ satisfying $X^{\text{sm}}(F) \neq \emptyset$
• A right representation $V \cong \mathbb{G}_a^n$
• An $H$-equivariant morphism $\omega: X \to V$

Objective: Construct and study the automorphism group of $L^2(X^{\text{sm}}(F), \mathcal{L}^{1/2})$ that preserves the Schwartz space.

Core Construction

1. Definition of Small Modulation Groups

For $(λ, h) \in V^\vee(F) \rtimes H(F)$, define the action: $R_\omega((λ, h), f)(x) = \psi(λ \circ \omega(x)) f(xh)$

where $\psi: F \to \mathbb{C}^\times$ is a nontrivial additive character.

Definition 3.1 (Spectral Small Modulation Group): $\Psi_\omega^s\{F\} := \text{Image}(R_\omega: V^\vee(F) \rtimes H(F) \to \text{Aut}(L^2(X^{\text{sm}}(F), \mathcal{L}^{1/2})))$

Under assumptions (M1)-(M4) (including that $\omega(X^{\text{sm}}(F))$ spans $V(F)$ and appropriate commonality conditions exist), one proves:

Proposition 3.8 (Algebraization): There exists an algebraic group $\Psi_\omega^s = V^\vee \rtimes (H/H_X)$ such that $\Psi_\omega^s(F) \cong \Psi_\omega^s\{F\}$

2. Definition of Modulation Groups

Assume there exists an isometry $\mathcal{F}_X: L^2(X^{\text{sm}}(F)) \to L^2(X^{\text{sm}}(F))$ satisfying commutation relations with the $H$ action, and a character $χ: \Psi_\omega^s(F) \to \mathbb{C}^\times$.

Definition 3.12: $\Psi_\omega\{F\} := \langle \mathcal{F}_X, (R_\omega \otimes χ)(\Psi_\omega^s(F)) \rangle \subset \text{Aut}(L^2(X^{\text{sm}}(F), \mathcal{L}^{1/2}))$

Note: $\Psi_\omega\{F\}$ is generally not the $F$-points of an algebraic group, which is why special notation is adopted.

Technical Innovations

1. Unified Theoretical Framework

This paper provides for the first time a unified treatment of group-theoretic enhancements of Fourier transforms in different geometric contexts:

• Generalizes metaplectic group theory from vector spaces to general spherical varieties
• Unifies two major classes of examples: reductive monoids and horospherical varieties

2. Action on Cotangent Bundles

Lemma 3.11: The small modulation group $V^\vee \rtimes H$ naturally acts on the cotangent bundle $T^*X^{\text{sm}}$: $(x, \varphi) \cdot (λ, h) = (xh, h^*\varphi + \omega_{xh}^*(λ \circ h^{-1}))$

This provides a geometric foundation for establishing a "quantum-classical" correspondence.

3. Semiclassical Limit Theory

In the Archimedean case, constructs the action of modulation groups on the algebra of differential operators $\mathcal{D}_X$ (§8.2):

Proposition 8.8: For $v^\vee \in V^\vee(\mathbb{R})$, the map defined by conjugation $v^\vee: \mathcal{D}_{X^{\text{sm}}} \to \mathcal{D}_{X^{\text{sm}}} \otimes_\mathbb{R} \mathbb{C}$ preserves filtrations.

Ansatz 8.14 (Semiclassical Limit Conjecture): There exist a Lie subalgebra $\mathfrak{x} \subset \mathcal{D}_{X_\mathbb{C}}$ and an infinite-dimensional algebraic group $\Psi_\omega^{\text{ia}}$ such that:

• The action of $\Psi_\omega\{\mathbb{R}\}$ on $\mathfrak{x}$ is conjugate to the action of $\Psi_\omega^{\text{ia}}(\mathbb{R})$ on its symbol image $\mathfrak{x}'$
• $\Psi_\omega^{\text{ia}}$ acts on the affine closure of the cotangent bundle $T^*X^{\text{sm}\text{aff}}$

Experimental Setup (Concrete Calculations)

Core Example 1: Vector Spaces

Setup:

• $X = V \cong \mathbb{G}_a^n$, $H = \text{GL}_V$
• $\omega = \text{id}: V \to V$
• $W = V \oplus V^\vee$ equipped with a symplectic form

Theorem 6.1: $\Psi_{\text{id}}\{F\} = \omega_\psi^J(H_W(F) \rtimes \langle w, \text{GL}_V(F) \rangle)$ where $\omega_\psi^J$ is the Heisenberg-Weil representation and $w$ is the Fourier transform element in the symplectic group.

Technical Details:

1. Construct the embedding $\Psi_{\text{id}}^s(F) \hookrightarrow H_W(F) \rtimes \text{GL}_V(F)$
2. Use the explicit description via the Weil representation in formula (6.1.11):
   • $\omega_{\psi,W}(m(g), 1)f(x) = f(xg)$
   • $\omega_{\psi,W}(n(b), 1)f(x) = \psi(\frac{1}{2}\langle bx, x \rangle)f(x)$
   • $\omega_{\psi,W}(w, 1)f(x) = \mathcal{F}_{V,\psi}(f)(x)$

Proposition 6.5: The Schwartz space is precisely the space of smooth vectors under the modulation group action.

Core Example 2: Quadratic Cones

Setup:

• $V_n = \mathbb{G}_a^{2n}$ equipped with a quadratic form $Q_n$
• $C_n = \{v \in V_n: Q_n(v) = 0\}$
• $H = \mathbb{G}_m \times \text{GO}_{V_n}$ (scaling action)
• $\omega: C_n \hookrightarrow V_n$ is the inclusion

Theorem 7.5: $\Psi_\omega\{F\} = \tilde{\tau}(\text{GO}_{V_{n+1}}(F))$ where $\tilde{\tau}$ is the minimal representation of $\text{GO}_{V_{n+1}}(F)$.

Proof Strategy:

1. Use Bruhat decomposition to prove that $\text{GO}_{V_{n+1}}(F)$ is generated by the parabolic subgroup $\tilde{Q}_n(F)$ and the element $w_0$
2. Establish an isomorphism between $\Psi_\omega^s(F)$ and $\tilde{Q}_n(F)$ via formula (7.2.3)
3. The Fourier transform $\mathcal{F}_C$ corresponds to $\tau(w_0)$ (given by the Radon transform formula of Kudla-Milis)

Proposition 7.2 (Geometric Correspondence): The affine closure $T^*C_n^{\circ\text{aff}}$ as an $\text{O}_{V_n}$-scheme is isomorphic to the closure of the minimal nilpotent orbit $\mathcal{O}_{n+1}$ in $\mathfrak{o}_{V_{n+1}}$.

Verification of Semiclassical Limit

Proposition 8.16 (Vector Space Case): Ansatz 8.14 holds with

• $\mathfrak{x} = \text{Lie}(H_W) = \langle x_1, \ldots, x_n, \frac{\partial}{\partial x_1}, \ldots, \frac{\partial}{\partial x_n} \rangle$
• $\Psi_\omega^{\text{ia}} = H_W/Z_{H_W} \rtimes \widetilde{\text{GL}}_V$

Proposition 8.22 (Quadratic Cone Case): Ansatz 8.14 holds with

• $\mathfrak{x} = \mathfrak{x}_0 \oplus \mathfrak{x}_1 \oplus \mathfrak{x}_2$ generated by specific differential operators (see (8.4.11))
• $\Psi_\omega^{\text{ia}} = \text{O}_{p+1,q+1}$

The symbol map sends $\mathfrak{x}$ to coordinate functions on the cotangent bundle, and these functions generate all regular functions on $T^*C_n^{\circ\text{aff}}$.

Experimental Results (Theoretical Verification)

Summary of Main Results

Correspondence of Boundary Structures

Theorem 9.5 (Cotangent Bundle Decomposition for Quadratic Cones): For $n > 1$, there exists a $\Psi_\omega^s$-equivariant decomposition $T^*C_n^{\circ\text{aff}} = T^*C_n^\circ \sqcup C_n^\circ \sqcup \left(\bigcup_{k=1}^{n-1} T^*C_k \times \mathbb{G}_a^{2(n-k)} \cup \bigcup_{k=1}^{n-1} C_2^\circ \times \mathbb{G}_a^{2(n-k)}\right) \sqcup \{0\}$

Theorem 9.6 (Boundary of Schwartz Space): In the non-Archimedean case, for $n \geq 3$, there exists an exact sequence of $\Psi_\omega^s(F)$-modules $0 \to \mathcal{S}(C_n^\circ(F)) \to \mathcal{S}(C_n(F)) \to \mathcal{S}(C_{n-1}(F)) \oplus \mathbb{C} \to 0$

This demonstrates a qualitative correspondence between Schwartz space boundaries and cotangent bundle orbits (Conjecture 9.2).

Poisson Summation Formula

Theorem 10.3 (Complete Poisson Summation for Quadratic Cones): For $f \in \mathcal{S}(V_n(\mathbb{A}_F) \oplus \mathbb{A}_F^2)$, the sum $\sum_{\xi \in C_n^\circ(F)} I(f)(\xi) + c_n(f) + \sum_{i=1}^{n-1} \left(c_i(d_{n,i}(f)) + \sum_{\xi \in C_i^\circ(F)} I(d_{n,i}(f))(\xi)\right) + \kappa d_{n,0}(f)(0_{V_0}, 0, 0)$ is invariant under $f \mapsto (1_{\mathcal{S}(V_i(\mathbb{A}_F))} \otimes \mathcal{F}^\wedge)(f)$.

This is the only complete Poisson summation formula with complete geometric description of boundary terms besides the vector space case.

Proposition 11.1 (Equivalence of Modulation Groups and Poisson Summation): Assume there exists a $\Psi_\omega^s(F)$-invariant linear functional $\text{BT}: \mathcal{S}(X(\mathbb{A}_F)) \to \mathbb{C}$. Then the function $\Theta_f(h) := \sum_{\gamma \in X^\circ(F)} R_\omega(h)f(\gamma) + \text{BT}(R_\omega(h)f)$ is left $\Psi_\omega\{F\}$-invariant if and only if the complete Poisson summation formula holds.

Related Work

Historical Background

1. Metaplectic Group Theory:
   • Weil (1964): Introduced the metaplectic group as a cover of the symplectic group, realizing the Stone-von Neumann theorem for the Heisenberg group
   • This paper generalizes this theory to general spherical varieties
2. Braverman-Kazhdan Program BK00, BK02:
   • Proposed Schwartz space theory for reductive monoids and horospherical varieties
   • Conjectured the connection between Poisson summation formulas and functional equations of Langlands L-functions
   • This paper provides a group-theoretic framework for this program
3. Ngô's Work Ngô14, Ngô20:
   • Constructed L-monoids and Hankel transforms
   • Proposed summation formulas for automorphic L-functions
   • This paper's modulation groups provide a representation-theoretic interpretation
4. Sakellaridis' Work Sak12, Sak13:
   • Studied spherical functions and integral representations on spherical varieties
   • This paper complements his theory with the group-theoretic aspects

Technical Tools

1. Minimal Representations:
   • Kudla-Milis KM11: Schrödinger model for indefinite orthogonal groups
   • Gurevich-Kazhdan GK23: Fourier transform on cones
   • This paper proves that modulation groups realize minimal representations
2. Differential Operators and Deformation Quantization:
   • Levasseur-Smith-Stafford LSS88: Minimal nilpotent orbits and differential operators
   • This paper uses differential operator algebras to develop semiclassical limit theory
3. Horospherical Variety Theory:
   • Hsu Hsu21: Asymptotics of Schwartz functions
   • This paper's boundary term theory is closely related to his work

Unique Contributions of This Paper

Compared to existing work, this paper:

1. First Systematization: Provides a unified framework for different geometric backgrounds
2. Establishes New Connections: Links Schwartz space boundaries, cotangent bundle orbits, and Poisson summation boundary terms
3. Proposes New Conjectures: Connection between modulation groups and infinite-dimensional algebraic groups (Ansatz 8.14)
4. Global Theory: Constructs adelic modulation group representations

Conclusions and Discussion

Main Conclusions

1. Modulation Groups are Natural Objects: Under appropriate assumptions, Schwartz spaces naturally constitute representations of modulation groups, providing a group-theoretic enhancement of the Fourier transform.
2. Connection with Algebraic Groups: Although modulation groups are generally not $F$-points of algebraic groups, in all computed examples they are closely related to algebraic or infinite-dimensional algebraic groups.
3. Geometric-Analytic Correspondence: The action of small modulation groups on cotangent bundles is deeply connected to their action on Schwartz spaces (via semiclassical limits).
4. Group-Theoretic Interpretation of Poisson Summation: Complete Poisson summation formulas are equivalent to the existence of adelic modulation group representation spaces.

Limitations

1. Restrictions of Assumptions:
   • Assumptions (M1)-(M6) may not hold in general cases
   • The scope of validity of Ansatz 3.14 (existence of Fourier transform and Schwartz space) is unclear
2. Unresolved Problems:
   • Precise relationship between modulation group $\Psi_\omega\{F\}$ and infinite-dimensional algebraic group $\Psi_\omega^{\text{ia}}$ (Ansatz 8.14 verified only in special cases)
   • Precise mathematical formulation of the correspondence between boundary terms and cotangent bundle orbits (Conjecture 9.2)
   • Complete Poisson summation formula in general cases
3. Technical Limitations:
   • Semiclassical limit theory developed only in the Archimedean case
   • Complex field case lacks references (§7.2)

Future Directions

Research directions proposed by the paper:

1. Theory Extension:
   • Prove the validity of Ansatz 3.14 for reductive monoids (Conjecture 8.15) and horospherical varieties
   • Develop semiclassical limit theory in the non-Archimedean case
2. Connection with Kac-Moody Groups:
   • For reductive monoids, use Kac-Moody group theory to find infinite-dimensional groups (Remark 8.14(4))
3. Lagrangian Subvarieties:
   • Explore the suggestion of Ben-Zvi-Sakellaridis-Venkatesh regarding Fourier transforms and Lagrangian subvarieties of cotangent bundles (Remark 1.5)
4. Smooth Representation Theory:
   • Define the concept of smooth representations of modulation groups (Question 3.15)
   • Study whether Schwartz spaces are smooth vector spaces
5. Geometric Understanding of Boundary Terms:
   • Systematically understand boundary phenomena using Hsu's asymptotic theory Hsu21 (Remark 1.4)
6. Generalization of Kontsevich-Belov-Kanel Conjecture:
   • Study whether the relationship between the ind-group of Weyl algebra automorphisms and the group of Poisson automorphisms generalizes to general differential operator algebras (Remark 8.18)

In-Depth Evaluation

Strengths

1. Theoretical Innovation

• Conceptual Breakthrough: First systematic introduction of the "modulation groups" concept, providing a unified group-theoretic framework for Fourier transforms
• Deep Connections: Establishes bridges between seemingly unrelated fields (Schwartz spaces, cotangent bundle geometry, Poisson summation)
• Generalization of Classical Theory: Extends metaplectic group theory from vector spaces to general spherical varieties, an important advance in representation theory

2. Mathematical Rigor

• All main theorems have complete proofs (e.g., Theorems 6.1, 7.5, 9.5, 10.3)
• Clear distinction between proven theorems, verified Ansätze, and unresolved conjectures
• Technical assumptions (M1)-(M6) explicitly listed with clear scope of applicability

3. Sufficiency of Computations

• Two core examples (vector spaces and quadratic cones) computed with extreme detail
• Multiple variants included (identity map, Sym² map, standard representation, Rankin-Selberg monoid)
• Explicit verification of semiclassical limit theory (Propositions 8.16, 8.22)

4. Clear Structure

• Well-organized paper: from local to global theory, from special to general cases
• Use of "Ansatz" notation to mark conjectural statements, avoiding confusion
• Numerous Remarks providing intuitive explanations and connections to other work

5. Far-Reaching Impact

• Provides new perspective on the Braverman-Kazhdan program
• Potentially important applications to the Langlands program (via connection between Poisson summation and L-functions)
• Opens new directions for studying harmonic analysis on spherical varieties

Weaknesses

1. Theoretical Completeness

• Core Conjecture Unproven: Ansatz 8.14 (semiclassical limit) verified only in two examples; general case unresolved
• Boundary Correspondence Imprecise: Conjecture 9.2 on correspondence between orbits and quotients lacks precise mathematical formulation
• Smoothness Issues: Unclear whether modulation groups are always Lie groups or locally compact totally disconnected groups (Question 3.15)

2. Scope of Applicability

• Assumption (M5) (normality and codimension ≥ 2) excludes certain important examples
• Semiclassical limit theory limited to Archimedean case
• Complete Poisson summation formula fully understood only for quadratic cones

3. Technical Details

• Some proofs rely on unpublished work (e.g., Tom25, subsequent work of Hsu)
• Minimal representation theory for complex field lacks references (note at beginning of §7.2)
• Construction of infinite-dimensional algebraic groups largely conjectural (Remark 8.14(3)(4))

4. Readability

• Paper spans 46 pages with high technical density
• Requires background knowledge in algebraic geometry, representation theory, and number theory
• Certain notation (such as $\{F\}$ vs $(F)$) while justified may cause confusion

Impact Assessment

Contribution to the Field

1. Number Theory: Provides new tools for understanding Langlands L-functions
2. Representation Theory: Extends minimal representation theory to broader geometric contexts
3. Algebraic Geometry: Reveals deep connections between cotangent bundle geometry and harmonic analysis
4. Mathematical Physics: New applications of deformation quantization and semiclassical limits

Practical Value

• Provides systematic method for computing Schwartz space structures
• Offers framework for constructing new automorphic representations
• Potentially applicable to special value studies of L-functions

Reproducibility

• Main computations (§6, §7) detailed and verifiable
• Most dependent external results have explicit citations
• Certain technical details (such as differential operator actions) have explicit formulas

Applicable Scenarios

This paper's methods are particularly suitable for:

1. Reductive Monoids: When $X = M_\rho$ is the monoid corresponding to an L-representation (§4)
2. Horospherical Varieties: When $X = P^{\text{der}}/G$ with $G$ a classical group or $G_2$ (§5)
3. Affine Varieties with Open Orbits: When $H$ has a dense open orbit on $X$ and characteristic functions exist

Less Suitable For:

• Varieties without dense open orbits
• Cases where boundary has codimension 1
• Positive characteristic $p$ (entire paper assumes characteristic zero)

Selected References

Core References

1. BK00 A. Braverman and D. Kazhdan. γ-functions of representations and lifting. GAFA 2000.
   • Proposes Poisson summation conjecture for reductive monoids
2. Ngô20 B. C. Ngô. Hankel transform, Langlands functoriality and functional equation of automorphic L-functions. Jpn. J. Math., 2020.
   • Constructs L-monoid theory
3. KM11 T. Kobayashi and G. Mano. The Schrödinger model for the minimal representation of the indefinite orthogonal group. Mem. AMS, 2011.
   • Schrödinger model for minimal representations
4. GK23 N. Gurevich and D. Kazhdan. Fourier transform on a cone and the minimal representation of even orthogonal group. arXiv:2304.13993, 2023.
   • Fourier transform theory on cones
5. Hsu21 C-H. Hsu. Asymptotics of Schwartz functions. arXiv:2112.02403, 2021.
   • Asymptotic theory of Schwartz functions on horospherical varieties

Related Work

6. Sak13 Y. Sakellaridis. Spherical functions on spherical varieties. Amer. J. Math., 2013.
7. GHL25 J. R. Getz et al. Harmonic analysis on certain spherical varieties. J. Eur. Math. Soc., 2025.
8. Get25 J. R. Getz. Summation formulae for quadrics. Selecta Math., 2025.

Summary

This is an ambitious and technically profound paper that provides a novel group-theoretic framework for understanding harmonic analysis on spherical varieties. While certain core conjectures remain incompletely resolved, the verified examples demonstrate the theory's powerful potential. The paper has significant implications for both the Langlands program and representation theory, warranting careful study by researchers in the field. The main challenges lie in generalizing the theory to more general cases and establishing precise connections between modulation groups and infinite-dimensional algebraic groups.