Jacobian algebras and variation of hyperplane sections

Sintesi Tecnica: Algebre di Jacobian e Variazione delle Sezioni Iperpianali

Enunciato del Problema
Il saggio investiga la variazione nei moduli delle sezioni iperpianali di un ipersuperficie $X = V(f) \subseteq \mathbb{P}^n$ di grado $d \geq 3$, assumendo che $X$ abbia al massimo singolarità isolate. Nello specifico, gli autori affrontano la Domanda 1.1: determinare le condizioni algebriche e geometriche su $f$ sotto le quali la mappa razionale
$$\Phi(f) : \mathbb{P}^{n*} \dashrightarrow M(d, n-1)$$
è genericamente finita sulla sua immagine. Qui, $M(d, n-1)$ denota lo spazio dei moduli coarse delle ipersuperfici lisce di grado $d$ in $\mathbb{P}^{n-1}$. La mappa associa a un iperpiano generico $H$ la classe di modulo della sezione $X \cap H$. Il problema consiste nell'identificare quando la famiglia delle loro sezioni varia massimamente, ovvero quando $\dim \text{Im } \Phi(f) = n$.

Metodologia
Gli autori adottano un approccio jacobiano-algebrico e infinitesimale, in contrasto con i metodi dei fasci vettoriali geometrici utilizzati nei recenti lavori di Patel–Riedl–Tseng. La strategia centrale prevede:

1. Quotienti Infinitesimali: Invece di analizzare i fibrati globali di $\Phi(f)$, gli autori calcolano la variazione del primo ordine della sezione iperpianale modulo cambiamenti di coordinate infinitesimali sulla stessa iperpiano.
2. Algebra di Milnor: Essi utilizzano l'algebra di Milnor $M(f) = S/J_f$, dove $J_f$ è l'ideale di Jacobian generato dalle derivate parziali di $f$. Lo spazio delle deformazioni del primo ordine di $f$ modulo cambiamenti di coordinate lineari è identificato con $M(f)_d$.
3. Argomento della Fetta Locale (Local Slice Argument): Per passare dall'iniettività del quoziente infinitesimale alla dimensione dell'immagine nello spazio dei moduli coarse, gli autori impiegano il teorema della fetta étale di Luna. Questo giustifica che se il quoziente infinitesimale è iniettivo in un punto generico, allora la mappa $\Phi(f)$ è genericamente finita.
4. Calcolo Differenziale: Scegliendo coordinate tali che un iperpiano generico sia $H = V(x_0)$, derivano una mappa lineare esplicita:
   $$\psi(f, x_0) : \mathbb{C}^n \to R_d / (J_f)_d$$
   definita da $(b_1, \dots, b_n) \mapsto [(b_1 x_1 + \dots + b_n x_n)f_0]$, dove $f_0 = \partial f / \partial x_0$. L'iniettività di questa mappa determina la variazione massima.

Contributi Chiave e Risultati

1. Identificazione degli Ostacoli:
   Il saggio stabilisce che il fallimento di $\Phi(f)$ nel essere genericamente finita è governato esattamente da due ostacoli algebrici (Proposizione 3.1):

   • L'Ostacolo dell'Automorfismo: L'esistenza di un sizo-gi (syzygy) lineare di Jacobian (ovvero $e = \text{indeg}(\text{Syz}(J_f)) = 1$). Per i casi non-coni, ciò è equivalente all'esistenza di un gruppo di automorfismi proiettivi a dimensione positiva $\text{Aut}_{\mathbb{P}^n}(X)$.
   • L'Ostacolo di Lefschetz: Il fallimento dell'iniettività della mappa di moltiplicazione per una forma lineare generale nel grado critico:
     $$\ell : M(f)_{d-1} \to M(f)_d$$
     Il criterio principale (Teorema 3.3) afferma che se $\dim \text{Aut}_{\mathbb{P}^n}(X) = 0$ e la mappa $\ell$ è iniettiva, allora $\Phi(f)$ è genericamente finita.

2. Estensione alle Ipersuperfici Singolari:
   Il lavoro estende la teoria di Beauville–Patel–Riedl–Tseng dalle ipersuperfici lisce a quelle con singolarità isolate. Nel caso liscio, l'ostacolo dell'automorfismo svanisce e il risultato dipende unicamente dalla Proprietà di Lefschetz Debole (WLP).

3. Risultati Dimensionali Specifici:

   • Caso Liscio: Per ipersuperfici lisce con $n \geq 3$ e $d \geq n+2$, la mappa è genericamente finita (Corollario 3.4). Ciò migliora l'intervallo $d \geq n+3$ trovato nella letteratura precedente di un grado, utilizzando i risultati WLP per le intersezioni complete.
   • Curve Planari ($n=2$): Gli autori forniscono una classificazione completa (Teorema 4.2). Per $d \geq 5$, la finitezza generica vale se e solo se $\dim \text{Aut}_{\mathbb{P}^2}(C) = 0$. Per $d=3$, la mappa è costante; per $d=4$, ha rango massimo ma non è genericamente finita.
   • Superfici in $\mathbb{P}^3$ ($n=3$): Per superfici lisce, le superfici cubiche ($d=3$) hanno rango massimo ma non sono genericamente finite. Per $d \geq 4$, la mappa è genericamente finita (Teorema 5.2).

4. Criterio delle Sezioni Iperpianali Singolari:
   Un contributo originale è il Teorema 6.2, che permette di verificare la condizione di Lefschetz utilizzando una sezione singolare $W = X \cap H'$. Se $W$ possiede proprietà specifiche riguardo ai suoi sizo-gi ($r(g) > 1$) e saturazione ($s(g) > 1$), la mappa di Lefschetz per $X$ è iniettiva. Ciò conduce ai Corollari 6.4 e 6.5, fornendo criteri che coinvolgono sezioni nodali (ad esempio, sezioni con $n$ nodi in posizione lineare generale).

5. Applicazione alla Quintica di Schoen:
   Il saggio applica il criterio della sezione singolare alla quintica di Schoen (varietà di dimensione 3, $d=5, n=4$). Analizzando una specifica sezione iperpianale con una singolarità unica, verificano le condizioni e concludono che le sezioni iperpianali della quintica di Schoen variano genericamente finitamente nei moduli (Esempio 6.8).

Significatività
Il saggio sostiene di fornire un quadro algebrico-jacobian unico per studiare la variazione delle sezioni iperpianali. La sua importanza risiede in:

• Generalizzazione: Estensione con successo dei risultati noti per le ipersuperfici lisce al caso singolare, identificando esplicitamente il nuovo ostacolo (sizo-gi lineari di Jacobian/automorfismi).
• Raffinamento: Miglioramento dei limiti numerici noti per la finitezza generica nel caso liscio (ad esempio, $d \geq n+2$ invece di $d \geq n+3$).
• Nuovi Strumenti: Introduzione di un metodo per verificare le proprietà di Lefschetz tramite sezioni singolari, particolarmente utile per ipersuperfici dove le sezioni generiche sono difficili da analizzare direttamente o dove esistono sezioni singolari note (come nel caso della quintica di Schoen).
• Connessione: Collegamento tra il fallimento geometrico della variazione massima e le proprietà omologiche (grado di Bourbaki, sizo-gi) e i gruppi di automorfismi.

Gli autori osservano che il loro approccio integra i metodi geometrici globali di Patel–Riedl–Tseng offrendo criteri algebrici espliciti che sono computabili tramite l'algebra di Milnor e i moduli di sizo-gi.