Some remarks on Chow correspondences

Gedetailleerde Technische Samenvatting van "Some Remarks on Chow Correspondences" door Pablo Pelaez

Probleemstelling
Het artikel behandelt een specifiek probleem binnen het kader van Voevodsky's triangulere categorie van motieven ($DM_k$): het karakteriseren van Chow-correspondenties $\Lambda \in CH^{d+n}(X \times Y)$ tussen gladde projectieve variëteiten $X$ en $Y$ (over een algebraïsch gesloten veld $k$) waarvoor een specifieke geïnduceerde homomorfisme $\psi$ verdwijnt.

Het homomorfisme in kwestie is $\psi: CH^{d_Y-n}(Y) \to Alb(X)(k)$, gedefinieerd via een Chow-correspondentie $\Lambda$. Het brengt een cyclus $\gamma$ naar het Albanese-beeld van de pushforward van het doorsnedeproduct, aangepast aan de graad:
$$\psi(\gamma) = alb_X(\Lambda(\gamma) - \deg(\Lambda(\gamma))[x_0])$$
waarbij $alb_X$ de Albanese-afbeelding is, $x_0$ een vaste rationale punt, en $\Lambda(\gamma)$ de standaard actie van de correspondentie op cycli is. Het artikel onderzoekt de voorwaarden waaronder $\psi$ identiek nul is, specifiek gerelateerd aan de structuur van de correspondentie binnen de orthogonale filtratie van de categorie van motieven.

Methodologie
De auteur maakt gebruik van de machinerie van Voevodsky's triangulere categorie van motieven ($DM_k$) en de theorie van adequate equivalentierelaties. De methodologie steunt op de volgende kerncomponenten:

1. Motivische Representatie van Cycli: Het artikel gebruikt de isomorfisme $Hom_{DM_k}(M(Z), \mathbb{1}(m)[2m]) \cong CH^m(Z)$ om algebraische cycli te representeren als morfismen in de motivische categorie.
2. Orthogonale Filtratie: Een centraal instrument is de orthogonale filtratie van $DM_k$, aangeduid als $DM_k^\perp(m)$. Deze filtratie bestaat uit objecten die orthogonaal zijn aan de subcategorie van $m$-effectieve motieven. Het artikel richt zich specifiek op de orthogonale cover $bc_{\leq -1}$ en haar counit $\theta_{-1}^A: bc_{\leq -1}(A) \to A$, waarbij $A$ de functor van punten is van de Albanese-variëteit $Alb(X)$.
3. Factorisatiecriteria: De kern van de technische benadering betreft de analyse van de factorisatie van de motivische afbeelding geassocieerd met de correspondentie. Specifiek onderzoekt het artikel of de compositie van de motivische afbeelding geïnduceerd door $\Lambda$ en de afbeelding naar de Albanese-variëteit factoriseert door de orthogonale cover $bc_{\leq -1}(A)$.
4. Reguliere Homomorfismen: De analyse verbindt het verdwijnen van $\psi$ met de theorie van door cycli geïnduceerde reguliere homomorfismen (in de zin van Lieberman), gebruikmakend van de eigenschappen van de Albanese-afbeelding als een regulier homomorfisme.

Belangrijkste Bijdragen en Resultaten

• Karakterisering van Verdwijnende Correspondenties (Theorema 4.1.4):
  Het primaire resultaat stelt een noodzakelijke en voldoende voorwaarde vast voor het homomorfisme $\psi$ om nul te zijn. Het theorema stelt dat $\psi \equiv 0$ dan en slechts dan als de motivische afbeelding geassocieerd met de correspondentie $\Lambda$ (specifiek de compositie $A_f \circ \Lambda_X$) factoriseert door de orthogonale cover $\theta_{-1}^A: bc_{\leq -1}(A) \to A$. In diagrammatische termen bestaat er een afbeelding $\Lambda': M(Y)(-n)[-2n] \to bc_{\leq -1}(A)$ die de relevante driehoek in $DM_k$ commutatief maakt.

• Detectie van Kwadratische Equivalentie (Theorema 4.3.1):
  Het artikel demonstreert dat de orthogonale cover correspondenties detecteert die "kwadratisch equivalent aan nul" zijn (aangeduid als $alg^{*2}$). Specifiek, indien een correspondentie $\Lambda$ tot de subgroep $CH^{d+n}_{alg^{*2}}(Y \times X)$ behoort (het product van de algebraische equivalentierelatie met zichzelf), dan is het geïnduceerde homomorfisme $\psi$ nul. Gevolgelijk voldoen dergelijke correspondenties aan de factorisatievoorwaarde door $bc_{\leq -1}(A)$.

• Detectie van H. Saito's Filtratie (Theorema 4.3.2):
  In het specifieke geval waar het basisveld $k = \mathbb{C}$ is, wordt het resultaat versterkt om correspondenties in te sluiten die in de tweede stap van H. Saito's filtratie liggen ($H^{*2}$). Indien $\Lambda \in CH^{d+n}_{H^{*2}}(Y \times X)$, dan verdwijnt $\psi$, en houdt de factorisatie door de orthogonale cover stand.

• Scherpte van Voorwaarden (Opmerking 4.3.3):
  De auteur biedt een tegenvoorbeeld om aan te tonen dat de voorwaarde $\Lambda \in CH^{d+n}_{alg^{*2}}$ scherp is. Er wordt getoond dat voor een correspondentie die louter in $CH^{d+n}_{alg}$ (algebraische equivalentie) zit maar niet in de kwadratische, het homomorfisme $\psi$ niet noodzakelijkerwijs verdwijnt. Dit wordt gedemonstreerd door een correspondentie te construeren die een niet-torsie element in de Albanese-kern en een cyclus bevat die niet numeriek equivalent aan nul is.

Betekenis en Claims
Het artikel beweert een precieze motivische criterium te bieden voor het verdwijnen van door cycli geïnduceerde reguliere homomorfismen naar de Albanese-variëteit. Door het verdwijnen van $\psi$ te koppelen aan de factorisatie door de orthogonale cover $bc_{\leq -1}$, verbindt het werk de klassieke doorsnedetheorie (adequate equivalentierelaties) met de structurele eigenschappen van Voevodsky's categorie van motieven.

De betekenis ligt in het vermogen van de orthogonale filtratie om specifieke klassen van correspondenties te "detecteren":

1. Het identificeert die correspondenties die een nul-afbeelding induceren op de Albanese-variëteit.
2. Het karakteriseert correspondenties die kwadratisch equivalent aan nul zijn of in de tweede stap van Saito's filtratie liggen (over $\mathbb{C}$) als zijnde de correspondenties die aan deze motivische factorisatie voldoen.

De auteur claimt niet de algemene Bloch-Beilinson conjectuur op te lossen, maar positioneert de orthogonale filtratie als een instrument dat deze specifieke equivalentierelaties natuurlijk vangt, wat een motivisch perspectief biedt op het gedrag van algebraische cycli onder de Albanese-afbeelding. De resultaten worden gepresenteerd als karakterisaties binnen het bestaande kader van motieven, leunend op gevestigde eigenschappen van de Albanese-afbeelding en de theorie van Lieberman over reguliere homomorfismen.