Related papers: The Supergeometric Algebra

We pursue an analogy of the Schur-Weyl reciprocity for the spinor groups and pick up the irreducible spin representations in the tensor space $\Delta \textstyle{\bigotimes \bigotimes^k V}$. Here $\Delta$ is the fundamental representation of…

One of the main goals of these notes is to explain how rotations in reals^n are induced by the action of a certain group, Spin(n), on reals^n, in a way that generalizes the action of the unit complex numbers, U(1), on reals^2, and the…

When coupling fermions to gravity, torsion is naturally induced. We consider the possibility that fermion bilinears can act as a source for torsion, altering the dynamics of the early universe such that the big bang gets replaced with a…

The physical fields (electromagnetic and electron fields) considered in the framework of Clifford algebras $\C_2$ and $\C_4$. The electron field described by the algebra $\C_4$ which in spinor representation is realized by well-known Dirac…

To describe external and internal attributes of fundamental fermions, a theory of multi-spinor fields is developed on an algebra, a {\it triplet algebra}, which consists of all the triple-direct-products of Dirac \gamma-matrices. The…

{\sc CLIFFORD} is a Maple package for computations in Clifford algebras $\cl (B)$ of an arbitrary symbolic or numeric bilinear form B. In particular, B may have a non-trivial antisymmetric part. It is well known that the symmetric part g of…

We consider Borcherds superalgebras obtained from semisimple finite-dimensional Lie algebras by adding an odd null root to the simple roots. The additional Serre relations can be expressed in a covariant way. The spectrum of generators at…

This note provides an intrinsic construction of the Carrollian superplane $\Pi \mathbb{S}\simeq \mathbb{R}^{2|4}$ as a supermanifold generalisation of the Carrollian plane. Moving away from the $c\rightarrow 0$ limit of relativistic…

String diagrams turn algebraic equations into topological moves that have recurring shapes, involving the sliding of one diagram past another. We individuate, at the root of this fact, the dual nature of polygraphs as presentations of…

This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…

"Thick" or "microformal" morphisms of supermanifolds generalize ordinary maps. They were discovered as a tool for homotopy algebras. Namely, the corresponding pullbacks provide $L_{\infty}$-morphisms for $S_{\infty}$ or Batalin--Vilkovisky…

Tensor hierarchies are algebraic objects that emerge in gauging procedures in supergravity models, and that present a very deep and intricate relationship with Leibniz (or Loday) algebras. In this paper, we show that one can canonically…

This work has as the main aim to explore the nature of the fermionic fields, through a classification of spinor fields about physical space of interest, such as the bulk and the compactified space $S^7$ from the supergravity theories. This…

The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n-1] (and of certain classes of compositions…

We present a new algorithm to decompose generic spinor polynomials into linear factors. Spinor polynomials are certain polynomials with coefficients in the geometric algebra of dimension three that parametrize rational conformal motions.…

There is a growing interest in the logical possibility that exceptional mathematical structures (exceptional Lie and superLie algebras, the exceptional Jordan algebra, etc.) could be linked to an ultimate "exceptional" formulation for a…

The theory of vectors and spinors in 9+1 dimensional spacetime is introduced in a completely octonionic formalism based on an octonionic representation of the Clifford algebra $\Cl(9,1)$. The general solution of the classical equations of…

We consider a structure of the $\mathbb{K}$-Hilbert space, where $\mathbb{K}\simeq\mathbb{R}$ is a field of real numbers, $\mathbb{K}\simeq\mathbb{C}$ is a field of complex numbers, $\mathbb{K}\simeq\mathbb{H}$ is a quaternion algebra,…

In this paper we show how to describe the general theory of a linear metric compatible connection with the theory of Clifford valued differential forms. This is done by realizing that for each spacetime point the algebra of Clifford…

The line geometric model of 3-D projective geometry has the nice property that the Lie algebra sl(4) of 3-D projective transformations is isomorphic to the bivector algebra of CL(3,3), and line geometry is closely related to the classical…