arxiv: 2604.22262 · v1 · submitted 2026-04-24 · 🧮 math.RT

Recognition: unknown

Stability of Branching Multiplicities for Orthogonal Gelfand Pairs

Toshiyuki Kobayashi

Pith reviewed 2026-05-08 09:27 UTC · model grok-4.3

classification 🧮 math.RT

keywords branching multiplicitiesorthogonal Gelfand pairsreduced coherent familiesfencesinfinitesimal charactersWeyl branching lawGross-Prasad conjecture

0 comments

The pith

Branching multiplicities for orthogonal Gelfand pairs remain constant within convex regions of parameter space defined by linear inequality fences on reduced coherent families.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a structural framework in which branching multiplicities for orthogonal reductive pairs with Lie algebras o(n+1,C) and o(n,C) are controlled by universal systems of linear inequalities on the parameters of reduced coherent families. It defines fences as piecewise-linear hypersurfaces that separate the parameter space into convex regions and proves the multiplicity function stays locally constant inside each region. This applies equally to finite-dimensional representations and admissible smooth Fréchet representations, recovering the Weyl branching law while explaining phenomena such as the Gross-Prasad conjecture and fusion rules for Verma modules. A sympathetic reader would care because the framework replaces case-by-case calculations with a uniform description of how multiplicities behave under variation of infinitesimal characters.

Core claim

