Related papers: Trialities and Exceptional Lie Algebras: DECONSTRU…

Using octonions and the triality property of Spin(8), we find explicit formulae for the Lie brackets of the exceptional simple real Lie algebras $\mathfrak{f}_4$ and $\mathfrak{f}^*_4$, i.e. the Lie algebras of the isometry groups of the…

This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…

We give a review of recent works for non-associative algebras, especially Lie algebras satisfying the triality relation. They are also intimately related to S_4 (symmetric group of 4-objects) symmetry of the Lie algebras.

The theory of Lie remarkable equations, i.e. differential equations characterized by their Lie point symmetries, is reviewed and applied to ordinary differential equations. In particular, we consider some relevant Lie algebras of vector…

Given the real Clifford algebra of a quadratic space with a given signature, we define a new product in this structure such that it simulates the Clifford product of a quadratic space with another signature different from the original one.…

A geometric approach is used to study the Abel first order differential equation of the first kind. The approach is based on the recently developed theory of quasi-Lie systems which allows us to characterise some particular examples of…

Magic-square constraints define Diophantine systems whose solutions, in several natural families, exhibit rigid periodic structure. We study this structure in an oracle setting, where a marked set of integers is given by black-box access…

Let L be a restricted Lie algebra over a field of positive characteristic. We survey the known results about the Lie structure of the restricted enveloping algebra u(L) of L. Related results about the structure of the group of units and the…

We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces…

We exploit a new theory of duality transformations to construct dual representations of models incompatible with traditional duality transformations. Hence we obtain a solution to the long-standing problem of non-Abelian dualities that…

While geometry with transcendental curves, like the Quadratrix of Hippias and the Spiral of Archimedes, played a significant role in our modern developments of geometry and algebra. The investigation has fallen off in the modern era despite…

A unified treatment of the $2 \times 2$ analog of the Freudenthal-Tits magic square of Lie groups is given, providing an explicit representation in terms of matrix groups over composition algebras.

We give a novel and effective criterion for algebraicity of rational normal analytic surfaces constructed from resolving the singularity of an irreducible curve-germ on $CP^2$ and contracting the strict transform of a given line and all but…

This article has been written for an educational magazine whose target audience consists of students and teachers of mathematics in universities, colleges and schools. It concerns a notion of duality between rectangles. A proof is given…

Poisson-Lie duality provides an algebraic extension of conventional Abelian and non-Abelian target space dualities of string theory and has seen recent applications in constructing quantum group deformations of holography. Here we…

The gauge theories underlying gauged supergravity and exceptional field theory are based on tensor hierarchies: generalizations of Yang-Mills theory utilizing algebraic structures that generalize Lie algebras and, as a consequence, require…

We consider the non-supersymmetric "magic" theories based on the split quaternion and the split complex division algebras. We show that these theories arise as "Ehlers" $SL(2,\mathbb{R})$ and $SL(3,\mathbb{R})$ truncations of the maximal…

We introduce the notions of a mutually algebraic structures and theories and prove many equivalents. A theory $T$ is mutually algebraic if and only if it is weakly minimal and trivial if and only if no model $M$ of $T$ has an expansion…

We make a very detailed analysis of the numerical properties of effective divisors whose support is contained in the exceptional locus of a birational morphism of smooth projective surfaces. As an application we extend Miyaoka's inequality…

Any simple elliptic singularity of type $\tilde{D}_5$ can be obtained by taking the intersection of the nilpotent variety and the 4-dimensional "good slices" in the semi-simple Lie algebra ${\frak sl}(2, {\mathbb C}) \oplus {\frak sl}(2,…