I'm following Witten's essay: What Every Physicist Should Know About String Theory . When applying path integral in 1D Witten mention:
Part of the process of evaluating the path integral in our quantum gravity model is to integrate over the metric on the one-manifold, modulo diffeomorphisms. But up to diffeomorphism, the one-manifold has only one invariant, its total length τ, which we will interpret as the elapsed proper time.
So my question is why this is true:
- Why is the proper time $\tau$ invariant?
- Why is it the the only invariant?