Related papers: Generalized exterior algebras
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…
In this paper we introduce the concept of metric Clifford algebra $\mathcal{C\ell}(V,g)$ for a $n$-dimensional real vector space $V$ endowed with a metric extensor $g$ whose signature is $(p,q)$, with $p+q=n$. The metric Clifford product on…
It is shown that the differential geometry of space-time, can be expressed in terms of the algebra of operators on a bundle of Hilbert spaces. The price for this is that the algebra of smooth functions on space-time has to be made…
Recently a class of alternative theories of gravity which goes under the name f(R) gravity, has received considerable attention, mainly due to its interesting applications in cosmology. However, the phenomenology of such theories is not…
The modern algebra concepts are used to construct tables of algebraic spinors related to Clifford algebra multivectors with real and complex coefficients. The following data computed by Mathematica are presented in form of tables for…
Based on the structure theory of pairs of skew-symmetric matrices, we give a conjecture for the Hilbert series of the exterior algebra modulo the ideal generated by two generic quadratic forms. We show that the conjectured series is an…
We extend the class of recently formulated scalar-nonmetricity theories by coupling a five-parameter nonmetricity scalar to a scalar field and considering a mixed kinetic term between the metric and the scalar field. The symmetric…
This is an overview of higher structural constructions in physics. The main motivations of our current attempt are as follows: (i) to provide a brief introduction to derived algebraic geometry, (ii) to understand how derived objects…
The Geometric Algebra Transformer (GATr) is a versatile architecture for geometric deep learning based on projective geometric algebra. We generalize this architecture into a blueprint that allows one to construct a scalable transformer…
In this dissertation, we explore models based on the idea that there are two metrics in spacetime: One describes the standard gravity, and the other provides a geometry in which matter fields propagate. In order to do that, we provide the…
Starting with a Hilbert space endowed with a representation of a unitary Lie algebra and an action of a generalized Dirac operator, we develop a mathematical concept towards gauge field theories. This concept shares common features with the…
This paper presents an exterior-algebra generalization of electromagnetic fields and source currents as multivectors of grades $r$ and $r-1$ respectively in a flat space-time with $n$ space and $k$ time dimensions. Formulas for the Maxwell…
Gravity can be formulated as a gauge theory by combining symmetry principles and geometrical methods in a consistent mathematical framework. The gauge approach to gravity leads directly to non-Euclidean, post-Riemannian spacetime…
We study the graded derivation-based noncommutative differential geometry of the $Z_2$-graded algebra ${\bf M}(n| m)$ of complex $(n+m)\times(n+m)$-matrices with the ``usual block matrix grading'' (for $n\neq m$). Beside the…
Several examples and models based on noncommutative differential calculi on commutative algebras indicate that a metric should be regarded as an element of the left-linear tensor product of the space of 1-forms with itself. We show how the…
Current generalizations of the classical Einstein-Hilbert Lagrangian formulation of General Relativity are reviewed. Some alternative variational principles are known to reproduce Einstein's gravitational equations, and should therefore be…
In this work a study of the gravity is made using Einstein's equation in the post-Newtonian approach. This is a method to linearise the General Relativity indicated to treat non-relativistic objects. It enables us to construct, from…
A construction of conservation laws for $\sigma$-models in two dimensions is generalized in the framework of noncommutative geometry of commutative algebras. This is done by replacing the ordinary calculus of differential forms with other…
The proposal of this work is to provide an answer to the following question: is it possible to treat the metric of space-time - that in General Relativity (GR) describes the gravitational interaction - as an effective geometry? In other…
Generalisations of geometry have emerged in various forms in the study of field theory and quantization. This mini-review focuses on the role of higher geometry in three selected physical applications. After motivating and describing some…