Gauge equivalence in two-dimensional gravity.

Two-dimensional quantum gravity is identified as a second-class system which we convert into a first-class system via the Batalin-Fradkin (BF) procedure. Using the extended phase space method, we then formulate the theory in the most general class of gauges. The conformal gauge action suggested by David, Distler, and Kawai is derived from first principles. We find a local, light-cone gauge action whose Becchi-Rouet-Stora-Tyutin invariance implies Polyakov's curvature equation [partial derivative][sub [minus]][ital R]=[partial derivative][sub [minus]][sup 3][ital g][sub ++]=0, revealing the origin of the SL(2,[ital R]) Kac-Moody symmetry. The BF degree of freedom turns out to be dynamically active as the Liouville mode in the conformal gauge, while in the light-cone gauge the conformal degree of freedom plays that role. The inclusion of the cosmological constant term in both gauges is also considered.