Weil-Petersson Teichmüller space. II: Smoothness of flow curves of H^32 -vector fields

DOI10.1016/J.AIM.2019.106891MaRDI QIDQ2007745zbMATH OpenOpenAlexFDO

Authors Yuliang Shen, Shuan Tang

Publication date 22 November 2019

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1801.10361

zbMATH Keywords

non-smooth flowquasi-symmetric homeomorphismquasiconformal mappingSobolev classuniversal Teichmüller spaceWeil-Petersson Teichmüller space

Mathematics Subject Classification ID

Quasiconformal mappings in the complex plane (30C62) Teichmüller theory for Riemann surfaces (30F60) Bloch spaces (30H30) BMO-spaces (30H35) Moduli of Riemann surfaces, Teichmüller theory (complex-analytic aspects in several variables) (32G15) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35)

Abstract: Given a continuous vector field $lambda(t,cdot)$ of Sobolev class $H^{frac32}$ on the unit circle $S^1$, the flow maps $eta=g(t,cdot)$ of the differential equation ${\displaystyle }$ cases frac{deta}{dt}=lambda(t, eta)\ eta(0,zeta)=zeta endcases ${\displaystyle }$ are known to be quasisymmetric homeomorphisms. Very recently, Gay-Balmaz-Ratiu [GR] conjectured that the flow curve $g(t,cdot)$ is in the Weil-Petersson class WP$(S^1)$ and is continuously differentiable with respect to the Hilbert manifold structure of WP$(S^1)$ introduced by Takhtajan-Teo [TT]. The first assertion had already been demonstrated in our previous paper [Sh2]. In this sequel to [Sh2], we will continue to deal with the Weil-Petersson class WP$(S^1)$ and completely solve this conjecture in the affirmative.

Review text

