Rank varieties over the generic hypersurface I

Sintesi Tecnica: Varietà di Rango sulla Iperficie Generica I

Enunciato del Problema
Il lavoro affronta la teoria delle varietà di rango e di supporto per moduli e complessi su anelli locali commutativi complete intersection (lci). Sebbene le varietà di supporto per anelli lci siano ben consolidate tramite la restrizione degli scalari a "iperfici permissibili" (anelli della forma $Q/(a_1f_1 + \dots + a_cf_c)$), questo studio si concentra sull'iperficie generica $R$. L'iperficie generica è definita come $R = Q[x_1, \dots, x_c]/(f_1x_1 + \dots + f_cx_c)$, dove $Q$ è un anello locale regolare e $f_1, \dots, f_c$ è una successione regolare.

Il problema centrale consiste nel definire e studiare le varietà di rango per oggetti (in particolare complessi totalmente aciclici graduati e moduli) su $R$ stesso. L'autore nota che i precedenti quadri teorici per le varietà di rango si basano sulla restrizione degli scalari. Al contrario, questo lavoro indaga un quadro basato sull'estensione degli scalari, motivato dall'equivalenza tra la categoria delle singolarità di un anello lci e quella della sua iperficie generica associata (Orlov [22], Buchweitz [7]).

Metodologia
Il lavoro impiega tecniche di algebra omologica nel contesto di anelli e complessi graduati. La metodologia fondamentale comprende:

1. Estensione degli Scalari: Per un punto $\alpha = (\alpha_1, \dots, \alpha_c)$ nello spazio proiettivo $\mathbb{P}^{c-1}_k$, l'autore definisce un anello specializzato $R_\alpha = R/(x_1-a_1, \dots, x_c-a_c)$, dove $a_i$ sono preimmagini di $\alpha_i$ in $Q$. Questo anello è isomorfo a un'iperficie permissibile $Q/(a_1f_1 + \dots + a_cf_c)$.
2. Definizione di Varietà di Rango: Per un complesso totalmente aciclico graduato $C$ su $R$, la varietà di rango $V(C)$ è definita come l'insieme dei punti $\alpha \in \mathbb{P}^{c-1}_k$ tali che il complesso specializzato $C_\alpha = C \otimes_R R_\alpha$ non è contraibile.
3. Omotopia e Minimalità: L'analisi si basa pesantemente sulle proprietà dei complessi minimi su anelli locali e sul comportamento della contraibilità sotto equivalenza omotopica. Il lavoro utilizza il fatto che $R$ è un dominio di integrità per definire i ranghi dei differenziali tramite i minori.
4. Topologia di Zariski: Il lavoro stabilisce che queste varietà sono insiemi chiusi di Zariski, collegando la contraibilità di $C_\alpha$ all'annullamento di ideali specifici generati dai minori dei differenziali di $C$.

Contributi e Risultati Chiave

• Benessere della Definizione: Il lavoro dimostra che la definizione della varietà di rango è indipendente dalla scelta delle preimmagini $a_i$ per $\alpha_i$ (Teorema 3.4) ed è invariante rispetto all'equivalenza omotopica dei complessi (Proposizione 3.5).
• Chiusura di Zariski: Si dimostra che $V(C)$ è un sottoinsieme chiuso di Zariski di $\mathbb{P}^{c-1}_k$. Nello specifico, $V(C)$ è l'insieme degli zeri dell'intersezione degli ideali generati dai minori dei differenziali di $C$ (Teorema 3.6).
• Proprietà delle Varietà di Rango: L'autore stabilisce diverse proprietà standard analoghe a quelle del contesto di restrizione degli scalari:
  • Invarianza per traslazione: $V(C) = V(\Sigma C)$.
  • Additività: $V(C \oplus C') = V(C) \cup V(C')$.
  • Dualità: $V(C) = V(\text{Hom}(C, R))$.
  • Disuguaglianza triangolare: Per un triangolo esatto, la varietà di un termine è contenuta nell'unione delle varietà degli altri due (Teorema 3.8).
• Realizzabilità: Un risultato principale è che ogni varietà proiettiva in $\mathbb{P}^{c-1}_k$ può essere realizzata come varietà di rango di un qualche complesso totalmente aciclico graduato su $R$ (Teorema 4.3). Ciò è ottenuto costruendo complessi tramite coni di applicazione di moltiplicazione su una risoluzione completa del campo residuo.
• Analogo del Lemma di Dade: Il lavoro fornisce una condizione affinché la varietà di rango sia vuota. $V(C) = \emptyset$ se e solo se $C$ è contraibile oppure il radicale dell'ideale dei minori massimali dei differenziali è l'ideale irrilevante (Proposizione 3.9).
• Mancanza di Connessione: Contrariamente al comportamento delle varietà di supporto su algebre di gruppo e anelli lci (dove l'indecomponibilità implica la connessione), il lavoro dimostra che una varietà di rango sull'iperficie generica può essere disconnessa anche se l'oggetto sottostante è indecomponibile (Esempio 5.1). Ciò evidenzia una differenza fondamentale tra il contesto dell'iperficie generica e quello specializzato degli anelli lci.
• Estensione ai Moduli: La teoria è estesa ai moduli graduati finitamente generati. La varietà di rango di un modulo $M$ è definita tramite la dimensione proiettiva infinita di $M_\alpha$ su $R_\alpha$. Si dimostra che $V(M) = V(C)$ dove $C$ è una risoluzione completa di $M$, ereditando così le proprietà del caso dei complessi (Teoremi 6.3, 6.4, 6.5).
• Ricchetti Affini: Il lavoro affronta brevemente la realizzabilità dei ricchetti affini di varietà proiettive sull'anello complete intersection associato $S$, utilizzando moduli non finitamente generati (Teorema 6.6).

Significato e Affermazioni
Il lavoro afferma che il quadro dell'estensione degli scalari sull'iperficie generica fornisce un approccio più semplice e diretto per dimostrare proprietà di chiusura e risultati di realizzabilità rispetto alla tradizionale restrizione degli scalari.

L'autore sottolinea che, sebbene le varietà di rango e le varietà di supporto siano equivalenti nel contesto degli anelli lci (tramite l'equivalenza della categoria delle singolarità), studiarle direttamente sull'iperficie generica rivela proprietà strutturali distinte. Nello specifico, il fallimento del teorema "indecomponibile implica connesso" in questo contesto suggerisce che la geometria delle varietà di rango sull'iperficie generica è più ricca e meno vincolata di quanto si pensasse in precedenza. Il lavoro colloca queste varietà di rango come invarianti concreti per le fattorizzazioni di matrici graduate e i complessi totalmente aciclici, offrendo una nuova prospettiva sull'algebra omologica delle ipersuperfici.

Il lavoro non afferma di risolvere direttamente il problema della realizzabilità per l'anello lci associato $S$ (già noto), ma piuttosto stabilisce l'iperficie generica come un terreno di prova robusto dove la realizzabilità è diretta e dove nuovi fenomeni, come le varietà di rango disconnesse per oggetti indecomponibili, possono essere osservati.