The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope

Any commutative algebra equipped with a derivation may be turned into a Lie algebra under the Wronskian bracket. This provides an entirely new sort of a universal envelope for a Lie algebra, the Wronskian envelope. The main result of this paper is the characterization of those Lie algebras which embed into their Wronskian envelope as Lie algebras of vector fields on a line. As a consequence we show that, in contrast to the classical situation, free Lie algebras almost never embed into their Wronskian envelope.     

Normal forms and invariants for 2-dimensional almost-Riemannian structures

2-Dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. Generically, there are three types of points: Riemannian points where the two vector fields are linearly independent, Grushin points where the two vector fields are collinear but their Lie bracket is not, and tangency points where the two vector fields and their Lie bracket are collinear and the missing direction is obtained with one more bracket.In this paper we consider the problem of finding normal forms and functional invariants at each type of point. We also require that functional invariants are “complete” in the sense that they permit to recognize locally isometric structures.The problem happens to be equivalent to the one of finding a smooth canonical parameterized curve passing through the point and being transversal to the distribution.For Riemannian points such that the gradient of the Gaussian curvature K is different from zero, we use the level set of K as support of the parameterized curve. For Riemannian points such that the gradient of the curvature vanishes (and under additional generic conditions), we use a curve which is found by looking for crests and valleys of the curvature. For Grushin points we use the set where the vector fields are parallel.Tangency points are the most complicated to deal with. The cut locus from the tangency point is not a good candidate as canonical parameterized curve since it is known to be non-smooth. Thus, we analyse the cut locus from the singular set and we prove that it is not smooth either. A good candidate appears to be a curve which is found by looking for crests and valleys of the Gaussian curvature. We prove that the support of such a curve is uniquely determined and has a canonical parametrization.     

Lipschitz Classification of Almost-Riemannian Distances on Compact Oriented Surfaces

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We consider the Carnot–Carathéodory distance canonically associated with an almost-Riemannian structure and study the problem of Lipschitz equivalence between two such distances on the same compact oriented surface. We analyze the generic case, allowing in particular for the presence of tangency points, i.e., points where two generators of the distribution and their Lie bracket are linearly dependent. The main result of the paper provides a characterization of the Lipschitz equivalence class of an almost-Riemannian distance in terms of a labeled graph associated with it.     

On the Semisimplicity of the Outer Derivations of Monomial Algebras

We show that the Hochschild cohomology of a monomial algebra over a field of characteristic zero vanishes from degree two if the first Hochschild cohomology is semisimple as a Lie algebra. We also prove that first Hochschild cohomology of a radical square zero algebra is reductive as a Lie algebra. In the case of the multiple loops quiver, we obtain the Lie algebra of square matrices of size equal to the number of loops.     

Lipschitz Continuous Viscosity Solutions for a Class of Fully Nonlinear Equations on Lie Groups

In this paper, we prove existence and uniqueness of Lipschitz continuous viscosity solutions for Dirichlet problems involving a class a fully non-linear operators on Lie groups. In particular, we consider the elementary symmetric functions of the eigenvalues of the Hessian built with left-invariant vector fields.     

Dispersive deformations of the Hamiltonian structure of Euler’s equations

Euler’s equations for a two-dimensional fluid can be written in the Hamiltonian form, where the Poisson bracket is the Lie–Poisson bracket associated with the Lie algebra of divergence-free vector fields. For the two-dimensional hydrodynamics of ideal fluids, we propose a derivation of the Poisson brackets using a reduction from the bracket associated with the full algebra of vector fields. Taking the results of some recent studies of the deformations of Lie–Poisson brackets of vector fields into account, we investigate the dispersive deformations of the Poisson brackets of Euler’s equation: we show that they are trivial up to the second order.     

Two-dimensional almost-Riemannian structures with tangency points

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We study the relation between the topological invariants of an almost-Riemannian structure on a compact oriented surface and the rank-two vector bundle over the surface which defines the structure. We analyse the generic case including the presence of tangency points, i.e. points where two generators of the distribution and their Lie bracket are linearly dependent. The main result of the paper provides a classification of oriented almost-Riemannian structures on compact oriented surfaces in terms of the Euler number of the vector bundle corresponding to the structure. Moreover, we present a Gauss–Bonnet formula for almost-Riemannian structures with tangency points.     

Frobenius-type theorems for Lipschitz distributions

We generalize the classical Frobenius Theorem to distributions that are spanned by locally Lipschitz vector fields. The various versions of the involutivity conditions are extended by means of set-valued Lie derivatives—in particular, set-valued Lie brackets—and set-valued exterior derivatives. A PDEs counterpart of these Frobenius-type results is investigated as well.     

First derivative of the period function with applications

Given a centre of a planar differential system, we extend the use of the Lie bracket to the determination of the monotonicity character of the period function. As far as we know, there are no general methods to study this function, and the use of commutators and Lie bracket was restricted to prove isochronicity. We give several examples and a special method which simplifies the computations when a first integral is known.     

The Ricci flow in a class of solvmanifolds

In this paper, we study the Ricci flow of solvmanifolds whose Lie algebra has an abelian ideal of codimension one, by using the bracket flow. We prove that solutions to the Ricci flow are immortal, the ω-limit of bracket flow solutions is a single point, and that for any sequence of times there exists a subsequence in which the Ricci flow converges, in the pointed topology, to a manifold which is locally isometric to a flat manifold. We give a functional which is non-increasing along a normalized bracket flow that will allow us to prove that given a sequence of times, one can extract a subsequence converging to an algebraic soliton, and to determine which of these limits are flat. Finally, we use these results to prove that if a Lie group in this class admits a Riemannian metric of negative sectional curvature, then the curvature of any Ricci flow solution will become negative in finite time.     

