Bound on multiplicities of symmetric pairs over p-adic fields
Pith reviewed 2026-05-18 21:19 UTC · model grok-4.3
The pith
The multiplicity of any irreducible admissible representation in the space of smooth functions on a p-adic symmetric space is bounded by a constant depending only on the rank of the group and the residue degree of the field.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let G be the F-points of a connected reductive group over a p-adic field F whose residue characteristic is large relative to the rank of G. Let ρ be any smooth admissible irreducible representation of G and let θ be any rational involution whose fixed-point subgroup is H. Then the multiplicity dim Hom_G(ρ, C^∞(G/H)) is bounded by a constant that depends only on the rank of G and the residue degree of F. The argument combines Mackey theory with cohomological methods. One direct consequence is that the same uniform bound holds for all but a bounded number of local completions of any fixed number field.
What carries the argument
Mackey theory for decomposing C^∞(G/H) into double cosets, paired with cohomological vanishing or finiteness results that bound the multiplicity contributions independently of the representation ρ.
If this is right
- The multiplicity remains bounded no matter which irreducible admissible representation ρ is chosen.
- The same uniform bound applies when the base field varies over all but finitely many local completions of a fixed number field.
- Applications that only need an upper bound on multiplicity can avoid computing the precise value for each individual representation and symmetric space.
Where Pith is reading between the lines
- The result supplies a uniform estimate that could be inserted into global questions about automorphic forms or trace formulas where local multiplicities appear.
- One could check the sharpness of the bound by direct computation for low-rank groups such as SL(2) or GL(2) over explicit p-adic fields satisfying the residue-characteristic hypothesis.
Load-bearing premise
The residue characteristic of the p-adic field must be large compared to the rank of the reductive group.
What would settle it
An explicit reductive group G over a p-adic field F with large residue characteristic, together with a rational involution θ and an irreducible admissible representation ρ, such that dim Hom_G(ρ, C^∞(G/H)) grows without bound while rank(G) and the residue degree of F remain fixed.
read the original abstract
We establish uniform bounds on the multiplicities of irreducible admissible representations appearing in spaces of functions on symmetric spaces over $p$-adic fields. These multiplicities can exceed one and depend intricately on the group, the space, and the representation, making exact computations often difficult to carry out. This motivates the search for bounds depending only on structural invariants of the group and the field. More precisely, let $\mathbf{G}$ be a connected reductive group over a $p$-adic field $F$ of large residue characteristic (relative to the rank of $\mathbf{G}$), let $\rho$ be a smooth admissible irreducible representation of $G = \mathbf{G}(F)$ and let $\theta$ be a rational involution with fixed-point subgroup $H=G^\theta$. We show that the multiplicity \[ \dim \operatorname{Hom}_G\big(\rho, C^\infty(G/H)\big) \] is uniformly bounded. The bound depends only on the rank of $\mathbf{G}$ and the residue degree of $F$. Our approach combines Mackey theory with cohomological methods. As an application, we deduce a uniform bound on such multiplicities where the base field $F$ varies over all but a bounded number of local completions of a fixed number field.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a uniform upper bound on the multiplicity dim Hom_G(ρ, C^∞(G/H)) for irreducible admissible representations ρ of G = G(F), where G is a connected reductive group over a p-adic field F of sufficiently large residue characteristic (relative to rank(G)), H is the fixed-point subgroup of a rational involution θ, and the bound depends only on rank(G) and the residue degree f of F. The proof combines Mackey theory for decomposing the relevant induced representations or function spaces with cohomological vanishing or finiteness arguments. An application deduces a uniform bound for local completions of a fixed number field, excluding finitely many places where the residue characteristic is not large enough.
Significance. If the central claim holds, the result is significant because it supplies a bound independent of the specific representation ρ and the choice of involution θ, depending only on structural invariants (rank and residue degree). This is useful in representation theory of p-adic groups and symmetric spaces, where exact multiplicity computations are often intractable and can vary with the data. The approach via standard tools (Mackey theory plus cohomology) and the global-to-local application by excluding finitely many places strengthen the utility for families of groups and fields.
major comments (2)
- [§2] §2 (or the main theorem statement): the hypothesis that the residue characteristic p is large relative to rank(G) is load-bearing for the cohomological vanishing step; the manuscript should make explicit the minimal size of p in terms of rank (e.g., p > 2 rank or similar) so that the uniform bound remains valid for all groups of fixed rank.
- [Proof of main bound] Proof of the main bound (likely §4): when applying Mackey theory to the double cosets in G/H, the argument that only finitely many orbits contribute to the Hom space under the large-p hypothesis needs a precise count or bound on the number of relevant double cosets; without an explicit estimate, it is unclear whether the resulting multiplicity bound truly depends only on rank and f rather than on additional data of the involution.
minor comments (3)
- [Introduction] The notation for the symmetric space G/H and the space C^∞(G/H) should be introduced with a brief reminder of the G-action in the introduction for readers outside the immediate subfield.
- [Application] In the application section, clarify whether the bound for the number field case is completely effective (i.e., whether the excluded places can be listed explicitly from the rank and the number field discriminant).
- [Introduction or §5] A short table or remark comparing the new uniform bound with known exact multiplicities in low-rank examples (e.g., SL(2) or GL(2) symmetric spaces) would help illustrate sharpness.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive comments. We appreciate the recommendation for minor revision and address each major comment below, indicating the revisions we will make.
read point-by-point responses
-
Referee: [§2] §2 (or the main theorem statement): the hypothesis that the residue characteristic p is large relative to rank(G) is load-bearing for the cohomological vanishing step; the manuscript should make explicit the minimal size of p in terms of rank (e.g., p > 2 rank or similar) so that the uniform bound remains valid for all groups of fixed rank.
Authors: We agree that an explicit lower bound on the residue characteristic would improve the statement. The cohomological vanishing result invoked in the proof (cited in §2) requires p to be larger than a constant depending only on rank(G). In the revised manuscript we will state the main theorem with an explicit threshold, for example p > 2·rank(G) or the precise constant furnished by the vanishing theorem, so that the uniform bound is clearly valid for all groups of a fixed rank once this inequality holds. revision: yes
-
Referee: [Proof of main bound] Proof of the main bound (likely §4): when applying Mackey theory to the double cosets in G/H, the argument that only finitely many orbits contribute to the Hom space under the large-p hypothesis needs a precise count or bound on the number of relevant double cosets; without an explicit estimate, it is unclear whether the resulting multiplicity bound truly depends only on rank and f rather than on additional data of the involution.
Authors: We will clarify this point. Under the large-p hypothesis the Mackey decomposition reduces the Hom space to a finite direct sum over double cosets for which the relevant cohomology does not vanish. The number of such contributing double cosets is bounded by a function of rank(G) alone, arising from the dimension of the symmetric variety and the structure of the Bruhat decomposition relative to the involution; this count is independent of the particular choice of θ. We will insert a short lemma or remark in §4 making this bound explicit, thereby confirming that the final multiplicity estimate depends only on rank(G) and the residue degree f. revision: yes
Circularity Check
No significant circularity
full rationale
The paper establishes a uniform bound on dim Hom_G(ρ, C^∞(G/H)) via a direct combination of Mackey theory and cohomological methods. The bound is stated to depend only on rank(G) and the residue degree of F, under the explicit hypothesis that the residue characteristic is large relative to rank(G). No equations reduce a claimed prediction or first-principles result to a fitted parameter or self-referential definition; no load-bearing self-citation chain is invoked to justify a uniqueness theorem or ansatz; and the central claim remains independent of the specific involution θ beyond the stated structural hypotheses. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption G is a connected reductive group over a p-adic field F
- domain assumption ρ is a smooth admissible irreducible representation of G
- domain assumption θ is a rational involution with fixed-point subgroup H = G^θ
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.