Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties

DOI10.1016/S0022-4049(99)00016-XzbMATH Open0960.14003arXivalg-geom/9710004WikidataQ126339166 ScholiaQ126339166MaRDI QIDQ1295794FDOQ1295794

Authors: Uli Walther 

Publication date: 2 September 1999

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: In this paper we present algorithms that compute certain local cohomology modules associated to a ring of polynomials containing the rational numbers. In particular we are able to compute the local cohomological dimension of algebraic varieties in characteristic zero. Our approach is based on the theory of D-modules.

Full work available at URL: https://arxiv.org/abs/alg-geom/9710004

Recommendations

• Algorithmic computation of de Rham cohomology of complements of complex affine varieties
• scientific article; zbMATH DE number 1989678
• scientific article; zbMATH DE number 1305909
• Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
• Algorithms for \(b\)-functions, induced systems, and algebraic local cohomology of \(D\)-modules
• Computing the support of local cohomology modules
• Toward an efficient algorithm for deciding the vanishing of local cohomology modules in prime characteristic
• scientific article; zbMATH DE number 1736033
• Computational aspects of the coordinate ring of an algebraic variety

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+basis&go=Go Gr��bner basis]algebraic varietylocal cohomologyWeyl algebraD-module

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Local cohomology and commutative rings (13D45) Computational aspects of higher-dimensional varieties (14Q15) Local cohomology and algebraic geometry (14B15)

Cites Work

• Gröbner basis and the problem of contiguous relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
• B-functions and holonomic systems. Rationality of roots of B-functions
• Finiteness properties of local cohomology modules (an application of \(D\)- modules to commutative algebra)
• Bass Numbers of Local Cohomology Modules
• F-modules: applications to local cohomology and D-modules in characteristic p>0.
• Title not available (Why is that?)
• Non-commutative Gröbner bases in algebras of solvable type
• Local cohomological dimension in characteristic p
• Local cohomological dimension of algebraic varieties
• The Number of Equations Defining a Determinantal Variety
• On the vanishing of local cohomology modules
• Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial
• Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
• Cohomological dimension of algebraic varieties
• Über lokale Kohomologiegruppen hoher Ordnung.
• On the De Rham cohomology of algebraic varieties
• An algorithm of computing \(b\)-functions
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (53)

• Graded components of local cohomology modules. II
• GKZ hypergeometric systems of the three-loop vacuum Feynman integrals
• Computing representation matrices for the action of Frobenius on cohomology groups
• \({\mathcal D}\)-modules on smooth toric varieties
• On invariants of modules over the ring of differential operators
• Cohomology, stratifications and parametric Gröbner bases in characteristic zero.
• Algorithmic proofs of two theorems of Stafford.
• Quasilength, latent regular sequences, and content of local cohomology
• Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
• On the structure of the endomorphism ring of a certain local cohomology module
• Local cohomology with support in ideals of maximal minors and sub-maximal Pfaffians
• Iterated local cohomology groups and Lyubeznik numbers for determinantal rings
• Local cohomology and Lyubeznik numbers of \(F\)-pure rings
• An algorithm for computing the Hilbert-Samuel multiplicities and reductions of zero-dimensional ideals of Cohen-Macaulay local rings
• Title not available (Why is that?)
• A localization algorithm for \(D\)-modules
• On the support of local cohomology
• Annihilating ideals for an algebraic local cohomology class
• Computing homomorphisms between holonomic \(D\)-modules
• Local cohomology at monomial ideals
• Local cohomology using Macaulay2
• Algorithms for graded injective resolutions and local cohomology over semigroup rings
• An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class
• Computing localizations iteratively.
• GKZ-hypergeometric systems for Feynman integrals
• The Alexander duality functors and local duality with monomial support
• Constructibility of the set of polynomials with a fixed Bernstein-Sato polynomial: an algorithmic approach.
• Algorithmic computation of de Rham cohomology of complements of complex affine varieties
• Algorithms for associated primes, Weyl closure, and local cohomology of \(D\)-modules
• Polynomial and rational solutions of holonomic systems
• Title not available (Why is that?)
• On derived functors of graded local cohomology modules
• Toward an efficient algorithm for deciding the vanishing of local cohomology modules in prime characteristic
• Local cohomology modules supported at determinantal ideals
• Title not available (Why is that?)
• Local cohomology with support in ideals of maximal minors
• Computing the support of local cohomology modules
• Some numerical invariants of local rings
• On top local cohomology modules, Matlis duality and tensor products
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
• The support of local cohomology modules
• Finiteness properties and numerical behavior of local cohomology
• Homogeneous system of parameters in codimension 1 and analytic independence
• Algorithms for \(b\)-functions, induced systems, and algebraic local cohomology of \(D\)-modules
• An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
• Bernstein-Sato functional equations, \(V\)-filtrations, and multiplier ideals of direct summands
• An algorithm for de Rham cohomology groups of the complement of an affine variety via \(D\)-module computation
• Local Cohomology—An Invitation
• Title not available (Why is that?)
• An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology
• Computing the cup product structure for complements of complex affine varieties.
• Characteristic cycles of local cohomology modules of monomial ideals. II
• Lyubeznik numbers of monomial ideals

Uses Software

• Kan

This page was built for publication: Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295794)