Related papers: ExteriorExtensions: A package for Macaulay2
We introduce the Brackets package for the computer algebra system Macaulay2, which provides convenient syntax for computations involving the classical invariants of the special linear group. We describe our implementation of bracket rings…
We introduce the \verb|Macaulay2| package \verb|RepHomology| for the computations of representation homology of certain spaces. The main methods implement computing the representation homology of surfaces (with group coefficients, and…
A well-known result of Kostant gives a description of the G-module structure for the exterior algebra of Lie algebra $\frak g$. We give a generalization of this result for the isotropy representations of symmetric spaces. If $\frak g={\frak…
{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological…
In this article we show how to compute a matrix representation and the implicit equation by means of the method developed in [Botbol: arXiv:1007.3437], using the computer algebra system Macaulay2 \cite{M2}. As it is probably the most…
As a first application of the double affine Hecke algebra with unequal parameters on Weyl orbits to representation theory of semisimple Lie algebras, we find the graded multiplicities of the trivial module and of the little adjoint module…
We study the structure of the space of covariants $B:=\left(\bigwedge (\mathfrak g/\mathfrak k)^*\otimes \mathfrak g\right)^{\mathfrak k},$ for a certain class of infinitesimal symmetric spaces $(\mathfrak g,\mathfrak k)$ such that the…
In this paper we study the category of graded modules for the current algebra associated to $\mathfrak{sl}_2$. The category enjoys many nice properties, including a tilting theory which was established in previous work of the authors. We…
We study the subspace of the exterior algebra of a simple complex Lie algebra linearly spanned by the copies of the little adjoint representation or, in the case of the Lie algebra of traceless matrices, by the copies of the n-th symmetric…
We introduce the Macaulay2 package GradedLieAlgebras for doing computations in graded Lie algebras presented by generators and relations.
The prolongation structure of a two-by-two problem is formulated very generally in terms of exterior differential forms on a standard representation of Pauli matrices. The differential system is general without making reference to any…
For a simple complex Lie algebra $\mathfrak g$ we study the space of invariants $A=\left( \bigwedge \mathfrak g^*\otimes\mathfrak g^*\right)^{\mathfrak g}$, (which describes the isotypic component of type $\mathfrak g$ in $ \bigwedge…
In this article, we describe the theoretical foundations of the Macaulay2 package ConnectionMatrices and explain how to use it. For a left ideal in the Weyl algebra that is of finite holonomic rank, we implement the computation of the…
We know the multiplicity of the adjoint representation of a semisimple Lie algebra in its own exterior algebra, but how do its copies distribute themselves between the exterior powers? The answer (the graded multiplicity) is obtained with…
Macaulay2 is a computer algebra platform widely used by researchers in algebraic geometry and commutative algebra. Using the ForeignFunctions package, it is possible to make calls from Macaulay2 to dynamic libraries such as FLINT. We…
This is the second installment of an exposition of an ACL2 formalization of elementary linear algebra. It extends the results of Part I, which covers the algebra of matrices over a commutative ring, but focuses on aspects of the theory that…
As an application of the general theory on extrinsic geometry, we investigate extrinsic geometry in frag varieties and systems of linear PDE's for a class of special interest associated with the adjoint representation of $\mathfrak{sl}(3)$.…
A long-term research proposal on the algebraic structure, the representations and the possible applications of paraparticle algebras is structured in three modules: The first part stems from an attempt to classify the inequivalent gradings…
A vertical exterior derivative is constructed that is needed for a graded Poisson structure on multisymplectic manifolds over nontrivial vector bundles. In addition, the properties of the Poisson bracket are proved and first examples are…
We describe the Macaulay2 package "A1BrouwerDegrees" for computing local and global $\mathbb{A}^1$-Brouwer degrees and studying symmetric bilinear forms over the complex numbers, the real numbers, the rational numbers, and finite fields of…