Related papers: Formalizing Geometric Algebra in Lean
In this work, we propose a novel framework for defining the dual structure of a spinor. This construction relies on the basis elements of the Clifford algebra, leading to a covariant structure that embeds the dual. The formulation includes…
An alternative, pedagogically simpler derivation of the allowed physical wave fronts of a propagating electromagnetic signal is presented using geometric algebra. Maxwell's equations can be expressed in a single multivector equation using…
Recently, a geometrical characterization of vector spaces served to generalize them into a new class of algebras. Instead of the algebraic properties of the underlying fields, we generalized the recently discovered property of such spaces…
Rig groupoids provide a semantic model of \PiLang, a universal classical reversible programming language over finite types. We prove that extending rig groupoids with just two maps and three equations about them results in a model of…
This is the first part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. This theory generalizes the tensor category theory for…
Let $\mathscr N$ be a 2-step nilpotent Lie algebra endowed with non-degenerate scalar product $\langle.\,,.\rangle$ and let $\mathscr N=V\oplus_{\perp}Z$, where $Z$ is the centre of the Lie algebra and $V$ its orthogonal complement with…
Based on a fact that complex Clifford algebras of even dimension are isomorphic to the matrix ones, we consider bundles in Clifford algebras whose structure group is a general linear group acting on a Clifford algebra by left…
We suggest a new, alternative algebraic method for computation of geometrical quantities by means of the embedding of local loops into Lie groups.
Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…
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 Lie algebra of Clifford…
Superanalysis can be deformed with a fermionic star product into a Clifford calculus that is equivalent to geometric algebra. With this multivector formalism it is then possible to formulate Riemannian geometry and an inhomogeneous…
This paper deals with some basic constructions of linear and multilinear algebra on finite-dimensional diffeological vector spaces. We consider the diffeological dual formally checking that the assignment to each space of its dual defines a…
In this paper, we first construct the controlling algebras of embedding tensors and Lie-Leibniz triples, which turn out to be a graded Lie algebra and an $L_\infty$-algebra respectively. Then we introduce representations and cohomologies of…
A half a century ago, George Bergman introduced stunning machinery which would realise any commutative conical monoid as the non-stable $K$-theory of a ring. The ring constructed is ``minimal" or ``universal". Given the success of graded…
We develop the theory of linear algebra over a (Z_2)^n-commutative algebra (n in N), which includes the well-known super linear algebra as a special case (n=1). Examples of such graded-commutative algebras are the Clifford algebras, in…
We give a new computation of Hochschild (co)homology of the exterior algebra, together with algebraic structures, by direct comparison with the symmetric algebra. The Hochschild cohomology is determined to be essentially the algebra of…
Applying Gr\"obner basis theory to concrete problems in Lean 4 remains difficult since the current formalization of multivariate polynomials is based on a non-computable representation and is therefore not suitable for efficient symbolic…
We investigate the construction and properties of Clifford algebras by a similar manner as our previous construction of the octonions, namely as a twisting of group algebras of Z_2^n by a cocycle. Our approach is more general than the usual…
Any deformation of a Weyl or Clifford algebra can be realized through some change of generators in the undeformed algebra. Here we briefly describe and motivate our systematic procedure for constructing all such changes of generators for…
We extend Agler's notion of a function algebra defined in terms of test functions to include products, in analogy with the practice in real algebraic geometry, and hence the term preordering in the title. This is done over abstract sets and…