arxiv: 2604.25242 · v1 · submitted 2026-04-28 · 🧮 math.RT

Recognition: unknown

Stability of Multiplicities in Symmetry Breaking: The sl₂ Case

Toshiyuki Kobayashi

Pith reviewed 2026-05-07 14:35 UTC · model grok-4.3

classification 🧮 math.RT

keywords sl_2branching lawsmultiplicitiessymmetry breakingfenceslinear inequalitiescoherent familiesrepresentation theory

0 comments

The pith

Multiplicities in sl_2 branching laws stay constant inside regions whose boundaries are given by linear inequalities called fences.

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

The paper establishes that branching multiplicities for the Lie algebra sl_2, often found by separate case-by-case calculations, are instead controlled by a single system of linear inequalities. These inequalities are encoded by fences, which are the piecewise-linear walls separating zones of parameter space in which multiplicities do not change. The same description covers both finite-dimensional representations and admissible smooth Fréchet representations of real reductive groups. Parameters are moved inside reduced coherent families to produce explicit rules for how multiplicities jump when a fence is crossed. The resulting formulas recover and unify classical statements such as the Pieri rule, K-type formulas, fusion rules, and tensor products of Verma modules.

Core claim

Multiplicities in branching laws of sl_2 representations are governed by universal systems of linear inequalities; fences mark the piecewise-linear boundaries of the regions in parameter space on which these multiplicities remain constant, and the same fences describe the variation of multiplicities inside reduced coherent families for both finite-dimensional and admissible smooth Fréchet representations.

What carries the argument

Fences, the piecewise-linear boundaries that separate regions of parameter space on which multiplicities remain constant.

If this is right

Multiplicities are stable throughout each connected component of the complement of the fences.
Explicit formulas describe the jumps that occur when parameters cross a fence inside a reduced coherent family.
The same fences recover the classical Pieri rule, K-type formulas, fusion rules, and tensor-product decompositions of Verma modules.
The stability of fusion multiplicities appears as a direct instance of the general mechanism.
The description applies uniformly to finite-dimensional representations and to admissible smooth Fréchet representations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The fence construction may supply an algorithmic way to decide multiplicities once the inequalities are listed.
Similar piecewise-linear walls could organize multiplicity data for branching problems outside sl_2.
The interplay between group and subgroup parameters highlighted here may appear in other symmetry-breaking settings where parameters move continuously.

Load-bearing premise

The fences constructed from the general theory correctly locate every place where a multiplicity actually changes when parameters vary for sl_2 representations.

What would settle it

A concrete pair of sl_2 representations whose branching multiplicity jumps across a straight line in parameter space that is not one of the fences predicted by the inequalities.

read the original abstract

This expository paper explains, in the case of $\mathfrak{sl}_2$, the ideas introduced in the preprints (arXiv:2509.17007, 2604.22262), which develop a new framework for the study of multiplicities in branching laws of representations, with particular emphasis on their dependence on representation parameters. Taking the Lie algebra $\mathfrak{sl}_2$ as a guiding example, we show that multiplicities, which are often computed via ad hoc, case-by-case arguments, are in fact governed by universal systems of linear inequalities. To describe these inequalities, we introduce the notion of \emph{fences}, which encode the piecewise-linear boundaries of regions in parameter space on which multiplicities remain constant. Within this framework, we give an explicit description of how multiplicities vary as parameters move inside reduced coherent families of representations. Our approach applies uniformly both to finite-dimensional representations and to admissible smooth Fr\'echet representations of real reductive Lie groups, and reveals a subtle and intrinsic interplay between the parameters of a group and those of its subgroup. As an application of the general theory, we establish stability results and explicit formulas that clarify and unify a variety of classical phenomena, including the Pieri rule, $K$-type formulas, fusion rules, and tensor products of Verma modules. In particular, the stability of fusion multiplicities provides a concrete manifestation of the theory. More broadly, this framework suggests a unified approach to branching multiplicities extending beyond the $\mathfrak{sl}_2$ case.

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.

Referee Report

2 major / 2 minor

Summary. This expository paper applies a general framework from the author's prior preprints to the sl_2 case, asserting that multiplicities in branching laws (for both finite-dimensional representations and admissible smooth Fréchet representations) are governed by universal systems of linear inequalities whose boundaries are encoded by 'fences'—piecewise-linear loci in parameter space separating regions of constant multiplicity. It provides explicit descriptions of multiplicity variation within reduced coherent families, unifies classical results including the Pieri rule, K-type formulas, fusion rules, and Verma tensor products, and derives stability theorems.

