Topology of black hole phase transition in JT gravity

Hemant Rathi
Saha Institute of Nuclear Physics, 1/AF Bidhannagar,
Kolkata 700064, India
 Dibakar Roychowdhury
Department of Physics, Indian Institute of Technology Roorkee,
Roorkee 247667, Uttarakhand, India
E-mail: [email protected]E-mail: [email protected]
Abstract

We present a JT gravity setup coupled with U(1)𝑈1U(1)italic_U ( 1 ) and SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) Yang-Mills fields in two dimensions that reveals the onset of a small black hole to large black hole phase transition at finite chemical potential(s). We identify these black hole solutions as “topological defects” in the thermodynamic phase space and calculate the associated topological numbers following the standard procedure. We confirm the robustness of our model by estimating perturbative corrections to the bulk free energy at an arbitrary order in the Yang-Mills coupling. We also construct the Schwarzian for the boundary theory using the 2D gravitational action in the bulk and comment on the dual SYK like model where similar observations can be made.

1 Introduction and motivation

Understanding the thermodynamics of black holes, notably the Hawking-Page (HP) transition [1] in the context of gauge/gravity duality [2]-[4], is one of the crucial problems in theoretical physics. The story has its root in 1983 when the authors in [1] had explored the thermodynamics of black holes in Anti-de Sitter (AdS) spacetime and observed a phase transition between the thermal radiation and black holes of different masses known as the HP transition. Following their discovery, it was further argued that the HP transition could be thought of as confinement/deconfinement transition [5] in the language of the dual 𝒩=4𝒩4\mathcal{N}=4caligraphic_N = 4 SYM living on the boundary.

Recently, the authors in [6]-[15] propose an alternative view for the thermodynamics of black holes. In particular, they introduce the concept of topology analogous to the Duan’s topological current ϕitalic-ϕ\phiitalic_ϕ-mapping theory [16]-[17]. This approach involves identifying “topological defects” in the thermodynamical phase space accompanied by a computation of topological charges associated with these defects.

To be precise, the authors in [6] investigate the topological properties of the charged AdS black holes [18] (that allows a small to large black hole phase transition) and Born-Infeld AdS black holes [19] in four spacetime dimensions. They define appropriate thermodynamic function using the temperature and the entropy of the system and compute the topological charges for both small and large black holes. Their observation reveals that these black holes possess different topological charges, indicating that they belong to different topological classes.

On the other hand, the authors in [7] implement the concept of “generalized free energy” in order to define the vector field (ϕitalic-ϕ\phiitalic_ϕ). They study the Schwarzschild, Reissner-Nordström and Reissner-Nordström (RN)-AdS black holes in 4D. In particular, they identify these black hole solutions as topological defects in thermodynamic phase space and compute the associated winding numbers. Their analysis reveals positive (negative) winding number that corresponds to the thermodynamically stable (unstable) black holes. They further use these topological properties to confirm a small to large (RN-AdS) black hole phase transition in 4D.

In a related approach, the authors in [8] employ the Bragg-Williams [20] method to construct the off-shell free energy and estimate the topological charges associated with HP transition in charged AdS black holes. In this approach, one constructs the off-shell free energy using an order parameter and investigates their saddle points. Moreover, they show that the topological charges associated with HP transition match with the topological charges for the confinement/deconfinement transition for the dual QFT living on the boundary.

Despite the plethora of examples as alluded to the above, the literature on topological aspects of 2D black holes in the context of Jackiw-Teitelboim (JT) gravity [21]-[22] is lacking. The theory is a 2D version of Einstein’s gravity coupled with dilaton in the presence of a negative cosmological constant. Notably, JT gravity supports the HP transition when coupled with U(1)𝑈1U(1)italic_U ( 1 ) and SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) Yang-Mills (YM) fields [23]. It turns out that the presence of non-trivial gauge interactions result in a richer phase structure of 2D black holes, that also includes signatures of HP transition [23]. Therefore, exploring the topological aspects of 2D black holes in the presence of non-trivial gauge interactions is an important direction to be pursued.

It is noteworthy to mention that the JT gravity allows a dual description in terms of the Sachdev-Ye-Kitaev (SYK) model [24]-[45] whose “massless” sector matches with the Schwarzian computed in a JT gravity111For comprehensive reviews on JT/SYK duality, see [46]-[49]. setup [26]. The model SYK is a 1D quantum mechanical system consisting N Majorana fermions interacting simultaneously. The key feature of this model is that one can solve the 2-point and 4-point correlation functions exactly in the Large N limit. Notably, the authors in [50]-[51] explore some topological properties of the SYK model. However, as we point out, the SYK dual to our JT model is different from what has been studied so far.

The aim of this article is to explore the topological properties of JT gravity coupled with U(1)𝑈1U(1)italic_U ( 1 ) and SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) Yang-Mills gauge fields [23]. To be specific, we adopt the concepts of generalized free energy and winding numbers [7] and using them we study topological defects in thermodynamic phase space of 2D black holes. Our analysis provides concrete evidence for a phase transition between a small and a large black hole. It turns out that the small black hole carries a negative topological charge, which is therefore unstable. On the other hand, the winding number corresponding to the large black hole turns out to be positive which indicates a stable phase. Moreover, our model is robust in the sense that the phase transition persist at all order in the YM gauge couplings. Finally, we calculate the Schwarzian for the boundary theory which shows the path to construct the dual SYK model.

The organisation for rest of the paper is as follows.

\bullet In Section 2, we briefly review the thermodynamics of 2D black holes in the presence of non-trivial gauge interactions [23].

\bullet In Section 3, we introduce the concept of generalized free energy and defects [7] in the vector space and identify them with the small and large black holes. Finally, we compute the associated winding numbers that reveals a phase transition between a small and a large black hole.

\bullet In Section 4, we show the existence of the HP transition in 2D gravity at an arbitrary order in the YM gauge couplings.

\bullet In Section 5, we construct the boundary Schwarzian and discuss the dual SYK model at finite chemical potentials.

\bullet In Section 6, we finally conclude our discussion and point out some interesting future directions.

2 Thermodynamics of 2D black holes

In this Section, we review some of the essential features of HP transition [1] in a JT gravity set up as presented by the authors in [23]. The 2D gravity action can be obtained following a dimensional reduction of five dimensional Einstein’s gravity coupled with U(1)𝑈1U(1)italic_U ( 1 ) gauge fields as well as SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) YM fields [52],

S5D=subscript𝑆5𝐷absent\displaystyle S_{5D}=italic_S start_POSTSUBSCRIPT 5 italic_D end_POSTSUBSCRIPT = d5xg(5)((5)3Λκ4gs2FMNaFaMNξ4FMNFMN\displaystyle\int d^{5}x\sqrt{-g_{(5)}}\Bigg{(}\mathcal{R}^{(5)}-3\Lambda-% \frac{\kappa}{4g_{s}^{2}}F^{a}_{MN}F^{aMN}-\frac{\xi}{4}F_{MN}F^{MN}-∫ italic_d start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT italic_x square-root start_ARG - italic_g start_POSTSUBSCRIPT ( 5 ) end_POSTSUBSCRIPT end_ARG ( caligraphic_R start_POSTSUPERSCRIPT ( 5 ) end_POSTSUPERSCRIPT - 3 roman_Λ - divide start_ARG italic_κ end_ARG start_ARG 4 italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_F start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M italic_N end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT italic_a italic_M italic_N end_POSTSUPERSCRIPT - divide start_ARG italic_ξ end_ARG start_ARG 4 end_ARG italic_F start_POSTSUBSCRIPT italic_M italic_N end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT italic_M italic_N end_POSTSUPERSCRIPT -
σ2g22ϵMNPQRg(5)FMNaFPQaAR),\displaystyle\frac{\sigma}{2g_{2}^{2}}\frac{\epsilon^{MNPQR}}{\sqrt{-g_{(5)}}}% F^{a}_{MN}F^{a}_{PQ}A_{R}\Bigg{)},divide start_ARG italic_σ end_ARG start_ARG 2 italic_g start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_ϵ start_POSTSUPERSCRIPT italic_M italic_N italic_P italic_Q italic_R end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG - italic_g start_POSTSUBSCRIPT ( 5 ) end_POSTSUBSCRIPT end_ARG end_ARG italic_F start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M italic_N end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_P italic_Q end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ) , (1)

where (M,N,..)=(1,2..,5)(M,N,..)=(1,2..,5)( italic_M , italic_N , . . ) = ( 1 , 2 . . , 5 ) are the 5D indices, a=1,2,3𝑎123a=1,2,3italic_a = 1 , 2 , 3 denotes the non-Abelian indices, (5)superscript5\mathcal{R}^{(5)}caligraphic_R start_POSTSUPERSCRIPT ( 5 ) end_POSTSUPERSCRIPT denotes the Ricci scalar in 5D and ΛΛ\Lambdaroman_Λ is the negative cosmological constant. Furthermore, here ξ𝜉\xiitalic_ξ and κ𝜅\kappaitalic_κ are the respective dimensionless coupling constants associated with the U(1)𝑈1U(1)italic_U ( 1 ) gauge fields and SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) YM fields.

The 2D model can be obtained following the reduction ansatz [23]

