Related papers: ExteriorExtensions: A package for Macaulay2
A ${\mathbb Z}_2\times{\mathbb Z}_2$-graded Lie algebra $\mathfrak g$ is a ${\mathbb Z}_2\times{\mathbb Z}_2$-graded algebra $\mathfrak g$ with a bracket $[|. , . |]$ that satisfies certain graded versions of the symmetry and Jacobi…
We present new closed-form expressions for certain improper integrals of Mathematical Physics such as certain Ising, Box, and Associated integrals. The techniques we employ here include (a) the Method of Brackets and its modifications and…
We develop commuting finite element projections over smooth Riemannian manifolds. This extension of finite element exterior calculus establishes the stability and convergence of finite element methods for the Hodge-Laplace equation on…
Frame bundles equipped with a principal connection have their local structure characterised by a 1-form, called the Cartan connection 1-form, which gathers the principal connection form and the soldering form. We introduce generalised frame…
The Orlik-Solomon algebra ${\cal A}(G)$ of a matroid $G$ is the free exterior algebra on the points, modulo the ideal generated by the circuit boundaries. On one hand, this algebra is a homotopy invariant of the complement of any complex…
In this paper we prove formality of the exterior algebra on V+V* endowed with the big bracket considered as a graded Poisson algebra. We also discuss connection of this result to bialgebra deformations of the symmetric algebra of V…
We present a unified and completely general formulation of extended geometry, characterised by a Kac-Moody algebra and a highest weight coordinate module. Generalised diffeomorphisms are constructed, as well as solutions to the section…
This work provides five explicit constructions of the exceptional Lie algebra $\mathfrak{e}_8$, based on its semisimple subalgebras of maximal rank. Each of these models is graded by an abelian group, namely, $\mathbb{Z}_4$, $\mathbb{Z}_5$,…
Given a complex semisimple Lie algebra ${\mathfrak g}$ and a commutative ${\mathbb C}$-algebra $A$, let ${\mathfrak g}[A] = {\mathfrak g} \otimes A$ be the corresponding generalized current algebra. In this paper we explore questions…
A Hamiltonian field theory for the macroscopic Maxwell equations with fully general polarization and magnetization is stated in the language of differential forms. The precise procedure for translating the vector calculus formulation into…
In this article we will introduce, among others, the variety of subcomplexes and the variety of maps between complexes of given rank. Also, varieties of $\mathfrak{g}$-structure like $\mathfrak{g}$-Grassmannian, $\mathfrak{g}$-determinantal…
In this paper, we investigate the relationship between the Hilbert functions and the associated properties of the graded modules. To attain this, we construct the graded modules from the sets of points in projective space, $\mathbb{P}_k^n$…
In this note, we determine the structure of the associative algebra generated by the differential operators $\overline{\mu}, \overline{\partial}, \partial, \mu$ that act on complex-valued differential forms of almost complex manifolds. This…
The construction of superintegrable systems based on Lie algebras and their universal enveloping algebras has been widely studied over the past decades. However, most constructions rely on explicit differential operator realisations and…
In this paper we give a way of equipping the derivation algebra of a group algebra with the structure of a graded algebra. The derived group is used as the grading group. For the proof, the identification of the derivation with the…
This article highlights the ToricHigherDirectImages package in Macaulay2. The central feature is a method for computing (higher) direct images of line bundles under surjective toric morphisms.
Let $\mathfrak{g}$ be a Lie algebra, $E$ a vector space containing $\mathfrak{g}$ as a subspace. The paper is devoted to the \emph{extending structures problem} which asks for the classification of all Lie algebra structures on $E$ such…
We give an overview of the Macaulay2 package Matroids, which contains functionality to create and compute with matroids. Examples highlighting the use of all major functions in the package are provided, along with explanations of some of…
A general method to easily build global and relative operators for any number n of elementary systems if they are defined for 2 is presented. It is based on properties of the morphisms valued in the tensor products of algebras of the…
We build a differential calculus for subalgebras of the Moyal algebra on R^4 starting from a redundant differential calculus on the Moyal algebra, which is suitable for reduction. In some cases we find a frame of 1-forms which allows to…