Pith. Sign in

REVIEW

On the eigenfunctions of the Dirac operator on spheres and real hyperbolic spaces

General Relativity and Quantum Cosmology · Submitted 9 May 1995 · 19 references

Pith's verdict: A careful, honest reference paper: the arbitrary-N spinor eigenfunctions and the group-theoretic rederivation are the real contributions, the heat kernel is a restatement of the authors' own earlier work, and the only defects are two typos and two asserted-but-standard steps.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 5 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDgr-qc/9505009 (version 1)
Pith IDYYCGLR74, Pith's permanent record of this paper and its review
CitationA. Higuchi, R. Camporesi. "On the eigenfunctions of the Dirac operator on spheres and real hyperbolic spaces." arXiv:gr-qc/9505009 (1995). https://pith.science/paper/YYCGLR74
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

The Dirac equation is solved in closed form on spheres and hyperbolic spaces of every dimension, and the resulting modes are summed to give an explicit heat kernel.

The reading

The paper sets out to write down, explicitly and in any dimension $N$, the spinor wavefunctions that solve the Dirac equation on the round sphere $S^N$ and on real hyperbolic space $H^N$ — the two maximally symmetric spaces of constant positive and negative curvature. The authors separate variables in geodesic polar coordinates, so that a spinor on $S^N$ is built recursively from a spinor on $S^{N-1}$ times two radial functions obeying a Jacobi-type equation. The payoff is a spectrum $i(n+N/2)$ on the sphere with an explicit degeneracy, and a heat kernel for the squared Dirac operator that factorizes into a parallel-transport matrix times a single scalar function of geodesic distance. A second, independent derivation via homogeneous vector bundles and the radial part of the Casimir operator reproduces the same answers, which is what makes the result more than a calculation. Anyone needing propagators or mode sums for spinors in de Sitter, anti-de Sitter, or spatially curved cosmological models has these functions available off the shelf.

What carries the argument

The load-bearing device is the recursive separation of variables in geodesic polar coordinates. Writing the polar vielbein as $e_N=partial_theta$, $e_j = tilde e_j/sin theta$, the Dirac operator on $S^N$ takes the form $(partial_theta + (N-1)/2 cot theta)Gamma^N + (1/sin theta)tilde{/!!nabla}$, where $tilde{/!!nabla}$ is the Dirac operator on the equatorial $S^{N-1}$. This splits the $N$-dimensional problem into a one-dimensional radial equation — reducible to the Jacobi differential operator $D^{(a,b)}_x$ — plus a lower-dimensional Dirac problem already solved. The second device is the group-theoretic re-derivation: spinor fields are sections of the homogeneous bundle $Spin(N+1)/Spin(N)$ associated to a fundamental spinor representation, the Laplacian's eigenvalue is $C_2(tau)-C_2(lambda)$ in Casimir numbers, and Harish-Chandra's formula for the radial part of the Casimir operator becomes an ordinary differential equation on the one-dimensional maximal torus. That the two routes agree is the paper's real verification.

Extended reading notes

Core claim

