preliminary draft: 5/1/117 15:26

AdS two-point function: relevant formulae

Metric for Euclidean AdSd+1 :

dz 2 + dxi dxi
ds2 = (1) a
z2
Scalar action action:
( )
1
S= dzd x g + ( d)
d 2
2
(2)
1  b
= dd x gg zz z z= + ( = 0 by e.o.m.)
2

Fourier transform
dd p ipx
(z, x) = e (z, p) (3) c
(2)d
Solution to wave equation that is smooth in interior of AdS:

(z, p) = A(p)z d/2 K (z|p|) , = d/2 (4) d

Expansion of Bessel function for small argument ( non-integer)

( ) ( 12 z)+2k
K (z) = I (z) I (z) , I (z) = (5) e
2 sin() k!( + k + 1)
k=0

We define the source in momentum space as J(p) = d (, p). We aim to express the
action in terms of the source,

dd p dd q
S = G2 (p, q)J(p)J(q) (6) f
(2)d (2)d

where we have imposed the cuto z = . G2 is the 2-point function we are after. To
proceed:
1) Show that the part of S that is divergent as 0 is a local function of the source,
which can be dropped if we are interested in the correlator at separated points in position
space.
2) Compute the nonlocal part in the limit 0, and from this read o the momentum
space correlator. The Fourier transform back to position space takes a bit of work.