ISSN: 2689-7636

Mini Review
Open Access Peer-Reviewed

Department of Mathematics and Statistics, University of Massachusetts, Amherst, MA. 01003, USA

**Cite this as**

**Copyright Licence**

At a fixed time τ (for example τ = 0) the 3d Euclidean BTZ black hole B_{M} [1,2] of mass M > 0 reduces to a 2d spatial slice whose metric
$d{s}_{0}^{2}$
is easily transformed to a Poincare metric on the upper half-plane

${H}^{+}\stackrel{def.}{=}\{\left(x,y\right)\in {\mathbb{R}}^{2}|y>0\}.\text{(1)}$

Moreover, the quotient
${X}_{\Gamma}\stackrel{def.}{=}\Gamma \setminus {H}^{+}$
of H^{+} by a subgroup
$\Gamma $
of
$G=SL\left(2,\mathbb{R}\right)$
generated by a parabolic element γ (ie. trace γ = ±2) has for *M= 0* the structure of a 2d black hole vacuum [3]. We indicate a realization of this vacuum by way of an explicit bijection
$\stackrel{~}{\Phi}:{T}_{a}^{+}\to {X}_{\Gamma}$
, where
${T}_{a}^{+}$
is a tractroid surface with a deleted boundary circle of radius a.

B_{M}, with zero angular momentum, is given by the metric with periodicity in the Schwarzschild variable φ

$d{s}^{2}=\left(\frac{{r}^{2}}{{\ell}^{2}}-M\right)d{\tau}^{2}+{\left(\frac{{r}^{2}}{{\ell}^{2}}-M\right)}^{-1}d{r}^{2}+{r}^{2}d{\varphi}^{2}.\text{(2)}$

ds^{2} solves the Einstein vacuum field equations

${R}_{ij}-\frac{1}{2}R{g}_{ij}-\Lambda {g}_{ij}=0\text{(3)}$

with negative cosmological constant $\Lambda \stackrel{def.}{=}-1/{\ell}^{2}$ , where $\ell $ in (2) is a positive constant. By our sign convention, the Ricci scalar curvature R in (3) is given by $R=6/{\ell}^{2}$ . $d{s}_{0}^{2}$ in the introduction is therefore given by

$d{s}_{0}^{2}\stackrel{def.}{=}\frac{d{r}^{2}}{\frac{{r}^{2}}{{\ell}^{2}}-M}+{r}^{2}d{\varphi}^{2}\text{(4)}$

which by way of the transformation of variables

$x=\varphi ,y=\ell /r>0\text{(5)}$

in case *M= 0* reduces to the Poincare metric

$d{s}_{P}^{2}\stackrel{def.}{=}{\ell}^{2}\left(\frac{d{x}^{2}+d{y}^{2}}{{y}^{2}}\right)\text{(6)}$

on H^{+} in (1). Specially for X_{Γ}, we choose

$\Gamma \stackrel{def.}{=}\left\{\left[\begin{array}{cc}1& 2\pi n\\ 0& 1\end{array}\right]|n\in \mathbb{Z}\right\}=\left\{{\gamma}^{n}|n\in \mathbb{Z}\right\}\text{(7)}$

for
$\mathbb{Z}=$
set of whole numbers,
$\gamma \stackrel{def.}{=}\left[\begin{array}{cc}1& 2\pi \\ 0& 1\end{array}\right]$
, where the linear fractional action of
$SL\left(2,\mathbb{R}\right)$
on H^{+} is restricted to Γ:

$\left[\begin{array}{cc}1& 2\pi n\\ 0& 1\end{array}\right]\cdot \left(x,y\right)\stackrel{def.}{=}\left(x+2\pi n,y\right),n\in \mathbb{Z}\text{(8)}$

which by (5) is consistent with the above Schwarzschild periodicity: $\left(x,y\right)\sim \left(x+2\pi n,y\right)$ .

The tractroid T_{a} of radius a > 0 of interest is the surface of revolution about the y-axis of the *tractrix curve* parametrized as follows:

