Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is...

26
June 29th, 2020 Deriving the Correspondence Rajesh Gopakumar, ICTS-TIFR, Bengaluru; (Virtual) Strings 2020, Capetown Based on: arXiv:1911.00378 (w/ L. Eberhardt & M. Gaberdiel); AdS 3 /CFT 2 < l a t e x i t s h a 1 _ b a s e 6 4 = " I a d G J 3 n i G U + u K k d O U T W L z l 7 s v V Y = " > A A A B 8 n i c b V D L S s N A F J 3 4 r P V V d e l m s A i u a l I L 6 q 5 a E J c V + 4 I 0 h M l k 0 g 6 d z I S Z i V B C P 8 O N C 0 X c + j X u / B u n b R b a e u D C 4 Z x 7 u f e e I G F U a d v + t l Z W 1 9 Y 3 N g t b x e 2 d 3 b 3 9 0 s F h R 4 l U Y t L G g g n Z C 5 A i j H L S 1 l Q z 0 k s k Q X H A S D c Y N a Z + 9 4 l I R Q V v 6 X F C v B g N O I 0 o R t p I 7 k 3 4 6 F + c N + 5 a f t U v l e 2 K P Q N c J k 5 O y i B H 0 y 9 9 9 U O B 0 5 h w j R l S y n X s R H s Z k p p i R i b F f q p I g v A I D Y h r K E c x U V 4 2 O 3 k C T 4 0 S w k h I U 1 z D m f p 7 I k O x U u M 4 M J 0 x 0 k O 1 6 E 3 F / z w 3 1 d G V l 1 G e p J p w P F 8 U p Q x q A a f / w 5 B K g j U b G 4 K w p O Z W i I d I I q x N S k U T g r P 4 8 j L p V C t O r X L 9 U C v X b / M 4 C u A Y n I A z 4 I B L U A f 3 o A n a A A M B n s E r e L O 0 9 W K 9 W x / z 1 h U r n z k C f 2 B 9 / g B 9 M p A b < / l a t e x i t >

Transcript of Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is...

Page 1: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

June 29th, 2020

Deriving the CorrespondenceRajesh Gopakumar, ICTS-TIFR, Bengaluru; (Virtual) Strings 2020, CapetownBased on: arXiv:1911.00378 (w/ L. Eberhardt & M. Gaberdiel);

AdS3/CFT2

<latexit sha1_base64="IadGJ3niGU+uKkdOUTWLzl7svVY=">AAAB8nicbVDLSsNAFJ34rPVVdelmsAiualIL6q5aEJcV+4I0hMlk0g6dzISZiVBCP8ONC0Xc+jXu/BunbRbaeuDC4Zx7ufeeIGFUadv+tlZW19Y3Ngtbxe2d3b390sFhR4lUYtLGggnZC5AijHLS1lQz0kskQXHASDcYNaZ+94lIRQVv6XFCvBgNOI0oRtpI7k346F+cN+5aftUvle2KPQNcJk5OyiBH0y999UOB05hwjRlSynXsRHsZkppiRibFfqpIgvAIDYhrKEcxUV42O3kCT40SwkhIU1zDmfp7IkOxUuM4MJ0x0kO16E3F/zw31dGVl1GepJpwPF8UpQxqAaf/w5BKgjUbG4KwpOZWiIdIIqxNSkUTgrP48jLpVCtOrXL9UCvXb/M4CuAYnIAz4IBLUAf3oAnaAAMBnsEreLO09WK9Wx/z1hUrnzkCf2B9/gB9MpAb</latexit>

Page 2: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Derivation vs. Verification

✤ What does it mean to derive the AdS/CFT correspondence?

✤ Top down construction of dual pairs via Maldacena’s near horizon limit.

✤ Match (BPS/integrable) spectrum, compute correlators, Wilson lines, EE…

✤ Verification of equality of both sides appears miraculous/mysterious.

✤ Also does not help in delineating the scope of gauge-string duality - how and to what extent, can we systematically come up with new dual pairs?

Page 3: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Can We Tautologise AdS/CFT?

✤ Thus derivation of AdS/CFT is not mathematical fastidiousness.

✤ Rather a physics necessity to lay bare the inner workings of the duality.

✤ Perhaps ultimately a geometrisation of quantum information (tensor networks).

✤ Can aim at a less ambitious but concrete goal: equivalence of worldsheet CFT description of certain backgrounds with (large N) boundary .

✤ Dictionary that relates two (separately) mathematically well defined entities - can we make the equality manifest?

AdSd+1

<latexit sha1_base64="VRGisU5FxL9/JO03MaEeNMzeypc=">AAAB8HicbVBNSwMxEJ31s9avqkcvwSIIQtmVgnqrevFY0X5Iu5RsNtuGJtklyQpl6a/w4kERr/4cb/4b03YP2vpg4PHeDDPzgoQzbVz321laXlldWy9sFDe3tnd2S3v7TR2nitAGiXms2gHWlDNJG4YZTtuJolgEnLaC4c3Ebz1RpVksH8woob7AfckiRrCx0uNVeN/LwlNv3CuV3Yo7BVokXk7KkKPeK311w5ikgkpDONa647mJ8TOsDCOcjovdVNMEkyHu046lEguq/Wx68BgdWyVEUaxsSYOm6u+JDAutRyKwnQKbgZ73JuJ/Xic10YWfMZmkhkoyWxSlHJkYTb5HIVOUGD6yBBPF7K2IDLDCxNiMijYEb/7lRdI8q3jVyuVdtVy7zuMowCEcwQl4cA41uIU6NICAgGd4hTdHOS/Ou/Mxa11y8pkD+APn8wcK14/v</latexit>

CFTd

<latexit sha1_base64="ACristh4KWAwYpyKC30WYIEKEDc=">AAAB7nicbVBNSwMxEJ2tX7V+VT16CRbBU9mVgnorFsRjhX5Bu5RsNtuGZrMhyQpl6Y/w4kERr/4eb/4b03YP2vpg4PHeDDPzAsmZNq777RQ2Nre2d4q7pb39g8Oj8vFJRyepIrRNEp6oXoA15UzQtmGG055UFMcBp91g0pj73SeqNEtEy0wl9WM8EixiBBsrdRv3rWEWzoblilt1F0DrxMtJBXI0h+WvQZiQNKbCEI617nuuNH6GlWGE01lpkGoqMZngEe1bKnBMtZ8tzp2hC6uEKEqULWHQQv09keFY62kc2M4Ym7Fe9ebif14/NdGNnzEhU0MFWS6KUo5Mgua/o5ApSgyfWoKJYvZWRMZYYWJsQiUbgrf68jrpXFW9WvX2sVap3+VxFOEMzuESPLiGOjxAE9pAYALP8ApvjnRenHfnY9lacPKZU/gD5/MHBxGPZA==</latexit>

Page 4: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

From Worldsheet CFT to Spacetime CFT

✤ A large part of the dictionary is the equality of (euclidean) correlators.

✤ Assumes a matching of spectrum: on shell vertex operators of physical states in the worldsheet CFT single trace operators in spacetime CFT

Can we transform the LHS correlator into the RHS correlator (or vice versa)?

Vwh (x; z) $ O

(w)h (x)

<latexit sha1_base64="PNM7HZQirQYL9qkEGc1vvr3xVsU=">AAACKXicbVDLSgMxFM34rPVVdekmWIR2U2akoOKm6MadFewDOrVk0kwbmnmQ3LHWYX7Hjb/iRkFRt/6IaTsLbT0QOJxzLjf3OKHgCkzz01hYXFpeWc2sZdc3Nre2czu7dRVEkrIaDUQgmw5RTHCf1YCDYM1QMuI5gjWcwcXYb9wxqXjg38AoZG2P9HzuckpAS51cBdsegT4lIq4nt/Ew6cT9pHB/hh+K2BbMBcl7fSBSBkMc2zqGr3SsMCymwWInlzdL5gR4nlgpyaMU1U7u1e4GNPKYD1QQpVqWGUI7JhI4FSzJ2pFiIaED0mMtTX3iMdWOJ5cm+FArXewGUj8f8ET9PRETT6mR5+jk+Cw1643F/7xWBO5JO+Z+GAHz6XSRGwkMAR7XhrtcMgpipAmhkuu/YtonklDQ5WZ1CdbsyfOkflSyyqXT63K+cp7WkUH76AAVkIWOUQVdoiqqIYoe0TN6Q+/Gk/FifBhf0+iCkc7soT8wvn8AKBKnLg==</latexit>

$

<latexit sha1_base64="tqJ/Z0S0szc6T1Dzz/xhZ4aCMT0=">AAAB+HicbVBNSwMxEM3Wr1o/uurRS7AInsquFNRb0YvHCvYD2qVk02wbmk2WZFapS3+JFw+KePWnePPfmLZ70NYHA4/3ZpiZFyaCG/C8b6ewtr6xuVXcLu3s7u2X3YPDllGppqxJlVC6ExLDBJesCRwE6ySakTgUrB2Ob2Z++4Fpw5W8h0nCgpgMJY84JWClvlvuCRaB5sMREK3VY9+teFVvDrxK/JxUUI5G3/3qDRRNYyaBCmJM1/cSCDKigVPBpqVealhC6JgMWddSSWJmgmx++BSfWmWAI6VtScBz9fdERmJjJnFoO2MCI7PszcT/vG4K0WWQcZmkwCRdLIpSgUHhWQp4wDWjICaWEKq5vRXTEdGEgs2qZEPwl19eJa3zql+rXt3VKvXrPI4iOkYn6Az56ALV0S1qoCaiKEXP6BW9OU/Oi/PufCxaC04+c4T+wPn8AW42k50=</latexit>

spacetime position

worldsheet position

addl. labels

spacetime operator dim.

Z

Mg,n

⌦Vw1h1

(x1; z1)Vw2h2

(x2; z2) . . .Vwnhn

(xn; zn)↵⌃g,n

=⌦O

(w1)h1

(x1)O(w2)h2

(x2) . . .O(wn)hn

(xn)↵Sd

���g

<latexit sha1_base64="5NWs9Ziip+lpWcbSut6ucs3ffJo=">AAADL3icbZLdbtMwFMedjI9RPtaxS24MFVIjoSqJJgFCSNMQEjeIodFuUtNFjuOm1hwnsh22zuSNuOFVdoMQCHHLW2CnAbUdJ4l1dM7v+Px94qRkVCrf/+a4G9eu37i5eatz+87de1vd7fsjWVQCkyEuWCGOEyQJo5wMFVWMHJeCoDxh5Cg5fWXzRx+JkLTgH9S8JJMcZZxOKUbKhOJt53VEuYq1jjBi8G0d6+wJr2sYPbQPbF67JDSLGOIZIzDKkZoZWo/qE30WB6ZmZtb+eRy8gBdx4K0BYQOEFggtEHowYmmh5PJOFuENzi3ILci9RV/R9I11dEizHP1VCDsvV2QtTvDO7NE3orwlVd5KKvSW9PyTsoJwr9VjlayLUORc6cP6JDVD2qfZJ6OnhnG35w/8xuBVJ2idHmjtIO5eRmmBq5xwhRmSchz4pZpoJBTFjNSdqJKkRPgUZWRsXI5yIie6+d81fGwiKZwWwnxcwSa6XKFRLuU8TwxpJyzXczb4v9y4UtNnE015WSnC8aLRtGJQFdBeHphSQbBic+MgLKjRCvEMCYSVuWIdM4Rg/chXnVE4CHYHz9/v9vb223FsggfgEeiDADwFe+ANOABDgJ3PzqXz3fnhfnG/uj/dXwvUddqaHbBi7u8/GpkELA==</latexit>

Page 5: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

A Testing Ground

✤ Need an example where this program can be carried through.

✤ PROPOSAL [Eberhardt-Gaberdiel-RG (’18)]: String theory on with ( ) unit of NS-NS flux (in a perturbative expansion) = Large limit of - Symmetric orbifold 2d CFT.

✤ Worldsheet theory with NS-NS flux can be quantised - in RNS formalism essentially a WZW model: ( ).

