Next Article in Journal
Evaluation of Interpolants in Their Ability to Fit Seismometric Time Series
Next Article in Special Issue
From Classical to Discrete Gravity through Exponential Non-Standard Lagrangians in General Relativity
Previous Article in Journal / Special Issue
On the Nature of the Tsallis–Fourier Transform
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Zeta Function Expression of Spin Partition Functions on Thermal AdS3

Department of Mathematics, University of Massachusetts, Amherst, MA 01003, USA
Mathematics 2015, 3(3), 653-665; https://doi.org/10.3390/math3030653
Submission received: 12 May 2015 / Accepted: 16 July 2015 / Published: 28 July 2015
(This article belongs to the Special Issue Mathematical physics)

Abstract

:
We find a Selberg zeta function expression of certain one-loop spin partition functions on three-dimensional thermal anti-de Sitter space. Of particular interest is the partition function of higher spin fermionic particles. We also set up, in the presence of spin, a Patterson-type formula involving the logarithmic derivative of zeta.

1. Introduction

A symposium in honor of A. Selberg, which commemorated his 70th birthday, was held in Oslo, Norway, during July of 1987. From that event, the volume [1], consisting of 30 invited lectures evolved, included a lecture by S. Patterson in which the construction of Selberg’s classic zeta function [2] was extended to cover certain discrete groups (Kleinian groups) Γ acting on real hyperbolic space H n whose fundamental domains, however, were of infinite hyperbolic volume. We denote this Patterson–Selberg (P-S) zeta function for a Kleinian group by Z Γ .
For the special case with n = 3 and with Γ generated by a loxodromic element, it was noticed first by the author (in the 2003 paper [3]) that Z Γ had some relevant connections to the Euclidean BTZ black hole [4]. For example, we were able to express BTZ effective action directly in terms of log Z Γ . Moreover, the zeros of Z Γ were shown to correspond to BTZ scattering resonances, in a follow up joint work with P. Perry [5], and black hole entropy connections were described in terms of a “deformation” of Z Γ [6,7,8,9,10]. Application of the BTZ scattering in [5] appears in the work of R. Aros and D. Diaz [11,12], for example, where a holographic formula is derived: a formula that relates the determinant of a scattering operator on a space asymptotically anti-de Sitter (AdS) to a “relative” determinant of a Laplacian in the bulk, a result that one can regard as an entry in the AdS/CFTdictionary.
In some later work, A. Bytsenko and M. Guimar a ˜ es [13,14] (and the author [15], independently) discovered a formula that expresses the one-loop AdS gravity partition function in terms of a quotient of products involving Z Γ ; see Formula Equation (27) of Section 3. It has also been shown in [16] that modular invariant partition functions for an extreme conformal field theory with central charge divisible by eight have an expression in terms of Z Γ . These preliminary remarks (where, again, we have focused only on hyperbolic three-space and the case of a single loxodromic generator of Γ) illustrate the natural appearances of the P-S zeta function Z Γ in the physics literature and its growing applications, of which further details are presented, for example, in the review article [10].
By way of private communication with R. Gopakumar, the author received (among other notes) three pages of “Notes on the heat kernel for A d S 3 ”, by J. David, M. Gaberdiel and R. Gopakumar, in which these authors find a product formula for the one-loop partition function for a massive spin field on thermal A d S 3 . They assert that their product “probably has an interpretation as a Selberg zeta function” [17]. We show in this paper (in Section 3, Formula (36)) that this indeed is the case. We use, in fact, the central result of these authors in the extended work [18] (Equation (6.9) there) to express, more generally, various one-loop spin partition functions on thermal A d S 3 in terms of the P-S zeta function Z Γ . This includes, in particular, the partition function for the gravitino (the super partner of the graviton) in N = 1 supergravity and the more general case of higher spin fermionic (and bosonic) particles.
We also establish a Gangolli–Patterson-type formula (Formula (49) in Section 4) that relates a certain transform of the heat kernel trace to the logarithmic derivative of Z Γ . The formula offers an interesting contrast to the result known in the spin zero case.
The author extends special thanks to Miss Zijing Zhang for her valued assistance in the preparation of this paper.

2. The Action of S L ( 2 , C ) on H 3 , Thermal A d S 3 , and the Patterson–Selberg Zeta Function