$\begin{array}{l}x\left(t\right)\stackrel{def.}{=}a{e}^{-t/a},y\left(t\right)\stackrel{def.}{=}\\ a\text{log}\left({e}^{t/a}+\sqrt{{e}^{2t/a}-1}\right)-a{e}^{-t/a}\sqrt{{e}^{2t/a}-1}\text{(9)}\end{array}$

for t ≥ 0. Ta is therefore the set of points S (u,v) in ${\mathbb{R}}^{3}$ given by

$\begin{array}{l}S\left(u,v\right)\text{}\stackrel{def.}{=}\left(x\left(u\right)\text{cos}v,x\left(u\right)\text{sin}v,y\left(u\right)\right)\stackrel{def.}{=}\\ \left(a{e}^{-u/a}\text{cos}v,a{e}^{-u/a}\text{sin}v,S\left(u\right)\right),\\ S(\text{u})\text{}\stackrel{\text{def}\text{.}}{\text{=}}\text{y}\left(\text{u}\right)\stackrel{\text{def}\text{.}}{\text{=}}\text{alog}\left({\text{e}}^{\frac{\text{u}}{\text{a}}}\text{+}\sqrt{{\text{e}}^{\text{2u/a}}\text{-1}}\right){\text{-ae}}^{\text{-u/a}}\sqrt{{\text{e}}^{\text{2u/a}}\text{-1}}\text{(10)}\end{array}$

for $\left(u,v\right)\in {\mathbb{R}}^{2}$ . Since $S\left(0,v\right)=\left(a\text{cos}v,a\text{sin}v,0\right)$ (as $S\left(0\right)=0),$

${T}_{a}^{+}\stackrel{def.}{=}\left\{S\left(u,v\right)\in {T}_{a}|u>0\right\}\text{(11)}$

is T_{a} minus points on the boundary circle S (0,v), as mentioned in the introduction.

Let $q:{H}^{+}\to {X}_{\Gamma}$ denote the quotient map that takes $\left(x,y\right)$ to its Γ -orbit $\stackrel{~}{\left(x,y\right)}$ in (8) and define $\Phi :{H}^{+}\to {T}_{a}^{+}$ by

$\Phi \left(x,y\right)\stackrel{def.}{=}S\left(\text{log}\left(\frac{y}{a}+1\right),x\right)\text{(12)}$

where we note that since $y,a>0$ , $u=\text{log}\left(\frac{y}{a}+1\right)>0\Rightarrow $ indeed $\Phi \left(x,y\right)\in {T}_{a}^{+}$ by (11). Then $\stackrel{~}{\Phi}:{T}_{a}^{+}\to {X}_{\Gamma}$ is defined by the commutativity of the diagram

that is $\stackrel{~}{\Phi}S\left(\left(u,v\right)\right)\stackrel{def.}{=}\text{q}\left(v,a\left({e}^{u}-1\right)\right)$ (13)

for u > 0. For
$\stackrel{~}{\left(x,y\right)}=q\left(x,y\right)$
in X_{Γ} and
$u=\text{log}\left(\frac{y}{a}+1\right)>0$
again,
$a\left({e}^{u}-1\right)=a\left(\frac{y}{a}+1-1\right)=y\Rightarrow p=S\left(u,x\right)\in {T}_{a}^{+}$
such that
$\stackrel{~}{\Phi}\left(p\right)\stackrel{def.}{=}q\left(x,y\right)$
, which shows that
$\stackrel{~}{\Phi}$
is surjective. Finally,
$\stackrel{~}{\Phi}$
is also injective and thus indeed is a bijection. Namely, if
${p}_{j}=S\left({u}_{j},{v}_{j}\right)\in {T}_{a}^{+},j=1,2$
, such that
$\stackrel{~}{\Phi}\left({p}_{1}\right)=\stackrel{~}{\Phi}\left({p}_{2}\right)-$
ie.
$q\left({v}_{1},a\left({e}^{{u}_{1}}-1\right)\right)=q\left({v}_{2},a\left({e}^{{u}_{2}}-1\right)\right)$
(by (13)), then
${v}_{1}={v}_{2}+2\pi n$
,
$a\left({e}^{{u}_{1}}-1\right)=a\left({e}^{{u}_{2}}-1\right)$
for some
$n\in \mathbb{Z}(by(8))\Rightarrow {u}_{1}={u}_{2},\text{cos}{v}_{1}=\text{cos}{v}_{2},\text{sin}{v}_{1}=\text{sin}{v}_{2}\Rightarrow S\left({u}_{1},{v}_{1}\right)=S\left({u}_{2},{v}_{2}\right)$
(by (10)); ie.
${p}_{1}={p}_{2}$
.

