Extremal Metrics of Zeta Function Determinants on 4-Manfilds

In conformal geometry, the Sobolev inequality at a critical exponent has received much attention. In particular, the determination of the best constants has played a crucial role in the Yamabe problem. In dimension two the analogous problem deals with the Moser-Trudinger inequality: on a compact Riemann surface M2, there exists a constant c = c(M) so that f e47w2 < c(M) if f IVw12 < 1 and f w = 0. The connection of this inequality with geometry comes through the zeta functional determinant of the Laplacian as defined by Ray-Singer: for a Riemannian metric g, let 0 < A1 < A2 < ... be the spectrum