ds(5)2𝑑superscriptsubscript𝑠52\displaystyle ds_{(5)}^{2}italic_d italic_s start_POSTSUBSCRIPT ( 5 ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =ds(2)2+Φ23(xμ)dxi2,ds(2)2=gμνdxμdxν,formulae-sequenceabsent𝑑superscriptsubscript𝑠22superscriptΦ23superscript𝑥𝜇𝑑superscriptsubscript𝑥𝑖2𝑑superscriptsubscript𝑠22subscript𝑔𝜇𝜈𝑑superscript𝑥𝜇𝑑superscript𝑥𝜈\displaystyle=\;ds_{(2)}^{2}+\Phi^{\frac{2}{3}}(x^{\mu})dx_{i}^{2},\quad ds_{(% 2)}^{2}=g_{\mu\nu}dx^{\mu}dx^{\nu},= italic_d italic_s start_POSTSUBSCRIPT ( 2 ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Φ start_POSTSUPERSCRIPT divide start_ARG 2 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT ( italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) italic_d italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_d italic_s start_POSTSUBSCRIPT ( 2 ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ,
AMadxMsuperscriptsubscript𝐴𝑀𝑎𝑑superscript𝑥𝑀\displaystyle A_{M}^{a}dx^{M}italic_A start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT =Aμadxμ,AMdxM=Aμdxμ,formulae-sequenceabsentsuperscriptsubscript𝐴𝜇𝑎𝑑superscript𝑥𝜇subscript𝐴𝑀𝑑superscript𝑥𝑀subscript𝐴𝜇𝑑superscript𝑥𝜇\displaystyle=A_{\mu}^{a}dx^{\mu},\quad A_{M}dx^{M}=A_{\mu}dx^{\mu},= italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT , italic_A start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT = italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT , (2)

where μ,ν=(0,1)𝜇𝜈01\mu,\nu=(0,1)italic_μ , italic_ν = ( 0 , 1 ) are the 2D indices of the bulk spacetime, i=(2,3,4)𝑖234i=(2,3,4)italic_i = ( 2 , 3 , 4 ) denotes the compact directions and Φ(xμ)Φsuperscript𝑥𝜇\Phi(x^{\mu})roman_Φ ( italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) is the dilaton of the 2D theory.

Substituting (2) into (2) and integrating out the compact directions, one finds

S2Dsubscript𝑆2𝐷\displaystyle S_{2D}italic_S start_POSTSUBSCRIPT 2 italic_D end_POSTSUBSCRIPT =d2xg(2)[(2)Φ3ΛΦΦ(κ4gs2FμνaFaμν+ξ4FμνFμν)]+Sbdy,absentsuperscript𝑑2𝑥subscript𝑔2delimited-[]superscript2Φ3ΛΦΦ𝜅4superscriptsubscript𝑔𝑠2subscriptsuperscript𝐹𝑎𝜇𝜈superscript𝐹𝑎𝜇𝜈𝜉4subscript𝐹𝜇𝜈superscript𝐹𝜇𝜈subscript𝑆𝑏𝑑𝑦\displaystyle=\int d^{2}x\sqrt{-g_{(2)}}\;\Bigg{[}\mathcal{R}^{(2)}\Phi-3% \Lambda\Phi-\Phi\Bigg{(}\frac{\kappa}{4g_{s}^{2}}F^{a}_{\mu\nu}F^{a\mu\nu}+% \frac{\xi}{4}F_{\mu\nu}F^{\mu\nu}\Bigg{)}\Bigg{]}+S_{bdy},= ∫ italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x square-root start_ARG - italic_g start_POSTSUBSCRIPT ( 2 ) end_POSTSUBSCRIPT end_ARG [ caligraphic_R start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT roman_Φ - 3 roman_Λ roman_Φ - roman_Φ ( divide start_ARG italic_κ end_ARG start_ARG 4 italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_F start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT italic_a italic_μ italic_ν end_POSTSUPERSCRIPT + divide start_ARG italic_ξ end_ARG start_ARG 4 end_ARG italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT ) ] + italic_S start_POSTSUBSCRIPT italic_b italic_d italic_y end_POSTSUBSCRIPT , (3)

where (2)superscript2\mathcal{R}^{(2)}caligraphic_R start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT denotes the Ricci scalar of the 2D theory and Sbdy=SGHY+Sctsubscript𝑆𝑏𝑑𝑦subscript𝑆𝐺𝐻𝑌subscript𝑆𝑐𝑡S_{bdy}=S_{GHY}+S_{ct}italic_S start_POSTSUBSCRIPT italic_b italic_d italic_y end_POSTSUBSCRIPT = italic_S start_POSTSUBSCRIPT italic_G italic_H italic_Y end_POSTSUBSCRIPT + italic_S start_POSTSUBSCRIPT italic_c italic_t end_POSTSUBSCRIPT is the corresponding boundary term. Here, SGHY𝑑tγΦ𝒦similar-tosubscript𝑆𝐺𝐻𝑌differential-d𝑡𝛾Φ𝒦S_{GHY}\sim\int dt\sqrt{-\gamma}\Phi\mathcal{K}italic_S start_POSTSUBSCRIPT italic_G italic_H italic_Y end_POSTSUBSCRIPT ∼ ∫ italic_d italic_t square-root start_ARG - italic_γ end_ARG roman_Φ caligraphic_K is the standard Gibbons-Hawking-York term222Here, γttsubscript𝛾𝑡𝑡\gamma_{tt}italic_γ start_POSTSUBSCRIPT italic_t italic_t end_POSTSUBSCRIPT is the induced metric and 𝒦𝒦\mathcal{K}caligraphic_K is the trace of the extrinsic curvature. and Sctsubscript𝑆𝑐𝑡S_{ct}italic_S start_POSTSUBSCRIPT italic_c italic_t end_POSTSUBSCRIPT denotes the counter term. It should be noted that the parent 5D action (2) contains a non-vanishing Chern-Simons term with a coupling constant σ𝜎\sigmaitalic_σ which vanishes identically during the dimensional reduction.

The authors [23] compute the vacuum and black hole solutions associated with the 2D gravity model (3), where they use the static light cone gauge333In the light cone gauge, metric ansatz takes the form ds2=e2ω(z)(dt2+dz2),𝑑superscript𝑠2superscript𝑒2𝜔𝑧𝑑superscript𝑡2𝑑superscript𝑧2ds^{2}=e^{2\omega(z)}\left(-dt^{2}+dz^{2}\right),italic_d italic_s start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_e start_POSTSUPERSCRIPT 2 italic_ω ( italic_z ) end_POSTSUPERSCRIPT ( - italic_d italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , along with the gauge fields Aμ=(At(z),0)subscript𝐴𝜇subscript𝐴𝑡𝑧0A_{\mu}=(A_{t}(z),0)italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_z ) , 0 ) and Aμ=χ(z)τ3dt+η(z)τ1dzsubscript𝐴𝜇𝜒𝑧superscript𝜏3𝑑𝑡𝜂𝑧superscript𝜏1𝑑𝑧A_{\mu}=\chi(z)\tau^{3}dt+\eta(z)\tau^{1}dzitalic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = italic_χ ( italic_z ) italic_τ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_d italic_t + italic_η ( italic_z ) italic_τ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_d italic_z, where τ=σ/2i𝜏𝜎2𝑖\tau=\sigma/2iitalic_τ = italic_σ / 2 italic_i are the Pauli metrics [23]. and adopt a perturbative approach while treating ξ𝜉\xiitalic_ξ and κ𝜅\kappaitalic_κ as expansion parameters.

The effective free energy of the system turns out to be

Δ=118Λ(μ1)[(μ1){7Q2Λξ+16ξ(30+0.22μ)}+120Λκ].Δ118Λ𝜇1delimited-[]𝜇17superscript𝑄2Λ𝜉16𝜉300.22𝜇120Λ𝜅\displaystyle\Delta\mathcal{F}=\frac{1}{18\Lambda(\mu-1)}\Big{[}(\mu-1)\left\{% -7Q^{2}\Lambda\xi+16\xi\left(-30+0.22\mu\right)\right\}+120\Lambda\kappa\Big{]}.roman_Δ caligraphic_F = divide start_ARG 1 end_ARG start_ARG 18 roman_Λ ( italic_μ - 1 ) end_ARG [ ( italic_μ - 1 ) { - 7 italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ italic_ξ + 16 italic_ξ ( - 30 + 0.22 italic_μ ) } + 120 roman_Λ italic_κ ] . (4)

On the other hand, the average energy of the black hole phase in a canonical ensemble turns out to be

=1450Λ(μ1)2(3000κΛ(3μ1)ξ(μ1)2(12000+175Q2Λ+88μ))delimited-⟨⟩1450Λsuperscript𝜇123000𝜅Λ3𝜇1𝜉superscript𝜇1212000175superscript𝑄2Λ88𝜇\displaystyle\langle\mathcal{E}\rangle=\frac{1}{450\Lambda(\mu-1)^{2}}\left(30% 00\kappa\Lambda(3\mu-1)-\xi(\mu-1)^{2}\left(12000+175Q^{2}\Lambda+88\mu\right)\right)⟨ caligraphic_E ⟩ = divide start_ARG 1 end_ARG start_ARG 450 roman_Λ ( italic_μ - 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( 3000 italic_κ roman_Λ ( 3 italic_μ - 1 ) - italic_ξ ( italic_μ - 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 12000 + 175 italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ + 88 italic_μ ) ) (5)

where Q𝑄Qitalic_Q is the U(1)𝑈1U(1)italic_U ( 1 ) gauge charge and μ𝜇\sqrt{\mu}square-root start_ARG italic_μ end_ARG is the location of the black hole horizon, which is related to the Hawking temperature of the black hole as, TH=μ/πsubscript𝑇𝐻𝜇𝜋T_{H}=\sqrt{\mu}/\piitalic_T start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT = square-root start_ARG italic_μ end_ARG / italic_π.

The entropy of the system can be obtained using Wald’s prescription [53] ,

SW=4πΦ|ρ=μ=196Λμ(|μ1|)[(|μ1|){33Q2Λξ+64μ(1+0.89ξ)15Q2ξ(logμ)}240κ].subscript𝑆𝑊evaluated-at4𝜋Φ𝜌𝜇196Λ𝜇𝜇1delimited-[]𝜇133superscript𝑄2Λ𝜉64𝜇10.89𝜉15superscript𝑄2𝜉𝜇240𝜅\displaystyle\begin{split}S_{W}=&4\pi\Phi\big{|}_{\rho=\sqrt{\mu}}\\ =&-\frac{1}{96\Lambda\sqrt{\mu}(|\mu-1|)}\Big{[}(|\mu-1|)\Big{\{}-33Q^{2}% \Lambda\xi+64\mu\left(1+0.89\xi\right)\\ &-15Q^{2}\xi\left(\log\mu\right)\Big{\}}-240\kappa\Big{]}.\end{split}start_ROW start_CELL italic_S start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT = end_CELL start_CELL 4 italic_π roman_Φ | start_POSTSUBSCRIPT italic_ρ = square-root start_ARG italic_μ end_ARG end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL = end_CELL start_CELL - divide start_ARG 1 end_ARG start_ARG 96 roman_Λ square-root start_ARG italic_μ end_ARG ( | italic_μ - 1 | ) end_ARG [ ( | italic_μ - 1 | ) { - 33 italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ italic_ξ + 64 italic_μ ( 1 + 0.89 italic_ξ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL - 15 italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ξ ( roman_log italic_μ ) } - 240 italic_κ ] . end_CELL end_ROW (6)

It is interesting to notice that all the thermodynamic variables like the effective free energy (4), average energy (5) and the thermal entropy (6) of the system suffer from a discontinuity at μ=1𝜇1\mu=1italic_μ = 1, indicating the onset of first-order phase transition [23] due to the presence of non-trivial SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) YM interactions that comes with a coupling κ𝜅\kappaitalic_κ. In other words, the diverging terms appear to be proportional to the YM coupling κ𝜅\kappaitalic_κ. Moreover, the analysis also reveals that below a critical temperature (T<TH𝑇subscript𝑇𝐻T<T_{H}italic_T < italic_T start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT), the system is dominated by thermal radiation . However, on increasing the temperature (T>TH𝑇subscript𝑇𝐻T>T_{H}italic_T > italic_T start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT) of the system, thermal radiation collapses to form an unstable black hole with positive free energy and negative heat capacity. On further increasing the temperature, the unstable black hole transits into a globally stable black hole phase with negative free energy and positive heat capacity [23].

3 Topological phase transition in 2D gravity

In this Section, we probe into the topological aspects of 2D black holes in a gauge interacting model of JT gravity (3). Our analysis follows closely that of [7], where we identify black holes as topological defects in thermodynamic phase space. This approach has its analogue in various novel phenomena pertaining to condensed matter systems, for example, the Quantum Hall effect [54].

To begin with, we introduce a vector field ϕ(x)italic-ϕ𝑥\phi(\vec{x})italic_ϕ ( over→ start_ARG italic_x end_ARG ) and compute all its zero points x=z𝑥𝑧\vec{x}=\vec{z}over→ start_ARG italic_x end_ARG = over→ start_ARG italic_z end_ARG such that ϕ(x)|x=z=0evaluated-atitalic-ϕ𝑥𝑥𝑧0\phi(\vec{x})\Big{|}_{\vec{x}=\vec{z}}=0italic_ϕ ( over→ start_ARG italic_x end_ARG ) | start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG = over→ start_ARG italic_z end_ARG end_POSTSUBSCRIPT = 0. The zero points at x=z𝑥𝑧\vec{x}=\vec{z}over→ start_ARG italic_x end_ARG = over→ start_ARG italic_z end_ARG are called the “topological defects” in the vector space, which will be identified with black hole solutions of (3).

The vector field is defined as [7]

ϕ=(gr,cotθcscθ),0θπ,formulae-sequenceitalic-ϕsubscript𝑔𝑟𝜃𝜃0𝜃𝜋\displaystyle\phi=\left(\frac{\partial\mathcal{F}_{g}}{\partial r},-\cot\theta% \csc\theta\right),\hskip 5.69054pt0\leq\theta\leq\pi,italic_ϕ = ( divide start_ARG ∂ caligraphic_F start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_r end_ARG , - roman_cot italic_θ roman_csc italic_θ ) , 0 ≤ italic_θ ≤ italic_π , (7)

where r𝑟ritalic_r is the location of the black hole horizon444In our calculation, we define μ=r𝜇𝑟\sqrt{\mu}=rsquare-root start_ARG italic_μ end_ARG = italic_r. and gsubscript𝑔\mathcal{F}_{g}caligraphic_F start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT stands for the “generalised free energy” of the system

g=ESτ,subscript𝑔𝐸𝑆𝜏\displaystyle\mathcal{F}_{g}=E-\frac{S}{\tau},caligraphic_F start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT = italic_E - divide start_ARG italic_S end_ARG start_ARG italic_τ end_ARG , (8)

where E𝐸Eitalic_E and S𝑆Sitalic_S respectively denote the energy and entropy of the 2D black hole.

Here, τ𝜏\tauitalic_τ is the free parameter having the dimension of the inverse temperature. It should be noted that gsubscript𝑔\mathcal{F}_{g}caligraphic_F start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT defined above (8) is an “off-shell” free energy. However, one can make it “on-shell” following an identification with the inverse Hawking temperature of the black hole namely, τ=TH1𝜏superscriptsubscript𝑇𝐻1\tau=T_{H}^{-1}italic_τ = italic_T start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT.

For the JT gravity model (3), one can readily write down the components of ϕitalic-ϕ\phiitalic_ϕ using the on-shell free energy (4), which yields

ϕr=superscriptitalic-ϕ𝑟absent\displaystyle\phi^{r}=italic_ϕ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT = 1Λ(r21)2(0.39ξr50.78ξr313.33κΛr+0.39ξr),1Λsuperscriptsuperscript𝑟2120.39𝜉superscript𝑟50.78𝜉superscript𝑟313.33𝜅Λ𝑟0.39𝜉𝑟\displaystyle\frac{1}{\Lambda\left(r^{2}-1\right)^{2}}\left(0.39\xi r^{5}-0.78% \xi r^{3}-13.33\kappa\Lambda r+0.39\xi r\right),divide start_ARG 1 end_ARG start_ARG roman_Λ ( italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( 0.39 italic_ξ italic_r start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT - 0.78 italic_ξ italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT - 13.33 italic_κ roman_Λ italic_r + 0.39 italic_ξ italic_r ) , (9)
ϕθ=superscriptitalic-ϕ𝜃absent\displaystyle\phi^{\theta}=italic_ϕ start_POSTSUPERSCRIPT italic_θ end_POSTSUPERSCRIPT = cotθcscθ.𝜃𝜃\displaystyle-\cot\theta\csc\theta.- roman_cot italic_θ roman_csc italic_θ . (10)

Notice that, the component ϕθsuperscriptitalic-ϕ𝜃\phi^{\theta}italic_ϕ start_POSTSUPERSCRIPT italic_θ end_POSTSUPERSCRIPT vanishes at θ=π/2𝜃𝜋2\theta=\pi/2italic_θ = italic_π / 2, meaning that π/2𝜋2\pi/2italic_π / 2 is the zero point of ϕθsuperscriptitalic-ϕ𝜃\phi^{\theta}italic_ϕ start_POSTSUPERSCRIPT italic_θ end_POSTSUPERSCRIPT . On the other hand, ϕθsuperscriptitalic-ϕ𝜃\phi^{\theta}italic_ϕ start_POSTSUPERSCRIPT italic_θ end_POSTSUPERSCRIPT diverges at θ=π𝜃𝜋\theta=\piitalic_θ = italic_π, indicating that the vectors at π𝜋\piitalic_π will spread and point outwards in the phase space.

The zero points associated with ϕrsuperscriptitalic-ϕ𝑟\phi^{r}italic_ϕ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT can be obtained by setting, ϕr=0superscriptitalic-ϕ𝑟0\phi^{r}=0italic_ϕ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT = 0 which yields the following roots

r=0,±0.31164.22κΛξ,±5.83κΛξ+1.𝑟0plus-or-minus0.31164.22𝜅Λ𝜉plus-or-minus5.83𝜅Λ𝜉1\displaystyle r=0,\hskip 2.84526pt\pm 0.3\sqrt{11-\frac{64.22\sqrt{\kappa}% \sqrt{-\Lambda}}{\sqrt{\xi}}},\hskip 2.84526pt\pm\sqrt{\frac{5.83\sqrt{\kappa}% \sqrt{-\Lambda}}{\sqrt{\xi}}+1}.italic_r = 0 , ± 0.3 square-root start_ARG 11 - divide start_ARG 64.22 square-root start_ARG italic_κ end_ARG square-root start_ARG - roman_Λ end_ARG end_ARG start_ARG square-root start_ARG italic_ξ end_ARG end_ARG end_ARG , ± square-root start_ARG divide start_ARG 5.83 square-root start_ARG italic_κ end_ARG square-root start_ARG - roman_Λ end_ARG end_ARG start_ARG square-root start_ARG italic_ξ end_ARG end_ARG + 1 end_ARG . (11)

Clearly, r=0𝑟0r=0italic_r = 0 is the trivial solution. On the other hand, one must avoid possibilities of negative as well as imaginary roots that are being nonphysical. In other words, we consider finite and positive (real) roots. As we argue, an arbitrary choice of couplings (ξ𝜉\xiitalic_ξ and κ𝜅\kappaitalic_κ) can result into nonphysical roots. A closer look further reveals that for roots (11) to be real, the gauge couplings ξ𝜉\xiitalic_ξ and κ𝜅\kappaitalic_κ must satisfy the bound555 For κξ=0.044𝜅𝜉0.044\frac{\kappa}{\xi}=0.044divide start_ARG italic_κ end_ARG start_ARG italic_ξ end_ARG = 0.044, the solution sort of becomes trivial. We are left with two “zero” roots and one non-zero positive root r=1.414𝑟1.414r=1.414italic_r = 1.414. Once the bound is crossed, one of the roots becomes imaginary. 0<κξ0.0440𝜅𝜉0.0440<\frac{\kappa}{\xi}\leq 0.0440 < divide start_ARG italic_κ end_ARG start_ARG italic_ξ end_ARG ≤ 0.044 as shown in Figure 1. Therefore, one should treat the ratio κξ𝜅𝜉\frac{\kappa}{\xi}divide start_ARG italic_κ end_ARG start_ARG italic_ξ end_ARG as an “effective” coupling of the theory, that is well compatible with the perturbative techniques adopted in this paper.

Refer to caption
Figure 1: ξ𝜉\xiitalic_ξ-κ𝜅\kappaitalic_κ plot. Allowed values of the couplings are shown in the blue shaded region, and the white region is forbidden.

Next, we obtain vector plots for the 2D black hole system using ϕrsuperscriptitalic-ϕ𝑟\phi^{r}italic_ϕ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT (9) and ϕθsuperscriptitalic-ϕ𝜃\phi^{\theta}italic_ϕ start_POSTSUPERSCRIPT italic_θ end_POSTSUPERSCRIPT (10) as shown in Figure 2. Figure 2(a) represents the vector plot for the couplings ξ=0.8𝜉0.8\xi=0.8italic_ξ = 0.8 and κ=0.005𝜅0.005\kappa=0.005italic_κ = 0.005 that satisfy the above bound. Notice that, for this choice of couplings, equation (11) gives two physical roots namely, r1=0.78subscript𝑟10.78r_{1}=0.78italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.78 and r2=1.17subscript𝑟21.17r_{2}=1.17italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1.17. In the vector plot 2(a), we represent the first root by green colour and other by red colour. These defects represent a small and a large size black hole respectively.

Refer to caption
((a)) rθ𝑟𝜃r-\thetaitalic_r - italic_θ plot for κ=0.005𝜅0.005\kappa=0.005italic_κ = 0.005 and ξ=0.8𝜉0.8\xi=0.8italic_ξ = 0.8
Refer to caption
((b)) rθ𝑟𝜃r-\thetaitalic_r - italic_θ plot for κ=0𝜅0\kappa=0italic_κ = 0 and ξ=0.8𝜉0.8\xi=0.8italic_ξ = 0.8
Figure 2: Vector plots for different values of ξ𝜉\xiitalic_ξ and κ𝜅\kappaitalic_κ

In order to understand the thermodynamic stability associated with these defects, we compute the associated winding numbers666See Appendix A, for a detailed discussion on the topological charge and the winding numbers. (w𝑤witalic_w). We find that the winding number for the smaller black hole is 11-1- 1, while it is +11+1+ 1 for the larger black hole. The negative winding number indicates that the smaller black hole is thermodynamically unstable, while the positive winding number indicates that the larger black hole is thermodynamically stable [7].

On the other hand, if we switch off the YM gauge coupling κ𝜅\kappaitalic_κ for finite ξ𝜉\xiitalic_ξ (which means setting the effective coupling, κξ=0𝜅𝜉0\frac{\kappa}{\xi}=0divide start_ARG italic_κ end_ARG start_ARG italic_ξ end_ARG = 0), we find that one of these defects goes away, and we are left only with one topological defect located at (r=1,θ=π/2formulae-sequence𝑟1𝜃𝜋2r=1,\theta=\pi/2italic_r = 1 , italic_θ = italic_π / 2), as shown in Figure 2(b). At this critical point, the winding number diverges777In the limit κ0𝜅0\kappa\rightarrow 0italic_κ → 0 and ξ𝜉\xiitalic_ξ finite, one is left with only one (real) non-zero root r=1𝑟1r=1italic_r = 1. It turns out that the Jacobi tensor J0=1(r21)3[0.469333(r63r4+3r21)×J^{0}=\frac{1}{\left(\text{r}^{2}-1\right)^{3}}\Big{[}0.469333\left(\text{r}^{% 6}-3\text{r}^{4}+3\text{r}^{2}-1\right)\timesitalic_J start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG ( r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG [ 0.469333 ( r start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT - 3 r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 3 r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) × cscθ(cot2θ+csc2θ)]\csc\theta\left(\cot^{2}\theta+\csc^{2}\theta\right)\Big{]}roman_csc italic_θ ( roman_cot start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ + roman_csc start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ ) ] diverges at the critical point (r=1,θ=π/2formulae-sequence𝑟1𝜃𝜋2r=1,\theta=\pi/2italic_r = 1 , italic_θ = italic_π / 2), which results in the diverging topological charge (see Appendix A). and therefore the topological interpretation of the defect becomes obscure. In other words, the critical point in the limit of the vanishing effective coupling (κξ0𝜅𝜉0\frac{\kappa}{\xi}\rightarrow 0divide start_ARG italic_κ end_ARG start_ARG italic_ξ end_ARG → 0), results in an “anomalous defect” in the thermodynamics phase space. To summarise, the topological properties of 2D black holes are highly sensitive to the choices of the gauge couplings ξ𝜉\xiitalic_ξ and κ𝜅\kappaitalic_κ and a physical interpretation of the topological defects can be given only in the presence of non-vanishing YM coupling (κ0𝜅0\kappa\neq 0italic_κ ≠ 0) at finite ξ𝜉\xiitalic_ξ.

Refer to caption
Refer to caption
Figure 3: rτ𝑟𝜏r-\tauitalic_r - italic_τ plots for κ=0.005𝜅0.005\kappa=0.005italic_κ = 0.005 and ξ=0.8𝜉0.8\xi=0.8italic_ξ = 0.8

Aiming to uncover the possibilities for a small to a large black hole transition, we plot r𝑟ritalic_r against the parameter τ𝜏\tauitalic_τ setting κ=0.005𝜅0.005\kappa=0.005italic_κ = 0.005 and ξ=0.8𝜉0.8\xi=0.8italic_ξ = 0.8, as shown in Figure 3. Our observation reveals that small black holes (r<1𝑟1r<1italic_r < 1) appear at higher values of τ𝜏\tauitalic_τ (or lower temperature), as shown in green, and these black holes are unstable, having negative winding number (w=1𝑤1w=-1italic_w = - 1). However, as one increases the temperature (lower τ𝜏\tauitalic_τ) of the system, the unstable black hole transits into a larger size (r>1𝑟1r>1italic_r > 1) stable black hole, as shown in red, that corresponds to a positive winding number (w=+1𝑤1w=+1italic_w = + 1).

4 Phase transition at higher order

Clearly, the topological defects are highly sensitive to the choices of the gauge couplings (ξ𝜉\xiitalic_ξ and κ𝜅\kappaitalic_κ) and in fact a non zero YM coupling (κ0𝜅0\kappa\neq 0italic_κ ≠ 0) is essential to trigger a small to large black hole phase transition, as alluded to the above. At this stage, one might wonder whether the above finding is an artifact of the perturbative expansion at LO in the gauge couplings (ξ𝜉\xiitalic_ξ and κ𝜅\kappaitalic_κ). However, as we argue below, all the above features of the phase transition and hence the associated topological structure should persist at “all” order in the perturbation theory.

To begin with, we expand all the background fields up to quadratic order in the gauge couplings ξ𝜉\xiitalic_ξ and κ𝜅\kappaitalic_κ as

𝒜(z)=𝒜0(z)+ξ𝒜1ab(z)+κ𝒜1na(z)+ξ2𝒜2ab(z)+κ2𝒜2na(z)+ξκ𝒜2abna(z)+,𝒜𝑧subscript𝒜0𝑧𝜉superscriptsubscript𝒜1𝑎𝑏𝑧𝜅superscriptsubscript𝒜1𝑛𝑎𝑧superscript𝜉2superscriptsubscript𝒜2𝑎𝑏𝑧superscript𝜅2superscriptsubscript𝒜2𝑛𝑎𝑧𝜉𝜅superscriptsubscript𝒜2𝑎𝑏𝑛𝑎𝑧\displaystyle\mathcal{A}(z)=\mathcal{A}_{0}(z)+\xi\mathcal{A}_{1}^{ab}(z)+% \kappa\mathcal{A}_{1}^{na}(z)+\xi^{2}\mathcal{A}_{2}^{ab}(z)+\kappa^{2}% \mathcal{A}_{2}^{na}(z)+\xi\kappa\mathcal{A}_{2}^{abna}(z)+...,caligraphic_A ( italic_z ) = caligraphic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_z ) + italic_ξ caligraphic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT ( italic_z ) + italic_κ caligraphic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ( italic_z ) + italic_ξ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT ( italic_z ) + italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ( italic_z ) + italic_ξ italic_κ caligraphic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b italic_n italic_a end_POSTSUPERSCRIPT ( italic_z ) + … , (12)

where 𝒜(z)𝒜𝑧\mathcal{A}(z)caligraphic_A ( italic_z ) collectively denotes the fields ΦΦ\Phiroman_Φ, ω𝜔\omegaitalic_ω, χ𝜒\chiitalic_χ and η𝜂\etaitalic_η (see footnote 3 on page 4). Here, the subscript ‘00’ denotes the pure JT gravity solutions, ‘1111’ and ‘2222’ stand for the leading and quadratic order corrections over pure JT gravity, and so on. Moreover, the superscripts ‘ab𝑎𝑏abitalic_a italic_b’ and ‘na𝑛𝑎naitalic_n italic_a’ denote contributions coming from the Abelian and non-Abelian gauge interactions.

Using (3) and (12), one can immediately write down the general structure of the free energy at quadratic order

(2)=superscript2absent\displaystyle\mathcal{F}^{(2)}=caligraphic_F start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT = βdz[ξ2{2(ω0′′Φ2ab+(ω1ab)′′Φ1ab+(ω2ab)′′Φ0)3Λe2ω0(Φ2ab+2Φ1abω1ab\displaystyle\beta\int dz\Bigg{[}\xi^{2}\Bigg{\{}-2\Big{(}\omega_{0}^{\prime% \prime}\Phi_{2}^{ab}+(\omega_{1}^{ab})^{\prime\prime}\Phi_{1}^{ab}+(\omega_{2}% ^{ab})^{\prime\prime}\Phi_{0}\Big{)}-3\Lambda e^{2\omega_{0}}\Big{(}\Phi_{2}^{% ab}+2\Phi_{1}^{ab}\omega_{1}^{ab}italic_β ∫ italic_d italic_z [ italic_ξ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT { - 2 ( italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT + ( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT + ( italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) - 3 roman_Λ italic_e start_POSTSUPERSCRIPT 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT
+2Φ0(ω1ab)2+2Φ0ω2ab)+Q22Φ0e2ω0(2ω1abΦ1abΦ0)}+κ2{2(ω0′′Φ2na+\displaystyle+2\Phi_{0}(\omega_{1}^{ab})^{2}+2\Phi_{0}\omega_{2}^{ab}\Big{)}+% \frac{Q^{2}}{2\Phi_{0}}e^{2\omega_{0}}\Bigg{(}2\omega_{1}^{ab}-\frac{\Phi_{1}^% {ab}}{\Phi_{0}}\Bigg{)}\Bigg{\}}+\kappa^{2}\Bigg{\{}-2\Big{(}\omega_{0}^{% \prime\prime}\Phi_{2}^{na}++ 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT ) + divide start_ARG italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( 2 italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT - divide start_ARG roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT end_ARG start_ARG roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) } + italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT { - 2 ( italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT +
(ω1na)′′Φ1na+(ω2na)′′Φ0)3Λe2ω0(Φ2na+2Φ1naω1na+2Φ0(ω1na)2+2Φ0ω2na)+\displaystyle(\omega_{1}^{na})^{\prime\prime}\Phi_{1}^{na}+(\omega_{2}^{na})^{% \prime\prime}\Phi_{0}\Big{)}-3\Lambda e^{2\omega_{0}}\Big{(}\Phi_{2}^{na}+2% \Phi_{1}^{na}\omega_{1}^{na}+2\Phi_{0}(\omega_{1}^{na})^{2}+2\Phi_{0}\omega_{2% }^{na}\Big{)}+( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT + ( italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) - 3 roman_Λ italic_e start_POSTSUPERSCRIPT 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ) +
e2ω02(2η0η1naΦ0χ02+η02Φ1naχ02+2η02Φ0χ0χ1na2η02Φ0χ02ω1na+Φ1naχ02\displaystyle\frac{e^{-2\omega_{0}}}{2}\Big{(}2\eta_{0}\eta_{1}^{na}\Phi_{0}% \chi_{0}^{2}+\eta_{0}^{2}\Phi_{1}^{na}\chi_{0}^{2}+2\eta_{0}^{2}\Phi_{0}\chi_{% 0}\chi_{1}^{na}-2\eta_{0}^{2}\Phi_{0}\chi_{0}^{2}\omega_{1}^{na}+\Phi_{1}^{na}% \chi_{0}^{\prime 2}-divide start_ARG italic_e start_POSTSUPERSCRIPT - 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( 2 italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT - 2 italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT + roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT -
2Φ0ω1naχ0+22Φ0χ0χ1na)}+ξκ{2(ω0′′Φ2abna+(ω1ab)′′Φ1na+(ω2abna)′′Φ0+\displaystyle 2\Phi_{0}\omega_{1}^{na}\chi_{0}^{\prime}{}^{2}+2\Phi_{0}\chi_{0% }^{\prime}\chi_{1}^{\prime na}\Big{)}\Bigg{\}}+\xi\kappa\Bigg{\{}-2\Big{(}% \omega_{0}^{\prime\prime}\Phi_{2}^{abna}+(\omega_{1}^{ab})^{\prime\prime}\Phi_% {1}^{na}+(\omega_{2}^{abna})^{\prime\prime}\Phi_{0}+2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 2 end_FLOATSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ italic_n italic_a end_POSTSUPERSCRIPT ) } + italic_ξ italic_κ { - 2 ( italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b italic_n italic_a end_POSTSUPERSCRIPT + ( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT + ( italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b italic_n italic_a end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT +
(ω1na)′′Φ1ab)3Λe2ω0(Φ2abna+2Φ1naω1ab+2Φ0ω2abna+2Φ1abω1na+4ϕ0ω1abω1na)\displaystyle(\omega_{1}^{na})^{\prime\prime}\Phi_{1}^{ab}\Big{)}-3\Lambda e^{% 2\omega_{0}}\Big{(}\Phi_{2}^{abna}+2\Phi_{1}^{na}\omega_{1}^{ab}+2\Phi_{0}% \omega_{2}^{abna}+2\Phi_{1}^{ab}\omega_{1}^{na}+4\phi_{0}\omega_{1}^{ab}\omega% _{1}^{na}\Big{)}( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT ) - 3 roman_Λ italic_e start_POSTSUPERSCRIPT 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b italic_n italic_a end_POSTSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b italic_n italic_a end_POSTSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT + 4 italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT )
+Q22Φ0e2ω0(2ω1naΦ1naΦ0)+e2ω02(2η0η1abΦ0χ02+η02Φ1abχ02+2η02Φ0χ0χ1ab\displaystyle+\frac{Q^{2}}{2\Phi_{0}}e^{2\omega_{0}}\Bigg{(}2\omega_{1}^{na}-% \frac{\Phi_{1}^{na}}{\Phi_{0}}\Bigg{)}+\frac{e^{-2\omega_{0}}}{2}\Big{(}2\eta_% {0}\eta_{1}^{ab}\Phi_{0}\chi_{0}^{2}+\eta_{0}^{2}\Phi_{1}^{ab}\chi_{0}^{2}+2% \eta_{0}^{2}\Phi_{0}\chi_{0}\chi_{1}^{ab}-+ divide start_ARG italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( 2 italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT - divide start_ARG roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT end_ARG start_ARG roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) + divide start_ARG italic_e start_POSTSUPERSCRIPT - 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( 2 italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT -
2η02Φ0χ02ω1ab+Φ1abχ022Φ0ω1abχ0+22Φ0χ0χ1ab)}],\displaystyle 2\eta_{0}^{2}\Phi_{0}\chi_{0}^{2}\omega_{1}^{ab}+\Phi_{1}^{ab}% \chi_{0}^{\prime 2}-2\Phi_{0}\omega_{1}^{ab}\chi_{0}^{\prime}{}^{2}+2\Phi_{0}% \chi_{0}^{\prime}\chi_{1}^{\prime ab}\Big{)}\Bigg{\}}\Bigg{]},2 italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT + roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT - 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 2 end_FLOATSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ italic_a italic_b end_POSTSUPERSCRIPT ) } ] , (13)

where denotes the derivative with respect to the variable z𝑧zitalic_z and β=TH1𝛽subscriptsuperscript𝑇1𝐻\beta=T^{-1}_{H}italic_β = italic_T start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT.

Notice that, the quadratic free energy (4) contains terms similar to those appearing at LO in the YM coupling (κ𝜅\kappaitalic_κ)

(κ)=superscript𝜅absent\displaystyle\mathcal{F}^{(\kappa)}=caligraphic_F start_POSTSUPERSCRIPT ( italic_κ ) end_POSTSUPERSCRIPT = κβdz[2(ω0′′Φ1na+(ω1na)′′Φ0)3Λe2ω0(Φ1na+2Φ0ω1na)+e2ω02(Φ0χ02\displaystyle\kappa\beta\int dz\Bigg{[}-2\Big{(}\omega_{0}^{\prime\prime}\Phi_% {1}^{na}+(\omega_{1}^{na})^{\prime\prime}\Phi_{0}\Big{)}-3\Lambda e^{2\omega_{% 0}}\Big{(}\Phi_{1}^{na}+2\Phi_{0}\omega_{1}^{na}\Big{)}+\frac{e^{-2\omega_{0}}% }{2}\Big{(}\Phi_{0}\chi_{0}^{\prime 2}italic_κ italic_β ∫ italic_d italic_z [ - 2 ( italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT + ( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) - 3 roman_Λ italic_e start_POSTSUPERSCRIPT 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ) + divide start_ARG italic_e start_POSTSUPERSCRIPT - 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT
+Φ0η02χ02)].\displaystyle+\Phi_{0}\eta_{0}^{2}\chi_{0}^{2}\Big{)}\Bigg{]}.+ roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] . (14)

This is the piece in the free energy that yields a pole888This is precisely the r=1𝑟1r=1italic_r = 1 root which corresponds to the anomalous defect in the limit of the vanishing “effective” coupling (κξ0𝜅𝜉0\frac{\kappa}{\xi}\rightarrow 0divide start_ARG italic_κ end_ARG start_ARG italic_ξ end_ARG → 0). In the presence of non-zero effective coupling (κξ0𝜅𝜉0\frac{\kappa}{\xi}\neq 0divide start_ARG italic_κ end_ARG start_ARG italic_ξ end_ARG ≠ 0), topological defects lie on either side of this μ=1𝜇1\mu=1italic_μ = 1 pole (see discussion on page 7, below figure 3). As we switch-off the effective coupling, the defects on either side merge at μ𝜇\muitalic_μ (or r𝑟ritalic_r)=1absent1=1= 1. Notice that, in this limit, there is no singularity in the free energy and therefore there is no notion of phase transition. at μ=1𝜇1\mu=1italic_μ = 1 (4) and is responsible for a HP like transition in 2D gravity. Therefore, one can expect similar behaviour at NLO. In other words, the divergence in the free energy persists at quadratic order in the YM couplings (κ𝜅\kappaitalic_κ), and we expect a phase transition similar to that at LO. The only non-trivial modifications would take place at the level of the roots (11) which will be shifted as a result of higher order gauge interactions.

One can write down a general expression of free energy at nthsuperscript𝑛𝑡n^{th}italic_n start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT-order in the YM coupling (κ𝜅\kappaitalic_κ) and find a structure similar to (4) with increasing number of terms

(κn)=superscriptsuperscript𝜅𝑛absent\displaystyle\mathcal{F}^{(\kappa^{n})}=caligraphic_F start_POSTSUPERSCRIPT ( italic_κ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT = κnβdz[2(ω0′′Φnna+(ωnna)′′Φ0)3Λe2ω0(Φnna+2Φ0ωnna)+\displaystyle\kappa^{n}\beta\int dz\Bigg{[}-2\Big{(}\omega_{0}^{\prime\prime}% \Phi_{n}^{na}+(\omega_{n}^{na})^{\prime\prime}\Phi_{0}\Big{)}-3\Lambda e^{2% \omega_{0}}\Big{(}\Phi_{n}^{na}+2\Phi_{0}\omega_{n}^{na}\Big{)}+italic_κ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_β ∫ italic_d italic_z [ - 2 ( italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT + ( italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) - 3 roman_Λ italic_e start_POSTSUPERSCRIPT 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( roman_Φ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT + 2 roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_a end_POSTSUPERSCRIPT ) +
e2ω02(Φn1χ02+Φn1η02χ02)+].\displaystyle\frac{e^{-2\omega_{0}}}{2}\Big{(}\Phi_{n-1}\chi_{0}^{\prime 2}+% \Phi_{n-1}\eta_{0}^{2}\chi_{0}^{2}\Big{)}+...\Bigg{]}.divide start_ARG italic_e start_POSTSUPERSCRIPT - 2 italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( roman_Φ start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT + roman_Φ start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + … ] . (15)

Accumulating all the above facts together, it is quite suggestive to infer that the μ=1𝜇1\mu=1italic_μ = 1 divergence persists at all orders in the perturbation theory, and the topological phase transition is a generic feature of 2D gravity coupled with YM fields.

5 Comments on the dual SYK model

The purpose of this Section is to construct the boundary theory that is dual to the JT gravity model (3). Notice that, the model (3) consists of a U(1)𝑈1U(1)italic_U ( 1 ) and SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) YM fields, which source two different chemical potentials for the boundary theory namely the chemical potential μemsubscript𝜇𝑒𝑚\mu_{em}italic_μ start_POSTSUBSCRIPT italic_e italic_m end_POSTSUBSCRIPT corresponding to electromagnetic U(1)𝑈1U(1)italic_U ( 1 ) and the second chemical potential μYMsubscript𝜇𝑌𝑀\mu_{YM}italic_μ start_POSTSUBSCRIPT italic_Y italic_M end_POSTSUBSCRIPT is sourced due to the U(1)𝑈1U(1)italic_U ( 1 ) subgroup of SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ). Since, gauge fields play crucial role in obtaining the topological structure in 2D gravity, therefore, it is natural to claim that these chemical potentials will contribute non-trivially to the topological properties of the dual SYK model.

Based on some notable work [44]-[45], we propose the dual SYK model to be of the following form

S=dτ[12ψi(τμem)ψi+12ψi(a)(τμYM)ψi(a)],\displaystyle S=\int d\tau\Bigg{[}\frac{1}{2}\psi_{i}^{\dagger}\left(\partial_% {\tau}-\mu_{em}\right)\psi_{i}+\frac{1}{2}\psi_{i}^{(a)}{}^{\dagger}\left(% \partial_{\tau}-\mu_{YM}\right)\psi_{i}^{(a)}-\mathcal{H}\Bigg{]},italic_S = ∫ italic_d italic_τ [ divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( ∂ start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT - italic_μ start_POSTSUBSCRIPT italic_e italic_m end_POSTSUBSCRIPT ) italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_a ) end_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT † end_FLOATSUPERSCRIPT ( ∂ start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT - italic_μ start_POSTSUBSCRIPT italic_Y italic_M end_POSTSUBSCRIPT ) italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_a ) end_POSTSUPERSCRIPT - caligraphic_H ] , (16)

where ψisubscript𝜓𝑖\psi_{i}italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and ψi(a)superscriptsubscript𝜓𝑖𝑎\psi_{i}^{(a)}italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_a ) end_POSTSUPERSCRIPT are the complex fermions charged under different gauge groups. The superscript a𝑎aitalic_a represents the SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) indices and \mathcal{H}caligraphic_H is the interaction Hamiltonian.

In order to have further insights into the structure of \mathcal{H}caligraphic_H, one has to construct the effective boundary action for the 2D gravity model (3), which can be obtained by substituting the equation of motion for the dilton (ΦΦ\Phiroman_Φ) back into the action [40]. Notice that, the action (3) is linear in ΦΦ\Phiroman_Φ, therefore the bulk part vanishes identically and the entire contribution comes due to the Gibbons-Hawking-York term (3).

In order to extract the boundary contribution, we consider the asymptotic (zϵ0similar-to𝑧italic-ϵ0z\sim\epsilon\rightarrow 0italic_z ∼ italic_ϵ → 0) expansion of the Euclidean space-time metric [23]

ds2(Cz3+1z2)(dt2+dz2),𝑑superscript𝑠2𝐶superscript𝑧31superscript𝑧2𝑑superscript𝑡2𝑑superscript𝑧2\displaystyle ds^{2}\approx\left(\frac{C}{z^{3}}+\frac{1}{z^{2}}\right)\left(% dt^{2}+dz^{2}\right),italic_d italic_s start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ ( divide start_ARG italic_C end_ARG start_ARG italic_z start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ( italic_d italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (17)

where C=αξ+βκ𝐶𝛼𝜉𝛽𝜅C=\alpha\xi+\beta\kappaitalic_C = italic_α italic_ξ + italic_β italic_κ and (α,β𝛼𝛽\alpha,\betaitalic_α , italic_β) are constants.

Now, we parameterize the spacetime coordinates (t,z)𝑡𝑧(t,z)( italic_t , italic_z ) using the variable u𝑢uitalic_u and express the line element (17) as

ds2(Cz(u)3+1z(u)2)(t2+z2)du2,𝑑superscript𝑠2𝐶𝑧superscript𝑢31𝑧superscript𝑢2superscript𝑡2superscript𝑧2𝑑superscript𝑢2\displaystyle ds^{2}\approx\left(\frac{C}{z(u)^{3}}+\frac{1}{z(u)^{2}}\right)% \left(t^{\prime 2}+z^{\prime 2}\right)du^{2},italic_d italic_s start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ ( divide start_ARG italic_C end_ARG start_ARG italic_z ( italic_u ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_z ( italic_u ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ( italic_t start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT ) italic_d italic_u start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (18)

where denotes the derivative with respect to u𝑢uitalic_u.

Moreover, we impose the following boundary condition on the dilaton

Φ|bdy=Φr(u)(1ϵ+Cϵ2),evaluated-atΦ𝑏𝑑𝑦subscriptΦ𝑟𝑢1italic-ϵ𝐶superscriptitalic-ϵ2\displaystyle\Phi\Big{|}_{bdy}=\Phi_{r}(u)\left(\frac{1}{\epsilon}+\frac{C}{% \epsilon^{2}}\right),roman_Φ | start_POSTSUBSCRIPT italic_b italic_d italic_y end_POSTSUBSCRIPT = roman_Φ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_u ) ( divide start_ARG 1 end_ARG start_ARG italic_ϵ end_ARG + divide start_ARG italic_C end_ARG start_ARG italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) , (19)

where Φr(u)subscriptΦ𝑟𝑢\Phi_{r}(u)roman_Φ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_u ) is the regularised value of ΦΦ\Phiroman_Φ at the boundary and ϵitalic-ϵ\epsilonitalic_ϵ is the UV cut-off.

Using (18)-(19), one can elegantly express the boundary action as

Sb=𝑑uΦr(u)[Sch(t(u),u)(μem+μYM)(t(u),u)],subscript𝑆𝑏differential-d𝑢subscriptΦ𝑟𝑢delimited-[]Sch𝑡𝑢𝑢subscript𝜇𝑒𝑚subscript𝜇𝑌𝑀𝑡𝑢𝑢\displaystyle S_{b}=-\int du\Phi_{r}(u)\Big{[}\text{Sch}\left(t(u),u\right)-(% \mu_{em}+\mu_{YM})\mathcal{M}\left(t(u),u\right)\Big{]},italic_S start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = - ∫ italic_d italic_u roman_Φ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_u ) [ Sch ( italic_t ( italic_u ) , italic_u ) - ( italic_μ start_POSTSUBSCRIPT italic_e italic_m end_POSTSUBSCRIPT + italic_μ start_POSTSUBSCRIPT italic_Y italic_M end_POSTSUBSCRIPT ) caligraphic_M ( italic_t ( italic_u ) , italic_u ) ] , (20)

where t(u)𝑡𝑢t(u)italic_t ( italic_u ) is the field variable, and Sch(t(u),u)Sch𝑡𝑢𝑢\text{Sch}\left(t(u),u\right)Sch ( italic_t ( italic_u ) , italic_u ) is the usual Schawrzian derivative [40]. Moreover, here we absorb the gauge couplings in the respective chemical potentials μemsubscript𝜇𝑒𝑚\mu_{em}italic_μ start_POSTSUBSCRIPT italic_e italic_m end_POSTSUBSCRIPT and μYMsubscript𝜇𝑌𝑀\mu_{YM}italic_μ start_POSTSUBSCRIPT italic_Y italic_M end_POSTSUBSCRIPT. Notice that, the boundary value (ΦrsubscriptΦ𝑟\Phi_{r}roman_Φ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT) of the dilaton serves as the coupling of the dual SYK model and the function \mathcal{M}caligraphic_M can be expressed as

(t(u),u)=𝑡𝑢𝑢absent\displaystyle\mathcal{M}\left(t(u),u\right)=\hskip 2.84526ptcaligraphic_M ( italic_t ( italic_u ) , italic_u ) = 12ϵ3t(u)3[t(u)(ϵ2t′′(u)2+t(u)ϵ2t′′′(u)(t(u)1))ϵ2t′′(u)2+\displaystyle\frac{1}{2\epsilon^{3}t^{\prime}(u)^{3}}\Bigg{[}t^{\prime}(u)% \left(\epsilon^{2}t^{\prime\prime}(u)^{2}+t^{\prime}(u)-\epsilon^{2}t^{{}^{% \prime\prime\prime}}(u)\left(t^{\prime}(u)-1\right)\right)-\epsilon^{2}t^{% \prime\prime}(u)^{2}+divide start_ARG 1 end_ARG start_ARG 2 italic_ϵ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_u ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG [ italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_u ) ( italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT ( italic_u ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_u ) - italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ ′ ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ( italic_u ) ( italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_u ) - 1 ) ) - italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT ( italic_u ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT +
2ϵ2t(u)(t′′(u)2t′′′(u)t(u))].\displaystyle 2\epsilon^{2}t^{\prime}(u)\left(t^{\prime\prime}(u)^{2}-t^{{}^{% \prime\prime\prime}}(u)t^{\prime}(u)\right)\Bigg{]}.2 italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_u ) ( italic_t start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT ( italic_u ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_t start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ ′ ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ( italic_u ) italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_u ) ) ] . (21)

Given (5), the next non-trivial task is to identify the interaction Hamiltonian (\mathcal{H}caligraphic_H) for the dual SYK model. One can construct the interaction Hamiltonian (\mathcal{H}caligraphic_H) following a reverse engineering technique. In this approach, one must figure out the 2-point and 4-point correlations for a general qthsuperscript𝑞𝑡q^{th}italic_q start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order interaction (\mathcal{H}caligraphic_H) [40] and write down the effective action in the deep IR limit. Following that, one needs to map terms in (5) to those in the effective action, by means of suitable coordinate transformations and symmetries of theory and fix interaction terms accordingly. We leave this interesting direction for future investigations.

6 Conclusion and future directions

To summarise, we show that for a topological phase transition to occur in a JT gravity setup, the gauge couplings must satisfy the bound 0<κξ0.0440𝜅𝜉0.0440<\frac{\kappa}{\xi}\leq 0.0440 < divide start_ARG italic_κ end_ARG start_ARG italic_ξ end_ARG ≤ 0.044. In the limit when κ0𝜅0\kappa\rightarrow 0italic_κ → 0 and ξ𝜉\xiitalic_ξ is finite, one encounters a situation with no phase transition that can be associated with an “anomalous” defect in the thermodynamic phase space, where the corresponding winding number becomes large. When the bound is satisfied, we have an analogue of the HP transition where we identify topological defects as small and large black holes and obtain their associated winding numbers.

We show that small black hole corresponds to a negative winding number and is therefore thermodynamically unstable. On the other hand, the large black hole is associated with positive winding number and is thermodynamically stable. Our analysis suggests that an unstable small-size black hole transits into a stable large-size black hole beyond a particular critical value of the parameter τ(=TH1)annotated𝜏absentsuperscriptsubscript𝑇𝐻1\tau\left(=T_{H}^{-1}\right)italic_τ ( = italic_T start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ), confirming the existence of phase transition in 2D gravity.

In addition to the above, we also argue that the HP transition persists at “all orders” in the YM gauge couplings, rather than just being specific to the linear order effect in a perturbation theory. Finally, we propose an effective action for the dual QFT at large N, that has chemical potentials corresponding to the U(1)𝑈1U(1)italic_U ( 1 ) and SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) gauge groups in the bulk theory. Starting from the bulk theory, we construct the Schwarzian for the boundary theory that give us enough hint for the dual SYK like model that one might be able to construct in the near future. Along with this, we also outline some other projects that might be worth exploring in the future.

\bullet Related to the above discussion, it would be an exciting project to figure out the interaction Hamiltonian for the dual boundary theory and explore its topological properties. Particularly, unveiling a topological transition on the SYK side of the duality would be an exciting direction to look for.

\bullet It would be interesting to study the phase stability of 2D black holes in the presence of quartic interactions [55] and/or ModMax interactions [56] from the topological approach and demystify the richer phase structure.

\bullet Finally, it would be interesting to understand the black hole to wormhole phase transition in two dimensions [57] from the above topological perspective.

Acknowledgments

The authors are indebted to the authorities of Indian Institute of Technology, Roorkee for their unconditional support towards researches in basic sciences. The authors would like to convey their sincere thanks to Arindam Lala for his collaboration during the early stages of this project. HR would like to thank Arnab Kundu and the authorities of Saha Institute of Nuclear Physics, Kolkata, for their support. HR would like to thank Sarthak Parikh for his support at the Indian Institute of Technology, Delhi. DR would like to acknowledge The Royal Society, UK for financial assistance. DR also acknowledges the Mathematical Research Impact Centric Support (MATRICS) grant (MTR/2023/000005) received from SERB, India.

Appendix A Topological charge and winding numbers

In this Section, we briefly discuss the concept of topological current, similar to Duan’s topological current ϕitalic-ϕ\phiitalic_ϕ - mapping theory [15]-[17]. To begin with, we first define the superpotential

Vμν=12πϵμνρϵabnaρnb,na=ϕaϕ,formulae-sequencesuperscript𝑉𝜇𝜈12𝜋superscriptitalic-ϵ𝜇𝜈𝜌subscriptitalic-ϵ𝑎𝑏superscript𝑛𝑎subscript𝜌superscript𝑛𝑏superscript𝑛𝑎superscriptitalic-ϕ𝑎normitalic-ϕ\displaystyle V^{\mu\nu}=\frac{1}{2\pi}\epsilon^{\mu\nu\rho}\epsilon_{ab}n^{a}% \partial_{\rho}n^{b},\hskip 5.69054ptn^{a}=\frac{\phi^{a}}{||\phi||},italic_V start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_ρ end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT , italic_n start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = divide start_ARG italic_ϕ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG start_ARG | | italic_ϕ | | end_ARG , (22)

where nasuperscript𝑛𝑎n^{a}italic_n start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT (a=1,2𝑎12a=1,2italic_a = 1 , 2) are the unit vectors, with ϕ1=ϕrsuperscriptitalic-ϕ1superscriptitalic-ϕ𝑟\phi^{1}=\phi^{r}italic_ϕ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT = italic_ϕ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT and ϕ2=ϕθsuperscriptitalic-ϕ2superscriptitalic-ϕ𝜃\phi^{2}=\phi^{\theta}italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_ϕ start_POSTSUPERSCRIPT italic_θ end_POSTSUPERSCRIPT. The indices μ,ν,ρ𝜇𝜈𝜌\mu,\nu,\rhoitalic_μ , italic_ν , italic_ρ run over the values (0,1,2)012(0,1,2)( 0 , 1 , 2 ). It should be noted that the superpotential by definition is antisymmetric in the indices μ𝜇\muitalic_μ and ν𝜈\nuitalic_ν.

Next, we define the topological current999The topological charge of the system is defined as Q=Σj0d2x.𝑄subscriptΣsuperscript𝑗0superscript𝑑2𝑥Q=\int_{\Sigma}j^{0}d^{2}x.italic_Q = ∫ start_POSTSUBSCRIPT roman_Σ end_POSTSUBSCRIPT italic_j start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x . as the derivative of superpotential

jμ=νVμν=12πϵμνρϵabνnaρnb.superscript𝑗𝜇subscript𝜈superscript𝑉𝜇𝜈12𝜋superscriptitalic-ϵ𝜇𝜈𝜌subscriptitalic-ϵ𝑎𝑏subscript𝜈superscript𝑛𝑎subscript𝜌superscript𝑛𝑏\displaystyle j^{\mu}=\partial_{\nu}V^{\mu\nu}=\frac{1}{2\pi}\epsilon^{\mu\nu% \rho}\epsilon_{ab}\partial_{\nu}n^{a}\partial_{\rho}n^{b}.italic_j start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_ρ end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT . (23)

It is trivial to check that μjμ=0subscript𝜇superscript𝑗𝜇0\partial_{\mu}j^{\mu}=0∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_j start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 0, which suggests that the topological current is conserved quantity. Moreover, one can further simplify it using the definition of unit vectors nasuperscript𝑛𝑎n^{a}italic_n start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT (22), which is given below

jμ=12πϵμνρϵabν(ϕaϕ)ρ(ϕbϕ)=12πϵμνρϵab(ϕcϕalnϕ)νϕcρϕb,superscript𝑗𝜇12𝜋superscriptitalic-ϵ𝜇𝜈𝜌subscriptitalic-ϵ𝑎𝑏subscript𝜈superscriptitalic-ϕ𝑎normitalic-ϕsubscript𝜌superscriptitalic-ϕ𝑏normitalic-ϕ12𝜋superscriptitalic-ϵ𝜇𝜈𝜌subscriptitalic-ϵ𝑎𝑏superscriptitalic-ϕ𝑐superscriptitalic-ϕ𝑎normitalic-ϕsubscript𝜈superscriptitalic-ϕ𝑐subscript𝜌superscriptitalic-ϕ𝑏\displaystyle j^{\mu}=\frac{1}{2\pi}\epsilon^{\mu\nu\rho}\epsilon_{ab}\partial% _{\nu}\left(\frac{\phi^{a}}{||\phi||}\right)\partial_{\rho}\left(\frac{\phi^{b% }}{||\phi||}\right)=\frac{1}{2\pi}\epsilon^{\mu\nu\rho}\epsilon_{ab}\left(% \frac{\partial}{\partial\phi^{c}}\frac{\partial}{\partial\phi^{a}}\ln||\phi||% \right)\partial_{\nu}\phi^{c}\partial_{\rho}\phi^{b},italic_j start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_ρ end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( divide start_ARG italic_ϕ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG start_ARG | | italic_ϕ | | end_ARG ) ∂ start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT ( divide start_ARG italic_ϕ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT end_ARG start_ARG | | italic_ϕ | | end_ARG ) = divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_ρ end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϕ start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT end_ARG divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϕ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG roman_ln | | italic_ϕ | | ) ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT , (24)

where we have used the relation lnϕϕa=ϕaϕ.normitalic-ϕsuperscriptitalic-ϕ𝑎superscriptitalic-ϕ𝑎normitalic-ϕ\frac{\partial\ln||\phi||}{\partial\phi^{a}}=\frac{\phi^{a}}{||\phi||}.divide start_ARG ∂ roman_ln | | italic_ϕ | | end_ARG start_ARG ∂ italic_ϕ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG = divide start_ARG italic_ϕ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG start_ARG | | italic_ϕ | | end_ARG .

Now, we define another useful quantity called Jacobi tensor

ϵabJμ(ϕx)=ϵμνρνϕaρϕbsuperscriptitalic-ϵ𝑎𝑏superscript𝐽𝜇italic-ϕ𝑥superscriptitalic-ϵ𝜇𝜈𝜌subscript𝜈superscriptitalic-ϕ𝑎subscript𝜌superscriptitalic-ϕ𝑏\displaystyle\epsilon^{ab}J^{\mu}\left(\frac{\phi}{x}\right)=\epsilon^{\mu\nu% \rho}\partial_{\nu}\phi^{a}\partial_{\rho}\phi^{b}italic_ϵ start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_J start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG italic_x end_ARG ) = italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_ρ end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT (25)

and rewrite the topological current (24) in terms of the Jacobi tensor (25) as

jμ=12π(Δϕalnϕ)Jμ(ϕx),superscript𝑗𝜇12𝜋subscriptΔsubscriptitalic-ϕ𝑎normitalic-ϕsuperscript𝐽𝜇italic-ϕ𝑥\displaystyle j^{\mu}=\frac{1}{2\pi}\left(\Delta_{\phi_{a}}\ln||\phi||\right)J% ^{\mu}\left(\frac{\phi}{x}\right),italic_j start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG ( roman_Δ start_POSTSUBSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_POSTSUBSCRIPT roman_ln | | italic_ϕ | | ) italic_J start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG italic_x end_ARG ) , (26)

where we define Δϕa=ϕaϕasubscriptΔsubscriptitalic-ϕ𝑎superscriptitalic-ϕ𝑎superscriptitalic-ϕ𝑎\Delta_{\phi_{a}}=\frac{\partial}{\partial\phi^{a}}\frac{\partial}{\partial% \phi^{a}}roman_Δ start_POSTSUBSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_POSTSUBSCRIPT = divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϕ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϕ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG.

Notice that, one can further simplify (26) by employing the 2D Laplacian Green’s function i.e. Δϕalnϕ=2πδ(ϕ)subscriptΔsubscriptitalic-ϕ𝑎normitalic-ϕ2𝜋𝛿italic-ϕ\Delta_{\phi_{a}}\ln||\phi||=2\pi\delta(\phi)roman_Δ start_POSTSUBSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_POSTSUBSCRIPT roman_ln | | italic_ϕ | | = 2 italic_π italic_δ ( italic_ϕ ). Finally, the topological current and the topological charge of the system can be elegantly expressed as

jμ=δ2(ϕ)Jμ(ϕx),Q=Σδ2(ϕ)J0(ϕx)d2x.formulae-sequencesuperscript𝑗𝜇superscript𝛿2italic-ϕsuperscript𝐽𝜇italic-ϕ𝑥𝑄subscriptΣsuperscript𝛿2italic-ϕsuperscript𝐽0italic-ϕ𝑥superscript𝑑2𝑥\displaystyle j^{\mu}=\delta^{2}(\phi)J^{\mu}\left(\frac{\phi}{x}\right),% \hskip 5.69054ptQ=\int_{\Sigma}\delta^{2}(\phi)J^{0}\left(\frac{\phi}{x}\right% )d^{2}x.italic_j start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ϕ ) italic_J start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG italic_x end_ARG ) , italic_Q = ∫ start_POSTSUBSCRIPT roman_Σ end_POSTSUBSCRIPT italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ϕ ) italic_J start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG italic_x end_ARG ) italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x . (27)

