Pith. sign in

REVIEW 3 major objections 4 minor 52 references

Each scalar discrete-series representation Π_{p,0} of the de Sitter group admits an indecomposable Krein–Gupta-Bleuler realization whose physical quotient is unitary, and an equivalent boundary realization at conformal infinity linked by a

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 18:57 UTC pith:LBZ3CNEV

load-bearing objection Worth reading for dS representation theory and dS/CFT, but the central inner-product definition is miswritten and reflection positivity is asserted, not proved; both look fixable. the 3 major comments →

arxiv 2607.17124 v1 pith:LBZ3CNEV submitted 2026-07-19 math-ph hep-thmath.MPmath.RT

The de Sitter Scalar Discrete Series: Gupta-Bleuler Structure and Holography

Maryam Bajalan , Jean-Pierre Gazeau , Hamed Pejhan This is my paper
classification math-ph hep-thmath.MPmath.RT MSC 22E7081T2043A85
keywords de Sitter groupdiscrete seriesGupta-Bleuler tripletKrein spacebulk-boundary correspondenceconformal boundaryreflection positivityholography
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper argues that the scalar discrete-series representations Π_{p,0} (p=1,2,…) of the de Sitter group, often viewed as a borderline family without a clean Hilbert-space quantization, are naturally realized as gauge theories. On the de Sitter hyperboloid, the representation space is an indecomposable Krein space with positive- and negative-norm sectors; a null gauge sector emerges as the radical of the restricted Klein–Gordon form, and the quotient by it is a positive-definite physical Hilbert space carrying Π_{p,0}. Taking limits at the future and past conformal boundaries produces boundary realizations with a simpler two-step indecomposable structure, yet the same physical quotient. A Fourier-type bulk-boundary transform identifies the bulk and boundary physical sectors while preserving their invariant inner products and intertwining the de Sitter action. If correct, this gives every Π_{p,0}, including the p=1 case tied to the graviton, a simultaneous bulk and boundary realization with a canonically selected physical Hilbert space.

Core claim

For each p=1,2,…, the discrete-series representation Π_{p,0} of SO_0(1,4) is shown to be carried by a dS-invariant Krein space of solutions to the scalar wave equation on the dS hyperboloid. The dS action is indecomposable and forms a Gupta-Bleuler triplet: an invariant null gauge sector V_g sits inside an invariant subspace V, the restriction of the Klein–Gordon form to V is degenerate with radical V_g, and the quotient V/V_g is a positive-definite Hilbert space realizing Π_{p,0}. Boundary limits of the bulk modes induce, on each conformal boundary sphere S^3, an invariant kernel inner product that turns the quotient by a finite-dimensional gauge subspace V_{p-1} into a Hilbert-space realiz

What carries the argument

The central mechanism is the Klein–Gordon sesquilinear form on the dS hyperboloid together with the invariant chain V_g ⊂ V ⊂ V_tot of dS modules: V_g is the null radical of the restricted form on V, and the quotient V/V_g carries the physical representation. On the boundary, the analogous structure is the invariant kernel inner product of Eq. (113) on C^∞(S^3), whose radical is the finite-dimensional space V_{p-1}, with H_{p-1} ≈ C^∞(S^3)/V_{p-1} as the boundary carrier of Π_{p,0}. The two are linked by the Fourier-type kernel K(X,v_∞)=Σ_{L≥p,l,m} ϕ_{Llm}( ho,u) ψ_{Llm}(v_∞), whose restriction to the physical sectors gives an inner-product-preserving, intertwining bijection F: V' → H_{p-1}.

Load-bearing premise

The boundary construction depends on the invariant inner product quoted from the cited literature (Eq. 113) being positive-definite on C^∞(S^3)/V_{p-1} and reflection-positive in the required dS/CFT sense, and the paper relies on that property without defining or proving it.

What would settle it

