Holographic dual of the five-point conformal block

Sarthak Parikh

arXiv:1901.01267·hep-th·June 21, 2019

Holographic dual of the five-point conformal block

Sarthak Parikh

PDF

TL;DR

This paper introduces a holographic object that computes five-point conformal blocks in arbitrary dimensions, generalizing four-point diagrams, and proves its validity through eigenfunction analysis inspired by p-adic models.

Contribution

It presents a novel holographic construction for five-point conformal blocks, extending previous four-point diagram methods and providing a new computational tool.

Findings

01

The holographic object computes five-point conformal blocks in any dimension.

02

The sum over geodesic bulk diagrams is an eigenfunction of the conformal Casimir.

03

The approach is inspired by p-adic models on the Bruhat-Tits tree.

Abstract

We present the holographic object which computes the five-point global conformal block in arbitrary dimensions for external and exchanged scalar operators. This object is interpreted as a weighted sum over infinitely many five-point geodesic bulk diagrams. These five-point geodesic bulk diagrams provide a generalization of their previously studied four-point counterparts. We prove our claim by showing that the aforementioned sum over geodesic bulk diagrams is the appropriate eigenfunction of the conformal Casimir operator with the right boundary conditions. This result rests on crucial inspiration from a much simpler $p$ -adic version of the problem set up on the Bruhat-Tits tree.

Equations142

⟨ O_{1} (x_{1}) \dots O_{4} (x_{4})⟩ = O \sum C_{12 O} C_{34 O} W_{Δ, ℓ}^{Δ_{1}, \dots, Δ_{4}} (x_{i}),

⟨ O_{1} (x_{1}) \dots O_{4} (x_{4})⟩ = O \sum C_{12 O} C_{34 O} W_{Δ, ℓ}^{Δ_{1}, \dots, Δ_{4}} (x_{i}),

W_{Δ_{a}}^{Δ_{1}, Δ_{2}, Δ_{3}, Δ_{4}} (x_{i})

W_{Δ_{a}}^{Δ_{1}, Δ_{2}, Δ_{3}, Δ_{4}} (x_{i})

G_{Δ_{a}}^{Δ_{1}, Δ_{2}, Δ_{3}, Δ_{4}} (u_{1}, u_{2}) = u_{1}^{Δ_{a} /2} m_{1}, m_{2} = 0 \sum \infty \frac{u _{1}^{m_{1}} ( 1 - u _{2} ) ^{m_{2}}}{m _{1} ! m _{2} !} \frac{( Δ _{a 1, 2} ) _{m_{1}} ( Δ _{a 4, 3} ) _{m_{1}}}{( Δ _{a} - n /2 + 1 ) _{m_{1}}} \frac{( Δ _{a 2, 1} ) _{m_{1} + m_{2}} ( Δ _{a 3, 4} ) _{m_{1} + m_{2}}}{( Δ _{a} ) _{2 m_{1} + m_{2}}}

G_{Δ_{a}}^{Δ_{1}, Δ_{2}, Δ_{3}, Δ_{4}} (u_{1}, u_{2}) = u_{1}^{Δ_{a} /2} m_{1}, m_{2} = 0 \sum \infty \frac{u _{1}^{m_{1}} ( 1 - u _{2} ) ^{m_{2}}}{m _{1} ! m _{2} !} \frac{( Δ _{a 1, 2} ) _{m_{1}} ( Δ _{a 4, 3} ) _{m_{1}}}{( Δ _{a} - n /2 + 1 ) _{m_{1}}} \frac{( Δ _{a 2, 1} ) _{m_{1} + m_{2}} ( Δ _{a 3, 4} ) _{m_{1} + m_{2}}}{( Δ _{a} ) _{2 m_{1} + m_{2}}}

u_{1} = \frac{x _{12}^{2} x _{34}^{2}}{x _{13}^{2} x _{24}^{2}} u_{2} = \frac{x _{14}^{2} x _{23}^{2}}{x _{13}^{2} x _{24}^{2}} .

u_{1} = \frac{x _{12}^{2} x _{34}^{2}}{x _{13}^{2} x _{24}^{2}} u_{2} = \frac{x _{14}^{2} x _{23}^{2}}{x _{13}^{2} x _{24}^{2}} .

(a)_{m} \equiv Γ (a + m) /Γ (a) .

(a)_{m} \equiv Γ (a + m) /Γ (a) .

W_{Δ}^{Δ_{1}, \dots, Δ_{4}} (x_{i}) = \frac{1}{C _{12 O} C _{34 O}} ⟨ O_{1} (x_{1}) O_{2} (x_{2}) P_{Δ} O_{3} (x_{3}) O_{4} (x_{4})⟩,

W_{Δ}^{Δ_{1}, \dots, Δ_{4}} (x_{i}) = \frac{1}{C _{12 O} C _{34 O}} ⟨ O_{1} (x_{1}) O_{2} (x_{2}) P_{Δ} O_{3} (x_{3}) O_{4} (x_{4})⟩,

P_{Δ} = k \sum ∣ P^{k} O ⟩ ⟨ P^{k} O ∣,

P_{Δ} = k \sum ∣ P^{k} O ⟩ ⟨ P^{k} O ∣,

W_{Δ}^{Δ_{1}, \dots, Δ_{4}} (x_{i}) \equiv \iint_{w \in γ_{12} w^{'} \in γ_{34}} \hat{K}_{Δ_{1}} (x_{1}, w) \hat{K}_{Δ_{2}} (x_{2}, w) \hat{G}_{Δ} (w, w^{'}) \hat{K}_{Δ_{3}} (x_{3}, w^{'}) \hat{K}_{Δ_{4}} (x_{4}, w^{'}),

W_{Δ}^{Δ_{1}, \dots, Δ_{4}} (x_{i}) \equiv \iint_{w \in γ_{12} w^{'} \in γ_{34}} \hat{K}_{Δ_{1}} (x_{1}, w) \hat{K}_{Δ_{2}} (x_{2}, w) \hat{G}_{Δ} (w, w^{'}) \hat{K}_{Δ_{3}} (x_{3}, w^{'}) \hat{K}_{Δ_{4}} (x_{4}, w^{'}),