It is evident from (27), that both jμsuperscript𝑗𝜇j^{\mu}italic_j start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT and Q𝑄Qitalic_Q are non-vanishing only at the zeros of the vector, ϕitalic-ϕ\phiitalic_ϕ. Let us now denote the zeros of ϕitalic-ϕ\phiitalic_ϕ by znsubscript𝑧𝑛z_{n}italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT such that ϕ(x=zn)=0italic-ϕ𝑥subscript𝑧𝑛0\phi(x=z_{n})=0italic_ϕ ( italic_x = italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) = 0, where n=1,2,N𝑛12𝑁n=1,2,...Nitalic_n = 1 , 2 , … italic_N.

Next, we expand the delta function, δ2(ϕ)superscript𝛿2italic-ϕ\delta^{2}(\phi)italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ϕ ) around the zeros of ϕitalic-ϕ\phiitalic_ϕ,

δ2(ϕ)=n=1NαnJ0(ϕx)|x=zn=n=1Nwn,superscript𝛿2italic-ϕevaluated-atsuperscriptsubscript𝑛1𝑁subscript𝛼𝑛superscript𝐽0italic-ϕ𝑥𝑥subscript𝑧𝑛superscriptsubscript𝑛1𝑁subscript𝑤𝑛\displaystyle\delta^{2}(\phi)=\sum_{n=1}^{N}\alpha_{n}J^{0}\left(\frac{\phi}{x% }\right)\Bigg{|}_{x=z_{n}}=\sum_{n=1}^{N}w_{n},italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ϕ ) = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_J start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG italic_x end_ARG ) | start_POSTSUBSCRIPT italic_x = italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , (28)