Compute the sesquilinear form of Eq. (113) on a finite set of smooth functions on S^3 spanning the complement of V_{p-1} and examine its eigenvalues; a negative eigenvalue, or a nonzero vector orthogonal to all of C^∞(S^3), would show that the purported Hilbert quotient is not positive-definite or has a larger radical than V_{p-1}. Alternatively, test reflection positivity of the boundary two-point function obtained from the (cos ρ)^{1-p} mode limits; a violation for any p would break the claimed holographic correspondence.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Each Π_{p,0} has a well-defined unitary physical sector as a quotient of an indecomposable Krein space, so the discrete series can be quantized within the standard gauge-theory paradigm even though no dS-invariant positive-definite subspace exists.
  • The boundary realization retains the physical and gauge content of the bulk while dropping the bulk negative-norm and supplementary sectors, giving a substantially simpler indecomposable module for the same representation.
  • The Fourier-type transform is both an isometric isomorphism and an intertwining operator, so the bulk and boundary physical realizations of Π_{p,0} are equivalent as unitary dS representations.
  • The antipodal map equates the future and past boundary realizations, so the two conformal boundaries carry equivalent copies of the same discrete-series representation.
  • For p=1, the construction applies to the scalar representation underlying one of the Gupta-Bleuler hierarchies of the dS graviton, suggesting that a reflection-positive boundary description of that graviton sector is available.

Where Pith is reading between the lines

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

  • Inference: If the positive-definiteness and reflection-positivity of the boundary inner product can be proved directly rather than imported, the Fourier-type map developed here could be promoted from a representation-theoretic identification to a full dS-covariant quantum-field-theoretic holographic dictionary for the discrete series.
  • Inference: The two-step boundary module suggests a practical shortcut for computing physical observables of Π_{p,0}: discard the bulk negative-norm and supplementary modes at conformal infinity without losing the physical representation, provided the radical structure at the boundary is verified for each p.
  • Inference: The same Gupta-Bleuler/Krein construction may extend to higher-spin discrete-series representations, but the finite-dimensional gauge sector and the radical of the relevant invariant form would need to be recomputed; the scalar case is not evidence that the higher-spin structure remains equally simple.
  • Inference: The antipodal exchange between the positive- and negative-norm bulk sectors hints at a representation-theoretic origin for particle-antiparticle duality in de Sitter space, but the paper leaves the quantum-field-theoretic realization of this duality open.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper constructs, for each p=1,2,..., an explicit bulk realization of the scalar discrete-series unitary irreducible representation Π_{p,0} of SO0(1,4) on the de Sitter hyperboloid. The bulk solution space is organized into a dS-invariant Krein space with a Gupta-Bleuler triplet, the physical quotient of which is claimed to carry Π_{p,0}. The paper then takes conformal-boundary limits to build boundary realizations on I^± with an invariant kernel inner product, and defines a Fourier-type transform between the bulk and boundary physical sectors that is claimed to be an isometric, intertwining unitary equivalence preserving reflection positivity.

Significance. If the construction is correct, it would fill a natural gap: the principal-series bulk-boundary correspondence of Ref. [14] is extended to the scalar discrete series, and every Π_{p,0} is shown to have both a bulk Gupta-Bleuler realization and a simpler boundary realization with the same physical quotient. The paper is rich in explicit, checkable computations: mode solutions, Casimir conventions, KG products in Appendix C, and dS-generator actions in Appendix D. The main risk is not lack of technical detail but the correctness of the fundamental Hermitian structure and the unproved reflection-positivity claim, both of which are load-bearing for the advertised holographic interpretation.

major comments (3)
  1. [§II.B, Eq. (21); §III.A, Eqs. (23),(36)] The fundamental KG 'sesquilinear' form is printed without complex conjugation on the first factor, and Eq. (23) is self-contradictory (it asserts both ⟨φ1,φ2⟩=⟨φ2,φ1⟩ and ⟨φ2,φ1⟩=−⟨φ2,φ1⟩). Taken literally, Eq. (21) is complex-bilinear, not Hermitian; then ⟨iφ,iφ⟩=−⟨φ,φ⟩, so no subspace such as V′ can be positive-definite. The later calculations, e.g. Eq. (52), only make sense with the standard Hermitian form i∫ φ̄1↔∂ φ2. The paper must correct this definition and re-verify the signs in Eqs. (52)–(58) and in the isometry Eq. (143). The specific stress-test objection to Eq. (143) does not land if the second argument there is φ rather than φ̄; nevertheless the printed definition of the form is a load-bearing error that must be repaired.
  2. [§IV.A, Eq. (113); abstract; conclusion] Reflection positivity is never defined or proved, although it is a central advertised property. For a dS/CFT statement one needs to specify the OS-reflection map on S^3, the subspace on which positivity is required, and the precise inequality. In addition, the claim that the radical of the Takahashi form (113) is exactly V_{p−1}, and that the induced form on C^∞(S^3)/V_{p−1} is positive-definite, is imported from Ref. [8] with no statement of the precise theorem or verification of its hypotheses. This is load-bearing for the boundary physical Hilbert space and for the claimed equivalence with the bulk physical sector.
  3. [§V, Eqs. (132)–(133), (144)] The Fourier-type transform F is defined by pairing with an infinite kernel sum K=∑_{L≥p}φψ, with no discussion of convergence or of the topology used for the extension 'by linearity and continuity'. Is K a well-defined distributional solution for fixed v∞? Is F bounded from V′ to H_{p−1}? If these are only formal manipulations, the unitary equivalence (144) is not established as a map between Hilbert spaces. The paper should either prove convergence in suitable distribution/Hilbert-space topologies or state the dense-domain and closability properties explicitly.
