Related papers: Normalization in Lie algebras via mould calculus a…
We formulate and prove a twofold generalisation of Lie's second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we generalise classical Lie theory by replacing groups with…
A new singular perturbation method based on the Lie symmetry group is presented to a system of difference equations. This method yields consistent derivation of a renormalization group equation which gives an asymptotic solution of the…
We pose a normal form of transition functions along some Levi-flat hypersurfaces obtained by suspension. By focusing on methods in circle dynamics and linearization theorems, we give a sufficient condition to obtain a normal form as a…
The problem of stability of the triangular libration points in the planar circular restricted three-body problem is considered. A software package, intended for normalization of autonomous Hamiltonian systems by means of computer algebra,…
We introduce a notion of elliptic differential graded Lie algebra. The class of elliptic algebras contains such examples as the algebra of differential forms with values in endomorphisms of a flat vector bundle over a compact manifold, etc.…
Formul{\ae} are derived for expressing Cauchy and Hilbert transforms of a function $f$ in terms of Cauchy and Hilbert transforms of $f(x^r)$. When $r$ is an integer, this corresponds to evaluating the Cauchy transform of $f(x^r)$ at all…
We introduce several definitions within the framework of vertex and conformal algebras which are analogous to some important concepts of the classical Lie theory. Most importantly, we define formal vertex laws, which correspond to the…
The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…
The quantum theory of a harmonic oscillator with a time dependent frequency arises in several important physical problems, especially in the study of quantum field theory in an external background. While the mathematics of this system is…
A "minimal" generalization of Quantum Mechanics is proposed, where the Lagrangian or the action functional is a mapping from the (classical) states of a system to the Lie algebra of a general compact Lie group, and the wave function takes…
In this paper, we describe a geometric setting for higher-order lagrangian problems on Lie groups. Using left-trivialization of the higher-order tangent bundle of a Lie group and an adaptation of the classical Skinner-Rusk formalism, we…
Let h \subset g be an inclusion of Lie algebras with quotient h-module n. There is a natural degree filtration on the h-module U(g)/U(g)h whose associated graded h-module is isomorphic to S(n). We give a necessary and sufficient condition…
We discuss various aspects concerning transformations of local analytic, or formal, vector fields to Poincare-Dulac normal form, and the convergence of such transformations. We first review A.D. Bruno's approach to formal normalization, as…
We develop the method of the hamiltonian reduction of affine Lie superalgebras to obtain explicit and general expressions both for the classical and the quantum extended superconformal algebras. By performing the gauge transformation which…
Lie-theoretic structures of type $E_8$ (e.g., Lie groups and algebras, Hecke algebras and Kazhdan-Lusztig cells, ...) are considered to serve as a `gold standard' when it comes to judging the effectiveness of a general algorithm for solving…
It is shown that, under suitable conditions, involving in particular the existence of analytic constants of motion, the presence of Lie point symmetries can ensure the convergence of the transformation taking a vector field (or dynamical…
We construct a normal form for the walled Brauer algebra, together with the reduction algorithm. We apply normal form to calculate the numbers of monomials in generators with minimal length. We further utilize normal form to give explicit…
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
We develop the necessary tools, including a notion of logarithmic derivative for curves in homogeneous spaces, for deriving a general class of equations including Euler-Poincar\'e equations on Lie groups and homogeneous spaces. Orbit…
We consider a nonlinear representation of a Lie algebra which is regular on an abelian ideal, we define a normal form which generalizes that defined in [D. Arnal, M. Ben Ammar, M. Selmi, {\rm Normalisation d'une repr\'esentation non…