The universal Teichmüller space \(T = \text{QS}(S^1)/\text{Mob}(S^1)\) is the group of quasisymmetric homeomorphisms of the unit circle \(S^1\) up to a normalization by a Möbius map. The theory of Ahlfors-Bers shows that \(T\) has a structure of a complex Banach manifold, and any finite-dimensional Teichmüller space admits a holomorphic embedding in \(T\). The tangent space of \(T\) was shown to comprise continuous vector fields on \(S^1\) that are in a classical Zygmund space \(\Lambda_\ast\) with an additional normalization, by \textit{H. M. Reimann} [Invent. Math. 33, 247--270 (1976; Zbl 0328.30019)]. However, the formal formula for the Weil-Petersson metric on \(T\), proposed by \textit{S. Nag} and \textit{A. Verjovsky} [Commun. Math. Phys. 130, No. 1, 123--138 (1990; Zbl 0705.32013)], converges only for those vector fields of Sobolev class \(H^{3/2}\). To overcome this difficulty, \textit{L. A. Takhtajan} and \textit{L.-P. Teo} [Weil-Petersson metric on the universal Teichmüller space. Providence, RI: American Mathematical Society (AMS) (2006; Zbl 1243.32010)] equipped \(T\) with a different complex Hilbert manifold structure where the formula for the Weil-Petersson metric converges. In the new topology, \(T\) has uncountably many connected components, and the connected component \(T_0\) containing the identity map is of special interest, since it is the Weil-Petersson completion of the (normalized) smooth orientation-preserving diffeomorphisms of \(S^1\). It is known that the tangent space of \(T_0\) at the identity consists of precisely the (normalized) \(H^{3/2}\) vector fields on \(S^1\). If we write \(T_0 = \text{WP}(S^1)/\text{Mob}(S^1)\), it is an interesting (and open) problem to give an intrinsic characterization of those quasisymmetric maps of \(S^1\) that lie in \(\text{WP}(S^1)\). Previous work of the first author [Am. J. Math. 140, No. 4, 1041--1074 (2018; Zbl 1421.30059)] shows that flows of \(H^{3/2}\)-vector fields on \(S^1\) always lie in \(\text{WP}(S^1)\). That is, if \(\lambda \in C^0([0,M], H^{3/2}(S^1))\) then the solution \(\eta(t, x)\) to the differential equation \[ \begin{cases} \frac{d\eta}{dt}=\lambda(t, \eta(t,x))\\ \eta(0,x)=x \end{cases} \] satisfies the property that \(\eta(t, \cdot) \in\text{WP}(S^1)\) for each \(t\in [0,M]\). In this paper, the authors prove that the mapping \(t\mapsto \eta(t, \cdot)\) is in fact continuously differentiable under the Hilbert manifold structure of Takhatajan-Teo. This proves a conjecture of \textit{F. Gay-Balmaz} and \textit{T. S. Ratiu} [Adv. Math. 279, 717--778 (2015; Zbl 1320.32018]. Note that \(3/2\) is the critical exponent for the Sobolev embedding theorem in dimension \(1\); for any \(s>3/2\), the group \(\text{Diff}_+^s(S^1)\) of \(H^s\)-diffeomorphisms of \(S^1\) is a Hilbert manifold modelled on the vector fields of class \(H^s\) on \(S^1\), and contains exactly the flows of the time-dependent vector fields \(\lambda \in C^0([0,M], H^{s}(S^1))\).

Recommendations

• On flows of \(H ^{3/2}\)-vector fields on the circle
• Weil-Petersson Teichmüller space
• On the non-smoothness of the vector fields for the dynamically invariant Beltrami coefficients
• Rigidity of groups of circle diffeomorphisms and Teichmüller spaces
• Quasi-conformal harmonic diffeomorphism and the universal Teichmüller space
• On quantization of universal Teichmüller space
• Universal Teichmüller space as a non-trivial example of infinite-dimensional complex manifolds
• Kobayashi's and Teichmüller's metrics and Bers complex manifold structure on circle diffeomorphisms
• The geometry of the universal Teichmüller space and the Euler-Weil-Petersson equation
• Teichmüller space of circle diffeomorphisms with Hölder continuous derivatives

Cites work

• A Hilbert manifold structure on the Weil–Petersson class Teichmüller space of bordered Riemann surfaces
• An integral operator induced by a Zygmund function
• Conformally natural extension of homeomorphisms of the circle
• Convergence of the Weil–Petersson metric on the Teichmüller space of bordered Riemann surfaces
• Diff(S\({}^ 1)\) and the Teichmüller spaces
• Eigenvalues of quasisymmetric automorphisms determined by VMO functions
• Estimates for ( &   8706;- μ∂) -1 and Calderon's Theorem on the Cauchy Integral
• Extensions with bounded ∂-derivative
• Fourier coefficients of Zygmund functions and analytic functions with quasiconformal deformation extensions
• scientific article; zbMATH DE number 5165371 (Why is no real title available?)
• scientific article; zbMATH DE number 3736133 (Why is no real title available?)
• scientific article; zbMATH DE number 41048 (Why is no real title available?)
• scientific article; zbMATH DE number 1126792 (Why is no real title available?)
• scientific article; zbMATH DE number 850742 (Why is no real title available?)
• scientific article; zbMATH DE number 1399773 (Why is no real title available?)
• scientific article; zbMATH DE number 3223850 (Why is no real title available?)
• Integrably asymptotic affine homeomorphisms of the circle and Teichmüller spaces
• Kähler geometry of the infinite-dimensional homogeneous space \(M=Diff_+(S^ 1)/Rot(S^ 1)\)
• Kähler structures on K-orbits of the group of diffeomorphisms of the circle
• Locally univalent functions, VMOA and the Dirichlet space
• On flows of \(H ^{3/2}\)-vector fields on the circle
• On the tangent space to the BMO-Teichmüller space
• On the Tangent Space to the Universal Teichmuller Space
• Ordinary differential equations and quasiconformal mappings
• Quasiconformal deformations and mappings in \(\mathbb R^n\)
• Quasiconformal Mappings and Chord-Arc Curves
• Smooth functions
• Some notes on quasisymmetric flows of Zygmund vector fields
• Symmetric Structures on a Closed Curve
• Teichmüller theory and the universal period mapping via quantum calculus and the \(H^{1/2}\) space on the circle
• Teichons: solitonlike geodesics on universal Teichmüller space
• The boundary correspondence under quasiconformal mappings
• The geometry of the universal Teichmüller space and the Euler-Weil-Petersson equation
• Weil-Petersson and little Teichmüller spaces on the real line
• Weil-Petersson metric on the universal Teichmüller space
• Weil-Petersson Teichmüller space
• Weil-Petersson Teichmüller space. III: Dependence of Riemann mappings for Weil-Petersson curves
• Zygmund functions on the real line and quasiconformal deformations

Cited in

(25)

• Euler-Arnold equations and Teichmüller theory
• On the non-smoothness of the vector fields for the dynamically invariant Beltrami coefficients
• Teichmüller space of circle diffeomorphisms with Zygmund smooth
• Some notes on quasisymmetric flows of Zygmund vector fields
• The VMO-Teichmüller space and the variant of Beurling-Ahlfors extension by heat kernel
• Corrigendum to: ``Weil-Petersson Teichmüller space. II: Smoothness of flow curves of \(H^{\frac{3}{2}}\)-vector fields
• The p-Weil-Petersson Teichmüller space and the quasiconformal extension of curves
• Large deviations of Schramm-Loewner evolutions: a survey
• Rigidity of groups of circle diffeomorphisms and Teichmüller spaces
• Weil-Petersson Teichmüller space revisited
• Weil-Petersson Teichmüller space. III: Dependence of Riemann mappings for Weil-Petersson curves
• On flows of \(H ^{3/2}\)-vector fields on the circle
• The geometry of the universal Teichmüller space and the Euler-Weil-Petersson equation
• On Teichmüller space of circle diffeomorphisms with Hölder continuous derivative
• On the Tangent Space to the Universal Teichmuller Space
• Weil-Petersson Teichmüller space
• Some aspects of Weil-Petersson geometry of Teichmüller spaces
• Weil-Petersson and little Teichmüller spaces on the real line
• VMO-Teichmüller space on the real line
• Zygmund vector fields, Hilbert transform and Fourier coefficients in shear coordinates
• Integrable Teichmüller space
• The Loewner energy via the renormalised energy of moving frames
• Parametrization of the p-Weil-Petersson curves: holomorphic dependence
• Integral averages forms and harmonic Beltrami differentials
• A note on generalized Grunsky coefficients

This page was built for publication: Weil-Petersson Teichmüller space. II: Smoothness of flow curves of \(H^{\frac{3}{2}} \)-vector fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2007745)