A tractroid realization of a 2d black hole vacuum
ISSN: 2689-7636
Annals of Mathematics and Physics
Mini Review       Open Access      Peer-Reviewed

A tractroid realization of a 2d black hole vacuum

Floyd L Williams*

Department of Mathematics and Statistics, University of Massachusetts, Amherst, MA. 01003, USA
*Corresponding author: Floyd L Williams, Department of Mathematics and Statistics, University of Massachusetts, Amherst, MA. 01003, USA, Tel: 413545-0111; E-mail: williams@math.umass.edu
Received: 11 July, 2022 | Accepted: 30 July, 2022 | Published: 01 August, 2022

Cite this as

Williams FL (2022) A tractroid realization of a 2d black hole vacuum. Ann Math Phys 5(2): 097-099. DOI: 10.17352/amp.000046

Copyright Licence

© 2022 Williams FL. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

The two-dimensional black hole vacuum obtained from a spatial slice of the BTZ black hole is mapped explicitly to a tractroid surface minus a bounding circle.

Introduction

At a fixed time τ (for example τ = 0) the 3d Euclidean BTZ black hole BM [1,2] of mass M > 0 reduces to a 2d spatial slice whose metric d s 0 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadsgacaWGZbqcfa4damaaDaaaleaajugib8qacaaIWaaal8aabaqcLbsapeGaaGOmaaaaaaa@3C1A@ is easily transformed to a Poincare metric on the upper half-plane

H + = def. {( x,y ) 2 |y>0}.    (1) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadIeak8aadaahaaWcbeqaaKqzGeWdbiabgUcaRaaak8aadaWfGaqaaKqzGeWdbiabg2da9aWcpaqabeaajugib8qacaWGKbGaamyzaiaadAgacaGGUaaaaiaacUhakmaabmaapaqaaKqzGeWdbiaadIhacaGGSaGaamyEaaGccaGLOaGaayzkaaqcLbsacqGHiiIZtuuDJXwAK1uy0HMmaeHbfv3ySLgzG0uy0HgiuD3BaGqbaiab=1risPWdamaaCaaaleqabaqcLbsapeGaaGOmaaaacaGG8bGaamyEaiabg6da+iaaicdacaGG9bGaaiOlaiaabccacaqGGaGaaeiiaiaabccacaqGOaGaaeymaiaabMcaaaa@5FD8@