where αn(>0)annotatedsubscript𝛼𝑛absent0\alpha_{n}(>0)italic_α start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( > 0 ) are the expansion coefficients and wn=αnJ0(ϕx)|x=znsubscript𝑤𝑛evaluated-atsubscript𝛼𝑛superscript𝐽0italic-ϕ𝑥𝑥subscript𝑧𝑛w_{n}=\alpha_{n}J^{0}\left(\frac{\phi}{x}\right)\Bigg{|}_{x=z_{n}}italic_w start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_α start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_J start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG italic_x end_ARG ) | start_POSTSUBSCRIPT italic_x = italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUBSCRIPT are the winding numbers.

Using (28), one can express the integrand of the topological charge (27) as

δ2(ϕ)J0(ϕx)=n=1Nβnηnδ2(xzn),superscript𝛿2italic-ϕsuperscript𝐽0italic-ϕ𝑥superscriptsubscript𝑛1𝑁subscript𝛽𝑛subscript𝜂𝑛superscript𝛿2𝑥subscript𝑧𝑛\displaystyle\delta^{2}(\phi)J^{0}\left(\frac{\phi}{x}\right)=\sum_{n=1}^{N}% \beta_{n}\eta_{n}\delta^{2}(x-z_{n}),italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ϕ ) italic_J start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG italic_x end_ARG ) = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_x - italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) , (29)

