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.
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
114 later papers cite it
1 later paper by other authors is listed below: 1 used its method or tool.
Uses its method or tool 1 of 22 papers with this label
-
Followed this paper's inductive construction, expressing gamma matrices in (N-1)+1 dimensions in terms of spacelike gamma matrices in (N-1) dimensions.
The eigenmodes for spinor quantum field theory in global de Sitter space-time (2020) · 0.98 · paraphrased: the licence does not allow quoting
How the literature uses it
98 arXiv papers cite this in 178 sentences
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$-dimensional 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$-dimensional 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
-
For zero coupling ($g=0$) the energy spectrum is $E=±(N+32)$ and the degeneracy was found to be [equation] in agreement with [ref] .
Fermions, Skyrmions and the 3-Sphere · Conclusion · 0.95
-
[ref] (up to shifts in the exponent which come from mass terms), as well as with the general expression for the zeta function in [ref] .
The Heat Kernel on AdS_3 and its Applications · The Coincident Heat Kernel · 0.99
-
In the conventions that we use here the eigenvalues of the Dirac operator on the hyperbolic space are purely imaginary as in Ref. [ref] (and therefore $K ∈ℝ$), whereas in Refs. [ref] , [ref] the eigenvalues of the Dirac operator on the hyperbolic space are real numbers.
Quasinormal frequencies of the Dirac field in the massless topological black hole · QNF of the Dirac field · 0.98
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
-
The explicit expressions for $ψ^⊥_λ,ω$ and $ψ_λ,ω$ on $ℍ^N$ are well known and can be found, e.g., in [ref] .
Propagators in AdS for higher-derivative and nonlocal gravity: Heat kernel approach · Heat kernel representation of D(box) · 0.83
-
A free fermion on a curved background which is conformally equivalent to $ℝ^d$ is studied in e.g. [ref] .
Free energy and defect $C$-theorem in free fermion · Boundary condition of fermion on HxS · 0.99
-
Its spectrum has been discussed in various coordinate systems [ref] .
Bulk-boundary entanglement correspondence and the Ryu-Takayanagi conjecture in an $AdS_2/CFT_1$ setup · Heat kernel and spectral density · 0.85
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.