On the discrete version of the Kerr geometry

In this paper, a Kerr-type solution in the Regge calculus is considered. It is assumed that the discrete general relativity, the Regge calculus, is quantized within the path integral approach. The only consequence of this approach used here is the existence of a length scale at which edge lengths are loosely fixed, as considered in our earlier paper. In addition, we previously considered the Regge action on a simplicial manifold on which the vertices are coordinatized and the corresponding piecewise constant metric is introduced, and found that for the simplest periodic simplicial structure and in the leading order over metric variations between four-simplices, this reduces to a finite-difference form of the Hilbert–Einstein action. The problem of solving the corresponding discrete Einstein equations (classical) with a length scale (having a quantum nature) arises as the problem of determining the optimal background metric for the perturbative expansion generated by the functional integral. Using a one-complex-function ansatz for the metric, which reduces to the Kerr–Schild metric in the continuum, we find a discrete metric that approximates the continuum one at large distances and is nonsingular on the (earlier) singularity ring. The effective curvature [Formula: see text], including where [Formula: see text] (gravity sources), is analyzed with a focus on the vicinity of the singularity ring.

Integration of Differential Graded Manifolds

We consider the problem of integration of $L_\infty $-algebroids (differential non-negatively graded manifolds) to $L_\infty $-groupoids. We first construct a “big” Kan simplicial manifold (Fréchet or Banach) whose points are solutions of a (generalized) Maurer–Cartan equation. The main analytic trick in our work is an integral transformation sending the solutions of the Maurer–Cartan equation to closed differential forms. Following the ideas of Ezra Getzler, we then impose a gauge condition that cuts out a finite-dimensional simplicial submanifold. This “smaller” simplicial manifold is (the nerve of) a local Lie $\ell $-groupoid. The gauge condition can be imposed only locally in the base of the $L_\infty $-algebroid; the resulting local $\ell $-groupoids glue up to a coherent homotopy, that is, we get a homotopy coherent diagram from the nerve of a good cover of the base to the (simplicial) category of local $\ell $-groupoids. Finally, we show that a $k$-symplectic differential non-negatively graded manifold integrates to a local $k$-symplectic Lie $\ell$-groupoid; globally, these assemble to form an $A_\infty$-functor. As a particular case for $k=2$, we obtain integration of Courant algebroids.