Noether theorem and black hole's mass formula and entropy

The Noether charge formalism on the covariant phase space is used and developed. For a stationary axisymmetric black hole in vacuum general relativity, the mass formula is the vanishing Noether charge with respect to the Killing vector field ξKa = tKa + ΩHφKa on an entire Cauchy surface. Its differential form gives the first law of black hole mechanics. For a large class of vector fields, the central term of the reduced algebra near the horizon is proved to be zero by use of the null tetrad formalism. It implies that the microscopic interpretation of the black hole entropy based on the symmetry analysis proposed by Carlip is debatable