Abstract
We introduce a higher-order version of the tangent map of a morphism and find a matrix representation. We then apply this matrix to solve a conjecture by Yasuda regarding the semigroup of the higher Nash blowup of formal curves. We first show that the conjecture is true for toric curves. We conclude by exhibiting a family of non-monomial curves where the conjecture fails.
Similar content being viewed by others
References
Atanasov, A., Lopez, C., Perry, A., Proudfoot, N., Thaddeus, M.: Resolving toric varieties with Nash blow-ups. Exp. Math. 20(3), 288–303 (2011)
Barajas, P., Duarte, D.: On the module of differentials of order n of hypersurfaces. J. Pure Appl. Algebra 224(2), 536–550 (2020)
Brenner, H., Jeffries, J., Núñez-Betancourt, L.: Quantifying singularities with differential operators. Adv. Math. 358, 106843 (2019)
Cox, D., Little, J., Schenck, H.: Toric varieties, Graduate Studies in Mathematics, vol. 124. AMS, Providence, RI (2011)
de Fernex, T., Docampo, R.: Nash blow-ups of jet schemes. Ann. Inst. Fourier Grenoble 69(6), 2577–2588 (2019)
Duarte, D.: Nash modification on toric surfaces. Rev. de la Real Acad. de Ciencias Exactas Físicas y Nat. Ser. A Mat. 108(1), 153–171 (2014)
Duarte, D.: Computational aspects of the higher Nash blowup of hypersurfaces. J. Algebra 477, 211–230 (2017)
Duarte, D., Green Tripp, D.: Nash modification on toric curves. In: Greuel, G.M., Narváez Macarro, L, Xambó-Descamps, S. (eds.) Singularities, algebraic geometry, commutative algebra, and related topics, pp. 191–202. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96827-8-8
Gonzalez-Sprinberg, G.: Eventails en dimension 2 et transformé de Nash, pp. 1–68. Publ. de l’E.N.S, Paris (1977)
Gonzalez-Sprinberg, G.: Résolution de Nash des points doubles rationnels. Ann. Inst. Fourier Grenoble 32(2), 111–178 (1982)
González Perez, P.D., Teissier, B.: Toric geometry and the Semple-Nash modification, Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Serie A, Matemáticas, vol. 108, no. 1, pp. 1–48 (2014)
Grigoriev, D., Milman, P.: Nash resolution for binomial varieties as Euclidean division. A priori termination bound, polynomial complexity in essential dimension 2. Adv. Math. 231, 3389–3428 (2012)
Hironaka, H.: On Nash blowing-up, Arithmetic and Geometry II, Progr. Math., vol. 36, pp. 103–111. Birkhauser, Boston (1983)
Lejeune-Jalabert, M., Reguera, A.: The Denef-Loefer series for toric surfaces singularities. In: Proceedings of the International Conference on Algebraic Geometry and Singularities (Spanish) (Sevilla, 2001), Rev. Mat. Iberoamericana, vol. 19, pp. 581–612 (2003)
Nobile, A.: Some properties of the Nash blowing-up. Pac. J. Math. 60, 297–305 (1975)
Oneto, A., Zatini, E.: Remarks on Nash blowing-up, Rend. Sem. Mat. Univ. Politec. Torino. Commutative algebra and algebraic geometry, II (Italian) (Turin 1990), vol. 49, no. 1, pp. 71–82 (1991)
Rebassoo, V.: Desingularisation properties of the Nash blowing-up process. University of Washington, Thesis (1977)
Semple, J.G.: Some investigations in the geometry of curve and surface elements. Proc. Lond. Math. Soc. 3(4), 24–49 (1954)
Spivakovsky, M.: Sandwiched singularities and desingularisation of surfaces by normalized Nash transformations. Ann. Math. 131(3), 411–491 (1990)
Sturmfels, B.: Gröbner Bases and Convex Polytopes, University Lecture Series, vol. 8. American Mathematical Society, Providence, RI (1996)
Toh-Yama, R.: Higher Nash blowups of \(A_3-singularity\). Commun. Algebra 47(11), 4541–4564 (2019)
Yasuda, T.: Higher Nash blowups. Compos. Math. 143(6), 1493–1510 (2007)
Yasuda, T.: Flag higher Nash blowups. Commun. Algebra 37, 1001–1015 (2009)
Yasuda, T.: Universal flattening of Frobenius. Am. J. Math. 134(2), 349–378 (2012)
Acknowledgements
We would like to thank Pedro González Pérez for explaining us some of his results (joint with B. Teissier) from [11]. We also thank Mark Spivakovsky for stimulating discussions. We are very grateful to the referee for his/her careful reading of the paper, for several valuable comments that greatly improved the presentation of some parts of the paper, and for suggesting the study of the independence from the generators of a semigroup of the logarithmic Jacobian ideal of higher order.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
D. Duarte: Research supported by CONACyT grant 287622.
A. Giles Flores: Research supported by CONACyT grant 221635.
Rights and permissions
About this article
Cite this article
Chávez-Martínez, E., Duarte, D. & Giles Flores, A. A higher-order tangent map and a conjecture on the higher Nash blowup of curves. Math. Z. 297, 1767–1791 (2021). https://doi.org/10.1007/s00209-020-02579-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02579-5