Significance. If the fences correctly delineate all multiplicity boundaries, the work supplies a uniform, parameter-sensitive replacement for ad-hoc multiplicity computations and demonstrates an intrinsic interplay between group and subgroup parameters. The concrete sl_2 formulas and stability results for fusion multiplicities furnish testable content that could guide extensions beyond sl_2, while the uniform treatment of finite-dimensional and admissible Fréchet cases is a notable strength.

major comments (2)

[exposition of admissible smooth Fréchet representations and reduced coherent families] The central claim that fences from the cited preprints capture every multiplicity jump for admissible smooth Fréchet representations (including those with continuous parameters) is asserted in the exposition of reduced coherent families but is not verified by exhaustive comparison against classical multiplicity formulas in all regimes; this verification is load-bearing for the uniform applicability stated in the abstract and the stability theorems.
[sections introducing fences and applying them to sl_2 branching] The explicit sl_2 multiplicity formulas are presented as consequences of the fence inequalities, yet the manuscript does not derive the fences ab initio for the sl_2 specialization; instead it imports them from arXiv:2509.17007 and 2604.22262, leaving open whether all sl_2-specific boundaries (especially for infinite-dimensional admissible modules) are accounted for.

minor comments (2)

The definition of 'reduced coherent families' is introduced without an early concrete example that would help readers track how parameters vary across the fences.
Notation for the piecewise-linear boundaries could be made more uniform between the finite-dimensional and Fréchet cases to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the recommendation of major revision. The comments highlight the need to clarify the relationship between the general framework in our prior preprints and the explicit sl_2 illustrations in this expository manuscript. We address each point below and outline the revisions we will make.

read point-by-point responses

Referee: [exposition of admissible smooth Fréchet representations and reduced coherent families] The central claim that fences from the cited preprints capture every multiplicity jump for admissible smooth Fréchet representations (including those with continuous parameters) is asserted in the exposition of reduced coherent families but is not verified by exhaustive comparison against classical multiplicity formulas in all regimes; this verification is load-bearing for the uniform applicability stated in the abstract and the stability theorems.

Authors: We agree that the manuscript asserts the uniform applicability of the fences to admissible smooth Fréchet representations on the basis of the general results in arXiv:2509.17007 and arXiv:2604.22262, without performing an exhaustive regime-by-regime comparison against every classical formula. As an expository paper, its purpose is to illustrate the framework in the sl_2 case and derive stability and unification results as consequences. To address the concern, we will add a new subsection that explicitly compares the fence predictions with known multiplicity formulas for principal series and discrete series representations of SL(2,R) and its subgroups, confirming that the boundaries match in these infinite-dimensional regimes with continuous parameters. revision: yes
Referee: [sections introducing fences and applying them to sl_2 branching] The explicit sl_2 multiplicity formulas are presented as consequences of the fence inequalities, yet the manuscript does not derive the fences ab initio for the sl_2 specialization; instead it imports them from arXiv:2509.17007 and 2604.22262, leaving open whether all sl_2-specific boundaries (especially for infinite-dimensional admissible modules) are accounted for.

Authors: The fences are defined and constructed in the cited preprints via the general theory of reduced coherent families; the present paper specializes the resulting inequalities to sl_2 and shows that the resulting multiplicity formulas recover the classical Pieri, K-type, fusion, and Verma tensor product rules. We acknowledge that a self-contained derivation of the sl_2 fences is not repeated here. We will insert a brief outline (approximately one page) in the section on fences that recalls the specialization steps for sl_2, including how the linear inequalities arise from the parameters of both finite-dimensional and admissible Fréchet modules, thereby making explicit that the sl_2-specific boundaries are fully captured by the general construction. revision: partial

Circularity Check

1 steps flagged

Moderate self-citation load-bearing for core 'fences' framework in sl_2 multiplicity stability

specific steps

self citation load bearing [Abstract]
"This expository paper explains, in the case of sl_2, the ideas introduced in the preprints (arXiv:2509.17007, 2604.22262), which develop a new framework for the study of multiplicities in branching laws of representations... we show that multiplicities... are in fact governed by universal systems of linear inequalities. To describe these inequalities, we introduce the notion of fences, which encode the piecewise-linear boundaries of regions in parameter space on which multiplicities remain constant."

