Modular inequalities and Alexander polynomials of pencil type conic-line arrangements

Résumé technique : Inégalités modulaires et polynômes d'Alexander pour les arrangements de type pinceau conique-droite

Énoncé du problème
L'article traite du calcul des polynômes d'Alexander, $\Delta_C(t)$, pour des classes spécifiques de courbes du plan projectif complexe connues sous le nom d'arrangements de type pinceau conique-droite. Il s'agit de courbes dont les composantes irréductibles sont des droites et des coniques lisses, réalisées comme l'union des fibres d'un pinceau de courbes de degré $d \ge 3$. Un problème ouvert central dans ce domaine est de savoir si le polynôme d'Alexander est déterminé uniquement par la combinatoire de l'arrangement (spécifiquement, le type combinatoire faible). Bien que cette conjecture de « combinatorialité » échoue pour les courbes planes générales (comme le proulent les paires de Zariski), elle est vérifiée pour les arrangements d'hyperplans. L'auteur étudie si une telle détermination combinatoire similaire tient pour une sous-classe spécifique d'arrangements conique-droite, particulièrement ceux issus de pinceaux de courbes de degré 3.

Méthodologie
L'auteur emploie une combinaison de techniques topologiques et algébriques pour borner et calculer les multiplicités des racines du polynôme d'Alexander :

1. Inégalités modulaires : L'article utilise des résultats récents (spécifiquement de [11]) concernant les inégalités modulaires pour les compléments de courbes. Ces inégalités fournissent des bornes supérieures pour les multiplicités ($b_k$) des racines du polynôme d'Alexander qui sont des puissances de nombres premiers. La borne est donnée par la dimension du premier cohomologie d'un complexe d'Aomoto généralisé, noté $\beta_p$, qui est un invariant combinatoire dérivé du type combinatoire faible de la courbe.
   $$b_k \le \beta_p$$
   où $k = p^s$.

2. Bornes inférieures via des structures de type fibre : Pour les courbes admettant des structures de type quasi-fibre, des bornes inférieures pour ces multiplicités sont établies en utilisant les résultats de [11], spécifiquement le Théorème 8, qui stipule que pour une union de $s$ membres d'un pinceau, la multiplicité d'une racine primitive d'ordre $k$ (où $k|s$) est au moins $s-2$.

3. Analyse de systèmes linéaires : Pour calculer l'invariant combinatoire $\beta_p$, l'auteur construit un système linéaire $S$ sur le corps $\mathbb{Z}_p$. Les variables correspondent aux composantes irréductibles de la courbe. Les équations de $S$ sont dérivées de la condition de résonance $\omega \wedge \omega_1 = 0$ dans le complexe d'Aomoto généralisé, en utilisant les données d'intersection des singularités de la courbe (ordinaires et de type $A_3$).

4. Polynômes d'Alexander locaux : L'auteur utilise la propriété de divisibilité du polynôme d'Alexander (Théorème 9) et des formules explicites pour les polynômes d'Alexander locaux des singularités ordinaires et des singularités $A_3$ (Lemme 10) pour filtrer les racines possibles.

Contributions clés et résultats

• Détermination combinatoire pour les pinceaux de degré 3 :
  Le résultat principal (Théorème 1) établit que pour les arrangements de type pinceau conique-droite issus d'un pinceau de courbes de degré 3 avec des points de base transversaux, la multiplicité des racines de l'unité de degré impair dans $\Delta_C(t)$ est combinatoire. De plus, si l'arrangement possède au plus deux singularités non ordinaires, la multiplicité des racines d'ordre $2^k$ est également combinatoire.

• Formules explicites pour les polynômes d'Alexander :
  L'article fournit des formules explicites pour le polynôme d'Alexander $\Delta_C(t)$ pour les arrangements formés par l'union de $m$ fibres ($3 \le m \le 6$) d'un pinceau de degré 3, en supposant des singularités ordinaires aux points de base (Théorème 2).

  • $m=3$ : $\Delta_C(t) = (t-1)^{s-1}(t^2+t+1)$, sauf pour l'arrangement de Ceva où le facteur est au carré.
  • $m=4$ : $\Delta_C(t) = (t-1)^{s-1}(t+1)^{b_2}(t^2+1)^{b_4}$ avec $b_2, b_4 \ge 2$. Sous des conditions spécifiques (au plus deux singularités non ordinaires), $b_2=b_4=2$.
  • $m=5$ : $\Delta_C(t) = (t-1)^{s-1}(t^4+t^3+t^2+t+1)^3$.
  • $m=6$ : $\Delta_C(t) = (t-1)^{s-1}(t+1)^{b_2}(t^2+t+1)^4(t^2-t+1)^{b_6}$ avec $b_2, b_6 \ge 4$. Sous des conditions spécifiques, $b_2=4$.

• Analyse raffinée pour $m=4$ :
  L'article étend les résultats pour $m=4$ aux cas avec plus de singularités non ordinaires. Le Théorème 3 et le Théorème 20 montrent que si soit il y a au plus trois singularités non ordinaires, soit il existe un point de base à travers lequel passe un nombre impair de droites, alors les exposants sont exactement $b_2=b_4=2$, donnant $\Delta_C(t) = (t-1)^{s-1}(t+1)^2(t^2+1)^2$.

• Types combinatoires abstraits et réalisabilité :
  L'auteur identifie un type combinatoire faible « abstrait » $W$ (Théorème 22) où chaque singularité de point de base implique un nombre pair de droites. Pour ce type, l'invariant combinatoire est $\beta_2(W) = 3$, suggérant une multiplicité potentielle $b_2=3$ (contrastant avec la $b_2=2$ trouvée dans les cas réalisables satisfaisant les conditions du Théorème 3). L'article pose la question ouverte (Question 24) de savoir si ce type $W$ est réalisable par une véritable courbe plane complexe et, si tel est le cas, si des polynômes d'Alexander distincts peuvent résulter d'un même type combinatoire.

Signification et affirmations
L'article affirme démontrer un « phénomène distinctif » où, pour une sous-classe spécifique d'arrangements de type pinceau conique-droite, le polynôme d'Alexander est au moins partiellement combinatoire. Cela contraste avec l'échec général de la combinatorialité pour les courbes planes (dû aux paires de Zariski).

L'auteur souligne que les techniques employées — spécifiquement l'utilisation des inégalités modulaires pour borner les multiplicités des racines et l'analyse du complexe d'Aomoto généralisé — sont adaptées à un usage plus large et peuvent être appliquées pour calculer les polynômes d'Alexander pour des classes de courbes plus générales. Le travail comble le fossé entre la théorie combinatoire des arrangements d'hyperplans et la topologie plus complexe des arrangements conique-droite, fournissant des formules concrètes là où auparavant il n'existait que des bornes ou des questions ouvertes. L'article note modestement que si l'inégalité modulaire devient une égalité dans les cas étudiés, cela n'est pas vrai en général, et que le type abstrait $W$ identifié sert de cas limite pour comprendre les limites de la détermination combinatoire.