The non-convexity of a smooth compact connected component of a real algebraic plane curve can be measured by a combinatorial object: the Poincaré–Reeb tree associated to the curve and to a direction of projection. Here we show that if the chosen projection avoids the bitangents and the inflections to the small enough level curves of a real bivariate polynomial function near a strict local minimum at the origin, then the asymptotic Poincaré–Reeb tree becomes complete binary and its vertices become totally ordered. Such a projection direction is called generic. We prove that for any such asymptotic family of level curves, there are finitely many intervals on the real projective line outside of which all the directions are generic with respect to all the curves in the family. If the projection is generic, then the local shape of the curves can be encoded in terms of alternating permutations, called snakes. Snakes offer an effective description of the local geometry and topology, well-suited for computations.
La non-convexité d’une composante connexe lisse et compacte d’une courbe algébrique réelle plane peut être mesurée par un objet combinatoire appelé l’arbre de Poincaré–Reeb associé à la courbe et à une direction de projection. Dans cet article, nous montrons que si la projection choisie évite les bitangentes et les tangences d’inflexions aux courbes de niveaux suffisamment petits d’une fonction polynomiale réelle bivariée, proche d’un minimum local strict à l’origine, alors asymptotiquement l’arbre de Poincaré–Reeb devient un arbre binaire complet et ses sommets sont munis d’une relation d’ordre total. Une telle direction de projection est appelée générique. Nous prouvons que pour toute famille asymptotique de courbes de niveau, il y a un nombre fini d’intervalles sur la droite réelle projective en dehors desquelles toutes les directions sont génériques par rapport à toutes les courbes de la famille. Si le choix de la direction de projection est générique, on peut coder la forme locale des courbes en utilisant des permutations alternées, que nous appelons serpents. Les serpents offrent une description efficace de la géométrie et de la topologie locale, bien adaptée à d’autres calculs.
Revised:
Accepted:
Published online:
Keywords: generic projection, real algebraic curve, Poincaré–Reeb tree, permutation, snake, polar curve, bitangent, inflection, dual curve, strict local minimum
Mot clés : projection générique, courbe algébrique réelle, l’arbre de Poincaré–Reeb, permutation, serpent, courbe polaire, bitangente, inflexion, courbe duale, minimum local strict
Sorea, Miruna-Ştefana 1, 2
@article{AIF_2022__72_4_1661_0, author = {Sorea, Miruna-\c{S}tefana}, title = {Permutations encoding the local shape of level curves of real polynomials via generic projections}, journal = {Annales de l'Institut Fourier}, pages = {1661--1703}, publisher = {Association des Annales de l{\textquoteright}institut Fourier}, volume = {72}, number = {4}, year = {2022}, doi = {10.5802/aif.3479}, language = {en}, url = {https://aif.centre-mersenne.org/articles/10.5802/aif.3479/} }
TY - JOUR AU - Sorea, Miruna-Ştefana TI - Permutations encoding the local shape of level curves of real polynomials via generic projections JO - Annales de l'Institut Fourier PY - 2022 SP - 1661 EP - 1703 VL - 72 IS - 4 PB - Association des Annales de l’institut Fourier UR - https://aif.centre-mersenne.org/articles/10.5802/aif.3479/ DO - 10.5802/aif.3479 LA - en ID - AIF_2022__72_4_1661_0 ER -
%0 Journal Article %A Sorea, Miruna-Ştefana %T Permutations encoding the local shape of level curves of real polynomials via generic projections %J Annales de l'Institut Fourier %D 2022 %P 1661-1703 %V 72 %N 4 %I Association des Annales de l’institut Fourier %U https://aif.centre-mersenne.org/articles/10.5802/aif.3479/ %R 10.5802/aif.3479 %G en %F AIF_2022__72_4_1661_0
Sorea, Miruna-Ştefana. Permutations encoding the local shape of level curves of real polynomials via generic projections. Annales de l'Institut Fourier, Volume 72 (2022) no. 4, pp. 1661-1703. doi : 10.5802/aif.3479. https://aif.centre-mersenne.org/articles/10.5802/aif.3479/
[1] Comment lire une carte IGN de randonné ? (https://www.altituderando.com/Comment-lire-une-carte-IGN-de-randonnee)
[2] Développements de et de , C. R. Math. Acad. Sci. Paris, Volume 88 (1879), pp. 965-967 | Zbl
[3] Sur les permutations alternées, Resal J. (3), Volume 7 (1881), pp. 167-184 | Zbl
[4] Snake calculus and the combinatorics of the Bernoulli, Euler and Springer numbers of Coxeter groups, Usp. Mat. Nauk, Volume 47 (1992) no. 1(283), p. 3-45, 240 | DOI | MR | Zbl
[5] Nombres d’Euler, de Bernoulli et de Springer pour les groupes de Coxeter et les espaces de morsification; le calcul des serpents, Leçons de mathématiques d’aujourd’hui (Le Sel et le Fer), Volume 4, Cassini, 2000, pp. 61-98 | Zbl
[6] http://arwann.com/?page_id=3869)
([7] On the geometry of polar varieties, Appl. Algebra Eng. Commun. Comput., Volume 21 (2010) no. 1, pp. 33-83 | DOI | MR | Zbl
[8] The Brownian limit of separable permutations, Ann. Probab., Volume 46 (2018) no. 4, pp. 2134-2189 | DOI | MR | Zbl
[9] Algorithms in real algebraic geometry, Algorithms and Computation in Mathematics, 10, Springer, 2006 | Zbl
[10] Newton polygons and families of polynomials, Manuscr. Math., Volume 113 (2004) no. 3, pp. 371-382 | DOI | MR | Zbl
[11] Jump of Milnor numbers, Bull. Braz. Math. Soc. (N.S.), Volume 38 (2007) no. 3, pp. 389-396 | DOI | MR | Zbl
[12] Pattern matching for permutations, Inf. Process. Lett., Volume 65 (1998) no. 5, pp. 277-283 | DOI | MR | Zbl
[13] Plane algebraic curves, Birkhäuser, 1986 (translated from the German by John Stillwell) | DOI | Zbl
[14] Inflection points of real and tropical plane curves, J. Singul., Volume 4 (2012), pp. 74-103 | MR | Zbl
[15] The topology of A’Campo deformations of singularities: an approach through the lotus, Ph. D. Thesis, Université de Lille 1, Lille, France (2015) (https://www.theses.fr/2015LIL10062)
[16] The collected mathematical papers. Volume 4, Cambridge Library Collection - Mathematics, Cambridge University Press, 2009 (Reprint of the 1891 original) | DOI | Zbl
[17] On the topology of real algebraic plane curves, Math. Comput. Sci., Volume 4 (2010) no. 1, pp. 113-137 | DOI | MR | Zbl
[18] An introduction to semialgebraic geometry (2002), 78 pages (Notes published by RAAG network school, vol. 145, https://perso.univ-rennes1.fr/michel.coste/polyens/SAG.pdf)
[19] Atypical values at infinity of a polynomial function on the real plane: an erratum, and an algorithmic criterion, J. Pure Appl. Algebra, Volume 162 (2001) no. 1, pp. 23-35 | DOI | MR | Zbl
[20] Real trigonal curves and real elliptic surfaces of type I, J. Reine Angew. Math., Volume 686 (2014), pp. 221-246 | DOI | MR | Zbl
[21] Plane algebraic curves, Student Mathematical Library, 15, American Mathematical Society, 2001 (translated from the 1994 German original by Leslie Kay) | DOI | Zbl
[22] Local polar varieties in the geometric study of singularities, Ann. Fac. Sci. Toulouse, Math., Volume 27 (2018) no. 4, pp. 679-775 | DOI | Numdam | MR | Zbl
[23] Invariants des singularités de courbes planes et courbure des fibres de Milnor, Ph. D. Thesis, Universidad de La Laguna, San Crist’obal, Spain (1996) (http://ergarcia.webs.ull.es/tesis.pdf)
[24] Un théorème de décomposition pour les polaires génériques d’une courbe plane, C. R. Math. Acad. Sci. Paris, Volume 326 (1998) no. 1, pp. 59-62 | DOI | Zbl
[25] Sur les courbes polaires d’une courbe plane réduite, Proc. Lond. Math. Soc., Volume 81 (2000) no. 1, pp. 1-28 | DOI | MR | Zbl
[26] The valuative tree is the projective limit of Eggers–Wall trees, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM, Volume 113 (2019) no. 4, pp. 4051-4105 | DOI | MR | Zbl
[27] The combinatorics of plane curve singularities. How Newton polygons blossom into lotuses, Handbook of geometry and topology of singularities. I (Cisneros-Molina, José Luis, ed.), Springer, 2020, pp. 1-150 | DOI | MR | Zbl
[28] Discriminants, resultants, and multidimensional determinants, Mathematics: Theory & Applications, Birkhäuser, 1994 | DOI | Zbl
[29] Intersecting curves (variation on an observation of Maxim Kontsevich), Am. Math. Mon., Volume 120 (2013) no. 3, pp. 232-242 | DOI | MR | Zbl
[30] A singular mathematical promenade, ENS Éditions, 2017 | Zbl
[31] Sixty-four curves of degree six, Exp. Math., Volume 28 (2019) no. 2, pp. 132-150 | DOI | MR | Zbl
[32] Patterns in permutations and words, Monographs in Theoretical Computer Science. An EATCS Series, Springer, 2011 (With a foreword by Jeffrey B. Remmel) | DOI | Zbl
[33] The art of computer programming. Vol. 1. Fasc. 1. The MMIX – a RISC computer for the new millennium, Addison-Wesley Publishing Group, 2005 | Zbl
[34] Sur le comportement des polaires associées aux germes de courbes planes, Compos. Math., Volume 72 (1989) no. 1, pp. 87-113 | Numdam | Zbl
[35] Topologie comparée d’une courbe polaire et de sa courbe discriminante, Rev. Mat. Complut., Volume 12 (1999) no. 2, pp. 439-450 | DOI | Zbl
[36] Polar varieties revisited, Computer algebra and polynomials (Gutierrez, Jaime, ed.) (Lecture Notes in Computer Science), Volume 8942, Springer, 2015, pp. 139-150 | DOI | MR | Zbl
[37] Sur les points singuliers des courbes, J. Math. Pures Appl., Volume 2 (1837), pp. 11-15
[38] Théorie des polaires réciproques, Annales de Mathématiques pures et appliqués, Volume 8 (1817), pp. 201-232 | Numdam
[39] Le cerf-volant d’une constellation, Enseign. Math., Volume 57 (2011) no. 3-4, pp. 303-347 | DOI | MR | Zbl
[40] Polar varieties and computation of one point in each connected component of a smooth algebraic set, Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation, Philadelphia, PA, USA, August 3–6, 2003 (2003), pp. 224-231 | DOI | Zbl
[41] The shapes of level curves of real polynomials near strict local minima, Ph. D. Thesis, Université de Lille, France (2018) (https://hal.archives-ouvertes.fr/tel-01909028v1)
[42] Constructing Separable Arnold Snakes of Morse Polynomials, Port. Math. (N.S.), Volume 77 (2020) no. 2, pp. 219-260 | DOI | MR | Zbl
[43] Measuring the local non-convexity of real algebraic curves, J. Symb. Comput., Volume 109 (2022), pp. 482-509 | DOI | MR | Zbl
[44] A survey of alternating permutations, Combinatorics and graphs. Selected papers based on the presentations at the 20th anniversary conference of IPM on combinatorics, Tehran, Iran, May 15–21, 2009. Dedicated to Reza Khosrovshahi on the occasion of his 70th birthday (Brualdi, Richard A., ed.) (Contemporary Mathematics), Volume 531, American Mathematical Society, 2010, pp. 165-196 | DOI | MR | Zbl
[45] Variétés polaires. I. Invariants polaires des singularités d’hypersurfaces, Invent. Math., Volume 40 (1977) no. 3, pp. 267-292 | DOI | Zbl
[46] Quelques points de l’histoire des variétés polaires, de Poncelet à nos jours, Séminaire d’Analyse, 1987–1988 (Clermont-Ferrand, 1987–1988), Univ. Clermont-Ferrand II, Clermont-Ferrand, 1990, 4 | Zbl
[47] Singular points of plane curves, London Mathematical Society Student Texts, 63, Cambridge University Press, 2004 | DOI | Zbl
Cited by Sources: