Kruskal extension across a simple static horizon
ID: kruskal-extension-across-a-simple-static-horizon
For , suppose and are analytic at , , and . The tortoise coordinate obeys the displayed expansion with analytic . For and in the right exterior, after fixing an additive constant. The inverse function theorem makes analytic in through zero, while has a finite nonzero radial coefficient there. This supplies the local analytic extension and its bifurcate Killing horizon.
New to topics? Read the docs here!