✤ Spectrum organised in terms of sectors with `spectral flow’ - asymptotic winding of string on . Also continuum of long strings with mom. .

AdS3 ⇥ S3 ⇥ T 4

<latexit sha1_base64="uocBXp8UavrsyxWCuNwkzdMx668=">AAACA3icbZDLSsNAFIYn9VbrLepON4NFcFUSLai7qhuXlV6hTcNkMmmHTiZhZiKUUHDjq7hxoYhbX8Kdb+O0jaCtPwx8/OcczpzfixmVyrK+jNzS8srqWn69sLG5tb1j7u41ZZQITBo4YpFoe0gSRjlpKKoYaceCoNBjpOUNbyb11j0Rkka8rkYxcULU5zSgGCltuebBlV9zz7qKhkTCWu+H6r0ydM2iVbKmgotgZ1AEmaqu+dn1I5yEhCvMkJQd24qVkyKhKGZkXOgmksQID1GfdDRypDc56fSGMTzWjg+DSOjHFZy6vydSFEo5Cj3dGSI1kPO1iflfrZOo4MJJKY8TRTieLQoSBlUEJ4FAnwqCFRtpQFhQ/VeIB0ggrHRsBR2CPX/yIjRPS3a5dHlXLlauszjy4BAcgRNgg3NQAbegChoAgwfwBF7Aq/FoPBtvxvusNWdkM/vgj4yPb+Yllms=</latexit>

k = 1

<latexit sha1_base64="EanYhkF5+pjXx6Bvrcp5s/a8tw0=">AAAB63icbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoB6EohePFewHtKFstpN26e4m7G6EUvoXvHhQxKt/yJv/xqTNQVsfDDzem2FmXhALbqzrfjuFtfWNza3idmlnd2//oHx41DJRohk2WSQi3QmoQcEVNi23AjuxRioDge1gfJf57SfUhkfq0U5i9CUdKh5yRm0mjW+8Ur9ccavuHGSVeDmpQI5Gv/zVG0QskagsE9SYrufG1p9SbTkTOCv1EoMxZWM6xG5KFZVo/On81hk5S5UBCSOdlrJkrv6emFJpzEQGaaekdmSWvUz8z+smNrzyp1zFiUXFFovCRBAbkexxMuAamRWTlFCmeXorYSOqKbNpPFkI3vLLq6R1UfVq1euHWqV+m8dRhBM4hXPw4BLqcA8NaAKDETzDK7w50nlx3p2PRWvByWeO4Q+czx/88o2R</latexit>

(T 4)N/SN

<latexit sha1_base64="j6CJF4omQgkeGRPpFQ9sH/AM08Q=">AAAB83icbVBNS8NAEJ3Ur1q/qh69LBahXmoiBfVW9OKpVOwXtGnZbDft0s0m7G6EUvo3vHhQxKt/xpv/xk2bg7Y+GHi8N8PMPC/iTGnb/rYya+sbm1vZ7dzO7t7+Qf7wqKnCWBLaICEPZdvDinImaEMzzWk7khQHHqctb3yX+K0nKhULRV1PIuoGeCiYzwjWRuoW673yea968div5vr5gl2y50CrxElJAVLU+vmv7iAkcUCFJhwr1XHsSLtTLDUjnM5y3VjRCJMxHtKOoQIHVLnT+c0zdGaUAfJDaUpoNFd/T0xxoNQk8ExngPVILXuJ+J/XibV/7U6ZiGJNBVks8mOOdIiSANCASUo0nxiCiWTmVkRGWGKiTUxJCM7yy6ukeVlyyqWbh3KhcpvGkYUTOIUiOHAFFbiHGjSAQATP8ApvVmy9WO/Wx6I1Y6Uzx/AH1ucPksWQGg==</latexit>

k � 2

<latexit sha1_base64="vgvvH6ZAbtX53thIcNrWVVKoFEg=">AAAB8HicbVBNSwMxEJ2tX7V+VT16CRbBU9ktBfVW9OKxgv2QdinZNNuGJtk1yQpl6a/w4kERr/4cb/4bs+0etPXBwOO9GWbmBTFn2rjut1NYW9/Y3Cpul3Z29/YPyodHbR0litAWiXikugHWlDNJW4YZTruxolgEnHaCyU3md56o0iyS92YaU1/gkWQhI9hY6WGC+iP6iGqlQbniVt050CrxclKBHM1B+as/jEgiqDSEY617nhsbP8XKMMLprNRPNI0xmeAR7VkqsaDaT+cHz9CZVYYojJQtadBc/T2RYqH1VAS2U2Az1steJv7n9RITXvopk3FiqCSLRWHCkYlQ9j0aMkWJ4VNLMFHM3orIGCtMjM0oC8FbfnmVtGtVr169uqtXGtd5HEU4gVM4Bw8uoAG30IQWEBDwDK/w5ijnxXl3PhatBSefOYY/cD5/ADGYj2A=</latexit>

sl(2,R)k+2 � su(2)k�2 � T4 � fermions� ghosts

<latexit sha1_base64="qQmXj16HNTkpISRuhmsGAPNn1/M=">AAACYXicbVFdS8MwFE3r1za/6nzcS3AIijraMVDfhr74OMW5wTpHmqVbWNKUJBVH6Z/0zRdf/COm3QZ+XQgczjk3N/ckiBlV2nXfLXttfWNzq1SubO/s7u07B9UnJRKJSRcLJmQ/QIowGpGuppqRfiwJ4gEjvWB2m+u9FyIVFdGjnsdkyNEkoiHFSBtq5Lz6HOlpKNEsVSw7aZ7DggiC9CE7HaWzs2bmi5glCn4zJsaYixcrcdXzmD23FkzqSw5DIrmZolZXFORkKpRW2cipuw23KPgXeEtQB8vqjJw3fyxwwkmkMUNKDTw31sMUSU0xI1nFTxSJEZ6hCRkYGCFO1DAtEsrgsWHGMBTSnEjDgv3ekSKu1JwHxpmvon5rOfmfNkh0eDVMaRQnmkR4MShMGNQC5nHDMZUEazY3AGFJzVshniKJsDafUjEheL9X/guemg2v1bi+b9XbN8s4SqAGjsAJ8MAlaIM70AFdgMGHtW7tWnvWp122Hbu6sNrWsucQ/Ci79gU1MLjk</latexit>

(w)

<latexit sha1_base64="lo5M1+oApRxYX8WToipZTPV/H5U=">AAAB6nicbVDLSgNBEOz1GeMr6tHLYBDiJexKQL0FvXiMaB6QLGF20psMmZ1dZmaVEPIJXjwo4tUv8ubfOEn2oIkFDUVVN91dQSK4Nq777aysrq1vbOa28ts7u3v7hYPDho5TxbDOYhGrVkA1Ci6xbrgR2EoU0igQ2AyGN1O/+YhK81g+mFGCfkT7koecUWOl+9LTWbdQdMvuDGSZeBkpQoZat/DV6cUsjVAaJqjWbc9NjD+mynAmcJLvpBoTyoa0j21LJY1Q++PZqRNyapUeCWNlSxoyU39PjGmk9SgKbGdEzUAvelPxP6+dmvDSH3OZpAYlmy8KU0FMTKZ/kx5XyIwYWUKZ4vZWwgZUUWZsOnkbgrf48jJpnJe9SvnqrlKsXmdx5OAYTqAEHlxAFW6hBnVg0IdneIU3RzgvzrvzMW9dcbKZI/gD5/MHrfmNbA==</latexit>

AdS3

<latexit sha1_base64="kwDQk1tvYlJmGjuw7oI5mb9v0f4=">AAAB7XicbVBNSwMxEJ2tX7V+VT16CRbBU9nVgnqrevFY0X5Au5RsNttGs8mSZIWy9D948aCIV/+PN/+N2bYHbX0w8Hhvhpl5QcKZNq777RSWlldW14rrpY3Nre2d8u5eS8tUEdokkkvVCbCmnAnaNMxw2kkUxXHAaTt4vM799hNVmklxb0YJ9WM8ECxiBBsrtS7Du/5pqV+uuFV3ArRIvBmpwAyNfvmrF0qSxlQYwrHWXc9NjJ9hZRjhdFzqpZommDziAe1aKnBMtZ9Nrh2jI6uEKJLKljBoov6eyHCs9SgObGeMzVDPe7n4n9dNTXTuZ0wkqaGCTBdFKUdGovx1FDJFieEjSzBRzN6KyBArTIwNKA/Bm395kbROql6tenFbq9SvZnEU4QAO4Rg8OIM63EADmkDgAZ7hFd4c6bw4787HtLXgzGb24Q+czx9V/Y5W</latexit>

p

<latexit sha1_base64="aWRgqP3B5yRSbZQpa5XnUkfcx8M=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoN6KXjy2YGuhDWWznbRrN5uwuxFK6C/w4kERr/4kb/4bt20O2vpg4PHeDDPzgkRwbVz32ymsrW9sbhW3Szu7e/sH5cOjto5TxbDFYhGrTkA1Ci6xZbgR2EkU0igQ+BCMb2f+wxMqzWN5byYJ+hEdSh5yRo2Vmkm/XHGr7hxklXg5qUCORr/81RvELI1QGiao1l3PTYyfUWU4Ezgt9VKNCWVjOsSupZJGqP1sfuiUnFllQMJY2ZKGzNXfExmNtJ5Ege2MqBnpZW8m/ud1UxNe+RmXSWpQssWiMBXExGT2NRlwhcyIiSWUKW5vJWxEFWXGZlOyIXjLL6+S9kXVq1Wvm7VK/SaPowgncArn4MEl1OEOGtACBgjP8ApvzqPz4rw7H4vWgpPPHMMfOJ8/3fmNAA==</latexit>

N

<latexit sha1_base64="TuI4H4uSJQt41qP5CqwsvE8ICww=">AAAB6HicbVDLSgNBEOyNrxhfUY9eBoPgKexKQL0FvXiSBMwDkiXMTnqTMbOzy8ysEEK+wIsHRbz6Sd78GyfJHjSxoKGo6qa7K0gE18Z1v53c2vrG5lZ+u7Czu7d/UDw8auo4VQwbLBaxagdUo+ASG4Ybge1EIY0Cga1gdDvzW0+oNI/lgxkn6Ed0IHnIGTVWqt/3iiW37M5BVomXkRJkqPWKX91+zNIIpWGCat3x3MT4E6oMZwKnhW6qMaFsRAfYsVTSCLU/mR86JWdW6ZMwVrakIXP198SERlqPo8B2RtQM9bI3E//zOqkJr/wJl0lqULLFojAVxMRk9jXpc4XMiLEllClubyVsSBVlxmZTsCF4yy+vkuZF2auUr+uVUvUmiyMPJ3AK5+DBJVThDmrQAAYIz/AKb86j8+K8Ox+L1pyTzRzDHzifP6pxjN4=</latexit>

[Maldacena-Ooguri (’00)]

Page 6: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

A Tractable Case

✤ For ( ) - `tensionless limit’ - can employ the hybrid formalism of Berkovits-Vafa-Witten based on a WZW model.

✤ Spectrum truncates to short reps of .

✤ Only states at the bottom of the long string continuum survives: .

✤ Match of the entire perturbative spectrum with dual CFT (and other checks). [Eberhardt-Gaberdiel-R.G. (’18); see Lorenz@Strings 2019]

psu(1, 1|2)1

<latexit sha1_base64="uKtMHFcSpFi07I/63vaqPc5GZSU=">AAACAXicbVDLSsNAFJ3UV62vqBvBzWARKkjJlIK6K7pxWcE+oA1hMp20QyeTMDMRSqwbf8WNC0Xc+hfu/BsnbRZaPXDhcM693HuPH3OmtON8WYWl5ZXVteJ6aWNza3vH3t1rqyiRhLZIxCPZ9bGinAna0kxz2o0lxaHPaccfX2V+545KxSJxqycxdUM8FCxgBGsjefZBP8R6FEg8TmOVTCvoFN3XTjxU8uyyU3VmgH8JykkZ5Gh69md/EJEkpEITjpXqISfWboqlZoTTaamfKBpjMsZD2jNU4JAqN519MIXHRhnAIJKmhIYz9edEikOlJqFvOrN71aKXif95vUQH527KRJxoKsh8UZBwqCOYxQEHTFKi+cQQTCQzt0IywhITbULLQkCLL/8l7VoV1asXN/Vy4zKPowgOwRGoAATOQANcgyZoAQIewBN4Aa/Wo/VsvVnv89aClc/sg1+wPr4BvYCVyA==</latexit>

k = 1

<latexit sha1_base64="EanYhkF5+pjXx6Bvrcp5s/a8tw0=">AAAB63icbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoB6EohePFewHtKFstpN26e4m7G6EUvoXvHhQxKt/yJv/xqTNQVsfDDzem2FmXhALbqzrfjuFtfWNza3idmlnd2//oHx41DJRohk2WSQi3QmoQcEVNi23AjuxRioDge1gfJf57SfUhkfq0U5i9CUdKh5yRm0mjW+8Ur9ccavuHGSVeDmpQI5Gv/zVG0QskagsE9SYrufG1p9SbTkTOCv1EoMxZWM6xG5KFZVo/On81hk5S5UBCSOdlrJkrv6emFJpzEQGaaekdmSWvUz8z+smNrzyp1zFiUXFFovCRBAbkexxMuAamRWTlFCmeXorYSOqKbNpPFkI3vLLq6R1UfVq1euHWqV+m8dRhBM4hXPw4BLqcA8NaAKDETzDK7w50nlx3p2PRWvByWeO4Q+czx/88o2R</latexit>

psu(1, 1|2)1

<latexit sha1_base64="uKtMHFcSpFi07I/63vaqPc5GZSU=">AAACAXicbVDLSsNAFJ3UV62vqBvBzWARKkjJlIK6K7pxWcE+oA1hMp20QyeTMDMRSqwbf8WNC0Xc+hfu/BsnbRZaPXDhcM693HuPH3OmtON8WYWl5ZXVteJ6aWNza3vH3t1rqyiRhLZIxCPZ9bGinAna0kxz2o0lxaHPaccfX2V+545KxSJxqycxdUM8FCxgBGsjefZBP8R6FEg8TmOVTCvoFN3XTjxU8uyyU3VmgH8JykkZ5Gh69md/EJEkpEITjpXqISfWboqlZoTTaamfKBpjMsZD2jNU4JAqN519MIXHRhnAIJKmhIYz9edEikOlJqFvOrN71aKXif95vUQH527KRJxoKsh8UZBwqCOYxQEHTFKi+cQQTCQzt0IywhITbULLQkCLL/8l7VoV1asXN/Vy4zKPowgOwRGoAATOQANcgyZoAQIewBN4Aa/Wo/VsvVnv89aClc/sg1+wPr4BvYCVyA==</latexit>

j =1

2+ i(p = 0)

<latexit sha1_base64="ZMhDZoNqx/jxrDSxDXfunEnAwIM=">AAAB/XicbVDLSsNAFL3xWesrPnZugkWoCCUpBXVRKLpxWcE+oA1lMp20YyeTMDMRagj+ihsXirj1P9z5N07bLLT1wIXDOfdy7z1exKhUtv1tLC2vrK6t5zbym1vbO7vm3n5ThrHApIFDFoq2hyRhlJOGooqRdiQICjxGWt7oeuK3HoiQNOR3ahwRN0ADTn2KkdJSzzy8r3Z9gXDipEk5PaPFqGqf9syCXbKnsBaJk5ECZKj3zK9uP8RxQLjCDEnZcexIuQkSimJG0nw3liRCeIQGpKMpRwGRbjK9PrVOtNK3/FDo4sqaqr8nEhRIOQ483RkgNZTz3kT8z+vEyr9wE8qjWBGOZ4v8mFkqtCZRWH0qCFZsrAnCgupbLTxEOgylA8vrEJz5lxdJs1xyKqXL20qhdpXFkYMjOIYiOHAONbiBOjQAwyM8wyu8GU/Gi/FufMxal4xs5gD+wPj8Adm9lDM=</latexit>

sl(2) qtm no.

Page 7: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Correlating Correlators

✤ Thus we have ; spectral flow sector twisted sector .

✤ GOAL: to derive the relation between correlators rather than verify.

✤ Restrict to ground states in each sector: - states at the bottom of the would-be continuum (i.e. no torus oscillators excited).

✤ Also to genus zero (for generalisation to higher genus see Eberhardt (’20)).

Vwh (x; z) $ O

(w)h (x)

<latexit sha1_base64="PNM7HZQirQYL9qkEGc1vvr3xVsU=">AAACKXicbVDLSgMxFM34rPVVdekmWIR2U2akoOKm6MadFewDOrVk0kwbmnmQ3LHWYX7Hjb/iRkFRt/6IaTsLbT0QOJxzLjf3OKHgCkzz01hYXFpeWc2sZdc3Nre2czu7dRVEkrIaDUQgmw5RTHCf1YCDYM1QMuI5gjWcwcXYb9wxqXjg38AoZG2P9HzuckpAS51cBdsegT4lIq4nt/Ew6cT9pHB/hh+K2BbMBcl7fSBSBkMc2zqGr3SsMCymwWInlzdL5gR4nlgpyaMU1U7u1e4GNPKYD1QQpVqWGUI7JhI4FSzJ2pFiIaED0mMtTX3iMdWOJ5cm+FArXewGUj8f8ET9PRETT6mR5+jk+Cw1643F/7xWBO5JO+Z+GAHz6XSRGwkMAR7XhrtcMgpipAmhkuu/YtonklDQ5WZ1CdbsyfOkflSyyqXT63K+cp7WkUH76AAVkIWOUQVdoiqqIYoe0TN6Q+/Gk/FifBhf0+iCkc7soT8wvn8AKBKnLg==</latexit>

(w)

<latexit sha1_base64="lo5M1+oApRxYX8WToipZTPV/H5U=">AAAB6nicbVDLSgNBEOz1GeMr6tHLYBDiJexKQL0FvXiMaB6QLGF20psMmZ1dZmaVEPIJXjwo4tUv8ubfOEn2oIkFDUVVN91dQSK4Nq777aysrq1vbOa28ts7u3v7hYPDho5TxbDOYhGrVkA1Ci6xbrgR2EoU0igQ2AyGN1O/+YhK81g+mFGCfkT7koecUWOl+9LTWbdQdMvuDGSZeBkpQoZat/DV6cUsjVAaJqjWbc9NjD+mynAmcJLvpBoTyoa0j21LJY1Q++PZqRNyapUeCWNlSxoyU39PjGmk9SgKbGdEzUAvelPxP6+dmvDSH3OZpAYlmy8KU0FMTKZ/kx5XyIwYWUKZ4vZWwgZUUWZsOnkbgrf48jJpnJe9SvnqrlKsXmdx5OAYTqAEHlxAFW6hBnVg0IdneIU3RzgvzrvzMW9dcbKZI/gD5/MHrfmNbA==</latexit>

(w)

<latexit sha1_base64="lo5M1+oApRxYX8WToipZTPV/H5U=">AAAB6nicbVDLSgNBEOz1GeMr6tHLYBDiJexKQL0FvXiMaB6QLGF20psMmZ1dZmaVEPIJXjwo4tUv8ubfOEn2oIkFDUVVN91dQSK4Nq777aysrq1vbOa28ts7u3v7hYPDho5TxbDOYhGrVkA1Ci6xbrgR2EoU0igQ2AyGN1O/+YhK81g+mFGCfkT7koecUWOl+9LTWbdQdMvuDGSZeBkpQoZat/DV6cUsjVAaJqjWbc9NjD+mynAmcJLvpBoTyoa0j21LJY1Q++PZqRNyapUeCWNlSxoyU39PjGmk9SgKbGdEzUAvelPxP6+dmvDSH3OZpAYlmy8KU0FMTKZ/kx5XyIwYWUKZ4vZWwgZUUWZsOnkbgrf48jJpnJe9SvnqrlKsXmdx5OAYTqAEHlxAFW6hBnVg0IdneIU3RzgvzrvzMW9dcbKZI/gD5/MHrfmNbA==</latexit>

