Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules
type: Item
instance of: scholarly article
title: Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules
zbMATH Open document ID: 1428.13047
author: Katsusuke Nabeshima
author: Katsuyoshi Ohara
author: Shinichi Tajima
published in: Journal of Symbolic Computation
publication date: 2018-06-06T00:00:00Z
review text: Let \(f_1, \cdots, f_q\) be elements in the polynomial ring \(K[x,u]=K[x_1, \cdots , x_n,u]\) and \(A_n[s,u] = A_n \otimes_K K[s,u]\) be the Weyl algebra over \(K[s,u]=K[s_1, \cdots, s_q]\), where \(A_n\) is the Weyl algebra over K. Here \(u\) is as a parameter. The symbol \(f^s=f_1^{s_1} \cdots f_q^{s_q}\) is a generator of the \(A_n[s,u]\)-modul \(A_n[s] f^s\), where the action of differential operators on \(f^s\) is the intuitive one. One is interested in the annihilator \({\operatorname Ann}(f^s)\subset A_n[s]\) and also certain so-called Berstein-Sato ideals \[ \mathcal B_i =\{ b\in K[s,u] |b f^s \in A_n[s]\cdot f_if^s \}, \quad \mathcal B_\Sigma =\{ b\in K[s,u] | bf^s \in A_n[s]\cdot \sum_{i=1}^qf_if^s \}. \] A specialisation \(s\) is a homomorphism \(s: K[x,u]\to K'[x]\), wher \(K'\) is a field, which then also induces a homomorphism \(s: A_n[s,u]\to A_n'[s]\), where \(A_n'\) is the Weyl algebra over \(K'\). A finite set \(G\) in \(K[x,u]\) is a comprehenseve Gröbner basis if \(s(G)\) is a Gröbner basis for each specialisation \(s\). This notion was studied by \textit{V. Weispfenning} [J. Symb. Comput. 14, No. 1, 1--29 (1992; Zbl 0784.13013)]. For the construction one decomposes \(\operatorname {Spec}K[u]\) into constructible subsets, where one provides a comprehensive Gröbner basis for one such subset at a time. In the paper this notion is considered for the non-commutative ring \(A_n[s,u] \) by extending algorithms by \textit{M. Kalkbrener} [J. Symb. Comput. 24, No. 1, 51--58 (1997; Zbl 1054.13502)] in the commutative case to the ring \(A_n[s,u]\). This is implemented to compute comprehensive Gröbner bases of \({\operatorname {Ann}}(f^s)\) and also comprehensive Gröbner bases of \(\mathcal B_i\) and \(\mathcal B_\Sigma\). Some concrete examples are given and a link to used software is provided.
reviewed by: Rolf Källström
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 13D45
Mathematics Subject Classification ID: 13J05
Mathematics Subject Classification ID: 14F10
Mathematics Subject Classification ID: 32A27
Mathematics Subject Classification ID: 32C37
zbMATH DE Number: 6881234
zbMATH Keywords: comprehensive Gröbner systems
zbMATH Keywords: holonomic \(D\)-modules
zbMATH Keywords: Bernstein-Sato ideals
zbMATH Keywords: Poincaré-Birkhoff-Witt algebras
describes a project that uses: Plural
describes a project that uses: SINGULAR
describes a project that uses: Risa/Asir
describes a project that uses: Macaulay2
describes a project that uses: OpenXM
describes a project that uses: PGB
MaRDI profile type: Publication
full work available at URL: j.jsc.2017.11.010
OpenAlex ID: W2768328662
cites work: NORMAL FORMS OF ONE-DIMENSIONAL QUASIHOMOGENEOUS COMPLETE INTERSECTIONS
cites work: Constructive \(D\)-module theory with \texttt{Singular}
cites work: Q3999788
cites work: Algorithm for computing Bernstein-Sato ideals associated with a polynomial mapping.
cites work: Local Bernstein-Sato ideals: algorithm and examples
cites work: Re-filtering and exactness of the Gelfand-Kirillov dimension
cites work: Q4430223
cites work: Racines de polynômes de Bernstein. (Zeros of Bernstein polynomials)
cites work: Q3762604
cites work: Polynôme de Bernstein générique. (Generic Bernstein polynomials)
cites work: Bernstein-Sato polynomials and spectral numbers
cites work: Bernstein-Sato's polynomial for several analytic functions
cites work: Bernstein polynomial and Tjurina number
cites work: On the stability of Gröbner bases under specializations
cites work: Non-commutative Gröbner bases in algebras of solvable type
cites work: A new algorithm for computing comprehensive Gröbner systems
cites work: B-functions and holonomic systems. Rationality of roots of B-functions
cites work: Q3961124
cites work: Q4740814
cites work: Computational D-module theory with singular, comparison with other systems and two new algorithms
cites work: Algorithms for checking rational roots of \(b\)-functions and their applications
cites work: Noncommutative Gröbner bases and filtered-graded transfer.
cites work: Polynômes de Bernstein-Sato associés à une intersection complète quasi-homogène à singularité isolée
cites work: Q4157316
cites work: Gröbner bases for polynomial systems with parameters
cites work: Q5301685
cites work: Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems
cites work: Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions
cites work: On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
cites work: Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals
cites work: Q4234269
cites work: An algorithm of computing \(b\)-functions
cites work: Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
cites work: Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities
cites work: An algorithm for de Rham cohomology groups of the complement of an affine variety via \(D\)-module computation
cites work: Q3759138
cites work: Q3769182
cites work: On the structure of Brieskorn lattice
cites work: Period mapping via Brieskorn modules
cites work: On \(b\)-function, spectrum and rational singularity
cites work: On microlocal $b$-function
cites work: A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
cites work: Annihilating ideals for an algebraic local cohomology class
cites work: Algebraic local cohomology classes attached to unimodal singularities
cites work: Q3559372
cites work: Q2966244
cites work: On the computation of Bernstein-Sato ideals.
cites work: Q3933097
cites work: Comprehensive Gröbner bases

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (cites work)
cites work: On the holonomic system of \(f^s\) and b-function

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (cites work)
cites work: On the theory of b-functions

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (cites work)
cites work: Normal forms of non-degenerate quasihomogeneous functions with inner modality \(\leq 4\)

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (DOI)
DOI: 10.1016/J.JSC.2017.11.010

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Recommended article)
Recommended article: An alternative approach to comprehensive Gröbner bases
Similarity Score: 0.7461798
Recommender Run: Recommender Run 2

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Recommended article)
Recommended article: Gröbner bases and logarithmic \(\mathcal D\)-modules.
Similarity Score: 0.7248153
Recommender Run: Recommender Run 2

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Recommended article)
Recommended article: Algorithms for \(b\)-functions, induced systems, and algebraic local cohomology of \(D\)-modules
Similarity Score: 0.723032
Recommender Run: Recommender Run 2

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Recommended article)
Recommended article: Q4394975
Similarity Score: 0.72295064
Recommender Run: Recommender Run 2

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Recommended article)
Recommended article: An algorithm of computing \(b\)-functions
Similarity Score: 0.7205849
Recommender Run: Recommender Run 2

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Recommended article)
Recommended article: Q3376031
Similarity Score: 0.71927
Recommender Run: Recommender Run 2

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Recommended article)
Recommended article: Gröbner Bases in D-Modules: Application to Bernstein-Sato Polynomials
Similarity Score: 0.7151757
Recommender Run: Recommender Run 2

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Recommended article)
Recommended article: Q4660713
Similarity Score: 0.70908296
Recommender Run: Recommender Run 2

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Recommended article)
Recommended article: Q4650422
Similarity Score: 0.7039529
Recommender Run: Recommender Run 2

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Recommended article)
Recommended article: On the finiteness of Gröbner bases computation in quotients of the free algebra.
Similarity Score: 0.7025134
Recommender Run: Recommender Run 2