Algorithms for \(b\)-functions, induced systems, and algebraic local cohomology of \(D\)-modules
type: Item
instance of: scholarly article
title: Algorithms for \(b\)-functions, induced systems, and algebraic local cohomology of \(D\)-modules
zbMATH Open document ID: 0893.32010
author: Toshinori Oaku
published in: Proceedings of the Japan Academy. Series A
publication date: 1997-05-20T00:00:00Z
review text: Let \(K\) be a field of characteristic \(0\) and denote by \(A_{n+1}(K)\) the Weyl algebra attached to the polynomial ring \(K[t,x_1,\dots,x_n]\). The author gives algorithms for detecting whether a finitely generated module over \(A_{n+1}(K)\) is specializable along \(t=0\) and for computing the corresponding \(b\)-functions. He also obtains algorithms for computing restrictions and algebraic local cohomology with respect to \(t=0\). The main ingredient is the technique of Gröbner bases for rings of differential operators, as introduced in [\textit{J. Briançon} and \textit{Ph. Maisonobe}, Enseign. Math. 30, 7-38 (1984; Zbl 0542.14008)] and [\textit{F. Castro}, C. R. Acad. Sci., Paris, Sér. I 302, No. 14, 487-490 (1986; Zbl 0606.32007)]. In order to compute Gröbner bases with respect to the Malgrange-Kashiwara filtration, the author uses a homogenization process for elements in \(A_{n+1}(K)\), which is analogous to the algorithm for the tangent cone in local algebra. A similar idea has been used in [\textit{A. Assi, F. J. Castro-Jiménez} and \textit{J. M. Granger}, C. R. Acad. Sci., Paris, Sér. I 320, No. 2, 193-198 (1995; Zbl 0849.13019) and Compos. Math. 104, No. 2, 107-123 (1996; Zbl 0862.32005)] [see also \textit{F. J. Castro-Jiménez} and the reviewer, Homogenising differential operators, Prep. 36, Fac. Matemáticas, Univ. Sevilla, June (1997)]. Full details have appeared in the author's paper [Duke Math. J. 87, No. 1, 115-132 (1997; see the paper above)].
Mathematics Subject Classification ID: 32C38
Mathematics Subject Classification ID: 16S32
Mathematics Subject Classification ID: 14F10
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 35A27
zbMATH DE Number: 993541
zbMATH Keywords: Weyl algebra
zbMATH Keywords: Gröbner basis
zbMATH Keywords: \(b\)-function
zbMATH Keywords: D-module
reviewed by: Luis Narváez-Macarro
MaRDI profile type: Publication
full work available at URL: pjaa.72.173
OpenAlex ID: W2062002698
cites work: Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
cites work: Q3964695
cites work: Q3784384
cites work: Algorithme de calcul du polynome de Bernstein. Cas non dégéneré. (Algorithm of computation of Bernstein polynomials. The non-degenerate case)
cites work: Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
cites work: Q3770636
cites work: Q4023642
cites work: Direct methods for primary decomposition
cites work: Q3772359
cites work: B-functions and holonomic systems. Rationality of roots of B-functions
cites work: On the holonomic systems of linear differential equations. II
cites work: Q3681128
cites work: Q3908041
cites work: Polygône de Newton et $b$-fonctions pour les modules microdifférentiels
cites work: Q4726572
cites work: Q4288563
cites work: Q4065784
cites work: Q4234314
cites work: Algorithmic methods for Fuchsian systems of linear partial differential equations
cites work: An algorithm of computing \(b\)-functions
cites work: Micro-local analysis of prehomogeneous vector spaces
cites work: Gröbner basis and the problem of contiguous relations
cites work: On the theory of b-functions
DOI: 10.3792/PJAA.72.173
Recommended article: Q4252616
Recommended article: Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
Recommended article: Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
Recommended article: Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
Recommended article: Q4336945
Recommended article: A localization algorithm for \(D\)-modules
Recommended article: Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial
Recommended article: Q3596945
Recommended article: Algorithms for associated primes, Weyl closure, and local cohomology of \(D\)-modules
Recommended article: Introduction to Algorithms for D-Modules with Quiver D-Modules
description: scientific article; zbMATH DE number 993541