Related papers: Formalizing Geometric Algebra in Lean
We consider Clifford algebras over the field of real or complex numbers as a quotient algebra without fixed basis. We present classification of Clifford algebra elements based on the notion of quaternion type. This classification allows us…
This is an expanded version of the notes of my three lectures at a NATO Advanced Study Institute ``Symmetric functions 2001: surveys of developments and perspectives" (Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; June…
An introductory overview of vector spaces, algebras, and linear geometries over an arbitrary commutative field is given. Quotient spaces are emphasized and used in constructing the exterior and the symmetric algebras of a vector space.…
This paper builds on the theory of generalised functions begun in [1]. The Colombeau theory of generalised scalar fields on manifolds is extended to a nonlinear theory of generalised tensor fields which is diffeomorphism invariant and has…
The article presents a new approach to euclidean plane geometry based on projective geometric algebra (PGA). It is designed for anyone with an interest in plane geometry, or who wishes to familiarize themselves with PGA. After a brief…
Linearization of homogeneous polynomials of degree n and k variables leads to generalized Clifford algebras. Multicomplex numbers are then introduced in analogy to complex numbers with respect to usual Clifford algebra. In turn multicomplex…
Generalized geometry finds many applications in the mathematical description of some aspects of string theory. In a nutshell, it explores various structures on a generalized tangent bundle associated to a given manifold. In particular,…
In the present article we investigate the possibility of combining the usual Grassmann algebras with their ternary Z_3-graded counterpart, thus creating a more general algebra with coexisting quadratic and cubic constitutive relations. We…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
We review the concept of a graded bundle as a natural generalisation of a vector bundle. Such geometries are particularly nice examples of more general graded manifolds. With hindsight there are many examples of graded bundles that appear…
Problems involving geometric data arise in physics, chemistry, robotics, computer vision, and many other fields. Such data can take numerous forms, for instance points, direction vectors, translations, or rotations, but to date there is no…
The geometric calculus based on Clifford algebra is a very useful tool for geometry and physics. It describes a geometric structure which is much richer than the ordinary geometry of spacetime. A Clifford manifold ($C$-space) consists not…
We extend the calculus of multiplicative vector fields and differential forms and their intrinsic derivatives from Lie groups to Lie groupoids; this generalization turns out to include also the classical process of complete lifting from…
We compute an $L_\infty$-algebroid structure on a projective resolution of some classes of singular foliations on a vector space $V$ induced by the linear action of some Lie subalgebra of $\mathfrak {gl}(V)$. This $L_\infty$-algebroid…
This paper focuses on the $GL_n$ tensor product algebra, which encapsulates the decomposition of tensor products of arbitrary finite dimensional irreducible representations of $GL_n$. We will describe an explicit basis for this algebra.…
After a short introduction on Clifford algebras of polynomials, we give a general method of constructing a matrix representation. This process of linearization leads naturally to two fundamental structures: the generalized Clifford algebra…
In this paper we construct the quantum Virasoro algebra ${\mathcal{L}}_{c}$ generators in terms of operators of the generalized Clifford algebras $C_{n}^{k}$. Precisely, we show that ${\mathcal{L}}_{c}$ can be embedded into generalized…
Let F be a field of characteristic different from 2, and let $F^{n}$ denote the vector space of n-tuples of elements in F. Let ${e_{1}, ... , e_{n}}$ denote the canonical basis of $F^{n}$. Let r and s be nonnegative integers such that r + s…
In this paper, we present a natural implementation of singular value decomposition (SVD) and polar decomposition of an arbitrary multivector in nondegenerate real and complexified Clifford geometric algebras of arbitrary dimension and…
In recent years, there has been great interest in the study of categorification, specifically as it applies to the theory of quantum groups. In this thesis, we would like to provide a new approach to this problem by looking at Hall…