Alternative algorithms for computing generic \(\mu^\ast\)-sequences and local Euler obstructions of isolated hypersurface singularities. (English) Zbl 1423.13097
Let \(f\in \mathbb{C}\{x_1, \ldots, x_n\}\). The Milnor number of \(f\) is defined by \(\mu(f)=\dim_{\mathbb{C}}\mathbb{C}\{x_1, \ldots, x_n\}/\langle\frac{\partial f}{\partial x_1}, \ldots, \frac{\partial f}{\partial x_n}\rangle\). B. Teissier [Astérisque 7–8, 285–362 (1974; Zbl 0295.14003); Invent. Math. 40, 267–292 (1977; Zbl 0446.32002)] introduced the \(\mu^\ast\)-sequence \((\mu^0(f), \ldots, \mu^{(n)}(f))\) defined by \(\mu^{(0)}(f)=1\) and \(\mu^{(i)}(f)=\min\limits_{L} \mu(f)|_L)\) where \(L\) runs over the \(i\)-dimensional linear subspaces of \(\mathbb{C}^n\) and \(f|_L\) is the restriction of \(f\) to \(L\).
A new algorithm is introduced for computing the \(\mu^\ast\)-sequence. The algorithm is implemented in the computer algebra system Singular. Timings are given proving that the algorithm has a very good performance.
A new algorithm is introduced for computing the \(\mu^\ast\)-sequence. The algorithm is implemented in the computer algebra system Singular. Timings are given proving that the algorithm has a very good performance.
Reviewer: Gerhard Pfister (Kaiserslautern)
MSC:
| 13D45 | Local cohomology and commutative rings |
| 32C37 | Duality theorems for analytic spaces |
| 13J05 | Power series rings |
| 32A27 | Residues for several complex variables |
References:
| [1] | Artin, M., Algebraic approximation of structures over complete local rings, Publ. Math. IHES36 (1969) 23-58. · Zbl 0181.48802 |
| [2] | Biviá-Ausina, C., Generic linear sections of complex hypersurfaces and monomial ideals, Topology Appl.159 (2012) 414-419. · Zbl 1238.32019 |
| [3] | Brylinski, J. L., Dubson, A. and Kashiwara, M., Formule de l’indice pour les modules holonomes et obstruction d’Euler, C. R. Acad. Sci. Paris293 (1981) 573-576. · Zbl 0492.58021 |
| [4] | Briançon, J. and Speder, J. P., La trivialité topologique n’implique pas les conditions de Whitney, C. R. Acad. Sci. Paris280 (1975) 365-367. · Zbl 0331.32010 |
| [5] | Briançon, J., Henry, J. P. and Speder, J. P., Les conditions de Whitney en un point sont analytiques, C. R. Acad. Sci. Paris282 (1976) 279-282. · Zbl 0331.32011 |
| [6] | Briançon, J. and Speder, J. P., Les conditions de Whitney impliques \(\mu^\ast\) constant, Ann. Inst. Fourier Grenoble26 (1976) 153-163. · Zbl 0331.32012 |
| [7] | Briançon, J. and Henry, J. P. G., Equisingularité générique des familles de surfaces a singularité isolée, Bull. Soc. Math. France108 (1980) 259-281. · Zbl 0482.14004 |
| [8] | W. Decker, G.-M. Greuel, G. Pfister and H. Schönemann, Singular 4-1-0 — A computer algebra system for polynomial computations, (2016), http://www.singular.uni-kl.de. |
| [9] | Dubson, A. S., Classes caractéristiques des variétés singulières, C. R. Acad. Sci. Paris, série A287 (1978) 237-240. · Zbl 0387.14005 |
| [10] | Dubson, A. S., Calcul des Invariants Numériques des Singularités et Applications, Sonderforschungsbereich, Vol. 40, (Universität Bonn, 1981). |
| [11] | Eyral, C., Topics in Equisingularity Theory, , Vol. 3 (Polish Academy of Sciences/Institute of Mathematics, Warsaw, Poland, 2016). · Zbl 1354.14002 |
| [12] | Greuel, G.-M. and Pfister, G., A Singular Introduction to Commutative Algebra, (2nd edn) (Springer-verlagNewyork, 2008). · Zbl 1344.13002 |
| [13] | Houston, K., Equisingularity of families of hypersurfaces and applications to mapping, Michigan Math. J.60 (2011) 289-312. · Zbl 1233.32017 |
| [14] | Kashiwara, M., Index theorem for maximally overdetermined systems of linear differential equations, Proc. Japan Acad.49 (1973) 803-804. · Zbl 0305.35073 |
| [15] | Kashiwara, M., Systems of Microdifferential Equations (Birkhäuser, 1983). · Zbl 0521.58057 |
| [16] | Lazard, D., Gröbner bases, Gaussian elimination, and resolution of systems of algebraic equations, in Proc. EUROCAL 1985, Vol. 162 (Springer, 1985), pp. 146-156. · Zbl 0539.13002 |
| [17] | MacPherson, R. D., Chern class for singular algebraic varieties, Ann. Math.100 (1974) 423-432. · Zbl 0311.14001 |
| [18] | Mora, T., An algorithm to compute the equations of tangent cones, in Proc EUROCAM 82, ed. Calmet, J., , Vol. 144 (Springer, Heidelberg, 1982), pp. 158-165. · Zbl 0568.68029 |
| [19] | Mora, T., Pfister, G. and Traverso, T., An introduction to the tangent cone algorithm. Adv. in Computing Research, issued in Robotics and Nonlinear Geometry6 (1992) 199-270. |
| [20] | Nabeshima, K. and Tajima, S., Computing \(\mu^\ast \)-sequences of hypersurface isolated singularities via parametric local cohomology systems, Acta Mathematica Vietnamica42 (2017) 279-288. · Zbl 1393.13035 |
| [21] | Nabeshima, K. and Tajima, S., Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals, J. Symbo. Comput.82 (2017) 91-122. · Zbl 1430.13026 |
| [22] | Noro, M. and Takeshima, T., Risa/Asir-A computer algebra system, in Proc. ISSAC 92, ed. Wang, P. S., (ACM, 1992), pp. 387-396, http://www.math.kobe-u.ac.jp/Asir/asir.html. · Zbl 0964.68597 |
| [23] | Oka, M., On the weak simultaneous resolution of a negligible truncation of the Newton boundary, Contemp. Math.90 (1989) 199-210. · Zbl 0682.32011 |
| [24] | O’Shea, D. and Teleman, C., Limiting tangent spaces and a criterion for \(\mu \)-constancy, Travaux en Cours55 (1997) 79-85. · Zbl 0892.32022 |
| [25] | Saia, M. J., The integral closure of ideals and the Newton filtration, J. Algebraic Geom.5 (1996) 1-11. · Zbl 0861.14048 |
| [26] | Tajima, S., Nakamura, Y. and Nabeshima, K., Standard bases and algebraic local cohomology for zero dimensional ideals, Adv. Studies Pure Math.56 (2009) 341-361. · Zbl 1194.13020 |
| [27] | Teissier, B., Cycles évanescents, sections planes et conditions de Whitney, Astérisques, Soc. Math. France7 (1973) 285-362. · Zbl 0295.14003 |
| [28] | Teissier, B., Variétés polaires I, Invent. Math.40 (1977) 267-292. · Zbl 0446.32002 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
