Related papers: Algebraic constructions in the category of vector …
General Relativity in dimension $n = p + q$ can be formulated as a gauge theory for the conformal group $SO(p+1,q+1)$, along with an additional field reducing the structure group down to the Poincar\'e group $ISO(p,q)$. In this paper, we…
We extend conjugacy results from Lie algebras to their Leibniz algebra generalizations. The proofs in the Lie case depend on anti-commutativity. Thus it is necessary to find other paths in the Leibniz case. Some of these results involve…
We study the existence of a natural `linearisation' process for generalised connections on an affine bundle. It is shown that this leads to an affine generalised connection over a prolonged bundle, which is the analogue of what is called a…
A rigid framework for the Cartan calculus of Lie derivatives, inner derivations, functions, and forms is proposed. The construction employs a semi-direct product of two graded Hopf algebras, the respective super-extensions of the deformed…
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…
We develop the theory of left-invariant generalized pseudo-Riemannian metrics on Lie groups. Such a metric accompanied by a choice of left-invariant divergence operator gives rise to a Ricci curvature tensor and we study the corresponding…
We briefly review our results on the Lie theory underlying vector bundles over Lie groupoids and Lie algebroids, pointing out the role of Poisson geometry in extending these results to double Lie algebroids and LA-groupoids.
Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…
This article discusses invariant theories in some exterior algebras, which are closely related to Amitsur-Levitzki type theorems. First we consider the exterior algebra on the vector space of square matrices of size $n$, and look at the…
We study the possible dimension vectors of indecomposable parabolic bundles on the projective line, and use our answer to solve the problem of characterizing those collections of conjugacy classes of n by n matrices for which one can find…
That finite-dimensional simple Lie algebras over the complex numbers can be classified by means of purely combinatorial and geometric objects such as Coxeter-Dynkin diagrams and indecomposable irreducible root systems, is arguably one of…
The purpose of this paper is to introduce and study the notion of generalized Reynolds operators on Lie triple systems with representations (Abbr. \textsf{L.t.sRep} pairs) as generalization of weighted Reynolds operators on Lie triple…
Let $C\to M$ be the bundle of connections of a principal bundle on $M$. The solutions to Hamilton-Cartan equations for a gauge-invariant Lagrangian density $\Lambda $ on $C$ satisfying a weak condition of regularity, are shown to admit an…
We define a differential graded algebra for Legendrian graphs and tangles in the standard contact Euclidean three space. This invariant is defined combinatorially by using ideas from Legendrian contact homology. The construction is…
We show that the exterior algebra bundle over a curved spacetime can be used as framework in which both the Dirac and the Einstein equations can be obtained. These equations and their coupling follow from the variational principle applied…
Difference-difference systems are suggested corresponding to the Cartan matrices of any simple or affine Lie algebra. In the cases of the algebras $A_N$, $B_N$, $C_N$, $G_2$, $D_3$, $A_1^{(1)}$, $A_2^{(2)}$, $D^{(2)}_N$ these systems are…
The aim of these notes is to describe how to construct canonical bundles of moving frames and differential invariants for parametrized curves in Lagrangian Grassmannians, at least in the monotonic case. Such curves appear as Jacobi curves…
We categorify the theory of Lie algebras beginning with a new notion of categorified vector space, or `2-vector space', which we define as an internal category in Vect, the category of vector spaces. We then define a `semistrict Lie…
In this work, we develop a Lagrangian reduction theory for covariant field theories with gauge symmetries. These symmetries are modeled by a Lie group fiber bundle acting fiberwisely on a configuration bundle. In order to reduce the…
In this paper, we introduce relative Rota-Baxter systems on Leibniz algebras and give some characterizations and new constructions. Then we construct a graded Lie algebra whose Maurer-Cartan elements are relative Rota-Baxter systems. This…