minor comments (4)
  1. [Eqs. (52)–(54), (62)] The overline notation for complex conjugation is easy to lose in the displayed equations; please use \(\overline{\phi^{(1)}}\) consistently in all KG-product relations so the reader can see which argument is conjugated.
  2. [§III.B.3] The irreducibility of the quotient representation is asserted rather than proved. A short argument using the SO(4) decomposition and the raising/lowering actions in Appendix D (e.g., cyclically generating all L≥p from the L=p level) would make the claim 'carries the UIR Π_{p,0}' self-contained.
  3. [Appendix D, Eq. (D3)] The boundary generator (D3) is introduced without derivation. A one-line derivation from the ρ→±π/2 limit of (D2), with the chosen rescaling (121), would improve readability and confidence.
  4. [Eq. (98)] The dimension dim(V_g)=p(p+1)(2p+1)/6 is correct; it may be worth noting explicitly that this equals the number of hyperspherical harmonics with L=0,...,p−1, connecting it to Eq. (110).

Circularity Check

0 steps flagged

No significant circularity: the central derivation is self-contained and self-citations are not load-bearing.

full rationale

The paper's central derivation is not circular. The bulk mode solutions and the Klein-Gordon inner products are obtained by solving the Casimir wave equation and evaluating Wronskians/Abel identities (Appendix C), not by assuming the target Krein-Gupta-Bleuler realization. The boundary inner product (Eq. 113) is imported from Takahashi [8], an external source, with explicit formulas and stated positivity properties; this is independent support rather than a self-citation. The Fourier-type transform F is defined by pairing bulk and boundary modes in matching orthonormal bases, so the bijection and isometry statements (Eqs. 134-144) are by construction, but the nontrivial dS intertwining property is checked separately in Appendix D. The paper's self-citations to [3,14,26,27,28] are used for notation, prior consistency checks, or physical motivation; none is load-bearing for the main claim. In particular, the p=1 comparison with Ref. [27] is presented as a consistency check, not as the origin of the general construction. The admitted gaps are real but not circular: reflection positivity is neither defined nor proved, and the sesquilinear-form notation around Eqs. (36) and (52)-(58) is ambiguous enough that a reader could question the internal consistency of the KG form. Those are correctness/support concerns, not reductions of the conclusion to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

No free parameters are fitted. The construction depends on the standard classification of SO0(1,4) representations, Takahashi's boundary inner product, and analytic-continuation/completeness assumptions for the mode solutions; all are external inputs or standard techniques.

axioms (4)
  • standard math Dixmier/Thomas classification of SO0(1,4) UIRs and Casimir labeling (Refs [3,5])
    Used to identify the discrete-series labels (p,q)=(p,0) and the Casimir eigenvalues in Section II A.
  • domain assumption Takahashi's boundary inner product (113) is SO0(1,4)-invariant and positive-definite on C∞(S^3)/V_{p-1}
    Imported from Ref [8]; the boundary realization and its Hilbert-space interpretation depend on this without an in-paper proof.
  • domain assumption Distributional analytic continuation of the hypergeometric solutions (42)-(43) yields a fundamental set of solutions on the full interval
    Stated in Appendix B; the iϵ prescription and distributional continuation are assumed valid for the mode analysis.
  • domain assumption The mode solutions (44) form a complete basis of the solution space of the wave equation (37)
    Required for V_tot to be the full solution space; hyperspherical-harmonic completeness is standard, but the radial completeness over the distributional class is assumed.

