Comprehensive Grobner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules

被引:5
|
作者
Nabeshima, Katsusuke [1 ]
Ohara, Katsuyoshi [2 ]
Tajima, Shinichi [3 ]
机构
[1] Tokushima Univ, Grad Sch Technol Ind & Social Sci, 2-1 Minamijosanjima, Tokushima, Japan
[2] Kanazawa Univ, Fac Math & Phys, Kakuma Machi, Kanazawa, Ishikawa, Japan
[3] Univ Tsukuba, Grad Sch Pure & Appl Sci, 1-1-1 Tennoudai, Tsukuba, Ibaraki, Japan
关键词
Comprehensive Grbbner systems; Poincare-Birkhoff-Witt algebras; Bernstein-Sato ideals; Holonomic D-modules; LOCAL COHOMOLOGY; B-FUNCTIONS; VANISHING PROXIMITY; POLYNOMIALS; ALGORITHMS; ROOTS; BASES;
D O I
10.1016/j.jsc.2017.11.010
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
A computation method of comprehensive Grobner systems is introduced in Poincare-Birkhoff-Witt (PBW) algebras and applications to Bernstein-Sato ideals, holonomic D-modules for parametric cases are considered. The proposed method provides in particular holonomic D-modules associated with primary components of Bernstein-Sato ideals. Furthermore, with our implementation, effective methods are illustrated for computing b-functions of mu-constant deformations of hypersurface isolated singularities by utilizing holonomic D-modules. High versatility of the proposed method is also illustrated by several examples. (C) 2017 Elsevier Ltd. All rights reserved.
引用
收藏
页码:146 / 170
页数:25
相关论文
共 5 条
  • [1] BERNSTEIN-SATO IDEALS AND LOCAL SYSTEMS
    Budur, Nero
    ANNALES DE L INSTITUT FOURIER, 2015, 65 (02) : 549 - 603
  • [2] D-modules, Bernstein-Sato polynomials and F-invariants of direct summands
    Alvarez Montaner, Josep
    Huneke, Craig
    Nunez-Betancourt, Luis
    ADVANCES IN MATHEMATICS, 2017, 321 : 298 - 325
  • [3] Computing Holonomic D-Modules Associated to a Family of Non-isolated Hypersurface Singularities via Comprehensive Grobner Systems of PBW Algebra
    Tajima, Shinichi
    Nabeshima, Katsusuke
    Ohara, Katsuyoshi
    Umeta, Yoko
    MATHEMATICS IN COMPUTER SCIENCE, 2023, 17 (01)
  • [4] Comprehensive Grobner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions
    Nabeshima, Katsusuke
    Ohara, Katsuyoshi
    Tajima, Shinichi
    PROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 2016), 2016, : 349 - 356
  • [5] Computing Holonomic D-Modules Associated to a Family of Non-isolated Hypersurface Singularities via Comprehensive Gröbner Systems of PBW Algebra
    Shinichi Tajima
    Katsusuke Nabeshima
    Katsuyoshi Ohara
    Yoko Umeta
    Mathematics in Computer Science, 2023, 17