$

<latexit sha1_base64="tqJ/Z0S0szc6T1Dzz/xhZ4aCMT0=">AAAB+HicbVBNSwMxEM3Wr1o/uurRS7AInsquFNRb0YvHCvYD2qVk02wbmk2WZFapS3+JFw+KePWnePPfmLZ70NYHA4/3ZpiZFyaCG/C8b6ewtr6xuVXcLu3s7u2X3YPDllGppqxJlVC6ExLDBJesCRwE6ySakTgUrB2Ob2Z++4Fpw5W8h0nCgpgMJY84JWClvlvuCRaB5sMREK3VY9+teFVvDrxK/JxUUI5G3/3qDRRNYyaBCmJM1/cSCDKigVPBpqVealhC6JgMWddSSWJmgmx++BSfWmWAI6VtScBz9fdERmJjJnFoO2MCI7PszcT/vG4K0WWQcZmkwCRdLIpSgUHhWQp4wDWjICaWEKq5vRXTEdGEgs2qZEPwl19eJa3zql+rXt3VKvXrPI4iOkYn6Az56ALV0S1qoCaiKEXP6BW9OU/Oi/PufCxaC04+c4T+wPn8AW42k50=</latexit>

h =w2 � 1

4w

<latexit sha1_base64="pMThFVcM3hmzG7fmJwcAY305tQk=">AAAB+3icbVBNS8NAEJ34WetXrEcvi0XwYklKQT0IRS8eK9gPaGvZbDft0s0m7G6sJeSvePGgiFf/iDf/jds2B219MPB4b4aZeV7EmdKO822trK6tb2zmtvLbO7t7+/ZBoaHCWBJaJyEPZcvDinImaF0zzWkrkhQHHqdNb3Qz9ZuPVCoWins9iWg3wAPBfEawNlLPLgyvOr7EJBk/lM/cNKmM055ddErODGiZuBkpQoZaz/7q9EMSB1RowrFSbdeJdDfBUjPCaZrvxIpGmIzwgLYNFTigqpvMbk/RiVH6yA+lKaHRTP09keBAqUngmc4A66Fa9Kbif1471v5FN2EiijUVZL7IjznSIZoGgfpMUqL5xBBMJDO3IjLEJgpt4sqbENzFl5dJo1xyK6XLu0qxep3FkYMjOIZTcOEcqnALNagDgSd4hld4s1LrxXq3PuatK1Y2cwh/YH3+AF8PlAg=</latexit>

Z

M0,n

⌦Vw1h1

(x1; z1)Vw2h2

(x2; z2) . . .Vwnhn

(xn; zn)↵⌃0,n

=⌦O

(w1)h1

(x1)O(w2)h2

(x2) . . .O(wn)hn

(xn)↵S2

���g=0

<latexit sha1_base64="vD6MmxB5exbSmA2LAO0dr+7fgWU=">AAADMHicbZLditQwFMfT+rWOX7N66U10EKYgQ1sWVGRhWUG8EVfWmV2YzoY0k+mETdOSpLpj7CN546PojYIi3voUJp0qM7OetuFwzu/k/HOatORM6TD85vkXLl66fGXraufa9Rs3b3W3b49UUUlCh6TghTxOsaKcCTrUTHN6XEqK85TTo/T0mcsfvaVSsUK80YuSTnKcCTZjBGsbQtve84QJjYxJCObwZY1M+FDUNUzuuQc2r1tSliUci4xTmORYzy1tRvWJeYciWzO3a/8MRU/hexQFG0DcALEDYgfEAUz4tNBqdSeHiAYXDhQOFMGyr2z6IpMcsizHfxV2dtdULQ/wym7Rt5qCFVHBWioOVuT8U7KGiKCV44RsatD0TJvD+iS2M9pn2Qdkst2whqjbCwdhY/C8E7VOD7R2gLqfk2lBqpwKTThWahyFpZ4YLDUjnNadpFK0xOQUZ3RsXYFzqiam+eE1fGAjUzgrpP2Ehk10tcLgXKlFnlrSjVht5lzwf7lxpWePJ4aJstJUkGWjWcWhLqC7PXDKJCWaL6yDiWRWKyRzLDHR9o517BCizSOfd0bxINoZPHm909vbb8exBe6C+6APIvAI7IEX4AAMAfE+el+8794P/5P/1f/p/1qivtfW3AFr5v/+A/OfA+M=</latexit>

Page 8: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

✤ Uncover the structural reason why correlators in this worldsheet CFT match with those of the spacetime CFT.

✤ Localisation on moduli space to holomorphic covering maps: with specified branching ( ) at the insertions .

✤ CLAIM: Worldsheet correlator - discrete set of points.

✤ Leads to a realization of covering space computation of symmetric product orbifold correlators (and its identification with worldsheet).

Localisation

x = �(z)

<latexit sha1_base64="+iCZIZNXLwVmkytNjkr5lPM6Vv0=">AAAB8nicbVBNSwMxEJ31s9avqkcvwSLUS9mVgnoQih70WMF+wLaUbJptQ5PskmTFuvRnePGgiFd/jTf/jWm7B219MPB4b4aZeUHMmTau++0sLa+srq3nNvKbW9s7u4W9/YaOEkVonUQ8Uq0Aa8qZpHXDDKetWFEsAk6bwfB64jcfqNIskvdmFNOOwH3JQkawsZL/eNm+wULg0tNJt1B0y+4UaJF4GSlChlq38NXuRSQRVBrCsda+58amk2JlGOF0nG8nmsaYDHGf+pZKLKjupNOTx+jYKj0URsqWNGiq/p5IsdB6JALbKbAZ6HlvIv7n+YkJzzspk3FiqCSzRWHCkYnQ5H/UY4oSw0eWYKKYvRWRAVaYGJtS3obgzb+8SBqnZa9SvrirFKtXWRw5OIQjKIEHZ1CFW6hBHQhE8Ayv8OYY58V5dz5mrUtONnMAf+B8/gBnDpCz</latexit>

wi

<latexit sha1_base64="kVxL5/yVhJvvymHlh2eek9gXJKM=">AAAB6nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lEUG9FLx4r2g9oQ9lsJ+3SzSbsbpQS+hO8eFDEq7/Im//GbZuDtj4YeLw3w8y8IBFcG9f9dgorq2vrG8XN0tb2zu5eef+gqeNUMWywWMSqHVCNgktsGG4EthOFNAoEtoLRzdRvPaLSPJYPZpygH9GB5CFn1Fjp/qnHe+WKW3VnIMvEy0kFctR75a9uP2ZphNIwQbXueG5i/Iwqw5nASambakwoG9EBdiyVNELtZ7NTJ+TEKn0SxsqWNGSm/p7IaKT1OApsZ0TNUC96U/E/r5Oa8NLPuExSg5LNF4WpICYm079JnytkRowtoUxxeythQ6ooMzadkg3BW3x5mTTPqt559eruvFK7zuMowhEcwyl4cAE1uIU6NIDBAJ7hFd4c4bw4787HvLXg5DOH8AfO5w9i6o3j</latexit>

/n�3Y

i=1

�(xi � �(zi))

<latexit sha1_base64="FcIDNn9WTW5AHCbx94qPpOwuwEg=">AAACHHicbVBNSwMxEM36bf2qevQSLEI9tOxqQT0IRQ96VLC20K3LbDZtg0l2SbJiXfpDvPhXvHhQxIsHwX9jWntQ64NhHu/NkMwLE860cd1PZ2Jyanpmdm4+t7C4tLySX1271HGqCK2RmMeqEYKmnElaM8xw2kgUBRFyWg+vjwd+/YYqzWJ5YXoJbQnoSNZmBIyVgvyun6g4MTEe9CjI2KHXv8pkabeP/YhyA8XbgOGSfwJCQPEuYNvbOMgX3LI7BB4n3ogU0AhnQf7dj2KSCioN4aB103MT08pAGUY47ef8VNMEyDV0aNNSCYLqVjY8ro+3rBLhdqxsSYOH6s+NDITWPRHaSQGmq/96A/E/r5ma9n4rYzJJDZXk+6F2yrENY5AUjpiixPCeJUAUs3/FpAsKiLF55mwI3t+Tx8nlTtmrlA/OK4Xq0SiOObSBNlEReWgPVdEpOkM1RNA9ekTP6MV5cJ6cV+fte3TCGe2so19wPr4A18ygjg==</latexit>

[Lunin-Mathur(’00); Pakman-Rastelli-Razamat(’09)]

x ⇡ xi + a�i (z � zi)wi ; (i = 1 . . . n)

<latexit sha1_base64="go8e6R2ZtnOhVNpXOvOUeNWElz8=">AAACK3icbVDJSgNBEO1xN25Rj14agxBRw4wIKiKIHvSoYBIhE4eaTidp0svQ3aOJQ/7Hi7/iQQ8uePU/nCwHt1cUPN6rorteGHFmrOu+OSOjY+MTk1PTmZnZufmF7OJSyahYE1okiit9FYKhnElatMxyehVpCiLktBy2Tnp++YZqw5S8tJ2IVgU0JKszAjaVguxxG/sQRVq1cTtgeANDwK4T/xSEgG7+busuYOvXyW3AugfY3xwUzrNDz+c1ZQ2W65kgm3MLbh/4L/GGJIeGOA+yT35NkVhQaQkHYyqeG9lqAtoywmk348eGRkBa0KCVlEoQ1FST/q1dvJYqNVxXOm1pcV/9vpGAMKYjwnRSgG2a315P/M+rxLa+V02YjGJLJRk8VI85tgr3gsM1pimxvJMSIJqlf8WkCRqITePtheD9PvkvKW0XvJ3C/sVO7uh4GMcUWkGrKI88tIuO0Bk6R0VE0D16RC/o1Xlwnp1352MwOuIMd5bRDzifXwTnpQ4=</latexit>

Page 9: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

The Worldsheet as a Covering Space

Page 10: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

A Two-Pronged Strategy

✤ Argue (i) that worldsheet correlators localise and (ii) give the right contributions that reproduce the correlators of the spacetime CFT.

✤ (i) Ward identities for correlators of spectrally flowed vertex operators have the special delta function solution provided: - satisfied for .

✤ (ii) An exact classical solution of the sigma model corresponding to this covering space map. Gives precisely the contribution to the path integral as in Lunin-Mathur computation of symmetric orbifold correlators.

nX

i=1

ji =k

2(n� 2) + 1

<latexit sha1_base64="lGwAWRBo23QyFSQj2PEHHb9goD4=">AAACDXicbVDLSsNAFJ3UV62vqEs3g1WoiCUpBXVRKLpxWcE+oKlhMp3UsZNJmJkIJeQH3Pgrblwo4ta9O//GaZuFth64cDjnXu69x4sYlcqyvo3cwuLS8kp+tbC2vrG5ZW7vtGQYC0yaOGSh6HhIEkY5aSqqGOlEgqDAY6TtDS/HfvuBCElDfqNGEekFaMCpTzFSWnLNA0fGgZvQmp3ecnjv0prjC4STYZpU0hI/qRwd29A1i1bZmgDOEzsjRZCh4ZpfTj/EcUC4wgxJ2bWtSPUSJBTFjKQFJ5YkQniIBqSrKUcBkb1k8k0KD7XSh34odHEFJ+rviQQFUo4CT3cGSN3JWW8s/ud1Y+Wf9RLKo1gRjqeL/JhBFcJxNLBPBcGKjTRBWFB9K8R3SKehdIAFHYI9+/I8aVXKdrV8fl0t1i+yOPJgD+yDErDBKaiDK9AATYDBI3gGr+DNeDJejHfjY9qaM7KZXfAHxucPYnaaeA==</latexit>

ji =1

2; k = 1; 8n

<latexit sha1_base64="9EvgcTPxSZEsjWigCvuf3VdCMU0=">AAACDnicbVC7SgNBFL3rM8ZX1NJmMAQsJOyGgEoIBG0sI5gHZJcwO5lNxsw+mJkVwrJfYOOv2FgoYmtt5984SbbQxAvDHM45l3vvcSPOpDLNb2NldW19YzO3ld/e2d3bLxwctmUYC0JbJOSh6LpYUs4C2lJMcdqNBMW+y2nHHV9P9c4DFZKFwZ2aRNTx8TBgHiNYaapfKN33Wd32BCaJlSaVtIbsMzSuW6imf9sLBeYcaV/RLJuzQsvAykARsmr2C1/2ICSxTwNFOJayZ5mRchIsFCOcpnk7ljTCZIyHtKdhgH0qnWR2TopKmhkgPVu/QKEZ+7sjwb6UE9/VTh+rkVzUpuR/Wi9W3oWTsCCKFQ3IfJAXc6RCNM0GDZigRPGJBpgIpndFZIR1NkonmNchWIsnL4N2pWxVy5e31WLjKosjB8dwAqdgwTk04Aaa0AICj/AMr/BmPBkvxrvxMbeuGFnPEfwp4/MH+PGaLA==</latexit>

sl(2,R)k+2

<latexit sha1_base64="R5u3PEHhwJq269pKgFBJOuiIpbU=">AAACCnicbVDLSsNAFJ3UV62vqEs30SJUlJKUgrorunFZxT6gDWEynbRDJpMwMxFKyNqNv+LGhSJu/QJ3/o2TNAttPTBw5px7ufceN6JESNP81kpLyyura+X1ysbm1vaOvrvXFWHMEe6gkIa870KBKWG4I4mkuB9xDAOX4p7rX2d+7wFzQUJ2L6cRtgM4ZsQjCEolOfrhMIBy4nHoJ4KmtcZZ/nfd5C49cRL/tJE6etWsmzmMRWIVpAoKtB39azgKURxgJhGFQgwsM5J2ArkkiOK0MowFjiDy4RgPFGUwwMJO8lNS41gpI8MLuXpMGrn6uyOBgRDTwFWV2aJi3svE/7xBLL0LOyEsiiVmaDbIi6khQyPLxRgRjpGkU0Ug4kTtaqAJ5BBJlV5FhWDNn7xIuo261axf3jarrasijjI4AEegBixwDlrgBrRBByDwCJ7BK3jTnrQX7V37mJWWtKJnH/yB9vkD4maaZA==</latexit>

Page 11: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Semiclassical Picture

Page 12: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Ward Identities

✤ Ward Identities for are very nontrivial on the spectrally flowed vertex operators.

✤ Under spectral flow:

✤ Therefore, on the flowed primary vertex operator, the OPE with the currents is

�w(J±)(z) = z⌥wJ±(z); �w(J3)(z) = J3(z) +(k + 2)w

2z.

<latexit sha1_base64="so8V0kC/4IDTU2HgiGihcR9YAuU=">AAACRHicbVDLSgMxFM34tr6qLt0Ei9BSKTO1oCKC6EZcKdgHdNqSSTNtaDIzJBmlHfpxbvwAd36BGxeKuBXT6Sxq6yXhHs49h5scJ2BUKtN8NebmFxaXlldWU2vrG5tb6e2divRDgUkZ+8wXNQdJwqhHyooqRmqBIIg7jFSd3tVoXn0gQlLfu1f9gDQ46njUpRgpTbXSdVvSDkfNx+xN0w54LjvInQ+akc0D+DiEMaepM2gfjk5qQn0Ua3XXLW+7AuEo28sXc9oXFQdDGxZa6YxZMOOCs8BKQAYkddtKv9htH4eceAozJGXdMgPViJBQFDMyTNmhJAHCPdQhdQ09xIlsRHEIQ3igmTZ0faGvp2DMTjoixKXsc0crOVJdOT0bkf/N6qFyTxoR9YJQEQ+PF7khg8qHo0RhmwqCFetrgLCg+q0Qd5HOQ+ncUzoEa/rLs6BSLFilwuldKXNxmcSxAvbAPsgCCxyDC3ANbkEZYPAE3sAH+DSejXfjy/geS+eMxLML/pTx8wu5VK0X</latexit>

J+(z)V wh (0; 0) ⇠

