Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules
From MaRDI portal
Publication:1635280
DOI10.1016/j.jsc.2017.11.010zbMath1428.13047OpenAlexW2768328662MaRDI QIDQ1635280
Shinichi Tajima, Katsuyoshi Ohara, Katsusuke Nabeshima
Publication date: 6 June 2018
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2017.11.010
holonomic \(D\)-modulesPoincaré-Birkhoff-Witt algebrasBernstein-Sato idealscomprehensive Gröbner systems
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Local cohomology and commutative rings (13D45) Power series rings (13J05) Duality theorems for analytic spaces (32C37) Residues for several complex variables (32A27)
Related Items
Algebraic analysis of Siersma's non-isolated hypersurface singularities, Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system, Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Gröbner systems of PBW algebra, METHODS FOR COMPUTING <i>b</i>-FUNCTIONS ASSOCIATED WITH <i>µ</i>-CONSTANT DEFORMATIONS: CASE OF INNER MODALITY TWO, Testing zero-dimensionality of varieties at a point
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic local cohomology classes attached to unimodal singularities
- Algorithms for checking rational roots of \(b\)-functions and their applications
- Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals
- Constructive \(D\)-module theory with \texttt{Singular}
- Gröbner bases for polynomial systems with parameters
- Non-commutative Gröbner bases in algebras of solvable type
- Annihilating ideals for an algebraic local cohomology class
- Local Bernstein-Sato ideals: algorithm and examples
- Racines de polynômes de Bernstein. (Zeros of Bernstein polynomials)
- On the structure of Brieskorn lattice
- Comprehensive Gröbner bases
- B-functions and holonomic systems. Rationality of roots of B-functions
- On the holonomic system of \(f^s\) and b-function
- On the theory of b-functions
- Normal forms of non-degenerate quasihomogeneous functions with inner modality \(\leq 4\)
- Bernstein polynomial and Tjurina number
- An algorithm for de Rham cohomology groups of the complement of an affine variety via \(D\)-module computation
- On \(b\)-function, spectrum and rational singularity
- Bernstein-Sato's polynomial for several analytic functions
- An algorithm of computing \(b\)-functions
- On the stability of Gröbner bases under specializations
- Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
- Polynôme de Bernstein générique. (Generic Bernstein polynomials)
- Noncommutative Gröbner bases and filtered-graded transfer.
- Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities
- Bernstein-Sato polynomials and spectral numbers
- On the computation of Bernstein-Sato ideals.
- Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems
- A new algorithm for computing comprehensive Gröbner systems
- A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
- Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions
- NORMAL FORMS OF ONE-DIMENSIONAL QUASIHOMOGENEOUS COMPLETE INTERSECTIONS
- On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
- Period mapping via Brieskorn modules
- Polynômes de Bernstein-Sato associés à une intersection complète quasi-homogène à singularité isolée
- On microlocal $b$-function
- Computational D-module theory with singular, comparison with other systems and two new algorithms
- Re-filtering and exactness of the Gelfand-Kirillov dimension
- Algorithm for computing Bernstein-Sato ideals associated with a polynomial mapping.
