Some lower bounds for the maximal number of A-singularities in algebraic surfaces. II

1. Problématique et Contexte

Le problème central de la géométrie algébrique abordé dans ce travail est la détermination du nombre maximal de singularités d'un type donné (spécifiquement les singularités de type $A_\nu$) que peuvent posséder des surfaces algébriques complexes de degré $d$ dans l'espace projectif $\mathbb{P}^3(\mathbb{C})$.

Bien que des bornes supérieures aient été établies dans la littérature ([23, 20]), les bornes inférieures pour le nombre maximal de singularités ($\mu_{A_\nu}(d)$) restent un défi, en particulier pour des degrés élevés ou des cas spécifiques non couverts par les constructions précédentes. L'objectif de cet article est d'étendre une construction récente ([14]) pour obtenir de nouvelles bornes inférieures pour une série de cas supplémentaires, en particulier pour les surfaces de degré $d = 3q$.

2. Méthodologie

L'auteur développe une méthode constructive basée sur la théorie des polynômes de Belyi et la combinatoire des arbres planaires. La stratégie repose sur les étapes suivantes :

• Représentation par des arbres : Les polynômes univariés à au plus deux valeurs critiques (polynômes de Belyi) sont représentés par des arbres planaires bicolorés. Les sommets noirs et blancs correspondent aux points critiques de valeurs $-1$ et $1$ respectivement. La multiplicité des points critiques est déduite du degré des sommets moins un.
• Construction de polynômes $G$ : L'article part de polynômes initiaux $B^{(t)}$ (définis dans [14]) et les étend en une famille de nouveaux polynômes notés $G^{(t)}$. Cette extension est réalisée via une série de transformations sur les arbres associés.
• Langage formel et transformations :
  • Pour les cas $t=1$ et $t=3$, l'auteur utilise un alphabet $\Sigma = \{\alpha, \beta\}$ définissant des règles de substitution sur les arbres. Ces transformations modifient le degré du polynôme et le nombre de points critiques tout en préservant une condition spécifique (Condition E).
  • Pour le cas $t=2$, un alphabet plus riche $\Sigma = \{\alpha, \beta, \gamma, \delta, \bar{\delta}\}$ est introduit pour caractériser des arbres correspondant à des singularités $A_\nu$.
  • Une « langue admissible » ($L_E$) est définie comme l'ensemble des mots (séquences de transformations) qui génèrent des polynômes satisfaisant la condition (E) :
    $$\left\lfloor \frac{d}{\nu+1} \right\rfloor = N_{-1}(G, \nu) \quad \text{et} \quad \left\lfloor \frac{d-1}{\nu} \right\rfloor - \left\lfloor \frac{d}{\nu+1} \right\rfloor = N_{1}(G, \nu)$$
    où $N_\zeta(G, \nu)$ est le nombre de points critiques de valeur $\zeta$ et de multiplicité $\nu$.
• Équations de surfaces : Les surfaces étudiées sont définies par des équations affines de la forme $J_d(u, v) + U^{(t)}_{d,\nu,\epsilon}(w) = 0$, où $J_d$ est un polynôme bivaré lié à un réseau de racines $A_2$ et $U$ est un polynôme univarié dérivé des $G^{(t)}$.

3. Contributions Clés

• Généralisation de la construction : L'article généralise la méthode de [14] en introduisant de nouveaux polynômes $G$ obtenus par des transformations d'arbres, permettant de couvrir des cas de degrés et de multiplicités non traités précédemment.
• Classification des transformations : Définition précise des règles de substitution ($\alpha, \beta, \gamma, \delta, \bar{\delta}$) et preuve de l'existence de langages infinis de mots admissibles pour certaines valeurs de multiplicité (notamment $\nu=2$).
• Lien avec les singularités $A_\nu$ : Démonstration que ces constructions permettent de générer des surfaces avec un nombre élevé de singularités de type $A_\nu$ (cusps et autres singularités simples).

4. Résultats Principaux

L'article établit des bornes inférieures explicites pour le nombre maximal de singularités $A_\nu$ sur une surface de degré $d$.

• Théorème 3.3 : Pour les surfaces $S_J$ de degré $d=3q$ définies par l'équation (3.8), le nombre de singularités de type $A_\nu$ est donné par :
  • Pour $\nu > 2$ :
    $$N(S_J, A_\nu) = \frac{d(d-1)}{2} \left\lfloor \frac{d}{\nu+1} \right\rfloor + \frac{d(d-3)}{3} + 1$$
  • Pour $\nu = 2$ (avec $d = 3(h+3)$) :
    $$N(S_J, A_2) = \frac{3(h+3)^2(3h+8)}{2} + (3(h+3)(h+2)+1)\left(1 + \left\lfloor \frac{h}{2} \right\rfloor\right)$$
• Comparaison avec les travaux antérieurs : L'auteur montre que ces surfaces $S_J$ possèdent plus de singularités que les surfaces $S_F$ étudiées dans [19] (basées sur des polynômes de pliage). En particulier, pour $\nu > 2$, les surfaces $S_J$ ont un nombre supplémentaire de singularités de type $A_\nu$ et de cusps ($A_1$).
• Inégalités de bornes inférieures : Il en résulte que pour $\nu > 1$ :
  $$\mu_{A_\nu}(d) \geq N(S_J, A_\nu)$$
  Ces résultats fournissent de meilleures bornes inférieures pour de nombreuses valeurs de $d$ et $\nu$.

5. Signification et Impact

Ce travail est significatif car il repousse les limites connues du nombre de singularités possibles sur les surfaces algébriques complexes.

1. Optimisation des bornes inférieures : En fournissant des constructions explicites pour une gamme plus large de degrés et de types de singularités, l'article réduit l'écart entre les bornes inférieures et supérieures connues.
2. Unification théorique : Il montre que des résultats antérieurs sur les cusps et les singularités $A_\nu$ ([10, 11]) peuvent être vus comme des cas particuliers de cette construction plus générale basée sur les transformations d'arbres.
3. Outils combinatoires : L'approche par les langages formels et les arbres planaires offre un cadre systématique pour explorer de nouvelles familles de surfaces singulières, ouvrant la voie à de futures recherches sur la classification des singularités maximales.

En résumé, García Escudero propose une méthode constructive puissante qui améliore substantiellement notre compréhension de la complexité des singularités sur les surfaces algébriques de haut degré.