pith. sign in

arxiv: 1907.07544 · v1 · pith:6Y3L23LMnew · submitted 2019-07-17 · 🧮 math.RT

Branching laws for discrete series of some affine symmetric spaces

Bent Orsted , Birgit Speh This is my paper

Pith reviewed 2026-05-24 20:10 UTC · model grok-4.3

classification 🧮 math.RT
keywords branching lawsdiscrete seriessymmetry breaking operatorsperiod integralsreal hyperboloidsorthogonal groupsArthur packets
0
0 comments X

The pith

Period integrals yield non-vanishing symmetry breaking operators for discrete series on real hyperboloids.

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

The paper examines branching laws for unitary representations belonging to the discrete spectrum of real hyperboloids. It employs period integrals, familiar from number theory, to build symmetry-breaking operators and proves these operators are non-zero when the representations are restricted to smaller orthogonal groups. The construction works on smooth vectors and supplies explicit branching information. The authors also formulate conjectures for restrictions of representations inside Arthur packets, drawing inspiration from the Gross-Prasad conjectures. A reader would care because these results give concrete, computable instances of how large-group representations decompose under restriction.

Core claim

We exhibit non-vanishing symmetry breaking operators for the restriction of a representation Π in the discrete spectrum for real hyperboloids to representations of smaller orthogonal groups. This is done on the smooth vectors via a version of the period integrals, studied in number theory, and also closely connected to the symmetry-breaking operators, introduced by T. Kobayashi. In the last part we discuss some conjectures for the restriction of representations in Arthur packets containing the representation Π and the corresponding Arthur-Vogan packets to smaller orthogonal groups; these are inspired by the Gross-Prasad conjectures.

What carries the argument

Period integrals that construct and establish non-vanishing of symmetry-breaking operators for restrictions of discrete spectrum representations Π on real hyperboloids to smaller orthogonal groups.

If this is right

  • Non-vanishing symmetry breaking operators exist for the indicated restrictions of Π.
  • The operators are realized explicitly on smooth vectors by means of period integrals.
  • Conjectures are stated for the branching of representations inside Arthur packets containing Π.
  • These conjectures extend the Gross-Prasad framework to the setting of real hyperboloids.

Where Pith is reading between the lines

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

  • The constructed operators may permit direct computation of multiplicities in the branching laws.
  • The period-integral method could be tested on low-dimensional hyperboloids to confirm non-vanishing in concrete cases.
  • Links between these operators and automorphic forms might yield new information about associated L-functions.

Load-bearing premise

The period integrals studied in number theory can be used to construct and prove non-vanishing of the symmetry-breaking operators for the specific discrete spectrum representations on real hyperboloids.

What would settle it

An explicit calculation showing that the relevant period integral vanishes for some discrete series representation Π on a real hyperboloid, when restricted to a smaller orthogonal group, would falsify the non-vanishing claim.

read the original abstract

In this paper we study branching laws for certain unitary representations. This is done on the smooth vectors via a version of the {\it period integrals}, studied in number theory, and also closely connected to the {\it symmetry-breaking operators}, introduced by T.~Kobayashi. We exhibit non-vanishing symmetry breaking operators for the restriction of a representation $\Pi$ in the discrete spectrum for real hyperboloids to representations of smaller orthogonal groups. In the last part we discuss some conjectures for the restriction of representations in Arthur packets containing the representation $\Pi$ and the corresponding Arthur-Vogan packets to smaller orthogonal groups; these are inspired by the Gross-Prasad conjectures.

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

0 major / 3 minor

Summary. The paper studies branching laws for unitary representations of affine symmetric spaces (real hyperboloids) by means of period integrals, which are used to construct and prove the existence of non-vanishing symmetry-breaking operators for the restriction of a discrete-series representation Π to representations of smaller orthogonal groups. The final section formulates conjectures, inspired by the Gross-Prasad conjectures, concerning the restriction of representations belonging to Arthur packets containing Π (and the corresponding Arthur-Vogan packets) to smaller orthogonal groups.

