Tensor product surfaces and graded syzygies

Sintesi Tecnica di "Tensor Product Surfaces and Graded Syzygies" di Matthew Weaver

Enunciato del Problema
Il lavoro affronta il problema dell'implicitizzazione per le superfici prodotto tensoriale. Nello specifico, dato uno spazio vettoriale quadridimensionale $U \subseteq H^0(\mathcal{O}_{\mathbb{P}^1 \times \mathbb{P}^1}(a, b))$ con una base di polinomi biomogenei $\{p_0, p_1, p_2, p_3\}$, l'obiettivo è determinare l'equazione implicita della mappa razionale $\phi_U: \mathbb{P}^1 \times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$. L'immagine di questa mappa, indicata con $X_U$, è una superficie in $\mathbb{P}^3$. Sebbene esistano tecniche di eliminazione standard (basi di Gröbner, risultanti), queste sono spesso computazionalmente costose, specialmente nel contesto multigradato di $\mathbb{P}^1 \times \mathbb{P}^1$. Il lavoro si concentra sul caso in cui l'ideale $I_U = (p_0, p_1, p_2, p_3)$ ammette una "singly graded" syzygy, una condizione che lavori precedenti hanno dimostrato semplificare il processo di implicitizzazione.

Metodologia
L'autore impiega il complesso di approssimazione $\mathcal{Z}$, sviluppato da Herzog, Simis e Vasconcelos, che mette in relazione l'algebra di Rees di un ideale con la sua algebra simmetrica. La strategia fondamentale si basa sul fatto che l'equazione implicita di $X_U$ può essere recuperata dal determinante di una specifica rappresentazione matriciale del primo differenziale $d_1$ di una striscia di $\mathcal{Z}$, a condizione che tale striscia sia quadrata e aciclica in un grado specifico.

La metodologia procede come segue:

1. Singly Graded Syzygy: Il lavoro assume che $I_U$ possieda una syzygy minima $S$ in un bidegato "singly graded", specificamente $(0, n)$ (o simmetricamente $(n, 0)$), dove $n \ge 1$.
2. Sottospazio Associato $V$: Dalla syzygy $S$, l'autore costruisce un sottospazio vettoriale $K$ $V \subseteq U$. Se $S = \sum_{j=0}^n (\sum_{i=0}^3 a_{ij} p_i) u^{n-j}v^j$, allora $V$ è generato dai polinomi $f_j = \sum_{i=0}^3 a_{ij} p_i$.
3. Analisi dei Casi per Dimensione: Il lavoro analizza tre casi distinti basati sulla dimensione di $V$ (che si dimostra essere 2, 3 o 4):
   • Caso $\dim V = 2$: Gli elementi di $S$ formano una sequenza regolare. L'autore costruisce due syzygy aggiuntive ($S_1, S_2$) utilizzando la struttura di Hilbert-Burch dell'ideale generato da tali elementi.
   • Caso $\dim V = 3$: Gli elementi di $S$ generano un ideale Artiniano di codimensione due. L'autore utilizza il teorema di Hilbert-Burch per descrivere la matrice delle syzygy di tali elementi e costruisce due syzygy aggiuntive ($S_2, S_3$) sollevando le relazioni che coinvolgono il generatore rimanente di $I_U$.
   • Caso $\dim V = 4$: Qui $V = U$, il che significa che la base di $V$ genera l'intero ideale $I_U$. Gli elementi di $S$ generano un ideale Artiniano con una risoluzione più complessa. L'autore costruisce tre syzygy aggiuntive ($S_1, S_2, S_3$) utilizzando una gerarchia di matrici di Hilbert-Burch e le loro matrici delle syzygy associate.
4. Costruzione della Matrice: In ciascun caso, l'autore costruisce esplicitamente un insieme di syzygy $\{S, S_1, S_2, S_3\}$ (o un loro sottoinsieme) che generano un modulo libero di rango sufficiente a formare una matrice quadrata di dimensione $2ab \times 2ab$ nel bidegato $(2a-1, b-1)$.

Contributi e Risultati Chiave
Il contributo principale è una generalizzazione di risultati precedenti di Duarte e Schenck (per syzygy lineari, $n=1$) e del lavoro precedente dell'autore stesso (per syzygy quadratiche, $n=2$) al caso generale di una syzygy "singly graded" in grado $n$.

• Teorema 4.4 ($\dim V = 2$): Se $I_U$ possiede una syzygy minima $S$ in bidegato $(0, n)$ con $b \ge 2n-1$ e $\dim V = 2$, allora $I_U$ ammette due syzygy aggiuntive $S_1, S_2$ in bidegato $(a, b-n)$ tali che lo spazio generato da $\{S, S_1, S_2\}$ nel bidegato $(2a-1, b-1)$ abbia dimensione $2ab$.
• Teorema 5.11 ($\dim V = 3$): Se $\dim V = 3$, esistono syzygy $S_1, S_2, S_3$ con bidegati specifici che coinvolgono parametri $\mu$ derivati dalla risoluzione degli elementi di $S$, tali che lo span di $\{S, S_1, S_2, S_3\}$ nel bidegato target abbia dimensione $2ab$.
• Teorema 6.8 ($\dim V = 4$): Se $\dim V = 4$, esistono syzygy $S_1, S_2, S_3$ con bidegati determinati dai parametri $\mu_1, \mu_2$ della risoluzione degli elementi di $S$, tali che lo span di $\{S, S_1, S_2, S_3\}$ abbia dimensione $2ab$.

In tutti i casi, il determinante della rappresentazione matriciale $2ab \times 2ab$ del differenziale $d_1$ formato da queste syzygy è una potenza dell'equazione implicita di $X_U$.

Significato e Affermazioni
Il lavoro afferma che questi risultati forniscono un metodo computazionale più efficiente per trovare le equazioni implicite delle superfici prodotto tensoriale rispetto al calcolo del modulo completo delle syzygy $\text{syz}(I_U)$ sull'anello a quattro variabili $K[s, t, u, v]$.

• Efficienza: Le syzygy costruite sono esplicite e formali. Si basano sulle syzygy di ideali nel sottoranello a due variabili $K[u, v]$ (o $K[s, t]$), il cui calcolo è computazionalmente meno costoso rispetto al modulo completo sulle quattro variabili.
• Generalità: Il lavoro unifica ed estende i casi $n=1$ e $n=2$ a un $n$ arbitrario, a condizione che valga la condizione $b \ge 2n-1$.
• Implementazione: L'autore nota che queste costruzioni sono facilmente implementabili in sistemi di algebra computazionale come Macaulay2. Gli esempi computazionali suggeriscono che, per parametri più grandi, questo metodo è più veloce del calcolo del modulo completo delle syzygy.

Il lavoro conclude ponendo questioni aperte riguardanti l'estensione di questi metodi a superfici con punti base, l'unicità delle syzygy "singly graded" minime e le implicazioni geometriche di queste syzygy sul luogo singolare della superficie.