Skip to main content
Erschienen in: Mathematics in Computer Science 2/2020

14.01.2020

An Algorithm for Computing Grothendieck Local Residues II: General Case

verfasst von: Katsuyoshi Ohara, Shinichi Tajima

Erschienen in: Mathematics in Computer Science | Ausgabe 2/2020

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. An effective method based on the theory of holonomic D-modules is proposed for computing Grothendieck local residues. The key is the notion of Noether operator associated to a local cohomology class. The resulting algorithm and an implementation are described with illustrations.

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 Ehrenpreis, L.: Fourier Analysis in Several Complex Variables. Wiley, Hoboken (1970)MATH Ehrenpreis, L.: Fourier Analysis in Several Complex Variables. Wiley, Hoboken (1970)MATH
2.
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)CrossRef Gianni, P., Trager, B., Zacharias, G.: Gröbner bases and primary decomposition of polynomial ideals. J. Symb. Comput. 6, 149–167 (1988)CrossRef
3.
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
4.
Zurück zum Zitat Hörmander, L.: An Introduction to Complex Analysis in Several Variables, 3 revised edn. North-Holland, Amsterdam (1990)MATH Hörmander, L.: An Introduction to Complex Analysis in Several Variables, 3 revised edn. North-Holland, Amsterdam (1990)MATH
5.
Zurück zum Zitat Kashiwara, M.: On the maximally overdetermined system of linear differential equations. I. Publ. Res. Inst. Math. Sci. 10, 563–579 (1975)MathSciNetCrossRef Kashiwara, M.: On the maximally overdetermined system of linear differential equations. I. Publ. Res. Inst. Math. Sci. 10, 563–579 (1975)MathSciNetCrossRef
6.
Zurück zum Zitat Kashiwara, M.: On the holonomic systems of linear differential equations. II. Invent. Math. 49, 121–135 (1978)MathSciNetCrossRef Kashiwara, M.: On the holonomic systems of linear differential equations. II. Invent. Math. 49, 121–135 (1978)MathSciNetCrossRef
7.
Zurück zum Zitat Kashiwara, M.: On holonomic systems of micro-differential equations. III—Systems with regular singularities. Publ. Res. Inst. Math. Sci. 17, 813–979 (1981)MathSciNetCrossRef Kashiwara, M.: On holonomic systems of micro-differential equations. III—Systems with regular singularities. Publ. Res. Inst. Math. Sci. 17, 813–979 (1981)MathSciNetCrossRef
8.
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 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 6327, pp. 233–244. Springer, Berlin (2010)
10.
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)MathSciNetCrossRef Oaku, T.: Algorithms for the \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules. Adv. Appl. Math. 19, 61–105 (1997)MathSciNetCrossRef
11.
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)MathSciNetCrossRef Oaku, T., Takayama, N.: Algorithms for \(D\)-modules—restriction, tensor product, localization, and local cohomology groups. J. Pure Appl. Algebra 156, 267–308 (2001)MathSciNetCrossRef
12.
Zurück zum Zitat Ohara, K., Tajima, S.: An algorithm for computing Grothendieck local residues I: shape basis case. Math. Comput. Sci. 13, 205–216 (2019)MathSciNetCrossRef Ohara, K., Tajima, S.: An algorithm for computing Grothendieck local residues I: shape basis case. Math. Comput. Sci. 13, 205–216 (2019)MathSciNetCrossRef
13.
Zurück zum Zitat Palamodev, V.P.: Linear Differential Operators with Constant Coefficients. Springer, Berlin (1970)CrossRef Palamodev, V.P.: Linear Differential Operators with Constant Coefficients. Springer, Berlin (1970)CrossRef
14.
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 Univ. 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 Univ. Press, Fukuoka (2005)
15.
Zurück zum Zitat Tajima, S.: Noether differential operators and Grothendieck local residues. RIMS Kôkyûroku 1431, 123–136 (2005). (in Japanese) Tajima, S.: Noether differential operators and Grothendieck local residues. RIMS Kôkyûroku 1431, 123–136 (2005). (in Japanese)
16.
Zurück zum Zitat Tajima, S.: An algorithm for computing exponential polynomial solutions of constant coefficients holonomic PDE’s—generic case—. In: Son, L.H., Tutschke, W., Jain, S. (eds.) Methods of Complex and Clifford Analysis, pp. 335–344. SAS International Publ, Delhi (2006) Tajima, S.: An algorithm for computing exponential polynomial solutions of constant coefficients holonomic PDE’s—generic case—. In: Son, L.H., Tutschke, W., Jain, S. (eds.) Methods of Complex and Clifford Analysis, pp. 335–344. SAS International Publ, Delhi (2006)
17.
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). (in Japanese)MathSciNetMATH Tajima, S., Oaku, T., Nakamura, Y.: Multidimensional local residues and holonomic \(D\)-modules. RIMS Kôkyûroku 1033, 59–70 (1998). (in Japanese)MathSciNetMATH
18.
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 II: General Case
verfasst von
Katsuyoshi Ohara
Shinichi Tajima
Publikationsdatum
14.01.2020
Verlag
Springer International Publishing
Erschienen in
Mathematics in Computer Science / Ausgabe 2/2020
Print ISSN: 1661-8270
Elektronische ISSN: 1661-8289
DOI
https://doi.org/10.1007/s11786-019-00439-y

Weitere Artikel der Ausgabe 2/2020

Mathematics in Computer Science 2/2020 Zur Ausgabe

Premium Partner