{\cal W}_{\Delta}^{\Delta_{1},\Delta_{2},\Delta_{3},\Delta_{4}}(x_{1},x_{2},x_{3},x_{4})=\vbox{\hbox{\leavevmode\hbox{\set@color \leavevmode\hbox to153.03pt{\vbox to91.85pt{\pgfpicture\makeatletter\hbox{\hskip 76.51636pt\lower-45.92458pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\ignorespaces\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{\ignorespaces}} {}{{}}{}{{{}} {\ignorespaces}{}{}{}{}{}{}{} }\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces\definecolor{tikz@color}{rgb}{0.7,0.7,0.7}\definecolor[named]{.}{rgb}{0.7,0.7,0.7}\definecolor[named]{pgfstrokecolor}{rgb}{0.7,0.7,0.7}\pgfsys@color@gray@stroke{0.7}\pgfsys@invoke{ }\pgfsys@color@gray@fill{0.7}\pgfsys@invoke{ }{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@moveto{45.52458pt}{0.0pt}\pgfsys@curveto{45.52458pt}{25.14285pt}{25.14285pt}{45.52458pt}{0.0pt}{45.52458pt}\pgfsys@curveto{-25.14285pt}{45.52458pt}{-45.52458pt}{25.14285pt}{-45.52458pt}{0.0pt}\pgfsys@curveto{-45.52458pt}{-25.14285pt}{-25.14285pt}{-45.52458pt}{0.0pt}{-45.52458pt}\pgfsys@curveto{25.14285pt}{-45.52458pt}{45.52458pt}{-25.14285pt}{45.52458pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{}{{}}{} {\ignorespaces{}{}}{{\ignorespaces}{}\ignorespaces}{{}} {{{}}{{\ignorespaces}}}{{}}{\ignorespaces{}{}}{{{}}{{}}}{{}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces\definecolor[named]{tikz@color}{rgb}{1,0,0}\definecolor[named]{.}{rgb}{1,0,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,0,0}\pgfsys@color@rgb@stroke{1}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{1}{0}{0}\pgfsys@invoke{ }\pgfsys@setdash{3.0pt,3.0pt}{0.0pt}\pgfsys@invoke{ }\ignorespaces{}\pgfsys@moveto{-42.77946pt}{15.57062pt}\pgfsys@curveto{-25.18388pt}{10.85591pt}{-25.18388pt}{-10.85591pt}{-42.77946pt}{-15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{} {\ignorespaces{}{}}{{\ignorespaces}{}\ignorespaces}{{}} {{{}}{{\ignorespaces}}}{{}}{\ignorespaces{}{}}{{{}}{{}}}{{}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces\definecolor[named]{tikz@color}{rgb}{1,0,0}\definecolor[named]{.}{rgb}{1,0,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,0,0}\pgfsys@color@rgb@stroke{1}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{1}{0}{0}\pgfsys@invoke{ }\pgfsys@setdash{3.0pt,3.0pt}{0.0pt}\pgfsys@invoke{ }\ignorespaces{}\pgfsys@moveto{42.77946pt}{15.57062pt}\pgfsys@curveto{25.18388pt}{10.85591pt}{25.18388pt}{-10.85591pt}{42.77946pt}{-15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}} {}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces{}\pgfsys@moveto{-42.77946pt}{-15.57062pt}\pgfsys@lineto{-29.59113pt}{0.0pt}\pgfsys@lineto{-42.77946pt}{15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}} {}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces{}\pgfsys@moveto{42.77946pt}{15.57062pt}\pgfsys@lineto{29.59113pt}{0.0pt}\pgfsys@lineto{42.77946pt}{-15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces{}\pgfsys@moveto{-29.59113pt}{0.0pt}\pgfsys@lineto{29.59113pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}}{}\pgfsys@moveto{-42.77946pt}{-15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{}}{} {{}{{\ignorespaces}}}{{}{\ignorespaces}}{}{{}{\ignorespaces}} {\ignorespaces }{{{{\ignorespaces}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-73.18335pt}{-26.60362pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\ignorespaces${\cal O}_{1}(x_{1})$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{}{{}}{}{{}}{}\pgfsys@moveto{-42.77946pt}{15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ }}{ } {{}{{\ignorespaces}}}{{}{\ignorespaces}}{}{{}{\ignorespaces}} {\ignorespaces }{{{{\ignorespaces}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-73.18335pt}{21.60362pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\ignorespaces${\cal O}_{2}(x_{2})$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{}{{}}{}{{}}{}\pgfsys@moveto{42.77946pt}{15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{}}{} {{}{{\ignorespaces}}}{{}{\ignorespaces}}{}{{}{\ignorespaces}} {\ignorespaces }{{{{\ignorespaces}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.31247pt}{21.60362pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\ignorespaces${\cal O}_{3}(x_{3})$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{}{{}}{}{{}}{}\pgfsys@moveto{42.77946pt}{-15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ }}{ } {{}{{\ignorespaces}}}{{}{\ignorespaces}}{}{{}{\ignorespaces}} {\ignorespaces }{{{{\ignorespaces}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.31247pt}{-26.60362pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\ignorespaces${\cal O}_{4}(x_{4})$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{}{{}}{}{}{{}}{}{{}}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor[named]{tikz@color}{rgb}{0,0,1}\definecolor[named]{.}{rgb}{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}\pgfsys@color@rgb@stroke{0}{0}{1}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{1}\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{\ignorespaces}}}{{}{\ignorespaces}}{}{{}{\ignorespaces}} {\pgfsys@beginscope\pgfsys@invoke{ }\definecolor[named]{tikz@color}{rgb}{0,0,1}\definecolor[named]{.}{rgb}{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}\pgfsys@color@rgb@stroke{0}{0}{1}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{1}\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{\ignorespaces}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-4.16667pt}{-10.36632pt}\pgfsys@invoke{ }\hbox{{\definecolor[named]{.}{rgb}{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}\pgfsys@color@rgb@stroke{0}{0}{1}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{1}\pgfsys@invoke{ }\hbox{{\definecolor[named]{.}{rgb}{0,0,1}\color[rgb]{0,0,1}\ignorespaces$\Delta$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{\ignorespaces}{\ignorespaces}{\ignorespaces}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}}

{\cal W}_{\Delta}^{\Delta_{1},\Delta_{2},\Delta_{3},\Delta_{4}}(x_{1},x_{2},x_{3},x_{4})=\vbox{\hbox{\leavevmode\hbox{\set@color \leavevmode\hbox to153.03pt{\vbox to91.85pt{\pgfpicture\makeatletter\hbox{\hskip 76.51636pt\lower-45.92458pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\ignorespaces\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{\ignorespaces}} {}{{}}{}{{{}} {\ignorespaces}{}{}{}{}{}{}{} }\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces\definecolor{tikz@color}{rgb}{0.7,0.7,0.7}\definecolor[named]{.}{rgb}{0.7,0.7,0.7}\definecolor[named]{pgfstrokecolor}{rgb}{0.7,0.7,0.7}\pgfsys@color@gray@stroke{0.7}\pgfsys@invoke{ }\pgfsys@color@gray@fill{0.7}\pgfsys@invoke{ }{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@moveto{45.52458pt}{0.0pt}\pgfsys@curveto{45.52458pt}{25.14285pt}{25.14285pt}{45.52458pt}{0.0pt}{45.52458pt}\pgfsys@curveto{-25.14285pt}{45.52458pt}{-45.52458pt}{25.14285pt}{-45.52458pt}{0.0pt}\pgfsys@curveto{-45.52458pt}{-25.14285pt}{-25.14285pt}{-45.52458pt}{0.0pt}{-45.52458pt}\pgfsys@curveto{25.14285pt}{-45.52458pt}{45.52458pt}{-25.14285pt}{45.52458pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{\ignorespaces}}\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{}{{}}{} {\ignorespaces{}{}}{{\ignorespaces}{}\ignorespaces}{{}} {{{}}{{\ignorespaces}}}{{}}{\ignorespaces{}{}}{{{}}{{}}}{{}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces\definecolor[named]{tikz@color}{rgb}{1,0,0}\definecolor[named]{.}{rgb}{1,0,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,0,0}\pgfsys@color@rgb@stroke{1}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{1}{0}{0}\pgfsys@invoke{ }\pgfsys@setdash{3.0pt,3.0pt}{0.0pt}\pgfsys@invoke{ }\ignorespaces{}\pgfsys@moveto{-42.77946pt}{15.57062pt}\pgfsys@curveto{-25.18388pt}{10.85591pt}{-25.18388pt}{-10.85591pt}{-42.77946pt}{-15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{} {\ignorespaces{}{}}{{\ignorespaces}{}\ignorespaces}{{}} {{{}}{{\ignorespaces}}}{{}}{\ignorespaces{}{}}{{{}}{{}}}{{}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces\definecolor[named]{tikz@color}{rgb}{1,0,0}\definecolor[named]{.}{rgb}{1,0,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,0,0}\pgfsys@color@rgb@stroke{1}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{1}{0}{0}\pgfsys@invoke{ }\pgfsys@setdash{3.0pt,3.0pt}{0.0pt}\pgfsys@invoke{ }\ignorespaces{}\pgfsys@moveto{42.77946pt}{15.57062pt}\pgfsys@curveto{25.18388pt}{10.85591pt}{25.18388pt}{-10.85591pt}{42.77946pt}{-15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}} {}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces{}\pgfsys@moveto{-42.77946pt}{-15.57062pt}\pgfsys@lineto{-29.59113pt}{0.0pt}\pgfsys@lineto{-42.77946pt}{15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}} {}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces{}\pgfsys@moveto{42.77946pt}{15.57062pt}\pgfsys@lineto{29.59113pt}{0.0pt}\pgfsys@lineto{42.77946pt}{-15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }\ignorespaces{}\pgfsys@moveto{-29.59113pt}{0.0pt}\pgfsys@lineto{29.59113pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}}{}\pgfsys@moveto{-42.77946pt}{-15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{}}{} {{}{{\ignorespaces}}}{{}{\ignorespaces}}{}{{}{\ignorespaces}} {\ignorespaces }{{{{\ignorespaces}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-73.18335pt}{-26.60362pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\ignorespaces${\cal O}_{1}(x_{1})$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{}{{}}{}{{}}{}\pgfsys@moveto{-42.77946pt}{15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ }}{ } {{}{{\ignorespaces}}}{{}{\ignorespaces}}{}{{}{\ignorespaces}} {\ignorespaces }{{{{\ignorespaces}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-73.18335pt}{21.60362pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\ignorespaces${\cal O}_{2}(x_{2})$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{}{{}}{}{{}}{}\pgfsys@moveto{42.77946pt}{15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{}}{} {{}{{\ignorespaces}}}{{}{\ignorespaces}}{}{{}{\ignorespaces}} {\ignorespaces }{{{{\ignorespaces}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.31247pt}{21.60362pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\ignorespaces${\cal O}_{3}(x_{3})$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{}{{}}{}{{}}{}\pgfsys@moveto{42.77946pt}{-15.57062pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ }}{ } {{}{{\ignorespaces}}}{{}{\ignorespaces}}{}{{}{\ignorespaces}} {\ignorespaces }{{{{\ignorespaces}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.31247pt}{-26.60362pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\ignorespaces${\cal O}_{4}(x_{4})$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{}{{}}{}{}{{}}{}{{}}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ }\ignorespaces\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor[named]{tikz@color}{rgb}{0,0,1}\definecolor[named]{.}{rgb}{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}\pgfsys@color@rgb@stroke{0}{0}{1}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{1}\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{\ignorespaces}}}{{}{\ignorespaces}}{}{{}{\ignorespaces}} {\pgfsys@beginscope\pgfsys@invoke{ }\definecolor[named]{tikz@color}{rgb}{0,0,1}\definecolor[named]{.}{rgb}{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}\pgfsys@color@rgb@stroke{0}{0}{1}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{1}\pgfsys@invoke{ }\ignorespaces \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}{{{{\ignorespaces}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-4.16667pt}{-10.36632pt}\pgfsys@invoke{ }\hbox{{\definecolor[named]{.}{rgb}{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}\pgfsys@color@rgb@stroke{0}{0}{1}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{1}\pgfsys@invoke{ }\hbox{{\definecolor[named]{.}{rgb}{0,0,1}\color[rgb]{0,0,1}\ignorespaces$\Delta$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{\ignorespaces}{\ignorespaces}{\ignorespaces}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}}

\int_{w \in γ_{ij}} \equiv \int_{- \infty}^{\infty} d λ,

\int_{w \in γ_{ij}} \equiv \int_{- \infty}^{\infty} d λ,

W_{Δ_{a}}^{Δ_{1}, Δ_{2}, Δ_{3}, Δ_{4}} (x_{i}) = \frac{1}{4} β_{\infty} (2 Δ_{a 1, 2}, 2 Δ_{a 2, 1}) β_{\infty} (2 Δ_{a 3, 4}, 2 Δ_{a 4, 3}) W_{Δ_{a}}^{Δ_{1}, Δ_{2}, Δ_{3}, Δ_{4}} (x_{i}),

W_{Δ_{a}}^{Δ_{1}, Δ_{2}, Δ_{3}, Δ_{4}} (x_{i}) = \frac{1}{4} β_{\infty} (2 Δ_{a 1, 2}, 2 Δ_{a 2, 1}) β_{\infty} (2 Δ_{a 3, 4}, 2 Δ_{a 4, 3}) W_{Δ_{a}}^{Δ_{1}, Δ_{2}, Δ_{3}, Δ_{4}} (x_{i}),

β_{\infty} (s, t) \equiv \frac{ζ _{\infty} ( s ) ζ _{\infty} ( t )}{ζ _{\infty} ( s + t )} = \frac{Γ ( s /2 ) Γ ( t /2 )}{Γ (( s + t ) /2 )},

β_{\infty} (s, t) \equiv \frac{ζ _{\infty} ( s ) ζ _{\infty} ( t )}{ζ _{\infty} ( s + t )} = \frac{Γ ( s /2 ) Γ ( t /2 )}{Γ (( s + t ) /2 )},

ζ_{\infty} (s) = π^{- s /2} Γ (s /2),

ζ_{\infty} (s) = π^{- s /2} Γ (s /2),

Δ_{i_{1} \dots i_{ℓ}, i_{ℓ + 1} \dots i_{k}} \equiv \frac{1}{2} (Δ_{i_{1}} + \dots + Δ_{i_{ℓ}} - Δ_{i_{ℓ + 1}} - \dots - Δ_{i_{k}}) .

Δ_{i_{1} \dots i_{ℓ}, i_{ℓ + 1} \dots i_{k}} \equiv \frac{1}{2} (Δ_{i_{1}} + \dots + Δ_{i_{ℓ}} - Δ_{i_{ℓ + 1}} - \dots - Δ_{i_{k}}) .

W_{Δ, Δ^{'}}^{Δ_{1}, \dots, Δ_{5}} (x_{i}) = \frac{1}{C _{12 O} C _{O 3 O^{'}} C _{45 O^{'}}} ⟨ O_{1} (x_{1}) O_{2} (x_{2}) P_{Δ} O_{3} (x_{3}) P_{Δ^{'}} O_{4} (x_{4}) O_{5} (x_{5})⟩,

W_{Δ, Δ^{'}}^{Δ_{1}, \dots, Δ_{5}} (x_{i}) = \frac{1}{C _{12 O} C _{O 3 O^{'}} C _{45 O^{'}}} ⟨ O_{1} (x_{1}) O_{2} (x_{2}) P_{Δ} O_{3} (x_{3}) P_{Δ^{'}} O_{4} (x_{4}) O_{5} (x_{5})⟩,

z \in T_{p^{n}} \sum \hat{K}_{Δ_{3}} (x_{3}, z) \hat{G}_{Δ_{a}} (a, z) \hat{G}_{Δ_{b}} (b, z)

z \in T_{p^{n}} \sum \hat{K}_{Δ_{3}} (x_{3}, z) \hat{G}_{Δ_{a}} (a, z) \hat{G}_{Δ_{b}} (b, z)

W_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (x_{i})

W_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (x_{i})

β_{p} (s, t) \equiv \frac{ζ _{p} ( s ) ζ _{p} ( t )}{ζ _{p} ( s + t )} ζ_{p} (s) = \frac{1}{1 - p ^{- s}},

β_{p} (s, t) \equiv \frac{ζ _{p} ( s ) ζ _{p} ( t )}{ζ _{p} ( s + t )} ζ_{p} (s) = \frac{1}{1 - p ^{- s}},

u \equiv \frac{x _{12}^{2} x _{34}^{2}}{x _{13}^{2} x _{24}^{2}}_{p} v \equiv \frac{x _{23}^{2} x _{45}^{2}}{x _{24}^{2} x _{35}^{2}}_{p},

u \equiv \frac{x _{12}^{2} x _{34}^{2}}{x _{13}^{2} x _{24}^{2}}_{p} v \equiv \frac{x _{23}^{2} x _{45}^{2}}{x _{24}^{2} x _{35}^{2}}_{p},

\int_{z \in AdS} \hat{K}_{Δ_{3}} (x_{3}, z) \hat{G}_{Δ_{a}} (a, z) \hat{G}_{Δ_{b}} (b, z)

\int_{z \in AdS} \hat{K}_{Δ_{3}} (x_{3}, z) \hat{G}_{Δ_{a}} (a, z) \hat{G}_{Δ_{b}} (b, z)

W_{0}^{(5)} (x_{i})

W_{0}^{(5)} (x_{i})

W_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (x_{i}) = W_{0}^{(5)} (x_{i}) G_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (u_{i}),

W_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (x_{i}) = W_{0}^{(5)} (x_{i}) G_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (u_{i}),

W_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (x_{i})

W_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (x_{i})

c_{k_{1}, k_{2}, k_{3}}

c_{k_{1}, k_{2}, k_{3}}

W_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (x_{i}) = \frac{1}{4} β_{\infty} (2 Δ_{a 1, 2}, 2 Δ_{a 2, 1}) β_{\infty} (2 Δ_{b 4, 5}, 2 Δ_{b 5, 4}) W_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (x_{i}),

W_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (x_{i}) = \frac{1}{4} β_{\infty} (2 Δ_{a 1, 2}, 2 Δ_{a 2, 1}) β_{\infty} (2 Δ_{b 4, 5}, 2 Δ_{b 5, 4}) W_{Δ_{a}, Δ_{b}}^{Δ_{1}, \dots, Δ_{5}} (x_{i}),

(- \nabla_{AdS}^{2} + m_{Δ}^{2}) \hat{G}_{Δ} (z, z^{'})

(- \nabla_{AdS}^{2} + m_{Δ}^{2}) \hat{G}_{Δ} (z, z^{'})

Peer Reviews

No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.

Videos

No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.

Full text

Holographic dual of the five-point conformal block

Abstract

We present the holographic object which computes the five-point global conformal block in arbitrary dimensions for external and exchanged scalar operators. This object is interpreted as a weighted sum over infinitely many five-point geodesic bulk diagrams. These five-point geodesic bulk diagrams provide a generalization of their previously studied four-point counterparts. We prove our claim by showing that the aforementioned sum over geodesic bulk diagrams is the appropriate eigenfunction of the conformal Casimir operator with the right boundary conditions. This result rests on crucial inspiration from a much simpler $p$ -adic version of the problem set up on the Bruhat–Tits tree.

1 Introduction

Conformal blocks are theory independent building blocks of conformal field theories which are fixed entirely from conformal invariance. Equipped with the CFT data (i.e. the spectrum and the OPE coefficients of any theory), the knowledge of conformal blocks permits the construction of all correlators in the theory. Given their fundamental importance in CFTs, it is important to understand and investigate the holographic duals of conformal blocks in the context of AdS/CFT. Such a task was recently undertaken for four-point global conformal blocks in any dimension with external scalar operators [1] (with further generalizations in Refs. [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]) and for Virasoro blocks in AdS3/CFT2 [14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24].

Nevertheless, the holographic interpretation of higher-point global conformal blocks has remained unresolved so far, and fraught with various technical obstructions. With the hope that new tools may provide new clues, in this paper, we appeal to the framework of $p$ -adic AdS/CFT [25, 26, 6] which offers a significantly less complicated setting for tackling the same problem. Indeed, it turns out, the problem of various higher-point blocks is relatively easily addressed over the $p$ -adics [27], and owing to the close ties with the usual AdS/CFT setup (see, e.g., Refs. [25, 26, 6, 28, 29, 30, 31, 32, 33, 34, 35]) we are able to extract key new insights into the analogous calculation over reals. The $p$ -adic results generalize the result of Ref. [6], and are discussed in Ref. [27]. The $p$ -adic five-point case, related to the subject of this paper, is briefly summarized later in this section.

In this paper, inspired by the $p$ -adic result, we establish the holographic dual of the global five-point block with external scalar operators in the usual (real) AdSn+1/CFTn setup, generalizing the result of Ref. [1] to obtain a holographic object, expressed as a weighted sum of five-point geodesic bulk diagrams, which directly computes the five-point block. We present such an object in section 2, where we also provide a proof by conformal Casimir equation in support of our claim, and close with further comments and future directions in section 3. In the remainder of this section we discuss the general strategy utilized in this paper to obtain the holographic dual of the five-point block.

The four-point function of local scalar operators in any CFT is fixed from conformal invariance up to an arbitrary function of conformal cross-ratios. Performing, for example, an OPE in the $s$ -channel, we may write

[TABLE]

where $C_{ijk}$ are the OPE coefficients and $W_{\Delta,\ell}^{\Delta_{1},\ldots,\Delta_{4}}(x_{i})$ is the conformal partial wave which represents the contribution from conformal families with highest weight representation $(\Delta,\ell)$ .111For instance, for $\ell=0$ , the conformal partial wave is given by

$\displaystyle{W_{\Delta_{a}}^{\Delta_{1},\Delta_{2},\Delta_{3},\Delta_{4}}(x_{i})}$ $\displaystyle{{}=W_{0}^{(4)}(x_{i}){\cal G}_{\Delta_{a}}^{\Delta_{1},\Delta_{2},\Delta_{3},\Delta_{4}}(u_{i})}$

$\displaystyle{W_{0}^{(4)}(x_{1},x_{2},x_{3},x_{4})}$ $\displaystyle{{}={1\over(x_{12}^{2})^{\Delta_{12,}}(x_{34}^{2})^{\Delta_{34,}}}\left({x_{24}^{2}\over x_{14}^{2}}\right)^{\Delta_{1,2}}\left({x_{14}^{2}\over x_{13}^{2}}\right)^{\Delta_{3,4}},}$

(2)

where ${\cal G}_{\Delta_{a}}^{\Delta_{1},\Delta_{2},\Delta_{3},\Delta_{4}}(u_{i})$ is the four-point conformal block, given in any spacetime dimension by [36]

$\displaystyle{{\cal G}_{\Delta_{a}}^{\Delta_{1},\Delta_{2},\Delta_{3},\Delta_{4}}(u_{1},u_{2})=u_{1}^{\Delta_{a}/2}\sum_{m_{1},m_{2}=0}^{\infty}{u_{1}^{m_{1}}(1-u_{2})^{m_{2}}\over m_{1}!m_{2}!}{(\Delta_{a1,2})_{m_{1}}(\Delta_{a4,3})_{m_{1}}\over(\Delta_{a}-n/2+1)_{m_{1}}}{(\Delta_{a2,1})_{m_{1}+m_{2}}(\Delta_{a3,4})_{m_{1}+m_{2}}\over(\Delta_{a})_{2m_{1}+m_{2}}}}$

(3)

with the conformal cross-ratios

$\displaystyle{u_{1}={x_{12}^{2}x_{34}^{2}\over x_{13}^{2}x_{24}^{2}}\qquad u_{2}={x_{14}^{2}x_{23}^{2}\over x_{13}^{2}x_{24}^{2}}\,.}$

(4)

Whenever we show multiple entries in the subscript of any conformal dimension, we are using the convention (13) to write linear combinations of dimensions compactly. The Pochhammer symbol appearing above and in many subsequent equations is defined as follows:

$\displaystyle{(a)_{m}\equiv{\Gamma(a+m)/\Gamma(a)}\,.}$

(5)

In the rest of this paper, we will suppress the angular momentum subscript $\ell$ .222For simplicity we set $\ell=0$ , but many of the results presented below should admit a straightforward generalization to account for the exchange of representations with non-zero $\ell$ .

As noted above, recently, Ref. [1] advanced a holographic object which computes the four-point conformal partial wave and in turn, provides an extremely efficient computational technique for holographically obtaining the conformal block decomposition of four-point bulk (Witten) diagrams without having to do any explicit bulk integrals.

Turning this around, given the CFT data, i.e. the spectrum and the OPE coefficients, one can hope to use the conformal block decomposition (1) to extract the universal, theory independent conformal partial waves. Heuristically (see also figure 1):

•

For a tree-level four-point bulk exchange diagram, one employs an AdS propagator identity [1] (refer to (63)) which expresses a product of bulk-to-boundary propagators incident on a common bulk point as a series expansion in bulk solutions of the Klein-Gordon equation sourced on a boundary anchored geodesic which is, in a sense, the bulk dual of taking an OPE in the CFT [37, 38, 39, 40].

•

To be able to extract the conformal partial wave, one still needs to evaluate the original AdS integration over all bulk interaction vertices in the diagram. This is achieved with the help of a propagator identity which expresses the integral over a product of bulk-to-bulk propagators sharing a bulk point as an un-integrated linear combination of bulk-to-bulk propagators (i.e. schematically, $\int_{z}\hat{G}(a,z)\hat{G}(b,z)\sim\hat{G}(a,b)-\hat{G}(a,b)$ , see (64)) [1].

•

At this point, one compares with the CFT expansion (1) and with prior knowledge of the OPE coefficients, one can isolate a natural candidate for the universal conformal partial wave, more precisely, the theory independent bulk object which directly computes the conformal partial wave.

Importantly, we stress that the inverse problem of extracting conformal blocks from (1) given the OPE coefficients and the four-point function as outlined here is genuinely non-unique. It is used merely as a heuristic guide to obtain a natural candidate for the conformal block, which must then be verified using an independent check. Luckily, it turns out for the examples considered in this paper, this strategy leads to the best case scenario and does indeed provide the desired holographic objects which compute the conformal partial waves, as confirmed by a proof by Casimir equation.

Essentially, all we have described above is simply a holographic strategy to obtain the projection of the four-point function, to the conformal family of the operator ${\cal O}$ of dimension $\Delta$ :

[TABLE]

where the projection operator is given by

[TABLE]

where $P^{k}$ stands for $k$ applications of the momentum generators $P_{\mu}$ to obtain the descendants of ${\cal O}$ .

The upshot of this exercise is that the following geodesic bulk integral,

[TABLE]

where $\hat{G},\hat{K}$ are bulk-to-bulk and bulk-to-boundary propagators respectively, computes the conformal partial wave associated with the exchange of an operator of dimension $\Delta$ between external insertions ${\cal O}_{1},{\cal O}_{2}$ and ${\cal O}_{3},{\cal O}_{4}$ [1] (see figure 2).

Here we are using the notation,

[TABLE]

where the bulk point $w=w(\lambda)$ is parametrized by $\lambda$ running along the boundary anchored geodesic $\gamma_{ij}$ between boundary points $x_{i}$ and $x_{j}$ . More precisely, it can be shown that [1]

[TABLE]

where $W_{\Delta_{a}}^{\Delta_{1},\ldots,\Delta_{4}}$ takes the explicit form given in (2)-(4), $\beta_{\infty}(\cdot,\cdot)$ is related to the usual Euler Beta function and defined as

[TABLE]

where the local zeta function $\zeta_{\infty}$ is defined via

[TABLE]

and we are employing the convention

[TABLE]

The procedure sketched above applies more generally to higher-point blocks as well. In this paper, we focus on the five-point case. To obtain the holographic dual of the five-point conformal partial wave defined via the projection,

[TABLE]

we proceed as follows (see also figure 3):

•

We start with a five-point bulk diagram with two single-trace exchanges in the intermediate channels, and once again apply the holographic OPE identity (63) to operator insertions ${\cal O}_{1}(x_{1}){\cal O}_{2}(x_{2})$ and ${\cal O}_{4}(x_{4}){\cal O}_{5}(x_{5})$ . This is expected to account for two of the OPE coefficients in the denominator of (14). We will return to the final OPE coefficient $C_{{\cal O}3{\cal O}^{\prime}}$ shortly.

•

There are still three bulk interaction vertices to integrate over all of AdS, out of which two integrations can be carried out using the previously mentioned $\int\hat{G}\hat{G}\sim\hat{G}-\hat{G}$ identity (64). This leaves a final integral over a combination of two bulk-to-bulk propagators and one bulk-to-boundary propagator sharing a common vertex, to be integrated over all of AdS, i.e. an integral of the form $\int_{z}\hat{K}_{\Delta_{3}}(x_{3},z)\hat{G}_{\Delta}(a,z)\hat{G}_{\Delta^{\prime}}(b,z)$ .

•

In particular, we are interested in the contribution to the $\int\hat{K}\hat{G}\hat{G}$ integral which is proportional to the final OPE coefficient $C_{{\cal O}3{\cal O}^{\prime}}$ , since this contribution isolates precisely the holographic term which computes the theory independent partial wave (14).

However, this procedure hits a roadblock in the third step, since an AdS propagator identity of the form $\int_{z}\hat{K}_{\Delta_{3}}(x_{3},z)\hat{G}_{\Delta}(a,z)\hat{G}_{\Delta^{\prime}}(b,z)$ is not readily available. At this point, we appeal to the $p$ -adic formulation, where the analogous $\int\hat{K}\hat{G}\hat{G}$ identity is easily obtained and was, in fact, already written down in Ref. [6]. We reproduce it below in a mathematically equivalent, but highly suggestive form [27]:333The identity (15) has been written in terms of an OPE coefficient, bulk scalar mass, and a normalization factor since it turns out that real propagator identities may also be written in terms of the same quantities. The details of the exact form these coefficients take is not important for our purposes so we only make a brief comment: The $p$ -adic analog of the mass-dimension relation [25] is $m_{\Delta}^{2}=-1/(\zeta_{p}(-\Delta)\zeta_{p}(\Delta-n))$ with the local zeta function $\zeta_{p}$ defined in (17). The coefficient $N_{\Delta}={\zeta_{p}(2\Delta)/p^{\Delta}}$ is related to the choice of normalization of the bulk-to-bulk propagator via its equation of motion on the Bruhat–Tits tree, similar to (26) below for the AdS bulk-to-bulk propagator (see, e.g. Ref. [31]).

[TABLE]

where the discrete sum is over all vertices of the $(p^{n}+1)$ -regular Bruhat–Tits tree ${\cal T}_{p^{n}}$ (the discrete, $p$ -adic analog of AdS space). The coefficient $C_{ijk}$ is the OPE coefficient of the dual generalized free-field theory, whose explicit form is unimportant. This is because we are after only the theory independent conformal partial wave whose holographic representation is dictated by the particular combination of bulk-to-bulk and bulk-to-boundary propagators as they appear in the term proportional to the OPE coefficient $C_{3ab}$ above.

This motivates the five-point proposal [27] depicted in figure 4, which is a direct generalization of the four-point geodesic bulk diagram in figure 2.

Indeed, a direct computation on the Bruhat–Tits tree confirms the five-point geodesic bulk diagram (figure 4) computes the ( $p$ -adic) five-point conformal block up to an overall factor [27],

[TABLE]

where

[TABLE]

and $W_{0}^{(5)}(x_{i})$ is the $p$ -adic analog of the five-point “leg factor” defined below in (20) for the real case. Since the dual (generalized free-field) $p$ -adic CFT has only primary operators in its spectrum with no descendants [41, 6], all conformal blocks are trivial, as instantiated in the second line of (16) for the five-point block, where $u,v$ are the two independent conformal cross-ratios444There are only two independent cross-ratios since the boundary of the Bruhat–Tits tree, given by the projective line over the $p$ -adic numbers, is one-dimensional. Recall that in a one-dimensional (real) CFT, there is only one independent cross-ratio for the four-point block, and exactly two for the five-point block.

[TABLE]

with $|\cdot|_{p}$ denoting the $p$ -adic norm.

The $p$ -adic propagator identity (15) and the geodesic bulk diagram in figure 4 anticipate the corresponding candidates for the real analog. Indeed, the contribution to the (real) $\int\hat{K}\hat{G}\hat{G}$ integral, proportional to the structure constant of the generalized free-field theory, takes the form [27],

[TABLE]

where the ellipsis represents the remaining terms which are analogs of terms in the second and third lines of (15), and the coefficient $c_{k_{1},k_{2},k_{3}}$ will be given later in (23). As is often the case, the real analog of the $p$ -adic AdS/CFT result uplifts the simpler $p$ -adic result to include more complicated sums. These sums essentially account for the full descendant contribution to each conformal family, which are trivially absent over the $p$ -adics. With (19) in hand, we are able to easily write down the real analog of the holographic dual shown in figure 4, which we describe in the next section.

2 Holographic dual of the five-point conformal block

The five-point conformal partial wave is proportional to the five-point conformal block ${\cal G}_{\Delta_{a},\Delta_{b}}^{\Delta_{1},\ldots,\Delta_{5}}(u_{i})$ , up to an overall “leg factor” $W_{0}^{(5)}$ given by

[TABLE]

such that

[TABLE]

with the block simply a function of conformal cross-ratios.

The five-point global block in any spacetime dimension was recently explicitly computed in Ref. [42] (see also Ref. [20]). We claim the following “geodesic bulk diagram”,

[TABLE]

with the coefficients, the same as those which appear in (19), given by

[TABLE]

and the geodesic integral defined as,

[TABLE]

computes the five-point conformal partial wave (and hence the conformal block) up to an overall constant factor, i.e.

[TABLE]

where $\beta_{\infty}(\cdot,\cdot)$ is defined in (11). Note that setting $k_{1}=k_{2}=k_{3}=0$ in (22) recovers the $p$ -adic form of the geodesic bulk diagram given in figure 4.

The standard scalar bulk-to-bulk propagator utilized above takes the form555In this paper we have chosen to normalize the bulk-to-bulk propagator according to

$\displaystyle{\left(-\nabla^{2}_{\rm AdS}+m_{\Delta}^{2}\right)\hat{G}_{\Delta}(z,z^{\prime})}$ $\displaystyle{{}=-{1\over N_{\Delta}}\delta^{n+1}(z-z^{\prime})\qquad N_{\Delta}=-{\zeta_{\infty}(2\Delta)\over 2\nu_{\Delta}\zeta_{\infty}(2\Delta-n)}\,,}$

(26)

where $2\nu_{\Delta}=2\Delta-n$ , $\zeta_{\infty}$ is defined in (12) and $z,z^{\prime}$ are $(n+1)$ -dimensional bulk coordinates. The overall constant on the right hand side is merely a repackaging of the familiar normalization factor of the scalar bulk-to-bulk propagator found in the literature, in terms of the local zeta function (12). We have included it explicitly in (26) for the convenience of working with an “unnormalized” bulk-to-bulk propagator as written in (27).

[TABLE]

where $\xi(w,w^{\prime})$ is related to the geodesic distance $\sigma$ between bulk points $w,w^{\prime}$ via

[TABLE]

The bulk-to-boundary propagator is given by

[TABLE]

where $z=(z_{0},\vec{z})$ is a bulk Poincaré coordinate in (Euclidean) AdSn+1. The relation (27) can be inverted to give,666The inverse relation (30) is easy to check analytically for $n=2$ . For other values of $n$ , we provide an indirect proof in appendix A.

[TABLE]

Using the inverse relation, one can perform the $k_{3}$ sum in (22) to get

[TABLE]

where the bulk diagram featuring above is defined using the following geodesic integral,

[TABLE]

with the coefficients now taking the form,

[TABLE]

As emphasized using the black dotted lines joining bulk points in (31) and (32), the bulk-to-bulk propagator gets replaced by the simpler power-law factor $\xi(w,w^{\prime})^{\Delta}$ .

We make four remarks:

•

Technically (22) represents a sum over geodesic bulk diagrams; by abuse of terminology we often refer to it (and thus (31)) simply as a geodesic bulk diagram.

•

Second, for calculational convenience, from now on we will mostly be using the representation given in (31).

•

Third, it is easily checked that (31) reduces to the four-point geodesic bulk diagram [1] in the limit $\Delta_{3}\to 0,\Delta_{b}\to\Delta_{a}$ , whereupon the double sum in (31) collapses to a single sum over the variable $k_{1}=k_{2}$ since the coefficients $c_{k_{1},k_{2}}$ vanish otherwise. The hypergeometric function reduces to $(\Delta_{a}-n/2+1)_{k_{1}}/k_{1}!$ , and (31) simplifies to

[TABLE]

Recognizing the remaining sum with the one shown in (27), we are led directly to the four-point geodesic bulk diagram of Ref. [1] defined above in (8),

[TABLE]

•

Finally, the proposed relation (25) between the five-point geodesic diagram and conformal partial wave is recognized as a simple generalization of the four-point relation (10), thus providing further evidence in support of the claim that (22) is an appropriate five-point generalization of the four-point geodesic bulk diagram.

We will now prove (25) in the next two subsections. In section 2.2 we show that the five-point geodesic bulk diagram is an eigenfunction of the conformal Casimir with the correct eigenvalues. Before proceeding with that, we first show that the conformal partial wave as defined via the geodesic bulk diagram in (25) has the correct boundary conditions, by investigating the OPE limit. Together, these checks constitute a complete proof of (25) [43].

2.1 OPE limit

In the limit when the boundary point $x_{5}\to x_{4}$ , we expect the five-point conformal partial wave to reduce, to leading order, to the four-point conformal partial wave, upto an overall scaling factor as follows (see, e.g., Ref. [42])

[TABLE]

We will now reproduce this limit starting from the geodesic bulk diagram in (31). Using (25) to obtain the conformal partial wave, sending $x_{5}\to x_{4}$ and simultaneously evaluating the limiting geodesic integral over $y^{\prime}\in\gamma_{45}$ in (32), we obtain a double-sum over a summand which is proportional to $(x_{45}^{2})^{\Delta_{b,45}+k_{1}}$ . The leading contribution comes from collapsing the sum over $k_{1}$ to the leading term at $k_{1}=0$ , which corresponds to the contribution coming solely from a primary operator. Simplifying a bit, we obtain

[TABLE]

Using the propagator identity (65), we can trade the sum over $k_{2}$ for a geodesic integral, to arrive at

[TABLE]

where we used (10) in the final step. This establishes the OPE limit (36). An identical analysis in the limit $x_{2}\to x_{1}$ leads once again to the expected behaviour. Thus we have demonstrated that the geodesic bulk diagram (31) (and the conformal partial wave as defined by (25)) has the right boundary conditions. Next we show that the five-point geodesic bulk diagram is an eigenfunction of the conformal Casimir with the correct eigenvalues, which completes the proof of the claim that (31) is proportional to the five-point conformal partial wave precisely as proposed in (25).

2.2 Proof by conformal Casimir equation

Let ${\cal L}_{AB}$ denote the generators of $SO(n+1,1)$ , the $n$ -dimensional conformal group of a Euclidean CFT. Then, the Casimir of the conformal group is the quadratic combination ${\cal L}^{2}\equiv{1\over 2}{\cal L}_{AB}{\cal L}^{AB}$ . Conformal partial waves are eigenfunctions of the quadratic Casimir acting on multiple points. For instance, for the four-point scalar conformal partial wave [44],

[TABLE]

where we have defined

[TABLE]

where ${\cal L}^{(i)}_{AB}$ is a differential operator acting on and built from the position coordinate $x_{i}$ , and777As previously noted, for simplicity we are focusing only on scalar exchanges. The equations presented here generalize easily to the case of symmetric-traceless exchanges of spin $\ell$ .

[TABLE]

For the five-point scalar conformal partial wave (14) [20, 42]

[TABLE]

We note that for the five-point block, the action of $\left({\cal L}^{(1)}+{\cal L}^{(2)}\right)^{2}$ is the same as the action of $\left({\cal L}^{(3)}+{\cal L}^{(4)}+{\cal L}^{(5)}\right)^{2}$ , and similarly for $\left({\cal L}^{(4)}+{\cal L}^{(5)}\right)^{2}$ . We will now explicitly demonstrate that the geodesic bulk diagram in (31) satisfies the second equation above, i.e.

[TABLE]

The geodesic diagram (31) is manifestly symmetric under the exchange $(1,2,3,4,5)\leftrightarrow(5,4,3,2,1)$ and $(\Delta_{a},\Delta_{b})\leftrightarrow(\Delta_{b},\Delta_{a})$ . Thus the first equation of (42) follows trivially once (43) is established.

To show (43), it is convenient to appeal to the embedding space formalism by passing to the $(n+2)$ -dimensional Minkowski space, $\mathbb{R}^{n+1,1}$ . The AdS boundary coordinates are identified with coordinates $P\in\mathbb{R}^{n+1,1}$ on the null cone, satisfying $P^{2}\equiv P\cdot P=0$ , while Euclidean AdSn+1 is given by the hyperboloid $Z^{2}=-1$ . The bulk-to-bulk and bulk-to-boundary propagators take the form

[TABLE]

where $Z^{2}=W^{2}=-1,P^{2}=0$ , and

[TABLE]

In embedding space, the conformal group $SO(n+1,1)$ acts linearly as the Lorentz group of $\mathbb{R}^{n+1,1}$ . The generators ${\cal L}$ take the form of Lorentz generators in $n+2$ dimensions,

[TABLE]

and thus the Casimir acts as

[TABLE]

on arbitrary scalar functions on the AdS hypersurface $Z^{2}=-1$ . For instance,

[TABLE]

which follows from the equations of motion of the propagators. To demonstrate (43) we will also need the following identities, which can be easily checked starting from (46):

[TABLE]

and

[TABLE]

where $\hat{K}_{-1}(P,W)$ should be understood formally as $(-2P\cdot W)$ .

Next, we work out the action of the conformal Casimir $\left({\cal L}^{(1)}+{\cal L}^{(2)}+{\cal L}^{(3)}\right)^{2}$ on the generic geodesic integral defined in (32), where now the superscripts $(1),(2)$ and $(3)$ stand for generators built from the null coordinates $P_{1},P_{2}$ and $P_{3}$ respectively. Following the technique of Refs. [45, 1], we isolate the part of (32) which depends on $P_{1},P_{2}$ and $P_{3}$ :

[TABLE]

and use its invariance under simultaneous $SO(n+1,1)$ rotations of $P_{1},P_{2},P_{3}$ and $Z^{\prime}$ to conclude

[TABLE]

which immediately leads to

[TABLE]

At this stage, the proof by conformal Casimir equation employed in the case of the four-point geodesic bulk diagram [1] is essentially complete, since the $Z^{\prime}$ dependence on the analogously defined scalar function $F$ is contained entirely in a bulk-to-bulk propagator, so that one can use (48) to immediately conclude that the appropriately defined $F$ (and as a consequence the full four-point geodesic bulk diagram) is an eigenfunction of the quadratic Casimir with the correct eigenvalue. However, for the five-point geodesic bulk diagram, the $Z^{\prime}$ dependence in $F$ enters via a product of a bulk-to-boundary propagator and a factor of $\xi(Z,Z^{\prime})^{\Delta}$ , such that $F$ in (51) is not an eigenfunction of the conformal Casimir. (This in turn is the reason the holographic dual is a sum over geodesic bulk diagrams, rather than a single geodesic bulk diagram — the combination of geodesic bulk diagrams turns out to be an eigenfunction even though no individual diagram is one.) Using the chain rule and (48)-(50), we obtain instead (suppressing the arguments of $F$ )

[TABLE]

From this we obtain the action of the conformal Casimir on the generic geodesic integral (32):

[TABLE]

We are now ready to evaluate the action of the conformal Casimir on the “geodesic bulk diagram” ${\cal W}_{\Delta_{a},\Delta_{b}}(x_{i})$ in (31). Our claim is that the weighted sum over geodesic diagrams (31) is in fact an eigenfunction of the Casimir with eigenvalue $C_{2}(\Delta_{b})=m_{\Delta_{b}}^{2}$ as we now demonstrate. Acting with the quadratic Casimir as shown in the left hand side of (43) and using (55), we obtain, analogous to (55), a combination of three terms, each of which is a double-sum over dummy integers $k_{1},k_{2}$ . By a few simple integer shifts of the dummy variables, we can bring each term to the same geodesic integral form, producing,

[TABLE]

where we have

[TABLE]

So to prove (43) all that remains to be shown is that

[TABLE]

Substituting the $c_{k_{1},k_{2}}$ coefficients from (33) in the combination $\widetilde{c}_{k_{1},k_{2}}-m_{\Delta_{b}}^{2}c_{k_{1},k_{2}}$ , we find that the demonstration of (58) hinges on showing the following non-trivial identity between hypergeometric ${}_{3}F_{2}$ functions:

[TABLE]

where

[TABLE]

Indeed with the help of hypergeometric identities [46]

[TABLE]

and [47, Eqn. 3.7.14]

[TABLE]

we conclude that the left hand side of (59) vanishes identically.

This completes the proof of (25), that the geodesic bulk diagram (31) (and thus (22)) is proportional to the five-point global conformal block with external scalars.

3 Discussion

In this paper, we have proposed the holographic object which computes the global five-point conformal block (for external scalar operators) in any spacetime dimension. It is given by a sum over geodesic bulk diagrams as described in (22)-(24) (equivalently by (31)-(33)). Explicit expressions for the global five-point conformal block are already known in the literature, obtained via the monodromy method [20] and the shadow formalism [42], so it is natural to ask how our results line up against previous results. While we have provided conclusive proof by Casimir equation that our proposed five-point geodesic bulk diagram is the holographic object which computes the precise block (as explained in (25)), we haven’t attempted an explicit match of our results against those of Refs. [20, 42]. However, we expect them to agree. We do note that the coefficients (23) appearing in the geodesic diagram (22) look curiously similar to the analytic expression for the five-point global conformal block in arbitrary dimension computed in Ref. [42], and in fact, a factor of the hypergeometric ${}_{3}F_{2}$ function with similar arguments appears in both places. Moreover, we have performed numerical checks for $n=1,2$ to confirm that the holographic dual of the conformal block proposed in this paper does indeed reproduce the low dimensional five-point conformal blocks of Ref. [42] to the numerical precision of choice.888We note that in Ref. [42], what we call a conformal partial wave is referred to as a conformal block, and what we call a conformal block is referred to as a bare conformal block.

It would be interesting to generalize the geodesic bulk diagram of this paper to the setting of blocks with external spins and symmetric-traceless exchanges in the intermediate channels, as has been possible for the case of the four-point block [1, 2, 3, 4, 8, 9], as well as extend the methods of this paper to obtain holographic duals of higher-point blocks. For six-point blocks and higher, conformal blocks exist in multiple independent channels. Ref. [42] computed arbitrary-point global conformal blocks in the comb channel in dimensions $n=1,2$ , and they were found to be expressible in terms of generalized hypergeometric functions. The method presented here, however, does not rely on simplifications associated with low dimensional CFTs. Thus a natural next step is to leverage the strengths of this method to obtain higher-point geodesic bulk diagrams in the comb channel in arbitrary dimensions, as well as global conformal blocks in other channels, which have remained inaccessible so far. The higher-point geodesic bulk diagrams may also be useful in the setup of a potentially higher-point conformal bootstrap [42, 48, 49, 50, 51, 52, 53]. It would also be interesting to investigate the connection between the higher-point geodesic bulk diagrams, such as the one presented in this paper, and the holographic interpretation of higher-point large- $c$ conformal blocks in AdS3/CFT2 as Steiner trees [24].

The construction of the holographic dual of the five-point block relied on the knowledge of a novel propagator identity — one involving a bulk integral over a product of two bulk-to-bulk propagators and a bulk-to-boundary propagator [27]. This identity (and its generalizations) further enables the conformal block decomposition of five-point bulk diagrams, as well as the direct evaluation of various AdS one-loop diagrams in position space [27]. It would be interesting to see how these propagator identities supplement the discussion of higher-loop diagrammatics in AdS [54, 55, 56, 57, 58, 59, 60, 61, 62, 63].

As demonstrated in section 1, the $p$ -adic formulation was particularly useful in informing the discussion of the hitherto unknown five-point geodesic diagram over reals, and we expect this to continue to hold true for higher-point geodesic diagrams as well [27]. In fact, the lack of descendants in $p$ -adic CFTs is the main simplification which allowed us to do the $p$ -adic computations fairly easily and grants the $p$ -adic framework its practical utility as a powerful computational device. As commonly witnessed in $p$ -adic holography (and seen above in the context of the five-point conformal partial wave), the $p$ -adic answers essentially capture the information regarding the leading primary contribution in the real framework; the derivative contribution can in principle be subsequently fixed from conformal symmetry. We hope to apply the unique power of the $p$ -adic setup to other settings in the future.

Acknowledgments

I thank C.B. Jepsen for valuable discussions and extensive collaboration during the early phases of this work, for helpful comments on an earlier version of the draft, and for collaboration on related projects.

Appendix A Propagator identities

Two propagator identities mentioned in section 1 are [1]:

[TABLE]

where we made use of (30) to obtain the final equality, and

[TABLE]

where $N_{\Delta}$ was defined in (26).

A useful, new propagator identity we made use of in section 2.1 is:

[TABLE]

where the bulk geodesic $\gamma_{12}$ joins boundary points $x_{1},x_{2}\in\partial$ AdS ${}_{n+1},z\in$ AdSn+1. To prove this, we just need to show that

[TABLE]

since setting $\Delta_{0}=\Delta_{a}+2k$ , multiplying the left- and right-hand sides of (66) by a factor of ${1\over k!}{(\Delta_{a})_{2k}\over(\Delta_{a}-n/2+1)_{k}}$ , and summing over all $k$ , we recover (65). Moreover, we note that (66) is more general than (63); thus proving (66) indirectly furnishes a proof for the inverse relation (30) for arbitrary $n$ .

To prove (66), use conformal transformations to put $x_{1},x_{2},z$ on a common hyperbolic plane (s.t. $z=(u_{z},x_{z})\in\mathbb{H}^{2}$ with $x_{1},x_{2}$ located on $\partial\mathbb{H}^{2}$ ). Using the parameter $\theta\in[0,\pi]$ to describe the location on the semi-circular geodesic joining $x_{1}$ and $x_{2}$ , the integral reduces to (assuming $x_{1}>x_{2}$ ),

[TABLE]

with $\lambda_{1}=2u_{z}^{2}+{1\over 2}(x_{12}^{2}+(x_{1z}+x_{2z})^{2})$ and $\lambda_{2}=(x_{1z}+x_{2z})x_{12}$ , which can be readily evaluated to give the right-hand side of (66).

Bibliography63

The reference list from the paper itself. Each links out to its DOI / PubMed record.

1[1] E. Hijano, P. Kraus, E. Perlmutter, and R. Snively, “Witten Diagrams Revisited: The Ad S Geometry of Conformal Blocks,” JHEP 01 (2016) 146, 10.1007/JHEP 01(2016)146 , 1508.00501 . · doi ↗
2[2] M. Nishida and K. Tamaoka, “Geodesic Witten diagrams with an external spinning field,” PTEP 2017 (2017), no. 5 053B 06, 10.1093/ptep/ptx 055 , 1609.04563 . · doi ↗
3[3] A. Castro, E. Llabrés, and F. Rejon-Barrera, “Geodesic Diagrams, Gravitational Interactions & OPE Structures,” JHEP 06 (2017) 099, 10.1007/JHEP 06(2017)099 , 1702.06128 . · doi ↗
4[4] E. Dyer, D. Z. Freedman, and J. Sully, “Spinning Geodesic Witten Diagrams,” JHEP 11 (2017) 060, 10.1007/JHEP 11(2017)060 , 1702.06139 . · doi ↗
5[5] H.-Y. Chen, E.-J. Kuo, and H. Kyono, “Anatomy of Geodesic Witten Diagrams,” JHEP 05 (2017) 070, 10.1007/JHEP 05(2017)070 , 1702.08818 . · doi ↗
6[6] S. S. Gubser and S. Parikh, “Geodesic bulk diagrams on the Bruhat–Tits tree,” Phys. Rev. D 96 (2017), no. 6 066024, 10.1103/Phys Rev D.96.066024 , 1704.01149 . · doi ↗
7[7] P. Kraus, A. Maloney, H. Maxfield, G. S. Ng, and J.-q. Wu, “Witten Diagrams for Torus Conformal Blocks,” JHEP 09 (2017) 149, 10.1007/JHEP 09(2017)149 , 1706.00047 . · doi ↗
8[8] K. Tamaoka, “Geodesic Witten diagrams with antisymmetric tensor exchange,” Phys. Rev. D 96 (2017), no. 8 086007, 10.1103/Phys Rev D.96.086007 , 1707.07934 . · doi ↗

TL;DR

Contribution

Findings

Abstract

Peer Reviews

Videos

Holographic dual of the five-point conformal block

Abstract

Contents

1 Introduction

2 Holographic dual of the five-point conformal block

2.1 OPE limit

2.2 Proof by conformal Casimir equation

3 Discussion

Acknowledgments

Appendix A Propagator identities