R , C will denote the field of real, complex numbers, respectively. H 3 = def { ( x , y , z ) R 3 | z > 0 } denotes real hyperbolic three-space, and H ˜ = def { u v v ¯ u ¯ | u , v C } denotes the ring of quaternions where the bar “ ” denotes complex conjugation. There are natural embeddings C H ˜ , H 3 H ˜ given by:
a [ a ] = def a 0 0 a ¯ , w = ( x , y , z ) [ w ] = def x + i y z z ¯ x + i y ¯
respectively, for a C , w H 3 , i 2 = 1 . Using these embeddings, one can define a standard linear fractional action of the complex special linear group G = S L ( 2 , C ) on H 3 as follows. For g = a b c d G , w = ( x , y , z ) H 3 , g · w H 3 is defined by:
[ g · w ] = def ( [ a ] [ w ] + [ b ] ) ( [ c ] [ w ] + [ d ] ) 1 H ˜ .
One computes that g · w is given explicitly by:
g · w = ( u , v , ω )
for:
ω = z ( | c t + d | 2 + | c | 2 z 2 ) 1 , t = def x + i y ,
u + i v = ( ( a t + b ) ( c t + d ) ¯ + a c ¯ z 2 ) ( | c t + d | 2 + | c | 2 z 2 ) 1 .
Elements of R 3 , H 3 can also be written as column vectors. In particular, for:
g = γ ( a , b ) = def e a + i b 0 0 e a i b , a , b R ,
the equations in Equation (4) reduce to:
g · x y z = e 2 a ( x cos 2 b y sin 2 b ) e 2 b ( x sin 2 b + y cos 2 b ) e 2 a z .
We have interest in the case a > 0 . For Z = the ring of integers, let:
Γ = Γ ( a , b ) = def { γ ( a , b ) n | n Z }
denote the subgroup of G generated by γ ( a , b ) . If τ = τ 1 + i τ 2 is in the upper 1/2-plane π + , for example (i.e., τ 1 , τ 2 R , I m τ = τ 2 > 0 ), then e π i τ = e a + i b for a = π τ 2 > 0 , b = π τ 1 , and we can form the (Euclidean) thermal A d S 3 quotient X τ = def Γ τ H 3 for Γ τ = def Γ ( π τ 2 , π τ 1 ) . Here, the action of Γ τ on H 3 is given by Equation (6). Equivalently, this action is given by Equation (4): γ ( π τ 2 , π τ 1 ) · w = ( u , v , ω ) for:
ω = z e 2 π τ 2 = | q | 1 z , u + i v = e 2 π i τ ( x + i y ) = q 1 ( x + i y ) , q = def e 2 π i τ ,
which is of the form given in [19,20,21], for example, with Z identified with Γ τ by way of the group isomorphism n γ ( π τ 2 , π τ 1 ) n = e π n i τ 0 0 e π n i τ (by Equation (5)) for n Z .
The Patterson–Selberg (P-S) zeta function corresponding to Γ ( a , b ) in Equation (7) is defined as the Euler product:
Z Γ ( a , b ) ( z ) = def 0 k 1 , k 2 Z [ 1 ( e 2 b i ) k 1 ( e 2 b i ) k 2 e ( k 1 + k 2 + z ) 2 a ] ,
which is an entire function of z C . Again, a more general definition is given in [1], for a discrete group Γ acting on H n . There is a function L defined on the 1/2-plane R e z > 0 , such that Z Γ ( a , b ) ( z ) = e L ( z ) . This function, which we denote by log Z Γ ( a , b ) , is given by:
log Z Γ ( a , b ) ( z ) = n = 1 e 2 a n ( z 1 ) 4 n [ sin 2 b n + sinh 2 a n ]
for R e z > 0 . Note that e 2 a n ( z ± i π / 2 a 1 ) = e 2 a n ( z 1 ) e i n π = ( 1 ) n e 2 a n ( z 1 ) , which by Equation (10) gives:
log Z Γ ( a , b ) ( z ± i π / 2 a ) = n = 1 ( 1 ) n e 2 a n ( z 1 ) 4 n [ sin 2 b n + sinh 2 a n ] .
We shall also need the logarithmic derivative:
Z Γ ( a , b ) ( z ) / Z Γ ( a , b ) ( z ) = a 2 n = 1 e 2 a n ( z 1 ) sin 2 n b + sinh 2 n a ,
for R e z > 0 . Similar to Equation (11), we have:
Z Γ ( a , b ) ( z ± i π 2 a ) / Z Γ ( a , b ) ( z ± i π 2 a ) = a 2 n = 1 ( 1 ) n e 2 a n ( z 1 ) sin 2 n b + sinh 2 n a
for R e z > 0 .

3. The Main Result and Some Examples

