Linear differential operators on contact manifolds

We consider differential operators between sections of arbitrary powers of the determinant line bundle over a contact manifold. We extend the standard notions of the Heisenberg calculus: noncommutative symbolic calculus, the principal symbol, and the contact order to such differential operators. Our first main result is an intrinsically defined "subsymbol" of a differential operator, which is a differential invariant of degree one lower than that of the principal symbol. In particular, this subsymbol associates a contact vector field to an arbitrary second order linear differential operator. Our second main result is the construction of a filtration that strengthens the well-known contact order filtration of the Heisenberg calculus

Differential operators on supercircle: conformally equivariant quantization and symbol calculus

We consider the supercircle $S^{1|1}$ equipped with the standard contact structure. The conformal Lie superalgebra K(1) acts on $S^{1|1}$ as the Lie superalgebra of contact vector fields; it contains the M\"obius superalgebra $osp(1|2)$. We study the space of linear differential operators on weighted densities as a module over $osp(1|2)$. We introduce the canonical isomorphism between this space and the corresponding space of symbols and find interesting resonant cases where such an isomorphism does not exist

Lagrangian multiform structure for the lattice Gel'fand-Dikii hierarchy

The lattice Gel'fand-Dikii hierarchy was introduced by Nijhoff, Papageorgiou, Capel and Quispel in 1992 as the family of partial difference equations generalizing to higher rank the lattice Korteweg-de Vries systems, and includes in particular the lattice Boussinesq system. We present a Lagrangian for the generic member of the lattice Gel'fand-Dikii hierarchy, and show that it can be considered as a Lagrangian 2-form when embedded in a higher dimensional lattice, obeying a closure relation. Thus the multiform structure proposed in arXiv:0903.4086v2 [nlin.SI] is extended to a multi-component system.Comment: 12 page

Cohomology of the Lie Superalgebra of Contact Vector Fields on R1∣1\mathbb{R}^{1|1} and Deformations of the Superspace of Symbols

Following Feigin and Fuchs, we compute the first cohomology of the Lie superalgebra $\mathcal{K}(1)$ of contact vector fields on the (1,1)-dimensional real superspace with coefficients in the superspace of linear differential operators acting on the superspaces of weighted densities. We also compute the same, but $\mathfrak{osp}(1|2)$-relative, cohomology. We explicitly give 1-cocycles spanning these cohomology. We classify generic formal $\mathfrak{osp}(1|2)$-trivial deformations of the $\mathcal{K}(1)$-module structure on the superspaces of symbols of differential operators. We prove that any generic formal $\mathfrak{osp}(1|2)$-trivial deformation of this $\mathcal{K}(1)$-module is equivalent to a polynomial one of degree $\leq4$. This work is the simplest superization of a result by Bouarroudj [On $\mathfrak{sl}$(2)-relative cohomology of the Lie algebra of vector fields and differential operators, J. Nonlinear Math. Phys., no.1, (2007), 112--127]. Further superizations correspond to $\mathfrak{osp}(N|2)$-relative cohomology of the Lie superalgebras of contact vector fields on $1|N$-dimensional superspace

Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group

We study Sobolev-type metrics of fractional order $s\geq0$ on the group \Diff_c(M) of compactly supported diffeomorphisms of a manifold $M$. We show that for the important special case $M=S^1$ the geodesic distance on \Diff_c(S^1) vanishes if and only if $s\leq\frac12$. For other manifolds we obtain a partial characterization: the geodesic distance on \Diff_c(M) vanishes for $M=\R\times N, s<\frac12$ and for $M=S^1\times N, s\leq\frac12$, with $N$ being a compact Riemannian manifold. On the other hand the geodesic distance on \Diff_c(M) is positive for $\dim(M)=1, s>\frac12$ and $\dim(M)\geq2, s\geq1$. For $M=\R^n$ we discuss the geodesic equations for these metrics. For $n=1$ we obtain some well known PDEs of hydrodynamics: Burgers' equation for $s=0$, the modified Constantin-Lax-Majda equation for $s=\frac 12$ and the Camassa-Holm equation for $s=1$.Comment: 16 pages. Final versio

The ternary invariant differential operators acting on the spaces of weighted densities

Over n-dimensional manifolds, I classify ternary differential operators acting on the spaces of weighted densities and invariant with respect to the Lie algebra of vector fields. For n=1, some of these operators can be expressed in terms of the de Rham exterior differential, the Poisson bracket, the Grozman operator and the Feigin-Fuchs anti-symmetric operators; four of the operators are new, up to dualizations and permutations. For n>1, I list multidimensional conformal tranvectors, i.e.,operators acting on the spaces of weighted densities and invariant with respect to o(p+1,q+1), where p+q=n. Except for the scalar operator, these conformally invariant operators are not invariant with respect to the whole Lie algebra of vector fields.Comment: 13 pages, no figures, to appear in Theor. Math. Phy

Magnetometric Studies of Catalyst Refuses in Nanocarbon Materials

It is shown that magnetometry can be employed as an effective tool to control the content of a ferromagnetic constituent in nanocarbon materials. We propose a thermochemical treatment protocol to achieve extensive cleaning of the source nanocarbon materials from ferromagnetic refuses

Poisson-Lie group of pseudodifferential symbols

We introduce a Lie bialgebra structure on the central extension of the Lie algebra of differential operators on the line and the circle (with scalar or matrix coefficients). This defines a Poisson--Lie structure on the dual group of pseudodifferential symbols of an arbitrary real (or complex) order. We show that the usual (second) Benney, KdV (or GL_n--Adler--Gelfand--Dickey) and KP Poisson structures are naturally realized as restrictions of this Poisson structure to submanifolds of this ``universal'' Poisson--Lie group. Moreover, the reduced (=SL_n) versions of these manifolds (W_n-algebras in physical terminology) can be viewed as subspaces of the quotient (or Poisson reduction) of this Poisson--Lie group by the dressing action of the group of functions. Finally, we define an infinite set of functions in involution on the Poisson--Lie group that give the standard families of Hamiltonians when restricted to the submanifolds mentioned above. The Poisson structure and Hamiltonians on the whole group interpolate between the Poisson structures and Hamiltonians of Benney, KP and KdV flows. We also discuss the geometrical meaning of W_\infty as a limit of Poisson algebras W_\epsilon as \epsilon goes to 0.Comment: 64 pages, no figure