The universal linear inequalities and the definition of fences (the central objects encoding multiplicity constancy regions) are not derived from scratch here; they are imported wholesale from the cited preprints by the same author. The sl_2 case is presented as an 'application' and 'illustration' rather than an independent verification that these fences exhaustively delineate all multiplicity jumps, especially for admissible smooth Fréchet representations with continuous parameters.

full rationale

The paper is explicitly expository and applies a general theory of fences and linear inequalities for multiplicity stability that is developed in the author's own prior preprints (arXiv:2509.17007, 2604.22262). While the sl_2 specialization supplies explicit formulas and unifies classical rules (Pieri, K-types, fusion, Verma), the load-bearing premise that these fences correctly capture all boundaries for both finite-dimensional and admissible Fréchet representations is justified only by self-citation rather than independent derivation or exhaustive verification within this manuscript. This matches the 'some self-citation; central claim still has independent content' pattern without reducing the entire result to a tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on standard representation theory of sl_2 and the new framework from the cited preprints; fences are introduced as a novel descriptive tool without independent empirical evidence.

axioms (1)

standard math Standard properties of finite-dimensional and admissible smooth Fréchet representations of real reductive Lie groups and their branching laws
Invoked throughout to apply the fence description uniformly to both finite and infinite-dimensional cases.

invented entities (1)

fences no independent evidence
purpose: Encode the piecewise-linear boundaries of regions in parameter space on which multiplicities remain constant
New notion introduced in the framework to replace ad hoc multiplicity computations with geometric inequalities.

pith-pipeline@v0.9.0 · 5573 in / 1388 out tokens · 102981 ms · 2026-05-07T14:35:25.657297+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 3 canonical work pages · 1 internal anchor

[1]

Clerc,Singular conformally invariant trilinear forms, II: The higher mul- tiplicity case, Transform

J.-L. Clerc,Singular conformally invariant trilinear forms, II: The higher mul- tiplicity case, Transform. Groups22(2017), no. 3, 651–706. [2]H. Cohen, Sums involving the values at negative integers ofL-functions of quadratic characters, Math. Ann.217, pp. 271–285 (1975)

2017
[2]

Gross, D

B. Gross, D. Prasad,On the decomposition of a restriction ofSO n when re- stricted toSO n−1, Canad. J. Math.,44(1992), 974–1002

1992
[3]

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
[4]

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. [6]A. Juhl,Families of conformally covariant differential operators,Q-curvature and holography.Progr. Math.,275. Birkh¨ auser, Basel, xiv+488 pp. (2009)

2017
[5]

Kobayashi,Restrictions of generalized Verma modules to symmetric pairs, Transform

T. Kobayashi,Restrictions of generalized Verma modules to symmetric pairs, Transform. Groups17(2012), no. 2, 523–546

2012
[6]

Kobayashi,Shintani functions, real spherical manifolds, and symmetry breaking operators, Dev

T. Kobayashi,Shintani functions, real spherical manifolds, and symmetry breaking operators, Dev. Math.,37(2014), 127–159. Springer

2014
[7]

Kobayashi,Bounded multiplicity theorems for induction and restriction, J

T. Kobayashi,Bounded multiplicity theorems for induction and restriction, J. Lie Theory32(2022), 197–238

2022
[8]

Stability of Branching Multiplicities for Orthogonal Gelfand Pairs

T. Kobayashi, Stability of branching multiplicities for orthogonal Gelfand pairs, 50 pages, arXiv:2604.22262

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

Kobayashi, T

T. Kobayashi, T. Oshima,Finite multiplicity theorems for induction and re- striction, Adv. Math.,248(2013), pp. 921–944

2013
[10]

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
[11]

Kobayashi, B

T. Kobayashi, B. Speh,Symmetry Breaking for Representations of Rank One Orthogonal Groups I,Memoirs of Amer. Math. Soc.,238no. 1126, vi+112 pages, Amer. Math. Soc. 2015

2015
[12]

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. [15]V. F. Molchanov,Tensor products of ...

work page arXiv 1979
[13]

Sun, C.-B

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

2012
[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.Prince- ton Landmarks in Math. Princeton University Press, Princeton, 1997 (a reprint of the second edition (1946)). Email address:toshi@ms.u-tokyo.ac.jp

1997