On Ziegler pairs of line arrangements: from non-existence to abundance

Sintesi Tecnica: Sulle Coppie di Ziegler per Disposizioni di Rette: Dalla Non-Esistenza all'Abbondanza

Enunciato del Problema
Il saggio investiga l'estensione in cui la struttura combinatoria di una disposizione di rette nel piano proiettivo complesso $\mathbb{P}^2$ determina i suoi invarianti algebrici, specificamente il modulo dei sinzigi jacobiani e la risoluzione libera graduata minima dell'algebra di Milnor associata. L'oggetto centrale di studio è la coppia di Ziegler: una coppia di disposizioni di rette $(A, A')$ che possiedono reticoli di intersezione isomorfi $L(A) \cong L(A')$ ma sono distinte dai dati dei sinzigi jacobiani.

Gli autori affrontano due prospettive complementari:

1. Numerica: In che misura il reticolo di intersezione determina gli esponenti (gradi dei generatori minimi) del modulo dei sinzigi jacobiani?
2. Omologica: È possibile costruire coppie di disposizioni con lo stesso reticolo di intersezione e lo stesso grado minimo di una relazione jacobiana ($mdr$), pur possedendo diverse risoluzioni libere graduate minime?

Metodologia
Gli autori impiegano una combinazione di analisi combinatoria, geometria algebrica e algebra computazionale (utilizzando il sistema SINGULAR).

• Limiti Teorici: Lo studio si basa su limiti stabiliti che mettono in relazione il numero di rette $d$, la massima molteplicità dei punti di intersezione $m$ e il grado minimo di un sinzigio jacobiano $r = mdr(f)$. Gli strumenti chiave includono la disuguaglianza $r \ge \frac{2d}{m-2}$ e la relazione tra la dimensione del modulo jacobiano in specifici gradi e il numero di punti multipli ($n_k$).
• Analisi dei Casi per $d$ Piccoli: Per disposizioni con $d < 9$ rette, gli autori analizzano sistematicamente tutte le possibili configurazioni di coppie $(d, m)$. Utilizzano teoremi riguardanti disposizioni libere, quasi libere e plus-one generate (POG) per determinare se il dato degli esponenti sia univocamente fissato dal reticolo di intersezione.
• Costruzione di Famiglie: Per $d \ge 10$, gli autori costruiscono una famiglia a due parametri di disposizioni di 11 rette definita da una matrice di realizzazione $A(a, b)$. Analizzano il rango della mappa di moltiplicazione $\mu_m: S_1 \otimes AR(f)_m \to AR(f)_{m+1}$ per rilevare "salti" nel numero di generatori minimi.
• Tecnica di Delezione: Per generare esempi con meno rette, gli autori applicano la tecnica di delezione, rimuovendo una specifica retta sia da un membro "generico" che da un membro "speciale" della famiglia di 11 rette. Questo processo preserva il reticolo di intersezione pur alterando le proprietà omologiche.

Contributi Chiave e Risultati

1. Non-Esistenza per $d < 9$:
   Il saggio dimostra che per le disposizioni di rette con meno di 9 rette, il reticolo di intersezione determina i dati degli esponenti rilevanti. Nello specifico, dopo aver escluso i casi banali ($2m > d$ o $m=2$), i casi rimanenti $(d, m) \in \{(6,3), (7,3), (8,3), (8,4)\}$ sono analizzati nei Teoremi 3.1, 3.3, 4.1 e 4.3. In tutti questi casi, gli invarianti numerici derivati dal reticolo (come il numero di Tjurina $\tau$ e il conteggio dei punti multipli $n_k$) determinano univocamente il grado minimo $r$ e la sequenza di esponenti. Pertanto, non esistono coppie di Ziegler per $d < 9$.

2. Abbondanza per $d \ge 10$ e Distinzione Omologica:
   Gli autori dimostrano che le coppie di Ziegler diventano abbondanti per $d \ge 10$. Costruiscono una famiglia a due parametri di disposizioni di 11 rette dove il reticolo di intersezione rimane costante per tutti i parametri in un specifico insieme aperto.

   • Caso Generico: In un valore parametrico generale (ad esempio, $(31, 17)$), la sequenza di gradi dei sinzigi jacobiani è $(6, 7, 7, 8)$.
   • Caso Speciale: In un punto parametrico specifico $p = (3/10, 2/7)$, il rango della mappa di moltiplicazione scende, risultando in un generatore minimo aggiuntivo. La sequenza di gradi diventa $(6, 7, 7, 8, 8)$.
   • Invarianza della Funzione di Hilbert: Nonostante la differenza nel numero di generatori, gli autori mostrano che le risoluzioni libere graduate minime delle algebre di Milnor per entrambi i casi producono la stessa funzione di Hilbert. La distinzione è puramente omologica (diversi numeri di Betti).

3.Nuove Coppie di Ziegler da Dieci Rette:
Attraverso la delezione di una retta idonea ($\ell_1$) da entrambi gli arrangiamenti di 11 rette (sia quello generico che quello speciale), gli autori producono una coppia di Ziegler di 10 rette, indicata come $(B_{gen}, B_p)$.
* Entrambe le disposizioni condividono lo stesso reticolo di intersezione e la stessa combinatoria debole $(n_2, n_3) = (15, 10)$.
* Condividono lo stesso grado minimo di una relazione jacobiana: $mdr = 6$.
* Condividono la stessa funzione di Hilbert.
* Sono distinte esclusivamente dalle loro risoluzioni libere graduate minime, con sequenze di gradi rispettivamente $(6, 6, 6, 7)$ e $(6, 6, 6, 7, 7)$.

4. Classificazione degli Esempi Noti:
   Il saggio contestualizza queste nuove scoperte rivedendo le note coppie di Ziegler per $d=9$ e $d=10$. Categorizza gli esempi esistenti in base alla natura della loro differenza:
   • Differenza di MDR: Esempi classici (ad esempio, la coppia di 9 rette di Ziegler) dove i valori di $mdr$ differiscono.
   • Differenza Omologica: Esempi dove l' $mdr$ è identico, ma le risoluzioni differiscono (ad esempio, gli esempi del matroide $T_{10}$ e le nuove coppie di 10 rette qui costruite).

Significatività
Il saggio stabilisce una soglia netta per l'esistenza delle coppie di Ziegler: esse non esistono per $d < 9$, ma sono abbondanti per $d \ge 10$. Un contributo primario è la costruzione di coppie di Ziegler indistinguibili dal grado minimo di una relazione jacobiana ($mdr$) o dalla funzione di Hilbert dell'algebra di Milnor. Questi esempi evidenziano come il reticolo di intersezione, anche quando combinato con l'invariante $mdr$, sia insufficiente a determinare la piena struttura omologica (la risoluzione libera minima) della disposizione. Il lavoro sposta l'attenzione dagli invarianti numerici alle sottigliezze omologiche nello studio delle disposizioni di rette.