Search

Workshop

Computing Injective Resolutions and Local Cohomology

  • Anna Hofer (Otto-von-Guericke-Universität)
E1 05 (Leibniz-Saal)

Abstract

Although injective resolutions are fundamental objects in homological algebra, their computation remains intractable over general Noetherian rings. In the case of affine semigroup rings, Helm and Miller introduced algorithms to compute injective resolutions of finitely generated $\mathbb{Z}^d$-graded modules and, as an application, algorithms to compute local cohomology modules. These algorithms exploit the polyhedral structure of $\mathbb{Z}^d$-graded injective modules over these rings. We provide an OSCAR implementation of these algorithms, enabling the computation of first injective resolutions and local cohomology modules over non-regular rings.

Saskia Gutzschebauch

Max Planck Institute for Mathematics in the Sciences Contact via Mail

Mirke Olschewski

Max Planck Institute for Mathematics in the Sciences Contact via Mail

Thomas Kahle

Otto-von-Guericke-Universität

Bernd Sturmfels

Max-Planck-Institut für Mathematik in den Naturwissenschaften

Upcoming Events of this Conference