Some remarks on Chow correspondences

Sintesi Tecnica Dettagliata di "Some Remarks on Chow Correspondences" di Pablo Pelaez

Enunciato del Problema
Il saggio affronta un problema specifico all'interno del quadro della categoria triangolata dei motivi di Voevodsky ($DM_k$): caratterizzare le corrispondenze di Chow $\Lambda \in CH^{d+n}(X \times Y)$ tra varietà proiettive lisce $X$ e $Y$ (su un campo algebricamente chiuso $k$) per le quali un particolare omomorfismo indotto $\psi$ si annulla.

L'omomorfismo in questione, $\psi: CH^{d_Y-n}(Y) \to Alb(X)(k)$, è definito tramite una corrispondenza di Chow $\Lambda$. Esso mappa un ciclo $\gamma$ nell'immagine dell'Albanese della pushforward del prodotto di intersezione, aggiustata per grado:
$$\psi(\gamma) = alb_X(\Lambda(\gamma) - \deg(\Lambda(\gamma))[x_0])$$
dove $alb_X$ è la mappa di Albanese e $x_0$ è un punto razionale fissato, e $\Lambda(\gamma)$ è l'azione standard della corrispondenza sui cicli. Il saggio cerca di determinare le condizioni sotto le quali $\psi$ è identicamente zero, relazionando specificamente questo annullamento alla struttura della corrispondenza all'interno della filtrazione ortogonale della categoria dei motivi.

Metodologia
L'autore utilizza il apparato della categoria triangolata dei motivi di Voevodsky ($DM_k$) e la teoria delle relazioni di equivalenza adeguate. La metodologia si basa sui seguenti componenti chiave:

1. Rappresentazione Motivica dei Cicli: Il saggio utilizza l'isomorfismo $Hom_{DM_k}(M(Z), \mathbb{1}(m)[2m]) \cong CH^m(Z)$ per rappresentare i cicli algebrici come morfismi nella categoria motivica.
2. Filtrazione Ortogonale: Uno strumento centrale è la filtrazione ortogonale di $DM_k$, denotata $DM_k^\perp(m)$. Questa filtrazione consiste di oggetti ortogonali alla sottocategoria dei motivi $m$-effettivi. Il saggio si concentra specificamente sulla copertura ortogonale $bc_{\leq -1}$ e sulla sua counità $\theta_{-1}^A: bc_{\leq -1}(A) \to A$, dove $A$ rappresenta il funtore dei punti della varietà di Albanese $Alb(X)$.
3. Criteri di Fattorizzazione: L'approccio tecnico centrale consiste nell'analizzare la fattorizzazione della mappa motivica associata alla corrispondenza. Nello specifico, il saggio investiga se la composizione della mappa motivica indotta da $\Lambda$ e la mappa verso la varietà di Albanese si fattorizza attraverso la copertura ortogonale $bc_{\leq -1}(A)$.
4. Omomorfismi Regolari: L'analisi connette l'annullamento di $\psi$ alla teoria degli omomorfismi regolari indotti da cicli (nel senso di Lieberman), utilizzando le proprietà della mappa di Albanese come omomorfismo regolare.

Contributi Chiave e Risultati

• Caratterizzazione delle Corrispondenze Annullanti (Teorema 4.1.4):
  Il risultato primario stabilisce una condizione necessaria e sufficiente affinché l'omomorfismo $\psi$ sia zero. Il teorema afferma che $\psi \equiv 0$ se e solo se la mappa motivica associata alla corrispondenza $\Lambda$ (specificamente la composizione $A_f \circ \Lambda_X$) si fattorizza attraverso la copertura ortogonale $\theta_{-1}^A: bc_{\leq -1}(A)$. In termini diagrammatici, esiste una mappa $\Lambda': M(Y)(-n)[-2n] \to bc_{\leq -1}(A)$ che rende commutativo il relativo triangolo in $DM_k$.

• Rilevamento della Equivalenza al Quadrato (Teorema 4.3.1):
  Il saggio dimostra che la copertura ortogonale rileva le corrispondenze che sono "equivalenti al quadrato allo zero" (denotate $alg^{*2}$). Specificamente, se una corrispondenza $\Lambda$ appartiene al sottogruppo $CH^{d+n}_{alg^{*2}}(Y \times X)$ (il prodotto della relazione di equivalenza algebrica con se stessa), allora l'omomorfismo indotto $\psi$ è zero. Di conseguenza, tali corrispondenze soddisfano la condizione di fattorizzazione attraverso $bc_{\leq -1}$.

• Rilevamento della Filtrazione di H. Saito (Teorema 4.3.2):
  Nel caso specifico in cui il campo di base è $k = \mathbb{C}$, il risultato è rafforzato includendo le corrispondenze nel secondo step della filtrazione di H. Saito ($H^{*2}$). Se $\Lambda \in CH^{d+n}_{H^{*2}}(Y \times X)$, allora $\psi$ svanisce, e la fattorizzazione attraverso la copertura ortogonale è valida.

• Nitidezza delle Condizioni (Osservazione 4.3.3):
  L'autore fornisce un controesempio per mostrare che la condizione $\Lambda \in CH^{d+n}_{alg^{*2}}$ è netta. Viene dimostrato che per una corrispondenza semplicemente in $CH^{d+n}_{alg}$ (equivalenza algebrica) ma non nel quadrato, l'omomorfismo $\psi$ non deve necessariamente annullarsi. Ciò viene dimostrato costruendo una corrispondenza che coinvolge un elemento non torsione nel nucleo dell'Albanese e un ciclo non numericamente equivalente a zero.

Significato e Rivendicazioni
Il saggio rivendica di fornire un criterio motivico preciso per l'annullamento degli omomorfismi regolari indotti da cicli verso la varietà di Albanese. Collegando l'annullamento di $\psi$ alla fattorizzazione attraverso la copertura ortogonale $bc_{\leq -1}$, il lavoro connette la teoria classica delle intersezioni (relazioni di equivalenza adeguate) con le proprietà strutturali della categoria dei motivi di Voevodsky.

La significatività risiede nella capacità della filtrazione ortogonale di "rilevare" specifiche classi di corrispondenze:

1. Identifica quelle corrispondenze che inducono una mappa nulla sulla varietà di Albanese.
2. Caratterizza le corrispondenze che sono equivalenti al quadrato allo zero o che appartengono al secondo step della filtrazione di Saito (su $\mathbb{C}$) come quelle che soddisfano questa fattorizzazione motivica.

L'autore non pretende di risolvere la congettura generale di Bloch-Beilinson, ma pone la filtrazione ortogonale come uno strumento che cattura naturalmente queste specifiche relazioni di equivalenza, offrendo una prospettiva motivica sul comportamento dei cicli algebrici sotto la mappa di Albanese. I risultati sono presentati come caratterizzazioni all'interno dell'esistente quadro dei motivi, basandosi sulle proprietà stabilite della mappa di Albanese e della teoria dei omomorfismi regolari di Lieberman.