On $\mathscr{M}$-arrangements of conics and lines with ordinary singularities

Résumé technique : Sur les arrangements M de coniques et de droites à singularités ordinaires

Énoncé du problème et contexte
Cet article étudie les propriétés combinatoires et homologiques d'une classe spécifique de courbes planes réduites connues sous le nom de courbes M. Introduites récemment par Janasz et Pokora [10] comme une généralisation des classiques « courbes maximisantes » (Persson [17]), les courbes M sont définies par le fait qu'elles ne possèdent que des singularités ADE et des singularités elliptiques simples (points quadruples ordinaires et singularités $J_{2,0}$) tout en satisfaisant une condition numérique spécifique sur le degré de leur idéal jacobien.

Alors que les courbes maximisantes de degré pair sont bien étudiées, celles de degré impair sont rares et difficiles à construire. Les auteurs visent à explorer une classe de courbes légèrement plus large qui conserve les propriétés numériques et homologiques clés des courbes maximisantes. L'accent est mis spécifiquement sur les arrangements M de coniques et de droites ($CL$) qui n'admettent que des singularités ordinaires de multiplicité au plus quatre (points doubles, triples et quadruples). Ce cadre est motivé par la nature restrictive des courbes M (par exemple, les arrangements M réels de droites sont nécessairement simpliciaux [11]) et par leur connexion avec les surfaces algébriques aux propriétés extrémales [15, 18, 19].

Méthodologie
Les auteurs emploient une combinaison de dénombrement combinatoire, de géométrie algébrique et de théorie des syzygies :

1. Contraintes combinatoires : En utilisant le théorème de Bézout et la définition du nombre de Tjurina total $\tau(C)$, les auteurs dérivent des équations linéaires reliant le nombre de droites ($d$), de coniques ($k$) et les décomptes de points singuliers de multiplicité $r$ ($n_r$).
2. Théorie des syzygies et liberté : L'étude repose largement sur le concept de courbes libres, où l'idéal jacobien est saturé. Les auteurs utilisent le degré minimal des syzygies jacobiennes, noté $mdr(f)$, et les exposants $(d_1, d_2)$ des arrangements libres.
3. Polynômes de Poincaré : Les auteurs analysent le polynôme de Poincaré combinatoire $P(CL; t)$, qui, pour les arrangements libres, se factorise en $(1+d_1t)(1+d_2t)$. Ils étudient comment ce polynôme se comporte lorsqu'une conique lisse est supprimée d'un arrangement M.
4. Bornes de géométrie réelle : Pour les arrangements réels, les auteurs appliquent l'inégalité de Melchior pour dériver des résultats de bornage pour le degré de tels arrangements.
5. Calculs de régularité : L'article calcule la régularité de Castelnuovo–Mumford de l'algèbre de Milnor $M(f)$ et du module des syzygies jacobiennes $AR(f)$ en utilisant des relations entre les seuils de stabilité, les seuils de coïncidence et les exposants des courbes libres.

Contributions et résultats clés

• Contraintes numériques sur la combinatoire faible (Théorème 3.1) :
  Les auteurs établissent des conditions nécessaires pour la combinatoire faible d'un arrangement M composé de $k$ coniques et $d$ droites présentant des singularités ordinaires de multiplicité $\le 4$.

  • Si $d = 2\ell$ (pair), les décomptes doivent satisfaire : $n_2 + 2n_3 + 3n_4 = (k + \ell)^2 + \ell - k - 3$.
  • Si $d = 2\ell + 1$ (impair), les décomptes doivent satisfaire : $n_2 + 2n_3 + 3n_4 = (k + \ell)^2 + 2\ell - 1$.
    Ces contraintes permettent d'éliminer des types combinatoires inexistants (Exemple 3.2).

• Spécialisation à une conique et $d$ droites (Proposition 3.4 & 3.6) :
  En se concentrant sur le cas $k=1$, les auteurs dérivent des systèmes d'équations explicites pour $n_2, n_3, n_4$. De plus, ils fournissent des contraintes strictes sur le nombre de points d'intersection $r$ entre la conique et les droites restantes, montrant que $r$ ne peut pas prendre des valeurs arbitraires mais est borné par des fonctions spécifiques de $\ell$.

• Polynômes de Poincaré combinatoires (Théorème 4.3) :
  L'article fournit une formule explicite pour le polynôme de Poincaré de l'arrangement de droites $L$ obtenu en supprimant la conique d'un arrangement M $CL$.

  • Pour $d=2\ell$, $P(L; t) = (\ell^2 + \ell - 2 - r)t^2 + (2\ell - 1)t + 1$.
  • Pour $d=2\ell+1$, $P(L; t) = (\ell^2 + 2\ell - r)t^2 + 2\ell t + 1$.
    Les auteurs démontrent que si la suppression d'une conique d'un arrangement M produit souvent un arrangement de droites libre (ex : Exemples 4.5, 4.6, 4.8), elle ne garantit pas la liberté (Exemple 4.7), car le polynôme peut ne pas se scinder sur $\mathbb{Q}$.

• Nouvelle construction (Exemple 4.8) :
  Les auteurs construisent un nouvel exemple explicite d'un arrangement M composé d'une conique et onze droites. Cet arrangement possède une combinatoire faible $C(11, 1; 11, 2, 10)$, un nombre de Tjurina total $\tau = 109$, et des exposants $(5, 7)$. La suppression de la conique donne un arrangement libre de 11 droites avec des exposants $(5, 5)$.

• Bornage des arrangements réels (Théorème 5.1) :
  L'article prouve que les arrangements M réels d'une conique et de droites sont bornés en degré.

  • Si $d = 2\ell$, alors $\ell \le 9$ (pas d'arrangements de ce type pour $d$ pair $\ge 20$).
  • Si $d = 2\ell + 1$, alors $\ell \le 10$ (pas d'arrangements de ce type pour $d$ impair $\ge 23$).

• Régularité des modules associés (Proposition 6.4) :
  Les auteurs consignent les valeurs précises pour la régularité de Castelnuovo–Mumford de l'algèbre de Milnor $M(f)$ et du module de syzygie $AR(f)$ pour les courbes M de degré $d$ :

  • $\text{reg}(M(f)) = 3m - 2$ (si $d=2m$) ou $3m - 1$ (si $d=2m+1$).
  • $\text{reg}(AR(f)) = m + 1$.

Signification et affirmations
L'article affirme fournir un « ensemble complet de contraintes » pour la combinatoire faible des arrangements M avec une seule conique, établissant ainsi la caractérisation des types combinatoires possibles de ces courbes. Il souligne la nature restrictive des courbes M, notant qu'elles forment une « classe délicate » où les conditions numériques contraignent étroitement les possibilités géométriques.

Les auteurs positionnent leur travail comme complémentaire aux classifications existantes d'arrangements avec syzygies linéaires (Beorchia et Miró-Roig [2]) ou ceux invariants par les équations différentielles (de Moura Canaan et Coutinho [3]). Alors que ces travaux impliquent souvent des singularités non ordinaires, cet article se concentre strictement sur les singularités ordinaires de faible multiplicité. La construction du nouvel exemple de 11 droites et la preuve du bornage pour les arrangements réels sont présentées comme des avancées concrètes dans la compréhension de l'existence et des limites de ces courbes. Les résultats de régularité sont présentés comme une contribution à la compréhension plus large des propriétés homologiques des courbes M, liant ces dernières aux seuils de stabilité et de coïncidence des courbes libres.