Significance. If the constructions are correct, the work supplies explicit, non-vanishing symmetry-breaking operators for a concrete family of discrete-series representations, thereby furnishing verifiable examples that link period integrals from number theory with Kobayashi’s symmetry-breaking operators. This supplies concrete data that can be used to test or refine branching-law conjectures for Arthur packets on affine symmetric spaces.

minor comments (3)
  1. [Introduction] The abstract and introduction refer to “a version of the period integrals studied in number theory”; a brief paragraph recalling the precise normalization and convergence properties used in the present setting would help readers connect the construction to the cited literature.
  2. [§2] Notation for the smaller orthogonal groups (e.g., the precise embedding O(p,q) ↪ O(p',q')) is introduced only in the statements of the main theorems; an early diagram or table listing the pairs (G,H) under consideration would improve readability.
  3. [§5] The conjectural statements in the final section are phrased in terms of Arthur-Vogan packets; a short reminder of the precise packet containing Π (including the parameter) would make the conjectures easier to compare with existing Gross-Prasad predictions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and recommendation of minor revision. The referee summary accurately reflects the scope of the work on period integrals, symmetry-breaking operators, and the conjectures for Arthur packets.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper constructs non-vanishing symmetry-breaking operators for restrictions of discrete series representations on real hyperboloids by invoking period integrals from number theory and symmetry-breaking operators introduced by T. Kobayashi. These are external, independently developed tools rather than self-citations or fitted inputs that reduce the result to its own assumptions by construction. The final conjectures are explicitly presented as inspired by Gross-Prasad rather than derived internally. No equations, self-definitional steps, or load-bearing self-citations appear in the provided text that would force the central claims to be equivalent to their inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Limited information from abstract only; relies on standard background in representation theory of real groups and number-theoretic period integrals, with no free parameters, new entities, or ad-hoc axioms indicated.

axioms (2)
  • standard math Standard theory of discrete series representations and unitary representations of real reductive groups
    Invoked implicitly for the existence of Π in the discrete spectrum.
  • standard math Existence and properties of period integrals and symmetry-breaking operators as studied in prior literature
    Used as the method to exhibit non-vanishing.

