Related papers: Algebra gl(\lambda) inside the algebra of differen…

We develop the Lie theory of Lie-admissible algebras whose product is enriched with higher operations modeled on directed graphs with a view to apply it to the deformation theories controlled by this kind of Lie algebras. We produce…

Let $M$ be a smooth manifold, $\cal S$ the space of polynomial on fibers functions on $T^*M$ (i.e., of symmetric contravariant tensor fields). We compute the first cohomology space of the Lie algebra, $Vect(M)$, of vector fields on $M$ with…

We report on our experience formalizing differential geometry with mathlib, the Lean mathematical library. Our account is geared towards geometers with no knowledge of type theory, but eager to learn more about the formalization of…

This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…

This thesis is devoted to the study of joint spectral multipliers for a system of pairwise commuting, self-adjoint left-invariant differential operators L_1,...,L_n on a connected Lie group G. Under the assumption that the algebra generated…

Infinitesimal deformations are governed by partition Lie algebras. In characteristic $0$, these higher categorical structures are modelled by differential graded Lie algebras, but in characteristic $p$, they are more subtle. We give…

If $Q$ is a non degenerate quadratic form on ${\bb C}^n$, it is well known that the differential operators $X=Q(x)$, $Y=Q(\partial)$, and $H=E+\frac{n}{2}$, where $E$ is the Euler operator, generate a Lie algebra isomorphic to ${\go…

We define the unique (up to normalization) symbol map from the space of linear differential operators on $R^n$ to the space of polynomial on fibers functions on $T^* R^n$, equivariant with respect to the Lie algebra of projective…

We present a method for associating labeled directed graphs to finite-dimensional Lie algebras, thereby enabling rapid identification of key structural algebraic features. To formalize this approach, we introduce the concept of…

Let Vect(R) be the Lie algebra of smooth vector fields on R. The space of symbols Pol(T^* R) admits a non-trivial deformation (given by differential operators on weighted densities) as a Vect(R)-module that becomes trivial once the action…

Using techniques of deformation (bi)quantization we establish a non-canonical algebra isomorphism between the deformed reduction algebra and the invariant differential operators on G/H. Further results concerning other deformations of these…

Given a compact Kaehler manifold, we consider the complement U of a divisor with normal crossings and a unitary local system V on it. We consider a differential graded Lie algebra (DGLA) of forms with holomorphic logarithmic singularities…

Examples of operator algebras with involution include the operator $*$-algebras occurring in noncommutative differential geometry studied recently by Mesland, Kaad, Lesch, and others, several classical function algebras, triangular matrix…

The notion of an F-manifold algebra is the underlying algebraic structure of an $F$-manifold. We introduce the notion of pre-Lie formal deformations of commutative associative algebras and show that F-manifold algebras are the corresponding…

We introduce the notion of a Lie algebroid structure on an affine bundle whose base manifold is fibred over the real numbers. It is argued that this is the framework which one needs for coming to a time-dependent generalization of the…

We classify and construct $SL(n,\mathbb{R})$-intertwining differential operators $\mathcal{D}$ from a line bundle to a vector bundle over the real projective space $\mathbb{RP}^{n-1}$ by the F-method. This generalizes a classical result of…

We have discovered that the gauge invariant observables of matrix models invariant under U($N$) form a Lie algebra, in the planar large-N limit. These models include Quantum Chromodynamics and the M(atrix)-Theory of strings. We study here…

We generalize to the case of Lie superalgebras the classical symplectic double extension of symplectic Lie algebras introduced in [2]. We use this concept to give an inductive description of nilpotent homogeneous-symplectic Lie…

The Lie algebra $gl(V)$ is the Lie algebra of all endomorphisms of a countable-dimensional complex vector space $V$. We define a tensor category of topological representations of the Lie algebra $gl(V)$, so that $V$, its dual and the…

Let M be a manifold and g a Lie algebra acting on M. Differential forms Omega(M) carry a natural action of Lie derivatives L(x) and contractions I(x) of fundamental vector fields for x \in g. Contractions (anti-) commute with each other,…