w+1X

p=2

(J+p�1V

wh )(0; 0)

zp+

@xV wh (0; 0)

z,

J3(z)V wh (0; 0) ⇠

hV wh (0; 0)

z,

J�(z)V wh (0; 0) ⇠ O(zw�1) ,

<latexit sha1_base64="bAlkT+Vdqef1C6gsCwU4+lnCcM4=">AAAC1nicbVJbb9MwGHXCbZRb2R55sahAqcqqZExiDCFNICS0lxVBu0p1Ezmus1pzLtgOo7XMAwjxym/jjR/Bf8BJ87BLPynS0fnO+W5OXHAmle//ddxr12/cvLVxu3Xn7r37D9oPN0cyLwWhQ5LzXIxjLClnGR0qpjgdF4LiNOb0OD59W+WPv1AhWZ59UouCTlN8krGEEawsFbX/HYY9b9mFo2gennn+K7/7FEmWQiTLNNLF6x0T6rNeYCBKBCbas3JLb1uidnRri9HLsDC9lQQVWCiGefT1XFGrMAg+gwi1DsPnFxvCpmPtnq8zcRxTrunn/RlN4NHgnYQjGJu61vb6WilWc4K5PjLe0i5g5+1WlaJ2x+/7dcCrIGhABzQxiNp/0CwnZUozRTiWchL4hZrqakPCqWmhUtICk1N8QicWZjilcqrrZzHwiWVmMMmF/TIFa/a8Q+NUykUaW2U1r7ycq8h1uUmpkr2pZllRKpqRVaOk5FDlsHpjOGOCEsUXFmAimJ0Vkjm251X2T2jZIwSXV74KRjv9YLf/8sNu5+BNc44N8Ag8Bh4IwAtwAN6DARgC4nx0Fs5354c7dr+5P91fK6nrNJ4tcCHc3/8BhnTZTA==</latexit>

+ve modes with non-zero action

-ve modes which annihilate

sl(2,R)k+2

<latexit sha1_base64="R5u3PEHhwJq269pKgFBJOuiIpbU=">AAACCnicbVDLSsNAFJ3UV62vqEs30SJUlJKUgrorunFZxT6gDWEynbRDJpMwMxFKyNqNv+LGhSJu/QJ3/o2TNAttPTBw5px7ufceN6JESNP81kpLyyura+X1ysbm1vaOvrvXFWHMEe6gkIa870KBKWG4I4mkuB9xDAOX4p7rX2d+7wFzQUJ2L6cRtgM4ZsQjCEolOfrhMIBy4nHoJ4KmtcZZ/nfd5C49cRL/tJE6etWsmzmMRWIVpAoKtB39azgKURxgJhGFQgwsM5J2ArkkiOK0MowFjiDy4RgPFGUwwMJO8lNS41gpI8MLuXpMGrn6uyOBgRDTwFWV2aJi3svE/7xBLL0LOyEsiiVmaDbIi6khQyPLxRgRjpGkU0Ug4kTtaqAJ5BBJlV5FhWDNn7xIuo261axf3jarrasijjI4AEegBixwDlrgBrRBByDwCJ7BK3jTnrQX7V37mJWWtKJnH/yB9vkD4maaZA==</latexit>

Page 13: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Ward Identities (Contd.)

✤ So now have new unknowns from the . But also have new equations from the regularity of OPE upto .

✤ Apply these OPEs to the correlator .

✤ For have the usual

✤ For general { } a complicated set of recursion relations for after eliminating unknowns.

✤ General solution difficult to write down. [See also Hikida-Liu (’20)]

(J+p�1V

wh )

<latexit sha1_base64="5tJ3Mt2n1v2Gh7Ffy7yGNl4DG+o=">AAAB+nicbVDJSgNBEK2JW4zbRI9eGoMQEcOMBNRb0It4imAWSCZDT6cnadKz0N1jCGM+xYsHRbz6Jd78GzvLQRMfFDzeq6KqnhdzJpVlfRuZldW19Y3sZm5re2d3z8zv12WUCEJrJOKRaHpYUs5CWlNMcdqMBcWBx2nDG9xM/MYjFZJF4YMaxdQJcC9kPiNYack188W7zqmbxmf2GNXdfmd44poFq2RNgZaJPScFmKPqml/tbkSSgIaKcCxly7Zi5aRYKEY4HefaiaQxJgPcoy1NQxxQ6aTT08foWCtd5EdCV6jQVP09keJAylHg6c4Aq75c9Cbif14rUf6lk7IwThQNyWyRn3CkIjTJAXWZoETxkSaYCKZvRaSPBSZKp5XTIdiLLy+T+nnJLpeu7suFyvU8jiwcwhEUwYYLqMAtVKEGBIbwDK/wZjwZL8a78TFrzRjzmQP4A+PzB0MQkrw=</latexit>

J�

<latexit sha1_base64="l63I5yMlcEKpdgeb9pr45tGzazU=">AAAB6nicbVDLSgNBEOz1GeMr6tHLYBC8GHYloN6CXsRTRPOAZA2zk95kyOzsMjMrhCWf4MWDIl79Im/+jZPHQRMLGoqqbrq7gkRwbVz321laXlldW89t5De3tnd2C3v7dR2nimGNxSJWzYBqFFxizXAjsJkopFEgsBEMrsd+4wmV5rF8MMME/Yj2JA85o8ZK97ePp51C0S25E5BF4s1IEWaodgpf7W7M0gilYYJq3fLcxPgZVYYzgaN8O9WYUDagPWxZKmmE2s8mp47IsVW6JIyVLWnIRP09kdFI62EU2M6Imr6e98bif14rNeGFn3GZpAYlmy4KU0FMTMZ/ky5XyIwYWkKZ4vZWwvpUUWZsOnkbgjf/8iKpn5W8cunyrlysXM3iyMEhHMEJeHAOFbiBKtSAQQ+e4RXeHOG8OO/Ox7R1yZnNHMAfOJ8/wdiNeQ==</latexit>

O(zw�1)

<latexit sha1_base64="dOBxbAFSP/dVrAtr12SV5ZJgaoo=">AAAB+nicbVDLSgNBEOz1GeNro0cvg0GIB8OuBNRb0Is3I5gHJGuYncwmQ2YfzMwa4rqf4sWDIl79Em/+jZNkD5pY0FBUddPd5UacSWVZ38bS8srq2npuI7+5tb2zaxb2GjKMBaF1EvJQtFwsKWcBrSumOG1FgmLf5bTpDq8mfvOBCsnC4E6NI+r4uB8wjxGstNQ1C0mHYI5u0tLjfTI6sdPjrlm0ytYUaJHYGSlChlrX/Or0QhL7NFCEYynbthUpJ8FCMcJpmu/EkkaYDHGftjUNsE+lk0xPT9GRVnrIC4WuQKGp+nsiwb6UY9/VnT5WAznvTcT/vHasvHMnYUEUKxqQ2SIv5kiFaJID6jFBieJjTTARTN+KyAALTJROK69DsOdfXiSN07JdKV/cVorVyyyOHBzAIZTAhjOowjXUoA4ERvAMr/BmPBkvxrvxMWtdMrKZffgD4/MHIv2TSg==</latexit>

hJa(z)nY

i=1

V wihi

(xi; zi)i

<latexit sha1_base64="7HCVJhk0IIko0b5kg82GCmkDwBw=">AAACJHicbVDJSgMxGM641rpVPXoJFqFeyowUVIpQ9CKeKtgFugyZTKYNzWSGJKO2wzyMF1/FiwcXPHjxWUzbOWjrDwkf30Lyf07IqFSm+WUsLC4tr6xm1rLrG5tb27md3boMIoFJDQcsEE0HScIoJzVFFSPNUBDkO4w0nMHlWG/cESFpwG/VMCQdH/U49ShGSlN2rtxmiPcYgdddVBgdwXYoAteO6bmVdDms23Hfpkk3vtd34cGm5ZFNtUlMMnYubxbNycB5YKUgD9Kp2rn3thvgyCdcYYakbFlmqDoxEopiRpJsO5IkRHiAeqSlIUc+kZ14smQCDzXjQi8Q+nAFJ+zvRIx8KYe+o50+Un05q43J/7RWpLzTTkx5GCnC8fQhL2JQBXDcGHSpIFixoQYIC6r/CnEfCYSV7jWrS7BmV54H9eOiVSqe3ZTylYu0jgzYBwegACxwAirgClRBDWDwCJ7BK3gznowX48P4nFoXjDSzB/6M8f0DHaCkiA==</latexit>

(w)

<latexit sha1_base64="lo5M1+oApRxYX8WToipZTPV/H5U=">AAAB6nicbVDLSgNBEOz1GeMr6tHLYBDiJexKQL0FvXiMaB6QLGF20psMmZ1dZmaVEPIJXjwo4tUv8ubfOEn2oIkFDUVVN91dQSK4Nq777aysrq1vbOa28ts7u3v7hYPDho5TxbDOYhGrVkA1Ci6xbrgR2EoU0igQ2AyGN1O/+YhK81g+mFGCfkT7koecUWOl+9LTWbdQdMvuDGSZeBkpQoZat/DV6cUsjVAaJqjWbc9NjD+mynAmcJLvpBoTyoa0j21LJY1Q++PZqRNyapUeCWNlSxoyU39PjGmk9SgKbGdEzUAvelPxP6+dmvDSH3OZpAYlmy8KU0FMTKZ/kx5XyIwYWUKZ4vZWwgZUUWZsOnkbgrf48jJpnJe9SvnqrlKsXmdx5OAYTqAEHlxAFW6hBnVg0IdneIU3RzgvzrvzMW9dcbKZI/gD5/MHrfmNbA==</latexit>

(w)

<latexit sha1_base64="lo5M1+oApRxYX8WToipZTPV/H5U=">AAAB6nicbVDLSgNBEOz1GeMr6tHLYBDiJexKQL0FvXiMaB6QLGF20psMmZ1dZmaVEPIJXjwo4tUv8ubfOEn2oIkFDUVVN91dQSK4Nq777aysrq1vbOa28ts7u3v7hYPDho5TxbDOYhGrVkA1Ci6xbrgR2EoU0igQ2AyGN1O/+YhK81g+mFGCfkT7koecUWOl+9LTWbdQdMvuDGSZeBkpQoZat/DV6cUsjVAaJqjWbc9NjD+mynAmcJLvpBoTyoa0j21LJY1Q++PZqRNyapUeCWNlSxoyU39PjGmk9SgKbGdEzUAvelPxP6+dmvDSH3OZpAYlmy8KU0FMTKZ/kx5XyIwYWUKZ4vZWwgZUUWZsOnkbgrf48jJpnJe9SvnqrlKsXmdx5OAYTqAEHlxAFW6hBnVg0IdneIU3RzgvzrvzMW9dcbKZI/gD5/MHrfmNbA==</latexit>

hnY

i=1

V wihi

(xi; zi)i

<latexit sha1_base64="TnbcKnAiiVz5P4cXOaob61SN92M=">AAACHXicbVBLSwMxGMzWV62vqkcvwSLUS9mVgooIRS8eK9gHdNslm822odlkSbJqXfpHvPhXvHhQxIMX8d+YPg7aOpAwzMxH8o0fM6q0bX9bmYXFpeWV7GpubX1jcyu/vVNXIpGY1LBgQjZ9pAijnNQ01Yw0Y0lQ5DPS8PuXI79xS6Sigt/oQUzaEepyGlKMtJG8fNlliHcZgW4sReCl9NwZdjise2nPo8NOemfu4r1Hzx48eghdOQ57+YJdsseA88SZkgKYourlP91A4CQiXGOGlGo5dqzbKZKaYkaGOTdRJEa4j7qkZShHEVHtdLzdEB4YJYChkOZwDcfq74kURUoNIt8kI6R7atYbif95rUSHJ+2U8jjRhOPJQ2HCoBZwVBUMqCRYs4EhCEtq/gpxD0mEtSk0Z0pwZleeJ/WjklMunV6XC5WLaR1ZsAf2QRE44BhUwBWoghrA4BE8g1fwZj1ZL9a79TGJZqzpzC74A+vrB7BYok4=</latexit>

{wi = 0}

<latexit sha1_base64="mZ3y3korTnyyHSzA9duk3glcFbE=">AAAB8XicbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoB6EohePFewHNqFstpt26WYTdjdKCf0XXjwo4tV/481/4ybNQVsfDDzem2Fmnh9zprRtf1ulldW19Y3yZmVre2d3r7p/0FFRIgltk4hHsudjRTkTtK2Z5rQXS4pDn9OuP7nJ/O4jlYpF4l5PY+qFeCRYwAjWRnpw06cBu7LdWWVQrdl1OwdaJk5BalCgNah+ucOIJCEVmnCsVN+xY+2lWGpGOJ1V3ETRGJMJHtG+oQKHVHlpfvEMnRhliIJImhIa5erviRSHSk1D33SGWI/VopeJ/3n9RAcXXspEnGgqyHxRkHCkI5S9j4ZMUqL51BBMJDO3IjLGEhNtQspCcBZfXiads7rTqF/eNWrN6yKOMhzBMZyCA+fQhFtoQRsICHiGV3izlPVivVsf89aSVcwcwh9Ynz+4zJBQ</latexit>

hJa(z)nY

i=1

V 0hi(xi; zi)i = �

X

n=1

Da

z � zih

nY

i=1

V 0hi(xi; zi)i .

<latexit sha1_base64="EppN628/80i2Fl1pAg8g+QXYryA=">AAACgHicjVHRatswFJW9revSrU3Xx72IhUIKS2qPQtuNQtn2MPbUQpMWokRcK3IiIstGkscS4e/of+1tHzOYnPpha/fQC4LDOefq6h4lhRTGRtGvIHzy9NnG880Xra2Xr7Z32ruvhyYvNeMDlstc3yRguBSKD6ywkt8UmkOWSH6dLD7X+vV3ro3I1ZVdFnycwUyJVDCwnqLtWyJBzSTH3ybQXR2QQudT6sRZXE0UHlI3p6KauKjq/qDi44qKA0z0uuGsR0yZUae8FZNUA3MkAztnIN2XagKVW/W832vNgMdfTXC/RdudqB+tCz8EcQM6qKkL2v5JpjkrM64sk2DMKI4KO3agrWCSVy1SGl4AW8CMjzxUkHEzdusAK7zvmSlOc+2PsnjN/t3hIDNmmSXeWe9o7ms1+T9tVNr0ZOyEKkrLFbsblJYS2xzXv4GnQnNm5dIDYFr4t2I2Bx+m9X9WhxDfX/khGL7vx0f908ujzvmnJo5N9Aa9RV0Uo2N0jr6iCzRADP0OOsG7oBeGYTc8DOM7axg0PXvonwo//AFtWsG9</latexit>

wi

<latexit sha1_base64="kVxL5/yVhJvvymHlh2eek9gXJKM=">AAAB6nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lEUG9FLx4r2g9oQ9lsJ+3SzSbsbpQS+hO8eFDEq7/Im//GbZuDtj4YeLw3w8y8IBFcG9f9dgorq2vrG8XN0tb2zu5eef+gqeNUMWywWMSqHVCNgktsGG4EthOFNAoEtoLRzdRvPaLSPJYPZpygH9GB5CFn1Fjp/qnHe+WKW3VnIMvEy0kFctR75a9uP2ZphNIwQbXueG5i/Iwqw5nASambakwoG9EBdiyVNELtZ7NTJ+TEKn0SxsqWNGSm/p7IaKT1OApsZ0TNUC96U/E/r5Oa8NLPuExSg5LNF4WpICYm079JnytkRowtoUxxeythQ6ooMzadkg3BW3x5mTTPqt559eruvFK7zuMowhEcwyl4cAE1uIU6NIDBAJ7hFd4c4bw4787HvLXg5DOH8AfO5w9i6o3j</latexit>

global (spacetime)conformal generators

Page 14: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

✤ Rather remarkably, there exists a special solution which is essentially determined when there exists a covering map:

✤ This solution exists only when . True for .