pith-pipeline@v0.9.0 · 5633 in / 1206 out tokens · 24616 ms · 2026-05-24T20:10:36.725136+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages · 2 internal anchors

  1. [1]

    Adams, The real Chevalley involution, Compositio Mathematica 1 50 (12), 2127-2142

    J. Adams, The real Chevalley involution, Compositio Mathematica 1 50 (12), 2127-2142

    work page

  2. [2]

    Adams, D

    J. Adams, D. Barbasch and D. Vogan, The Langlands classification and irreducible characters for Real reductive Groups, Birkhaueser, Boston, 1992

    work page 1992

  3. [3]

    Adams and J

    J. Adams and J. Johnson, Endoscopic Groups and Stable Packet s of Certain Derived Functor Modules, Compositio Math. 64 (1987), 271-309

    work page 1987

  4. [4]

    Contragredient representations and characterizing the local Langlands correspondence

    J. Adams, D. Vogan, Contragredient representations and cha racterizing the local Langlands correspondence. arXiv preprint arXiv:1201.0496

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    Bernstein and B

    J. Bernstein and B. Kroetz, Smooth Frechet Globalizations of Ha rish-Chandra Modules, Israel Journal of Mathematics 199 (1), 2014, 45 - 111

    work page 2014

  6. [6]

    van den Ban and H

    E. van den Ban and H. Schlichtkrull, The Plancherel formula for a r eductive symmetric space II: Representation theory, Invent. Math 161, 567 -628 (2005)

    work page 2005

  7. [7]

    van den Ban and P

    E. van den Ban and P. Delorme, Quelques propri´ et´ es des repr ´ esentations sph´ eriques pour les espaces sym´ etriques r´ eductifs, Journal of Functional Analysis 80 (1988), 284307

    work page 1988

  8. [8]

    Casselman, Canonical extensions of Harish-Chandra modules to representations of G, Cana- dian Journal of Mathematics 41 (1989), 385438

    W. Casselman, Canonical extensions of Harish-Chandra modules to representations of G, Cana- dian Journal of Mathematics 41 (1989), 385438

    work page 1989

  9. [9]

    Flensted-Jensen, Discrete series for semisimple symmetric sp aces, Ann

    M. Flensted-Jensen, Discrete series for semisimple symmetric sp aces, Ann. of Math. (2) 111 (1980) 253-311

    work page 1980

  10. [10]

    B. H. Gross and D. Prasad, On the decomposition of a represen tations of SO n when restricted to SO n−1, Canad. J. Math., 44 (1992), 974–1002

    work page 1992

  11. [11]

    Knapp and D

    A.W. Knapp and D. Vogan, Cohomological Induction and Unitary Representations , Princeton University Press 1996. BRANCHING LA WS FOR DISCRETE SERIES OF SOME AFFINE SYMMETRIC SPACES 27

    work page 1996

  12. [12]

    Kobayashi and S

    T. Kobayashi and S. Nasrin. Geometry of coadjoint orbits and multiplicity-one branching laws for symmetric pairs, Algebras and Representation Theory, 21 (5):1023-1036. Special Issue: Representation Theory at the Crossroads of Modern Mathematic s - Special volume in honor of Alexandre Kirillov

    work page

  13. [13]

    Kobayashi, Singular unitary representations and discrete series for i ndefinite Stiefel man- ifolds U(p,q;F)/U(p-m,q;F), Mem

    T. Kobayashi, Singular unitary representations and discrete series for i ndefinite Stiefel man- ifolds U(p,q;F)/U(p-m,q;F), Mem. Amer. Math. Soc., vol. 462, Amer. Math. Soc., 1992, 106 pp

    work page 1992

  14. [14]

    Kobayashi,The restriction of Aq(λ) to reductive subgroups, Proc

    T. Kobayashi,The restriction of Aq(λ) to reductive subgroups, Proc. Japan Acad. Ser. A 69 (1993), 262-267

    work page 1993

  15. [15]

    Kobayashi, Discrete series representations for the orbit s paces arising from two involutions of real reductive Lie groups

    T. Kobayashi, Discrete series representations for the orbit s paces arising from two involutions of real reductive Lie groups. J. Funct. Anal. 152 (1998), no. 1, 1 00-135. 100-135

    work page 1998

  16. [16]

    Kobayashi, Branching laws of unitary representations asso ciated to minimal elliptic orbits for indefinite orthogonal group O(p,q), manuscript (2002)

    T. Kobayashi, Branching laws of unitary representations asso ciated to minimal elliptic orbits for indefinite orthogonal group O(p,q), manuscript (2002)

    work page 2002

  17. [17]

    Kobayashi and Y

    T. Kobayashi and Y. Oshima, Classification of discretely decomp osable Aq(λ) with respect to reductive symmetric pairs. Advances in mathematics 231, (2012),

    work page 2012

  18. [18]

    Kobayashi and B

    T. Kobayashi and B. Speh, Symmetry Breaking for Represent ations of Rank One Orthogonal Groups, Mem. Amer. Math. Soc., 238, Amer. Math. Soc., Providence, RI, 2015, v+112 pp., ISBN: 978-1-4704-1922-6

    work page 2015

  19. [19]

    Kobayashi and B

    T. Kobayashi and B. Speh, Symmetry Breaking for Representations of Rank One Orthogon al Groups II, Lecture Notes in Math. 2234, Springer 2019, xv + 342 pp., ISBN: 978-981-13-2900-5

    work page 2019

  20. [20]

    Symmetry breaking for orthogonal groups and a conjecture by B. Gross and D. Prasad

    T. Kobayashi and B. Speh, Symmetry breaking for orthogona l groups and a conjecture by B. Gross and D. Prasad, In: Geometric Aspects of the Trace Form ula, Simons Symposia, W. M¨ uller et al.(eds.), Springer, 2018, pp. 245–266 available also at a rXiv:1702.00263

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  21. [21]

    Kobayashi and B

    T. Kobayashi and B. Speh, Distinguished representations of SO(n + 1, 1) × SO(n, 1), periods and a branching law, preprint 2019, available at arXiv:1907.05890

    work page arXiv 2019

  22. [22]

    Kostant, A formula for the multiplicity of a weight, Trans

    B. Kostant, A formula for the multiplicity of a weight, Trans. Ame r. Math. Soc. 93 (1959a)

    work page

  23. [23]

    Leontiev, Thesis, University of Tokyo, 2019

    A. Leontiev, Thesis, University of Tokyo, 2019

    work page 2019

  24. [24]

    Nelson and A

    P. Nelson and A. Venkatesh, The orbit method and analysis of au tomorphic forms, arXiv: 1805.07750v1

    work page arXiv

  25. [25]

    Olafson and B

    G. Olafson and B. Ørsted, The holomorphic discrete series for a ffine symmetric spaces, J. Funct. Anal. 81 (1988), no. 1, 126–159

    work page 1988

  26. [26]

    Ørsted and B

    B. Ørsted and B. Speh, Branching Laws for Some Unitary Repre sentations of SL(4,R), SIGMA 4 (2008)

    work page 2008

  27. [27]

    Oshima and T

    T. Oshima and T. Matsuki, A description of discrete series for se misimple symmetric spaces, Adv. Studies in Pure Math., 4 (1984), 331-390

    work page 1984

  28. [28]

    Paradan, Quantization commutes with reduction in the non-c ompact setting: the case of holomorphic discrete series, J

    P. Paradan, Quantization commutes with reduction in the non-c ompact setting: the case of holomorphic discrete series, J. Eur. Math. Soc. (JEMS) 17 (2015) , no. 4, 955-990

    work page 2015

  29. [29]

    Schlichtkrull, Hyperfunctions and Harmonic Analysis on Symmetric spaces , Birkhhaeuser Verlag Vol.49 1984

    H. Schlichtkrull, Hyperfunctions and Harmonic Analysis on Symmetric spaces , Birkhhaeuser Verlag Vol.49 1984

    work page 1984

  30. [30]

    H. Schlichtkrull, The Langlands parameters of Flensted-Jense n’s discrete series for semisimple symmetric spaces, Journal of Functional Analysis, Volume 50, Iss ue 2, 1983, pages 133-150

    work page 1983

  31. [31]

    Strichartz, Harmonic analysis on hyperboloids, J

    R. Strichartz, Harmonic analysis on hyperboloids, J. Funct. An al. 12 (1973) 341-383

    work page 1973

  32. [32]

    Vargas, Restriction of discrete series of a semisimple Lie group to r eductive subgroups, New developments in Lie theory and its applications, 43-53, Contemp

    J. Vargas, Restriction of discrete series of a semisimple Lie group to r eductive subgroups, New developments in Lie theory and its applications, 43-53, Contemp. Ma th., 544, Amer. Math. Soc., Providence, RI, 2011

    work page 2011

  33. [33]

    Wallach, Real reductive groups I , Academic Press 1988

    N. Wallach, Real reductive groups I , Academic Press 1988. 28 BENT ØRSTED AND BIRGIT SPEH

    work page 1988

  34. [34]

    Weyl, The classical groups, their Invariants and Representation s, Princeton University Press, reprinted 1997

    H. Weyl, The classical groups, their Invariants and Representation s, Princeton University Press, reprinted 1997. B. Ørsted, Department of mathematics, Aarhus University, 8 000 Aarhus C, Denmark Email: orsted@math.au.dk B. Speh, Department of Mathematics, Cornell University, It haca NY 14853, USA. Email: bes12@cornell.edu

    work page 1997