The central result of [18] is a formula for the heat kernel trace K ( s ) ( τ , τ ¯ ; t ) ( t > 0 ) for the spin Laplacian Δ ( s ) , with spin s, on thermal A d S 3 . This is Formula (6.9) there. A slightly modified version of it is the following, which takes into account the anti-periodicity of half-integral spin particles (like fermions, with s = 1 2 or 3 2 , for example):
K ( s ) ( τ , τ ¯ ; t ) = ( 2 δ s , 0 ) 4 π t n = 1 ( 1 ) n 2 s τ 2 e n 2 τ 2 2 4 t e ( s + 1 ) t cos ( n s τ 1 ) sin 2 n τ 1 2 + sinh 2 n τ 2 2 .
δ s , 0 is zero for s 0 and one for s = 0 . τ = τ 1 + i τ 2 π + ( τ 1 , τ 2 R , τ 2 > 0 , as before) is the modulus of the boundary torus T 2 of A d S 3 . The notation q = e 2 π i τ in Equation (8) of Section 2, which is that of [19,21], differs from the notation q = e i τ in [18]: the τ in [18] is 2 π τ in [19,21]. Thus, we take here X Γ = Γ H 3 as thermal A d S 3 , where Γ S L ( 2 , C ) is the subgroup generated by the element:
γ = e i τ / 2 0 0 e i τ / 2 .
In Formula (14), the infrared divergent term due to the infinite hyperbolic volume of X Γ is, by convention, neglected. 2 π τ 1 , 2 π τ 2 correspond respectively to the angular potential θ and inverse temperature β. The heat kernel on X Γ is obtained, of course, by averaging over Γ the heat kernel on H 3 (the method of images), and one obtains the trace K ( s ) ( τ , τ ¯ ; t ) by integration (over X Γ ) along the diagonal. In the spin zero case ( s = 0 ), a proof of Formula Equation (14) is given in [23], for example; also, see [24,25,26,27], for example.
We apply Formula Equation (14) in this section to set up a general formula (once and for all) that expresses the effective energy log ( Δ ( s ) + M ) in terms of the P-S zeta function. See Theorem 1, which we use to show that various zeta function expressions of one-loop partition functions can be derived, uniformly, by varying the spin and mass parameters s , M .
Start with the standard formula:
0 t 3 2 e A / 4 t e B t d t = 2 π A e A B , A > 0 , B 0 ,
to compute:
log det ( Δ ( s ) + M ) = def 0 K ( s ) ( τ , τ ¯ ; t ) e M t d t t .
Plug in Formula Equation (14) and commute the integration with the summation, as one would usually do. In the present case (for the choices A = n 2 τ 2 2 , B = s + 1 + M , with n 1 ), Formula Equation (16) gives:
log det ( Δ ( s ) + M ) = ( 2 δ ( s , 0 ) ) 2 n = 1 ( 1 ) n 2 s e n τ 2 s + 1 + M cos ( s n τ 1 ) n [ sin 2 n τ 1 2 + sinh 2 n τ 2 2 ]
for s + 1 + M 0 (since τ 2 > 0 by definition of τ). Thus, the main point is to express the sum in Equation (18) in terms of Z Γ , for a suitable choice of Γ.
For this, define z = 1 + s + 1 + M and write 2 cos ( s n τ 1 ) = e i s n τ 1 + e i s n τ 1 :
2 e n τ 2 s + 1 + M cos ( s n τ 1 ) = e n τ 2 ( z 1 ) e i s n τ 1 + e i s n τ 1 = e n τ 2 ( z i τ 1 s / τ 2 1 ) + e n τ 2 ( z + i τ 1 s / τ 2 1 )
which permits Equation (18) to be written as:
log det ( Δ ( s ) + M ) = ( 2 δ ( s , 0 ) ) 2 n = 1 ( 1 ) n 2 s [ e 2 n τ 2 2 ( z i τ 1 s / τ 2 1 ) + e 2 n τ 2 2 ( z + i τ 1 s / τ 2 1 ) ] 2 n [ sin 2 n τ 1 2 + sinh 2 n τ 2 2 ] .
We separate out the integral and half-integral spin cases. If s = m Z , then for n 1 , ( 1 ) n 2 s = 1 in Equation (20), and if s = ( 2 m + 1 ) / 2 , then ( 1 ) n 2 s = ( 1 ) n . In the latter case, the sum in Equation (20) is the sum:
2 log Z Γ ( τ 2 / 2 , τ 1 / 2 ) ( z i τ 1 s / τ 2 + i π / τ 2 ) 2 log Z Γ ( τ 2 / 2 , τ 1 / 2 ) ( z + i τ 1 s / τ 2 i π / τ 2 )
by Equation (11). In the former case s = m , we have by Equation (10) a similar sum of logs, but without the term i π / τ 2 . Going back to the definition of z and definition Equation (17), we have established:
Theorem 1. 
Let M R (possibly M < 0 ) with s + 1 + M 0 . The following formula holds:
log det ( Δ ( s ) + M ) = 2 [ log Z Γ τ ( 1 + s + 1 + M + i τ 1 s / τ 2 ) + log Z Γ τ ( 1 + s + 1 + M i τ 1 s / τ 2 ) ]
for integral spin s = 1 , 2 , 3 , 4 , , or:
2 [ log Z Γ τ ( 1 + s + 1 + M + i τ 1 s / τ 2 + i π / τ 2 ) + log Z Γ τ ( 1 + s + 1 + M i τ 1 s / τ 2 i π / τ 2 ) ] ,
for half-integral spin s = 1 2 , 3 2 , 5 2 , 7 2 , , where the Patterson–Selberg zeta function Z Γ τ is given by definition Equation (9) for the choice ( a , b ) = ( τ 2 / 2 , τ 1 / 2 ) there. That is Γ τ = Γ ( τ 2 / 2 , τ 1 / 2 ) = def { γ τ n | n Z } is the subgroup of S L ( 2 , C ) generated by the element:
γ τ = def e ( τ 2 + i τ 1 ) / 2 0 0 e ( τ 2 + i τ 1 ) / 2 = e i τ ¯ / 2 0 0 e i τ ¯ / 2
as in Equation (5) and Equation (7). Consequently, we also have (since Z Γ ( z ) ¯ = Z Γ ( z ¯ ) ):
det ( Δ ( s ) + M ) = Z Γ τ ( 1 + s + 1 + M + i τ 1 s / τ 2 + i π / τ 2 ) 2 Z Γ τ ( 1 + s + 1 + M i τ 1 s / τ 2 i π / τ 2 ) 2 = | Z Γ τ ( 1 + s + 1 + M + i τ 1 s / τ 2 + i π / τ 2 ) | 4
for s = 1 2 , 3 2 , 5 2 , 7 2 , , where the term ± i π / τ 2 is neglected for s = 1 , 2 , 3 , 4 , .
Note that the Γ τ here differs from the Γ τ in Section 2, which is not an issue. We have focused on the case s 0 for the applications we have in mind.
Since various one-loop partition functions are given in terms of det ( Δ ( s ) + M ) , for suitable s , M , we can use the preceding formula to express these functions in terms of Z Γ τ . In what follows are some examples (that draw freely from the results and notation in the literature) where, for convenience, we shall write Γ for Γ τ = Γ ( τ 2 / 2 , τ 1 / 2 ) .
From (7.7) of [18], for example,
Z 1 l o o p g r a v i t o n = [ det ( Δ ( 1 ) + 2 ) ] 1 / 2 / [ det ( Δ ( 2 ) 2 ) ] 1 / 2
Thus, by Equation (25):
Z 1 l o o p g r a v i t o n = Z Γ ( 3 + i τ 1 τ 2 ) 2 / Z Γ ( 2 + 2 i τ 1 τ 2 ) 2 = Z Γ ( 3 + i τ 1 τ 2 ) Z Γ ( 3 i τ 1 τ 2 ) Z Γ ( 2 + 2 i τ 1 τ 2 ) Z Γ ( 2 2 i τ 1 τ 2 ) ,
where, again, we use that Z Γ ( z ) ¯ = Z Γ ( z ¯ ) . As indicated in the Introduction, Formula Equation (27) was found by A. Bytsenko and M. Guimarães [13], as well as (independently) by the author; see Theorem 3.26 on page 337 of [15]. Equation (27) corrects the slight error in the version given on page 337 in [13].
For the Majorana gravitino of N = 1 supergravity, one has by (7.27) of [18], for example,
Z 1 l o o p g r a v i t i n o = det ( Δ ( 3 / 2 ) 9 / 4 ) det ( Δ ( 1 / 2 ) + 3 / 4 ) 1 2
which, by Equation (25), can be expressed as:
Z 1 l o o p g r a v i t i n o = Z Γ ( 3 2 + i 3 2 τ 1 τ 2 + i π τ 2 ) 2 Z Γ ( 5 2 + i 2 τ 1 τ 2 + i π τ 2 ) 2 = Z Γ ( 3 2 + i 3 2 τ 1 τ 2 + i π τ 2 ) Z Γ ( 3 2 i 3 2 τ 1 τ 2 i π τ 2 ) Z Γ ( 5 2 + i 2 τ 1 τ 2 + i π τ 2 ) Z Γ ( 5 2 i 2 τ 1 τ 2 i π τ 2 ) .
Furthermore, compare Formula (3.11) of [14].
Z 1 l o o p g r a v i t i n o is also computed “from scratch” in [28].
Regarding some remarks in the Introduction, we show, affirmatively, in the next example that the one-loop partition function Z 1 l o o p on A d S 3 computed in [17] for a spin s field of mass m 0 indeed has an interpretation in terms of a suitable Selberg-type zeta function, as these authors suspected. Their Formula (14) is:
Z 1 l o o p = k , l 0 ( 1 q h s + k q ¯ h ¯ s + l ) 1 ( 1 q h ¯ s + k q ¯ h s + l ) 1
where k , l Z , q = e i τ , h s = def ( z + s ) / 2 , h ¯ s = def ( z s ) / 2 for z = def 1 + ( s 1 ) 2 + m o 2 . We show therefore that the product in Equation (30) is expressible in terms of the P-S zeta function Z Γ in Equation (9) for Γ = Γ ( a , b ) , where in fact, we take a = τ 2 / 2 , b = τ 1 / 2 · τ = τ 1 + i τ 2 τ / 2 = b + i a , τ ¯ / 2 = b i a . Then:
q h s + k q ¯ h ¯ s + l = e i τ ( h s + k ) e i τ ( h ¯ s + l ) = d e f e i τ 2 ( z + s + 2 k ) e i τ ¯ 2 ( z s + l ) = e i ( b + i a ) ( z + s + 2 k ) e i ( b i a ) ( z s + 2 l ) ,
which simplifies to:
e 2 i b s + 2 i b k 2 i b l 2 a z 2 a k 2 a l = e 2 i b s ( e 2 b i ) k ( e 2 b i ) l e ( k + l + z ) 2 a .
Similarly:
q h ¯ s + k q ¯ h s + l = e 2 i b s ( e 2 b i ) k ( e 2 b i ) l e ( k + l + z ) 2 a .
By definition Equation (9) (for any z C ):
Z Γ ( a , b ) ( z ± i b a s ) = 0 k , l Z 1 ( e 2 b i ) k ( e 2 b i ) l e ( k + l + z ) 2 a e 2 b s i ,
which, by Equation (32) and Equation (33), gives for Γ = Γ ( a , b ) :
Z Γ ( z + i b a s ) = k , l 1 q h ¯ s + k q ¯ h s + l , Z Γ ( z i b a s ) = k , l 1 q h s + k q ¯ h ¯ s + l = Z Γ ( z + i b a s ) ¯ .
Therefore, by definition of z , a , b , we can express Formula Equation (30), for Γ = Γ ( τ 2 / 2 , τ 1 / 2 ) , as:
Z 1 l o o p = Z Γ ( 1 + ( s 1 ) 2 + m 0 2 + i s τ 1 / τ 2 ) 2 = Z Γ ( 1 + ( s 1 ) 2 + m 0 2 + i s τ 1 / τ 2 ) 1 Z Γ ( 1 + ( s 1 ) 2 + m 0 2 i s τ 1 / τ 2 ) 1 .
Formula Equation (29), which involves fermions of spin 1 2 , 2 3 , can be completely generalized, which we now show. In their study of M. Vasiliev’s higher spin supergravity on A d S 3 , T. Creutzig, Y. Hikida and P. Rϕnne [29] obtain in their Equation (3.7) one of their main results: the computation of the one-loop determinant Z F ( s ) (in their notation) for higher spin fermionic particles:
Z F ( s ) = det 1 2 Δ + ( s + 1 2 ) ( s 5 2 ) T T ( s + 1 2 ) det 1 2 Δ + ( s 1 2 ) ( s + 1 2 ) T T ( s 1 2 ) = n = s | 1 + q n + 1 / 2 | 2
for q = e 2 π i τ . In this notation, which we shall translate to our earlier notation, it is emphasized that the Laplacian Δ on A d S 3 is restricted to act on transverse, traceless components of spin s + 1 2 , s 1 2 gauge fields.
For our purpose, and for consistency with earlier notation, we start with an arbitrary half-integral spin s = ( 2 m + 1 ) / 2 , m = 1 , 2 , 3 , 4 , Then, for us, the determinant quotient in Equation (37), which we shall also denote by Z F ( m ) , means:
Z F ( s ) = Z F ( m ) = det ( Δ ( m + 1 2 ) + ( m + 1 2 ) ( m 5 2 ) ) det ( Δ ( m 1 2 ) + ( m 1 2 ) ( m + 1 2 ) ) 1 2 .
Thus, for m = 1 , for example, Z F ( 1 ) is exactly the one-loop partition function for the gravitino given in Equation (28) and Equation (29). We generalize Equation (29) by expressing Z F ( m ) , similarly, in terms of the P-S zeta function Z Γ , again for Γ = Γ τ . Note first that for M = ( m + 1 2 ) ( m 5 2 ) , ( m 1 2 ) ( m + 1 2 ) , respectively, s + 1 + M = ( m + 1 2 ) + 1 + M = ( 2 m 1 ) 2 / 4 , ( s 1 ) + 1 + M = ( m 1 2 ) + 1 + ( m 1 2 ) ( m + 1 2 ) = ( 2 m + 1 ) 2 / 4 , respectively. Therefore, 1 + s + 1 + M , 1 + ( s 1 ) + 1 + M = ( 1 + 2 m ) / 2 , ( 3 + 2 m ) / 2 , respectively, so that Theorem 1 gives:
Z F ( m ) = Z Γ τ ( ( 1 + 2 m ) / 2 + i ( m + 1 2 ) τ 1 / τ 2 + i π / τ 2 ) 2 Z Γ τ ( ( 3 + 2 m ) / 2 + i ( m 1 2 ) τ 1 / τ 2 + i π / τ 2 ) 2 = Z Γ τ ( s + i s τ 1 / τ 2 + i π / τ 2 ) 2 Z Γ τ ( s + 1 + i ( s 1 ) τ 1 / τ 2 + i π / τ 2 ) 2 = Z Γ τ ( s + i s τ 1 / τ 2 + i π / τ 2 ) Z Γ τ ( s i s τ 1 / τ 2 i π / τ 2 ) Z Γ τ ( s + 1 + i ( s 1 ) τ 1 / τ 2 + i π / τ 2 ) Z Γ τ ( s + 1 i ( s 1 ) τ 1 / τ 2 i π / τ 2 )
for s = ( 2 m + 1 ) / 2 , m = 1 , 2 , 3 , 4 , , which is the desired generalization of Formula Equation (29) and which covers the higher spin fermionic particles considered in [29].
Similarly, M. Gaberdiel, R. Gopakumar and A. Saha in [30] compute the one-loop partition function Z B ( s ) (B for bosons) for quadratic fluctuations of fields about a thermal A d S 3 background:
Z B ( s ) = det ( Δ ( s 1 ) + s ( s 1 ) ) det ( Δ ( s ) + s ( s 3 ) ) 1 2 = n = s 1 | 1 q n | 2
for s = 2 , 3 , 4 , 5 , , q = e i τ . Noting that ( s 1 ) + 1 + s ( s 1 ) , s + 1 + s ( s 3 ) = s , s 1 , respectively, we obtain from Theorem 1:
Z B ( s ) = | Z Γ τ ( 1 + s + i ( s 1 ) τ 1 / τ 2 ) | 2 | Z Γ τ ( s + i s τ 1 / τ 2 ) | 2 = Z Γ τ ( 1 + s + i ( s 1 ) τ 1 / τ 2 ) Z Γ τ ( 1 + s i ( s 1 ) τ 1 / τ 2 ) Z Γ τ ( s + i s τ 1 / τ 2 ) Z Γ τ ( s i s τ 1 / τ 2 ) .
Thus, in the pure gravity case, with s = 2 in particular, Formula (41) reduces to Formula Equation (27) for the one-loop partition function of the graviton.

