Some Taylor varieties with null Hessian

Sintesi Tecnica: Alcune Varietà di Taylor con Hessiano Nullo

Enunciato del Problema
Il lavoro affronta la classificazione delle ipersuperfici $X = V(f) \subset \mathbb{P}^N$ con determinante dell'Hessiano identicamente nullo ($h_f \equiv 0$). Classicamente, tali ipersuperfici sono caratterizzate da derivate parziali algebricamente dipendenti, il che implica che la mappa di Gauss ha rango non massimo e la varietà è "tangenzialmente degenere" o "sviluppabile". Sebbene sia noto che i coni possiedano questa proprietà, la classificazione delle ipersuperfici non coniche con Hessiano nullo in dimensioni $N \geq 3$ è un problema classico avviato da P. Gordon e M. Noether. Gli autori si concentrano su una specifica famiglia di varietà algebriche note come varietà di Taylor ($T^n_{d,e,m}$), introdotte recentemente da Conca, Naldi, Ottaviani e Sturmfels [CNOS23]. Queste varietà derivano dallo sviluppo di Taylor di funzioni razionali in $n$ variabili. Lavori precedenti hanno stabilito che le varietà di Taylor con $m = d+1$ hanno Hessiano nullo. Il problema centrale di questo articolo è investigare il caso in cui $m = d+2$ (specificamente per $n=2$) per determinare se queste varietà forniscano anche nuovi esempi di ipersuperfici non difettive con Hessiano identicamente nullo.

Metodologia
Gli autori impiegano una combinazione di tecniche di geometria algebrica e algebra lineare incentrate sulla matrice di Padé associata alle varietà di Taylor.

1. Varietà di Taylor e Matrici di Padé: La varietà di Taylor $T^n_{d,e,m}$ è definita come la chiusura proiettiva dell'immagine di una mappa $\psi$ che invia coppie di polinomi $(P, Q)$ ai coefficienti dello sviluppo di Taylor di $P/Q$ fino all'ordine $m$. La varietà è descritta tramite l'annullamento dei minori massimali di una matrice di Padé $P_T$. Quando $T^n_{d,e,m}$ è un'ipersuperficie non difettiva, la sua equazione definente è data da $f = \det(P_T)$.
2. Operazioni sulle Colonne e Invarianza: Per analizzare l'Hessiano di $f$, gli autori introducono un insieme specifico di operazioni elementari sulle colonne della matrice di Padé $P_T$. Sostituiscono le colonne nei blocchi $C_j$ (per $j > d-e+2$) con combinazioni lineari di colonne da un blocco di riferimento specifico $C_{d-e+2}$, utilizzando variabili ausiliarie $\lambda$.
3. Derivazione e Analisi del Nucleo: Per il Lemma 4.2, queste operazioni preservano il determinante ($f$). Poiché $f$ è indipendente dalle variabili ausiliarie $\lambda$, le derivate parziali di $f$ rispetto a $\lambda$ devono annullarsi. Questa condizione produce un sistema di equazioni lineari che coinvolge le derivate parziali di $f$ rispetto ai coefficienti $c_\gamma$.
4. Costruzione della Matrice di Hankel: Queste relazioni lineari sono organizzate in una matrice di Hankel $M$. Gli autori dimostrano che il vettore delle derivate parziali di $f$ giace nel nucleo di $M$. Analizzando le dimensioni di $M$ e il numero di variabili, dimostrano che il rango di $M$ è strettamente inferiore alla dimensione dello spazio delle derivate parziali.

Contributi e Risultati Chiave

• Teorema Principale (Teorema 1.1): Gli autori dimostrano che per $n=2$, la varietà di Taylor $T^2_{d,e,d+2}$, purché sia un'ipersuperficie non difettiva, ha un Hessiano identicamente nullo ($h_f \equiv 0$).
• Analisi del Caso Specifico: Il lavoro fornisce un'analisi dettagliata del più piccolo esempio non banale, $T^2_{5,4,7}$ (dove $d=5, e=4, m=7$). Costruiscono esplicitamente la matrice di Padé $15 \times 15$ per questo caso e dimostrano l'esistenza di un nucleo non banale per il sistema lineare associato di derivate parziali, confermando l'Hessiano nullo senza calcolare il determinante completo dell'Hessiano.
• Dimostrazione Generale: La metodologia utilizzata per il caso specifico è generalizzata nella Sezione 4 per dimostrare il risultato per $d$ ed $e$ arbitrari sotto l'ipotesi di non difettività. La dimostrazione si basa sul mostrare che l'immagine della mappa polare (il gradiente di $f$) è contenuta in un sottospazio lineare proprio definito dall'annullamento dei minori massimali della matrice $M$.
• Verifica Computazionale: Gli autori forniscono codice Macaulay2 (Sezione 5) per costruire matrici di Padé e verificare la non singolarità del determinante per specifiche scelte di parametri, assicurando che le varietà siano effettivamente ipersuperfici.

Significato e Affermazioni
Il lavoro afferma di fornire nuovi esempi di ipersuperfici non difettive con Hessiano identicamente nullo che non sono coni. Nello specifico, estende i risultati noti di [CNOS23] (che coprivano il caso $m=d+1$) al caso $m=d+2$ per due variabili.

Gli autori collocano il loro lavoro nel contesto storico della classificazione delle ipersuperfici con Hessiano nullo, notando che, sebbene esistano i cubici di Perazzo e altri esempi, trovare nuove famiglie è significativo. Il lavoro afferma esplicitamente che queste varietà di Taylor offrono una "nuova fonte di varietà con Hessiano nullo". Il significato risiede nel meccanismo algebrico utilizzato: gli autori dimostrano che la struttura specifica della matrice di Padé per $m=d+2$ forza intrinsecamente una dipendenza algebrica tra le derivate parziali del polinomio definente, garantendo così una mappa di Gauss degenere. Il lavoro non afferma di risolvere il problema completo della classificazione per tutte le dimensioni o parametri, ma limita il suo ambito alla dimostrazione della proprietà dell'Hessiano nullo per questa specifica famiglia di varietà di Taylor.