Langlands Branching Rule Overview

• Langlands Branching Rule is a family of constructions that relate spectral decompositions, character foldings, and nonvanishing Hom-spaces via Langlands duality.
• It employs generalized Whittaker models, theta correspondence, and multisegment methods to interpret branching in local, quantum, and automorphic contexts.
• Concrete applications include decomposing quantum affine snake modules, analyzing GL(n+1)↓GL(n) quotient branching, and formulating period identities from dual geometric data.

Searching arXiv for papers directly relevant to “Langlands branching rule” and nearby formulations. “Langlands branching rule” denotes several distinct but related constructions rather than a single universally fixed theorem. In one line of work it means a relative-Langlands description of model multiplicities, especially generalized Whittaker models arising from quantized hyperspherical Hamiltonian varieties; in another it means an explicit decomposition of folded characters for quantum affine algebras into irreducibles of the Langlands dual algebra; and in a third it means a criterion, stated in Langlands or Zelevinsky data, for when a quotient branching space such as $\operatorname{Hom}_{\mathrm{GL}_n(F)}(\pi,\pi')$ is nonzero. Other works provide the parameter-theoretic or classical branching infrastructure that such rules would require, without themselves proving a branching theorem in the Langlands sense (Gan et al., 2023, Guo et al., 9 Jul 2025, Pattanayak, 12 Dec 2025, Imai, 20 Aug 2025).

1. Scope of the term

Across the literature surveyed here, the phrase does not uniformly mean a direct restriction formula of the form

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$

Instead, it can refer to spectral decompositions of model spaces, explicit character decompositions under Langlands duality, or nonvanishing criteria for branching Hom-spaces. This variation is explicit in the contrast between generalized Whittaker models, finite-field Langlands parameterizations, affine quantum branching, and local $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$ quotient branching (Gan et al., 2023, Imai, 20 Aug 2025, Guo et al., 9 Jul 2025, Pattanayak, 12 Dec 2025).

Setting	Basic object	Form of “branching rule”
Relative Langlands program	Quantization of a hyperspherical $G$-variety	Spectral description of model multiplicities
Quantum affine type $B_n^{(1)}$	Folded character $\Pi(\chi(V))$	Explicit sum of irreducible dual characters
Local $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$	$\operatorname{Hom}_{G_n}(\pi,\pi')$	Criterion in multisegment or Tadić data
Finite-field LLC	$L_G:\Irr(G(k))\to \Phi(G)_{sp}$	Infrastructure, not a direct branching theorem

A recurrent misconception is that every “Langlands branching rule” should be a classical restriction law. Several of the cited works explicitly reject that interpretation. The generalized Whittaker papers study model multiplicities and periods rather than ordinary restriction, while the finite Langlands correspondence paper constructs packet parameterizations but states no theorem comparing representations of two related groups under restriction (Gan et al., 2023, Gan et al., 2024, Imai, 20 Aug 2025).

2. Relative Langlands duality and generalized Whittaker models

In the relative Langlands framework of Ben-Zvi, Sakellaridis, and Venkatesh, the fundamental objects are certain Hamiltonian $G$-varieties $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$0, called hyperspherical varieties, whose quantizations produce $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$1-representations. The branching problem becomes the determination of the spectral decomposition of the quantization $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$2: which irreducible $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$3-representations occur, and with what multiplicity. Relative Langlands duality is then an expected correspondence

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$4

between hyperspherical $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$5- and $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$6-varieties, understood operationally through Arthur-parameter factorization on the two sides. In this setting, generalized Whittaker models are the prototypical nonspherical examples (Gan et al., 2023).

For an $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$7-triple $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$8, one has the weight decomposition

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$9

together with

$\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$0

The associated character on $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$1 is

$\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$2

If the orbit is even, so that $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$3, the generalized Whittaker representation is

$\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$4

and the model multiplicity space is

$\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$5

In the non-even case, $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$6 carries the symplectic form

$\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$7

leading to a Heisenberg group $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$8, an oscillator representation $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$9, and the model

$G$0

These are branching invariants in the precise sense that they are Hom-spaces attached to nilpotent-orbit data (Gan et al., 2023).

Geometrically, generalized Whittaker models arise by Whittaker induction. Given

$G$1

and a symplectic $G$2-space $G$3, the Whittaker-induced Hamiltonian variety is

$G$4

which simplifies to

$G$5

For $G$6, this becomes

$G$7

whose quantization is the generalized Whittaker model attached to $G$8. The structural theorem states that every hyperspherical $G$9-variety is a Whittaker induction of some symplectic $B_n^{(1)}$0-vector space $B_n^{(1)}$1 along some map $B_n^{(1)}$2. This reduces the classification problem to determining which nilpotent orbits can occur in hyperspherical Whittaker induction (Gan et al., 2023).

For orthogonal groups, if $B_n^{(1)}$3, $B_n^{(1)}$4 is hyperspherical, and the $B_n^{(1)}$5-factor defines an even nilpotent orbit $B_n^{(1)}$6, then the corresponding partition $B_n^{(1)}$7 must be one of $B_n^{(1)}$8, $B_n^{(1)}$9, or one of the low-rank exceptions

$\Pi(\chi(V))$0

For symplectic groups, if $\Pi(\chi(V))$1, $\Pi(\chi(V))$2 is hyperspherical, and $\Pi(\chi(V))$3 is even, then $\Pi(\chi(V))$4 must be one of $\Pi(\chi(V))$5, the exceptional partitions

$\Pi(\chi(V))$6

or the trivial and regular orbits

$\Pi(\chi(V))$7

In the non-even case, a necessary combinatorial condition is that the even and odd subpartitions of $\Pi(\chi(V))$8 must themselves be of the allowed forms. These statements characterize which generalized Whittaker branching problems are eligible to belong to the relative Langlands duality framework (Gan et al., 2023).

3. Local dual branching correspondences and theta transfer

The most concrete local realizations of a Langlands branching rule in this relative setting occur for hook-type partitions, which correspond to the Bessel and Fourier–Jacobi models of the Gan–Gross–Prasad setting. For even orthogonal groups $\Pi(\chi(V))$9, the relevant hook partitions are

$\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$0

The corresponding hyperspherical varieties $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$1 and $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$2 are declared dual, and the spectral statement is that if $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$3 occurs as a quotient of the first generalized Whittaker model, then

$\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$4

for some $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$5; conversely, if $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$6 is irreducible and $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$7-generic for $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$8, then $\mathrm{GL}_{n+1}\downarrow \mathrm{GL}_n$9 is irreducible and occurs as a quotient of that model. Dually, the second hook model is described by theta lifts from $\operatorname{Hom}_{G_n}(\pi,\pi')$0. The dual branching problem therefore exchanges $\operatorname{Hom}_{G_n}(\pi,\pi')$1 and $\operatorname{Hom}_{G_n}(\pi,\pi')$2 (Gan et al., 2023).

For odd orthogonal groups the picture becomes asymmetric because the dual group is symplectic and the non-even model requires a nontrivial symplectic factor $\operatorname{Hom}_{G_n}(\pi,\pi')$3, equivalently a Weil representation factor. In that case one hook partition on the orthogonal side is paired with a symplectic-side model involving the standard symplectic representation of a smaller symplectic group. The local theorem states that representations occurring in the orthogonal generalized Whittaker model are theta lifts from irreducible $\operatorname{Hom}_{G_n}(\pi,\pi')$4-generic metaplectic representations, while on the dual side the relevant symplectic generalized Whittaker model is described by theta lifts from irreducible $\operatorname{Hom}_{G_n}(\pi,\pi')$5-generic orthogonal representations. This is a branching law of Langlands type because the spectral decomposition of one model space is described in terms of functorial transfer from the group appearing in the dual datum (Gan et al., 2023).

Theta correspondence is the mechanism that makes this local duality explicit. Howe duality provides the multiplicity bound

$\operatorname{Hom}_{G_n}(\pi,\pi')$6

for a reductive dual pair $\operatorname{Hom}_{G_n}(\pi,\pi')$7. Adams’ conjecture, in the proved cases used in the paper, identifies theta lift on $\operatorname{Hom}_{G_n}(\pi,\pi')$8-parameters by adjoining an $\operatorname{Hom}_{G_n}(\pi,\pi')$9-factor: $L_G:\Irr(G(k))\to \Phi(G)_{sp}$0 The Gomez–Zhu theorem then gives the decisive identity transferring generalized Whittaker models through theta correspondence: $L_G:\Irr(G(k))\to \Phi(G)_{sp}$1 This identity converts one branching problem into another and explains why generalized Whittaker models are especially effective test cases for relative Langlands duality. The same analysis also motivates multiplicity-one expectations such as

$L_G:\Irr(G(k))\to \Phi(G)_{sp}$2

in the hook-type families, provided the relevant big theta lift is irreducible (Gan et al., 2023).

4. Plancherel density and global periods

A second paper develops the same relative-branching viewpoint at the level of local Plancherel density and global periods. The representative family is the even orthogonal case $L_G:\Irr(G(k))\to \Phi(G)_{sp}$3, with auxiliary group $L_G:\Irr(G(k))\to \Phi(G)_{sp}$4, and a generalized Whittaker model attached to the hook partition $L_G:\Irr(G(k))\to \Phi(G)_{sp}$5. The model space is

$L_G:\Irr(G(k))\to \Phi(G)_{sp}$6

where $L_G:\Irr(G(k))\to \Phi(G)_{sp}$7 is the unipotent subgroup determined by the nilpotent orbit, $L_G:\Irr(G(k))\to \Phi(G)_{sp}$8 is the corresponding unitary character, and $L_G:\Irr(G(k))\to \Phi(G)_{sp}$9. This is again a relative branching problem: one studies $G$0, or equivalently the multiplicity of $G$1 in $G$2, rather than ordinary restriction to a reductive subgroup (Gan et al., 2024).

The basic local realization identifies the smooth model with coinvariants of the Weil representation. The surjective map

$G$3

induces

$G$4

From this one obtains the spectral decomposition

$G$5

so the spectrum of the generalized Whittaker model on $G$6 is the theta-lift of the tempered, $G$7-generic spectrum on $G$8. This is the local branching law in the paper: the spectral measure on the model side is the pushforward of Whittaker-Plancherel measure on the smaller symplectic group (Gan et al., 2024).

The numerical conjecture of Ben-Zvi–Sakellaridis–Venkatesh is then verified for this family. The dual geometric representation is computed as

$G$9

The unramified Plancherel density of the basic function is the pushforward, via

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$00

of the measure

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$01

This is the paper’s exact local “numerical” branching rule: the density on the model side is described by determinant data on the dual side (Gan et al., 2024).

The global application is a period formula for

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$02

Under the stated hypotheses, if $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$03 is a globally $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$04-generic cuspidal automorphic representation of $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$05 and $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$06 is its cuspidal theta lift to $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$07, then

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$08

A plausible implication is that the local relative branching rule is being promoted here to an Eulerian period identity: local model functionals, local Plancherel density, and global $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$09-values are organized by the same dual hyperspherical datum (Gan et al., 2024).

5. Quantum affine Langlands branching rules

In the representation theory of quantum affine algebras, “Langlands branching rule” is used in a more literal decomposition-theoretic sense. For the quantum Kac–Moody algebra of type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$10, the paper proves that every shortened snake module admits a Langlands dual representation for the twisted affine type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$11, and, more strongly, that the folded character decomposes explicitly into irreducible characters of the dual algebra (Guo et al., 9 Jul 2025).

The finite-type weight lattice $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$12 of type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$13 contains the sublattice

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$14

and there is a bijection

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$15

If $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$16 is an irreducible $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$17-module of highest weight $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$18, a Langlands dual representation is an irreducible $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$19-module $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$20 of highest weight $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$21 such that

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$22

For a shortened snake module $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$23, the first main theorem constructs

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$24

a shortened snake module of $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$25 (Guo et al., 9 Jul 2025).

The central theorem is the explicit branching formula

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$26

where the summation is over type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$27 snake modules satisfying

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$28

Equivalently,

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$29

where

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$30

Every summand appears with multiplicity $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$31. The leading term $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$32 for all $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$33 is the Langlands dual irreducible $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$34, while the remaining terms give the full branching decomposition (Guo et al., 9 Jul 2025).

The proof is combinatorial. It uses the Mukhin–Young path model for snake modules, a folding map from type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$35 to type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$36, a map $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$37 from type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$38 paths to type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$39 paths satisfying

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$40

and a type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$41 identity proved from the determinant formula

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$42

The branching phenomenon is governed by the “gap” of a type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$43 path, which measures how far it is from the image of the type $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$44 embedding. This yields a multiplicity-free affine analogue of Langlands branching for a large family including Kirillov–Reshetikhin modules and many minimal affinizations (Guo et al., 9 Jul 2025).

Related work on exceptional quantum affine types does not give a direct branching formula of this sort. Instead it proves categorical and Grothendieck-ring correspondences between monoidal subcategories for Langlands dual exceptional affine algebras, together with denominator formulas and Dorey’s rules. This suggests a categorical analogue of Langlands branching rather than an explicit decomposition theorem (Oh et al., 2018).

6. Quotient branching laws and Gan–Gross–Prasad relevance for general linear groups

For non-Archimedean local fields, the paper on quotient branching laws studies the standard embedding

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$45

and asks when, for irreducible smooth representations

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$46

one has

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$47

By multiplicity one,

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$48

so the problem is purely a nonvanishing criterion. The paper reformulates Chan’s general theorem by saying that nonvanishing is equivalent to generalized Gan–Gross–Prasad relevance, and then makes this criterion explicit in Langlands and Zelevinsky multisegment data (Pattanayak, 12 Dec 2025).

The representation-theoretic language is entirely Langlands-theoretic. Every irreducible smooth representation is uniquely of the form

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$49

for a multisegment $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$50. The general branching criterion requires multisegments $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$51 such that

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$52

and

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$53

This is the paper’s basic “Langlands branching rule” for arbitrary irreducible smooth pairs: nonvanishing of the quotient branching space is read from derivative and integral operations on the multisegments defining the two Langlands quotients (Pattanayak, 12 Dec 2025).

For unitary representations, the criterion becomes an explicit matching rule on Tadić factors. A unitary representation is written as

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$54

with $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$55, and similarly for $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$56. The paper proves that generalized GGP relevance is equivalent to explicit relevance conditions $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$57–$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$58, namely bijective matching of factors according to

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$59

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$60

together with the condition $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$61 or $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$62 on unmatched factors. Consequently,

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$63

This is a genuine local branching law phrased directly in Langlands parameters of the representations involved (Pattanayak, 12 Dec 2025).

The same paper also gives a computable algorithm. It repeatedly removes forced highest right or left derivatives, interchanges the pair when necessary, reaches a generic terminal stage, and then propagates admissibility conditions backward. The generic case is controlled by explicit multisegments $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$64, $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$65, and $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$66. When one representation is a generalized Speh representation

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$67

the paper gives complete if-and-only-if classifications for the other representation. In this sense, the rule is “Langlands” because the branching law is read from the multisegment realization of Langlands classification rather than from character formulas or geometric parameters (Pattanayak, 12 Dec 2025).

7. Foundational and adjacent frameworks

Several other works delimit the scope of the expression by providing nearby, but distinct, theories. The finite Langlands correspondence paper constructs

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$68

for connected reductive groups over finite fields. It also gives the categorical decomposition

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$69

but explicitly does not prove a restriction theorem, multiplicity formula, or compatibility of packets under a group morphism. Its relevance to Langlands branching is therefore foundational rather than direct: it supplies packet labels, component groups, and Whittaker normalization that a future branching law would likely need (Imai, 20 Aug 2025).

Classical highest-weight branching papers remain essential background but are not Langlands-theoretic in the modern sense. The relative Weyl character formula paper proves the classical branching rules for

$$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$70

and, by reduction, $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$71, using pair-adapted Weyl and Pieri formulas. The splint-root-system paper treats branching coefficients through auxiliary root systems, including the weighted-hexagon rule for $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$72. The symmetric-pair localization paper expresses branching for compact symmetric pairs as a finite sum of localized contributions indexed by $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$73. The paper on $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$74 translates principal $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$75-embedding results into occurrence theorems for symmetric-group constituents. These works illuminate branching through highest weights, Weyl denominators, orbit geometry, and plethysm rather than through Langlands parameters or dual groups (Rajan et al., 2023, Crew et al., 2018, Paradan, 2018, Heaton et al., 2018).

A coherent synthesis is therefore possible. In one direction, generalized Whittaker models and periods define a relative Langlands branching rule via hyperspherical varieties, theta transfer, and dual Plancherel density. In another, affine quantum snake modules admit a literal branching formula into irreducibles of the Langlands dual algebra. In a third, $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$76 quotient branching is controlled by Langlands multisegments and generalized Gan–Gross–Prasad relevance. Alongside these, finite-field LLC and categorical quantum duality provide parameter spaces and simple-preserving correspondences rather than direct branching decompositions. This suggests that “Langlands branching rule” is best understood as a family of rules in which branching data are organized by Langlands-type structures—dual groups, $$\operatorname{Res}^G_H \pi=\bigoplus_\sigma m(\sigma)\sigma.$$77-parameters, packet enhancements, multisegments, or categorical Langlands duality—rather than by a single canonical formula (Gan et al., 2023, Guo et al., 9 Jul 2025, Pattanayak, 12 Dec 2025, Imai, 20 Aug 2025, Oh et al., 2018).