On the Noether charge form of the first law of black hole mechanics

The first law of black hole mechanics was derived by Wald in a general covariant theory of gravity for stationary variations around a stationary black hole. It is formulated in terms of Noether charges, and has many advantages. In this paper several issues are discussed to strengthen the validity of the Noether charge form of the first law. In particular, a gauge condition used in the derivation is justified. After that, we justify the generalization to non-stationary variations done by Iyer-Wald.