Mechanics of rotating isolated horizons

Black hole mechanics was recently extended by replacing the more commonly used event horizons in stationary space-times with isolated horizons in more general space-times (which may admit radiation arbitrarily close to black holes). However, so far the detailed analysis has been restricted to nonrotating black holes (although it incorporated arbitrary distortion, as well as electromagnetic, Yang-Mills, and dilatonic charges). We now fill this gap by first introducing the notion of isolated horizon angular momentum and then extending the first law to the rotating case.