H. Sato introduced a Schwarzian derivative of a contactomorphism of three-dimensional Euclidean space and with T. Ozawa described its basic properties. In this note their construction is extended to all odd dimensions and to non-flat contact projective structures. The contact projective Schwarzian derivative of a contact projective structure is defined to be a cocycle of the contactomorphism group measuring the extent to which a contactomorphism fails to be an automorphism of the contact projective structure. For the flat model contact projective structure this gives a contact Schwarzian derivative associating to a contactomorphism of Euclidean space a tensor which vanishes if and only if the given contactomorphism is an element of the linear symplectic group acting by linear fractional transformations.
We study the Schwarzian derivative from a variational viewpoint. Firstly we show that the Schwarzian derivative defines a first integral of the Euler--Lagrange equation of a second order Lagrangian. Secondly, we show that the Schwarzian derivative itself is the Euler--Lagrange operator for an appropriately chosen class of variations.
Let $(M,g)$ be a pseudo-Riemannian manifold. We propose a new approach for defining the conformal Schwarzian derivatives. These derivatives are 1-cocycles on the group of diffeomorphisms of $M$ related to the modules of linear differential operators. As operators, these derivatives do not depend on the rescaling of the metric $g.$ In particular, if the manifold $(M,g)$ is conformally flat, these derivatives vanish on the conformal group $\Og(p+1,q+1),$ where $\mathrm{dim} (M)=p+q.$ This work is a continuation of [1,4] where the Schwarzian derivative was defined on a manifold endowed with a pro…
The main topic of this paper is to show that in the 3-dimensional Minkowski spacetime, the torsion of a null curve is equal to the Schwarzian derivative of a certain function appearing in a description of the curve. As applications, we obtain descriptions of the slant helices, and null curves for which the torsion is of the form $τ=-2λs$, $s$ being the pseudo-arc parameter and $λ=\mathop{\rm constant}\not=0$.
We introduce a 1-cocycle on the group of diffeomorphisms Diff$(M)$ of a smooth manifold $M$ endowed with a projective connection. This cocycle represents a nontrivial cohomology class of $\Diff(M)$ related to the Diff$(M)$-modules of second order linear differential operators on $M$. In the one-dimensional case, this cocycle coincides with the Schwarzian derivative, while, in the multi-dimensional case, it represents its natural and new generalization. This work is a continuation of \cite{bo} where the same problems have been treated in one-dimensional case.
We compare two relationships between quadratic differentials and measured geodesic laminations on hyperbolic Riemann surfaces (by foliations or complex projective structures). Each yields a homeomorphism $\ML(S) \to Q(X)$ for any conformal structure $X$ on a compact surface $S$. The main result is that these maps are nearly the same, differing by a multiplicative factor of -2 and an error term of lower order than the maps themselves (which we bound explicitly). As an application we show that the Schwarzian derivative of a $\CP^1$ structure with Fuchsian holonomy is close to a $2π$-integral Jen…
Thurston, in 1986, discovered that the Schwarzian derivative has mysterious properties similar to the curvature on a manifold. After his work, there are several approaches to develop this notion on Riemannian manifolds. Here, a tensor field is identified in the study of global conformal diffeomorphisms on Finsler manifolds as a natural generalization of the Schwarzian derivative. Then, a natural definition of a Mobius mapping on Finsler manifolds is given and its properties are studied. In particular, it is shown that Mobius mappings are mappings that preserve circles and vice versa. Therefore…
R. Schwartz's inequality provides an upper bound for the Schwarzian derivative of a parameterization of a circle in the complex plane and on the potential of Hill's equation with coexisting periodic solutions. We prove a discrete version of this inequality and obtain a version of the planar Blaschke-Santalo inequality for not necessarily convex polygons. We consider a centro-affine analog of Lükő's inequality for the average squared length of a chord subtending a fixed arc length of a curve -- the role of the squared length played by the area -- and prove that the central ellipses are local mi…
Let $(M,F)$ be a Finsler manifold. We construct a 1-cocycle on $\Diff(M)$ with values in the space of differential operators acting on sections of some bundles, by means of the Finsler function $F.$ As an operator, it has several expressions: in terms of the Chern, Berwald, Cartan or Hashiguchi connection, although its cohomology class does not depend on them. This cocycle is closely related to the conformal Schwarzian derivatives introduced in our previous work. The second main result of this paper is to discuss some properties of the conformally invariant quantization map by means of a Sazak…
Let $M$ be either a projective manifold $(M,Pi)$ or a pseudo-Riemannian manifold $(M,g).$ We extend, intrinsically, the projective/conformal Schwarzian derivatives that we have introduced recently, to the space of differential operators acting on symmetric contravariant tensor fields of any degree on $M.$ As operators, we show that the projective/conformal Schwarzian derivatives depend only on the projective connection $Pi$ and the conformal class $[g]$ of the metric, respectively. Furthermore, we compute the first cohomology group of $Vect(M)$ with coefficients into the space of symmetric con…
Given a geometrically finite hyperbolic cone-manifold, with the cone singularity sufficiently short, we construct a one parameter family of cone-manifolds decreasing the cone angle to zero. We also control the geometry of this one parameter family via the Schwarzian derivative of the projective boundary and the length of closed geodesics.
For analytic functions in the unit disk, general bounds on the Schwarzian derivative in terms of Nehari functions are shown to imply uniform local univalence and in some cases finite and bounded valence. Similar results are obtained for the Weierstrass--Enneper lifts of planar harmonic mappings to their associated minimal surfaces. Finally certain classes of harmonic mappings are shown to have finite Schwarzian norm.
The first group of differentiable cohomology of $\Diff(S^1)$, vanishing on the Möbius subgroup $PSL(2,R)\subset\Diff(S^1)$, with coefficients in modules of linear differential operators on $S^1$ is calculated. We introduce three non-trivial $PSL(2,R)$-invariant 1-cocycles on $\Diff(S^1)$ generalizing the Schwarzian derivative.
The flag curvature of the Numata Finsler structures is shown to admit a nontrivial prolongation to the one-dimensional case, revealing an unexpected link with the Schwarzian derivative of the diffeomorphisms associated with these Finsler structures.
This paper goes some way in explaining how to construct an integrable hierarchy of flows on the space of conformally immersed tori in n-space. These flows have first occured in mathematical physics -- the Novikov-Veselov and Davey-Stewartson hierarchies -- as kernel dimension preserving deformations of the Dirac operator. Later, using spinorial representations of surfaces, the same flows were interpreted as deformations of surfaces in 3- and 4-space preserving the Willmore energy. This last property suggest that the correct geometric setting for this theory is Moebius invariant surface geometr…
We start with introducing one of the most fundamental notions of differential geometry, Manifolds. We present some properties and constructions such as submanifolds, tangent spaces and the tangent map. Then we continue with introducing the real and complex projective space, and describe them from some different points of view. This part is finished by showing that CP^n is a Grassmannian manifold. At this stage we are ready to present the main subject of this thesis. The Schwarzian curvature, usually seems to be an accidental by-product of the calculations, can be seen as a geometric interpreta…
We extend the notion of a Thomas projective connection (a projective equivalence class of linear connections) for supermanifolds. As a by-product, we arrive at a generalisation of the multidimensional Schwarzian derivative for the super case which was previously unknown. This is combined with our previous construction of a Laplacian on the algebra of densities for a projectively connected manifold and allows us to study Batalin-Vilkovisky type operators and the relation between projective connections and odd Poisson structures.
For a nonconstant holomorphic map between projective Riemann surfaces with conformal metrics, we consider invariant Schwarzian derivatives and projective Schwarzian derivatives of general virtual order. We show that these two quantities are related by the "Schwarzian derivative" of the metrics of the surfaces (at least for the case of virtual orders 2 and 3). As an application, we give univalence criteria for a meromorphic function on the unit disk in terms of the projective Schwarzian derivative of virtual order 3.
To a complex projective structure $Σ$ on a surface, Thurston associates a locally convex pleated surface. We derive bounds on the geometry of both in terms of the norms $\|ϕ_Σ\|_\infty$ and $\|ϕ_Σ\|_2$ of the quadratic differential $ϕ_Σ$ of $Σ$ given by the Schwarzian derivative of the associated locally univalent map. We show that these give a unifying approach that generalizes a number of important, well known results for convex cocompact hyperbolic structures on 3-manifolds, including bounds on the Lipschitz constant for the nearest-point retraction and the length of the bending lamination.…
We study various notions of the Schwarzian derivative for contact mappings in the Heisenberg group $\mathbb{H}_1$ and introduce two definitions: (1) the CR Schwarzian derivative based on the conformal connection approach studied by Osgood and Stowe and, recently, by Son; (2) the classical type Schwarzian refering to the well-known complex analytic definition. In particular, we take into consideration the effect of conformal rigidity and the limitations it imposes. Moreover, we study the kernels of both Schwarzians and the cocycle conditions. Our auxiliary results include a characterization of …
We consider the standard contact structure on the supercircle, S^{1|1}, and the supergroups E(1|1), Aff(1|1) and SpO(2|1) of contactomorphisms, defining the Euclidean, affine and projective geometry respectively. Using the new notion of (p|q)-transitivity, we construct in synthetic fashion even and odd invariants characterizing each geometry, and obtain an even and an odd super cross-ratios. Starting from the even invariants, we derive, using a superized Cartan formula, one-cocycles of the group of contactomorphisms, K(1), with values in tensor densities F_λ(S^{1|1}). The even cross-ratio yiel…
A general criterion in terms of the Schwarzian derivative is given for global univalence of the Weierstrass--Enneper lift of a planar harmonic mapping. Results on distortion and boundary regularity are also deduced. Examples are given to show that the criterion is sharp. The analysis depends on a generalized Schwarzian defined for conformal metrics and on a Schwarzian introduced by Ahlfors for curves. Convexity plays a central role.
In the present paper we consider the problem of local equivalence of second order ODEs which are cubic in second derivative under the action of the pseudogroup of contact transformations. We show how it may be reduced to the equivalence problem of 2-webs in $\mathbb{R}^3$ under the action of finite-dimensional group, admitted by the associated second order equation.
In the present paper we establish the necessary and sufficient conditions for two ordinary differential equations of the form $y"{}^2+A(x,y,y') y"+B(x,y,y')=0$ to be equivalent under the action of the pseudogroup of contact transformations. These conditions are formulated in terms of integrals of some one-dimensional distributions.
This is a survey of the theory of complex projective (CP^1) structures on compact surfaces. After some preliminary discussion and definitions, we concentrate on three main topics: (1) Using the Schwarzian derivative to parameterize the moduli space (2) Thurston's parameterization of the moduli space using grafting (3) Holonomy representations of CP^1 structures We also discuss some results comparing the two parameterizations of the space of projective structures and relating these parameterizations to the holonomy map.
Combining the definition of Schwarzian derivative for conformal mappings between Riemannian manifolds given by Osgood and Stowe with that for parametrized curves in Euclidean space given by Ahlfors, we establish injectivity criteria for holomorphic curves $ϕ:\mathbb{D}\to\mathbb{C}^n$. The result can be considered a generalization of a classical condition for univalence of Nehari.
Lagrangian contact supersymmetries (depending on derivatives of arbitrary order) are treated in very general setting. The cohomology of the variational bicomplex on an arbitrary graded manifold and the iterated cohomology of a generic nilpotent contact supersymmetry are computed. In particular, the first variational formula and conservation laws for Lagrangian systems on graded manifolds using contact supersymmetries are obtained.
