pith. sign in

arxiv: 2506.23064 · v5 · submitted 2025-06-29 · 🧮 math.RT · math.DG

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

V\'ictor P\'erez-Vald\'es This is my paper

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

classification 🧮 math.RT math.DG
keywords symmetry breaking operatorsprincipal series representationsde Sitter groupLorentz groupsporadic operatorsdifferential operatorslocalness theorem
0
0 comments X

The pith

All symmetry breaking operators between principal series of SO_0(4,1) and SO_0(3,1) are differential and sporadic.

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

The paper constructs and classifies every differential symmetry breaking operator that maps between certain principal series representations of the de Sitter group SO_0(4,1) and its Lorentz subgroup SO_0(3,1). It proves a localness theorem asserting that no non-differential operators exist in this setting. It further shows that each operator in the classification is sporadic, meaning none arises by taking a residue from a meromorphic family of operators. A reader would care because the result gives an explicit, finite list of intertwiners for these representations that appear in relativity and conformal geometry.

Core claim

We construct and classify all differential symmetry breaking operators between certain principal series representations of the pair SO_0(4,1) ⊃ SO_0(3,1). We prove a localness theorem, namely, all symmetry breaking operators between the principal series representations in concern are necessarily differential operators. In addition, we show that all these symmetry breaking operators are sporadic in the sense of T. Kobayashi, that is, they cannot be obtained by residue formulas of meromorphic families of symmetry breaking operators.

What carries the argument

Differential symmetry breaking operators for principal series representations of SO_0(4,1) restricted to SO_0(3,1), equipped with the localness property and the sporadic character that prevents them from arising via residues.

If this is right

  • A finite explicit list now exists for all differential symmetry breaking operators in the stated parameter range.
  • No integral or pseudodifferential symmetry breaking operators can exist for these representations.
  • The operators stand outside every continuous meromorphic family obtained by analytic continuation.
  • The classification is complete precisely for the embedding SO_0(4,1) ⊃ SO_0(3,1).

Where Pith is reading between the lines

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

  • The same localness-plus-sporadic pattern may appear for other real-rank-one symmetric pairs.
  • The explicit operators supply concrete intertwiners that can be tested directly in models of de Sitter quantum field theory.

Load-bearing premise

The representations are principal series whose parameters lie in the range where the differential operators remain well-defined, and the groups are exactly the pair SO_0(4,1) containing SO_0(3,1).

What would settle it

The explicit construction of a non-differential symmetry breaking operator or of one that arises as a residue from a meromorphic family of operators between the same principal series would contradict both the localness theorem and the sporadic classification.

Figures

Figures reproduced from arXiv: 2506.23064 by V\'ictor P\'erez-Vald\'es.

Figure 1.1
Figure 1.1. Figure 1.1: Distribution of the parameters (λ, ν, N, m) satisfying (iii) of Theorem 1.3 (x1, x2, x3) ∈ R 3 via the conformal compactification R 3 ι ֒→ S 3 , as shown in the diagram below: C∞(S 3 , V 2N+1 λ ) C∞(S 2 ,Lm,ν) C∞(R 3 , V 2N+1) C∞(R 2 ) ι ∗ ι ∗ D N,m λ,ν Here, R2 ⊂ R3 is realized as R2 = {(x1, x2, 0) : x1, x2 ∈ R}. To give an explicit formula of D N,m λ,ν , let {ud : d = 0, 1, . . . , 2N} be the standard … view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: Hierarchy for N = 1 [PITH_FULL_IMAGE:figures/full_fig_p022_4_2.png] view at source ↗
Figure 4.4
Figure 4.4. Figure 4.4: Hierarchy for N = 3 [PITH_FULL_IMAGE:figures/full_fig_p022_4_4.png] view at source ↗
read the original abstract

In this paper, we construct and classify all differential symmetry breaking operators between certain principal series representations of the pair $SO_0(4,1) \supset SO_0(3,1)$. In this case, we also prove a localness theorem, namely, all symmetry breaking operators between the principal series representations in concern are necessarily differential operators. In addition, we show that all these symmetry breaking operators are sporadic in the sense of T. Kobayashi, that is, they cannot be obtained by residue formulas of meromorphic families of symmetry breaking operators.

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 / 2 minor

