iuvalclejan
- 14
- 1
How do you know this for sure? Maybe there are regions that are Euclidean and small and haven't been discovered. Certainly Euclidean spacetime is used as a tool for path integration in QFT. The point of the question is to see why is the necessity for timelike Killing vectors in either the Komar mass, or the 4-vector gotten by integrating T over a 3-surface of constant time and radius less than some r. The Euclidean spacetime is a reductio ad absurdum to show that stationarity does not require a negative square norm Killing vector.PeterDonis said:Spacetime always has Lorentzian signature, not Euclidean signature. I don't know what you're talking about here.
OK, you say this quite dogmatically. I don't see it at all. Stationary seems like it just requires a Killing vector in the direction we call time. It doesn't have to have negative squared norm as far as I could tell. Or maybe it does for the Komar integral, but not for the other integral of T.PeterDonis said:The squared norm of a Killing vector field does not have to be negative. I have never claimed that it did. Indeed, I gave you regions of Schwarzschild spacetime in which the squared norm of the Killing vector field in question is zero or positive.
But in order for a spacetime to be stationary, it has to have a Killing vector field that is timelike, i.e., negative squared norm. And a spacetime has to be stationary for the Komar mass to be well-defined. That is by definition. Again, if you want details on the rationale for the definition, you're going to need to consult GR textbooks where the Komar mass and its rationale is discussed in detail. (Or you could look up Komar's original paper, I suppose.)