✤ Delta function localised to a finite set of points on where exists.

✤ depends only on cross ratios (can constrain further [Dei-Eberhardt-Gaberdiel (’19)]). And depends on . [Note: only holomorphic dependence shown.]

A Special Solution

hV w1h1

(0; 0)V w2h2

(1; 1)V w3h3

(1;1)nY

i=4

V wihi

(xi; zi)i =X

nY

i=1

(a�i )�hi

nY

i=4

�(xi � �(zi))W�(z4, . . . , zn) .

<latexit sha1_base64="tIF9PXZ4Htah3FBfwQSYPF3jrIk=">AAAC1nicbZLLjtMwFIadcBvKZQos2VhUSInUqZJOJUDVSCNYwHIQ9CI1reW4TmuN7US2A2SisAAhtjwbOx6Cd8BJyoiZ4UhOfn3nnP84duKMM22C4JfjXrt+4+atvdudO3fv3d/vPng41WmuCJ2QlKdqHmNNOZN0YpjhdJ4pikXM6Sw+fVXnZx+o0iyV702R0aXAG8kSRrCxCHV/RxzLDadwisotCqtV+dE+vWAc+A0ZNmRYeeE4bMlhQw4r6EVMJqYYty8/ylS6RiU7GlUr2dqxppRV3ifExmeI+TBSzbTOUaRzgcroNRYCV/C8N6x7PYzY6m/OX5UHtRO86B+tKTe4Nj5oC73a3w7owxk6J6N+tE6N7sMzJP0IDlC3FwyCJuBVEe5ED+ziBHV/WgOSCyoN4VjrRRhkZlliZRjhtOpEuaYZJqd4QxdWSiyoXpbNtVTwqSVrmKTKLmlgQ//tKLHQuhCxrRTYbPXlXA3/l1vkJnm+LJnMckMlaQclOYcmhfUdwzVTlBheWIGJYnavkGyxwsTYP6FjDyG8/MlXxXQ4CEeDF29HveOXu+PYA4/BE+CBEDwDx+ANOAETQJx3TuF8cb66c/ez+8393pa6zq7nEbgQ7o8/WZzgqw==</latexit>

x = �(z); x ⇡ xi + a�i (z � zi)wi

<latexit sha1_base64="7xjPFzUfInXigDB6u0VXVBG6eQs=">AAACJnicbVDLSgMxFM34tr6qLt0Ei9CilhkRVEQQXeiygm2FTjvcSdM2NJkZkoy2Hfo1bvwVNy4qIu78FNPHwtchgcM555Lc40ecKW3bH9bU9Mzs3PzCYmppeWV1Lb2+UVJhLAktkpCH8s4HRTkLaFEzzeldJCkIn9Oy374c+uV7KhULg1vdjWhVQDNgDUZAG8lLn3XO3CsQArK93Km7h8cHd1yIIhl2cMdjeBc8VkvGsX62t9/zWK6WPHis76Uzdt4eAf8lzoRk0AQFLz1w6yGJBQ004aBUxbEjXU1AakY47afcWNEISBuatGJoAIKqajJas493jFLHjVCaG2g8Ur9PJCCU6grfJAXolvrtDcX/vEqsG8fVhAVRrGlAxg81Yo51iIed4TqTlGjeNQSIZOavmLRAAtGm2ZQpwfm98l9SOsg7h/mTm8PM+cWkjgW0hbZRFjnoCJ2ja1RARUTQI3pGA/RqPVkv1pv1Po5OWZOZTfQD1ucXGkuj0Q==</latexit>

nX

i=1

ji =k

2(n� 2) + 1

<latexit sha1_base64="lGwAWRBo23QyFSQj2PEHHb9goD4=">AAACDXicbVDLSsNAFJ3UV62vqEs3g1WoiCUpBXVRKLpxWcE+oKlhMp3UsZNJmJkIJeQH3Pgrblwo4ta9O//GaZuFth64cDjnXu69x4sYlcqyvo3cwuLS8kp+tbC2vrG5ZW7vtGQYC0yaOGSh6HhIEkY5aSqqGOlEgqDAY6TtDS/HfvuBCElDfqNGEekFaMCpTzFSWnLNA0fGgZvQmp3ecnjv0prjC4STYZpU0hI/qRwd29A1i1bZmgDOEzsjRZCh4ZpfTj/EcUC4wgxJ2bWtSPUSJBTFjKQFJ5YkQniIBqSrKUcBkb1k8k0KD7XSh34odHEFJ+rviQQFUo4CT3cGSN3JWW8s/ud1Y+Wf9RLKo1gRjqeL/JhBFcJxNLBPBcGKjTRBWFB9K8R3SKehdIAFHYI9+/I8aVXKdrV8fl0t1i+yOPJgD+yDErDBKaiDK9AATYDBI3gGr+DNeDJejHfjY9qaM7KZXfAHxucPYnaaeA==</latexit>

ji =1

2; k = 1; 8n

<latexit sha1_base64="9EvgcTPxSZEsjWigCvuf3VdCMU0=">AAACDnicbVC7SgNBFL3rM8ZX1NJmMAQsJOyGgEoIBG0sI5gHZJcwO5lNxsw+mJkVwrJfYOOv2FgoYmtt5984SbbQxAvDHM45l3vvcSPOpDLNb2NldW19YzO3ld/e2d3bLxwctmUYC0JbJOSh6LpYUs4C2lJMcdqNBMW+y2nHHV9P9c4DFZKFwZ2aRNTx8TBgHiNYaapfKN33Wd32BCaJlSaVtIbsMzSuW6imf9sLBeYcaV/RLJuzQsvAykARsmr2C1/2ICSxTwNFOJayZ5mRchIsFCOcpnk7ljTCZIyHtKdhgH0qnWR2TopKmhkgPVu/QKEZ+7sjwb6UE9/VTh+rkVzUpuR/Wi9W3oWTsCCKFQ3IfJAXc6RCNM0GDZigRPGJBpgIpndFZIR1NkonmNchWIsnL4N2pWxVy5e31WLjKosjB8dwAqdgwTk04Aaa0AICj/AMr/BmPBkvxrvxMbeuGFnPEfwp4/MH+PGaLA==</latexit>

M0,n

<latexit sha1_base64="w6V8OQRauT6xcuhUgoiU6nqZrAk=">AAAB9XicbVBNSwMxEJ34WetX1aOXYBE8SNmVgnorevEiVLAf0K4lm2bb0Gx2SbJKWfZ/ePGgiFf/izf/jWm7B219MPB4b4aZeX4suDaO842WlldW19YLG8XNre2d3dLeflNHiaKsQSMRqbZPNBNcsobhRrB2rBgJfcFa/uh64rcemdI8kvdmHDMvJAPJA06JsdJD2qVE4NuslzqnMuuVyk7FmQIvEjcnZchR75W+uv2IJiGThgqidcd1YuOlRBlOBcuK3USzmNARGbCOpZKETHvp9OoMH1ulj4NI2ZIGT9XfEykJtR6Hvu0MiRnqeW8i/ud1EhNceCmXcWKYpLNFQSKwifAkAtznilEjxpYQqri9FdMhUYQaG1TRhuDOv7xImmcVt1q5vKuWa1d5HAU4hCM4ARfOoQY3UIcGUFDwDK/whp7QC3pHH7PWJZTPHMAfoM8f5cSSJA==</latexit>

�(z)

<latexit sha1_base64="Ojsjoy7d7mbilWKF2juOsQWqWNA=">AAAB8HicbVBNSwMxEJ2tX7V+VT16CRahXsquFNRb0YMeK9gPaZeSTbNtaJJdkqxQl/4KLx4U8erP8ea/MW33oK0PBh7vzTAzL4g508Z1v53cyura+kZ+s7C1vbO7V9w/aOooUYQ2SMQj1Q6wppxJ2jDMcNqOFcUi4LQVjK6nfuuRKs0ieW/GMfUFHkgWMoKNlR66N1gIXH467RVLbsWdAS0TLyMlyFDvFb+6/YgkgkpDONa647mx8VOsDCOcTgrdRNMYkxEe0I6lEguq/XR28ASdWKWPwkjZkgbN1N8TKRZaj0VgOwU2Q73oTcX/vE5iwgs/ZTJODJVkvihMODIRmn6P+kxRYvjYEkwUs7ciMsQKE2MzKtgQvMWXl0nzrOJVK5d31VLtKosjD0dwDGXw4BxqcAt1aAABAc/wCm+Ocl6cd+dj3ppzsplD+APn8wcD7I/q</latexit>

W�

<latexit sha1_base64="9aba3oZ/An+ATUNUna02ZtDUkRo=">AAAB8XicbVBNS8NAEJ3Ur1q/qh69BIvgqSQiqLeiBz1WsB/YhjLZbtqlu5uwuxFK6L/w4kERr/4bb/4bt20O2vpg4PHeDDPzwoQzbTzv2ymsrK6tbxQ3S1vbO7t75f2Dpo5TRWiDxDxW7RA15UzShmGG03aiKIqQ01Y4upn6rSeqNIvlgxknNBA4kCxiBI2VHlu9rHuLQuCkV654VW8Gd5n4OalAjnqv/NXtxyQVVBrCUeuO7yUmyFAZRjidlLqppgmSEQ5ox1KJguogm108cU+s0nejWNmSxp2pvycyFFqPRWg7BZqhXvSm4n9eJzXRZZAxmaSGSjJfFKXcNbE7fd/tM0WJ4WNLkChmb3XJEBUSY0Mq2RD8xZeXSfOs6p9Xr+7PK7XrPI4iHMExnIIPF1CDO6hDAwhIeIZXeHO08+K8Ox/z1oKTzxzCHzifP4UXkNc=</latexit>

{wi, xi, zi}

<latexit sha1_base64="lj4evxHJmMEq2k4y3sJxiYTaamc=">AAAB+nicbVDLSsNAFL2pr1pfqS7dDBbBhZRECuqu6MZlBfuANoTJdNIOnTyYmVhr7Ke4caGIW7/EnX/jpM1CWw/cy+Gce5k7x4s5k8qyvo3Cyura+kZxs7S1vbO7Z5b3WzJKBKFNEvFIdDwsKWchbSqmOO3EguLA47Ttja4zv31PhWRReKcmMXUCPAiZzwhWWnLNci8du+wUPWTt0WW9qWtWrKo1A1omdk4qkKPhml+9fkSSgIaKcCxl17Zi5aRYKEY4nZZ6iaQxJiM8oF1NQxxQ6aSz06foWCt95EdCV6jQTP29keJAykng6ckAq6Fc9DLxP6+bKP/CSVkYJ4qGZP6Qn3CkIpTlgPpMUKL4RBNMBNO3IjLEAhOl0yrpEOzFLy+T1lnVrlUvb2uV+lUeRxEO4QhOwIZzqMMNNKAJBMbwDK/wZjwZL8a78TEfLRj5zgH8gfH5A1H4k2o=</latexit>

a�i / @wi�(zi)

<latexit sha1_base64="DFTbm2YhmiqitozcOzKGsR3tK6g=">AAACH3icbVDLSgMxFM34rPVVdekmWATdlBkpPnZFF7qsYB/Q1uFOmtFgkhmSjFKH/okbf8WNC0XEXf/GTDsLtV4IOZxzLvfeE8ScaeO6I2dmdm5+YbGwVFxeWV1bL21sNnWUKEIbJOKRagegKWeSNgwznLZjRUEEnLaCu7NMb91TpVkkr8wgpj0BN5KFjICxlF86xOCz67R7DkLAEHdjFcUmsj8ow4BbxTA5wA8+G048e48+2y/6pbJbcceFp4GXgzLKq+6Xvrr9iCSCSkM4aN3x3Nj00mwK4XRY7CaaxkDu4IZ2LJQgqO6l4/uGeNcyfRxGyj5p8Jj92ZGC0HogAusUYG71Xy0j/9M6iQmPeymTcWKoJJNBYcKxTSALC/eZosTwgQVAFLO7YnILCoixkWYheH9PngbNg4pXrZxcVsu10zyOAtpGO2gPeegI1dAFqqMGIugJvaA39O48O6/Oh/M5sc44ec8W+lXO6Bvy7qLr</latexit>

Page 15: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Classical Action

✤ Now need to figure out the exact contribution to the worldsheet correlator at these discrete points on the moduli space which admit a covering map.

✤ We look for a classical solution to the sigma model (first order form).

✤ Might seem a foolhardy thing to do when one is at . Highly curved sigma model.

✤ However, action is also quadratic when i.e. worldsheet at boundary.

SAdS3 =k

4⇡

Zd2z (4@�@̄�+ �̄@�̄ + �@̄� � e�2���̄ � k�1R�) .

<latexit sha1_base64="JKrM+0OTA7hsNFjhHhnyQQimEbI=">AAACwnicbVFbb9MwFHbCbZRbgUdejqiQhlCrpFQCHhDj8sBjYXSbVHeR4zitqZ0E20Eqxn+St/0bnDQb0HEkS5++i499TloJrk0UnQXhlavXrt/Yu9m7dfvO3Xv9+w+OdFkryma0FKU6SYlmghdsZrgR7KRSjMhUsON0/b7Rj78zpXlZfDGbii0kWRY855QYTyX9s8PEYknMSkn7Njt0yXP3GnCuCLVrZye44g4wLwycmzJ3OoYfGGB/ArgiynAiAE9XHHBKlD2n3JaDZw3rJWbIhbtzLomUxDUOL+6mYSvD8KIxc6d2OG5udfAn0qLh2kuxg89t06c+DCNI+oNoFLUFl0HcgQHqapr0f+GspLVkhaGCaD2Po8osbPMiKpjr4VqzitA1WbK5hwWRTC9suwIHTzyTQV4qf/y0WvbvhCVS641MvbP5j97VGvJ/2rw2+cuF5UVVG1bQbaO8FmBKaPYJGVeMGrHxgFDF/VuBrojfn/Fb7/khxLtfvgyOxqN4Mnr1aTI4eNeNYw89Qo/RPorRC3SAPqIpmiEavAlYUARl+CH8Gn4L9dYaBl3mIfqnwp+/AaTT2Mw=</latexit>

Radial direction Boundary direction

k = 1

<latexit sha1_base64="8giSZXL/q/MZkBf8IBCNhnHM58k=">AAAB6nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lEUA9C0YvHivYD2lA220m7dLMJuxuhhP4ELx4U8eov8ua/cdvmoK0PBh7vzTAzL0gE18Z1v53Cyura+kZxs7S1vbO7V94/aOo4VQwbLBaxagdUo+ASG4Ybge1EIY0Cga1gdDv1W0+oNI/loxkn6Ed0IHnIGTVWehhde71yxa26M5Bl4uWkAjnqvfJXtx+zNEJpmKBadzw3MX5GleFM4KTUTTUmlI3oADuWShqh9rPZqRNyYpU+CWNlSxoyU39PZDTSehwFtjOiZqgXvan4n9dJTXjpZ1wmqUHJ5ovCVBATk+nfpM8VMiPGllCmuL2VsCFVlBmbTsmG4C2+vEyaZ1XvvHp1f16p3eRxFOEIjuEUPLiAGtxBHRrAYADP8ApvjnBenHfnY95acPKZQ/gD5/MHyAmNfQ==</latexit>

� ! 1

<latexit sha1_base64="r3r5C07xLRzpjpJKDHbkGgjU2Ms=">AAACAHicbVBNS8NAEN3Ur1q/oh48eFksgqeSSEG9Fb14rGA/oAlls900SzebsDtRQujFv+LFgyJe/Rne/DcmbQ7a+mDg8d4MM/O8WHANlvVtVFZW19Y3qpu1re2d3T1z/6Cro0RR1qGRiFTfI5oJLlkHOAjWjxUjoSdYz5vcFH7vgSnNI3kPaczckIwl9zklkEtD88hpB9xRfBwAUSp6xA6XPqS1oVm3GtYMeJnYJamjEu2h+eWMIpqETAIVROuBbcXgZkQBp4JNa06iWUzohIzZIKeShEy72eyBKT7NlRH2I5WXBDxTf09kJNQ6Db28MyQQ6EWvEP/zBgn4l27GZZwAk3S+yE8EhggXaeARV4yCSHNCqOL5rZgGRBEKeWZFCPbiy8uke96wm42ru2a9dV3GUUXH6ASdIRtdoBa6RW3UQRRN0TN6RW/Gk/FivBsf89aKUc4coj8wPn8AnRKWbw==</latexit>