The BTZ vacuum (or ground state)
${X}_{\Gamma}$
has a single parabolic generator γ in (7). In [4], for example, a BTZ vacuum with two parabolic generators is considered - in addition to other QFT matters. It would be interesting to find, also, a concrete geometric realization of the latter vacuum - or that of higher dimensional BTZ black hole vacua. One could also discuss the naked singularity case where *M < 0*.

The map
$\stackrel{~}{\Phi}$
in (13) provides for a concrete, geometric, tractroid representation (or model) of the Euclidean BTZ vacuum X_{Γ} with Poincare metric in (6); Γ is given by (7). This result is the best possible in the sense that a general result of D.Hilbert [5] prevents the full mapping of all of Ta onto X_{Γ}. Our discussion proceeded at a fixed time τ = 0, in which case the black hole metric (2) was reduced to the 2d spatial slice (4). One could also consider the 2d metric obtained by fixing the Schwarzschild variable φ in (2), and study the false vacuum decay for this 2d black hole background. Compare the interesting references [6-8], for example, where the studies therein are of a quite different focus since the word ”vacuum” here simply means that we take the black hole mass *M= 0* in (2). In [6], for example, the effective potential is considered for various values of the black hole mass. Also here, we need the Schwarzschild variable φ to be non-fixed in order to derive the Poincare metric version (6) of (4) in case *M= 0*, where (6) can actually be transformed to a metric on the tractroid. Thus issues regarding expectation values of quantum fluctuations and mass spectra, for example, do not arise in the present context, where in fact the periodicity of φ, moreover, which leads to equation (8), is crucial for the main construction of the bijection
$\stackrel{~}{\Phi}$
.

In addition to the 2d vacuum black hole-tractroid correspondence that we have constructed, there is also a 2d wormhole-catenoid correspondence. In the reference [9] a 2-dimensional section of a 3-dimensional wormhole is realized as a catenoid surface – the section is obtained by fixing a spherical polar coordinate value: θ = π/2.

- Bañados M, Teitelboim C, Zanelli J. Black hole in three-dimensional spacetime. Phys Rev Lett. 1992 Sep 28;69(13):1849-1851. doi: 10.1103/PhysRevLett.69.1849. PMID: 10046331.
- Carlip S, Teitelboim C. Aspects of black hole quantum mechanics and thermodynamics in 2+1 dimensions. Phys Rev D Part Fields. 1995 Jan 15;51(2):622-631. doi: 10.1103/physrevd.51.622. PMID: 10018515.
- Williams F. Remarks on the Patterson-Selberg zeta function, black hole vacua, and extremal CFT partition functions. Journal of Physics A: Math. and Theoretical. 2012; 45: 1-19.
- Binosi D, Moretti V, Vanzo L, Zerbini S. Quantum scalar field on the massless (2+1) - dimensional black hole background. Phys Rev. 1999; 59: 104017.
- Hilbert D. Ueber Flachen von Constanter Gaussscher Krummung. Trans Am Math Soc.1901; 2: 87-99.
- Miyachi T, Soda J, False vacuum decay in a two-dimensional black hole spacetime. Phys Rev D. 2021; 103(8): 085009.
- Shkerin A, Sibiryakov S. Black hole induced false vacuum decay from first principles. Journal of High Energy Physics. 2021; 11(197): 1 - 69.
- He GG, Fan XY, Zhang FL, Robust violation of a multipartite Bell inequality from the perspective of a single-system game, Modern Physics Letters A. 2022; 37(12): 2250082.
- Dandoloff R, Saxena A, Jensen B, Geometry induced potential on a 2d-section of a wormhole: Catenoid, Physical Rev A. 2010; 87: 014102.

Subscribe to our articles alerts and stay tuned.

This work is licensed under a Creative Commons Attribution 4.0 International License.