pith-pipeline@v1.3.0-alltime-deepseek · 41545 in / 22129 out tokens · 204997 ms · 2026-08-01T18:57:08.773877+00:00 · methodology

0 comments
read the original abstract

We show that scalar discrete-series unitary irreducible representations (UIRs) $\Pi_{p,0}$ ($p=1,2,\cdots$) of the de Sitter (dS) group $\mathrm{SO}_0(1,4)$ admit a dS-covariant Krein realization on the dS hyperboloid, endowed with a dS-invariant non-degenerate Klein-Gordon (KG) sesquilinear form, in which the group action is indecomposable and organizes naturally into a Gupta-Bleuler triplet. The positive- and negative-norm sectors are already present in the underlying Krein space, whereas a null sector emerges only at an intermediate stage, where the induced KG form becomes degenerate and its radical leads canonically to the physical quotient carrying the UIR $\Pi_{p,0}$. We further show that suitable limits of the bulk theory at the ``future'' and ``past'' conformal boundaries ${\mathcal{I}}^\pm$ give rise to dS-invariant boundary realizations endowed with induced kernel inner products. While the bulk negative-norm sector admits no independent boundary counterpart, the boundary realization retains the physical and gauge structures inherited from the bulk. The resulting boundary module nevertheless remains indecomposable, with its physical quotient carrying the discrete-series representation $\Pi_{p,0}$. The antipodal symmetry provides a natural relation between the realizations on ${\mathcal{I}}^+$ and ${\mathcal{I}}^-$, ensuring the consistency of the boundary construction and its geometric interpretation. At the heart of the analysis lies a Fourier-type bulk-boundary transform that provides a dS-covariant identification of the bulk and boundary physical sectors, establishing a one-to-one intertwining correspondence between the bulk and boundary realizations of $\Pi_{p,0}$ while preserving reflection positivity.

Figures

Figures reproduced from arXiv: 2607.17124 by Hamed Pejhan, Jean-Pierre Gazeau, Maryam Bajalan.

