{"id":"f91a7557-a520-4107-8da6-e3c0294177af","arxiv_id":"gr-qc/9506019","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Three-dimensional Einstein gravity with a negative cosmological constant reduces, at its asymptotic boundary, to Liouville theory through a Chern-Simons to Wess-Zumino-Witten to Liouville chain.","lead":"This paper shows that the dynamics of three-dimensional gravity with a negative cosmological constant, near the boundary of space, is governed by Liouville theory, a two-dimensional conformal field theory. It matters because it explains where the infinite conformal symmetry found earlier in this setting comes from, and it became a stepping stone to modern holographic dualities.","discovery_kind":"unclear","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The hinge of the chain — that the sum of the two chiral SL(2,R) WZW actions (Eqs. 9–10) equals the non-chiral WZW action (Eq. 12) — is displayed only through the change of variables (11), with the algebra deferred to unpublished [17]; the authors acknowledge this.","rationale":"I agree with the reader on the location: the equivalence of the chiral sum to the non-chiral WZW is the hinge, and its proof is deferred to an unpublished companion [17], which is a legitimate concern under the cited-source rule. I would weight it somewhat differently. The reader describes the step as 'asserted, not derived'; in fact Eq. (11) supplies the change of variables that carries the physics, and the abelian and non-abelian precedents are in published work ([25], [18]), so the deferral is narrower than it first appears — it covers algebra, zero modes and holonomies rather than the whole construction. The authors themselves flag both omissions ('We omit the details here, leaving them for the complete treatment [17]'; 'we shall however drop the holonomies and ignore the inner surfaces. A full treatment will be given in [17]'), so these are acknowledged limitations, not concealed ones, and the holonomy omission is plausibly harmless for an asymptotic claim since holonomies enter as zero-mode terms in Eq. (5). What is left unresolved is whether the displayed equations alone suffice, which the re-derivation above would settle. Separately, the paper never performs the one quantitative check that would turn the structural identification into a demonstrated one: matching the Liouville central charge to the Brown-Henneaux value c = 3l/2G. That is a real gap, but the paper's stated claim is qualitative ('Liouville theory describes the asymptotic dynamics'), and the Virasoro identification is offered as a remark ('can be viewed as'), so I would not raise it to a verdict-moving objection. The reduction to Liouville at action level (Eqs. 14–17) is carried through explicitly and rests on published [26]; the CS reformulation rests on published [11,12]; the boundary conditions are those of published [6]. No circularity, no fitted parameters, no invented entities. The reader's CONDITIONAL at MODERATE confidence is the right resting point; my concern sharpens the reason for the condition without changing its level, so UNCHANGED.","tokens_in":8122,"tokens_out":7903,"duration_ms":141484,"concrete_test":"Independently re-derive Eq. (12) from Eqs. (8) and (11) without invoking [17]: write the first-order form of the standard WZW action with independent (g, Πg), substitute g = g1^{-1}g2 and u = -g2^{-1}(∂φ g1)g1^{-1}g2 - g2^{-1}∂φ g2, and check (i) that the coefficient of the Πg·(ġ - u) term is unity, (ii) that the relative sign between the two chiral pieces matches S_RWZW[g1] - S_LWZW[g2] in Eqs. (9)–(10), and (iii) that eliminating u reproduces Eq. (12) with the same level. If any of the three fails, the equivalence is not established by the displayed equations and the central claim rests entirely on the unpublished [17].","verdict_should_be":"UNCHANGED","load_bearing_attack":"The chain is: Einstein (Λ<0) = SL(2,R)×SL(2,R) CS [11,12] → sum of chiral WZW actions (Eqs. 9–10) → non-chiral WZW (Eq. 12) → Hamiltonian reduction → Liouville (Eq. 17). The third arrow is the one the paper actually carries through at action level (Eqs. 14–17, using the published Gauss-decomposition result [26]). The second arrow is where the load sits. After Eq. (11) the text states that the change of variables g = g1^{-1}g2, u ≡ ġ|onshell 'brings (8) to the standard WZW action in first order form or, after elimination of the auxiliary field u, to the standard, non chiral SL(2,R) WZW action in second order form' (Eq. 12), and then: 'We omit the details here, leaving them for the complete treatment [17].' Reference [17] is 'in preparation.' So the step that converts two chirally-constrained sectors into a single non-chiral field is asserted, not shown. Two honest mitigations: (a) Eq. (11) does display the substantive content — the composite field and its on-shell velocity — so the deferral covers algebra and zero modes rather than the idea; (b) the abelian analogue is in published [25] and the non-abelian chiral-WZW construction in published [18], so the structure is not unsupported. What remains genuinely unverified is whether, with these specific boundary conditions (3), the first-order action obtained from (8) has u as the canonical momentum of g with the correct relative sign and level, and whether the omitted zero modes/holonomies (explicitly dropped after Eq. 5, 'A full treatment will be given in [17]') can shift the identification. A secondary, un-checked consistency point: the paper asserts the Liouville Virasoro generators 'can be viewed as' those of [6] but never verifies the central charge against c = 3l/2G.","agreement_with_reader":"partial"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The manuscript argues that the asymptotic dynamics of three-dimensional Einstein gravity with a negative cosmological constant is governed by Liouville theory. The chain has four links: (i) the Achucarro–Townsend/Witten reformulation of 3d gravity as an SL(2,R)×SL(2,R) Chern–Simons theory (Eq. 1); (ii) the addition of a boundary term (Eq. 4) so that the action is stationary under the Brown–Henneaux boundary conditions (Eq. 3), which set A_- = 0 and Ã_+ = 0 asymptotically; (iii) the rewriting of the resulting sum of two chiral WZW actions (Eqs. 9–10) as a single non-chiral SL(2,R) WZW action (Eq. 12) via the change of variables of Eq. (11); and (iv) the Hamiltonian reduction of that WZW model to Liouville theory (Eq. 17), carried out at the level of the action using the Gauss decomposition (Eq. 14) and an improved boundary term (Eq. 16). The conclusion is that the Virasoro generators found in the earlier Brown–Henneaux Hamiltonian analysis are the conformal symmetries of this Liouville model.","tokens_in":8573,"tokens_out":7312,"duration_ms":66209,"significance":"If the chain holds, the paper identifies the boundary conformal field theory of 3d AdS gravity as a specific, known model rather than leaving it as an abstract Virasoro algebra, which is a genuinely useful structural result and one that has since become a standard entry point to the subject. The derivation is parameter-free: no fitted constants enter, and the only inputs are the gravitational coupling and the AdS radius, which appear through the Chern–Simons level. The paper also supplies a concrete falsifiable check that it does not perform, namely the Liouville central charge against the Brown–Henneaux value, which is exactly the kind of quantitative prediction that makes the identification testable rather than nominal. The treatment is classical throughout, and the authors are explicit that holonomies and inner boundaries are omitted.","major_comments":[{"comment":"The hinge of the whole chain is the step from the sum of the two chiral WZW actions (Eqs. 9–10) to the non-chiral WZW action (Eq. 12), and this step is asserted rather than shown: after Eq. (11) the text states that the change of variables 'brings (8) to the standard WZW action in first order form or, after elimination of the auxiliary field u, to the standard, non chiral SL(2,R) WZW action in second order form', and then says 'We omit the details here, leaving them for the complete treatment [17]', where [17] is listed as 'in preparation'. This is the one place where the derivation is not self-contained, and it is load-bearing for the abstract's claim (i). Two mitigations should be recorded: Eq. (11) does display the substantive content (the composite field g = g1^{-1}g2 and its on-shell velocity), and the abelian analogue is in published [25] while the non-abelian chiral construction is in published [18], so the structure is not unsupported. What a reader cannot verify from the present text is whether, with these specific boundary conditions (Eq. 3), the first-order action obtained from (8) has u as the canonical momentum conjugate to g with the correct relative sign and with matching levels in the two chiral sectors. I would ask the authors to include the short algebra as an appendix, or at minimum to state the level-matching condition explicitly, so that the chain does not rest on an unpublished companion.","section":"§II, Eqs. (8)–(12)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The paper asserts that the two sets of Virasoro generators of the Liouville theory of Eq. (17) 'can be viewed as generating the residual Kac-Moody symmetries preserving the constraints and are the asymptotic generators found by a totally different approach in [6]', but it never checks this quantitatively. The relative normalization of the kinetic term ½∂_+φ∂_-φ and the potential 2 exp(φ) in Eq. (17) fixes the background charge and hence the central charge, and the Chern–Simons level (which the authors implicitly set to one in Eqs. 9–10 and 15, and which physically is the ratio of the AdS radius to Newton's constant) enters the same quantity. Computing c from Eq. (17) and comparing with the Brown–Henneaux value would convert the identification of the two Virasoro algebras from an assertion into a verification, and would also make explicit how the gravitational coupling is encoded in the Liouville model. I regard this as a strengthening rather than a defect, but it is the single most informative addition the authors could make, and it is a one-line calculation given their setup.","section":"§III, Eq. (17) and the paragraph following it","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The derivation drops holonomies and inner boundaries ('we shall however drop the holonomies and ignore the inner surfaces. A full treatment will be given in [17]'), which the authors acknowledge. The difficulty is that the Conclusion states without qualification that 'the asymptotic dynamics of the gravitational field in three dimensions, with Λ < 0, is indeed described by the Liouville theory', whereas the derivation covers only the no-hole sector. The omitted sector is not academic: the authors themselves note that holonomies are what is needed to describe the BTZ black holes, which are the physically relevant solutions. I would ask either that the concluding sentence be qualified to match what is actually derived, or that the authors give a short argument that the zero-mode and holonomy terms, being subleading at r → ∞, leave the reduction and the Liouville central charge unchanged. The latter would be the more satisfying resolution and would substantially widen the scope of the result.","section":"§II, paragraph after Eq. (5), and §IV","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The text reads 'if one inserts (6) in the action (5)', but Eq. (5) is the solution A_i = G^{-1}∂_iG, not the action; the intended reference is Eq. (4). Please correct the cross-reference.","section":"§II, after Eq. (6)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The statement that A_(−)+ and Ã_(+)− 'are not functions of the variables t and φ to leading order in r' is ambiguous. From the Remark in §III it appears that these quantities are the constants µ and ν, i.e. that they are r-independent constants rather than arbitrary functions of t and φ. Please say so directly at the point where the boundary conditions are introduced.","section":"§I, item (ii) after Eq. (3)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The Remark states that one may substitute J^(+)+ = µ and J̃^(−)− = ν in Eq. (16) 'provided one observes that the constants µ and ν are functionals of the fields and varies them accordingly'. Treating a constant as a field-dependent functional inside an action principle is precisely the kind of step that needs to be exhibited rather than asserted; a short explicit variation, or a forward reference to the specific exercise in [29], would remove the ambiguity. It would also be worth stating that the choice µ = ν = 1 in Eq. (13) is a normalization of φ and how the central charge depends on it.","section":"§III, Remark","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The WZW action in Eq. (15) carries no level k, so the reader must infer that the level has been set to one. Since the level is the gravitational coupling in disguise, it would be helpful to restore it explicitly in Eqs. (9), (10), (12) and (15), or to state clearly at the outset that it is set to one and how it would be restored.","section":"§III, Eq. (15)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The paper never states what the Liouville field φ corresponds to geometrically, i.e. which combination of triad and spin-connection components it represents. A single sentence identifying φ in terms of the metric or connection would make the result much easier to use.","section":"§III, Eq. (17)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The sentence 'The action (1) is not an extremum on-shell when A_- and Ã_+ are required to vanish on the boundary' would read better as 'is not stationary' or 'does not have a well-defined variation', since 'extremum' is being used for the differentiability of the action rather than for a solution. Please also confirm that the coefficient and sign of the surface term in Eq. (4) are consistent with the surface term δ[∫ tr(A_φ² + Ã_φ²)] quoted in the preceding sentence.","section":"§II, Eq. (4)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Several references need attention. [11] (Achucarro and Townsend) lacks a page number. Preprint numbers should be corrected to 'gr-qc/9503024' ([3]) and 'hep-th/9405171' ([27]). Author names are misspelled: 'Achuracco' for Achucarro, 'Towsend' for Townsend, 'Schwinisner' for Schwimmer, 'Sonneschein' for Sonnenschein, 'O'Raifeart aigh' for O'Raifeartaigh, 'Bimonti' for Bimonte, and 'Singapoure' for Singapore in [2].","section":"References","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"There are a number of typographical errors that should be corrected: 'gra vity' in the title, 'stationnary' in §III, 'One to establish the equivalence' (should be 'One way to establish') in §II, 'This first order action generalise' (should be 'These first-order actions generalise') in §II, the stray 'xi' after 'identifications' in the paragraph following Eq. (5), and 'to logy' for 'topology' in [8].","section":"Whole manuscript","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"The paper's central result is correct and the derivation is sound; my major comments ask for a short appendix supplying the algebra deferred to the unpublished [17], a central-charge check, and a qualification or extension regarding holonomies. None of these requires new physics, and all are addressable within a Letter. The editor may wish to note that [17] is cited as 'in preparation' for the one step that is load-bearing, so the published version should not depend on it; the authors should be encouraged to make that step self-contained. The novelty relative to [9] and [10] is stated in footnote 2 and appears to be fairly drawn."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"The thing to know: this is the paper that explains why the Brown–Henneaux Virasoro algebra is there in the first place — the boundary dynamics of 3d AdS gravity is Liouville. The two-step reduction (opposite chirality conditions on each SL(2,R) factor, then Hamiltonian reduction of the Kac–Moody currents) is clean, and carrying the second step out at the level of the action, with the improved boundary term in Eq. (16), is the part I find most useful. That is a real contribution and it is why people cite this paper rather than just [6]. The abstract's claim at [abstract:s0] is the right claim to make, and the paper makes it in the right way: as a derivation, not a conjecture. What it does well: the geometry-to-field-theory dictionary is explicit. Eq. (3) says exactly which components of A and à are being killed, and the authors are upfront that the surface term in (4) is needed for the variational principle to close. The Gauss-decomposition route from (14) to (17) is short and checkable. Soft spots, in order of weight. The step from the sum of the two chiral actions (9)–(10) to the non-chiral WZW action (12) is asserted. Eq. (11) gives the composite field and its on-shell velocity, which is the substance, but the algebra — signs, level, zero modes — is deferred to [17], listed as 'in preparation.' For a letter whose whole claim rests on that arrow, that is a real gap. It is not fatal: the abelian version is in published [25] and the chiral construction in [18], so the structure is not in doubt, only the details under these specific boundary conditions. Second, the identification of the Liouville Virasoro generators with the Brown–Henneaux ones is stated, not checked; nobody compares central charges against c = 3l/2G. That would have been a one-line sanity check and its absence is a missed opportunity. Third, the remark about substituting µ and ν as functionals of the fields is waved at a textbook exercise; it is a genuine variational subtlety and deserves more than a pointer. Holonomies and inner boundaries are dropped, which is fine for asymptotic dynamics but puts black holes out of scope here. Who it is for: anyone working on AdS3/CFT2, and anyone who wants to see how boundary conditions turn a topological theory into a dynamical one. Worth a serious referee, and worth citing.","headline":"A short, correct, and historically load-bearing letter whose one pivotal step is deferred to a companion manuscript listed as in preparation.","tokens_in":9229,"tokens_out":1636,"would_cite":true,"duration_ms":22125,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["04.60.Kz","11.15.Yc"],"model":"selfhosted/deepseek-v4.1-flash","headline":"Three-dimensional gravity with a negative cosmological constant has Liouville theory as the dynamics on its boundary at infinity.","keywords":["three-dimensional gravity","negative cosmological constant","anti-de Sitter space","Chern-Simons formulation","Wess-Zumino-Witten model","Liouville theory","asymptotic symmetries","Hamiltonian reduction"],"falsifier":"Compute the central charge that the Liouville theory derived here carries and compare it with the Brown-Henneaux value $c = 3ell/(2G)$ of the asymptotic Virasoro algebra; a mismatch would show the reduction has not preserved the asymptotic symmetry algebra, and the central claim would fail.","tokens_in":9519,"feed_emoji":"🌀","tokens_out":3858,"duration_ms":32615,"temperature":0.7,"pith_summary":"Three-dimensional gravity with a negative cosmological constant has an infinite-dimensional conformal symmetry at spatial infinity, and this letter asks what two-dimensional theory actually lives there. The authors answer that it is Liouville theory, a specific and well-studied conformal field theory of a single scalar field with an exponential potential. The route is a two-step reduction: the gravitational action is first rewritten as a Chern-Simons theory, the anti-de Sitter boundary conditions then cut each of the two $SL(2,R)$ factors down to a chiral Wess-Zumino-Witten model, and the leftover constraints on the Kac-Moody currents perform the standard Hamiltonian reduction of that model to Liouville. If the chain holds, the Virasoro generators found earlier by a purely Hamiltonian route are simply the conformal symmetries of this Liouville model, so the asymptotic dynamics of the gravitational field is a known theory rather than an abstract algebra.","feed_headline":"3D gravity with a negative cosmological constant is Liouville theory","feed_subtitle":"Matching anti-de Sitter boundary conditions to a known two-dimensional conformal field theory, step by step.","key_machinery":"The load-bearing device is a two-stage reduction of the Chern-Simons action, read as a chain from gauge field to conformal field. Stage one uses the asymptotic boundary conditions on the connection to convert Chern-Simons theory on a space-time with a cylindrical boundary into chiral WZW models, following the treatment of Moore and Seiberg and of Elitzur and collaborators; the two chiral halves are then combined into one non-chiral WZW model by the change of variables $g = g_1^{-1} g_2$ together with the auxiliary field $u$ identified with $dot{g}$ on shell. Stage two uses the Gauss decomposition $g = X cdot exp(varphi sigma_3 /2) cdot Y$ to write the WZW action as $frac{1}{2} partial_+ varphi partial_- varphi + 2 (partial_- X)(partial_+ Y) e^{-varphi}$, and then imposes the current constraints $J^{(+)-}=1$, $J^{(3)+}=J^{(3)-}=0$ directly in the action after adding a boundary term at $t_1$ and $t_2$ so that the correct data ($varphi$ together with the momenta conjugate to $X$ and $Y$) are held fixed. What survives is Liouville theory.","core_discovery":"The paper claims that the asymptotic dynamics of three-dimensional Einstein gravity with $Lambda<0$ is Liouville theory. The argument runs through the Chern-Simons formulation with gauge group $SL(2,R) times SL(2,R)$: the anti-de Sitter boundary conditions set the lightlike components $A_-$ and $tilde{A}_+$ to zero asymptotically, which turns the Chern-Simons theory on a cylindrical boundary into a sum of two chiral Wess-Zumino-Witten actions of opposite chirality, equivalently the non-chiral $SL(2,R)$ WZW model with group element $g = g_1^{-1} g_2$. The boundary conditions not yet used, namely $J^{(+)-}=1$ and $J^{(3)+}=J^{(3)-}=0$, are exactly the constraints of the standard Hamiltonian reduction of WZW to Liouville. Imposing them, after adding the boundary term at the time endpoints that makes the variational principle correct for the new fixed data, leaves the Liouville action $S = int dt dphi (frac{1}{2} partial_+ varphi partial_- varphi + 2 e^{varphi})$. The authors conclude that the two sets of Virasoro generators $L_n$ and $tilde{L}_n$ found in the earlier canonical analysis are the conformal symmetries of this Liouville model.","pith_inferences":["The paper never computes the central charge carried by the Liouville theory it derives; matching that central charge to the Brown-Henneaux value $c = 3ell/(2G)$ would be a sharp, independent check of the whole reduction chain.","If the boundary theory is Liouville, its exponential interaction $2e^{varphi}$ should encode how the bulk geometry deforms the conformal symmetry, which is a concrete question one could put to known three-dimensional black-hole solutions.","The same two-step recipe, chiral halves first and current constraints second, should extend to supergravity, turning the boundary theory into a super-Liouville model; the authors say such an extension is reported elsewhere.","Because holonomies and inner boundaries are set aside here, the identification with a single Liouville field may not survive for black holes and other identifications of anti-de Sitter space, where extra zero modes and horizon surface terms contribute their own dynamics."],"forward_implications":["The Virasoro generators obtained from the Hamiltonian analysis of the gravitational boundary conditions are the conformal generators of the Liouville model, so the asymptotic algebra is realised by a concrete field theory rather than by an abstract symmetry argument.","The gravitational phase space near infinity carries the degrees of freedom of a single two-dimensional scalar field $varphi(t,phi)$, since that is all Liouville theory contains.","Because Liouville theory is exactly solvable, boundary quantities such as the asymptotic energy can in principle be computed from a solvable model instead of from the full gravitational field.","The asymptotic dynamics depends explicitly on the choice of fall-off conditions: the specific anti-de Sitter boundary conditions, not the Einstein equations alone, are what select Liouville theory as the boundary description."],"supporting_citations":[{"why":"Supplies the anti-de Sitter boundary conditions and the asymptotic Virasoro generators that the Liouville result is meant to reproduce and explain.","marker":"[6]"},{"why":"Supplies the reformulation of three-dimensional gravity with a negative cosmological constant as a Chern-Simons theory, the starting point of the whole derivation.","marker":"[11]"},{"why":"Supplies the $SL(2,R) times SL(2,R)$ Chern-Simons formulation of Einstein gravity that the boundary reduction acts on.","marker":"[12]"},{"why":"Supplies the treatment of Chern-Simons theory on a space-time with boundary as a chiral Wess-Zumino-Witten model, which the first reduction step adapts.","marker":"[13]"},{"why":"Supplies the first-order chiral Wess-Zumino-Witten actions and the change of variables used to combine the two chiralities.","marker":"[18]"},{"why":"Supplies the standard non-chiral Wess-Zumino-Witten model that the sum of the two chiral actions is claimed to be equivalent to.","marker":"[23]"},{"why":"Supplies the Gauss-decomposition form of the Wess-Zumino-Witten action on which the current constraints are imposed to reach Liouville theory.","marker":"[26]"},{"why":"Supplies the abelian chiral boson actions that the first-order chiral Wess-Zumino-Witten actions generalise.","marker":"[22]"}],"fun_headline_variants":["3D gravity with Lambda<0 reduces to Liouville theory","Negative cosmological constant 3D gravity has Liouville dynamics","3D AdS gravity's asymptotic dynamics is Liouville theory","Chern-Simons boundary conditions give 3D gravity Liouville dynamics","Anti-de Sitter boundary conditions turn 3D gravity into Liouville theory"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The step that turns the sum of the two chiral $SL(2,R)$ Wess-Zumino-Witten actions into the standard non-chiral one is asserted rather than shown: the authors write that they omit the details and leave them to a companion paper listed as in preparation, so the middle link of the chain is not proved in this letter, and holonomies and inner boundaries are dropped on the same deferral.","fun_headline_variants_meta":{"raw":{"variants":["3D gravity with Lambda<0 reduces to Liouville theory","Negative cosmological constant 3D gravity has Liouville dynamics","3D AdS gravity's asymptotic dynamics is Liouville theory","Chern-Simons boundary conditions give 3D gravity Liouville dynamics","Anti-de Sitter boundary conditions turn 3D gravity into Liouville theory"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":2588,"prompt_tokens":884,"completion_tokens":1704,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":1631}},"tokens_in":884,"tokens_out":1704,"duration_ms":13502,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":1631,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T19:29:27.002768+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"Compute the central charge that the Liouville theory derived here carries and compare it with the Brown-Henneaux value $c = 3ell/(2G)$ of the asymptotic Virasoro algebra; a mismatch would show the reduction has not preserved the asymptotic symmetry algebra, and the central claim would fail.","supporting_citations":[{"cited_title":"Comm. Math. Phys. 104, 207","cited_arxiv_id":null,"evidence_quote":"Supplies the anti-de Sitter boundary conditions and the asymptotic Virasoro generators that the Liouville result is meant to reproduce and explain."},{"cited_title":"Phys. Lett. B180","cited_arxiv_id":null,"evidence_quote":"Supplies the reformulation of three-dimensional gravity with a negative cosmological constant as a Chern-Simons theory, the starting point of the whole derivation."},{"cited_title":"Witten, Nucl","cited_arxiv_id":null,"evidence_quote":"Supplies the $SL(2,R) times SL(2,R)$ Chern-Simons formulation of Einstein gravity that the boundary reduction acts on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the treatment of Chern-Simons theory on a space-time with boundary as a chiral Wess-Zumino-Witten model, which the first reduction step adapts."},{"cited_title":"Sonneschein, Nucl","cited_arxiv_id":null,"evidence_quote":"Supplies the first-order chiral Wess-Zumino-Witten actions and the change of variables used to combine the two chiralities."},{"cited_title":"Witten, Comm","cited_arxiv_id":null,"evidence_quote":"Supplies the standard non-chiral Wess-Zumino-Witten model that the sum of the two chiral actions is claimed to be equivalent to."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Gauss-decomposition form of the Wess-Zumino-Witten action on which the current constraints are imposed to reach Liouville theory."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the abelian chiral boson actions that the first-order chiral Wess-Zumino-Witten actions generalise."}],"review_version":1}