Details:
Title  Computing the support of local cohomology modules  Author(s)  Jose AlvarezMontaner, Anton Leykin  Type  Article in Journal  Abstract  For a polynomial ring R = k [ x_1 , … , x_n ] , we present a method to compute the characteristic cycle of the localization R f for any nonzero polynomial f ∈ R that avoids a direct computation of R f as a D module. Based on this approach, we develop an algorithm for computing the characteristic cycle of the local cohomology modules H_I^r ( R ) for any ideal I ⊆ R using the Čech complex. The algorithm, in particular, is useful for answering questions regarding vanishing of local cohomology modules and computing Lyubeznik numbers. These applications are illustrated by examples of computations using our implementation of the algorithm in Macaulay 2.  Keywords  Characteristic cycle, Local cohomology, D modules  ISSN  07477171 
URL 
http://www.sciencedirect.com/science/article/pii/S0747717106000873 
Language  English  Journal  Journal of Symbolic Computation  Volume  41  Number  12  Pages  1328  1344  Year  2006  Edition  0  Translation 
No  Refereed 
No 