where βn=|wn|subscript𝛽𝑛subscript𝑤𝑛\beta_{n}=|w_{n}|italic_β start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = | italic_w start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | is the ϕitalic-ϕ\phiitalic_ϕ- mapping Hopf index and ηn=sign(J0(ϕx)|x=zn)=±1subscript𝜂𝑛signevaluated-atsuperscript𝐽0italic-ϕ𝑥𝑥subscript𝑧𝑛plus-or-minus1\eta_{n}=\text{sign}\left(J^{0}\left(\frac{\phi}{x}\right)\Bigg{|}_{x=z_{n}}% \right)=\pm 1italic_η start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = sign ( italic_J start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG italic_x end_ARG ) | start_POSTSUBSCRIPT italic_x = italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) = ± 1 is the Brouwer degree at x=zn𝑥subscript𝑧𝑛x=z_{n}italic_x = italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT.

After plugging back (29) into (27), one finds the final expression of topological charge in terms of the winding numbers as

Q=n=1Nwn=n=1Nβnηn.𝑄superscriptsubscript𝑛1𝑁subscript𝑤𝑛superscriptsubscript𝑛1𝑁subscript𝛽𝑛subscript𝜂𝑛\displaystyle Q=\sum_{n=1}^{N}w_{n}=\sum_{n=1}^{N}\beta_{n}\eta_{n}.italic_Q = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT . (30)

