On combinatorial bounds for the total Tjurina numbers of certain curves and surfaces with isolated singularities

Sintesi Tecnica: Limiti Combinatori per i Numeri di Tjurina Totali di Alcune Curve e Superfici

Enunciato del Problema
Il saggio affronta il problema di stabilire limiti inferiori (lower bounds) efficaci per i numeri di Tjurina totali ($\tau$) di ipersuperfici proiettive, concentrandosi specificamente su configurazioni di curve piane (rette e coniche) e sulle loro estensioni a superfici in $\mathbb{P}^3$. Mentre i limiti superiori (upper bounds) precisi per $\tau$ in termini di grado e del grado minimo delle relazioni jacobiane ($mdr$) sono ben stabiliti (in particolare da du Plessis e Wall), i limiti inferiori efficaci per configurazioni geometricamente vincolate, come le configurazioni libere con tipi di singolarità prescritti, rimangono meno compresi. Il lavoro mira a configurazioni di arrangiamenti che ammettono solo singolarità quasi-omogenee ordinarie, con l'obiettivo di collegare direttamente le proprietà di intersezione combinatoria all'entità del numero di Tjurina totale.

Metodologia
La ricerca impiega una sintesi di geometria combinatoria, teoria delle singolarità e proprietà omologiche delle algebre jacobiane.

1. Disuguaglianze Combinatorie: L'autore utilizza disuguaglianze di tipo Hirzebruch e conteggi combinatori ingenui dei punti di intersezione ($n_r$, il numero di punti di molteplicità $r$) per derivare vincoli strutturali sugli arrangiamenti di rette.
2. Condizioni di Libertà (Freeness): L'analisi si basa pesantemente sulla definizione di arrangiamenti "liberi", in cui il modulo delle sizoigia jacobiane è un modulo graduato libero. Ciò permette l'uso di specifiche caratterizzazioni che mettono in relazione il grado, gli esponenti e il numero di Tjurina totale (tramite l'uguaglianza di du Plessis-Wall per le curve libere).
3. Analisi del Discriminante: Per gli arrangiamenti di coniche-rette, la dimostrazione prevede l'analisi del discriminante dell'equazione quadratica che governa il grado minimo delle relazioni jacobiane ($d_1$) derivata dalla condizione di libertà.
4. Principio di Thom-Sebastiani: Per estendere i risultati a dimensioni superiori, il saggio costruisce superfici in $\mathbb{P}^3$ aggiungendo una potenza di una quarta variabile al polinomio definente l'arrangiamento di curve piane. La natura locale del numero di Tjurina permette l'applicazione del principio di Thom-Sebastiani per relazionare il $\tau$ della superficie al $\tau$ della curva sottostante.

Contributi Chiave e Risultati

• Limiti Strutturali per Arrangiamenti di Rette:

  • Il saggio deriva una disuguaglianza strutturale per arrangiamenti di rette complesse con molteplicità limitate. Nello specifico, per un arrangiamento di $d \ge 6$ rette con molteplicità massima $m(L) \le 4$, il saggio stabilisce limiti stretti sulla distribuzione dei punti tripli e quadrupli ($n_3$ e $n_4$).
  • Teorema 3.5 dimostra che per gli arrangiamenti di rette "supersolvabili" con $m(L)=4$, il numero di rette $d$ è ristretto all'insieme finito $\{6, 7, 8, 9, 10\}$. Di conseguenza, il Corollario 3.6 conclude che esistono solo un numero finito di tipi combinatori di tali arrangiamenti supersolvabili.

• Limiti Inferiori per Arrangiamenti Liberi di Coniche-Rette:

  • Teorema 4.1 costituisce il risultato principale, fornendo un limite inferiore netto per il numero di Tjurina totale di un arrangiamento libero di $d$ rette e $k$ coniche con singolarità quasi-omogenee ordinarie:
    $$\tau(C_L) \ge \frac{3k(k-1) + 3kd + 3(d-1)^2}{4}$$
  • Il limite è mostrato essere stretto, con l'uguaglianza raggiunta in casi specifici (ad esempio, un arrangiamento di 3 rette e 1 conica).
  • Come corollario (Corollario 4.2), per un arrangiamento libero di sole $d$ rette, $\tau(L) \ge \frac{3(d-1)^2}{4}$. Questo è illustrato dall'arrangiamento di Klein di 21 rette, dove il limite predice $\tau \ge 300$, mentre il valore effettivo è 301.

• Estensione a Superfici in $\mathbb{P}^3$:

  • Proposizione 5.2 applica i risultati planari per costruire una famiglia di superfici in $\mathbb{P}^3$ con sole singolarità isolate. Definendo una superficie $X$ tramite $F = f(x,y,z) + w^{2k+d} = 0$ (dove $f$ definisce un arrangiamento libero di coniche-rette), il saggio stabilisce un limite inferiore per il numero di Tjurina totale di $X$:
    $$\tau(X) \ge (2k + d - 1) \cdot \left( \frac{3k(k-1) + 3kd + 3(d-1)^2}{4} \right)$$
  • Questo risultato fornisce limiti inferiori per ipersuperfici che sono indipendenti dai dettagli dei dati omologici (specificamente il grado minimo delle relazioni jacobiane della superficie stessa), basandosi invece sui dati combinatori dell'arrangiamento piano sottostante.

Significato e Rivendicazioni
Il saggio sostiene di colmare il divario tra la geometria combinatoria degli arrangiamenti e la teoria delle singolarità delle ipersuperfici. Il suo significato primario risiede nello spostare l'attenzione dai limiti superiori (che caratterizzano le curve di Tjurina massimali) verso i limiti inferiori efficaci per gli arrangiamenti liberi.

• I risultati dimostrano che gli arrangiamenti liberi sono altamente vincolati; la loro combinatoria restringe fortemente le possibili configurazioni singolari, portando a una crescita quadratica del numero di Tjurina totale rispetto al numero di componenti.
• La costruzione di superfici con numeri di Tjurina totali arbitrariamente grandi offre un nuovo metodo per generare varietà con comportamento singolare controllato senza richiedere il calcolo esplicito degli invarianti omologici dell'oggetto di dimensione superiore.
• Il lavoro evidenzia problemi aperti, come la classificazione di arrangiamenti di rette geometricamente liberi con grado e molteplicità massima fissi, notando che sebbene l'arrangiamento di Klein sia noto, la realizzabilità di altri tipi combinatori rimane una questione aperta.