Summary. The paper constructs and classifies all differential symmetry breaking operators between certain principal series representations of the pair SO_0(4,1) ⊃ SO_0(3,1). It proves a localness theorem that every symmetry breaking operator between these representations is necessarily a differential operator. It further shows that the constructed operators are sporadic in the sense of T. Kobayashi, i.e., they do not arise as residues of meromorphic families of symmetry breaking operators.

Significance. If the claims hold, the work supplies a complete, explicit classification together with the localness and sporadic properties for this concrete pair of groups and representations. Such results are valuable in the broader program of understanding intertwining operators between principal series, especially for the de Sitter and Lorentz groups that arise in conformal geometry and mathematical physics. The explicit construction and the verification that the operators lie outside the standard meromorphic families constitute concrete progress beyond abstract existence statements.

minor comments (2)
  1. [Introduction / §2] The abstract refers to “certain” principal series; the introduction or §2 should state the precise parameter range (e.g., the values of the continuous parameters λ, ν) for which the classification and localness theorem are proved.
  2. Notation for the induced representations and the symmetry breaking operators should be introduced once and used consistently; a short table summarizing the operators and their parameters would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of our manuscript. The referee's summary accurately captures the main results: the explicit construction and classification of all differential symmetry breaking operators between the indicated principal series representations of SO_0(4,1) ⊃ SO_0(3,1), the localness theorem establishing that all symmetry breaking operators in this setting are differential, and the verification that these operators are sporadic in the sense of Kobayashi.

Circularity Check

0 steps flagged

No significant circularity detected in derivation

full rationale

The paper constructs and classifies differential symmetry breaking operators for principal series representations of the pair SO_0(4,1) ⊃ SO_0(3,1), proves that all such operators are differential (localness theorem), and verifies they are sporadic per Kobayashi's definition. These steps rely on direct solution of differential equations or representation-theoretic constraints within the stated parameter range, without reducing to self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations. The sporadic property uses an external reference to Kobayashi, and the localness result is established independently via the paper's own analysis of operator continuity and distribution-valued maps. The derivation chain is self-contained and does not exhibit any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background from representation theory of Lie groups and prior definitions of symmetry breaking and sporadic operators.

axioms (2)
  • standard math Standard properties of principal series representations of semisimple Lie groups such as SO_0(4,1) and SO_0(3,1)
    Used to define the representations and the space of operators between them.
  • domain assumption Definition and properties of sporadic symmetry breaking operators as introduced by T. Kobayashi
    Invoked to classify the constructed operators as sporadic.

pith-pipeline@v0.9.0 · 5618 in / 1172 out tokens · 43563 ms · 2026-05-19T08:09:46.672651+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.

Forward citations

Cited by 1 Pith paper

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

  1. Stability of Branching Multiplicities for Orthogonal Gelfand Pairs

    math.RT 2026-04 unverdicted novelty 7.0

    Branching multiplicities for orthogonal Gelfand pairs are constant inside convex regions of the parameter space of reduced coherent families, separated by piecewise-linear fences governed by systems of linear inequalities.

Reference graph