4. A Gangolli–Patterson-Type Formula in the Presence of Spin

In this section, we present a new formula (in Theorem 2) that directly relates a particular integral transform of the heat kernel trace K ( s ) ( τ , τ ¯ ; t ) in Equation (14) to the logarithmic derivative of Z Γ τ . In the spin zero case, the formula reduces to Equation (50) and Equation (51) below, which is that of [9,23], for example. Furthermore, the formula is, in fact, an exact analogue of R. Gangolli’s Formula (2.39) in [22] for the case of the generalized Selberg zeta function attached to a space form X Γ 0 = Γ 0 G 0 / K 0 of a rank one symmetric space G 0 / K 0 , where K 0 is a maximal compact subgroup of a non-compact semisimple Lie group G 0 and where Γ 0 G 0 is a discrete subgroup, such that Γ 0 / G 0 is compact. Here, we note that for G 0 = S L ( 2 , C ) , K 0 = S U ( 2 ) , H 3 = ( i ) G 0 / K 0 is indeed a rank one symmetric space, but for Γ 0 = Γ τ , Γ 0 / G 0 , however, is not compact. A proof of the quotient structure (i) relies on the action of S L ( 2 , C ) on H 3 discussed in Section 1 and can be found in Appendix A2 of [9], for example.
The first step is to apply the Laplace transform formula:
0 e α t t 1 / 2 e β / 4 t d t = π α e α β , R e α > 0 , R e β 0
with the choices α = z ( z 2 ) + s + 1 = ( z 1 ) 2 + s , β = n 2 τ 2 2 > 0 for z C , n 1 . Thus, we assume that R e ( z 1 ) 2 + s > ( i i ) 0 :
0 e z ( z 2 ) t e n 2 τ 2 2 / 4 t e ( s + 1 ) t t 1 / 2 d t = π ( z 1 ) 2 + s e n τ 2 ( z 1 ) 2 + s .
Again, commute the integration with the summation in Equation (14), assuming (ii). Equation (43) gives:
0 e z ( z 2 ) t K ( s ) ( τ , τ ¯ ; t ) d t = ( 2 δ s , 0 ) τ 2 4 ( z 1 ) 2 + s n = 1 ( 1 ) 2 n s ( cos ( s n τ 1 ) ) e n τ 2 ( z 1 ) 2 + s sin 2 n τ 1 2 + sinh 2 n τ 2 2 .
The second step, which is the main step (as in the argument to establish Theorem 1), is to relate the sum in Equation (44) to Z Γ τ , i.e., specifically to the logarithmic derivative of Z Γ τ . For this, let:
w ± = def 1 + ( z 1 ) 2 + s ± i s τ 1 τ 2 .
Then, for Γ = Γ ( τ 2 / 2 , τ 1 / 2 ) , Equation (13) gives:
Z Γ ( w ± ± i π τ 2 ) / Z Γ ( w ± ± i π τ 2 ) = τ 2 4 n = 1 ( 1 ) n e n τ 2 ( z 1 ) 2 + s ± i s τ 1 τ 2 sin 2 n τ 1 2 + sinh 2 n τ 2 2 .
In other words, we see that by Equation (46):
Z Γ ( w + ± i π τ 2 ) / Z Γ ( w + ± i π τ 2 ) + Z Γ ( w ± i π τ 2 ) / Z Γ ( w ± i π τ 2 ) = τ 2 4 n = 1 ( 1 ) n e n τ 2 ( z 1 ) 2 + s 2 cos n s τ 1 sin 2 n τ 1 2 + sinh 2 n τ 2 2 = ( z 1 ) 2 + s 0 e z ( z 2 ) t K ( s ) ( τ , τ ¯ ; t ) d t
for s = 1 2 , 3 2 , 5 2 , 7 2 , . In the integral case s = 0 , 1 , 2 , 3 , , use Equation (11) (instead of Equation (13)) to conclude, similarly, that:
Z Γ ( w + ) / Z Γ ( w + ) + Z Γ ( w ) / Z Γ ( w ) = τ 2 4 n = 1 e n τ 2 ( z 1 ) 2 + s 2 cos n s τ 1 sin 2 n τ 1 2 + sinh 2 n τ 2 2 = 2 ( z 1 ) 2 + s 2 δ s , 0 0 e z ( z 2 ) t K ( s ) ( τ , τ ¯ ; t ) d t ,
again by Equation (44). All of this gives:
Theorem 2. 
For z C with R e ( z 1 ) 2 + s > 0 , for Γ = Γ ( τ 2 / 2 , τ 1 / 2 ) , as in Theorem 1, and for the heat kernel trace K ( s ) ( τ , τ ¯ ; t ) in Equation (14), one has that:
0 e z ( z 2 ) t K ( s ) ( τ , τ ¯ ; t ) d t = 1 ( z 1 ) 2 + s Z Γ ( 1 + ( z 1 ) 2 + s + i s τ 1 τ 2 + i π τ 2 ) Z Γ ( 1 + ( z 1 ) 2 + s + i s τ 1 τ 2 + i π τ 2 ) + Z Γ ( 1 + ( z 1 ) 2 + s i s τ 1 τ 2 + i π τ 2 ) Z Γ ( 1 + ( z 1 ) 2 + s i s τ 1 τ 2 + i π τ 2 )
for s = 1 2 , 3 2 , 5 2 , 7 2 , . The term + i π τ 2 could be replaced by i π τ 2 . For s = 0 , 1 , 2 , 3 , , the formula in Equation (49) holds if we neglect the term + i π τ 2 and multiply the right-hand side there by ( 2 δ s , 0 ) / 2 , which is one for s 0 and is 1 / 2 for s = 0 . Thus, for integral spin s = 0 , 1 , 2 , 3 , , Equation (49) is replaced by Formula Equation (48), again with w ± defined in Equation (45).
In Theorem 2, we are mainly interested in the case s 0 : s > 0 . In particular, the hypothesis R e ( z 1 ) 2 + s > 0 holds if R e ( z 1 ) 2 0 . For z = x + i y , the latter condition is ( x 1 ) 2 y , the graph of this inequality being the set of points ( x , y ) R 2 in the two shaded areas below (including the boundaries y = ± ( x 1 ) ):
Mathematics 03 00653 i001
In case s = 0 , we can use that for the branch of the square root with π a r g w < π , and one has w 2 = w for π 2 a r g w < π 2 : ( z 1 ) 2 = z 1 for π 2 a r g ( z 1 ) < π 2 . We also assume R e ( z 1 ) 2 > 0 (for s = 0 ). Both of these conditions hold for z in the right side of the shaded area above (with the boundaries y = ± ( x 1 ) not included):
0 e z ( z 2 ) t K ( 0 ) ( τ , τ ¯ ; t ) d t = 1 ( z 1 ) Z Γ ( z ) / Z Γ ( z ) .
Here, by Equation (14),
K ( 0 ) ( τ , τ ¯ ; t ) = τ 2 4 π t n = 1 e n 2 τ 2 2 / 4 t e t sin 2 n τ 1 2 + sinh 2 n τ 2 2
and as we have indicated earlier, with references given, Formula Equation (50) was already known for s = 0 . In [9], for example, K ( 0 ) ( τ , τ ¯ ; t ) is denoted by t r K t * Γ , and Formula Equation (50) is proven for R e z > 1 (a domain of z larger than the right side of the shaded area above). Moreover, in that reference (again, where the notation a , b here and there corresponds to τ 2 / 2 , τ 1 / 2 , respectively), we show that the transform of K ( 0 ) ( τ , τ ¯ ; t ) in Equation (50) coincides with the trace of the resolvent kernel G 0 Γ (or Green’s function) of the Laplacian Δ ( 0 ) :
0 e z ( z 2 ) t K ( 0 ) ( τ , τ ¯ ; t ) d t = Γ / H 3 G 0 Γ ( p , p ; z ) d v ( p )
for R e z > 1 , where d v = d x d y d z / z 3 is the hyperbolic volume element. This means that one can think of Formula Equation (49) as a type of “spin version” of Patterson’s formula: Proposition 3.3 in [1]; our normalization of Z Γ differs from his by a factor of two. A version of Patterson’s formula is also developed in [9] for the BTZ black hole with a conical singularity [4,6].

