Related papers: SageMath experiments in Differential and Complex G…
It is known that there exist complex solvmanifolds $(\Gamma\backslash G,J)$ whose canonical bundle is trivialized by a holomorphic section which is not invariant under the action of $G$. The main goal of this article is to classify the…
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…
DifferentialGeometry is a Maple software package which symbolically performs fundamental operations of calculus on manifolds, differential geometry, tensor calculus, Lie algebras, Lie groups, transformation groups, jet spaces, and the…
We characterise Lie groups with bi-invariant bargmannian, galilean or carrollian structures. Localising at the identity, we show that Lie algebras with ad-invariant bargmannian, carrollian or galilean structures are actually determined by…
This PhD Thesis consists of two parts. The first part focuses on novel algebraic and geometric approaches to the classification problem of coboundary Lie bialgebras up to Lie algebra automorphisms. More specifically, Grassmann, graded…
We reconsider differential geometry from the point of view of the quantum theory of non-relativistic spinning particles, which provides examples of supersymmetric quantum mechanics. This enables us to encode geometrical structure in…
We present `liesuperalg` a SageMath package for representation-theoretic calculations involving Lie superalgebras in Type A. Our package introduces functionality to calculate invariants of weights and produce the associated cup diagrams. We…
This thesis presents a framework in which to explore kinematical symmetries beyond the standard Lorentzian case. This framework consists of an algebraic classification, a geometric classification, and a derivation of the geometric…
This paper focuses on the derivations and automorphism groups of certain finite-dimensional associative algebras over the field of complex numbers. Using classification results for algebras of dimensions two, three, and four, along with…
We consider Picard surfaces, locally symmetric varieties $S_{\Gamma}$ attached to the Lie group SU(2,1), and we construct explicit differential forms on $S_{\Gamma}$ representing Eisenstein classes, i.e. cohomology classes restricting…
We generalize several important results from the perturbation theory of linear operators to the setting of semisimple orthogonal symmetric Lie algebras. These Lie algebras provide a unifying framework for various notions of matrix…
We describe an essential improvement of our recent algorithm for computing cohomology of Lie (super)algebra based on partition of the whole cochain complex into minimal subcomplexes. We replace the arithmetic of rational numbers or integers…
By definition, a quadratic Lie superalgebra is a Lie superalgebra endowed with a non-degenerate supersymmetric bilinear form which satisfies the even and invariant properties. In this paper we calculate all of the second cohomology group of…
In this paper we deal with symplectic Lie algebras. All symplectic structures are determined for dimension four and the corresponding Lie algebras are classified up to equivalence. Symplectic four dimensional Lie algebras are described…
We study the cohomology of the complexes of differential, integral and pseudo forms on odd symplectic manifolds taking the wedge product with the symplectic form as differential. We show that the cohomology classes are in correspondence…
Computation of homology or cohomology is intrinsically a problem of high combinatorial complexity. Recently we proposed a new efficient algorithm for computing cohomologies of Lie algebras and superalgebras. This algorithm is based on…
The present paper, which is partially a review, but also contains several completely new results, aims at presenting, in a unified mathematical framework, a complex and articulated lore regarding non-compact symmetric spaces, with negative…
Recent work has constructed neural networks that are equivariant to continuous symmetry groups such as 2D and 3D rotations. This is accomplished using explicit Lie group representations to derive the equivariant kernels and nonlinearities.…
We present a systematic study of symmetries, invariants and moduli spaces of classes of coframes. We introduce a classifying Lie algebroid to give a complete description of the solution to Cartan's realization problem that applies to both…
We give a definition of differentiable cohomology of a Lie group G (possibly infinite-dimensional) with coefficients in any abelian Lie group. This differentiable cohomology maps both to the cohomology of the group made discrete and to Lie…