arXiv research

Doodles link to commutator identities in a 2-sphere.

We show that, in compact semisimple Lie groups and Lie algebras, any neighbourhood of the identity gets mapped, under the commutator map, to a neighbourhood of the identity.

Study local commutation relation on almost complex manifolds.

The paper extends ternary algebra concepts using cube roots of unity.

Improved CR Sobolev inequalities on CR sphere established.

New homeomorphism found in Klein bottle group.

This short note contains an explicit proof of the Jacobi identity for variational Schouten bracket in $Z_2$-graded commutative setup. For the reasoning to be rigorous, it refers to the product bundle geometry of iterated variations (see arXiv:1312.1262 [math-ph]); no ad hoc regularizations occur anywhere in this theory…

Covariance is shown as a commutator in random variable calculus.

Each element of the commutator subgroup of a group can be represented as a product of commutators. The minimal number of factors in such a product is called the commutator length of the element. The commutator length of a group is defined as the supremum of commutator lengths of elements of its commutator subgroup. We …

We define the notion of whiskered categories and groupoids, showing that whiskered groupoids have a commutator theory. So also do whiskered $R$-categories, thus answering questions of what might be `commutative versions' of these theories. We relate these ideas to the theory of Leibniz algebras, but the commutator theo…

Abstract: Study Kähler identities on almost complex manifolds.

We show that on a closed smooth manifold $M$ equipped with $k$ fiber bundle structures whose vertical distributions span the tangent bundle, every smooth diffeomorphism $f$ of $M$ sufficiently close to the identity can be written as a product $f=f_1... f_k$, where $f_i$ preserves the $i^{\text{th}}$-fiber. The factors …

We prove trace identities for commutators of operators, which are used to derive sum rules and sharp universal bounds for the eigenvalues of periodic Schroedinger operators and Schroedinger operators on immersed manifolds. In particular, we prove bounds on the eigenvalue lambda_{N+1} in terms of the lower spectrum, bou…

A near-identity nilpotent pseudogroup of order m >= 1 is a family f_1, ..., f_n: (-1,1) -> R of C^2 functions for which: |f_i - id|_{C^1} < epsilon for some small positive real number epsilon < 1/10^{m+1} and commutators of the functions f_i of order at least m equal the identity. We present a classification of near-id…

Study curvature operators in 4n-dimensional manifolds, finding new conformal invariants.

An infinite sequence of commuting nonpolynomial contact symmetries of the two-dimensional minimal surface equation is constructed. Local and nonlocal conservation laws for $n$-dimensional minimal area surface equation are obtained by using the Noether identity.

Let S be a closed surface with nonzero Euler characteristic. We prove the existence of an open neighborhood V of the identity map of S in the C^1-topology with the following property: if G is an abelian subgroup of Diff^1(S) generated by any family of elements in V then the elements of G have common fixed points. This …

The group of volume preserving diffeomorphisms, the group of symplectomorphisms and the group of contactomorphisms constitute the classical groups of diffeomorphisms. The first homology groups of the compactly supported identity components of the first two groups have been computed by Thurston and Banyaga, respectively…

This paper extends quasimorphism results to nonorientable surfaces.

The fundamental groups of compact 3-manifolds are known to be residually finite. Feng Luo conjectured that a stronger statement is true, by only allowing finite groups of the form $PGL(2,R),$ where $R$ is some finite commutative ring with identity. We give an equivalent formulation of Luo's conjecture via faithful repr…

We describe explicit presentations of all stable and the first nonstable homotopy groups of the unitary groups. In particular, for each n >= 2 we supply n homotopic maps that each represent the (n-1)!-th power of a suitable generator of pi_2n(U(n)) = Z_{n!}. The product of these n commuting maps is the constant map to …

Kauffman bracket skein algebra structure on surfaces defined.

We discuss locally simply transitive affine actions of Lie groups G on finite-dimensional vector spaces such that the commutator subgroup [G,G] is acting by translations. In other words, we consider left-symmetric algebras satisfying the identity [x,y].z=0. We derive some basic characterizations of such left-symmetric …

We investigate G-invariant symplectic structures on the cotangent bundle T*P of a principal G-bundle P(M,G) which are canonically related to automorphisms of the tangent bundle TP covering the identity map of P and commuting with the action of TG on TP. The symplectic structures corresponding to connections on P(M,G) a…

Given a result of Herman, we provide a new elementary proof of the fact that the connected component of the group of compactly supported diffeomorphisms is perfect and hence simple. Moreover, we show that every diffeomorphism $g$, which is sufficiently close to the identity, can be represented as a product of four comm…

The paper introduces transposed Poisson superalgebras and their properties.

New algebroids allow studying various geometries simultaneously.

In this paper we prove a useful formula for the graded commutator of the Hodge codifferential with the left wedge multiplication by a fixed $p$-form acting on the de Rham algebra of a Riemannian manifold. Our formula generalizes a formula stated by Samuel I. Goldberg for the case of 1-forms. As first examples of applic…

The paper presents a new algebraic structure for planar surfaces.

Study on special Lie groups with Lorentzian metrics.

We generalize the "hamiltonian topology" on hamiltonian isotopies to an intrinsic "symplectic topology" on the space of symplectic isotopies. We use it to define the group $SSympeo(M,ω)$ of strong symplectic homeomorphisms, which generalizes the group $Hameo(M,ω)$ of hamiltonian homeomorphisms introduced by Oh and Mull…

A triple vector bundle is a cube of vector bundle structures which commute in the (strict) categorical sense. A grid in a triple vector bundle is a collection of sections of each bundle structure with certain linearity properties. A grid provides two routes around each face of the triple vector bundle, and six routes f…

Frank and Lieb gave a new, rearrangement-free, proof of the sharp Hardy-Littlewood-Sobolev inequalities by exploiting their conformal covariance. Using this they gave new proofs of sharp Sobolev inequalities for the embeddings $W^{k,2}(\mathbb{R}^n)\hookrightarrow L^{\frac{2n}{n-2k}}(\mathbb{R}^n)$. We show that their …

We construct a canonical noncommutative spectral triple for every oriented closed Riemannian manifold, which represents the fundamental class in the twisted K-homology of the manifold. This so-called "projective spectral triple" is Morita equivalent to the well-known commutative spin spectral triple provided that the m…

A notion of n-Lie algebra introduced by V.T. Filippov can be viewed as a generalization of a concept of binary Lie algebra to the algebras with n-ary multiplication law. A notion of Lie algebra can be extended to Z_2-graded structures giving a notion of Lie superalgebra. Analogously a notion of n-Lie algebra can be ext…

Researchers found generators and relations for skein algebras of planar surfaces.

We propose a novel method to determine the dissimilarity between subjects for functional data clustering. Spline smoothing or interpolation is common to deal with data of such type. Instead of estimating the best-representing curve for each subject as fixed during clustering, we measure the dissimilarity between subjec…

New algebraic structures on manifolds generalize supergeometry concepts.

Study on deformation cohomology for braided commutative structures.

Examining singularities of commuting vector fields on submanifolds.

We improve our previous results on indefinite Kasparov modules, which provide a generalisation of unbounded Kasparov modules modelling non-symmetric and non-elliptic (e.g. hyperbolic) operators. In particular, we can weaken the assumptions that are imposed on indefinite Kasparov modules. Using a new theorem by Lesch an…

Study on infinite-type surfaces shows stable commutator length is continuous and defines open subgroups.

The complex of "stable forms" on supermanifolds is studied. Stable forms on $M$ are represented by certain Lagrangians of "copaths" (formal systems of equations, which may or may not specify actual surfaces) on $M\times\mathbb R^D$. Changes of $D$ give rise to stability isomorphisms. The Cartan--de Rham complex made of…

New proof and description of commutator subgroups for free and surface groups.

A cluster variety of Fock and Goncharov is a scheme constructed by gluing split algebraic tori, called seed tori, via birational gluing maps called mutations. In quantum theory, the ring of functions on seed tori are deformed to non-commutative rings, represented as operators on Hilbert spaces. Mutations are quantized …

The Murphy operators in the Hecke algebra H_n of type A are explicit commuting elements, whose symmetric functions are central in H_n. In [Skein theory and the Murphy operators, J. Knot Theory Ramif. 11 (2002), 475-492] I defined geometrically a homomorphism from the Homfly skein C of the annulus to the centre of each …

We consider the following construction of quantization. For a Riemannian manifold $M$ the space of forms on $T^*M$ is made into a space of (full) symbols of operators acting on forms on $M$. This gives rise to the composition of symbols, which is a deformation of the (``super'')commutative multiplication of forms. The …

Formulae for non-symmetric connections derived from covariant derivatives.