Related papers: ExteriorExtensions: A package for Macaulay2
In this paper we translate the necessary and sufficient conditions of Tanaka's theorem on the finiteness of effective prolongations of a fundamental graded Lie algebras into computationally effective criteria, involving the rank of some…
We study a family of Siegel modular forms that are constructed using Jacobi forms that arise in Umbral moonshine. All but one of them arise as the Weyl-Kac-Borcherds denominator formula of some Borcherds-Kac-Moody (BKM) Lie superalgebras.…
Let $\mathfrak{g}$ be an algebra over $K$ with a bilinear operation $[\cdot,\cdot]:\mathfrak{g}\times\mathfrak{g}\rightarrow\mathfrak{g}$ not necessarily associative. For $A\subseteq\mathfrak{g}$, let $A^{k}$ be the set of elements of…
Two different types of centrally extended quantum reflection algebras are introduced. Realizations in terms of the elements of the central extension of the Yang-Baxter algebra are exhibited. A coaction map is identified. For the special…
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $A = \mathbb K[x_1,\dots,x_n]$ the polynomial ring, and let $W_n(\mathbb K)$ denote the Lie algebra of all $\mathbb K$-derivations on $A$. The Lie algebra $W_n :=…
We introduce the Macaulay2 package MatchingPowers. It allows to compute and manipulate the matching powers of a monomial ideal. The basic theory of matching powers is explained and the main features of the package are presented.
Given a finite-dimensional, complex simple Lie algebra we exhibit an integral form for the universal enveloping algebra of its map algebra, and an explicit integral basis for this integral form. We also produce explicit commutation formulas…
In the note some construction of Lie algebras is introduced. It is proved that the construction has the same property as a well known wreath product of groups [1]: Any extension of groups can be embedded into their wreath product [2].
We present an explicit and computationally actionable blueprint for constructing vector-valued Siegel modular forms associated to real multiplication (RM) abelian surfaces, leveraging the theta correspondence for the unitary dual pair…
We construct certain integral structures for the cores of reduced tame extended affine Lie algebras of rank at least 2. One of the main tools to achieve this is a generalization of Chevalley automorphisms in the context of extended affine…
Jacobi algebroids (i.e. `Jacobi versions' of Lie algebroids) are studied in the context of graded Jacobi brackets on graded commutative algebras. This unifies varios concepts of graded Lie structures in geometry and physics. A method of…
We explicitly construct an approximate version of the Kolmogorov superpositions, which is composed of C2-inner and outer functions, and can approximate an arbitrary alpha Holder continuous function with accuracy of N to the power -alpha,…
We introduce the ForeignFunctions package for Macaulay2, which uses libffi to provide the ability to call functions from external libraries without needing to link against them at compile time. As examples, we use the library FFTW to…
We describe a topological predual to differential forms constructed as an inductive limit of a sequence of Banach spaces. This subspace of currents has nice properties, in that Dirac chains and polyhedral chains are dense, and its operator…
We investigate the combinatorial structure of subspaces of the exterior algebra of a finite-dimensional real vector space, working in parallel with the extremal combinatorics of hypergraphs. Using initial monomials, projections of the…
Let $\mathcal{B}_{\mathfrak{q}}$ be a finite-dimensional Nichols algebra of diagonal type corresponding to a matrix $\mathfrak{q} \in \mathbf{k}^{\theta \times \theta}$, where $\mathbf{k}$ is an algebraically closed field of characteristic…
This article constructs a crossed module corresponding to the generator of the third cohomology group with trivial coefficients of a complex simple Lie algebra. This generator reads as <[,],>, constructed from the Lie bracket [,] and the…
The aim of this paper is to present a construction of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. The construction is based on exterior algebra methods, finite field searches and standard…
In this paper, we review or introduce several differential structures on manifolds in the general setting of real and complex differential geometry, and apply this study to Teichm\"uller theory. We focus on bi-Lagrangian i.e. para-K\"ahler…
In this paper we propose a novel approach to discretize linear port-Hamiltonian systems while preserving the underlying structure. We present a finite element exterior calculus formulation that is able to mimetically represent conservation…