Some remarks on Chow correspondences

Resumo Técnico Detalhado de "Some Remarks on Chow Correspondences" por Pablo Pelaez

Enunciado do Problema
O artigo aborda um problema específico dentro do arcabouço da categoria triangulada de motivos de Voevodsky ($DM_k$): caracterizar correspondências de Chow $\Lambda \in CH^{d+n}(X \times Y)$ entre variedades suaves projetivas $X$ e $Y$ (sobre um corpo algebricamente fechado $k$) para as quais um homomorfismo induzido específico $\psi$ se anula.

O homomorfismo em questão é $\psi: CH^{d_Y-n}(Y) \to Alb(X)(k)$, definido via uma correspondência de Chow $\Lambda$. Ele mapeia um ciclo $\gamma$ para a imagem de Albanese do pushforward do produto de interseção, ajustado pelo grau:
$$\psi(\gamma) = alb_X(\Lambda(\gamma) - \deg(\Lambda(\gamma))[x_0])$$
onde $alb_X$ é o mapa de Albanese e $x_0$ é um ponto racional fixo, sendo $\Lambda(\gamma)$ a ação padrão da correspondência sobre os ciclos. O artigo busca determinar as condições sob as quais $\psi$ é identicamente zero, relacionando especificamente este anulação à estrutura da correspondência dentro da filtração ortogonal da categoria de motivos.

Metodologia
O autor emprega o aparato da categoria triangulada de motivos de Voevodsky ($DM_k$) e a teoria das relações de equivalência adequadas. A metodologia baseia-se nos seguintes componentes fundamentais:

1. Representação Motivica de Ciclos: O artigo utiliza o isomorfismo $Hom_{DM_k}(M(Z), \mathbb{1}(m)[2m]) \cong CH^m(Z)$ para representar ciclos algébricos como morfismos na categoria motivica.
2. Filtração Ortogonal: Uma ferramenta central é a filtração ortogonal de $DM_k$, denotada por $DM_k^\perp(m)$. Esta filtração consiste de objetos ortogonais à subcategoria dos motivos $m$-efetivos. O artigo foca especificamente na cobertura ortogonal $bc_{\leq -1}$ e em sua counidade $\theta_{-1}^A: bc_{\leq -1}(A) \to A$, onde $A$ representa o funtor de pontos da variedade de Albanese $Alb(X)$.
3. Critérios de Fatoração: A abordagem técnica central envolve a análise da fatoração do mapa motivico associado à correspondência. Especificamente, o artigo investiga se a composição do mapa motivico induzido por $\Lambda$ e o mapa para a variedade de Albanese fatora através da cobertura ortogonal $bc_{\leq -1}(A)$.
4. Homomorfismos Regulares: A análise conecta o anulo de $\psi$ com a teoria de homomorfismos regulares induzidos por ciclos (no sentido de Lieberman), utilizando as propriedades do mapa de Albanese como um homomorfismo regular.

Contribuições Principais e Resultados

• Caracterização de Correspondências que se Anulam (Teorema 4.1.4):
  O resultado primário estabelece uma condição necessária e suficiente para que o homomorfismo $\psi$ seja zero. O teorema afirma que $\psi \equiv 0$ se, e somente se, o mapa motivico associado à correspondência (especificamente a composição $A_f \circ \Lambda_X$) fatora através da cobertura ortogonal $\theta_{-1}^A: bc_{\leq -1}(A) \to A$. Em termos diagramáticos, existe um mapa $\Lambda': M(Y)(-n)[-2n] \to bc_{\leq -1}(A)$ tornando o triângulo relevante em $DM_k$ comutativo.

• Detecção de Equivalência Quadrática (Teorema 4.3.1):
  O artigo demonstra que a cobertura ortogonal detecta correspondências que são "equivalentes ao quadrado a zero" (denotadas $alg^{*2}$). Especificamente, se uma correspondência $\Lambda$ pertence ao subgrupo $CH^{d+n}_{alg^{*2}}(Y \times X)$ (o produto da relação de equivalência algébrica por si mesma), então o homomorfismo induzido $\psi$ é zero. Consequentemente, tais correspondências satisfazem a condição de fatoração através de $bc_{\leq -1}(A)$.

• Detecção da Filtração de H. Saito (Teorema 4.3.2):
  No caso específico onde o corpo base é $k = \mathbb{C}$, o resultado é fortalecido para incluir correspondências no segundo passo da filtração de H. Saito ($H^{*2}$). Se $\Lambda \in CH^{d+n}_{H^{*2}}(Y \times X)$, então $\psi$ se anula, e a fatoração através da cobertura ortogonal ocorre.

• Nitidez das Condições (Observação 4.3.3):
  O autor fornece um contraexemplo para mostrar que a condição $\Lambda \in CH^{d+n}_{alg^{*2}}$ é nítida. É mostrado que para uma correspondência meramente em $CH^{d+n}_{alg}$ (equivalência algébrica), mas não no quadrado, o homomorfismo $\psi$ não precisa se anular. Isso é demonstrado construindo uma correspondência envolvendo um elemento não-tor de torção no núcleo de Albanese e um ciclo que não é numericamente equivalente a zero.

Significância e Alegações
O artigo alega fornecer um critério motivico preciso para o anulo de homomorfismos regulares induzidos por ciclos para a variedade de Albanese. Ao vincular o anulo de $\psi$ à fatoração através da cobertura ortogonal $bc_{\leq -1}$, o trabalho conecta a teoria de interseção clássica (relações de equivalência adequadas) com as propriedades estruturais da categoria de motivos de Voevodsky.

A significância reside na capacidade da filtração ortogonal de "detectar" classes específicas de correspondências:

1. Ela identifica aquelas correspondências que induzem o mapa zero na variedade de Albanese.
2. Ela caracteriza correspondências que são equivalentes ao quadrado de zero ou que pertencem ao segundo passo da filtração de Saito (sobre $\mathbb{C}$) como aquelas que satisfazem esta fatoração motivica.

O autor não afirma resolver a conjectura geral de Bloch-Beilinson, mas posiciona a filtração ortogonal como uma ferramenta que captura naturalmente estas relações de equivalência específicas, oferecendo uma perspectiva motivica sobre o comportamento de ciclos algébricos sob o mapa de Albanese. Os resultados são apresentados como caracterizações dentro do arcabouço existente de motivos, baseando-se em propriedades estabelecidas do mapa de Albanese e da teoria de homomorfismos regulares de Lieberman.