Computing higher direct images in Macaulay2
Sasha Zotine
TL;DR
This paper introduces the ToricHigherDirectImages package in Macaulay2, which efficiently computes higher direct images of line bundles under surjective toric morphisms, facilitating algebraic geometry computations.
Contribution
It presents a novel method implemented in Macaulay2 for computing higher direct images in the context of toric varieties, expanding computational tools in algebraic geometry.
Findings
Implemented a new Macaulay2 package for direct image computations.
Demonstrated effectiveness on examples of toric morphisms.
Enhanced computational capabilities for algebraic geometers.
Abstract
This article highlights the ToricHigherDirectImages package in Macaulay2. The central feature is a method for computing (higher) direct images of line bundles under surjective toric morphisms.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic Geometry and Number Theory · Commutative Algebra and Its Applications · Polynomial and algebraic computation