Related papers: On a Lie algebraic structure associated with a non…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
This paper surveys results found by the authors in the previous papers (see for example, A. Duyunova, V. Lychagin, S. Tychkov, Differential invariants for spherical layer flows of a viscid fluid, Journal of Geometry and Physics, 130,…
Nonholonomic systems are variational models commonly used for mechanical systems with ideal no-slip constraints. This note provides a differential-geometric derivation of the nonholonomic equations of motion for an arbitrary rigid body…
We construct an uncountable family of pairwise nonisomorphic AH algebras with the same Elliott invariant and same radius of comparison. They can be distinguished by a local radius of comparison function, naturally defined on the positive…
We study reflexivity and structure properties of operator algebras generated by representations of the discrete Heisenberg semi-group. We show that the left regular representation of this semi-group gives rise to a semi-simple reflexive…
A rigorous geometric proof of the Lie's Theorem on nonlinear superposition rules for solutions of non-autonomous ordinary differential equations is given filling in all the gaps present in the existing literature. The proof is based on an…
We establish a new version of the first Noether Theorem, according to which the (equivalence classes of) first integrals of given Euler-Lagrange equations in one independent variable are in exact one-to-one correspondence with the…
A simply connected topological space X has homotopy Lie algebra $\pi_*(\Omega X) \tensor \Q$. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type…
There is developed a differential-algebraic approach to studying the representations of commuting differentiations in functional differential rings under nonlinear differential constraints. An example of the differential ideal with the only…
Poisson brackets provide the mathematical structure required to identify the reversible contribution to dynamic phenomena in nonequilibrium thermodynamics. This mathematical structure is deeply linked to Lie groups and their Lie algebras.…
A noncommutative space is considered the position operators of which satisfy the commutativity relations of a Lie algebra. The basic tools for calculation on this space, including the product of the fields, inner product and the proper…
Let $\mathbb{K}$ be a field, $R$ be an associative and commutative $\mathbb{K}$-algebra and $L$ be a Lie algebra over $\mathbb{K}$. We give some descriptions of injections from $L$ to Lie algebra of $\mathbb{K}$-derivations of $R$ in the…
A Lie algebra is said to be metric if it admits a symmetric invariant and nondegenerate bilinear form. The harmonic oscillator algebra, which arises in the quantum mechanical description of a harmonic oscillator, is the smallest solvable…
The coefficient algebra of a finite-dimensional Lie algebra on a finite-dimensional representation is defined as the subalgebra generated by all coefficients of the corresponding characteristic polynomial. We explore connections between…
In this paper we classify and give Kazhdan-Lusztig type character formulas for equivariantly irreducible representations of Lie algebras of reductive algebraic groups over a field of large positive characteristic. The equivariance is with…
The generators and commutation relations are calculated explicitly for higher symmetry algebras of a class of hyperbolic Euler-Lagrange systems of Liouville type (in particular, for 2D Toda chains associated with semi-simple complex Lie…
The Heisenberg Lie algebras over an algebraically closed field F of characteristic p > 0 always admit a family of restricted structures. We use the ordinary 1- and 2-cohomology spaces with adjoint coefficients to compute the restricted 1-…
The Lie algebra generated by Hopf-zero classical normal forms is decomposed into two versal Lie subalgebras. Some dynamical properties for each subalgebra are described; one is the set of all volume-preserving conservative systems while the…
We analyze two reduction methods for nonholonomic systems that are invariant under the action of a Lie group on the configuration space. Our approach for obtaining the reduced equations is entirely based on the observation that the dynamics…
Ordinary Differential Equations are derived for the adjoint Euler equations firstly using the method of characteristics in 2D. For this system of partial-differential equations, the characteristic curves appear to be the streamtraces and…