Related papers: Computing higher direct images in Macaulay2
We introduce the Macaulay2 package SparseResultants, which provides general tools for computing sparse resultants, sparse discriminants, and hyperdeterminants. We give some background on the theory and briefly show how the package works.
{\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…
We describe a Macaulay2 package for computing Schur complexes. This package expands on the ChainComplexOperations package by David Eisenbud.
Algebraic methods have a long history in statistics. The most prominent manifestation of modern algebra in statistics can be seen in the field of algebraic statistics, which brings tools from commutative algebra and algebraic geometry to…
The {\tt Macaulay2} package {\tt RandomMonomialIdeals} provides users with a set of tools that allow for the systematic generation and study of random monomial ideals. It also introduces new objects, Sample and Model, to allow for…
We discuss an algorithm computing the push-forward to projective space of several classes associated to a (possibly singular, reducible, nonreduced) projective scheme. For example, the algorithm yields the topological Euler characteristic…
We improve a previously known theoretic method to compute A-resultants for suitable monomial support sets due to Weyman to the extent that it becomes computationally feasible and effective. This is achieved by introducing a new algorithm…
In this Macaulay2 \cite{M2} package we define an object called {\it linear code}. We implement functions that compute basic parameters and objects associated with a linear code, such as generator and parity check matrices, the dual code,…
We explain a Macaulay2 implementation of a construction, which appeared in [Holweck-Oeding arXiv:2206.13662], of a graded algebra structure on the direct sum of a Lie algebra $\mathfrak{g}$ (typically $\mathfrak{sl}_n$) and a…
Let $X$ be a projective smooth surface over $\mathbb{C}$ with $H^2(\mathcal{O}_X)=0$. Let $M=M(L,\chi)$ be the moduli space of 1-dimensional semistable sheaves with determinant $\mathcal{O}_X(L)$ and Euler characteristic $\chi$. We have the…
Using the harmonic theory developed by Takegoshi for representation of relative cohomology and the framework of computation of curvature of direct images bundles by Berndtsson, we prove that the higher direct images by a smooth morphism of…
This introduces Rees algebras and some of their uses with illustrations via version 2.0 of the Macaulay2 package ReesAlgebra.m2.
The MultiplicitySequence package for Macaulay2 computes the multiplicity sequence of a graded ideal in a standard graded ring over a field, as well as several invariants of monomial ideals related to integral dependence. We discuss two…
Symbolic powers are a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously…
Cellular resolutions are a technique for constructing resolutions of monomial ideals by giving a cell complex labeled by monomials, or more generally, by monomial modules. This \verb|Macaulay2| package allows us to work with cellular…
The signature of a path is a non-commutative power series whose coefficients are given by certain iterated integrals over the path coordinates. This series almost uniquely characterizes the path up to translation and reparameterization.…
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.
Let $\pi:\mathcal{X}\to M$ be a holomorphic fibration with compact fibers and $L$ a relatively ample line bundle over $\mathcal{X}$. We obtain the asymptotic of the curvature of $L^2$-metric and Qullien metric on the direct image bundle…
This paper is devoted to the study of the asymptotics of Monge-Amp\`ere volumes of direct images associated with high tensor powers of an ample line bundle. We study the leading term of this asymptotics and provide a classification of…
The main goal of this paper is to give a general method to compute (via computer algebra systems) an explicit set of generators of the ideals of the projective embeddings of some ruled surfaces, namely projective line bundles over curves…