Conflicts of Interest

The author declares no conflict of interest.

Errata

The review article [10] was referenced in the Introduction. We take this opportunity to correct some minor errors therein.
  • The statement X a = def Γ a H 2 = def { 1 n a 0 1 | n Z } in Equation (40) should read X a = def Γ a H 2 , Γ a = def { 1 n a 0 1 | n Z } .
  • In Equation (58), a parenthesis should be added: I s 1 2 ( 2 π | n | y 2 a should read I s 1 2 ( 2 π | n | y 2 a ) .
  • In the third sentence following Equation (63), the phrase “extended to deformation (14)” should read “extended to the deformation (14)”. Thus, in the article, “the” should be added.
  • In the sentence that concludes Section 4, the phrase “single zero s = 1 2 of z” should read “single non-trivial zero s = 1 2 of z”, since clearly, the gamma function used in Definition (72) has trivial zeros at s = 1 2 , 3 2 , 5 2 , .
  • The phrase “By the second Formula in (46)” that precede Equation (82) should read (simply) “By Formula (47)”.
  • The phrase “Fourier transform of f ^ t ( x ) ” that follows Equation (86) should read “Fourier transform of f t ( x ) ”.
  • In Equation (89), we should have parentheses: K i r 2 π n y a should read K i r ( 2 π n y a ) .
  • In Equation (50), we need another parenthesis: G a ( x 1 + n 1 a , y 1 ) , ( x 2 + n 2 a , y ) ; s ) should read G a ( ( x 1 + n 1 a , y 1 ) , ( x 2 + n 2 a , y ) ; s ) .

