Related papers: Lie algebraic characterization of manifolds

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…

We construct a smooth Lie group structure on the group of real analytic diffeomorphisms of a compact analytic manifold with corners. This generalises the known analogous results in the situation where the real analytic manifold has no…

We show how the relation between $Q$-manifolds and Lie algebroids extends to ``higher'' or ``non-linear'' analogs of Lie algebroids. We study the identities satisfied by a new algebraic structure that arises as a replacement of operations…

Questions of the following sort are addressed: Does a given Lie group or Lie algebra act effectively on a given manifold? How smooth can such actions be? What fxed-point sets are possible? What happens under perturbations? Old results are…

For a representation of a Lie algebra, one can construct a diagram of the representation, i. e. a directed graph with edges labeled by matrix elements of the representation. This article explains how to use these diagrams to describe normal…

We show that the first five of the axioms we had formulated on spectral triples suffice (in a slightly stronger form) to characterize the spectral triples associated to smooth compact manifolds. The algebra, which is assumed to be…

We present some recently discovered infinite dimensional Lie algebras that can be understood as extensions of the algebra Map(M,g) of maps from a compact p-dimensional manifold to some finite dimensional Lie algebra g. In the first part of…

In this paper, we study positive as well as non-negative and non-trivial gradings on finite dimensional Lie algebras. We give a different proof that the existence of such a grading on a Lie algebra is invariant under taking field…

Cohomology of a compatible family of Lie algebroids defined on a family of transverse manifolds is defined. A sheaf of differential forms on a compatible family of Lie algebroids defined over regular open subsets of a simplicial complex is…

The theory of Lie remarkable equations, i.e. differential equations characterized by their Lie point symmetries, is reviewed and applied to ordinary differential equations. In particular, we consider some relevant Lie algebras of vector…

We define a solvable extension of the graph 2-step nilpotent Lie algebras of [5] by adding elements corresponding to the 3-cliques of the graph. We study some of their basic properties and we prove that two such Lie algebras are isomorphic…

Anosov diffeomorphisms are an important class of dynamical systems with many peculiar properties. Ever since they were introduced in the sixties, it has been an open question which manifolds can admit such diffeomorphisms, where tori of…

Let X be an irreducible reduced complex space on which a connected compact Lie group K acts by holomorphic automorphisms. Let G be the complexification of K and g the Lie algebra of G. Following the theory of algebraic transformation…

Regular Lie groups are infinite dimensional Lie groups with the property that smooth curves in the Lie algebra integrate to smooth curves in the group in a smooth way (an `evolution operator' exists). Up to now all known smooth Lie groups…

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…

This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…

We provide a classification of all dynamical Lie algebras generated by 2-local spin interactions on undirected graphs. Building on our previous work where we provided such a classification for spin chains, here we consider the more general…

Using group actions and orbit-stabilizer methods, we study the geometry of isomorphism classes of finite-dimensional $\omega$-Lie algebras over a field $\mathbb{K}$ of characteristic $\neq 2$ and establish a one-to-one correspondence…

In this paper, we give a new series of coboundary operators of Hom-Lie algebras. And prove that cohomology groups with respect to coboundary operators are isomorphic. Then, we revisit representations of Hom-Lie algebras, and generalize the…

This is a short presentation of some classical results on finite dimensional complex Lie algebras (classification of nilpotent Lie algebras, deformations and perturbations, contractions and rigidity). We present some applications to…