On homological properties of conic-line arrangements with simple singularities

Résumé Technique : Sur les propriétés homologiques des arrangements de coniques et de droites à singularités simples

Énoncé du Problème
Cet article étudie la relation entre les données combinatoires et l'algèbre homologique des arrangements de coniques lisses et de droites dans le plan projectif complexe $\mathbb{P}^2_{\mathbb{C}}$. Bien que la topologie et l'homologie des arrangements de droites soient bien comprises, les arrangements impliquant des composantes de degré supérieur (spécifiquement des coniques) présentent des phénomènes où les données numériques élémentaires (combinatoire faible) ne parviennent pas à déterminer le type homologique. L'étude se concentre sur les arrangements réduits dont les singularités sont restreintes à trois types simples : les nœuds ($n_2$), les tacnodes ($t_3$) et les points triples ordinaires ($n_3$). Les objectifs principaux sont doubles :

1. Établir des restrictions numériques pour les arrangements de coniques de type plus-one generated (POG) avec un défaut $\nu(C) = 3$.
2. Classifier et identifier les paires de Ziegler (faibles et fortes) au sein d'arrangements de degré total au plus 6, démontrant des cas où l'équivalence combinatoire n'implique pas l'équivalence homologique.

Méthodologie
L'auteur emploie une combinaison de géométrie algébrique, d'algèbre commutative et d'algèbre computationnelle :

• Cadre Homologique : L'étude utilise le module des syzygies de Jacobian $AR(f)$ et l'algèbre de Milnor $M(f) = S/J_f$. Le concept de courbes « plus-one generated » est central, défini par la condition $d_1 + d_2 = d$ pour une courbe à 3-syzygies avec des exposants $(d_1, d_2, d_3)$. Le défaut est défini par $\nu(C) = d_3 - d_2 + 1$.
• Bornes Numériques : L'article combine la borne de Dimca–Sernesi pour le degré minimal d'une syzygie de Jacobian ($mdr(f)$) avec le théorème de Bézout et les inégalités de type Hirzebruch. Plus précisément, il utilise l'inégalité $mdr(C) \geq \alpha_C \cdot d - 2$, où $\alpha_C$ est l'exposant d'Arnold minimal des singularités.
• Définitions Combinatoires : L'article distingue la combinatoire faible (comptage des composantes et des singularités par type) de la combinatoire forte (relations d'incidence entre les composantes et les points singuliers).
• Vérification Computationnelle : Tous les calculs symboliques, y compris le calcul des résolutions libres graduées minimales des algèbres de Milnor, ont été effectués à l'aide du système de calcul algébrique SINGULAR. Une base de données d'arrangements de coniques-droites de degré $\leq 6$ sert de source empirique pour la classification.

Contributions Clés et Résultats

1. Restrictions sur les arrangements de coniques Plus-One Generated ($\nu(C)=3$)
L'article dérive des contraintes numériques fortes pour les arrangements de $k$ coniques lisses qui sont plus-one generated avec un défaut $\nu(C) = 3$.

• Borne Supérieure sur $k$ : En combinant la borne de Dimca–Sernesi avec la condition $d_1 + d_2 = 2k$, l'auteur prouve que $k \leq 6$.
• Classification pour de petits $k$ :
  • Pour $k=2$, aucun arrangement de ce type n'existe avec un défaut 3.
  • Pour $k=6$, les contraintes numériques dérivées du théorème de Bézout et de l'inégalité de type Hirzebruch mènent à une contradiction ($204 \geq 240$), prouvant qu'aucun arrangement de ce type n'existe.
  • Pour $k=3$, une combinatoire faible unique $(n_2, t_3, n_3) = (4, 4, 0)$ est identifiée, réalisée par un arrangement explicite avec des exposants $(3, 3, 5)$.
• Cas Ouverts ($k=4, 5$) : Pour $k=4$ et $k=5$, les conditions numériques permettent plusieurs combinatoires faibles (par exemple, $(3, 9, 1)$ pour $k=4$). L'auteur construit une réalisation géométrique pour le cas $(3, 9, 1)$ mais note qu'il est actuellement inconnu si une réalisation existe qui satisfait les exigences homologiques spécifiques (exposants $(4, 4, 6)$). Cela souligne la distinction entre la réalisabilité géométrique des singularités et l'existence d'un type homologique spécifique.

2. Restrictions Géométriques sur les Arrangements de Coniques-Droites
L'article analyse des arrangements de deux coniques et une droite. Il prouve que si un tel arrangement contient un point triple ordinaire et au moins un tacnode, le tacnode doit être formé exclusivement par les deux coniques ; la droite ne peut pas être tangente à l'une ou l'autre des coniques. Par conséquent, la combinatoire faible $(2, 1; 1, 2, 1)$ est montrée comme étant géométriquement irréalisable.

3. Classification des Paires de Ziegler
En utilisant une base de données d'arrangements de degré $\leq 6$, l'auteur identifie des paires d'arrangements qui partagent des données combinatoires mais possèdent des modules de syzygies de Jacobian non isomorphes (résolutions minimales différentes).

• Paires de Ziegler Faibles : Sept cas distincts de combinatoires faibles sont identifiés où différents arrangements produisent différentes résolutions. Par exemple, des arrangements avec la combinatoire faible $(2, 1; 4, 2, 0)$ peuvent avoir des résolutions de type $0 \to S(-9) \to S(-8)\oplus S(-7)\oplus S(-6) \to S^3(-4) \to S$ ou $0 \to S^2(-8) \to S^4(-7) \to S^3(-4) \to S$.
• Paires de Ziegler Fortes : L'article identifie trois paires d'arrangements qui partagent le même type combinatoire fort (structures d'incidence identiques) tout en possédant des propriétés homologiques différentes. Celles-ci incluent des paires d'arrangements de 3 coniques et une paire d'arrangements de 2 coniques/2 droites. Cela démontre que même les données d'incidence complètes ne déterminent pas le type homologique pour ces configurations spécifiques.

Signification et Revendications
L'article prétend fournir une « classification de bas degré finie » qui clarifie la frontière entre les données combinatoires et homologiques pour les arrangements de coniques-droites.

• Il établit que pour les arrangements de coniques plus-one generated avec un défaut 3, le nombre de coniques est strictement borné ($k \leq 6$), et le seul cas réalisé pour $k=3$ est entièrement classifié.
• Il sépare explicitement la question de la réalisabilité géométrique (les singularités peuvent-elles exister ?) de la réalisabilité homologique (forment-elles une courbe POG avec des exposants spécifiques ?), notant que cette dernière reste un problème ouvert pour $k=4$ et $k=5$.
• L'identification des paires de Ziegler fortes est présentée comme une découverte significative, prouvant que pour les arrangements de coniques-droites, le type combinatoire fort (données d'incidence) est insuffisant pour déterminer la classe d'isomorphisme du module de syzygies de Jacobian.

Le travail s'appuie sur la classification des singularités et le calcul des résolutions libres minimales pour montrer que, bien que les données combinatoires contraignent les possibilités homologiques, elles ne les déterminent pas de manière unique, même en présence de contraintes d'incidence fortes.