Works this paper leans on

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

  1. [1]

    Andrews, R

    G.E. Andrews, R. Askey, R. Roy. Special functions . Encyclopedia of Mathematics and its Applications, 71. Cambridge University Press, Cambridge, 1999. xvi+664 pp

    work page 1999

  2. [2]

    Beckmann, J.-L

    R. Beckmann, J.-L. Clerc. Singular invariant trilinear forms and covariant (bi-)diff erential operators under the conformal group . J. Funct. Anal. 262 (2012), no. 10, 4341–4376

    work page 2012

  3. [3]

    Ben Sa ¨ ıd, J.-L

    S. Ben Sa ¨ ıd, J.-L. Clerc, K. Koufany. Conformally covariant bi-differential operators on a simple real Jordan algebra . Int. Math. Res. Not. IMRN (2020), no. 8, 2287–2351

    work page 2020

  4. [4]

    Ben Sa ¨ ıd, J.-L

    S. Ben Sa ¨ ıd, J.-L. Clerc, K. Koufany. The source operator method: an overview . Symmetry in geometry and analysis. Vol. 2. Festschrift in honor of Tos hiyuki Kobayashi, 1–36. Progr. Math., 358 Birkh¨ auser/Springer, Singapore, 2025

    work page 2025

  5. [5]

    H. Cohen. Sums involving the values at negative integers of L- functions of quadratic char- acters. Math. Ann. 217 (1975), no. 3, 271-285

    work page 1975

  6. [6]

    Ditlevsen, J

    J. Ditlevsen, J. Frahm. Construction and analysis of symmetry breaking operators fo r the pair (GL(n + 1, R),GL (n, R)). Preprint, 33 pages, arXiv:2403.14267

    work page arXiv

  7. [7]

    Ditlevsen, Q

    J. Ditlevsen, Q. Labriet. Differential symmetry breaking operators for the pair (GLn+1(R),GL n(R)). Preprint, 24 pages, arXiv:2504.20793

    work page arXiv

  8. [8]

    Erd´ elyi, W

    A. Erd´ elyi, W. Magnus, F. Oberhettinger, F.G. Tricomi. Higher transcendental functions. Vol. I . Based, in part, on notes left by Harry Bateman. McGraw-Hill Book Co., Inc., New York-Toronto-London, 1953. xxvi+302 pp

    work page 1953

  9. [9]

    J. Frahm. Symmetry breaking operators for strongly spherical reduct ive pairs. Publ. Res. Inst. Math. Sci. 59 (2023), no. 2, 259–337

    work page 2023

  10. [10]

    Frahm, B

    J. Frahm, B. Ørsted. The compact picture of symmetry-breaking operators for rank -one orthogonal and unitary groups . J. Funct. Anal. Pacific J. Math. 302 (2019), no. 1, 23–76

    work page 2019

  11. [11]

    Frahm, C

    J. Frahm, C. Weiske. Symmetry breaking operators for line bundles over real proj ective spaces. J. Lie Theory 29 (2019), no. 2, 511–558

    work page 2019

  12. [12]

    Frahm, C

    J. Frahm, C. Weiske. Symmetry breaking operators for real reductive groups of ra nk one . J. Funct. Anal. 279 (2020), no. 5, 108568, 70 pp

    work page 2020

  13. [13]

    C. F. Gauss. Disquisitiones generales circa seriem infinitam. (Latin) Comm. Soc. Reg. G¨ ot. II, Werke, 3, 123–162 (1812)

    work page

  14. [14]

    Gegenbauer

    L. Gegenbauer. ¨Uber einige bestimmte Integrale. (German) Sitzungsberichte der Kaiser- lichen Akademie der Wissenschaften. Mathematische-Natur wissenschaftliche Classe. 2Abt-70 (1874), pp. 433–443

    work page

  15. [15]

    A. Juhl. Families of Conformally Covariant Differential Operators, Q- Curvature and Holog- raphy. Progress in Mathematics, vol. 275 (Birkh¨ auser, Basel, 2009). 57

    work page 2009

  16. [16]

    Kobayashi

    T. Kobayashi. F-method for constructing equivariant differential operat ors. Geometric anal- ysis and integral geometry, 139–146, Contemp. Math., 598, Amer. Math. Soc., Providence, RI, 2013

    work page 2013

  17. [17]

    Kobayashi

    T. Kobayashi. F-method for symmetry breaking operators . Differential Geom. Appl. 33 (2014), suppl., 272–289

    work page 2014

  18. [18]

    Kobayashi

    T. Kobayashi. A program for branching problems in the representation theo ry of real reductive groups . Representations of reductive groups, 277-322, Prog. Math ., 312, Birkh¨ auser/Springer, Cham, 2015

    work page 2015

  19. [19]

    Kobayashi

    T. Kobayashi. Bounded multiplicity theorems for induction and restricti on. J. Lie Theory 32 (2022), no. 1, 197–238

    work page 2022

  20. [20]

    Kobayashi, T

    T. Kobayashi, T. Kubo, M. Pevzner. Conformal symmetry breaking operators for differential forms on spheres . Lecture Notes in Mathematics, 2170. Springer Singapore, 2016. ix+192 pp

    work page 2016

  21. [21]

    Kobayashi, T

    T. Kobayashi, T. Kubo, M. Pevzner. Conformal symmetry breaking operators for anti-de Sitter spaces . Geometric methods in physics XXXV, 69–85. Trends Math. Birkh¨ auser/Springer, Cham, 2018

    work page 2018

  22. [22]

    Kobayashi, A

    T. Kobayashi, A. Leontiev. Symmetry breaking operators for the restriction of represe nta- tions of indefinite orthogonal groups O(p,q ). Proc. Japan Acad. Ser. A Math. Sci. 93 (2017), no. 8, 86–91

    work page 2017

  23. [23]

    Kobayashi, B

    T. Kobayashi, B. Ørsted, P. Somberg, V. Souˇ cek. Branching laws for Verma modules and applications in parabolic geometry. I . Adv. Math. 285 (2015), 1796–1852

    work page 2015

  24. [24]

    Kobayashi, T

    T. Kobayashi, T. Oshima. Finite multiplicity theorems for induction and restrictio n. Adv. Math. 248 (2013), 921–944

    work page 2013

  25. [25]

    Kobayashi, M

    T. Kobayashi, M. Pevzner. Differential symmetry breaking operators: I. General theory and F-method. Selecta Math. (N.S.) 22 (2016), no. 2, 801-845

    work page 2016

  26. [26]

    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

    work page 2016

  27. [27]

    Kobayashi and B

    T. Kobayashi and B. Speh. Symmetry breaking for representations of rank one orthogon al groups. Mem. Amer. Math. Soc. 238 (2015), no. 1126, v+110 pp

    work page 2015

  28. [28]

    Kobayashi and B

    T. Kobayashi and B. Speh. Symmetry breaking for representations of rank one orthogon al groups II . Lecture Notes in Mathematics, 2234. Springer, Singapore, 2018, xv+342 pp

    work page 2018

  29. [29]

    T. Kubo. Differential symmetry breaking operators from a line bundle to a vector bundle over real projective spaces. To appear in the Proceedings of the 7th Tunisian-Japanese C onference, 54 pages, arXiv:2408.01213

    work page arXiv

  30. [30]

    T. Kubo, B. Ørsted. On the intertwining differential operators from a line bundl e to a vector bundle over the real projective space . Indag. Math. (N.S.) 36 (2025), no. 1, 270–301

    work page 2025

  31. [31]

    F. I. Mautner. Unitary representations of locally compact groups I, II . Ann. Math., (2) 51 (1950), 1-25; (2) 52 (1950), 528-556

    work page 1950

  32. [32]

    Nakahama

    R. Nakahama. Construction of intertwining operators between holomorphi c discrete series representations. SIGMA Symmetry Integrability Geom. Methods Appl. 15 (2019), Paper No. 036, 101 pp

    work page 2019

  33. [33]

    J. Peetre. Une caract´ erisation abstraite des op´ erateurs diff´ erentiels. (French) Math. Scand. 7 (1959), 211–218

    work page 1959

  34. [34]

    Une caract´ erisation abstraite des op´ erateurs diff´ erentiels

    J. Peetre. R´ ectification ` a larticle “Une caract´ erisation abstraite des op´ erateurs diff´ erentiels”. (French) Math. Scand. 8 (1960), 116–120. 58

    work page 1960

  35. [35]

    P´ erez-Vald´ es.Conformally covariant symmetry breaking operators for a vec tor bundle of rank 3 on S3

    V. P´ erez-Vald´ es.Conformally covariant symmetry breaking operators for a vec tor bundle of rank 3 on S3. Internat. J. Math. 34 (2023) no. 12, Paper No. 2350072

    work page 2023

  36. [36]

    V. P´ erez-Vald´ es.Construction and classification of differential symmetry bre aking oper- ators for principal series representations of the pair (SO0(4, 1),SO 0(3, 1)) for special pa- rameters. To appear in the Proceedings of the 7th Tunisian-J apanese Conference, 53 pages, arXiv:2504.01977

    work page internal anchor Pith review Pith/arXiv arXiv

  37. [37]

    R. A. Rankin. The construction of automorphic forms from the derivatives o f a given form . J. Indian Math. Soc. (N.S.) 20 (1956), 103-116

    work page 1956

  38. [38]

    S. Teleman. On reduction theory . Rev. Roum. Math. Pures Appl. 21(4) (1976) 465–486. V. P´ erez-Vald´ es, JSPS International Research Fellow, Ryukoku University, Tsukamoto-cho 67, Fukakusa, Fushimi-ku, Kyoto 612-8577, Japan. Email address: perez-valdes@mail.ryukoku.ac.jp 59

    work page 1976