Related papers: Existentially closed structures and some embedding…
We formulate gauge theories based on Leibniz(-Loday) algebras and uncover their underlying mathematical structure. Various special cases have been developed in the context of gauged supergravity and exceptional field theory. These are based…
We develop the theory of multiplicative Ehresmann connections for Lie groupoid submersions covering the identity, as well as their infinitesimal counterparts. We construct obstructions to the existence of such connections, and we prove…
We introduce a class of countable groups by some abstract group-theoretic conditions. It includes linear groups with finite amenable radical and finitely generated residually finite groups with some non-vanishing $\ell^2$-Betti numbers that…
We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite…
We prove that direct limits of finite dimensional Lie algebroids and their prolongations can be endowed with structures of convenient spaces.
In this paper, we mainly study some properties of elementary n-Lie algebras, and prove some necessary and sufficient conditions for elementary n-Lie algebras, we also give the relations between elementary n-algebras and E-algebras.
Motivated by the classical comatrix coalgebra, we introduce the concept of a Newtonian comatrix coalgebra. We construct an infinitesimal unitary bialgebra on a matrix algebra and a weighted infinitesimal unitary bialgebra on a…
We classify irreducible representations of the special linear groups in positive characteristic with small weight multiplicities with respect to the group rank and give estimates for the maximal weight multiplicities. For the natural…
We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…
Let G be a connected and simply connected real Lie group with Lie algebra g. Semialgebraic subsets of the unitary dual of G are defined and a strict Positivstellensatz for positive elements of the universal enveloping algebra of g is…
We propose the method for obtaining invariants of arbitrary representations of Lie groups that reduces this problem to known problems of linear algebra. The basis of this method is the idea of a special extension of the representation…
In this paper, we survey some of the recent advances on embeddings into finitely generated (left-orderable) simple group such that the overgroup preserves algorithmic, geometric, or algebraic information about the embedded group. We discuss…
We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We…
Lie bialgebra structures on $e(2)$ are classified. For two Lie bialgebra structures which are not coboundaries (i.e. which are not determined by a classical $r$-matrix) we solve the cocycle condition, find the Lie-Poisson brackets and…
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…
The set of points of a one-dimensional cut-and-project quasicrystal or model set, while not additive, is shown to be multiplicative for appropriate choices of acceptance windows. This leads to the definition of an associative additive…
We obtain structure results for locally conformally symplectic Lie algebras. We classify locally conformally symplectic structures on four-dimensional Lie algebras and construct locally conformally symplectic structures on compact quotients…
A structure theorem is proved for strongly holonomic modules over a quantum torus (a crossed product of a field with a free abelian group in which the field is central). This can be applied to give a structure theorem for finitely presented…
Different group structures which underline the integrable systems are considered. In some cases, the quantization of the integrable system can be provided with substituting groups by their quantum counterparts. However, some other group…
We classify the 6-dimensional Lie algebras of the form $g\times g$ that admit integrable complex structure. We also endow a Lie algebra of the kind $o(n)\oplus o(n)$ with such a complex structure. The motivation comes from geometric…