Figure 1
Figure 1. Figure 1: FIG. 1: Schematic illustration of the KG orthogonality structure of the aforementioned subspaces, as induced by the orthogo [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2: Euler-type schematic of the nested Krein-Gupta-Bleuler structure. The invariant chain is [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: Interplay between the bulk antipodal map and the [PITH_FULL_IMAGE:figures/full_fig_p015_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4: Intertwining of the boundary and bulk realizations of [PITH_FULL_IMAGE:figures/full_fig_p030_4.png] view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

52 extracted references · 2 linked inside Pith

  1. [1]

    Gamma F unction We collect here three standard identities involving the Gamma function Γ(z) that are used throughout the pa- per: Γ(z+ 1) =zΓ(z),(A1) forz̸= 0,−1,−2,· · ·, and Euler’s Beta-function formula: Γ(z1) Γ(z2) Γ(z1 +z 2) = Z 1 0 uz1−1(1−u) z2−1 du ,(A2) for Re(z 1)>0 and Re(z 2)>0, and Legendre’s duplica- tion formula: Γ(z) Γ z+ 1 2 = 21−2z√πΓ(2z...

  2. [2]

    The resulting hierarchy of representation spaces is summarized schematically in Fig

    Krein-Gupta-Bleuler Structure and Physical Carrier Space In the preceding analysis, we showed that, starting from the KG positive-definite sectorV ′, the combined requirements of dS invariance and non-degeneracy lead, through a sequence of canonical enlargements, to the to- tal dS-invariant Krein spaceVtot. The resulting hierarchy of representation spaces...

  3. [3]

    tachyonic

    Indecomposable Representation Structure As shown in Section III B 1, for each fixedp= 1,2,· · ·, the dS action links the physical, gauge, supplementary, and negative-definite sectors through the leakage mech- anisms displayed in Fig. 2, thereby endowingV tot with the structure of an indecomposable dS module. At the representation-theoretic level, this str...

  4. [4]

    Hypergeometric F unction Leta, b, c∈Cwithc /∈ {0,−1,−2,· · · }. The hyperge- ometric function is defined on the disk|z|<1 by 2F1(a, b;c;z) = ∞X j=0 (a)j(b)j (c)j j! zj ,(A4) 19 and elsewhere by analytic continuation in the distribu- tional sense. Here, (q) j denotes the Pochhammer sym- bol, (q)j = ( 1,ifj= 0, q(q+ 1)· · ·(q+j−1),ifj⩾1. (A5) By definition,...

  5. [5]

    Whenλ >−1/2, the Gegenbauer polyno- mials form an orthogonal family on the interval [−1,1]

    Gegenbauer Polynomials The Gegenbauer polynomialsC λ n (y) are defined by C λ n (y) = ⌊n/2⌋X k=0 (−1)k Γ(n+λ−k) k!(n−2k)! Γ(λ) (2y)n−2k ,(A21) wheren∈N 0. Whenλ >−1/2, the Gegenbauer polyno- mials form an orthogonal family on the interval [−1,1]. The Gegenbauer polynomials satisfy the following three-term recurrence relations: y Cλ n (y) = n+ 1 2(n+λ) C λ...

  6. [6]

    Associated Legendre Polynomials For non-negative orderm= 0,1,· · ·, l, withl∈N 0, the associated Legendre polynomials are P m l (x) = (−1)l+m 2l l! (1−x 2)m/2 d l+m dx l+m (1−x 2)l ,(A25) and, for negative ordersm=−1,· · ·,−l, with−l∈N, they are defined by P −m l (x) = (−1)m (l−m)! (l+m)! P m l (x).(A26) The associated Legendre polynomials satisfy (2l+ 1)...

  7. [7]

    (34),C l+1 L−l denotes the Gegenbauer polynomial, andY lm denotes the ordinary spherical harmonic Ylm(θ, ψ) = (2l+ 1)(l−m)! 4π(l+m)! 1 2 P m l (cosθ)e imψ

    Hyperspherical Harmonics onS 3 The hyperspherical harmonics onS 3 are defined by YLlm(u) =l! 2 l+1 (L+ 1)(L−l)! 2π(L+l+ 1)! 1 2 (sinα) l ×C l+1 L−l (cosα)Y lm (θ, ψ),(A28) where (L, l, m)∈N0 ×N 0 ×Zwith 0⩽l⩽Land|m|⩽l, the vectoru= (u 1, u2, u3, u4)∈S 3 ⊂R 4 is given in Eq. (34),C l+1 L−l denotes the Gegenbauer polynomial, andY lm denotes the ordinary sphe...

  8. [8]

    (41) may be divided by cos 2 ρ, leading to d2λ dρ2 + 2 tanρ dλ dρ + L(L+ 2)−(p−1)(p+ 2) sec 2 ρ λ= 0,(B1) where we recall thatL∈N 0, whilep= 1,2,· · ·is fixed

    Solutions of the Radial Equation(41) Since ‘cosρ’ does not vanish on the intervalρ∈ − π 2 , π 2 , Eq. (41) may be divided by cos 2 ρ, leading to d2λ dρ2 + 2 tanρ dλ dρ + L(L+ 2)−(p−1)(p+ 2) sec 2 ρ λ= 0,(B1) where we recall thatL∈N 0, whilep= 1,2,· · ·is fixed. Introducing the new variablez:=−e −2iρ, Eq. (B1) transforms into d2λ dz2 + 2 z(1−z) dλ dz + − L...

  9. [9]

    To this end, suppose that Aλ (1) L (ρ) +Bλ (2) L (ρ) = 0,(B22) for allρ∈ − π 2 , π 2 , whereAandBareρ-independent coefficients

    Linear Independence of the Solutionsλ(1) L (ρ)and λ(2) L (ρ) We now show that the two solutions (42) and (43), equivalently (B14) and (B15), are linearly independent. To this end, suppose that Aλ (1) L (ρ) +Bλ (2) L (ρ) = 0,(B22) for allρ∈ − π 2 , π 2 , whereAandBareρ-independent coefficients. Then, it suffices to show that Eq. (B22) necessarily impliesA=...

  10. [10]

    (41) has real-valued coefficients, the com- plex conjugates λ(1) L (ρ) and λ(2) L (ρ) are themselves so- lutions wheneverλ (1) L (ρ) andλ (2) L (ρ) are

    Derivation of Eqs.(45)and(46) Since Eq. (41) has real-valued coefficients, the com- plex conjugates λ(1) L (ρ) and λ(2) L (ρ) are themselves so- lutions wheneverλ (1) L (ρ) andλ (2) L (ρ) are. Moreover, since n λ(1) L (ρ), λ(2) L (ρ) o forms a fundamental set of so- lutions of the second-order differential equation (41), ev- ery solution of Eq. (41), and ...

  11. [11]

    Preliminaries Using the definition of the KG sesquilinear form in Eq. (36), together with the orthonormality relation (A32), 23 the KG product of the separated modesf(ρ)Y Llm(u) and g(ρ)YL′l′m′(u) is ⟨f(ρ)Y Llm(u), g(ρ)Y L′l′m′(u)⟩KG = iR2 Z ρ=0 f(ρ)Y Llm(u) ↔ ∂ ρ (g(ρ)Y L′l′m′(u)) du = iR2 f(ρ) ↔ ∂ ρ=0 g(ρ) Z S3 YLlm(u)Y L′l′m′(u) du = iR2 f(ρ) ↔ ∂ ρ=0 g...

  12. [12]

    Derivation of Eqs.(52)-(54), and(59) We begin with Eq. (52). By virtue of the relations (44) and (C1), we have D ϕ(1) L⩾plm , ϕ(1) L′ ⩾pl′m′ E KG = D N (1) L⩾p λ(1) L⩾p YL⩾plm , N(1) L′ ⩾p λ(1) L′ ⩾p YL′ ⩾pl′m′ E KG = iR2 N (1) L⩾p 2 λ(1) L⩾p ↔ ∂ ρ=0 λ(1) L⩾p δLL′ δll′ δmm′ .(C13) Hence, it remains to evaluate λ(1) L⩾p ↔ ∂ ρ=0 λ(1) L⩾p , thereby determini...

  13. [13]

    Derivation of Eqs.(55),(56),(60), and(61) Proceeding as in the derivation of Eq

    Derivation of Eqs.(55)-(58)and(60)-(61) a. Derivation of Eqs.(55),(56),(60), and(61) Proceeding as in the derivation of Eq. (C13), Eq. (55) takes the explicit form D ϕ(1) L<plm , ϕ(2) L′ <pl′m′ E KG = D N (1) L<p λ(1) L<p YL<plm , N(2) L′ <p λ(2) L′ <p YL′ <pl′m′ E KG = iR2 N (1) L<p N (2) L<p λ(1) L<p ↔ ∂ ρ=0 λ(2) L<p δLL′ δll′ δmm′ . (C19) Hence, the co...

  14. [14]

    Bulk and Boundary Realizations of the Non-Compact Generators In the global conformal coordinatesX=X(ρ, u) in- troduced in Eq

    Preliminaries a. Bulk and Boundary Realizations of the Non-Compact Generators In the global conformal coordinatesX=X(ρ, u) in- troduced in Eq. (33), the non-compact generators of the dS group admit, respectively, the following realizations on the bulk and on the conformal boundary obtained in the limitρ− → ±π 2 : bulk :M (ρ,u) 0j =−i uj cosρ ∂ρ + sinρ Dj ...

  15. [15]

    (D2) and (D3), respectively

    dS Action on Bulk and Boundary Modes and Covariance of the F ourier-Type T ransform As noted at the beginning of this appendix, it suf- fices to determine the dS action through the generators M03 andM 04, or equivalently through the combinations M03 ±iM 04, whose expressions in the conformal coordi- nates (33) are given in Eqs. (D2) and (D3), respectively...

  16. [16]

    Wigner,On unitary representations of the inhomo- geneous Lorentz group, Ann

    E.P. Wigner,On unitary representations of the inhomo- geneous Lorentz group, Ann. Math., 40, 149 (1939)

    1939

  17. [17]

    Newton, E.P

    T.D. Newton, E.P. Wigner,Localized states for elemen- tary systems, Rev. Mod. Phys., 21, 400 (1949)

    1949

  18. [18]

    Enayati, J.-P

    M. Enayati, J.-P. Gazeau, H. Pejhan, and A. Wang,The de Sitter (dS) group and its representations(2nd edition), Springer, Cham, Switzerland (2024)

    2024

  19. [19]

    Gazeau, H

    J.-P. Gazeau, H. Pejhan, and I. Todorov,Massless Representations in Conformal Space and Their de Sit- ter Restrictions, forthcoming in Cambridge Monographs on Mathematical Physics, Cambridge University Press; arXiv:2601.18433 (2026)

    Pith/arXiv arXiv 2026

  20. [20]

    Dixmier,Repr´ esentations int´ egrables du groupe de De Sitter, Bull

    J. Dixmier,Repr´ esentations int´ egrables du groupe de De Sitter, Bull. Soc. Math. Fr., 89, 9 (1961)

    1961

  21. [21]

    Thomas,On unitary representations of the group of de Sitter space, Ann

    L.H. Thomas,On unitary representations of the group of de Sitter space, Ann. Math., 42, 113 (1941)

    1941

  22. [22]

    Newton,A note on the representations of the de Sitter group, Ann

    T.D. Newton,A note on the representations of the de Sitter group, Ann. Math., 51, 730 (1950)

    1950

  23. [23]

    Takahashi,Sur les repr´ esentations unitaires des groupes de Lorentz g´ en´ eralis´ es, Bull

    R. Takahashi,Sur les repr´ esentations unitaires des groupes de Lorentz g´ en´ eralis´ es, Bull. Soc. Math. Fr., 91, 289 (1963)

    1963

  24. [24]

    Martin,Sur certaines repr´ esentations locales de l’alg` ebre de Lie so(4,1)et de l’alg` ebre de Lie du groupe de Poincar´ e, Annales de l‘IHP Physique th´ eorique, Vol

    C. Martin,Sur certaines repr´ esentations locales de l’alg` ebre de Lie so(4,1)et de l’alg` ebre de Lie du groupe de Poincar´ e, Annales de l‘IHP Physique th´ eorique, Vol

  25. [25]

    Lipsman,Group representations, Springer-Verlag (1974)

    R.L. Lipsman,Group representations, Springer-Verlag (1974)

    1974

  26. [26]

    Witten,Quantum gravity in de Sitter space, arXiv:hep-th/0106109 (2001)

    E. Witten,Quantum gravity in de Sitter space, arXiv:hep-th/0106109 (2001)

    Pith/arXiv arXiv 2001

  27. [27]

    Strominger,The dS/CFT correspondence, J

    A. Strominger,The dS/CFT correspondence, J. High En- ergy Phys., 10, 034 (2001)

    2001

  28. [28]

    J. Bros, H. Epstein, and U. Moschella,Analyticity prop- erties and thermal effects for general quantum field theory on de Sitter space-time, Phys. Rev. D, 65, 084012 (2002)

    2002

  29. [29]

    Gazeau, M

    J.-P. Gazeau, M. A. del Olmo, and H. Pejhan,A novel holographic framework preserving reflection positivity in dSd spacetime, Phys. Lett. B, 848, 138402 (2024)

    2024

  30. [30]

    Sun,A note on the representations of SO(1, d+ 1), Rev

    Z. Sun,A note on the representations of SO(1, d+ 1), Rev. Math. Phys., 37(01), 2430007 (2025)

    2025

  31. [31]

    Hogervorst, J

    M. Hogervorst, J. Penedones, K.S. Vaziri,Towards the non-perturbative cosmological bootstrap, JHEP., 2023 (2), 162 (2023)

    2023

  32. [32]

    Penedones, K.S

    J. Penedones, K.S. Vaziri, Z. Sun,Hilbert space of quan- tum field theory in de Sitter spacetime, Phys. Rev. D, 111(4), 045001 (2025)

    2025

  33. [33]

    Mickelsson and J

    J. Mickelsson and J. Niederle,Contractions of represen- tations of de Sitter groups, Commun. Math. Phys., 27, 167 (1972)

    1972

  34. [34]

    Garidi, E

    T. Garidi, E. Huguet, and J. Renaud,de Sitter waves and the zero curvature limit, Phys. Rev. D, 67, 124028 (2003)

    2003

  35. [35]

    Barut and A

    A.O. Barut and A. B¨ ohm,Reduction of a class ofO(4,2) representations with respect toSO(4,1)andSO(3,2), J. Math. Phys., 11, 2938 (1970)

    1970

  36. [36]

    Mack and I

    G. Mack and I. Todorov,Irreducibility of the ladder rep- resentations ofU(2,2)when restricted to the Poincar´ e subgroup, J. Math. Phys., 10, 2078 (1969)

    2078

  37. [37]

    Mack,All unitary ray representations of the confor- mal groupSU(2,2)with positive energy, Commun

    G. Mack,All unitary ray representations of the confor- mal groupSU(2,2)with positive energy, Commun. Math. Phys., 55, 1 (1977)

    1977

  38. [38]

    Pejhan, M

    H. Pejhan, M. Enayati, J.-P. Gazeau, and A. Wang, Gupta-Bleuler quantization for linearized gravity in de Sitter spacetime, Phys. Rev. D, 100, 066012 (2019)

    2019

  39. [39]

    Birrell and P.C.W

    N.D. Birrell and P.C.W. Davies,Quantum fields in curved space, Cambridge University Press (1982)

    1982

  40. [40]

    Avery, J.S

    J.E. Avery, J.S. Avery,Hyperspherical Harmonics and their Physical Applications, World Scientific (2018)

    2018

  41. [41]

    Gazeau,P

    J.-P. Gazeau,P. Siegl, and A. Youssef,Krein Spaces in de Sitter Quantum Theories, SIGMA, 6, 23 (2010)

    2010

  42. [42]

    Gazeau, J

    J.-P. Gazeau, J. Renaud, and M. V. Takook,Gupta- Bleuler quantization for minimally coupled scalar fields in de Sitter space, Class. Quant. Grav., 17, 1415-1434 (2000)

    2000

  43. [43]

    Gazeau and H

    J.-P. Gazeau and H. Pejhan,Matter-antimatter (a) sym- metry in de Sitter Universe, Europhys. Lett., 148(5), 59001 (2024)

    2024

  44. [44]

    Araki,Indecomposable representations with invari- ant inner product, Commun

    H. Araki,Indecomposable representations with invari- ant inner product, Commun. Math. Phys., 97, 149-159 (1985)

    1985

  45. [45]

    Pierotti,Some remarks on the Gupta-Bleuler triplet, J

    D. Pierotti,Some remarks on the Gupta-Bleuler triplet, J. Math. Phys., 31, 1862-1871 (1990)

    1990

  46. [46]

    Simon,Introduction to the 1-cohomology of Lie groups, inHarmonic Analysis and Representations of Semisim- ple Lie Groups, NATO Advanced Study Institutes Series, Vol

    J. Simon,Introduction to the 1-cohomology of Lie groups, inHarmonic Analysis and Representations of Semisim- ple Lie Groups, NATO Advanced Study Institutes Series, Vol. 39, edited by P. Trombi (D. Reidel, Dordrecht, 1980), pp. 449-465

    1980

  47. [47]

    Gazeau and H

    J.-P. Gazeau and H. Pejhan,A misleading naming con- vention: de Sitter ‘tachyonic’ scalar fields, Found. Phys., 55(1), 8 (2025)

    2025

  48. [48]

    Olver, D.W

    F.W.J. Olver, D.W. Lozier, R.F. Boisvert, and C.W. Clark, editors,NIST handbook of mathematical func- tions, Cambridge University Press, New York, NY (2010)

    2010

  49. [49]

    Magnus, F

    W. Magnus, F. Oberhettinger, R.P. Soni,Formulas and Theorems for the Special Functions of Mathemati- cal Physics, Springer, Berlin (1966)

    1966

  50. [50]

    Hua,Harmonic Analysis of Functions of Several Complex Variables in the Classical Domains, American Mathematical Society, Providence, R.I., (1963)

    L.K. Hua,Harmonic Analysis of Functions of Several Complex Variables in the Classical Domains, American Mathematical Society, Providence, R.I., (1963)

    1963

  51. [51]

    Gradshteyn, I.M

    I.S. Gradshteyn, I.M. Ryzhik, L. Moiseevich,Table of Integrals, Series Products, Academic Press, New York (1980)

    1980

  52. [52]

    Boyce, R.C

    W.E. Boyce, R.C. DiPrima, and D.B. Meade,Elementary differential equations and boundary value problems(7th edition), John Wiley & Sons (2021)

    2021