The tangent space to the space of 0-cycles

Resumo Técnico: O Espaço Tangente ao Espaço de 0-Ciclos

Enunciado do Problema
O artigo aborda a lacuna fundamental na compreensão da estrutura geométrica do espaço de 0-ciclos em uma variedade algébrica $X$. Embora seja intuitivamente compreendido que a equivalência racional de 0-ciclos corresponde à conectividade racional de pontos em um "espaço de 0-ciclos", este objeto (especificamente a completação de grupo da potência simétrica infinita, $\text{Sym}^\infty(X/S)^+$) não é uma variedade ou um esquema no sentido clássico. Ele existe apenas como um sheaf (functor de gaveta) em um sítio adequado. Consequentemente, a teoria de deformação padrão e a definição de espaços tangentes, que dependem do fato de o objeto ser um esquema ou um stack com uma estrutura local bem comportada, não podem ser aplicadas diretamente. O artigo busca construir rigorosamente o espaço tangente a este objeto de natureza sheaf-theoretic em um dado ponto $P$, fornecendo assim uma base técnica para o estudo de curvas racionais no espaço de 0-ciclos.

Metodologia
O autor emprega um arcabouço de sítios anelados localmente para tratar o sheaf $\text{Sym}^\infty(X/S)^+$ como um objeto geométrico. A metodologia procede através das seguintes etapas:

1. Estrutura Geométrica: O artigo define um "objeto geométrico" como um sheaf de valores em conjuntos sobre o sítio de Nisnevich de esquemas localmente noetherianos sobre uma base $S$, equipado com um atlas. Um atlas é uma coleção de morfismos de esquemas para o sheço, tal que seu coproduto é um epimorfismo efetivo.
2. Construção do Sítio: Para um sheaf $X$ com um atlas, o autor constrói o sítio Nisnevich-étalé $X_{\text{Nis-\'et}}$. Os objetos deste sítio são morfismos de esquemas para $X$ que são étales em relação ao atlas.
3. Estrutura de Anel Local: Ao definir o funtor de estalo (stalk) em um ponto $P$ (um morfismo de um espectro de corpo para o sheaf), o artigo estabelece que, se a categoria de vizinhanças étales de $P$ é cofiltrada, o sítio torna-se um sítio anelado localmente. Isso permite a definição do sheaf de estrutura $\mathcal{O}_X$, do sheaf de diferenciais de Kähler $\Omega^1_{X/S}$ e do sheaf tangente $T_{X/S}$.
4. Construção Específica para 0-Ciclos: O artigo identifica o espaço de 0-ciclos relativos com a completação de grupo $\text{Sym}^\infty(X/S)^+$ da monóide de potência simétrica infinita. Ele constrói um atlas específico para este sheaf, chamado atlas de Chow, derivado da estrutura indutiva natural das potências simétricas e dos morfismos de Hilbert-Chow.
5. Prova de Cofiltragem: O esforço técnico central envolve provar que, para qualquer ponto $P$ em $\text{Sym}^\infty(X/S)^+$, a categoria de vizinhanças étales $N_P$ é cofiltrada. Isso é alcançado através da análise da representabilidade de produtos fibrados de vizinhanças étales e utilizando as propriedades do atlas de Chow e das potências simétricas subjacentes.

Principais Contribuições e Resultados

• Definição de Espaço Tangente: O artigo define com sucesso o espaço tangente $T_{\text{Sym}^\infty(X/S)^+}(P)$ em um ponto $P$ como o produto tensorial do estalo do sheaf tangente com o corpo residual $\kappa(P)$. Esta é a primeira construção rigorosa de tal espaço para a completação de grupo da potência simétrica infinita.
• Teorema Principal: O resultado central é o Teorema 6, que afirma que, para um esquema localmente noetheriano $X$ sobre $S$ (onde as potências simétricas existem e o morfismo estrutural admite uma seção), a categoria $N_P$ de vizinhanças étales de qualquer ponto $P$ no espaço de 0-ciclos $\text{Sym}^\infty(X/S)^+$ é cofiltrada.
• Comparação de Abordagens: O artigo esclarece a relação entre diferentes construções de 0-ciclos relativos:
  • Abordagem de Rydh: Utiliza potências divididas $\Gamma_d(X/S)$.
  • Abordagens de Suslin-Voevodsky e Kollár: Utilizam ciclos definidos via pontos gordos (fat points) e pullbacks.
  • O autor prova que, sob suposições leves (característica pura 0 ou $X$ plano sobre $S$, e $S$ seminormal), o sheaf $\text{Sym}^\infty(X/S)^+$ é isomorfo aos sheaves de 0-ciclos relativos construídos por Suslin-Voevodsky e Kollár quando restritos a esquemas seminormais.
• Conectividade Racional e Equivalência Racional: O artigo estabelece um elo preciso entre a geometria do espaço de 0-ciclos e a geometria algébrica clássica. Mostra que dois pontos $P$ e $Q$ em $\text{Sym}^\infty(X/S)^+$ estão racionalmente conectados (via uma cadeia de curvas racionais) se, e somente se, os 0-ciclos correspondentes são racionalmente equivalentes em $X$.
• Potencial de Teoria de Lie: Dado que $\text{Sym}^\infty(X/S)^+$ é um objeto de grupo abeliano, a existência de espaços tangentes em todos os pontos implica que uma teoria de Lie pode ser desenvolvida para este espaço, onde todos os espaços tangentes são isomorfos ao espaço tangente na identidade (o ciclo zero).

Significância e Alegações
O artigo alega fornecer a "base técnica" necessária para uma teoria de deformação de curvas racionais no espaço de 0-ciclos. Ao estabelecer a existência de espaços tangentes e a estrutura de sítio anelado localmente, o autor permite a aplicação de técnicas similares às usadas por Kollár para provar a conectividade racional de variedades (por exemplo, analisando a positividade do pullback do sheaf tangente ao longo de uma curva racional).

O autor observa explicitamente que, embora o sheaf tangente tenha sido construído, ainda não se sabe se ele é localmente livre ou se o seu pullback para uma curva racional se decompõe em torções de Serre da maneira padrão. No entanto, o artigo afirma que a própria construção do espaço tangente é um pré-requisito para tais investigações. O trabalho visa mover o estudo de 0-ciclos de uma pura relação de equivalência algébrica para uma análise geométrica em um "espaço" específico (o sheaf de Nisnevich), alinhando-se com a filosofia de Green e Griffiths, mas fornecendo a "ontologia" faltante do espaço de 0-ciclos.

O artigo não pretende provar a conjectura de Bloch ou demonstrar que o espaço de 0-ciclos é racionalmente conectado para variedades específicas; em vez disso, fornece as ferramentas (o espaço tangente e a estrutura de sítio anelado localmente) que permitiriam que tais questões fossem formuladas e potencialmente atacadas usando a teoria de deformação.