[deBoer-Ooguri-Robbins-Tannenhauser (’98)]

AdS3

<latexit sha1_base64="kwDQk1tvYlJmGjuw7oI5mb9v0f4=">AAAB7XicbVBNSwMxEJ2tX7V+VT16CRbBU9nVgnqrevFY0X5Au5RsNttGs8mSZIWy9D948aCIV/+PN/+N2bYHbX0w8Hhvhpl5QcKZNq777RSWlldW14rrpY3Nre2d8u5eS8tUEdokkkvVCbCmnAnaNMxw2kkUxXHAaTt4vM799hNVmklxb0YJ9WM8ECxiBBsrtS7Du/5pqV+uuFV3ArRIvBmpwAyNfvmrF0qSxlQYwrHWXc9NjJ9hZRjhdFzqpZommDziAe1aKnBMtZ9Nrh2jI6uEKJLKljBoov6eyHCs9SgObGeMzVDPe7n4n9dNTXTuZ0wkqaGCTBdFKUdGovx1FDJFieEjSzBRzN6KyBArTIwNKA/Bm395kbROql6tenFbq9SvZnEU4QAO4Rg8OIM63EADmkDgAZ7hFd4c6bw4787HtLXgzGb24Q+czx9V/Y5W</latexit>

[Giveon-Kutasov-Seiberg(’98)]

Page 16: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

✤ Ground state in -spectrally flowed sector given by

✤ Obtained by taking a scaling limit ( ) to the bottom of continuum - worldsheet essentially glued to the boundary.

✤ Can now find general solution corresponding to the correlator (with right boundary conditions at insertions) - in terms of a covering map:

Classical Solution

�(z) = zw; �(z, z̄) = � ln ✏� (w � 1)

2ln z � (w � 1)

2ln z̄

<latexit sha1_base64="4MRpL3A24+TzIL7xkF+/0ORQ15I=">AAACWHicbVFdSyMxFM2Mumr3q9ZHX8KWhRZsmRFhV6Qg64uPFawKnW65k2baYD6GJLPSGeZPCj6sf8UXM3Ue/DokcDjn3pvkJE45MzYI/nv+2vrGp82t7cbnL1+/fW/utC6NyjShI6K40tcxGMqZpCPLLKfXqaYgYk6v4pvTyr/6R7VhSl7YZUonAuaSJYyAddK0qaI5CAGdvDvI/94e42j/xRouWCffj2LQRV528aDRi7gsIpoaxpUscS9KNJCic9sLu2VxUFZuXn6k1jPKxrTZDvrBCvg9CWvSRjWG0+ZdNFMkE1RawsGYcRikdlKAtoxwWjaizNAUyA3M6dhRCYKaSbEKpsQ/nTLDidJuS4tX6suOAoQxSxG7SgF2Yd56lfiRN85s8ntSMJlmlkryfFCScWwVrlLGM6YpsXzpCBDN3F0xWYCLxbq/qEII3z75Pbk86IeH/aPzw/bJnzqOLbSHfqAOCtEvdILO0BCNEEH36NFb9za8Bx/5m/72c6nv1T276BX81hOXBLEw</latexit>

✏ / p ! 0

<latexit sha1_base64="YjWpCMivVXOqx/zm/oNiiM3oBy8=">AAACCnicbVDLSgMxFM34rPU16tJNtAiuyowU1F3RjcsK9gGdoWTSTBuaSUKSUcrQtRt/xY0LRdz6Be78GzPtLLT1QOBwzr3cnBNJRrXxvG9naXlldW29tFHe3Nre2XX39ltapAqTJhZMqE6ENGGUk6ahhpGOVAQlESPtaHSd++17ojQV/M6MJQkTNOA0phgZK/Xco4BITZngMJBKSCOghIGig6FBSokH6JV7bsWrelPAReIXpAIKNHruV9AXOE0IN5ghrbu+J02YIWUoZmRSDlJNJMIjNCBdSzlKiA6zaZQJPLFKH8ZC2ccNnKq/NzKUaD1OIjuZIDPU814u/ud1UxNfhBnlMjWE49mhOGXQJs57gX2qCDZsbAnCitq/QjxECmFj28tL8OcjL5LWWdWvVS9va5X6VVFHCRyCY3AKfHAO6uAGNEATYPAInsEreHOenBfn3fmYjS45xc4B+APn8weEwpom</latexit>

�(z) = �(z); �(z, z̄) = �1

2ln(@�)� 1

2ln(@̄�̄)� ln ✏

<latexit sha1_base64="XY2hXEqCSLMxckjtYup/PtZTfoo=">AAACe3icbVFdb9MwFHUyPkb4KuMRCV1RASnqqmQagglNmuABHotEt0l1Vd24TmvNcSLbQWqj/In9NN74J7xMmtMGBCvXsnR8zrm+9r1JIYWxUfTT83du3b5zd/decP/Bw0ePO0/2Tk1easZHLJe5Pk/QcCkUH1lhJT8vNMcskfwsufjU6GffuTYiV9/ssuCTDOdKpIKhddS0c0nnmGUYrnqvjunnFn6gfaD9ZkFAhwsRrtw5QV2t6h4cwz5NNbIqrquDGqhUENICtRUoNzf0YB+2LS7/j63Bv61OrSgvjJC5qgGCYNrpRoNoHbAN4hZ0SRvDaecHneWszLiyTKIx4zgq7KRqajHJ64CWhhfILnDOxw4qzLiZVOve1fDSMTNIc+22srBm/86oMDNmmSXOmaFdmJtaQ/5PG5c2fT+phCpKyxXbFEpLCTaHZhAwE5ozK5cOINPCvRXYAl3XrBtX04T45pe3wenBID4cHH097J58bNuxS56RFyQkMXlHTsgXMiQjwsgv77n32gu9K7/rv/H7G6vvtTlPyT/hv70Gw2O71w==</latexit>

w

<latexit sha1_base64="xgrnWkoccqe8uUej2RhRdb88+2Y=">AAAB63icbVBNS8NAEJ3Urxq/qh69LBbBU0mkoN6KXjxWsB/QhrLZbtqlu5uwu1FK6F/w4kERr/4hb/4bN20O2vpg4PHeDDPzwoQzbTzv2ymtrW9sbpW33Z3dvf2DyuFRW8epIrRFYh6rbog15UzSlmGG026iKBYhp51wcpv7nUeqNIvlg5kmNBB4JFnECDa59IRcd1CpejVvDrRK/IJUoUBzUPnqD2OSCioN4Vjrnu8lJsiwMoxwOnP7qaYJJhM8oj1LJRZUB9n81hk6s8oQRbGyJQ2aq78nMiy0norQdgpsxnrZy8X/vF5qoqsgYzJJDZVksShKOTIxyh9HQ6YoMXxqCSaK2VsRGWOFibHx5CH4yy+vkvZFza/Xru/r1cZNEUcZTuAUzsGHS2jAHTShBQTG8Ayv8OYI58V5dz4WrSWnmDmGP3A+fwCn1Y1Z</latexit>

at the boundary

Page 17: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Semiclassical Picture

Page 18: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

✤ Since these solutions are at the boundary, we can evaluate their contribution to the path integral semiclassically and connect with Ward identity solution.

✤ Define . Then the classical action on-shell is

✤ Combining with Ward identity, the worldsheet correlator has the form

Semiclassically Exact

�cl = �2�+ constant = ln(|@�|2)

<latexit sha1_base64="I8eQ2eACskQUWp7fu9cCwCHqyKg=">AAACIXicbVDLSgMxFM34rPVVdekmWARFLDNFsC4KRRe6rGCt0BnLnTS1wSQzJBmhTPsrbvwVNy4U6U78GdN2Fr4OBA7n3Htz7wljzrRx3Q9nZnZufmExt5RfXlldWy9sbF7rKFGENkjEI3UTgqacSdowzHB6EysKIuS0Gd6fjf3mA1WaRfLK9GMaCLiTrMsIGCu1CxXsxz3WTn0lMOHD6mHZr/fYAYmkNiANrmKfy72BH4MyDLh/DkLA4La83y4U3ZI7Af5LvIwUUYZ6uzDyOxFJBJWGcNC65bmxCdLxXMLpMO8nmsZA7uGOtiyVIKgO0smFQ7xrlQ7uRso+u9VE/d6RgtC6L0JbKcD09G9vLP7ntRLTrQQpk3FiqCTTj7oJxybC47hwhylKDO9bAkQxuysmPVBAjA01b0Pwfp/8l1yXS95R6eTyqFg7zeLIoW20g/aQh45RDV2gOmoggh7RM3pFb86T8+K8O6Np6YyT9WyhH3A+vwAfH6Ln</latexit>

(Liouville action for the conformal factor.)

SAdS3 = SL[�cl] =1

8⇡

Zd2z

pg⇣2 @�cl @̄�cl +R�cl

<latexit sha1_base64="qfbURWj0RKHZVe6OlC4be97/SC0=">AAACl3icbVHLbtQwFHXCqwyvAbpBbK4YIRWBRslQibZS1dIi1AWLlmHaSuM0chxnxqqdBNtBGiz/Eh/Djr/BSWfR15UsHZ1zH77nZrXg2kTRvyC8c/fe/QcrD3uPHj95+qz//MWxrhpF2YRWolKnGdFM8JJNDDeCndaKEZkJdpKd77f6yS+mNK/KH2ZRs0SSWckLTonxVNr/M06txUrC53zs0o9ue5x+m+J6ztOOpcIlsA24UITa2NkNXHMHmJcGsCRmrqTN3dkIfuMPAFj/VMbOnMd4j8/E2ghaWBNlOBFwpWunZETdrr7/3hVeYtqG6h2k/UE0jLqAmyBeggFaxmHa/4vzijaSlYYKovU0jmqT2HYoFcz1cKNZTeg5mbGphyWRTCe289XBW8/kUFTKP79xx16usERqvZCZz2zN0Ne1lrxNmzam2EgsL+vGsJJeDCoaAaaC9kiQc8WoEQsPCFXc/xXonPgbGH/Knjchvr7yTXA8Gsbrw82j9cHu3tKOFfQavUFrKEaf0C46QIdogmiwGmwF+8GX8FW4E34NDy5Sw2BZ8xJdifDoP2KhyD0=</latexit>

DV w1h1

(0; 0)V w2h2

(1; 1)V w3h3

(1;1)nY

i=4

V wihi

(xi; zi)E=

X

fW�e�SL[�cl]

nY

i=1

|@wi�(zi)|�2(hi�h0i )

nY

i=4

�(2)(zi � ��1(xi))

<latexit sha1_base64="XWndC9gHqj5WsWzRP92kSbYRJBE=">AAADE3icbVJNb9MwGHbC1ygf6+DIxaJCSiQ6JV0lQNWkaRzgwGEI2k6q28h13Naa40S2wyie/wMX/goXDiDElQs3/g1OUiG28UqOHz3v++R54nhecKZ0FP32/CtXr12/sXWzdev2nbvb7Z17I5WXktAhyXkuj+dYUc4EHWqmOT0uJMXZnNPx/OR51R+/o1KxXLzV64JOM7wUbMEI1o5KdrwQHbIlRxyLJadwlJhVEtuZOXXPIBpEYc30aqZng3gQN8xezexZGCAmFno9aLYQFTJPE8P2+3YmmtexepTZ4H3CBh8SFsLKUiJZW7b2kSqzxKAXOMuwheiUpVQznlIztknDQjoz3TfJqwkqVsyNygwSbqf2r1lcmZ2hAkvNMG/sGmlQGZ45eS9wSbpuzaLQuZyLiVLKNZ6ZoBfaStBttE4V16lDF/kxTNqdaDeqC14G8QZ0wKaOkvYvlOakzKjQhGOlJnFU6KmpQhJObQuVihaYnOAlnTgocEbV1NT/1MJHjknhIpduCQ1r9l+FwZlS62zuJjOsV+piryL/15uUevF0apgoSk0FaYwWJYc6h9UFgSmTlGi+dgATyVxWSFZYYqLdNWq5Q4gvfvJlMOrtxv3dZ6/7nYPDzXFsgQfgIQhADJ6AA/ASHIEhIN5H77P31fvmf/K/+N/9H82o720098G58n/+AcO6+Wo=</latexit>

⇣h0 =

w2 � 1

4w

<latexit sha1_base64="4fmVGvABsbRx3KsFSygXt4HNe1k=">AAACCnicbVDLSsNAFJ3UV62vqEs3o0WoC0tSCupCKHXjsoJ9QJOWyXTSDp08mJlYSsjajb/ixoUibv0Cd/6NkzYLbT1w4XDOvdx7jxMyKqRhfGu5ldW19Y38ZmFre2d3T98/aIkg4pg0ccAC3nGQIIz6pCmpZKQTcoI8h5G2M75J/fYD4YIG/r2chsT20NCnLsVIKqmvH1t1OizBUc+A15bLEY4nvcq5mcTVSQJT76yvF42yMQNcJmZGiiBDo69/WYMARx7xJWZIiK5phNKOEZcUM5IUrEiQEOExGpKuoj7yiLDj2SsJPFXKALoBV+VLOFN/T8TIE2LqOarTQ3IkFr1U/M/rRtK9tGPqh5EkPp4vciMGZQDTXOCAcoIlmyqCMKfqVohHSAUiVXoFFYK5+PIyaVXKZrV8dVct1upZHHlwBE5ACZjgAtTALWiAJsDgETyDV/CmPWkv2rv2MW/NadnMIfgD7fMHNzmYuQ==</latexit>

Page 19: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Symmetric Orbifold Correlators

✤ The worldsheet correlators are now in a form which is manifestly that of the spacetime orbifold CFT correlators.

✤ Recall Lunin-Mathur (’00) approach to computing symmetric orbifold correlators (e.g. of -twisted sector ground states).

✤ Lift the correlator to the covering space (each . -twisted sector insertion lifts to a -sheeted branch cover locally)

w

<latexit sha1_base64="xgrnWkoccqe8uUej2RhRdb88+2Y=">AAAB63icbVBNS8NAEJ3Urxq/qh69LBbBU0mkoN6KXjxWsB/QhrLZbtqlu5uwu1FK6F/w4kERr/4hb/4bN20O2vpg4PHeDDPzwoQzbTzv2ymtrW9sbpW33Z3dvf2DyuFRW8epIrRFYh6rbog15UzSlmGG026iKBYhp51wcpv7nUeqNIvlg5kmNBB4JFnECDa59IRcd1CpejVvDrRK/IJUoUBzUPnqD2OSCioN4Vjrnu8lJsiwMoxwOnP7qaYJJhM8oj1LJRZUB9n81hk6s8oQRbGyJQ2aq78nMiy0norQdgpsxnrZy8X/vF5qoqsgYzJJDZVksShKOTIxyh9HQ6YoMXxqCSaK2VsRGWOFibHx5CH4yy+vkvZFza/Xru/r1cZNEUcZTuAUzsGHS2jAHTShBQTG8Ayv8OYI58V5dz4WrSWnmDmGP3A+fwCn1Y1Z</latexit>

⌦O

(w1)h1

(x1)O(w2)h2

(x2) . . .O(wn)hn

(xn)↵S2

���g=0