References

  1. Patterson, S. The Selberg zeta function of a Kleinian group. In Number Theory, Trace Formulas and Discrete Groups; Aubert, K., Bombieri, E., Goldfeld, D., Eds.; Academic Press: Waltham, MA, USA, 1989; pp. 409–441. [Google Scholar]
  2. Selberg, A. Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series. J. Indian Math. Soc. 1956, 20, 47–87. [Google Scholar]
  3. Williams, F. A zeta function for the BTZ black hole. Int. J. Mod. Phys. A 2003, 18, 2205–2209. [Google Scholar] [CrossRef]
  4. Bañados, M.; Teitelboim, C.; Zanelli, J. Black hole in three-dimensional spacetime. Phys. Rev. Lett. 1992, 69, 1849–1851. [Google Scholar] [CrossRef] [PubMed]
  5. Perry, P.; Williams, F. Selberg zeta function and trace formula for the BTZ black hole. Int. J. Pure Appl. Math. 2003, 9, 1–21. [Google Scholar]
  6. Williams, F. Conical defect zeta function for the BTZ black hole. In Proceedings of the Einstein Symposium, Iasi, Romania, 2005; pp. 54–58.
  7. Williams, F. A deformation of the Patterson-Selberg zeta function. In Proceedings of the XVI Coloquio Latino-Americano De A´lgebra, Colonia, Uruguay, 2005; pp. 109–114.
  8. Williams, F. Note on Quantum Correction to BTZ Instanton Entropy. In Proceedings of the Fifth International Conference on Mathematical Methods in Physics, Rio de Janeiro, Brazil, 24–28 April 2006.
  9. Williams, F. A resolvent trace formula for the BTZ black hole with conical singularity. In Contemporary Mathematics, Council for African American Researchers in the Mathematical Sciences; Noël, A.G., King, D.R., N’Guérékata, G.M., Goins, E.H., Eds.; American Mathematical Society: Providence, RI, USA; Volume 467, pp. 49–62.
  10. Williams, F. Remarks on the Patterson-Selberg zeta function, black hole vacua and extremal CFT partition functions. J. Phys. A 2012, 45. [Google Scholar] [CrossRef]
  11. Diaz, D. Holographic formula for the determinant of the scattering operator in thermal AdS. J. Phys. A 2009, 42. [Google Scholar] [CrossRef]
  12. Aros, R.; Diaz, D. Functional determinants, generalized BTZ geometries and Selberg zeta function. J. Phys. A 2010, 43. [Google Scholar] [CrossRef]
  13. Bytsenko, A.; Guimarães, M. Truncated heat kernel and one-loop determinants for the BTZ geometry. Eur. Phys.J. C 2008, 58, 511–516. [Google Scholar] [CrossRef]
  14. Bytsenko, A.; Guimarães, M. Partition functions of three-dimensional quantum gravity and the black hole entropy. J. Phys. 2009, 161. [Google Scholar] [CrossRef]
  15. Williams, F. The role of the Patterson-Selberg zeta function of a hyperbolic cylinder in three-dimensional gravity with a negative cosmological constant. In A Window into Zeta and Modular Physics; Kirsten, K., Williams, F., Eds.; Mathematical Sciences Research Institute Publications 57 and Cambridge University Press: Cambridge, UK, 2010; pp. 329–351. [Google Scholar]
  16. Williams, F. Remainder formula and zeta expression for extremal CFT partition functions. In Symmetry: Representation Theory and Its Applications-In Honor of Nolan R. Wallach; Howe, R., Hunziker, M., Willenbring, J., Eds.; Springer: New York, NY, USA, 2014; Volume 257, pp. 505–518. [Google Scholar]
  17. David, J.; Gaberdiel, M.; Gopakumar, R. Notes on the heat kernel for AdS3. Notes communicated to the author by R. Gopakumar.
  18. David, J.; Gaberdiel, M.; Gopakumar, R. The heat kernel on AdS3 and its applications. J. High Energy Phys. 2010, 4. [Google Scholar] [CrossRef]
  19. Giombi, S.; Maloney, A.; Yin, X. One-loop partition functions of 3D gravity. J. High Energy Phys. 2008, 8. [Google Scholar] [CrossRef]
  20. Giombi, S. One-Loop Partition Functions of 3D Gravity, Harvard University Lecture; Harvard University: Cambridge, MA, USA, 2008. [Google Scholar]
  21. Maloney, A.; Witten, E. Quantum gravity partition functions in three dimensions. J. High Energy Phys. 2010, 2. [Google Scholar] [CrossRef]
  22. Gangolli, R. Zeta functions of Selberg’s type for compact space forms of symmetric spaces of rank one. Illinois J. Math. 1977, 21, 1–42. [Google Scholar]
  23. Bytsenko, A.; Guimarães, M.; Williams, F. Remarks on the spectrum and truncated heat kernel of the BTZ black hole. Lett. Math. Phys. 2007, 79, 203–211. [Google Scholar] [CrossRef]
  24. Bytsenko, A.; Vanzo, L.; Zerbini, S. Quantum corrections to the entropy of the (2+1)-dimensional black hole. Phys. Rev. D 1998, 57, 4917–4924. [Google Scholar] [CrossRef]
  25. Dodziuk, J.; Jorgenson, J. Spectral asymptotics on degenerating hyperbolic 3-manifolds. Memoirs Am. Math. Soc. 1998, 135. [Google Scholar] [CrossRef]
  26. Mann, R.; Solodukhin, S. Quantum scalar field on a three-dimensional (BTZ) black hole instanton: Heat kernel, effective action, and thermodynamics. Phys. Rev. D 1997, 55, 3622–3632. [Google Scholar] [CrossRef]
  27. Perry, P. Heat trace and zeta function for the hyperbolic cylinder in three dimensions. Unpublished work. 2001. [Google Scholar]
  28. Zhang, H.; Zhang, X. One loop partition function from normal modes for = 1 supergravity in AdS3. Class. Quantum Gravity 2012, 29. [Google Scholar] [CrossRef]
  29. Creutzig, T.; Hikida, Y.; Rϕnne, P. Higher spin AdS3 supergravity and its dual CFT. J. High Energy Phys. 2012, 1202. [Google Scholar] [CrossRef]
  30. Gaberdiel, M.; Gopakumar, R.; Saha, A. Quantum 𝕎-symmetry in AdS3. J. High Energy Phys. 2011, 1102. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

L.Williams, F. Zeta Function Expression of Spin Partition Functions on Thermal AdS3. Mathematics 2015, 3, 653-665. https://doi.org/10.3390/math3030653

AMA Style

L.Williams F. Zeta Function Expression of Spin Partition Functions on Thermal AdS3. Mathematics. 2015; 3(3):653-665. https://doi.org/10.3390/math3030653

Chicago/Turabian Style

L.Williams, Floyd. 2015. "Zeta Function Expression of Spin Partition Functions on Thermal AdS3" Mathematics 3, no. 3: 653-665. https://doi.org/10.3390/math3030653

Article Metrics

Back to TopTop