Moreover, the quotient X Γ = def. Γ H + MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadIfak8aadaWgaaWcbaqcLbsapeGaeu4KdCeal8aabeaakmaaxacabaqcLbsapeGaeyypa0dal8aabeqaaKqzGeWdbiaadsgacaWGLbGaamOzaiaac6caaaGaeu4KdC0efv3ySLgznfgDOfdaryqr1ngBPrginfgDObYtUvgaiuaacqWFwiIGcaWGibGcpaWaaWbaaSqabeaajugib8qacqGHRaWkaaaaaa@50D2@ of H+ by a subgroup Γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaaeaaaaaaaaa8qacqqHtoWraaa@398D@ of G=SL( 2,  ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadEeacqGH9aqpcaWGtbGaamitaOWaaeWaa8aabaqcLbsapeGaaGOmaiaacYcatuuDJXwAK1uy0HMmaeHbfv3ySLgzG0uy0HgiuD3BaGqbaiab=bkaGkab=1risbGccaGLOaGaayzkaaaaaa@4C63@ 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 Φ ~ : T a + X Γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaajugibabaaaaaaaaapeGaeuOPdyeal8aabeqaaKqzGeWdbiaac6haaaGaaiOoaiaadsfak8aadaqhaaWcbaqcLbsapeGaamyyaaWcpaqaaKqzGeWdbiabgUcaRaaacqGHsgIRcaWGybGcpaWaaSbaaSqaaKqzGeWdbiabfo5ahbWcpaqabaaaaa@4654@ , where T a + MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadsfak8aadaqhaaWcbaqcLbsapeGaamyyaaWcpaqaaKqzGeWdbiabgUcaRaaaaaa@3CF3@ is a tractroid surface with a deleted boundary circle of radius a.

The spatial slice of BM

BM, with zero angular momentum, is given by the metric with periodicity in the Schwarzschild variable φ

d s 2 =( r 2 2 M )d τ 2 + ( r 2 2 M ) 1 d r 2 + r 2 d ϕ 2 .  (2) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadsgacaWGZbGcpaWaaWbaaSqabeaajugib8qacaaIYaaaaiabg2da9OWaaeWaa8aabaWdbmaalaaapaqaaKqzGeWdbiaadkhak8aadaahaaWcbeqaaKqzGeWdbiaaikdaaaaak8aabaqcLbsapeGaeS4eHWMcpaWaaWbaaSqabeaajugib8qacaaIYaaaaaaacqGHsislcaWGnbaakiaawIcacaGLPaaajugibiaadsgacqaHepaDk8aadaahaaWcbeqaaKqzGeWdbiaaikdaaaGaey4kaSIcdaqadaWdaeaapeWaaSaaa8aabaqcLbsapeGaamOCaOWdamaaCaaaleqabaqcLbsapeGaaGOmaaaaaOWdaeaajugib8qacqWItecBk8aadaahaaWcbeqaaKqzGeWdbiaaikdaaaaaaiabgkHiTiaad2eaaOGaayjkaiaawMcaa8aadaahaaWcbeqaaKqzGeWdbiabgkHiTiaaigdaaaGaamizaiaadkhak8aadaahaaWcbeqaaKqzGeWdbiaaikdaaaGaey4kaSIaamOCaOWdamaaCaaaleqabaqcLbsapeGaaGOmaaaacaWGKbGaeqy1dyMcpaWaaWbaaSqabeaajugib8qacaaIYaaaaOWdaiaac6cacaqGGaGaaeiiaiaabIcacaqGYaGaaeykaaaa@699F@

ds2 solves the Einstein vacuum field equations

R ij 1 2 R g ij Λ g ij =0      (3) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadkfak8aadaWgaaWcbaqcLbsapeGaamyAaiaadQgaaSWdaeqaaKqzGeWdbiabgkHiTOWaaSaaa8aabaqcLbsapeGaaGymaaGcpaqaaKqzGeWdbiaaikdaaaGaamOuaiaadEgak8aadaWgaaWcbaqcLbsapeGaamyAaiaadQgaaSWdaeqaaKqzGeWdbiabgkHiTiabfU5amjaadEgak8aadaWgaaWcbaqcLbsapeGaamyAaiaadQgaaSWdaeqaaKqzGeWdbiabg2da9iaaicdacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGOaGaae4maiaabMcaaaa@548D@

with negative cosmological constant Λ = def. 1/ 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiabfU5amPWdamaaxacabaqcLbsapeGaeyypa0dal8aabeqaaKqzGeWdbiaadsgacaWGLbGaamOzaiaac6caaaGaeyOeI0IaaGymaiaac+cacqWItecBk8aadaahaaWcbeqaaKqzGeWdbiaaikdaaaaaaa@457B@ , where MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiabloriSbaa@37D2@ in (2) is a positive constant. By our sign convention, the Ricci scalar curvature R in (3) is given by R=6/ 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadkfacqGH9aqpcaaI2aGaai4laiabloriSPWdamaaCaaaleqabaqcLbsapeGaaGOmaaaaaaa@3ED6@ . d s 0 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadsgacaWGZbqcfa4damaaDaaaleaajugib8qacaaIWaaal8aabaqcLbsapeGaaGOmaaaaaaa@3C1A@ in the introduction is therefore given by

d s 0 2 = def. d r 2 r 2 2 M + r 2 d ϕ 2      (4) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadsgacaWGZbGcpaWaa0baaSqaaKqzGeWdbiaaicdaaSWdaeaajugib8qacaaIYaaaaOWdamaaxacabaqcLbsapeGaeyypa0dal8aabeqaaKqzGeWdbiaadsgacaWGLbGaamOzaiaac6caaaGcdaWcaaWdaeaajugib8qacaWGKbGaamOCaOWdamaaCaaaleqabaqcLbsapeGaaGOmaaaaaOWdaeaapeWaaSaaa8aabaqcLbsapeGaamOCaOWdamaaCaaaleqabaqcLbsapeGaaGOmaaaaaOWdaeaajugib8qacqWItecBk8aadaahaaWcbeqaaKqzGeWdbiaaikdaaaaaaiabgkHiTiaad2eaaaGaey4kaSIaamOCaOWdamaaCaaaleqabaqcLbsapeGaaGOmaaaacaWGKbGaeqy1dyMcpaWaaWbaaSqabeaajugib8qacaaIYaaaaOWdaiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeikaiaabsdacaqGPaaaaa@5E01@

which by way of the transformation of variables

x=ϕ,y=/r>0      (5) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadIhacqGH9aqpcqaHvpGzcaGGSaGaamyEaiabg2da9iabloriSjaac+cacaWGYbGaeyOpa4JaaGimaiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabIcacaqG1aGaaeykaaaa@49B1@

in case M= 0 reduces to the Poincare metric

d s P 2 = def. 2 ( d x 2 +d y 2 y 2 )      (6) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadsgacaWGZbGcpaWaa0baaSqaaKqzGeWdbiaadcfaaSWdaeaajugib8qacaaIYaaaaOWdamaaxacabaqcLbsapeGaeyypa0dal8aabeqaaKqzGeWdbiaadsgacaWGLbGaamOzaiaac6caaaGaeS4eHWMcpaWaaWbaaSqabeaajugib8qacaaIYaaaaOWaaeWaa8aabaWdbmaalaaapaqaaKqzGeWdbiaadsgacaWG4bGcpaWaaWbaaSqabeaajugib8qacaaIYaaaaiabgUcaRiaadsgacaWG5bGcpaWaaWbaaSqabeaajugib8qacaaIYaaaaaGcpaqaaKqzGeWdbiaadMhak8aadaahaaWcbeqaaKqzGeWdbiaaikdaaaaaaaGccaGLOaGaayzkaaGaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeikaiaabAdacaqGPaaaaa@5A5F@

on H+ in (1). Specially for XΓ, we choose

Γ = def. { [ 1 2πn 0 1 ]|n }={ γ n |n }      (7) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiabfo5ahPWdamaaxacabaqcLbsapeGaeyypa0dal8aabeqaaKqzGeWdbiaadsgacaWGLbGaamOzaiaac6caaaGcdaGadaWdaeaapeWaamWaa8aabaqcLbsafaqabeGacaaakeaajugib8qacaaIXaaak8aabaqcLbsapeGaaGOmaiabec8aWjaad6gaaOWdaeaajugib8qacaaIWaaak8aabaqcLbsapeGaaGymaaaaaOGaay5waiaaw2faaKqzGeGaaiiFaiaad6gacqGHiiIZtuuDJXwAK1uy0HMmaeHbfv3ySLgzG0uy0HgiuD3BaGqbaiab=rsiAbGccaGL7bGaayzFaaqcLbsacqGH9aqpkmaacmaapaqaaKqzGeWdbiabeo7aNPWdamaaCaaaleqabaqcLbsapeGaamOBaaaacaGG8bGaamOBaiabgIGiolab=rsiAbGccaGL7bGaayzFaaGaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeikaiaabEdacaqGPaaaaa@6F0E@

for = MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWefv3ySLgznfgDOjdaryqr1ngBPrginfgDObcv39gaiuaajugibabaaaaaaaaapeGae8hjHOLaeyypa0daaa@4481@ set of whole numbers, γ = def. [ 1 2π 0 1 ] MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiabeo7aNPWdamaaxacabaqcLbsapeGaeyypa0dal8aabeqaaKqzGeWdbiaadsgacaWGLbGaamOzaiaac6caaaGcdaWadaWdaeaajugibuaabeqaciaaaOqaaKqzGeWdbiaaigdaaOWdaeaajugib8qacaaIYaGaeqiWdahak8aabaqcLbsapeGaaGimaaGcpaqaaKqzGeWdbiaaigdaaaaakiaawUfacaGLDbaaaaa@4AAE@ , where the linear fractional action of SL( 2,  ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadofacaWGmbGcdaqadaWdaeaajugib8qacaaIYaGaaiilamrr1ngBPrwtHrhAYaqeguuDJXwAKbstHrhAGq1DVbacfaGae8hOaaQae8xhHifakiaawIcacaGLPaaaaaa@4A91@ on H+ is restricted to Γ:

[ 1 2πn 0 1 ]( x,y ) = def. ( x+2πn,y ),n         (8) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaaeaaaaaaaaa8qadaWadaWdaeaajugibuaabeqaciaaaOqaaKqzGeWdbiaaigdaaOWdaeaajugib8qacaaIYaGaeqiWdaNaamOBaaGcpaqaaKqzGeWdbiaaicdaaOWdaeaajugib8qacaaIXaaaaaGccaGLBbGaayzxaaqcLbsacqGHflY1kmaabmaapaqaaKqzGeWdbiaadIhacaGGSaGaamyEaaGccaGLOaGaayzkaaWdamaaxacabaqcLbsapeGaeyypa0dal8aabeqaaKqzGeWdbiaadsgacaWGLbGaamOzaiaac6caaaGcdaqadaWdaeaajugib8qacaWG4bGaey4kaSIaaGOmaiabec8aWjaad6gacaGGSaGaamyEaaGccaGLOaGaayzkaaqcLbsacaGGSaGaamOBaiabgIGioprr1ngBPrwtHrhAYaqeguuDJXwAKbstHrhAGq1DVbacfaGae8hjHOLaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeikaiaabIdacaqGPaaaaa@70B4@

which by (5) is consistent with the above Schwarzschild periodicity: ( x,y )( x+2πn,y ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaaeaaaaaaaaa8qadaqadaWdaeaajugib8qacaWG4bGaaiilaiaadMhaaOGaayjkaiaawMcaaKqzGeGaeyipI4NcdaqadaWdaeaajugib8qacaWG4bGaey4kaSIaaGOmaiabec8aWjaad6gacaGGSaGaamyEaaGccaGLOaGaayzkaaaaaa@484C@ .

Construction of the map Φ ~ : T a + X Γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaaieWajugibabaaaaaaaaapeGaa8NPdaWcpaqabeaajugib8qacaGG+baaaiaacQdacaWFubGcpaWaa0baaSqaaKqzGeWdbiaa=fgaaSWdaeaajugib8qacqGHRaWkaaGaeyOKH4Qaa8hwaOWdamaaBaaaleaajugib8qacaWFtoaal8aabeaaaaa@45B3@ ; the main observation

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

x( t ) = def. a e t/a ,y( t ) = def. alog( e t/a + e 2t/a 1 )a e t/a e 2t/a 1        (9) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGceaqabeaajugibabaaaaaaaaapeGaamiEamaabmaak8aabaqcLbsapeGaamiDaaGccaGLOaGaayzkaaqcLbsapaWaaCbiaOqaaKqzGeWdbiabg2da9aWcpaqabeaajugib8qacaWGKbGaamyzaiaadAgacaGGUaaaaiaadggacaWGLbWdamaaCaaaleqabaqcLbsapeGaeyOeI0IaamiDaiaac+cacaWGHbaaaiaacYcacaWG5bWaaeWaaOWdaeaajugib8qacaWG0baakiaawIcacaGLPaaajugib8aadaWfGaGcbaqcLbsapeGaeyypa0dal8aabeqaaKqzGeWdbiaadsgacaWGLbGaamOzaiaac6caaaaak8aabaqcLbsapeGaamyyaiaabYgacaqGVbGaae4zamaabmaak8aabaqcLbsapeGaamyza8aadaahaaWcbeqaaKqzGeWdbiaadshacaGGVaGaamyyaaaacqGHRaWkdaGcaaGcpaqaaKqzGeWdbiaadwgapaWaaWbaaSqabeaajugib8qacaaIYaGaamiDaiaac+cacaWGHbaaaiabgkHiTiaaigdaaSqabaaakiaawIcacaGLPaaajugibiabgkHiTiaadggacaWGLbWdamaaCaaaleqabaqcLbsapeGaeyOeI0IaamiDaiaac+cacaWGHbaaamaakaaak8aabaqcLbsapeGaamyza8aadaahaaWcbeqaaKqzGeWdbiaaikdacaWG0bGaai4laiaadggaaaGaeyOeI0IaaGymaaWcbeaajugibiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGOaGaaeyoaiaabMcaaaaa@7F46@

for t ≥ 0. Ta is therefore the set of points S (u,v) in 3 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWefv3ySLgznfgDOjdaryqr1ngBPrginfgDObcv39gaiuaajugibabaaaaaaaaapeGae8xhHiLcpaWaaWbaaSqabeaajugib8qacaaIZaaaaaaa@450E@ given by

S( u,v )  = def. ( x( u )cosv,x( u )sinv,y( u ) ) = def. ( a e u/a cosv,a e u/a sinv,S( u ) ), S(u)  = def. y( u ) = def. alog( e u a + e 2u/a -1 ) -ae -u/a e 2u/a -1     (10) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGceaqabeaajugababaaaaaaaaapeGaam4uamaabmaak8aabaqcLbqapeGaamyDaiaacYcacaWG2baakiaawIcacaGLPaaajugabiaabccapaWaaCbiaOqaaKqzaeWdbiabg2da9aWcpaqabeaajugab8qacaWGKbGaamyzaiaadAgacaGGUaaaamaabmaak8aabaqcLbqapeGaamiEamaabmaak8aabaqcLbqapeGaamyDaaGccaGLOaGaayzkaaqcLbqacaqGJbGaae4BaiaabohacaWG2bGaaiilaiaadIhadaqadaGcpaqaaKqzaeWdbiaadwhaaOGaayjkaiaawMcaaKqzaeGaae4CaiaabMgacaqGUbGaamODaiaacYcacaWG5bWaaeWaaOWdaeaajugab8qacaWG1baakiaawIcacaGLPaaaaiaawIcacaGLPaaajugab8aadaWfGaGcbaqcLbqapeGaeyypa0dal8aabeqaaKqzaeWdbiaadsgacaWGLbGaamOzaiaac6caaaaak8aabaqcLbqapeWaaeWaaOWdaeaajugab8qacaWGHbGaamyza8aadaahaaWcbeqaaKqzaeWdbiabgkHiTiaadwhacaGGVaGaamyyaaaacaqGJbGaae4BaiaabohacaWG2bGaaiilaiaadggacaWGLbWdamaaCaaaleqabaqcLbqapeGaeyOeI0IaamyDaiaac+cacaWGHbaaaiaabohacaqGPbGaaeOBaiaadAhacaGGSaGaam4uamaabmaak8aabaqcLbqapeGaamyDaaGccaGLOaGaayzkaaaacaGLOaGaayzkaaqcLbqacaGGSaaakeaajugab8aacaWGtbGaaiikaiaabwhacaGGPaGaaeiiamaaxacakeaajugab8qacaqG9aaal8aabeqaaKqzaeWdbiaabsgacaqGLbGaaeOzaiaab6caaaGaaeyEamaabmaak8aabaqcLbqapeGaaeyDaaGccaGLOaGaayzkaaqcLbqapaWaaCbiaOqaaKqzaeWdbiaab2daaSWdaeqabaqcLbqapeGaaeizaiaabwgacaqGMbGaaeOlaaaacaqGHbGaaeiBaiaab+gacaqGNbWaaeWaaOWdaeaajugab8qacaqGLbWdamaaCaaaleqabaqcLbqapeWaaSaaaSWdaeaajugab8qacaqG1baal8aabaqcLbqapeGaaeyyaaaaaaGaae4kamaakaaak8aabaqcLbqapeGaaeyza8aadaahaaWcbeqaaKqzaeWdbiaabkdacaqG1bGaae4laiaabggaaaGaaeylaiaabgdaaSqabaaakiaawIcacaGLPaaajugabiaab2cacaqGHbGaaeyza8aadaahaaWcbeqaaKqzaeWdbiaab2cacaqG1bGaae4laiaabggaaaWaaOaaaOWdaeaajugab8qacaqGLbWdamaaCaaaleqabaqcLbqapeGaaeOmaiaabwhacaqGVaGaaeyyaaaacaqGTaGaaeymaaWcbeaajugabiaabccacaqGGaGaaeiiaiaabccacaqGOaGaaeymaiaabcdacaqGPaaaaaa@B89E@

for ( u,v ) 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaaeaaaaaaaaa8qadaqadaWdaeaajugib8qacaWG1bGaaiilaiaadAhaaOGaayjkaiaawMcaaKqzGeGaeyicI48efv3ySLgznfgDOjdaryqr1ngBPrginfgDObcv39gaiuaacqWFDeIuk8aadaahaaWcbeqaaKqzGeWdbiaaikdaaaaaaa@4B77@ . Since S( 0,v )=( acosv,asinv,0 ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadofakmaabmaapaqaaKqzGeWdbiaaicdacaGGSaGaamODaaGccaGLOaGaayzkaaqcLbsacqGH9aqpkmaabmaapaqaaKqzGeWdbiaadggacaqGJbGaae4BaiaabohacaWG2bGaaiilaiaadggacaqGZbGaaeyAaiaab6gacaWG2bGaaiilaiaaicdaaOGaayjkaiaawMcaaaaa@4D99@ (as S( 0 )=0), MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadofajuaGdaqadaGcpaqaaKqzGeWdbiaaicdaaOGaayjkaiaawMcaaKqzGeGaeyypa0JaaGimaiaacMcacaGGSaaaaa@3EB8@

T a + = def. { S( u,v ) T a |u>0 }      (11) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadsfak8aadaqhaaWcbaqcLbsapeGaamyyaaWcpaqaaKqzGeWdbiabgUcaRaaak8aadaWfGaqaaKqzGeWdbiabg2da9aWcpaqabeaajugib8qacaWGKbGaamyzaiaadAgacaGGUaaaaOWaaiWaa8aabaqcLbsapeGaam4uaOWaaeWaa8aabaqcLbsapeGaamyDaiaacYcacaWG2baakiaawIcacaGLPaaajugibiabgIGiolaadsfak8aadaWgaaWcbaqcLbsapeGaamyyaaWcpaqabaqcLbsapeGaaiiFaiaadwhacqGH+aGpcaaIWaaakiaawUhacaGL9baacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGOaGaaeymaiaabgdacaqGPaaaaa@5B8F@

is Ta minus points on the boundary circle S (0,v), as mentioned in the introduction.

Let q: H + X Γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadghacaGG6aGaamisaOWdamaaCaaaleqabaqcLbsapeGaey4kaScaaiabgkziUkaadIfak8aadaWgaaWcbaqcLbsapeGaeu4KdCeal8aabeaaaaa@422C@ denote the quotient map that takes ( x,y ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaaeaaaaaaaaa8qadaqadaWdaeaajugib8qacaWG4bGaaiilaiaadMhaaOGaayjkaiaawMcaaaaa@3D11@ to its Γ -orbit ( x,y ) ~ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaaqaaaaaaaaaWdbmaabmaapaqaaKqzGeWdbiaadIhacaGGSaGaamyEaaGccaGLOaGaayzkaaaal8aabeqaaKqzGeWdbiaac6haaaaaaa@3F0A@ in (8) and define Φ: H + T a + MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiabfA6agjaacQdacaWGibGcpaWaaWbaaSqabeaajugib8qacqGHRaWkaaGaeyOKH4QaamivaOWdamaaDaaaleaajugib8qacaWGHbaal8aabaqcLbsapeGaey4kaScaaaaa@43AC@ by

Φ( x,y ) = def. S( log( y a +1 ),x )      (12) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiabfA6agPWaaeWaa8aabaqcLbsapeGaamiEaiaacYcacaWG5baakiaawIcacaGLPaaapaWaaCbiaeaajugib8qacqGH9aqpaSWdaeqabaqcLbsapeGaamizaiaadwgacaWGMbGaaiOlaaaacaWGtbGcdaqadaWdaeaajugib8qacaqGSbGaae4BaiaabEgakmaabmaapaqaa8qadaWcaaWdaeaajugib8qacaWG5baak8aabaqcLbsapeGaamyyaaaacqGHRaWkcaaIXaaakiaawIcacaGLPaaajugibiaacYcacaWG4baakiaawIcacaGLPaaacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGOaGaaeymaiaabkdacaqGPaaaaa@5AAE@

where we note that since y,a>0 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadMhacaGGSaGaamyyaiabg6da+iaaicdaaaa@3D0A@ , u=log( y a +1 )>0 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadwhacqGH9aqpcaqGSbGaae4BaiaabEgakmaabmaapaqaa8qadaWcaaWdaeaajugib8qacaWG5baak8aabaqcLbsapeGaamyyaaaacqGHRaWkcaaIXaaakiaawIcacaGLPaaajugibiabg6da+iaaicdacqGHshI3aaa@48E0@ indeed Φ( x,y ) T a + MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiabfA6agPWaaeWaa8aabaqcLbsapeGaamiEaiaacYcacaWG5baakiaawIcacaGLPaaajugibiabgIGiolaadsfak8aadaqhaaWcbaqcLbsapeGaamyyaaWcpaqaaKqzGeWdbiabgUcaRaaaaaa@4576@ by (11). Then Φ ~ : T a + X Γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaajugibabaaaaaaaaapeGaeuOPdyeal8aabeqaaKqzGeWdbiaac6haaaGaaiOoaiaadsfak8aadaqhaaWcbaqcLbsapeGaamyyaaWcpaqaaKqzGeWdbiabgUcaRaaacqGHsgIRcaWGybGcpaWaaSbaaSqaaKqzGeWdbiabfo5ahbWcpaqabaaaaa@4654@ is defined by the commutativity of the diagram

that is Φ ~ S( ( u,v ) ) = def. q( v,a( e u 1 ) )   MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcfa4aaCbiaOqaaKqzGeaeaaaaaaaaa8qacqqHMoGraSWdaeqabaqcLbsapeGaaiOFaaaacaWGtbqcfa4aaeWaaOWdaeaajuaGpeWaaeWaaOWdaeaajugib8qacaWG1bGaaiilaiaadAhaaOGaayjkaiaawMcaaaGaayjkaiaawMcaaKqba+aadaWfGaGcbaqcLbsapeGaeyypa0dal8aabeqaaKqzGeWdbiaadsgacaWGLbGaamOzaiaac6caaaGaaeyCaKqbaoaabmaak8aabaqcLbsapeGaamODaiaacYcacaWGHbqcfa4aaeWaaOWdaeaajugib8qacaWGLbqcfa4damaaCaaaleqabaqcLbsapeGaamyDaaaacqGHsislcaaIXaaakiaawIcacaGLPaaaaiaawIcacaGLPaaajugibiaacckacaGGGcaaaa@5AEE@ (13)

for u > 0. For ( x,y ) ~ =q( x,y ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaaqaaaaaaaaaWdbmaabmaapaqaaKqzGeWdbiaadIhacaGGSaGaamyEaaGccaGLOaGaayzkaaaal8aabeqaaKqzGeWdbiaac6haaaGaeyypa0JaamyCaOWaaeWaa8aabaqcLbsapeGaamiEaiaacYcacaWG5baakiaawIcacaGLPaaaaaa@45FC@ in XΓ and u=log( y a +1 )>0 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadwhacqGH9aqpcaqGSbGaae4BaiaabEgakmaabmaapaqaa8qadaWcaaWdaeaajugib8qacaWG5baak8aabaqcLbsapeGaamyyaaaacqGHRaWkcaaIXaaakiaawIcacaGLPaaajugibiabg6da+iaaicdaaaa@4683@ again, a( e u 1 )=a( y a +11 )=yp=S( u,x ) T a + MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadggakmaabmaapaqaaKqzGeWdbiaadwgak8aadaahaaWcbeqaaKqzGeWdbiaadwhaaaGaeyOeI0IaaGymaaGccaGLOaGaayzkaaqcLbsacqGH9aqpcaWGHbGcdaqadaWdaeaapeWaaSaaa8aabaqcLbsapeGaamyEaaGcpaqaaKqzGeWdbiaadggaaaGaey4kaSIaaGymaiabgkHiTiaaigdaaOGaayjkaiaawMcaaKqzGeGaeyypa0JaamyEaiabgkDiElaadchacqGH9aqpcaWGtbGcdaqadaWdaeaajugib8qacaWG1bGaaiilaiaadIhaaOGaayjkaiaawMcaaKqzGeGaeyicI4SaamivaOWdamaaDaaaleaajugib8qacaWGHbaal8aabaqcLbsapeGaey4kaScaaaaa@5E33@ such that Φ ~ ( p ) = def. q( x,y ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaajugibabaaaaaaaaapeGaeuOPdyeal8aabeqaaKqzGeWdbiaac6haaaGcdaqadaWdaeaajugib8qacaWGWbaakiaawIcacaGLPaaapaWaaCbiaeaajugib8qacqGH9aqpaSWdaeqabaqcLbsapeGaamizaiaadwgacaWGMbGaaiOlaaaacaWGXbGcdaqadaWdaeaajugib8qacaWG4bGaaiilaiaadMhaaOGaayjkaiaawMcaaaaa@4B6E@ , which shows that Φ ~ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaajugibabaaaaaaaaapeGaeuOPdyeal8aabeqaaKqzGeWdbiaac6haaaaaaa@3C27@ is surjective. Finally, Φ ~ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaajugibabaaaaaaaaapeGaeuOPdyeal8aabeqaaKqzGeWdbiaac6haaaaaaa@3C27@ is also injective and thus indeed is a bijection. Namely, if p j =S( u j , v j ) T a + ,j=1,2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadchak8aadaWgaaWcbaqcLbsapeGaamOAaaWcpaqabaqcLbsapeGaeyypa0Jaam4uaOWaaeWaa8aabaqcLbsapeGaamyDaOWdamaaBaaaleaajugib8qacaWGQbaal8aabeaajugib8qacaGGSaGaamODaOWdamaaBaaaleaajugib8qacaWGQbaal8aabeaaaOWdbiaawIcacaGLPaaajugibiabgIGiolaadsfak8aadaqhaaWcbaqcLbsapeGaamyyaaWcpaqaaKqzGeWdbiabgUcaRaaacaGGSaGaamOAaiabg2da9iaaigdacaGGSaGaaGOmaaaa@52AA@ , such that Φ ~ ( p 1 )= Φ ~ ( p 2 ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaajugibabaaaaaaaaapeGaeuOPdyeal8aabeqaaKqzGeWdbiaac6haaaGcdaqadaWdaeaajugib8qacaWGWbGcpaWaaSbaaSqaaKqzGeWdbiaaigdaaSWdaeqaaaGcpeGaayjkaiaawMcaaKqzGeGaeyypa0JcpaWaaCbiaeaajugib8qacqqHMoGraSWdaeqabaqcLbsapeGaaiOFaaaakmaabmaapaqaaKqzGeWdbiaadchak8aadaWgaaWcbaqcLbsapeGaaGOmaaWcpaqabaaak8qacaGLOaGaayzkaaqcLbsacqGHsislaaa@4D76@ ie. q( v 1 ,a( e u 1 1 ) )=q( v 2 ,a( e u 2 1 ) ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadghakmaabmaapaqaaKqzGeWdbiaadAhak8aadaWgaaWcbaqcLbsapeGaaGymaaWcpaqabaqcLbsapeGaaiilaiaadggakmaabmaapaqaaKqzGeWdbiaadwgak8aadaahaaWcbeqaaKqzGeWdbiaadwhak8aadaWgaaadbaqcLbsapeGaaGymaaadpaqabaaaaKqzGeWdbiabgkHiTiaaigdaaOGaayjkaiaawMcaaaGaayjkaiaawMcaaKqzGeGaeyypa0JaamyCaOWaaeWaa8aabaqcLbsapeGaamODaOWdamaaBaaaleaajugib8qacaaIYaaal8aabeaajugib8qacaGGSaGaamyyaOWaaeWaa8aabaqcLbsapeGaamyzaOWdamaaCaaaleqabaqcLbsapeGaamyDaOWdamaaBaaameaajugib8qacaaIYaaam8aabeaaaaqcLbsapeGaeyOeI0IaaGymaaGccaGLOaGaayzkaaaacaGLOaGaayzkaaaaaa@5CB7@ (by (13)), then v 1 = v 2 +2πn MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadAhak8aadaWgaaWcbaqcLbsapeGaaGymaaWcpaqabaqcLbsapeGaeyypa0JaamODaOWdamaaBaaaleaajugib8qacaaIYaaal8aabeaajugib8qacqGHRaWkcaaIYaGaeqiWdaNaamOBaaaa@44AF@ , a( e u 1 1 )=a( e u 2 1 ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadggakmaabmaapaqaaKqzGeWdbiaadwgak8aadaahaaWcbeqaaKqzGeWdbiaadwhak8aadaWgaaadbaqcLbsapeGaaGymaaadpaqabaaaaKqzGeWdbiabgkHiTiaaigdaaOGaayjkaiaawMcaaKqzGeGaeyypa0JaamyyaOWaaeWaa8aabaqcLbsapeGaamyzaOWdamaaCaaaleqabaqcLbsapeGaamyDaOWdamaaBaaameaajugib8qacaaIYaaam8aabeaaaaqcLbsapeGaeyOeI0IaaGymaaGccaGLOaGaayzkaaaaaa@4E42@ for some n(by (8)) u 1 = u 2 , cos v 1 =cos v 2 , sin v 1 =sin v 2 S( u 1 , v 1 )=S( u 2 , v 2 ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaad6gacqGHiiIZtuuDJXwAK1uy0HMmaeHbfv3ySLgzG0uy0HgiuD3BaGqbaiab=rsiAjaacIcacaWGIbGaamyEaiaacckacaGGOaGaaGioaiaacMcacaGGPaGaeyO0H4TaamyDaOWdamaaBaaaleaajugib8qacaaIXaaal8aabeaajugib8qacqGH9aqpcaWG1bGcpaWaaSbaaSqaaKqzGeWdbiaaikdaaSWdaeqaaKqzGeWdbiaacYcacaqGGcGaae4yaiaab+gacaqGZbGaamODaOWdamaaBaaaleaajugib8qacaaIXaaal8aabeaajugib8qacqGH9aqpcaqGJbGaae4BaiaabohacaWG2bGcpaWaaSbaaSqaaKqzGeWdbiaaikdaaSWdaeqaaKqzGeWdbiaacYcacaqGGcGaae4CaiaabMgacaqGUbGaamODaOWdamaaBaaaleaajugib8qacaaIXaaal8aabeaajugib8qacqGH9aqpcaqGZbGaaeyAaiaab6gacaWG2bGcpaWaaSbaaSqaaKqzGeWdbiaaikdaaSWdaeqaaKqzGeWdbiabgkDiElaadofakmaabmaapaqaaKqzGeWdbiaadwhak8aadaWgaaWcbaqcLbsapeGaaGymaaWcpaqabaqcLbsapeGaaiilaiaadAhak8aadaWgaaWcbaqcLbsapeGaaGymaaWcpaqabaaak8qacaGLOaGaayzkaaqcLbsacqGH9aqpcaWGtbGcdaqadaWdaeaajugib8qacaWG1bGcpaWaaSbaaSqaaKqzGeWdbiaaikdaaSWdaeqaaKqzGeWdbiaacYcacaWG2bGcpaWaaSbaaSqaaKqzGeWdbiaaikdaaSWdaeqaaaGcpeGaayjkaiaawMcaaaaa@8C7F@ (by (10)); ie. p 1 = p 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadchak8aadaWgaaWcbaqcLbsapeGaaGymaaWcpaqabaqcLbsapeGaeyypa0JaamiCaOWdamaaBaaaleaajugib8qacaaIYaaal8aabeaaaaa@3FB6@ .

Discussion

The BTZ vacuum (or ground state) X Γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqcLbsaqaaaaaaaaaWdbiaadIfajuaGpaWaaSbaaSqaaKqzGeWdbiabfo5ahbWcpaqabaaaaa@3A68@ 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.

Conclusion

The map Φ ~ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaajugibabaaaaaaaaapeGaeuOPdyeal8aabeqaaKqzGeWdbiaac6haaaaaaa@3C27@ 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 Φ ~ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqk0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaCbiaeaajugibabaaaaaaaaapeGaeuOPdyeal8aabeqaaKqzGeWdbiaac6haaaaaaa@3C27@ .

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.

Many thanks to Yaping Yuan for her careful and excellent assistance (as usual) in preparing this manuscript.

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. Hilbert D. Ueber Flachen von Constanter Gaussscher Krummung. Trans Am Math Soc.1901; 2: 87-99.
  6. Miyachi T, Soda J, False vacuum decay in a two-dimensional black hole spacetime. Phys Rev D. 2021; 103(8): 085009.
  7. Shkerin A, Sibiryakov S. Black hole induced false vacuum decay from first principles. Journal of High Energy Physics. 2021; 11(197): 1 - 69.
  8. 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.
  9. Dandoloff R, Saxena A, Jensen B, Geometry induced potential on a 2d-section of a wormhole: Catenoid, Physical Rev A. 2010; 87: 014102.