Manuscript I-B@1 · I-B-v1.tex · section · 5357688f

The full geometric input

Optional original-rod lapse attachment › The full geometric input · lines 1667–1727

I-B@1#eq:adm

Back to manuscript

Suppose a smooth Lorentzian metric and a scalar clock are supplied on a region where is timelike. Define the positive raw lapse

Supply original slice-harmonic rods and suppose the resulting coordinate map

is locally invertible, with inverse . Then the relational lapse is

In these relational coordinates the full metric has ADM form

Indeed, writing the metric as , set and ; completing the square gives (eq:adm), and inversion gives .

Thus a lapse alone does not specify the metric. Along a curve of constant rods, proper-time rate is

when the curve is timelike. Along a normal curve , it is . Constant rods and normal observers must not be silently identified.

If are required to satisfy Einstein–scalar equations, those equations are additional geometric input. Merely supplying does not impose them.

Displayed formulas in this passage

  • I-B@1#eq:adm · line 1695

  • unlabeled · line 1672

  • unlabeled · line 1682

  • unlabeled · line 1690

  • unlabeled · line 1712