For the orthogonal reductive pairs (G,G') with complexified Lie algebras (o(n+1,C), o(n,C)), branching multiplicities are governed by universal systems of linear inequalities on the parameter space of reduced coherent families introduced in this paper. The loci where multiplicities may change are the fences, piecewise-linear hypersurfaces that divide the parameter space into convex regions, and the multiplicity function is locally constant on each such region. The framework applies uniformly to finite-dimensional representations and to admissible smooth Fréchet representations of real reductive groups.

What carries the argument

Reduced coherent families equipped with fences, where fences are piecewise-linear hypersurfaces that partition the parameter space into convex regions on which branching multiplicity is constant.

Load-bearing premise

The reduced coherent families and their associated fences actually partition the parameter space into convex regions on which the multiplicity remains constant for all admissible representations.

What would settle it

An explicit admissible representation (finite-dimensional or Fréchet) in which the branching multiplicity changes inside a single convex region without crossing any fence would disprove the claim.

read the original abstract

We propose a structural framework for branching multiplicities in representation theory, emphasizing their behavior under variation of infinitesimal characters. For the orthogonal reductive pairs $(G,G')$ with complexified Lie algebras $(\mathfrak{o}(n+1,\mathbb{C}), \mathfrak{o}(n,\mathbb{C}))$, we show that branching multiplicities are governed by universal systems of linear inequalities on the parameter space of reduced coherent families introduced in this paper. To describe the loci where multiplicities may change, we introduce \emph{fences}: piecewise-linear hypersurfaces that divide the parameter space into convex regions. We prove that the multiplicity function is locally constant on each such region bounded by these fences. The framework applies uniformly to finite-dimensional representations and to admissible smooth Fr\'echet representations of real reductive groups. It accounts for classical results such as the Weyl branching law and provides a unified explanation for a range of phenomena, including the Gross--Prasad conjecture, sporadic symmetry breaking operators, and fusion rules for Verma modules. These results establish a general paradigm for branching multiplicities in orthogonal Gelfand pairs.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper introduces reduced coherent families and fences to give a linear-inequality description of stable regions for branching multiplicities in orthogonal Gelfand pairs, unifying some classical and recent results under one framework.

read the letter

The core takeaway is that branching multiplicities for these orthogonal pairs stay constant inside convex regions of parameter space bounded by piecewise-linear fences, once you reduce to the right coherent families. The paper claims this holds uniformly for finite-dimensional representations and admissible smooth Fréchet representations of the real groups. It recovers the Weyl branching law and offers a single explanation for Gross-Prasad phenomena and Verma-module fusion rules. The new objects and the stability statement via linear inequalities do not look like direct restatements of earlier work. That is the actual novelty. The framework is presented cleanly enough that a reader can see how the fences are supposed to mark the only places where multiplicities can jump. The uniform treatment across finite and infinite-dimensional settings is a plus, since many branching results treat the two cases separately. The abstract and the body both emphasize that the multiplicity function is locally constant on each open region, which is the kind of structural statement that can organize computations later. The soft spot is exactly where the stress test points: whether the reduction to coherent families and the resulting fence system really exhausts all parameter variations and captures every possible discontinuity, especially for the Fréchet representations. If some infinitesimal-character directions slip through the reduction or if an edge case produces an undetected jump, the local-constancy claim would not hold in full generality. The paper asserts the proofs exist, but the load-bearing step is the completeness of the partition, and that needs explicit verification rather than assumption. This is written for people already working on branching laws for real reductive groups and Gelfand pairs. A specialist who wants a new organizing principle for multiplicity data would get value from the linear-inequality picture and the fence construction, even if they later modify the details. It is not a finished classification but a proposed paradigm, so it belongs in the literature for others to test and extend. I would send it to a serious referee rather than desk-reject it; the claims are substantial enough to deserve proper evaluation even if revisions are needed on the completeness argument.

Referee Report

2 major / 3 minor

Summary. The paper proposes a structural framework for branching multiplicities of orthogonal reductive pairs (G, G') with complexified Lie algebras (o(n+1, C), o(n, C)). It introduces reduced coherent families on a parameter space and defines fences as piecewise-linear hypersurfaces given by universal systems of linear inequalities; the central claim is that these fences partition the space into convex regions on which the branching multiplicity function is locally constant. The framework is asserted to apply uniformly to finite-dimensional representations and admissible smooth Fréchet representations of the real groups, while recovering the Weyl branching law and providing explanations for the Gross-Prasad conjecture, sporadic symmetry-breaking operators, and fusion rules for Verma modules.

Significance. If the constructions and local-constancy theorem are rigorously established, the work would supply a geometric, inequality-based description of multiplicity stability under infinitesimal-character variation. This could serve as a unifying paradigm for branching phenomena in orthogonal Gelfand pairs and offer a template for similar questions in other real reductive settings. The explicit treatment of both finite-dimensional and infinite-dimensional admissible representations is a positive feature.

major comments (2)

[Local-constancy theorem (likely §3 or §4)] The load-bearing step is the assertion that the reduced coherent families together with the fence inequalities form a complete partition of the parameter space such that multiplicity is constant on each open convex component. The manuscript must supply an explicit argument that no additional loci of discontinuity exist, especially for admissible Fréchet representations; without this, the claim that the linear-inequality system is universal does not follow.
[Definition and properties of reduced coherent families (likely §2)] The reduction procedure that produces the coherent families must be shown to preserve all infinitesimal-character parameters that can affect branching multiplicities. If the reduction omits directions in the parameter space that are relevant for infinite-dimensional representations, the resulting inequality system will be incomplete and the stability statement will fail to hold in full generality.

minor comments (3)

[Abstract and §1] The abstract states that proofs exist for the linear-inequality description and local constancy; the introduction should include a precise statement of the main theorem (including the precise class of representations and the precise parameter space) with a forward reference to its proof.
[Introduction] Notation for the parameter space of reduced coherent families and for the fences should be introduced once and used consistently; currently the abstract and introduction employ slightly varying descriptive phrases.
[§1 or §5] A brief comparison table or diagram illustrating how the new fences recover the classical Weyl branching law in a low-dimensional example would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The two major comments identify places where the arguments for completeness of the partition and the reduction procedure can be made more explicit. We will revise the manuscript to supply the requested details while preserving the overall framework.

read point-by-point responses

Referee: [Local-constancy theorem (likely §3 or §4)] The load-bearing step is the assertion that the reduced coherent families together with the fence inequalities form a complete partition of the parameter space such that multiplicity is constant on each open convex component. The manuscript must supply an explicit argument that no additional loci of discontinuity exist, especially for admissible Fréchet representations; without this, the claim that the linear-inequality system is universal does not follow.

Authors: We agree that an explicit verification that the fence inequalities capture every possible discontinuity is essential for the universality claim. In the revised manuscript we will expand the proof of the local-constancy theorem to include a direct argument showing that, for both finite-dimensional representations and admissible smooth Fréchet representations, any jump in the branching multiplicity must cross at least one of the linear inequalities defining the fences. The argument proceeds by analyzing the possible infinitesimal-character variations within each reduced coherent family and confirming that no other loci of discontinuity arise. revision: yes
Referee: [Definition and properties of reduced coherent families (likely §2)] The reduction procedure that produces the coherent families must be shown to preserve all infinitesimal-character parameters that can affect branching multiplicities. If the reduction omits directions in the parameter space that are relevant for infinite-dimensional representations, the resulting inequality system will be incomplete and the stability statement will fail to hold in full generality.

Authors: The reduction procedure is constructed so that every infinitesimal-character parameter relevant to branching is retained. We will add a self-contained subsection in §2 that proves the reduction map is surjective onto the space of parameters that can influence multiplicities, treating both the finite-dimensional case and the admissible Fréchet case separately. This establishes that the resulting system of linear inequalities is complete and that no relevant directions are omitted. revision: yes

Circularity Check

0 steps flagged

No circularity; new framework with independent proofs of local constancy

full rationale

The paper introduces reduced coherent families and fences as novel structures defined in this work, then states and proves that multiplicities are locally constant on the convex regions they bound. No quoted step reduces a claimed result to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation whose content is unverified. The derivation chain builds new objects and asserts theorems about them without the output being equivalent to the input by construction. Classical results like Weyl branching are recovered as special cases rather than presupposed.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claim rests on the newly introduced reduced coherent families and fences; these are defined within the paper and no independent evidence for their existence or properties is supplied in the abstract.

axioms (1)

standard math Standard axioms and definitions of representation theory for real reductive groups and Gelfand pairs
The paper works inside the established category of admissible representations and branching rules.

invented entities (2)

reduced coherent families no independent evidence
purpose: Parameter space on which branching multiplicities are described by linear inequalities
Newly introduced in the paper to organize the variation with infinitesimal character.
fences no independent evidence
purpose: Piecewise-linear hypersurfaces that bound convex regions of constant multiplicity
Introduced in the paper to locate the loci where multiplicities may change.

pith-pipeline@v0.9.0 · 5484 in / 1455 out tokens · 53989 ms · 2026-05-08T09:27:44.750581+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Stability of Multiplicities in Symmetry Breaking: The sl_2 Case
math.RT 2026-04 unverdicted novelty 7.0

Multiplicities in sl_2 branching laws are constant in regions of parameter space bounded by piecewise-linear fences, unifying classical rules such as the Pieri rule and fusion rules.

Reference graph

Works this paper leans on

16 extracted references · 3 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

D)–Massachusetts Institute of Technology

Cooper, A., Invariant polynomials on real Lie algebras, Thesis (Ph. D)–Massachusetts Institute of Technology. 1975

1975
[2]

Duflo, Polynˆ omes de Vogan pourSL(n,C)

M. Duflo, Polynˆ omes de Vogan pourSL(n,C). In: Non-commutative Harmonic Anal- ysis, Proceedings 1978, Lecture Notes in Mathematics,728, Springer-Verlag, 1979

1978
[3]

Frahm, B

J. Frahm, B. Ørsted,Knapp–Stein type intertwining operators for symmetric pairs II. – The translation principle and intertwining operators for spinors, SIGMA15(2019), 084, 50 pages

2019
[4]

Gross, D

B. Gross, D. Prasad,On the decomposition of a restriction ofSO n when restricted to SOn−1, Canad. J. Math.,44(1992), 974–1002

1992
[5]

Harris, T

M. Harris, T. Kobayashi, B. Speh.Translation functors, branching problems, and applications to the restriction of coherent cohomology of Shimura varieties. Preprint, 100 pages, arXiv:2509.17007

work page arXiv
[6]

He,On the Gan–Gross–Prasad conjecture forU(p,q), Invent

H. He,On the Gan–Gross–Prasad conjecture forU(p,q), Invent. Math.,209(2017) 837–884

2017
[7]

Juhl, Families of Conformally Covariant Differential Operators,Q-Curvature and Holography, Prog

A. Juhl, Families of Conformally Covariant Differential Operators,Q-Curvature and Holography, Prog. in Math.275, Birkh¨ auser, 2009

2009
[8]

Kobayashi, M

T. Kobayashi, M. Pevzner,Differential symmetry breaking operators: II.Rankin- Cohen operators for symmetric pairs, Selecta Math. (N.S.)22(2016), no. 2, 847–911

2016
[9]

Kobayashi, B

T. Kobayashi, B. Speh, Symmetry Breaking for Representations of Rank One Orthog- onal Groups I, Memoirs of Amer. Math. Soc.,238no. 1126, vi+112 pages, Amer. Math. Soc. 2015; II, Lecture Notes in Math.,2234Springer, 2018. xv+342 pages

2015
[10]

Kobayashi, B

T. Kobayashi, B. Speh,Restriction ofA q(λ)for(GL(n,R),GL(n−1,R)): How does the restriction of representations change under translations? A story for the general linear groups and the unitary groups50 pages, arXiv: 2502.08479. To appear in Proc. Indian Acad. Sci. Math. Sci. a commemorative volume for Harish-Chandra

work page arXiv
[11]

On sporadic symmetry breaking operators for principal series representations of the de Sitter and Lorentz groups

V. P´ erez-Vald´ es,On sporadic symmetry breaking operators for principal series repre- sentations of the de Sitter and Lorentz groups, Preprint (59 pages), arXiv:2506.23064

work page internal anchor Pith review Pith/arXiv arXiv
[12]

Sun, C.-B

B. Sun, C.-B. Zhu,Multiplicity one theorems: the Archimedean case, Ann. of Math. (2),175(2012), 23–44

2012
[13]

D. A. Vogan Jr, Representations of Real Reductive Lie Groups, Progress in Mathe- matics,15, Birkh¨ auser, Boston, MA, 1981

1981
[14]

N. R. Wallach,Real Reductive Groups. I, II.Pure Appl. Math.132Academic Press, Inc., Boston, MA, 1988;132-II, ibid, 1992

1988
[15]

Weyl,The Classical Groups

H. Weyl,The Classical Groups. Their Invariants and Representations.Princeton Landmarks in Math. Princeton University Press, Princeton, 1997 (a reprint of the second edition (1946)). 50 TOSHIYUKI KOBAYASHI

1997
[16]

Zuckerman, Tensor products of finite and infinite dimensional representations of semisimple Lie groups, Ann

G. Zuckerman, Tensor products of finite and infinite dimensional representations of semisimple Lie groups, Ann. of Math.,106(1977), 295–308. Email address:toshi@ms.u-tokyo.ac.jp

1977