Universal Index Theorem on Möb(S1)∖Diff+(S1)Möb(S1)∖Diff+(S1)

By conformal welding, there is a pair of univalent functions (f,g)(f,g) associated to every point of the complex Kähler manifold Möb(S1)∖Diff+(S1). For every integer n≥1n≥1, we generalize the definition of Faber polynomials to define some canonical bases of holomorphic (1−n)(1−n)- and nn-differentials associated to the pair (f,g)(f,g). Using these bases, we generalize the definition of Grunsky matrices to define matrices whose columns are the coefficients of the differentials with respect to standard bases of differentials on the unit disc and the exterior unit disc. We derive some identities among these matrices which are reminiscent of the Grunsky equality. By using these identities, we showed that we can define the Fredholm determinants of the period matrices of holomorphic nn-differentials NnNn, which are the Gram matrices of the canonical bases of holomorphic nn-differentials with respect to the inner product given by the hyperbolic metric. Finally we proved that detNn=(detN1)6n2−6n+1detNn=(detN1)6n2−6n+1 and ∂∂̄logdetNn is −(6n2−6n+1)/(6πi) of the Weil–Petersson symplectic form.