References

  • [1] S. W. Hawking and D. N. Page, “Thermodynamics of Black Holes in anti-De Sitter Space,” Commun. Math. Phys. 87 (1983), 577 doi:10.1007/BF01208266
  • [2] J. M. Maldacena, “The Large N limit of superconformal field theories and supergravity,” Adv. Theor. Math. Phys. 2 (1998), 231-252 doi:10.1023/A:1026654312961 [arXiv:hep-th/9711200 [hep-th]].
  • [3] E. Witten, “Anti-de Sitter space and holography,” Adv. Theor. Math. Phys. 2 (1998), 253-291 doi:10.4310/ATMP.1998.v2.n2.a2 [arXiv:hep-th/9802150 [hep-th]].
  • [4] S. S. Gubser, I. R. Klebanov and A. M. Polyakov, “Gauge theory correlators from noncritical string theory,” Phys. Lett. B 428 (1998), 105-114 doi:10.1016/S0370-2693(98)00377-3 [arXiv:hep-th/9802109 [hep-th]].
  • [5] E. Witten, “Anti-de Sitter space, thermal phase transition, and confinement in gauge theories,” Adv. Theor. Math. Phys. 2 (1998), 505-532 doi:10.4310/ATMP.1998.v2.n3.a3 [arXiv:hep-th/9803131 [hep-th]].
  • [6] S. W. Wei and Y. X. Liu, “Topology of black hole thermodynamics,” Phys. Rev. D 105, no.10, 104003 (2022) doi:10.1103/PhysRevD.105.104003 [arXiv:2112.01706 [gr-qc]].
  • [7] S. W. Wei, Y. X. Liu and R. B. Mann, “Black Hole Solutions as Topological Thermodynamic Defects,” Phys. Rev. Lett. 129, no.19, 191101 (2022) doi:10.1103/PhysRevLett.129.191101 [arXiv:2208.01932 [gr-qc]].
  • [8] P. K. Yerra, C. Bhamidipati and S. Mukherji, “Topology of critical points and Hawking-Page transition,” Phys. Rev. D 106 (2022) no.6, 064059 doi:10.1103/PhysRevD.106.064059 [arXiv:2208.06388 [hep-th]].
  • [9] P. Cunha, V.P., E. Berti and C. A. R. Herdeiro, “Light-Ring Stability for Ultracompact Objects,” Phys. Rev. Lett. 119, no.25, 251102 (2017) doi:10.1103/PhysRevLett.119.251102 [arXiv:1708.04211 [gr-qc]].
  • [10] P. V. P. Cunha and C. A. R. Herdeiro, “Stationary black holes and light rings,” Phys. Rev. Lett. 124, no.18, 181101 (2020) doi:10.1103/PhysRevLett.124.181101 [arXiv:2003.06445 [gr-qc]].
  • [11] M. B. Ahmed, D. Kubiznak and R. B. Mann, Phys. Rev. D 107, no.4, 046013 (2023) doi:10.1103/PhysRevD.107.046013 [arXiv:2207.02147 [hep-th]].
  • [12] P. K. Yerra and C. Bhamidipati, “Topology of black hole thermodynamics in Gauss-Bonnet gravity,” Phys. Rev. D 105, no.10, 104053 (2022) doi:10.1103/PhysRevD.105.104053 [arXiv:2202.10288 [gr-qc]].
  • [13] P. K. Yerra and C. Bhamidipati, “Topology of Born-Infeld AdS black holes in 4D novel Einstein-Gauss-Bonnet gravity,” Phys. Lett. B 835, 137591 (2022) doi:10.1016/j.physletb.2022.137591 [arXiv:2207.10612 [gr-qc]].
  • [14] S. W. Wei and Y. X. Liu, “Topology of equatorial timelike circular orbits around stationary black holes,” Phys. Rev. D 107, no.6, 064006 (2023) doi:10.1103/PhysRevD.107.064006 [arXiv:2207.08397 [gr-qc]].
  • [15] S. W. Wei, “Topological Charge and Black Hole Photon Spheres,” Phys. Rev. D 102 (2020) no.6, 064039 doi:10.1103/PhysRevD.102.064039 [arXiv:2006.02112 [gr-qc]].
  • [16] Y. S. Duan and M. L. Ge, “SU(2) Gauge Theory and Electrodynamics with N Magnetic Monopoles,” Sci. Sin. 9 (1979) no.11, 1072 doi:10.1142/9789813237278_0001
  • [17] Y. S. Duan, “The structure of the topological current,” SLAC-PUB-3301, (1984).
  • [18] A. Chamblin, R. Emparan, C. V. Johnson and R. C. Myers, “Charged AdS black holes and catastrophic holography,” Phys. Rev. D 60, 064018 (1999) doi:10.1103/PhysRevD.60.064018 [arXiv:hep-th/9902170 [hep-th]].
  • [19] S. Fernando and D. Krug, “Charged black hole solutions in Einstein-Born-Infeld gravity with a cosmological constant,” Gen. Rel. Grav. 35, 129-137 (2003) doi:10.1023/A:1021315214180 [arXiv:hep-th/0306120 [hep-th]].
  • [20] Bragg William Lawrence and Williams Evan James, “ 1935 The effect of thermal agitaion on atomic arrangement in alloys—II Proc. R. Soc. Lond. A151540–566”
  • [21] R. Jackiw, “Lower Dimensional Gravity,” Nucl. Phys. B 252 (1985), 343-356 doi:10.1016/0550-3213(85)90448-1
  • [22] C. Teitelboim, “Gravitation and Hamiltonian Structure in Two Space-Time Dimensions,” Phys. Lett. B 126 (1983), 41-45 doi:10.1016/0370-2693(83)90012-6.
  • [23] A. Lala, H. Rathi and D. Roychowdhury, “Jackiw-Teitelboim gravity and the models of a Hawking-Page transition for 2D black holes,” Phys. Rev. D 102 (2020) no.10, 104024 doi:10.1103/PhysRevD.102.104024 [arXiv:2005.08018 [hep-th]].
  • [24] S. Sachdev and J. Ye, “Gapless spin fluid ground state in a random, quantum Heisenberg magnet,” Phys. Rev. Lett. 70, 3339 (1993) doi:10.1103/PhysRevLett.70.3339 [arXiv:cond-mat/9212030 [cond-mat]].
  • [25] A.Kitaev.2015. A simple model of quantum holography, talk given at KITP strings seminar and Entanglement program, February 12, April 7, and May 27, Santa Barbara, U.S.A.
  • [26] J. Maldacena and D. Stanford, “Remarks on the Sachdev-Ye-Kitaev model,” Phys. Rev. D 94, no.10, 106002 (2016) doi:10.1103/PhysRevD.94.106002 [arXiv:1604.07818 [hep-th]].
  • [27] J. Polchinski and V. Rosenhaus, “The Spectrum in the Sachdev-Ye-Kitaev Model,” JHEP 04, 001 (2016) doi:10.1007/JHEP04(2016)001 [arXiv:1601.06768 [hep-th]].
  • [28] A. Kitaev and S. J. Suh, “The soft mode in the Sachdev-Ye-Kitaev model and its gravity dual,” JHEP 05, 183 (2018) doi:10.1007/JHEP05(2018)183 [arXiv:1711.08467 [hep-th]].
  • [29] K. Jensen, “Chaos in AdS2 Holography,” Phys. Rev. Lett. 117, no.11, 111601 (2016) doi:10.1103/PhysRevLett.117.111601 [arXiv:1605.06098 [hep-th]].
  • [30] S. R. Das, A. Ghosh, A. Jevicki and K. Suzuki, “Duality in the Sachdev-Ye-Kitaev Model,” Springer Proc. Math. Stat. 255, 43-61 (2017) doi:10.1007/978-981-13-2179-5_4
  • [31] S. R. Das, A. Jevicki and K. Suzuki, “Three Dimensional View of the SYK/AdS Duality,” JHEP 09, 017 (2017) doi:10.1007/JHEP09(2017)017 [arXiv:1704.07208 [hep-th]].
  • [32] S. R. Das, A. Ghosh, A. Jevicki and K. Suzuki, “Three Dimensional View of Arbitrary q𝑞qitalic_q SYK models,” JHEP 02, 162 (2018) doi:10.1007/JHEP02(2018)162 [arXiv:1711.09839 [hep-th]].
  • [33] M. Taylor, “Generalized conformal structure, dilaton gravity and SYK,” JHEP 01, 010 (2018) doi:10.1007/JHEP01(2018)010 [arXiv:1706.07812 [hep-th]].
  • [34] A. Jevicki, K. Suzuki and J. Yoon, “Bi-Local Holography in the SYK Model,” JHEP 07, 007 (2016) doi:10.1007/JHEP07(2016)007 [arXiv:1603.06246 [hep-th]].
  • [35] A. Jevicki and K. Suzuki, “Bi-Local Holography in the SYK Model: Perturbations,” JHEP 11, 046 (2016) doi:10.1007/JHEP11(2016)046 [arXiv:1608.07567 [hep-th]].
  • [36] A. Lala and D. Roychowdhury, “SYK/AdS duality with Yang-Baxter deformations,” JHEP 12, 073 (2018) doi:10.1007/JHEP12(2018)073 [arXiv:1808.08380 [hep-th]].
  • [37] D. Roychowdhury, “Holographic derivation of q𝑞qitalic_q SYK spectrum with Yang-Baxter shift,” Phys. Lett. B 797, 134818 (2019) doi:10.1016/j.physletb.2019.134818 [arXiv:1810.09404 [hep-th]].
  • [38] A. Almheiri and J. Polchinski, “Models of AdS2 backreaction and holography,” JHEP 11, 014 (2015) doi:10.1007/JHEP11(2015)014 [arXiv:1402.6334 [hep-th]].
  • [39] H. Kyono, S. Okumura and K. Yoshida, “Deformations of the Almheiri-Polchinski model,” JHEP 03, 173 (2017) doi:10.1007/JHEP03(2017)173 [arXiv:1701.06340 [hep-th]].
  • [40] J. Maldacena, D. Stanford and Z. Yang, “Conformal symmetry and its breaking in two dimensional Nearly Anti-de-Sitter space,” PTEP 2016, no.12, 12C104 (2016) doi:10.1093/ptep/ptw124 [arXiv:1606.01857 [hep-th]].
  • [41] D. J. Gross and V. Rosenhaus, “The Bulk Dual of SYK: Cubic Couplings,” JHEP 05, 092 (2017) doi:10.1007/JHEP05(2017)092 [arXiv:1702.08016 [hep-th]].
  • [42] D. J. Gross and V. Rosenhaus, “A Generalization of Sachdev-Ye-Kitaev,” JHEP 02, 093 (2017) doi:10.1007/JHEP02(2017)093 [arXiv:1610.01569 [hep-th]].
  • [43] R. A. Davison, W. Fu, A. Georges, Y. Gu, K. Jensen and S. Sachdev, “Thermoelectric transport in disordered metals without quasiparticles: The Sachdev-Ye-Kitaev models and holography,” Phys. Rev. B 95, no.15, 155131 (2017) doi:10.1103/PhysRevB.95.155131 [arXiv:1612.00849 [cond-mat.str-el]].
  • [44] S. Sachdev, “Bekenstein-Hawking Entropy and Strange Metals,” Phys. Rev. X 5 (2015) no.4, 041025 doi:10.1103/PhysRevX.5.041025 [arXiv:1506.05111 [hep-th]].
  • [45] A. Gaikwad, L. K. Joshi, G. Mandal and S. R. Wadia, “Holographic dual to charged SYK from 3D Gravity and Chern-Simons,” JHEP 02, 033 (2020) doi:10.1007/JHEP02(2020)033 [arXiv:1802.07746 [hep-th]].
  • [46] H. Rathi, “AdS_2/CFT_1 at finite density and holographic aspects of 2D black holes,” [arXiv:2404.02724 [hep-th]].
  • [47] E. Marcus, “Holography and the Sachdev-Ye-Kitaev Model,” [https://studenttheses.uu.nl/handle/20.500.12932/26180].
  • [48] A. Goel, “Investigations of Holographic Duality in Two Dimensions,” [https://arks.princeton.edu/ark:/88435/dsp013j333547d].
  • [49] G. Sárosi, “AdS2 holography and the SYK model,” PoS Modave2017 (2018), 001 doi:10.22323/1.323.0001 [arXiv:1711.08482 [hep-th]].
  • [50] P. Zhang and H. Zhai, “Topological Sachdev-Ye-Kitaev Model,” Phys. Rev. B 97 (2018) no.20, 201112 doi:10.1103/PhysRevB.97.201112 [arXiv:1803.01411 [cond-mat.str-el]].
  • [51] A. M. García-García, L. Sá, J. J. M. Verbaarschot and C. Yin, “Emergent Topology in Many-Body Dissipative Quantum Matter,” [arXiv:2311.14640 [cond-mat.str-el]].
  • [52] Z. Y. Fan and H. Lu, “Electrically-Charged Lifshitz Spacetimes, and Hyperscaling Violations,” JHEP 04, 139 (2015) doi:10.1007/JHEP04(2015)139 [arXiv:1501.05318 [hep-th]].
  • [53] R. M. Wald, “Black hole entropy is the Noether charge,” Phys. Rev. D 48, no.8, 3427-3431 (1993) doi:10.1103/PhysRevD.48.R3427 [arXiv:gr-qc/9307038 [gr-qc]].
  • [54] Y Hatsugai , “Topological aspects of the quantum Hall effect,” J. Phys.: Condens. Matter 9 2507 (1997).
  • [55] H. Rathi and D. Roychowdhury, “Holographic JT gravity with quartic couplings,” JHEP 10 (2021), 209 doi:10.1007/JHEP10(2021)209 [arXiv:2107.11632 [hep-th]].
  • [56] H. Rathi and D. Roychowdhury, “AdS2 holography and ModMax,” JHEP 07 (2023), 026 doi:10.1007/JHEP07(2023)026 [arXiv:2303.14379 [hep-th]].
  • [57] H. Rathi and D. Roychowdhury, “Phases of Euclidean wormholes in JT gravity,” Nucl. Phys. B 994 (2023), 116315 doi:10.1016/j.nuclphysb.2023.116315 [arXiv:2111.11279 [hep-th]].