<latexit sha1_base64="TIrmtEAIbaEyk/dFuqfee8JvZBA=">AAACdHicbVHBTttAEF27lNJAaaCHHsphIUIKl8i2kFoOSIheeoOKBpDiYK03E2fFem3tjoFo6y/o3/XWz+ilZ9ZJDgQ60kpP773Rm51JSykMBsEfz3+18nr1zdrb1vrGu8337a3tS1NUmkOfF7LQ1ykzIIWCPgqUcF1qYHkq4Sq9/droV3egjSjUD5yWMMxZpsRYcIaOStq/4lRksWQqk0BtzJmkZ/WN7d4n4UGd2EkS1t0Hh5ekaC5FjRQd0FiOCjTL3WpuUY1FOUuTomcpiY0RHtBe1DdRTeNTkf1MbHYc1DRpd4JeMCv6EoQL0CGLOk/av+NRwascFHLJjBmEQYlDyzQKLqFuxZWBkvFblsHAQcVyMEM7W1pN9x0zouNCu6eQztinHZblxkzz1DlzhhPzXGvI/2mDCsdfhlaoskJQfB40riTFgjYXoCOhgaOcOsC4Fm5WyidMM47uTi23hPD5l1+Cy6gXHvaOvh92Tk4X61gjn8ge6ZKQfCYn5Bs5J33CyV/vo0e9Xe+fv+N3/P251fcWPR/IUvm9Ryq1vSs=</latexit>

w

<latexit sha1_base64="xgrnWkoccqe8uUej2RhRdb88+2Y=">AAAB63icbVBNS8NAEJ3Urxq/qh69LBbBU0mkoN6KXjxWsB/QhrLZbtqlu5uwu1FK6F/w4kERr/4hb/4bN20O2vpg4PHeDDPzwoQzbTzv2ymtrW9sbpW33Z3dvf2DyuFRW8epIrRFYh6rbog15UzSlmGG026iKBYhp51wcpv7nUeqNIvlg5kmNBB4JFnECDa59IRcd1CpejVvDrRK/IJUoUBzUPnqD2OSCioN4Vjrnu8lJsiwMoxwOnP7qaYJJhM8oj1LJRZUB9n81hk6s8oQRbGyJQ2aq78nMiy0norQdgpsxnrZy8X/vF5qoqsgYzJJDZVksShKOTIxyh9HQ6YoMXxqCSaK2VsRGWOFibHx5CH4yy+vkvZFza/Xru/r1cZNEUcZTuAUzsGHS2jAHTShBQTG8Ayv8OYI58V5dz4WrSWnmDmGP3A+fwCn1Y1Z</latexit>

w

<latexit sha1_base64="xgrnWkoccqe8uUej2RhRdb88+2Y=">AAAB63icbVBNS8NAEJ3Urxq/qh69LBbBU0mkoN6KXjxWsB/QhrLZbtqlu5uwu1FK6F/w4kERr/4hb/4bN20O2vpg4PHeDDPzwoQzbTzv2ymtrW9sbpW33Z3dvf2DyuFRW8epIrRFYh6rbog15UzSlmGG026iKBYhp51wcpv7nUeqNIvlg5kmNBB4JFnECDa59IRcd1CpejVvDrRK/IJUoUBzUPnqD2OSCioN4Vjrnu8lJsiwMoxwOnP7qaYJJhM8oj1LJRZUB9n81hk6s8oQRbGyJQ2aq78nMiy0norQdgpsxnrZy8X/vF5qoqsgYzJJDZVksShKOTIxyh9HQ6YoMXxqCSaK2VsRGWOFibHx5CH4yy+vkvZFza/Xru/r1cZNEUcZTuAUzsGHS2jAHTShBQTG8Ayv8OYI58V5dz4WrSWnmDmGP3A+fwCn1Y1Z</latexit>

✤ Contribution from each such covering map.

✤ Twisted sector ground state lifts to vacuum.

✤ Vacuum path integral on covering space.

✤ Coord. dependence from conformal factor .�(z)

<latexit sha1_base64="Ojsjoy7d7mbilWKF2juOsQWqWNA=">AAAB8HicbVBNSwMxEJ2tX7V+VT16CRahXsquFNRb0YMeK9gPaZeSTbNtaJJdkqxQl/4KLx4U8erP8ea/MW33oK0PBh7vzTAzL4g508Z1v53cyura+kZ+s7C1vbO7V9w/aOooUYQ2SMQj1Q6wppxJ2jDMcNqOFcUi4LQVjK6nfuuRKs0ieW/GMfUFHkgWMoKNlR66N1gIXH467RVLbsWdAS0TLyMlyFDvFb+6/YgkgkpDONa647mx8VOsDCOcTgrdRNMYkxEe0I6lEguq/XR28ASdWKWPwkjZkgbN1N8TKRZaj0VgOwU2Q73oTcX/vE5iwgs/ZTJODJVkvihMODIRmn6P+kxRYvjYEkwUs7ciMsQKE2MzKtgQvMWXl0nzrOJVK5d31VLtKosjD0dwDGXw4BxqcAt1aAABAc/wCm+Ocl6cd+dj3ppzsplD+APn8wcD7I/q</latexit>

Page 20: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Making Equality Manifest

✤ Thus symmetric orbifold CFT correlators (for ) take the form

✤ We see that the computation of the integrated worldsheet CFT correlators . reduce to the same Lunin-Mathur path integral.

✤ With exactly the same Liouville action for the same conformal factor . ( should be understood in an appropriately regularised sense.)

✤ Worldsheet CFT on the covering space of the spacetime CFT.

[See also Dei-Eberhardt (’19)]

Z

M0,n

⌦Vw1h1

(x1; z1)Vw2h2

(x2; z2) . . .Vwnhn

(xn; zn)↵⌃0,n

<latexit sha1_base64="Uk4DFZxURPSezx9vNBEX1eOny3g=">AAACoXicbZFbixMxFMcz422tt64+ChItwhakzAwLuviyqA/6sFIv7S40NZxJ02nYTGZIMmoN8738HL75bUymFdauJxf+nPM7OclJXkthbJL8juIrV69dv7F3s3fr9p279/r796emajTjE1bJSp/lYLgUik+ssJKf1ZpDmUt+mp+/DvHTr1wbUanPdl3zeQmFEkvBwHoX7f8kQlnqHGEg8UlLXfJMtS0mj8PA3QxbLgoiQRWSY1KCXXnaTdsv7htNfc7K7wffafoS/6DpcAfIOiALQBaAbIiJXFTWXDwpIKrDVQBVANVwU1d3dakjn0RRwt8b0v4gGSWd4csi3YoB2tqY9n+RRcWakivLJBgzS5Pazh1oK5jkbY80htfAzqHgMy8VlNzMXdfhFj/1ngVeVtovZXHnvZjhoDRmXeaeDI8yu7Hg/F9s1tjli7kTqm4sV2xTaNlIbCscvgsvhObMyrUXwLTwd8VsBRqY9Z/a801Id598WUyzUXo4OvpwODh+tW3HHnqInqADlKLn6Bi9RWM0QSx6FL2JTqL38SB+F4/jjxs0jrY5D9A/Fs/+AGIBzNc=</latexit>

[Pakman, Rastelli, Razamat (’09)]

e�cl = |@�|2

<latexit sha1_base64="bqvtox8LGHubbCHPE/7GeHhMF9c=">AAACDXicbVC7SgNBFJ31GeMramkzGAWrsBsCaiEELbSMYB6Q3YS7k0kyZGZ3mZkVwiY/YOOv2FgoYmtv5984SbbQxAMXDufcO3Pv8SPOlLbtb2tpeWV1bT2zkd3c2t7Zze3t11QYS0KrJOShbPigKGcBrWqmOW1EkoLwOa37g+uJX3+gUrEwuNfDiHoCegHrMgLaSO3cMW0lbtRn7cSVAhM+Hl+O3AikZsDdGxACRq1iO5e3C/YUeJE4KcmjFJV27svthCQWNNCEg1JNx460l0yeJZyOs26saARkAD3aNDQAQZWXTK8Z4xOjdHA3lKYCjafq74kEhFJD4ZtOAbqv5r2J+J/XjHX33EtYEMWaBmT2UTfmWId4Eg3uMEmJ5kNDgEhmdsWkDxKINgFmTQjO/MmLpFYsOKXCxV0pX75K48igQ3SETpGDzlAZ3aIKqiKCHtEzekVv1pP1Yr1bH7PWJSudOUB/YH3+AC0GnEU=</latexit>

SL[�cl]

<latexit sha1_base64="O4UTePrXMnWUklbm+BTSxTOZ+Bk=">AAAB/HicbVDLSsNAFJ3UV62vaJduBovgqiQiqLuiGxcuKtoHJCFMppN26MwkzEyEEOqvuHGhiFs/xJ1/47TNQlsPXDiccy/33hOljCrtON9WZWV1bX2julnb2t7Z3bP3D7oqySQmHZywRPYjpAijgnQ01Yz0U0kQjxjpRePrqd97JFLRRDzoPCUBR0NBY4qRNlJo1+/DW89PRzQsfMkhZpMAhnbDaTozwGXilqQBSrRD+8sfJDjjRGjMkFKe66Q6KJDUFDMyqfmZIinCYzQknqECcaKCYnb8BB4bZQDjRJoSGs7U3xMF4krlPDKdHOmRWvSm4n+el+n4IiioSDNNBJ4vijMGdQKnScABlQRrlhuCsKTmVohHSCKsTV41E4K7+PIy6Z423bPm5d1Zo3VVxlEFh+AInAAXnIMWuAFt0AEY5OAZvII368l6sd6tj3lrxSpn6uAPrM8fD/eUaQ==</latexit>

c = 6

<latexit sha1_base64="h+O6DIkIk9a8XQQd/axLn5Wsia8=">AAAB6nicbVDLSgNBEOyNrxhfUY9eBoPgKexK8HEQgl48RjQPSJYwO+kkQ2Znl5lZISz5BC8eFPHqF3nzb5wke9DEgoaiqpvuriAWXBvX/XZyK6tr6xv5zcLW9s7uXnH/oKGjRDGss0hEqhVQjYJLrBtuBLZihTQMBDaD0e3Ubz6h0jySj2Ycox/SgeR9zqix0gO7Pu8WS27ZnYEsEy8jJchQ6xa/Or2IJSFKwwTVuu25sfFTqgxnAieFTqIxpmxEB9i2VNIQtZ/OTp2QE6v0SD9StqQhM/X3REpDrcdhYDtDaoZ60ZuK/3ntxPQv/ZTLODEo2XxRPxHERGT6N+lxhcyIsSWUKW5vJWxIFWXGplOwIXiLLy+TxlnZq5Sv7iul6k0WRx6O4BhOwYMLqMId1KAODAbwDK/w5gjnxXl3PuatOSebOYQ/cD5/AMNtjXo=</latexit>

⌦O

(w1)h1

(x1)O(w2)h2

(x2) . . .O(wn)hn

(xn)↵S2

���g=0

=X

W�e�SL[�cl]

nY

i=1

|@wi�i|�2(hi�h0

i )

<latexit sha1_base64="D5Dgue0m5VYQar/dlwSpUIKRJTI=">AAAC4HicbVJNbxMxEPUuXyV8BThysYiQEolWu6tKwCFSVQ5wQKKopKkUbyyv42yser0r20sbOT5x4QBCXPlZ3PglXPFmcyAtI430NO89jz3jrBJcmyj6HYTXrt+4eWvndufO3Xv3H3QfPjrRZa0oG9FSlOo0I5oJLtnIcCPYaaUYKTLBxtnZ64Yff2JK81J+NMuKpQXJJZ9zSowv4e4flPEcCSJzwaBFlAj43k1t/xzHA4ftAseuf+HxFpW0VNJQyQAiMSuN3nbLViIbifSSpotad8EWGXZh7LGbJg6iQ56vsM2HkYND2EG6LrzgDSkK4iAc4xZCNrW7x/jdBFUL7nlVQCpc6lClyhm2fBi7qYQrVBFlOBFTe465a62Yr7w36S8w3/U5jQb+XPQcd3vRXrQOeBXEG9ADmzjC3V9oVtK6YNJQQbSexFFlUts0pIK5Dqo1qwg9IzmbeChJwXRq1wty8JmvzOC8VD6lgevqvw5LCq2XReaVBTELfZlriv/jJrWZv0wtl1VtmKRto3ktoClhs20444pRI5YeEKq4vyukC6IINf5PdPwQ4stPvgpOkr14f+/Vh/3eweFmHDvgCXgK+iAGL8ABeAuOwAjQIA0+B1+Db2EWfgm/hz9aaRhsPI/BVoQ//wLzxuYV</latexit>

⇣h0 =

w2 � 1

4w

<latexit sha1_base64="4fmVGvABsbRx3KsFSygXt4HNe1k=">AAACCnicbVDLSsNAFJ3UV62vqEs3o0WoC0tSCupCKHXjsoJ9QJOWyXTSDp08mJlYSsjajb/ixoUibv0Cd/6NkzYLbT1w4XDOvdx7jxMyKqRhfGu5ldW19Y38ZmFre2d3T98/aIkg4pg0ccAC3nGQIIz6pCmpZKQTcoI8h5G2M75J/fYD4YIG/r2chsT20NCnLsVIKqmvH1t1OizBUc+A15bLEY4nvcq5mcTVSQJT76yvF42yMQNcJmZGiiBDo69/WYMARx7xJWZIiK5phNKOEZcUM5IUrEiQEOExGpKuoj7yiLDj2SsJPFXKALoBV+VLOFN/T8TIE2LqOarTQ3IkFr1U/M/rRtK9tGPqh5EkPp4vciMGZQDTXOCAcoIlmyqCMKfqVohHSAUiVXoFFYK5+PIyaVXKZrV8dVct1upZHHlwBE5ACZjgAtTALWiAJsDgETyDV/CmPWkv2rv2MW/NadnMIfgD7fMHNzmYuQ==</latexit>

Page 21: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Scattered Remarks

✤ Delta function localisation of correlators reminiscent of a topological string. Also carries over to higher genus correlators [Eberhardt (’20)].

✤ The single particle contribution to the torus partition function also showed localisation to holomorphic maps: [Eberhardt-Gaberdiel-R.G.(’18)].

✤ Both of these have an analogue for . One loop answer as well as 4-pt. correlators have singularities exactly when holomorphic coverings exist.

✤ The integration over the continuum (radial momentum) smears out the delta functions into a singularity.

Z(g=1) / �(2)(t� w⌧ �m)

<latexit sha1_base64="mWeP3RNyqJEeZo+dYtR4VsIQsVU=">AAACEnicbVC7SgNBFJ31GeNr1dJmMAibImE3BNRCCNpYRjAPzMZldjJJhsw+mLmrhCXfYOOv2FgoYmtl5984eRSaeGDgcM693DnHjwVXYNvfxtLyyuraemYju7m1vbNr7u3XVZRIymo0EpFs+kQxwUNWAw6CNWPJSOAL1vAHl2O/cc+k4lF4A8OYtQPSC3mXUwJa8sz8rZdavXMnP8JuLKMYIux2mAByl1ql/MiCwoMLJCkEec/M2UV7ArxInBnJoRmqnvnldiKaBCwEKohSLceOoZ0SCZwKNsq6iWIxoQPSYy1NQxIw1U4nkUb4WCsd3I2kfiHgifp7IyWBUsPA15MBgb6a98bif14rge5pO+VhnAAL6fRQNxFYBx/3gztcMgpiqAmhkuu/YtonklDQLWZ1Cc585EVSLxWdcvHsupyrXMzqyKBDdIQs5KATVEFXqIpqiKJH9Ixe0ZvxZLwY78bHdHTJmO0coD8wPn8AyVicUA==</latexit>

k � 2

<latexit sha1_base64="8tTStDZOcS2V3wZsN8ssdLdL/ig=">AAAB73icbVDLSgNBEOyNrxhfUY9eBoPgKeyGgHoLevEYwTwgWcLspDcZMju7mZkVQshPePGgiFd/x5t/4yTZgyYWNBRV3XR3BYng2rjut5Pb2Nza3snvFvb2Dw6PiscnTR2nimGDxSJW7YBqFFxiw3AjsJ0opFEgsBWM7uZ+6wmV5rF8NJME/YgOJA85o8ZK7RHpDnBMKr1iyS27C5B14mWkBBnqveJXtx+zNEJpmKBadzw3Mf6UKsOZwFmhm2pMKBvRAXYslTRC7U8X987IhVX6JIyVLWnIQv09MaWR1pMosJ0RNUO96s3F/7xOasJrf8plkhqUbLkoTAUxMZk/T/pcITNiYgllittbCRtSRZmxERVsCN7qy+ukWSl71fLNQ7VUu83iyMMZnMMleHAFNbiHOjSAgYBneIU3Z+y8OO/Ox7I152Qzp/AHzucP+vmPTA==</latexit>

