-
Connection Matrices in Macaulay2
Authors:
Paul Görlach,
Joris Koefler,
Anna-Laura Sattelberger,
Mahrud Sayrafi,
Hendrik Schroeder,
Nicolas Weiss,
Francesca Zaffalon
Abstract:
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 encoded system of linear PDEs in connection form with respect to an elimination term order that depends on a chosen positive weight vector. We also implement the gau…
▽ More
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 encoded system of linear PDEs in connection form with respect to an elimination term order that depends on a chosen positive weight vector. We also implement the gauge transformation for carrying out a change of basis over the field of rational functions. We demonstrate all implemented algorithms with examples.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Computing Direct Sum Decompositions
Authors:
Devlin Mallory,
Mahrud Sayrafi
Abstract:
The problems of finding isomorphism classes of indecomposable modules with certain properties, or determining the indecomposable summands of a module, are ubiquitous in commutative algebra, group theory, representation theory, and other fields. The purpose of this work is to describe and prove correctness of a practical algorithm for computing indecomposable summands of finitely generated modules…
▽ More
The problems of finding isomorphism classes of indecomposable modules with certain properties, or determining the indecomposable summands of a module, are ubiquitous in commutative algebra, group theory, representation theory, and other fields. The purpose of this work is to describe and prove correctness of a practical algorithm for computing indecomposable summands of finitely generated modules over a finitely generated k-algebra, for k a field of positive characteristic. Our algorithm works over multigraded rings, which enables the computation of indecomposable summands of coherent sheaves on subvarieties of toric varieties (in particular, for varieties embedded in projective space). We also present multiple examples, including some which present previously unknown phenomena regarding the behavior of summands of Frobenius pushforwards and syzygies over Artinian rings.
△ Less
Submitted 27 December, 2024;
originally announced December 2024.
-
Splitting of Vector Bundles on Toric Varieties
Authors:
Mahrud Sayrafi
Abstract:
We prove a Horrocks-type splitting criterion for arbitrary smooth projective toric varieties under an additional hypothesis similar to the case of products of projective spaces by Eisenbud--Erman--Schreyer.
We prove a Horrocks-type splitting criterion for arbitrary smooth projective toric varieties under an additional hypothesis similar to the case of products of projective spaces by Eisenbud--Erman--Schreyer.
△ Less
Submitted 27 December, 2024;
originally announced December 2024.
-
Bounds on Multigraded Regularity
Authors:
Juliette Bruce,
Lauren Cranton Heller,
Mahrud Sayrafi
Abstract:
Multigraded Castelnuovo--Mumford regularity of a module $M$ over the total coordinate ring $S$ of a smooth projective toric variety $X$ is a region $\operatorname{reg} M \subset \operatorname{Pic} X$ invariant under translation by the nef cone $\operatorname{Nef} X$. We prove that the multigraded regularity of a finitely generated faithful module is contained in a translate of…
▽ More
Multigraded Castelnuovo--Mumford regularity of a module $M$ over the total coordinate ring $S$ of a smooth projective toric variety $X$ is a region $\operatorname{reg} M \subset \operatorname{Pic} X$ invariant under translation by the nef cone $\operatorname{Nef} X$. We prove that the multigraded regularity of a finitely generated faithful module is contained in a translate of $\operatorname{Nef} X$ determined by the degrees of the generators of $M$, and thus contains only finitely many minimal elements. We show that this condition can fail even for cyclic modules if $M$ has torsion and the rank of the Picard group is at least two.
As an application, we exhibit asymptotic bounds for the multigraded regularity of powers of ideals. For $I$ an ideal in $S$, we bound $\operatorname{reg}(I^n)$ by proving that it contains a translate of $\operatorname{reg} S$ and is contained in a translate of $\operatorname{Nef} X$, where each bound translates by a fixed vector as $n$ increases.
△ Less
Submitted 28 February, 2025; v1 submitted 23 August, 2022;
originally announced August 2022.
-
A short resolution of the diagonal for smooth projective toric varieties of Picard rank 2
Authors:
Michael K. Brown,
Mahrud Sayrafi
Abstract:
Given a smooth projective toric variety $X$ of Picard rank 2, we resolve the diagonal sheaf on $X \times X$ by a linear complex of length $\dim{X}$ consisting of finite direct sums of line bundles. As applications, we prove a new case of a conjecture of Berkesch-Erman-Smith that predicts a version of Hilbert's Syzygy Theorem for virtual resolutions, and we obtain a Horrocks-type splitting criterio…
▽ More
Given a smooth projective toric variety $X$ of Picard rank 2, we resolve the diagonal sheaf on $X \times X$ by a linear complex of length $\dim{X}$ consisting of finite direct sums of line bundles. As applications, we prove a new case of a conjecture of Berkesch-Erman-Smith that predicts a version of Hilbert's Syzygy Theorem for virtual resolutions, and we obtain a Horrocks-type splitting criterion for vector bundles over smooth projective toric varieties of Picard rank 2, extending a result of Eisenbud-Erman-Schreyer. We also apply our results to give a new proof, in the case of smooth projective toric varieties of Picard rank 2, of a conjecture of Orlov concerning the Rouquier dimension of derived categories.
△ Less
Submitted 22 October, 2024; v1 submitted 31 July, 2022;
originally announced August 2022.
-
Characterizing Multigraded Regularity and Virtual Resolutions on Products of Projective Spaces
Authors:
Juliette Bruce,
Lauren Cranton Heller,
Mahrud Sayrafi
Abstract:
We explore the relationship between multigraded Castelnuovo--Mumford regularity, truncations, Betti numbers, and virtual resolutions on a product of projective spaces $X$. After proving a uniqueness theorem for certain minimal virtual resolutions, we show that the multigraded regularity region of a module $M$ is determined by the minimal graded free resolutions of the truncations…
▽ More
We explore the relationship between multigraded Castelnuovo--Mumford regularity, truncations, Betti numbers, and virtual resolutions on a product of projective spaces $X$. After proving a uniqueness theorem for certain minimal virtual resolutions, we show that the multigraded regularity region of a module $M$ is determined by the minimal graded free resolutions of the truncations $M_{\geq\mathbf d}$ for $\mathbf d\in\operatorname{Pic} X$. Further, by relating the minimal graded free resolutions of $M$ and $M_{\geq\mathbf d}$ we provide a new bound on multigraded regularity of $M$ in terms of its Betti numbers. Using this characterization of regularity and this bound we also compute the multigraded Castelnuovo--Mumford regularity for a wide class of complete intersections in products of projective spaces.
△ Less
Submitted 16 September, 2024; v1 submitted 20 October, 2021;
originally announced October 2021.
-
The Virtual Resolutions Package for Macaulay2
Authors:
Ayah Almousa,
Juliette Bruce,
Michael C. Loper,
Mahrud Sayrafi
Abstract:
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 curves in $\mathbb{P}^1\times\mathbb{P}^2$, providing sources for interesting virtual resolutions.
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 curves in $\mathbb{P}^1\times\mathbb{P}^2$, providing sources for interesting virtual resolutions.
△ Less
Submitted 19 May, 2020; v1 submitted 16 May, 2019;
originally announced May 2019.
-
Computations over Local Rings in Macaulay2
Authors:
Mahrud Sayrafi
Abstract:
Local rings are ubiquitous in algebraic geometry. Not only are they naturally meaningful in a geometric sense, but also they are extremely useful as many problems can be attacked by first reducing to the local case and taking advantage of their nice properties. Any localization of a ring $R$, for instance, is flat over $R$. Similarly, when studying finitely generated modules over local rings, proj…
▽ More
Local rings are ubiquitous in algebraic geometry. Not only are they naturally meaningful in a geometric sense, but also they are extremely useful as many problems can be attacked by first reducing to the local case and taking advantage of their nice properties. Any localization of a ring $R$, for instance, is flat over $R$. Similarly, when studying finitely generated modules over local rings, projectivity, flatness, and freeness are all equivalent.
We introduce the packages PruneComplex, Localization and LocalRings for Macaulay2. The first package consists of methods for pruning chain complexes over polynomial rings and their localization at prime ideals. The second package contains the implementation of such local rings. Lastly, the third package implements various computations for local rings, including syzygies, minimal free resolutions, length, minimal generators and presentation, and the Hilbert--Samuel function.
The main tools and procedures in this paper involve homological methods. In particular, many results depend on computing the minimal free resolution of modules over local rings.
△ Less
Submitted 26 October, 2017;
originally announced October 2017.