The central claim is that the eigenfunctions of the Dirac operator on $S^N$ and $H^N$ are known in closed form for arbitrary $N$. On the sphere the regular solutions of $/!!nabla psi = i lambda psi$ exist only for $lambda = pm(n+N/2)$ with $n=0,1,2,dots$, and the corresponding spinors are written as products of a radial factor built from a Jacobi polynomial, $(cos(theta/2))^{l+1}(sin(theta/2))^{l}P^{(N/2+l-1,,N/2+l)}_{n-l}(cos theta)$, times a spinor harmonic on $S^{N-1}$. The degeneracy is $D_N(n) = 2^{N/2}(N+n-1)!/(n!(N-1)!)$ for even $N$ and $2^{(N-1)/2}(N+n-1)!/(n!(N-1)!)$ for odd $N$. Hyperbolic space is reached by the substitution $theta to iy$, $n to -i lambda - N/2$, turning Jacobi polynomials into hypergeometric functions and the discrete spectrum into a continuous one labelled by real $lambda$. Summing the modes gives the heat kernel of $/!!nabla^2$ in the factorized form $K(x,x',t)=U(x,x'),f_N(d(x,x'),t)$, where $U$ is the parallel spinor propagator and $f_N$ depends only on the geodesic distance.

Load-bearing premise

The hyperbolic-space modes and the factorized form of the heat kernel are obtained by analytic continuation and by a mode sum that the paper says can be proved by induction in $N$ but does not actually carry out, so both rest on steps asserted rather than shown.

Editorial extensions

If this is right

  • Spinor mode sums and propagators on $S^N$ and $H^N$ are available in closed form for any dimension, removing the need for case-by-case construction in de Sitter and anti-de Sitter Euclidean sections.
  • The heat kernel $K(x,x',t)=U(x,x')f_N(d,t)$ gives a direct route to spinor heat-kernel coefficients and to zeta-function determinants of the iterated Dirac operator on these spaces.
  • The spinor spectral function (Plancherel measure) on $H^N$, $mu(lambda) = frac{pi}{2^{2N-4}}|Gamma(N/2+i lambda)Gamma(1/2+i lambda)/Gamma(N/2)|^2$, is fixed explicitly, giving the continuous spectral weight needed for any spinor loop computation.
  • The degeneracy formula $D_N(n)$ coincides with the dimension of the $Spin(N+1)$ spinor representation of highest weight $(n+1/2,1/2,dots,1/2)$, so the mode count is fixed by representation theory rather than by hand.
  • The recursive construction gives an independent inductive proof of the Dirac spectrum on spheres, starting from the explicit $S^2$ case where the eigenvalues are half-integers.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the same radial equation governs both curvature signs, the sphere and hyperbolic results form a single analytic family; one could treat the curvature sign as a parameter and read off how spinor propagators deform as the background passes through zero curvature.
  • The factorization of the heat kernel into parallel transport times a scalar is exactly the statement that the spinor heat kernel is a zonal function, which suggests the same factorized form should hold for any bundle whose typical fibre is irreducible under the isotropy group — a template worth testing on $p$-form and transverse-traceless tensor cases.
  • The odd-dimensional case is structurally different: the spinor spherical functions do not vanish at the antipode, and the fibre representation there is equivalent to the original one. That asymmetry between even and odd $N$ is a concrete place where dimension enters qualitatively rather than quantitatively.
  • Since the authors note the factorization is stated for non-conjugate points only, a reader could ask whether the parallel propagator's direction dependence at conjugate points is a genuine obstruction or an artifact of the polar frame.
Original abstract

The eigenfunctions of the Dirac operator on spheres and real hyperbolic spaces of arbitrary dimension are computed by separating variables in geodesic polar coordinates. These eigenfunctions are used to derive the heat kernel of the iterated Dirac operator on these spaces. They are then studied as cross sections of homogeneous vector bundles, and a group-theoretic derivation of the spinor spherical functions and heat kernel is given based on Harish-Chandra's formula for the radial part of the Casimir operator.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 2,997 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.05 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.09 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

The eigenfunctions of the Dirac operator on spheres and real hyperbolic spaces of arbitrary dimension are computed by separating variables in geodesic polar coordinates. These eigenfunctions are used to derive the heat kernel of the iterated Dirac operator on these spaces. They are then studied as cross sections of homogeneous vector bundles, and a group-theoretic derivation of the spinor spherical functions and heat kernel is given based on Harish-Chandra's formula for the radial part of the Casimir operator.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 The eigenfunctions of the Dirac operator on spheres and real hyperbolic spaces of arbitrary dimension are computed by separating variables in geodesic polar coordinates. method 0.46 0.90 0.39 asserted 1.00
s1 These eigenfunctions are used to derive the heat kernel of the iterated Dirac operator on these spaces. result 0.50 0.91 0.21 asserted 1.00
s2 They are then studied as cross sections of homogeneous vector bundles, and a group-theoretic derivation of the spinor spherical functions and heat kernel is given based on Harish-Chandra's formula for the radial part of the Casimir operator. contribution 0.86 0.92 0.27 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

114 later papers cite it

Evidence: substantial. 114 of the citing papers share no author with it, and 42 of those carry a confident label from Pith's citation classifier.

Pith read 24 of the 213 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 1 of 22 papers with this label
How the literature uses it

98 arXiv papers cite this in 178 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 122 sentences without a confident label

Uses its method or tool 18 papers
  • We get the following system of partial differential equations [equation] where $κ$ are the eigenvalues of the Dirac operator on the $D$-di­men­sion­al sphere, that is, $κ= ±i (l + (D-2)/2)$ and $l=0,1,2,…$, [ref] .

    The Dirac equation in D-dimensional spherically symmetric spacetimes · Quasinormal modes of the Dirac field in the $D$-di­men­sion­al Nariai spacetime · 0.86

  • It was explicitly demonstrated in [ref] that for a wide class of fields, the coincident zeta function in AdS$_5$ may be computed from the corresponding S$^5$ answer by means of the following analytic continutation [equation] As a result the coincident zeta function on AdS$_5$ is given by [equation] We now provide an explicit example of computing the coincident zeta function on AdS$_5$ for a scalar field without using the analytic continuation proposed above.

    Exploring Free Matrix CFT Holographies at One-Loop · Harmonic Analysis on Spheres, Hyperboloids, and their Quotients · 0.85

  • Although the analysis is straightforward using the results of [ref] , we shall go through it carefully, since, as we shall see in the next two sections, these results need to be further corrected due to mixing between scalar, vector and tensor fields in the black hole near horizon geometry.

    Logarithmic Corrections to Extremal Black Hole Entropy from Quantum Entropy Function · Introduction · 0.80

Uses its data or values 13 papers
  • The 4-d Dirac operator on $S^4$, $Γ̂^μ∇_μ$, has eigenvalues $±i(l+2)/$ $(l=0,1,2,…)$ with degeneracy $D_l(4,1/2)= 2/3 (l+1)(l+2)(l+3)$ [ref] .

    One-loop Effective Action of the Holographic Antisymmetric Wilson Loop · Fermionic heat kernels · 1.00

  • The eigenvalues of the Dirac operator on $S^2$ take integer values [ref] , so that _ℓ (S^2)= ℓ R^-1 , ℓ=1,2,…For the 1+1 dimensional case, fermion energies on the $S^1⊂S^3$ are half-integer valued _ℓ (S^1)= (ℓ-12) R^-1 , ℓ=1,2,…Interestingly, the probe D-branes exhibit the same kind of instabilities we saw above for the D7-branes, but now at values of the chemical potential set by the fermion energy levels on $S^2$ and $S^1$.

    Spinning flavour branes and fermion pairing instabilities · D5 and D3$^'$ flavour branes in global $AdS_5$ · 0.81

  • Equation ([ref]) contains the degeneracy for the eigenvalues $±ił$ computed in [ref] .

    Phases of theories with fermions in AdS · Zero temperature: Euclidean AdS$_d+1$ · 0.89

Compares with it 4 papers
Cites it as support 1 paper
  • Since this type of compactification does not allow for a chiral zero-mode fermion in the four-dimensional (4D) effective spectrum [ref] , we restrict ourselves to a non-universal extra dimensional scenario.

    Multi-State Dark Matter from Spherical Extra Dimensions · Introduction · 0.97

Cites it as background 11 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.