Convex topological algebras via linear vector fields and Cuntz algebras

A realization by linear vector fields is constructed for any Lie algebra which admits a biorthogonal system and for its any suitable representation. The embedding into Lie algebras of linear vector fields is in analogue to the classical Jordan—Schwinger map. A number of examples of such Lie algebras of linear vector fields is computed. In particular, we obtain examples of the twisted Heisenberg-Virasoro Lie algebra and the Schrödinger-Virasoro Lie algebras among others. More generally, we construct an embedding of an arbitrary locally convex topological algebra into the Cuntz algebra.     

Global analytic and Gevrey hypoellipticity of sublaplacians under Diophantine conditions

In this paper we consider the problem of global Gevrey and analytic regularity for a class of partial differential operators on a torus in the form of a sum of squares of vector fields, which may not satisfy the bracket condition. We show that these operators are globally Gevrey or analytic hypoelliptic on the torus if and only if the coefficients satisfy certain Diophantine approximation properties.

     

Hochschild cohomology and Atiyah classes

In this paper we prove that on a smooth algebraic variety the HKR-morphism twisted by the square root of the Todd genus gives an isomorphism between the sheaf of poly-vector fields and the sheaf of poly-differential operators, both considered as derived Gerstenhaber algebras. In particular we obtain an isomorphism between Hochschild cohomology and the cohomology of poly-vector fields which is compatible with the Lie bracket and the cupproduct. The latter compatibility is an unpublished result by Kontsevich.Our proof is set in the framework of Lie algebroids and so applies without modification in much more general settings as well.     

Differential equations in vertex algebras and simple modules for the Lie algebra of vector fields on a torus

We study irreducible representations for the Lie algebra of vector fields on a 2-dimensional torus constructed using the generalized Verma modules. We show that for a certain choice of parameters these representations remain irreducible when restricted to a loop subalgebra in the Lie algebra of vector fields. We prove this result by studying vertex algebras associated with the Lie algebra of vector fields on a torus and solving non-commutative differential equations that we derive using the vertex algebra technique.     

Fano contact manifolds and nilpotent orbits

A contact structure on a complex manifold M is a corank 1 subbundle F of T_M such that the bilinear form on F with values in the quotient line bundle L = T_M/F deduced from the Lie bracket of vector fields is everywhere non-degenerate. In this paper we consider the case where M is a Fano manifold; this implies that L is ample.?If is a simple Lie algebra, the unique closed orbit in (for the adjoint action) is a Fano contact manifold; it is conjectured that every Fano contact manifold is obtained in this way. A positive answer would imply an analogous result for compact quaternion-Kahler manifolds with positive scalar curvature, a longstanding question in Riemannian geometry.?In this paper we solve the conjecture under the additional assumptions that the group of contact automorphisms of M is reductive, and that the image of the rational map M P(H ₀(M, L)*) sociated to L has maximum dimension. The proof relies on the properties of the nilpotent orbits in a semi-simple Lie algebra, in particular on the work of R. Brylinski and B. Kostant. Received: July 28, 1997     

Uncertainty principles on two step nilpotent Lie groups

We extend an uncertainty principle due to Cowling and Price to two step nilpotent Lie groups, which generalizes a classical theorem of Hardy. We also prove an analogue of Heisenberg inequality on two step nilpotent Lie groups.     

Perturbations of Smooth Actions with Nontrivial Cohomology

We prove a general perturbation result for smooth Lie group actions with nontrivial finite‐dimensional cohomology. It describes sufficient conditions on cohomology over an action which imply that the action lies in a finite‐dimensional family of actions such that any small perturbation of the family intersects the smooth conjugacy class of the given action. We cast the classical KAM result on perturbations of Diophantine vector fields on tori into this general setup, and we address a few applications and potential applications of this result to homogeneous Lie group actions with finite‐dimensional first cohomology. © 2014 Wiley Periodicals, Inc.     

Combinatorial Lie bialgebras of curves on surfaces

Goldman (Invent. Math. 85(2) (1986) 263) and Turaev (Ann. Sci. Ecole Norm. Sup. (4) 24 (6) (1991) 635) found a Lie bialgebra structure on the vector space generated by non-trivial free homotopy classes of curves on a surface. When the surface has non-empty boundary, this vector space has a basis of cyclic reduced words in the generators of the fundamental group and their inverses. We give a combinatorial algorithm to compute this Lie bialgebra on this vector space of cyclic words. Using this presentation, we prove a variant of Goldman's result relating the bracket to disjointness of curve representatives when one of the classes is simple. We exhibit some examples we found by programming the algorithm which answer negatively Turaev's question about the characterization of simple curves in terms of the cobracket. Further computations suggest an alternative characterization of simple curves in terms of the bracket of a curve and its inverse. Turaev's question is still open in genus zero.     

On conformal Killing symmetric tensor fields on Riemannian manifolds

A vector field on Riemannian manifold is called conformal Killing if it generates oneparameter group of conformal transformation. The class of conformal Killing symmetric tensor fields of an arbitrary rank is a natural generalization of the class of conformal Killing vector fields, and appears in different geometric and physical problems. In this paper, we prove that a trace-free conformal Killing tensor field is identically zero if it vanishes on some hypersurface. This statement is a basis of the theorem on decomposition of a symmetric tensor field on a compact manifold with boundary to a sum of three fields of special types. We also establish triviality of the space of trace-free conformal Killing tensor fields on some closed manifolds.