Skip to main content
Erschienen in: Mathematics in Computer Science 1-2/2019

15.06.2019

An Algorithm for Computing Grothendieck Local Residues I: Shape Basis Case

verfasst von: Katsuyoshi Ohara, Shinichi Tajima

Erschienen in: Mathematics in Computer Science | Ausgabe 1-2/2019

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Grothendieck local residue is considered in the context of symbolic computation. Basic ideas of our approach are the use of local cohomology, holonomic D-modules, and Noether operators. An effective method is introduced for computing Grothendieck local residues of rational n-forms under shape basis condition. Resulting algorithms that avoid the use of Gröbner bases on the Weyl algebra and an implementation are described. Some examples are also given for illustration.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Altman, A., Kleiman, S.: Introduction to Grothendieck Duality Theory. Lecture Notes in Mathematics, vol. 146. Springer, Berlin (1970)CrossRefMATH Altman, A., Kleiman, S.: Introduction to Grothendieck Duality Theory. Lecture Notes in Mathematics, vol. 146. Springer, Berlin (1970)CrossRefMATH
2.
Zurück zum Zitat Ehrenpreis, L.: Fourier Analysis in Several Complex Variables. Wiley, New York (1970)MATH Ehrenpreis, L.: Fourier Analysis in Several Complex Variables. Wiley, New York (1970)MATH
3.
Zurück zum Zitat Gianni, P., Mora, T.: Algebraic solution of systems of polynomial equation using Gröbner bases. In: Proceedings of the AAECC 5, LNCS vol. 356, pp. 247–257 (1989) Gianni, P., Mora, T.: Algebraic solution of systems of polynomial equation using Gröbner bases. In: Proceedings of the AAECC 5, LNCS vol. 356, pp. 247–257 (1989)
4.
Zurück zum Zitat Gianni, P., Trager, B., Zacharias, G.: Gröbner bases and primary decomposition of polynomial ideals. J. Symb. Comput. 6, 149–167 (1988)CrossRefMATH Gianni, P., Trager, B., Zacharias, G.: Gröbner bases and primary decomposition of polynomial ideals. J. Symb. Comput. 6, 149–167 (1988)CrossRefMATH
5.
Zurück zum Zitat Griffiths, P., Harris, J.: Principles of Algebraic Geometry. Wiley, New York (1978)MATH Griffiths, P., Harris, J.: Principles of Algebraic Geometry. Wiley, New York (1978)MATH
6.
Zurück zum Zitat Hartshorne, R.: Residues and Duality. Lecture Notes in Mathematics, vol. 20. Springer, Berlin (1966)CrossRef Hartshorne, R.: Residues and Duality. Lecture Notes in Mathematics, vol. 20. Springer, Berlin (1966)CrossRef
7.
Zurück zum Zitat Kashiwara, M.: On the maximally overdetermined system of linear differential equations. I. Res. Inst. Math. Sci. 10, 563–579 (1975)MathSciNetCrossRefMATH Kashiwara, M.: On the maximally overdetermined system of linear differential equations. I. Res. Inst. Math. Sci. 10, 563–579 (1975)MathSciNetCrossRefMATH
9.
Zurück zum Zitat Kashiwara, M.: On holonomic systems of micro-differential equations. III: systems with regular singularities. Res. Inst. Math. Sci. 17, 813–979 (1981)MathSciNetCrossRefMATH Kashiwara, M.: On holonomic systems of micro-differential equations. III: systems with regular singularities. Res. Inst. Math. Sci. 17, 813–979 (1981)MathSciNetCrossRefMATH
11.
Zurück zum Zitat Noro, M.: New algorithms for computing primary decomposition of polynomial ideals. In: Mathematical Software—ICMS 2010. Lecture Notes in Computer Science, vol. 6327, pp. 233–244. Springer, Berlin (2010) Noro, M.: New algorithms for computing primary decomposition of polynomial ideals. In: Mathematical Software—ICMS 2010. Lecture Notes in Computer Science, vol. 6327, pp. 233–244. Springer, Berlin (2010)
13.
Zurück zum Zitat Oaku, T.: Algorithms for the \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules. Adv. Appl. Math. 19, 61–105 (1997)MathSciNetCrossRefMATH Oaku, T.: Algorithms for the \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules. Adv. Appl. Math. 19, 61–105 (1997)MathSciNetCrossRefMATH
14.
Zurück zum Zitat Oaku, T., Takayama, N.: Algorithms for \(D\)-modules—restriction, tensor product, localization, and local cohomology groups. J. Pure Appl. Algebra 156, 267–308 (2001)MathSciNetCrossRefMATH Oaku, T., Takayama, N.: Algorithms for \(D\)-modules—restriction, tensor product, localization, and local cohomology groups. J. Pure Appl. Algebra 156, 267–308 (2001)MathSciNetCrossRefMATH
16.
Zurück zum Zitat Pham, F.: Singularités des Systèms Différentielles de Gauss–Manin. Birkhäuser, Basel (1979) Pham, F.: Singularités des Systèms Différentielles de Gauss–Manin. Birkhäuser, Basel (1979)
17.
Zurück zum Zitat Palamodev, V.P.: Linear Differential Operators with Constant Coefficients. Springer, New York (1970)CrossRef Palamodev, V.P.: Linear Differential Operators with Constant Coefficients. Springer, New York (1970)CrossRef
18.
Zurück zum Zitat Tajima, S.: On Noether differential operators attached to a zero-dimensional primary ideal—a shape basis case. In: Finite or Infinite Dimensional Complex Analysis and Applications, pp. 357–366. Kyushu University Press, Fukuoka (2005) Tajima, S.: On Noether differential operators attached to a zero-dimensional primary ideal—a shape basis case. In: Finite or Infinite Dimensional Complex Analysis and Applications, pp. 357–366. Kyushu University Press, Fukuoka (2005)
19.
Zurück zum Zitat Tajima, S.: Noether differential operators and Grothendieck local residues. RIMS Kôkyûroku 1432, 123–136 (2005) (in Japanese) Tajima, S.: Noether differential operators and Grothendieck local residues. RIMS Kôkyûroku 1432, 123–136 (2005) (in Japanese)
20.
Zurück zum Zitat Tajima, S., Oaku, T., Nakamura, Y.: Multidimensional local residues and holonomic \(D\)-modules. RIMS Kôkyûroku 1033, 59–70 (1998)MathSciNetMATH Tajima, S., Oaku, T., Nakamura, Y.: Multidimensional local residues and holonomic \(D\)-modules. RIMS Kôkyûroku 1033, 59–70 (1998)MathSciNetMATH
21.
Zurück zum Zitat Tajima, S., Nakamura, Y.: Computational aspects of Grothendieck local residues. Séminaires et Congrès 10, 287–305 (2005)MathSciNetMATH Tajima, S., Nakamura, Y.: Computational aspects of Grothendieck local residues. Séminaires et Congrès 10, 287–305 (2005)MathSciNetMATH
Metadaten
Titel
An Algorithm for Computing Grothendieck Local Residues I: Shape Basis Case
verfasst von
Katsuyoshi Ohara
Shinichi Tajima
Publikationsdatum
15.06.2019
Verlag
Springer International Publishing
Erschienen in
Mathematics in Computer Science / Ausgabe 1-2/2019
Print ISSN: 1661-8270
Elektronische ISSN: 1661-8289
DOI
https://doi.org/10.1007/s11786-019-00399-3

Weitere Artikel der Ausgabe 1-2/2019

Mathematics in Computer Science 1-2/2019 Zur Ausgabe

OriginalPaper

Divisive Cover

Premium Partner