[Maldacena-Ooguri (’00-’01)]

Page 22: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Tensionless Folklore

✤ Tensionless limit of string theory ought to be a topological string - see a realisation also in reduction in d.o.f. to four bosonic and fermionic oscillators.

✤ Also a given correlator gets contributions from only up to finite genus.

✤ Enhanced Higher Spin symmetries in spacetime CFT [Gaberdiel-R. G (‘14)] arising from free worldsheet theory (sigma model free when localised to boundary).

✤ Gross-Mende like saddle point for worldsheet path integral - from interior of moduli space.

[Gaberdiel-R. G. (in progress)]

Radial direction has same Coulomb gas profile. �(z, z̄) = �

nX

i=1

(wi � 1) ln |z � zi|+ 2MX

a=1

ln |z � ua|+ const.

<latexit sha1_base64="jAYvj45wNN++199R8xbeFlLN+Ec=">AAACRXicbVDPaxNBGJ1ttcZU27Q9ehkMhYSYsBsCtodCaS9ehAjmB2Tj8u1kkgyZmV1mZluSzf5zvXj31v/AiwdFvOok2YMmPvjg8d77mPleGHOmjes+Onv7T54ePCs8Lx6+eHl0XDo57eooUYR2SMQj1Q9BU84k7RhmOO3HioIIOe2Fs9uV37ujSrNIfjTzmA4FTCQbMwLGSkHJ99tTVlm8wX4IKl1kVXyF675ORJCyKy/7JCv3Aat7VZ/LdLmoLwK2zIq15iYBq8T73EoCWGa4lvpKYBJJbRpZUCq7DXcNvEu8nJRRjnZQ+uKPIpIIKg3hoPXAc2MzTEEZRjjNin6iaQxkBhM6sFSCoHqYrlvI8LlVRngcKTvS4LX690YKQuu5CG1SgJnqbW8l/s8bJGZ8MUyZjBNDJdk8NE44NhFeVYpHTFFi+NwSIIrZv2IyBQXE2OKLtgRv++Rd0m02vFbj8kOrfH2T11FAr9BrVEEeeouu0TvURh1E0AP6ir6jH85n55vz0/m1ie45+c4Z+gfO7z9NnbEW</latexit>

Poles of �(z)

<latexit sha1_base64="Ojsjoy7d7mbilWKF2juOsQWqWNA=">AAAB8HicbVBNSwMxEJ2tX7V+VT16CRahXsquFNRb0YMeK9gPaZeSTbNtaJJdkqxQl/4KLx4U8erP8ea/MW33oK0PBh7vzTAzL4g508Z1v53cyura+kZ+s7C1vbO7V9w/aOooUYQ2SMQj1Q6wppxJ2jDMcNqOFcUi4LQVjK6nfuuRKs0ieW/GMfUFHkgWMoKNlR66N1gIXH467RVLbsWdAS0TLyMlyFDvFb+6/YgkgkpDONa647mx8VOsDCOcTgrdRNMYkxEe0I6lEguq/XR28ASdWKWPwkjZkgbN1N8TKRZaj0VgOwU2Q73oTcX/vE5iwgs/ZTJODJVkvihMODIRmn6P+kxRYvjYEkwUs7ciMsQKE2MzKtgQvMWXl0nzrOJVK5d31VLtKosjD0dwDGXw4BxqcAt1aAABAc/wCm+Ocl6cd+dj3ppzsplD+APn8wcD7I/q</latexit>

[cf. Aharony-Komargodski-Razamat(’06)]

Page 23: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Drawing Lessons from Drawing Diagrams

✤ identified with worldsheet conformal factor. Hence worldsheet curvature

✤ Exactly as in `Strebel Gauge’: curvature of dual string worldsheet at vertices as well as centres of faces of Feynman diagrams of free Yang-Mills theory.

✤ In fact, can draw Feynman-like diagrams for symm. orbifold correlators with vertices and colour loops.

✤ Can associate precisely one diagram for each branched cover.

[Pakman, Rastelli, Razamat (’09)]

�(z, z̄)

<latexit sha1_base64="6107lDdCmEhnXLp79KibiClSPpA=">AAAB+HicbVBNS8NAEJ34WetHox69LBahgpRECuqt6MVjBfsBTSib7aZdutmE3Y3Qhv4SLx4U8epP8ea/cdvmoK0PBh7vzTA zL0g4U9pxvq219Y3Nre3CTnF3b/+gZB8etVScSkKbJOax7ARYUc4EbWqmOe0kkuIo4LQdjO5mfvuJSsVi8ajHCfUjPBAsZARrI/XsktcYssrkwguwzCbT855ddqrOHGiVuDkpQ45Gz/7y+jFJIyo04Viprusk2s+w1IxwOi16qaIJJiM8oF1DBY6o8rP54VN0ZpQ+CmNpSmg0V39PZDhSahwFpjPCeqiWvZn4n9dNdXjtZ0wkqaaCLBaFKUc6RrMUUJ9JSjQfG4KJZOZWRIZYYqJNVkUTgrv88ippXVbdWvXmoVau3+ZxFOAETqECLlxBHe6hAU0gkMIzvMKbNbFerHfrY9G6ZuUzx/AH1ucPHzGSxA==</latexit>

(Localised to insertions of vertex operators and poles.)

[R.G. (’03-’05), (’11)]

/ r2�(z, z̄) ⇠nX

i=1

(wi � 1)�(2)(z � zi)� 2MX

a=1

�(2)(z � ua)

<latexit sha1_base64="BU7ptYHLEuDbAPMtsxwLI7e2zJU=">AAACV3icbVFPSyMxHM2Mrtbq7lY9egkWYQa2ZaYIqwdB9OJFqGBV6LTDb9LUBpPMkGSUdpgvKV78Kl40/XPQ6oOEx3vvR5KXJONMmyB4ddyV1V9r65WN6ubW7z9/a9s7NzrNFaEdkvJU3SWgKWeSdgwznN5lioJIOL1NHs6n/u0jVZql8tqMM9oTcC/ZkBEwVoprMspUmpkURxISDv1W1B4xb/IPRwmoYlL6ONJM2C0XccFOwrIvvaeYNUI/GlBuoF94Lb/0Jo1JzPxqozUPwjR4uZTIY/DjWj1oBjPg7yRckDpaoB3XnqNBSnJBpSEctO6GQWZ6BSjDCKdlNco1zYA8wD3tWipBUN0rZr2U+MAqAzxMlV3S4Jn6eaIAofVYJDYpwIz0sjcVf/K6uRke9Qoms9xQSeYHDXOObY/TkvGAKUoMH1sCRDF7V0xGoIAY+xVVW0K4/OTv5KbVDA+bx1eH9dOzRR0VtIf2kYdC9B+dogvURh1E0At6c1acVefVeXfX3Mo86jqLmV30Be72B8iXsfc=</latexit>

Page 24: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Feynman Coverings?

✤ Bifundamental edges give rise to a fatgraph on worldsheet.

✤ Vertices have insertions (and curvature).

✤ Coloured and dashed faces: former contain preimages of .

✤ Colour loops lead to curvature defects when Feynman strips glue together.

✤ Dashed loops only have information on merging different Riemann sheets.

1

<latexit sha1_base64="pYYX8aawcUZQ5cT9tU22CFRjr4s=">AAAB7nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lEUG9FLx4r2A9oQ9lsN+3SzSbsToRQ+iO8eFDEq7/Hm//GTZuDtj4YeLw3w8y8IJHCoOt+O6W19Y3NrfJ2ZWd3b/+genjUNnGqGW+xWMa6G1DDpVC8hQIl7yaa0yiQvBNM7nK/88S1EbF6xCzhfkRHSoSCUbRSpy9UiFllUK25dXcOskq8gtSgQHNQ/eoPY5ZGXCGT1Jie5yboT6lGwSSfVfqp4QllEzriPUsVjbjxp/NzZ+TMKkMSxtqWQjJXf09MaWRMFgW2M6I4NsteLv7n9VIMr/2pUEmKXLHFojCVBGOS/06GQnOGMrOEMi3srYSNqaYMbUJ5CN7yy6ukfVH3Lus3D5e1xm0RRxlO4BTOwYMraMA9NKEFDCbwDK/w5iTOi/PufCxaS04xcwx/4Hz+APyrj1w=</latexit>

Analogous (but slightly different from) case of Strebel differentials: poles vertices; zeroes centres of faces. $

<latexit sha1_base64="x0vu3aakTMyI+BTGUOA+2UAHR/8=">AAAB+XicbVBNS8NAEN3Ur1q/oh69LBbBU0lEUG9FLx4r2A9oQ9lsN+3SzW7YnVRK6D/x4kERr/4Tb/4bN20O2vpg4PHeDDPzwkRwA5737ZTW1jc2t8rblZ3dvf0D9/CoZVSqKWtSJZTuhMQwwSVrAgfBOolmJA4Fa4fju9xvT5g2XMlHmCYsiMlQ8ohTAlbqu25PsAg0H46AaK2eKn236tW8OfAq8QtSRQUafferN1A0jZkEKogxXd9LIMiIBk4Fm1V6qWEJoWMyZF1LJYmZCbL55TN8ZpUBjpS2JQHP1d8TGYmNmcah7YwJjMyyl4v/ed0Uousg4zJJgUm6WBSlAoPCeQx4wDWjIKaWEKq5vRXTEdGEgg0rD8FffnmVtC5q/mXt5uGyWr8t4iijE3SKzpGPrlAd3aMGaiKKJugZvaI3J3NenHfnY9FacoqZY/QHzucPqM2TsQ==</latexit>

$

<latexit sha1_base64="x0vu3aakTMyI+BTGUOA+2UAHR/8=">AAAB+XicbVBNS8NAEN3Ur1q/oh69LBbBU0lEUG9FLx4r2A9oQ9lsN+3SzW7YnVRK6D/x4kERr/4Tb/4bN20O2vpg4PHeDDPzwkRwA5737ZTW1jc2t8rblZ3dvf0D9/CoZVSqKWtSJZTuhMQwwSVrAgfBOolmJA4Fa4fju9xvT5g2XMlHmCYsiMlQ8ohTAlbqu25PsAg0H46AaK2eKn236tW8OfAq8QtSRQUafferN1A0jZkEKogxXd9LIMiIBk4Fm1V6qWEJoWMyZF1LJYmZCbL55TN8ZpUBjpS2JQHP1d8TGYmNmcah7YwJjMyyl4v/ed0Uousg4zJJgUm6WBSlAoPCeQx4wDWjIKaWEKq5vRXTEdGEgg0rD8FffnmVtC5q/mXt5uGyWr8t4iijE3SKzpGPrlAd3aMGaiKKJugZvaI3J3NenHfnY9FacoqZY/QHzucPqM2TsQ==</latexit>

Suggestive of associating branched coverings toFeynman diagrams in higher dim as well e.g. TrZw

<latexit sha1_base64="TGgV5fb5Qebp/D2l3Jy2h+7YpXQ=">AAAB83icbVBNSwMxEJ2tX7V+VT16CRbBU9kVQb0VvXis0C/sriWbpm1okl2SrFKW/g0vHhTx6p/x5r8x2+5BWx8MPN6bYWZeGHOmjet+O4WV1bX1jeJmaWt7Z3evvH/Q0lGiCG2SiEeqE2JNOZO0aZjhtBMrikXIaTsc32R++5EqzSLZMJOYBgIPJRswgo2V/NRXAjXU9P7hqdQrV9yqOwNaJl5OKpCj3it/+f2IJIJKQzjWuuu5sQlSrAwjnE5LfqJpjMkYD2nXUokF1UE6u3mKTqzSR4NI2ZIGzdTfEykWWk9EaDsFNiO96GXif143MYPLIGUyTgyVZL5okHBkIpQFgPpMUWL4xBJMFLO3IjLCChNjY8pC8BZfXiats6p3Xr26O6/UrvM4inAEx3AKHlxADW6hDk0gEMMzvMKbkzgvzrvzMW8tOPnMIfyB8/kDcMWRUA==</latexit>

Page 25: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Wrapping Up

✤ Argued for the structural equivalence, at the level of correlators, of the tensionless string on . with the dual symmetric orbifold CFT.

✤ Localisation of string path integral to a finite # of configurations essential - signifies an underlying novel topological string theory [See Costello-Paquette(’20) for a bulk spacetime approach].

✤ Underlying free field theory description also leads to localisation [Dei-Gaberdiel-R.G.-Knighton].

✤ Worldsheet is a covering space which wraps the boundary. Good playground to study the interplay of worldsheet CFT and spacetime CFT.

✤ Interesting to study the BPS sector further [see Li-Troost (’20)], duals for other symmetric orbifolds [Dei-Gaberdiel-Knighton; see also Belin talk]. Perturb away from small radius limit with RR flux.

✤ Connect with Berkovits’ approach - tensionless limit in higher dim. AdS [Gaberdiel-R.G.(’20)?].

AdS3 ⇥ S3 ⇥ T 4

<latexit sha1_base64="uocBXp8UavrsyxWCuNwkzdMx668=">AAACA3icbZDLSsNAFIYn9VbrLepON4NFcFUSLai7qhuXlV6hTcNkMmmHTiZhZiKUUHDjq7hxoYhbX8Kdb+O0jaCtPwx8/OcczpzfixmVyrK+jNzS8srqWn69sLG5tb1j7u41ZZQITBo4YpFoe0gSRjlpKKoYaceCoNBjpOUNbyb11j0Rkka8rkYxcULU5zSgGCltuebBlV9zz7qKhkTCWu+H6r0ydM2iVbKmgotgZ1AEmaqu+dn1I5yEhCvMkJQd24qVkyKhKGZkXOgmksQID1GfdDRypDc56fSGMTzWjg+DSOjHFZy6vydSFEo5Cj3dGSI1kPO1iflfrZOo4MJJKY8TRTieLQoSBlUEJ4FAnwqCFRtpQFhQ/VeIB0ggrHRsBR2CPX/yIjRPS3a5dHlXLlauszjy4BAcgRNgg3NQAbegChoAgwfwBF7Aq/FoPBtvxvusNWdkM/vgj4yPb+Yllms=</latexit>

AdS3

<latexit sha1_base64="kwDQk1tvYlJmGjuw7oI5mb9v0f4=">AAAB7XicbVBNSwMxEJ2tX7V+VT16CRbBU9nVgnqrevFY0X5Au5RsNttGs8mSZIWy9D948aCIV/+PN/+N2bYHbX0w8Hhvhpl5QcKZNq777RSWlldW14rrpY3Nre2d8u5eS8tUEdokkkvVCbCmnAnaNMxw2kkUxXHAaTt4vM799hNVmklxb0YJ9WM8ECxiBBsrtS7Du/5pqV+uuFV3ArRIvBmpwAyNfvmrF0qSxlQYwrHWXc9NjJ9hZRjhdFzqpZommDziAe1aKnBMtZ9Nrh2jI6uEKJLKljBoov6eyHCs9SgObGeMzVDPe7n4n9dNTXTuZ0wkqaGCTBdFKUdGovx1FDJFieEjSzBRzN6KyBArTIwNKA/Bm395kbROql6tenFbq9SvZnEU4QAO4Rg8OIM63EADmkDgAZ7hFd4c6bw4787HtLXgzGb24Q+czx9V/Y5W</latexit>

Page 26: Deriving the Correspondence AdS3 /CFT2 · Can We Tautologise AdS/CFT? Thus derivation of AdS/CFT is not mathematical fastidiousness. Rather a physics necessity to lay bare the inner

Thank You!