Realization of Virasoro unitarizing measures on the set of Jordan curves

Airault, Helene; Bogachev, Vladimir

Comptes Rendus. Mathématique, Tome 336 (2003) no. 5, pp. 429-434.

Deux fonctions univalentes sont équivalentes, f∼g, si elles ont même dérivée Schwarzienne. La relation d'équivalence ∼ étant définie à une transformation homographique près, on obtient un isomorphisme entre la variété $𝒥$ des courbes de Jordan et la variété quotient $\widetilde{𝒮}$. Cela permet de déduire des champs de vecteurs sur $\widetilde{𝒮}$ et sur $𝒥$. On explicite l'action de ces champs de vecteurs sur les polynômes de Neretin. On étudie l'existence de mesures unitarisantes sur le quotient de l'ensemble des fonctions univalentes par cette relation d'équivalence et pour une telle mesure, on établit des relations d'orthogonalité entre les polynômes de Neretin. Ce travail est une réalisation concrète du quotient $\mathrm{Diff}\left({\mathrm{S}}^1\right)/\mathrm{SL}(2,\mathrm{R})$ de Airault et al., C. R. Acad. Sci. Paris, Ser. I 335 (2002) 621–626 sur l'espace complexe ${\mathrm{C}}^{\infty }$ produit d'une infinité dénombrable de $\mathrm{C}$.

Two univalent functions are equivalent, f∼g, if they have the same Schwarzian derivative. The equivalence relation ∼ being defined up to an homographic transformation, it gives an isomorphism between the manifold $𝒥$ of Jordan curves and the quotient manifold $\widetilde{𝒮}$. It permits to obtain vector fields on $\widetilde{𝒮}$ and on $𝒥$. The action of these vector fields on the Neretin polynomials is explicited. The existence of a unitarizing measure on the quotient manifold $\widetilde{𝒮}$ is discussed and for such a measure, orthogonality relations for the Neretin polynomials are obtained. This work is a concrete realization on the complex space ${\mathrm{C}}^{\infty }$ of the abstract quotient $\mathrm{Diff}\left({\mathrm{S}}^1\right)/\mathrm{SL}(2,\mathrm{R})$ considered in Airault et al., C. R. Acad. Sci. Paris, Ser. I 335 (2002) 621–626.

[1] Airault, H. Mesure unitarisante; algèbre de Heisenberg, algèbre de Virasoro, C. R. Acad. Sci. Paris, Ser. I, Volume 334 (2002), pp. 787-792

[2] Airault, H.; Malliavin, P. Unitarizing probability measures for representations of Virasoro algebra, J. Math. Pures Appl., Volume 80 (2001) no. 6, pp. 627-667

[3] Airault, H.; Malliavin, P.; Thalmaier, A. Support of Virasoro unitarizing measures, C. R. Acad. Sci. Paris, Ser. I, Volume 335 (2002), pp. 621-626

[4] Airault, H.; Ren, J. An algebra of differential operators and generating functions on the set of univalent functions, Bull. Sci. Math. (2002)

[5] Bogachev, V. Cours à l'Université de Pise. Differentiable measures and the Malliavin calculus (Mai 1995), Scuola Normale Superiore, Pisa, J. Math. Sci., Volume 87 (1997) no. 4, pp. 3577-3731

[6] Kirillov, A.A. Geometric approach to discrete series of unireps for Virasoro, J. Math. Pures Appl., Volume 77 (1998), pp. 735-746

[7] Lehto, O. Univalent Functions and Teichmüller Spaces, Graduate Texts in Math., 109, Springer-Verlag, 1987

[8] Neretin, Yu.A. Holomorphic extensions of representations of the group of diffeomorphisms of the circle, Math. USSR-Sb., Volume 67 (1990) no. 1, pp. 75-96