Skip to main content
Top
Published in: Applicable Algebra in Engineering, Communication and Computing 6/2016

23-03-2016 | Original Paper

Computing Tjurina stratifications of \(\mu \)-constant deformations via parametric local cohomology systems

Authors: Katsusuke Nabeshima, Shinichi Tajima

Published in: Applicable Algebra in Engineering, Communication and Computing | Issue 6/2016

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Algebraic local cohomology classes associated with parametric semi-quasihomogeneous hypersurface isolated singularities are considered in the context of symbolic computation. The motivations for this paper are computer calculations of complete lists of Tjurina numbers of semi-quasihomogeneous polynomials with isolated singularity. A new algorithm, that utilizes parametric local cohomology systems, is proposed to compute Tjurina stratifications associated with \(\mu \)-constant deformations of weighted homogeneous isolated singularities. The resulting algorithm gives in particular a suitable decomposition of the parameter space depending on the structure of the parametric local cohomology systems. An efficient algorithm of computing parametric standard bases of relevant ideals is also given as an application of parametric local cohomology systems.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Literature
1.
go back to reference Arnold, V.: Normal forms of functions in neighbourhoods of degenerate critical points. Rus. Math. Surv. 29, 10–50 (1974)CrossRef Arnold, V.: Normal forms of functions in neighbourhoods of degenerate critical points. Rus. Math. Surv. 29, 10–50 (1974)CrossRef
2.
go back to reference Gao, X., Chou, S.: Solving parametric algebraic systems. In: Wang, P. (ed.) International Symposium on Symbolic and Algebraic Computation (ISSAC 1992), pp. 335–341. ACM-Press (1992) Gao, X., Chou, S.: Solving parametric algebraic systems. In: Wang, P. (ed.) International Symposium on Symbolic and Algebraic Computation (ISSAC 1992), pp. 335–341. ACM-Press (1992)
3.
go back to reference Grassmann, H., Greuel, G.-M., Martin, B., Neumann, W., Pfister, G., Pohl, W., Schönemann, H., Siebert, T.: Standard bases, syzygies and their implementation in SINGULAR. Appl. Algebra Eng. Commun. Comput. 7, 235–249 (1996)CrossRefMATH Grassmann, H., Greuel, G.-M., Martin, B., Neumann, W., Pfister, G., Pohl, W., Schönemann, H., Siebert, T.: Standard bases, syzygies and their implementation in SINGULAR. Appl. Algebra Eng. Commun. Comput. 7, 235–249 (1996)CrossRefMATH
5.
go back to reference Grothendieck, A.: Théorèmes de dualité pour les faisceaux algébriques cohérents. Séminaire Bourbaki 149 (1957) Grothendieck, A.: Théorèmes de dualité pour les faisceaux algébriques cohérents. Séminaire Bourbaki 149 (1957)
6.
go back to reference Grothendieck, A.: Local cohomology, notes by R. Hartshorne. Lecture Notes in Mathematics, vol. 41. Springer (1967) Grothendieck, A.: Local cohomology, notes by R. Hartshorne. Lecture Notes in Mathematics, vol. 41. Springer (1967)
7.
go back to reference Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero. Ann. Math. 79, 109–326 (1964)MathSciNetCrossRefMATH Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero. Ann. Math. 79, 109–326 (1964)MathSciNetCrossRefMATH
8.
go back to reference Mather, J.N., Yau, S.S.T.: Criterion for biholomorphic equivalence of isolated hypersurface singularities. Proc. Natl. Acad. Sci. USA 78(10), 5946–5947 (1981)MathSciNetCrossRefMATH Mather, J.N., Yau, S.S.T.: Criterion for biholomorphic equivalence of isolated hypersurface singularities. Proc. Natl. Acad. Sci. USA 78(10), 5946–5947 (1981)MathSciNetCrossRefMATH
9.
go back to reference Mather, J.N., Yau, S.S.T.: Classification of isolated hypersurface singularities by their moduli algebras. Invent. Math. 69, 243–251 (1982)MathSciNetCrossRefMATH Mather, J.N., Yau, S.S.T.: Classification of isolated hypersurface singularities by their moduli algebras. Invent. Math. 69, 243–251 (1982)MathSciNetCrossRefMATH
10.
go back to reference Martin, B., Pfister, G.: The kernel of the Kodaira–Spencer map of the versal \( \mu \)-constant deformation of an irreducible plane curve with \( {C}^{\ast } \)-action. J. Symb. Comput. 7, 527–531 (1989)MathSciNetCrossRefMATH Martin, B., Pfister, G.: The kernel of the Kodaira–Spencer map of the versal \( \mu \)-constant deformation of an irreducible plane curve with \( {C}^{\ast } \)-action. J. Symb. Comput. 7, 527–531 (1989)MathSciNetCrossRefMATH
11.
go back to reference Mora, T., Pfister, G., Traverso, T.: An introduction to the tangent cone algorithm. Adv. Comput. Res. Issued Robot. Nonlinear Geom. 6, 199–270 (1992) Mora, T., Pfister, G., Traverso, T.: An introduction to the tangent cone algorithm. Adv. Comput. Res. Issued Robot. Nonlinear Geom. 6, 199–270 (1992)
12.
go back to reference Nabeshima, K., Tajima, S.: An algorithm for computing Tjurina stratifications of \(\mu \)-constant deformations by using local cohomology classes with parameters. In: Hoon, H., Yap, C. (ed.) Lecture Notes in Computer Science vol. 8592, pp. 523–530. Springer (2014) Nabeshima, K., Tajima, S.: An algorithm for computing Tjurina stratifications of \(\mu \)-constant deformations by using local cohomology classes with parameters. In: Hoon, H., Yap, C. (ed.) Lecture Notes in Computer Science vol. 8592, pp. 523–530. Springer (2014)
13.
go back to reference Nabeshima, K., Tajima, S.: On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. In: Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), pp. 351–358. ACM-Press (2014) Nabeshima, K., Tajima, S.: On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. In: Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), pp. 351–358. ACM-Press (2014)
14.
go back to reference Nabeshima, K., Tajima, S.: Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals. arXiv:1508.06724 (2015) Nabeshima, K., Tajima, S.: Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals. arXiv:​1508.​06724 (2015)
15.
go back to reference Nakamura, Y., Tajima, S.: On weighted-degrees for algebraic local cohomologies associated with semiquasihomogeneous singularities. Adv. Stud. Pure Math. 46, 105–117 (2007)MathSciNetMATH Nakamura, Y., Tajima, S.: On weighted-degrees for algebraic local cohomologies associated with semiquasihomogeneous singularities. Adv. Stud. Pure Math. 46, 105–117 (2007)MathSciNetMATH
16.
go back to reference Noro, M., Takeshima, T.: Risa/Asir—a computer algebra system. In: Wang, P. (ed.) International Symposium on Symbolic and Algebraic Computation (ISSAC 1992), pp. 387–396. ACM-Press (1992) Noro, M., Takeshima, T.: Risa/Asir—a computer algebra system. In: Wang, P. (ed.) International Symposium on Symbolic and Algebraic Computation (ISSAC 1992), pp. 387–396. ACM-Press (1992)
17.
19.
go back to reference Tajima, S.: Parametric local cohomology classes and Tjurina stratifications for \(\mu \)-constant deformations of quasi-homogeneous singularities. In: Proceedings of Topics on Real and Complex Singularities, pp. 189–200. World Scientific (2014) Tajima, S.: Parametric local cohomology classes and Tjurina stratifications for \(\mu \)-constant deformations of quasi-homogeneous singularities. In: Proceedings of Topics on Real and Complex Singularities, pp. 189–200. World Scientific (2014)
20.
go back to reference Tajima, S., Nakamura, Y.: Algebraic local cohomology classes attached to quasi-homogeneous isolated hypersurface singularities. Publ. Res. Inst. Math. Sci. Kyoto Univ. 41, 1–10 (2005)MathSciNetCrossRefMATH Tajima, S., Nakamura, Y.: Algebraic local cohomology classes attached to quasi-homogeneous isolated hypersurface singularities. Publ. Res. Inst. Math. Sci. Kyoto Univ. 41, 1–10 (2005)MathSciNetCrossRefMATH
21.
22.
go back to reference Tajima, S., Nakamura, Y., Nabeshima, K.: Standard bases and algebraic local cohomology for zero dimensional ideals. Adv. Stud. Pure Math. 56, 341–361 (2009)MathSciNetMATH Tajima, S., Nakamura, Y., Nabeshima, K.: Standard bases and algebraic local cohomology for zero dimensional ideals. Adv. Stud. Pure Math. 56, 341–361 (2009)MathSciNetMATH
23.
go back to reference Yau, S.S.T.: Criteria for right–left equivalence and right equivalence of holomorphic functions with isolated critical points. Proc. Symp. Pure Math. 41, 291–297 (1984)MathSciNetCrossRefMATH Yau, S.S.T.: Criteria for right–left equivalence and right equivalence of holomorphic functions with isolated critical points. Proc. Symp. Pure Math. 41, 291–297 (1984)MathSciNetCrossRefMATH
Metadata
Title
Computing Tjurina stratifications of -constant deformations via parametric local cohomology systems
Authors
Katsusuke Nabeshima
Shinichi Tajima
Publication date
23-03-2016
Publisher
Springer Berlin Heidelberg
Published in
Applicable Algebra in Engineering, Communication and Computing / Issue 6/2016
Print ISSN: 0938-1279
Electronic ISSN: 1432-0622
DOI
https://doi.org/10.1007/s00200-016-0289-4

Other articles of this Issue 6/2016

Applicable Algebra in Engineering, Communication and Computing 6/2016 Go to the issue

Premium Partner