Related papers: A Lie algebra for Fr\"olicher 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…
To a given tiling a non commutative space and the corresponding C*-algebra are constructed. This includes the definition of a topology on the groupoid induced by translations of the tiling. The algebra is also the algebra of observables for…
Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in…
This paper deals with affine connections on real manifolds. We give a new characterization of flat affine connections on real manifolds by means of certain affine representations of the Lie group of automorphisms preserving the connection.…
A Teichm\"uller space $Teich$ is a quotient of the space of all complex structures on a given manifold $M$ by the connected components of the group of diffeomorphisms. The mapping class group $\Gamma$ of $M$ is the group of connected…
We endow the group of invertible Fourier integral operators on an open}manifold with the structure of an ILH Lie group. This is done by establishing such structures for the groups of invertible pseudodifferential operators and contact…
Cofibrations are defined in the category of Fr\"olicher spaces by weakening the analog of the classical definition to enable smooth homotopy extensions to be more easily constructed, using flattened unit intervals. We later relate smooth…
We consider the natural Lie algebra structure on the (associative) group algebra of a finite group $G$, and show that the Lie subalgebras associated to natural involutive antiautomorphisms of this group algebra are reductive ones. We give a…
We classify the holonomy algebras of manifolds admitting an indecomposable torsion free $G_2^*$-structure, i.e. for which the holonomy representation does not leave invariant any proper non-degenerate subspace. We realize some of these Lie…
We define Lie and Courant algebroids on Fr\'{e}chet manifolds. Moreover, we construct a Dirac structure on the generalized tangent bundle of a Fr\'{e}chet manifold and show that it inherits a Fr\'{e}chet Lie algebroid structure. We show…
An infinite-dimensional Lie Algebra is proposed which includes, in its subalgebras and limits, most Lie Algebras routinely utilized in physics. It relies on the finite oscillator Lie group, and appears applicable to twisted noncommutative…
Let $G$ be a reductive algebraic group with Lie algebra $\mathfrak{g}$ and $V$ a finite-dimensional representation of $G$. Costello-Gaiotto studied a graded Lie algebra $\mathfrak{d}_{\mathfrak{g}, V}$ and the associated affine Kac-Moody…
This work is a spin-off of an on-going programme which aims at revisiting the original studies of Lie and Cartan on pseudogroups and geometric structures from a modern perspective. We encode geometric structures induced by transitive Lie…
A rather simple natural outer derivation of the graded Lie algebra of all vector valued differential forms with the Fr\"olicher-Nijenhuis bracket turns out to be a differential and gives rise to a cohomology of the manifold, which is…
For some exact monoidal categories, we describe explicitly a connection between topological and algebraic definitions of the Lie bracket on the extension algebra of the unit object. The topological definition, due to Schwede and Hermann,…
We study sheaves of Lie-Rinehart algebras over locally ringed spaces. We introduce morphisms and comorphisms of such sheaves and prove factorization theorems for each kind of morphism. Using this notion of morphism, we obtain (higher)…
A Lie algebra L is known to be nilpotent if it admits a grading by (Zp, +) with support X not containing 0. It is also known that the class of L can be bounded by some explicit function of |X|. We generalise this and other classical results…
Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ such that the characteristic of the ground field does not divide $|H|$. It is proved that if the subalgebra…
We show that for a certain class of solvable Lie groups, if they admit a left-invariant non-Vaisman locally conformally K\"{a}hler metric and a lattice, they must arise from the construction of Oeljeklaus-Toma manifolds. This result…
Here, we classify Lie groups acting isometrically on compact Lorentz manifolds, and in particular we describe the geometric structure of compact homogeneous Lorentz manifolds.