Computing the equisingularity type of a pseudo-irreducible polynomial. (English) Zbl 1472.14069
In the paper under review, the authors characterize a class of germs of plane curve singularities, containing irreducible ones, whose equisingularity type can be computed in an expected quasi-linear time with respect to the discriminant valuation of a Weierstrass equation.
Reviewer: Tien-Son Pham (Dalat)
MSC:
| 14Q20 | Effectivity, complexity and computational aspects of algebraic geometry |
| 12-08 | Computational methods for problems pertaining to field theory |
| 13P05 | Polynomials, factorization in commutative rings |
| 68W30 | Symbolic computation and algebraic computation |
References:
| [1] | Abhyankar, S., Irreducibility criterion for germs of analytic functions of two complex variables, Adv. Math., 35, 190-257 (1989) · Zbl 0683.14001 · doi:10.1016/0001-8708(89)90009-1 |
| [2] | Campillo, A., Algebroid Curves in Positive Characteristic, volume 378 of LNCS (1980), Berlin: Springer, Berlin · Zbl 0451.14010 |
| [3] | Casas-Alvero, E., Plane Curve Singularities, Volume 276 of LMS Lecture Notes (2000), Cambridge: Cambridge University Press, Cambridge · Zbl 0967.14018 |
| [4] | Della Dora, J., Dicrescenzo, C., Duval, D.: About a new method for computing in algebraic number fields. In: EUROCAL 85, LNCS 204. Springer (1985) |
| [5] | Duval, D., Rational Puiseux expansions, Compos. Math., 70, 2, 119-154 (1989) · Zbl 0699.14034 |
| [6] | Garciá Barroso, E.R.: Invariants des singularités de courbes planes et courbure des fibres de Milnor. Ph.D. Tesis, ftp://tesis.bbtk.ull.es/ccppytec/cp16.pdf (1995) |
| [7] | Gathen, JVZ; Gerhard, J., Modern Computer Algebra (2013), New York: Cambridge University Press, New York · Zbl 1277.68002 |
| [8] | Gelfand, I.; Kapranov, M.; Zelevinsky, A., Discriminants, Resultants, and Multidimensional Determinants (1994), Basel: Birkhäuser, Basel · Zbl 0827.14036 |
| [9] | Greuel, G-M; Lossen, C.; Shustin, EI, Introduction to Singularities and Deformation Monographs in Mathematics (2007), Berlin: Springer, Berlin · Zbl 1125.32013 |
| [10] | Hodorog, M., Mourrain, B., Schicho, J.: A symbolic-numeric algorithm for computing the Alexander polynomial of a plane curve singularity. In: Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 21-28 (2010) |
| [11] | Hodorog, M., Mourrain, B., Schicho, J.: An adapted version of the Bentley-Ottmann algorithm for invariants of plane curve singularities. In: Proceedings of 11th International Conference on Computational Science and Its Applications, volume 6784, pp. 121-131. Springer (2011) |
| [12] | Hodorog, M., Schicho, J.: A regularization method for computing approximate invariants of plane curves singularities. In: Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation, pp. 44-53. SNC (2011) · Zbl 1346.14073 |
| [13] | Hoeven, J.V.D., Lecerf, G.: Accelerated Tower Arithmetic. Preprint hal-01788403 (2018) · Zbl 1493.68404 |
| [14] | MacAdam, S., Swan, R.: Factorizations of monic polynomials. In: Rings, Modules, Algebras, and Abelian Groups, volume 236 of Lecture Notes in Pure and Application Mathematics, pp. 411-424 (2004) · Zbl 1080.13002 |
| [15] | Merle, M., Invariants polaires des courbes planes, Invent. Math., 41, 103-111 (1977) · Zbl 0371.14003 · doi:10.1007/BF01418370 |
| [16] | Moroz, G., Schost, É.: A fast algorithm for computing the truncated resultant. In: ISSAC ’16: Proceedings of the Twenty-first International Symposium on Symbolic and Algebraic Computation, pp. 1-8, New York, NY, USA, 2016. ACM (2016) · Zbl 1362.13034 |
| [17] | Nguyen, T.-S., Pham, Hong-Duc, Hoang, P.-D.: Topological invariants of plane curve singularities: polar quotients and Lojasiewicz gradient exponents (2017). arXiv:1708.08295v1 · Zbl 1446.32022 |
| [18] | Popescu-Pampu, P., Approximate roots, Fields Inst. Commun., 33, 1-37 (2002) |
| [19] | Poteaux, A.: Calcul de développements de Puiseux et application au calcul de groupe de monodromie d’une courbe algébrique plane. Ph.D. thesis, Université de Limoges (2008) |
| [20] | Poteaux, A.; Rybowicz, M., Complexity bounds for the rational Newton-Puiseux algorithm over finite fields, Appl. Algebra Eng. Commun. Comput., 22, 187-217 (2011) · Zbl 1276.68177 · doi:10.1007/s00200-011-0144-6 |
| [21] | Poteaux, A., Rybowicz, M.: Improving complexity bounds for the computation of Puiseux series over finite fields. In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC’15, pp. 299-306, New York, NY, USA, 2015. ACM (2015) · Zbl 1345.68293 |
| [22] | Poteaux, A., Weimann, M.: Computing puiseux series : a fast divide and conquer algorithm, 2017. Preprint arXiv:1708.09067 (2017) |
| [23] | Poteaux, A., Weimann, M.: A quasi-linear irreducibility test in \({\mathbb{K}} [[x]][y], 2019\). Preprint arXiv:1911.03551 (2019) |
| [24] | Poteaux, A., Weimann, M.: Using approximate roots for irreducibility and equi-singularity issues in \({\mathbb{K}}[[x]][y], 2019\). Preprint arXiv:1904.00286v2 (2019) |
| [25] | Sommese, A.; Wampler, C., Numerical Solution of Polynomial Systems Arising in Engineering and Science (2005), Singapore: World Scientific, Singapore · Zbl 1091.65049 |
| [26] | Teitelbaum, J., The computational complexity of the resolution of plane curve singularities, Math. Comput., 54, 190, 797-837 (1990) · Zbl 0716.14035 · doi:10.1090/S0025-5718-1990-1010602-1 |
| [27] | Wall, C., Singular Points of Plane Curves (2004), London: London Mathematical Society, London · Zbl 1057.14001 |
| [28] | Walsh, PG, A polynomial-time complexity bound for the computation of the singular part of an algebraic function, Math. Comput., 69, 1167-1182 (2000) · Zbl 1042.14039 · doi:10.1090/S0025-5718-00-01246-1 |
| [29] | Zariski, O., Studies in equisingularity i: equivalent singularities of plane algebroid curves, Am. J. Math., 87, 507-535 (1965) · Zbl 0132.41601 · doi:10.2307/2373019 |
| [30] | Zariski, O., Studies in equisingularity ii: equisingularity in codimension 1 (and characteristic zero), Am. J. Math., 87, 972-1006 (1965) · Zbl 0146.42502 · doi:10.2307/2373257 |
| [31] | Zariski, O., Studies in equisingularity iii: saturation of local rings and equisingularity, Am. J. Math., 90, 961-1023 (1968) · Zbl 0189.21405 · doi:10.2307/2373492 |
| [32] | Zariski, O., Le problème des modules pour les branches planes (1973), Palaiseau: Centre de Maths de l’X, Palaiseau · Zbl 0317.14004 |
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.
