An algorithm to compute a presentation of pushforward modules. (English) Zbl 1381.32012
Summary: We describe an algorithm to compute a presentation of the pushforward module \(f_\ast \mathcal{O}_{\mathcal{X}}\) for a finite map germ \(f : \mathcal{X} \rightarrow(\mathbb{C}^{n + 1}, 0)\), where \(\mathcal{X}\) is Cohen-Macaulay of dimension \(n\). The algorithm is an improvement of a method by Mond and Pellikaan. We give applications to problems in singularity theory, computed by means of an implementation in the software singular.
MSC:
| 32S05 | Local complex singularities |
References:
| [1] | Decker, W.; Greuel, G.-M.; Pfister, G.; Schönemann, H., Singular 3-1-3 - a computer algebra system for polynomial computations (2012) |
| [2] | Gaffney, T.; Mond, D., Cusps and double folds of germs of analytic maps \(C^2 \to C^2\), J. Lond. Math. Soc. (2), 43, 1, 185-192 (1991) · Zbl 0737.58007 |
| [3] | Gaffney, T.; Mond, D., Weighted homogeneous maps from the plane to the plane, Math. Proc. Camb. Philos. Soc., 109, 451-470 (1991) · Zbl 0739.32033 |
| [4] | Greuel, G. M.; Pfister, G., A Singular Introduction to Commutative Algebra, Cambridge Studies in Advanced Mathematics (2002) · Zbl 1023.13001 |
| [5] | Jorge Perez, V. H.; Miranda, A. J.; Saia, M. J., Counting singularities via fitting ideals, Int. J. Math., 23, 6, 1-18 (2012), World Scientific Publishing Company · Zbl 1255.32009 |
| [6] | Jorge Perez, V. H.; Nuño-Ballesteros, J. J., Finite determinacy and Whitney equisingularity of map germs from \(C^n\) to \(C^{2 n - 1}\), Manuscr. Math., 128, 389-410 (2009) · Zbl 1171.32014 |
| [7] | Kleiman, S. L.; Lipman, J.; Ulrich, B., The multiple-point schemes of a finite curvilinear map of codimension one, Ark. Mat., 34, 2, 285-326 (1996) · Zbl 0897.14002 |
| [8] | Looijenga, E. J.N., Isolated Singular Points on Complete Intersections, London Mathematical Soc. Lecture Note Series, vol. 77 (1984) · Zbl 0552.14002 |
| [9] | Marar, W. L.; Mond, D., Multiple point schemes for corank 1 maps, J. Lond. Math. Soc. (2), 39, 3, 553-567 (1989) · Zbl 0691.58015 |
| [10] | Marar, W. L.; Nuño-Ballesteros, J. J.; Peñafort-Sanchis, G., Double point curves for corank 2 map germs from \(C^2\) to \(C^3\), Topol. Appl., 159, 2, 526-536 (2012) · Zbl 1245.58018 |
| [11] | Miranda, A. J.; Peñafort-Sanchis, G. |
| [12] | Miranda, A. J.; Saia, M. J.; Soares, L. M.F., On the number of topological orbits of complex germs in \(K\) classes \((x y, x^a + y^b)\), Proc. R. Soc. Edinb., Sect. A, Math., 147, 205-224 (2017) · Zbl 1367.32023 |
| [13] | Mond, D., Some remarks on the geometry and classification of germs of maps from surfaces to 3-space, Topology, 26, 3, 361-383 (1987) · Zbl 0654.32008 |
| [14] | Mond, D.; Pellikaan, R., Fitting ideals and multiple points of analytic mappings, (Algebraic Geometry and Complex Analysis. Algebraic Geometry and Complex Analysis, Pátzcuaro, 1987. Algebraic Geometry and Complex Analysis. Algebraic Geometry and Complex Analysis, Pátzcuaro, 1987, Lecture Notes in Math., vol. 1414 (1989), Springer: Springer Berlin), 107-161 · Zbl 0715.32007 |
| [15] | Nuño-Ballesteros, J. J.; Peñafort-Sanchis, G., Multiple point spaces of finite holomorphic maps, Q. J. Math., 1-22 (2016) |
| [16] | Nuño-Ballesteros, J. J.; Oréfice-Okamoto, B.; Tomazella, J. N., Equisingularity of map germs from a surface to the plane, Collect. Math. (2017) · Zbl 1393.32014 |
| [17] | Ohmoto, T., Singularities and characteristic classes for differentiable maps |
| [18] | R. Oset Sinha, M.A.S. Ruas, R. Wik Atique, Defining the extra-nice dimensions, Preprint.; R. Oset Sinha, M.A.S. Ruas, R. Wik Atique, Defining the extra-nice dimensions, Preprint. · Zbl 1357.32021 |
| [19] | Silva, O. N., Superfícies Com Singularidades Não Isoladas (2017), ICMC-USP: ICMC-USP São Carlos, PhD thesis |
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.
