Algorithms for the b-function and D-modules associated with a polynomial

Journal of Pure and Applied Algebra

Volumn 117-118, Issue , 1997, Pages 495-518

  Oaku, Toshinori ^a  

^a YOKOHAMA CITY UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031145751     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(97)00024-8     Document Type: Article

References (33)

1. A.G. Aleksandrov and V.L. Kistlerov, Computer method in calculating b-functions of non-isolated singularities, Contemp. Math. 131 (1992) 319-335.
2. T. Becker and V. Weispfenning, Gröbner Bases (Springer, Berlin, 1993).
3. I.N. Bernstein, Modules over the ring of differential operators, Funct. Anal. Appl. 2 (1971) 1-16.
4. J.E. Björk, Rings of Differential Operators (North-Holland, Amsterdam, 1979).
5. A. Borel et al.. Algebraic D-Modules (Academic Press, Boston, 1987).
6. J. Briançon, M. Granger, Ph, Maisonobe and M. Miniconi, Algorithme de calcul du polynôme de Bernstein: cas non dégénéré, Ann. Inst. Fourier 39 (1989) 553-610.
7. B. Buchberger, Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems, Aequationes Math. 4 (1970) 374-383.
8. F. Castro, Calculs effectifs pour les idéaux d'opérateurs différentiels, in: Travaux en Cours 24 (Hermann, Paris, 1987) 1-19.
9. D. Cox, J. Little and D. O'Shea, Ideals, Varieties, and Algorithms (Springer, Berlin, 1992).
10. D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry (Springer, New York, 1995).
11. A. Galligo, Some algorithmic questions on ideals of differential operators, in: Lecture Notes in Comput. Sci. 204 (Springer, Berlin, 1985) 413-421.
12. F. Geandier, Déformations à nombre de Milnor constant: quelques résultats sur les polynômes de Bernstein, Compositio Math. 77 (1991) 131-163.
13. M. Kashiwara, B-functions and holonomic systems - Rationality of roots of b-functions, Invent. Math. 38 (1976) 33-53.
14. M. Kashiwara. On the holonomic systems of linear differential equations, II, Invent. Math. 49 (1978) 121-135.
15. M. Kashiwara, Vanishing cycle sheaves and holonomic systems of differential equations, in: Lecture Notes in Math., Vol. 1016 (Springer, Berlin, 1983) 134-142.
16. D. Lazard, Gröbner bases, Gaussian elimination, and resolution of systems of algebraic equations, in: Lecture Notes in Comput. Sci., Vol. 162 (Springer, Berlin, 1983) 146-156.
17. Ph. Maisonobe, D-modules: an overview towards effectivity, in: E. Tournier, ed., Computer Algebra and Differential Equations (Cambridge Univ. Press, Cambridge, 1994) 21-55.
18. B. Malgrange, Le polyôme de Bernstein d'une singularité isolée, in: Lecture Notes in Math., Vol. 459 (Springer, Berlin, 1975) 98-119.
19. B. Malgrange, Polynômes de Bernstein-Sato et cohomologie évanescente, Astérisque 101-102 (1983) 243-267.
20. M. Noro and T. Takeshima, Risa/Asir-a computer algebra system, in: P.S. Wang, ed., Proc. Internat. Symp. on Symbolic and Algebraic Computation (ACM, New York, 1992) 387-396 (ftp:endeavor.fujitsu.co.jp/pub/isis/asir).
21. T. Oaku, Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients, Japan J. Ind. Appl. Math. 11 (1994) 485-497.
22. T. Oaku, Algorithms for finding the structure of solutions of a system of linear partial differential equations, in: J. Gathen and M. Giesbrecht, eds., Proc. Internat. Symp. on Symbolic and Algebraic Computation (ACM, New York, 1994) 216-223.
23. T. Oaku, Algorithmic methods for Fuchsian systems of linear partial differential equations, J. Math. Soc. Japan 47 (1995) 297-328.
24. T. Oaku, Algorithms for b-functions, induced systems, and algebraic local cohomology of D-modules, Proc. Japan acad. 72 (1996) 173-178.
25. T. Oaku, Gröbner bases for D-modules on a non-singular affine algebraic variety, Tôhoku Math. J. 48 (1996) 575-600.
26. T. Oaku, An algorithm of computing b-functions, Duke Math. J., to appear.
27. M. Sato, M. Kashiwara, T. Kimura and T. Oshima, Micro-local analysis of prehomogeneous vector spaces, Invent. Math. 62 (1980) 117-179.
28. N. Takayama, Gröbner basis and the problem of contiguous relations, Japan J. Appl. Math. 6 (1989) 147-160.
29. N. Takayama, Kan, a system for computation in algebraic analysis (http://www.math.s.kobe-u.ac.jp, 1991-).
30. N. Takayama, An approach to the zero recognition problem by Buchberger algorithm, J. Symbol. Comput. 14 (1992) 265-282.
31. s and b-function, Publ. RIMS Kyoto Univ. 12 (Suppl.) (1977) 469-480.
32. T. Yano, On the theory of b-functions, Publ. RIMS, Kyoto Univ. 14 (1978) 111-202.
33. T. Yano and J. Sekiguchi, The microlocal structure of weighted homogeneous polynomials associated with Coxeter systems I, Tokyo J. Math. 2 (1979) 193-219.