Related papers: Formal Theories for Linear Algebra
Using theory of props we prove a formality theorem associated with universal quantizations of (strongly homotopy) Lie bialgebras.
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…
We unify Linear Algebra by proposing a definition of determinants via one equation that implies all known properties of them:\\ 1. Cramer's Rule,\\ 2. Cofactor expansion,\\ 3. Antisymmetry of determinants,\\ 4. Linearity of determinants,\\…
The general structure of the representation theory of a $Z_2$-graded coalgebra is discussed. The result contains the structure of Fourier analysis on compact supergroups and quantisations thereof as a special case. The general linear…
Plonka sums consist of an algebraic construction similar, in some sense to direct limits, which allows to represent classes of algebras defined by means of regular identities (namely those equations where the same set of variables appears…
In this paper, we consider real and complex algebras as well as algebras over general fields. In Section 2, we revisit and prove several results on (quadratic) algebras over general fields. As an example, we demonstrate that a quadratic…
We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…
We extend the family of classical Schur algebras in type A, which determine the polynomial representation theory of general linear groups over an infinite field, to a larger family, the rational Schur algebras, which determine the rational…
Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…
We provide a characterization of those relation algebras which are isomorphic to the algebras of compatible relations of some $\Z_2$-set. We further prove that this class is finitely axiomatizable in first-order logic in the language of…
We establish a direct connection between the representation theories of Lie algebras and Lie superalgebras (of type A) via Fock space reformulations of their Kazhdan-Lusztig theories. As a consequence, the characters of finite-dimensional…
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…
It has recently been shown that the $W_3$ and $W_3^{(2)}$ algebras can be considered as subalgebras in some linear conformal algebras. In this paper we show that the nonlinear algebras $W_{2,4}$ and $WB_2$ as well as Zamolodchikov's spin…
We construct classes of $Z_2 \times Z_2$-graded Lie algebras corresponding to the classical Lie algebras, in terms of their defining matrices. For the $Z_2 \times Z_2$-graded Lie algebra of type $A$, the construction coincides with the…
This is an introduction to advanced linear algebra, with emphasis on geometric aspects, and with some applications included too. We first review basic linear algebra, notably with the spectral theorem in its general form, and with the…
Differential-difference integrable exponential type systems are studied corresponding to the Cartan matrices of semi-simple or affine Lie algebras. For the systems corresponding to the algebras $A_2$, $B_2$, $C_2$, $G_2$ the complete sets…
In this paper, we explore natural connections among the representations of the extended affine Lie algebra $\widehat{sl_N}(\mathbb{C}_q)$ with $\mathbb{C}_q=\mathbb{C}_q[t_0^{\pm1},t_1^{\pm1}]$ an irrational quantum 2-torus, the simple…
We classify strongly homotopy Lie algebras - also called L-infinity algebras - of one even and two odd dimensions, which are related to $2|1$-dimensional $Z_2$-graded Lie algebras. What makes this case interesting is that there are many…
In this article we study extensions of Z_2-graded L_infinity algebras on a vector space of two even and one odd dimension. In particular, we determine all extensions of a super Lie algebra as an L_infinity algebra. Our convention on the…
The calculus of classes and closure operations has proved to be a useful tool in group theory and has led to a deep theory in the study of finite soluble groups. More recently, parallel theories have started to be developed in various…