Related papers: A Step towards Computational Derived Algebraic Geo…
We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence…
Numerical Algebraic Geometry uses numerical data to describe algebraic varieties. It is based on the methods of numerical polynomial homotopy continuation, an alternative to the classical symbolic approaches of computational algebraic…
This note introduces the $\texttt{LikelihoodGeometry}$ package for the computer algebra system $\textit{Macaulay2}$. This package gives tools to construct the likelihood correspondence of a discrete algebraic statistical model, a variety…
We introduce the DeterminantalRepresentations package for Macaulay2, which computes definite symmetric determinantal representations of real polynomials. We focus on quadrics and plane curves of low degree (i.e. cubics and quartics). Our…
We present the $\textit{NumericalImplicitization}$ package for $\textit{Macaulay2}$, which allows for user-friendly computation of the invariants of the image of a polynomial map, such as dimension, degree, and Hilbert function values. This…
We introduce the Macaulay2 package GradedLieAlgebras for doing computations in graded Lie algebras presented by generators and relations.
In this paper, first we give the notion of a representation of a relative Rota-Baxter Lie algebra and introduce the cohomologies of a relative Rota-Baxter Lie algebra with coefficients in a representation. Then we classify abelian…
In order to understand the structure of the cohomologies involved in the study of projectively equivariant quantizations, we introduce a notion of affine representation of a Lie algebra.We show how it is related to linear representations…
In this paper, we introduce and study representation homology of topological spaces, which is a natural homological extension of representation varieties of fundamental groups. We give an elementary construction of representation homology…
We compute the cohomology with trivial coefficients of two graded infinite-dimensional Lie algebras of maximal class, give explicit formulas for their representative cocycles. Also we discuss the relations with combinatorics and…
We introduce the VirtualResolution package for the computer algebra system Macaulay2. This package has tools to construct, display, and study virtual resolutions for products of projective spaces. The package also has tools for generating…
The representation and cohomology theory of Hom-Lie-Yamaguti algebras is introduced. As an application, we study deformation and extension of Hom-Lie-Yamaguti algebras. It proved that a 1-parameter infinitesimal deformation of a…
We develop a numerical approach to cohomology. Essentially, vector spaces and linear maps are replaced by real numbers, which represent dimensions of vector spaces and ranks of linear maps. We use this to refine ideas of Van der Geer and…
The main purpose of this paper is to provide a full cohomology of a Hom-pre-Lie algebra with coefficients in a given representation. This new type of cohomology exploit strongly the Hom-type structure and fits perfectly with simultaneous…
This introduces Rees algebras and some of their uses with illustrations via version 2.0 of the Macaulay2 package ReesAlgebra.m2.
In this paper, we give a new series of coboundary operators of Hom-Lie algebras. And prove that cohomology groups with respect to coboundary operators are isomorphic. Then, we revisit representations of Hom-Lie algebras, and generalize the…
We describe the computer algebra software package SpectralSequences for the computer algebra system Macaulay2. This package implements many data types, objects and algorithms which pertain to, among other things, filtered complexes,…
We provide an overview of the Macaulay2 package VersalDeformations, which algorithmically computes versal deformations of isolated singularities, as well as local (multi)graded Hilbert schemes.
We introduce the MatrixSchubert package for the computer algebra system Macaulay2. This package has tools to construct and study matrix Schubert varieties and alternating sign matrix (ASM) varieties. The package also introduces tools for…
We show by studying the symplectic geometry of the extended moduli space that the intersection cohomology of the representation space $Hom(\pi_1(\Sigma),G)/G$ for a simply connected compact Lie group $G$ is naturally embedded into the $G$…