A note on cubical Bloch--Levine cycle complexes

Resumo Técnico: Uma Nota sobre Complexos de Ciclos Cubicos de Bloch–Levine

Enunciado do Problema
O artigo aborda uma lacuna técnica na literatura referente à comparação entre as versões simpliciais e cúbicas dos complexos de ciclos de Bloch sobre bases que não são corpos. Embora Mark Levine tenha estabelecido um quase-isomorfismo entre esses dois complexos sobre corpos em [L1], a extensão desse resultado para bases arbitrárias, especificamente domínios de Dedekind ou PIDs (domínios de ideais principais) semi-locais, não havia sido explicitamente escrita.

O autor observa que, embora as construções de "ciclo de prisma" e os argumentos de homotopia utilizados por Levine sejam amplamente agnósticos em relação à base, a aplicação sobre uma base geral $R$ introduz complicações técnicas. Especificamente, sobre não-corpos, a interação entre ciclos e fibras especiais (corpos residuais) pode levar a interseções impróprias, complicando a definição de produtos coerentes por homotopia. Além disso, embora o autor tenha utilizado anteriormente complexos de Bloch cúbicos sobre bases de Dedekind em [X] para construir cociclos de grupo, a justificativa baseou-se na suposição de que a prova de Levine se generaliza de forma direta. Esta nota visa verificar rigorosamente essa generalização.

Metodologia
O artigo emprega um argumento de comparação de "zig-zag", construindo um duplo complexo de ciclos em $X \times \square^m \times \Delta^n$ (onde $\square$ é o cubo algébrico e $\Delta$ é o simplexo algébrico) para ligar o complexo cúbico $z^q(X, \bullet)^c$ ao complexo simplicial $z^q(X, \bullet)$.

O núcleo da metodologia envolve provar que as linhas e colunas deste duplo complexo são acíclicas em graus positivos. Esta aciclicidade depende de duas propriedades de homotopia:

1. (HC) Invariância por homotopia para o complexo cúbico sob a projeção $X \times \mathbb{A}^1 \to X$.
2. (HS) Invariância por homotopia para o complexo simplicial sob a mesma projeção.

Para estabelecer estas propriedades sobre um PID semi-local $R$ (com corpo de frações $K$ e corpos residuais $k_i$), o autor adapta os "lemmas de movimentação fraca" de Levine. A estratégia de prova é dividida em dois casos baseados na natureza dos corpos residuais:

• Corpos Residuais Infinitos: O autor utiliza uma extensão transcendente $R' = R(t_1, \dots, t_N)$ para introduzir translações genéricas. Ao aplicar um argumento de contagem de dimensões e o Teorema Chinês dos Restos (Lema 3.3), demonstra-se que uma translação genérica move os ciclos para uma "posição geral" em relação às faces do cubo/simplexo e aos subesquemas que definem o complexo. Isso permite a construção de uma homotopia de cadeia que é nula por homotopia no complexo quociente, provando a aciclicidade.
• Corpos Residuais Finitos: Como o argumento de levantamento utilizado para corpos infinitos falha quando os corpos residuais são finitos, o autor emprega um argumento de descendência. Uma torre infinita de extensões étale $R \subset R_1 \subset R_2 \dots$ é construída (Lema 3.4) de tal modo que o limite direto $R_\infty$ possua corpos residuais infinitos (Lema 3.5). A aciclicidade sobre $R_\infty$ é estabelecida via o caso infinito. O resultado é então descendido de volta para $R$ usando a fórmula de transferência (push-pull) para mapas étale finitos, mostrando que qualquer classe de homologia anulada pela transferência deve ser zero.

Contribuições Principais e Resultados
O resultado primário é o Teorema 4.2, que estabelece que, para um PID semi-local $R$ onde todos os corpos residuais são ou finitos ou todos infinitos, e para um esquema $R$-suave $X$, existe um zig-zag de quase-isomorfismos:
$$z^q(X, \bullet)^c \xleftarrow{\epsilon'} \text{Tot}_X \xrightarrow{\epsilon''} z^q(X, \bullet)$$
Consequentemente, os grupos de homologia (grupos de Chow superiores) são isomórficos:
$$CH^q(X, n)^c \cong CH^q(X, n)$$
Este resultado mantém-se mais genericamente para complexos de ciclos definidos em relação a uma família finita de subesquemas planos sobre $R$.

Significância e Alegações
O artigo reivindica uma significância técnica modesta, servindo como uma verificação de que o argumento de comparação simplicial-cúbica de Levine se estende para bases de Dedekind.

• Cohomologia Motívica: O resultado confirma que o sheaf de complexos de ciclos de Bloch cúbicos computa os mesmos grupos de cohomologia que a versão simplicial tratada por Levine em [L2]. Uma vez que a versão simplicial é conhecida por coincidir com as definições modernas de cohomologia motívica do estilo de Voevodsky para esquemas suaves sobre bases de Dedekind, a versão cúbica é validada como uma ferramenta computacional equivalente neste cenário.
• Utilidade Prática: O autor observa que, embora subdivisões simpliciais possam teoricamente traduzir ciclos cúbicos para a linguagem simplicial, fazê-lo resulta em uma "formulação menos natural" e requer verificações adicionais de interseções apropriadas com novas faces. A validade do complexo cúbico permite o uso direto de ciclos cúbicos na construção de classes de cohomologia motívica e relações sobre bases gerais, como demonstrado em seu trabalho anterior [X].
• Limitações: O artigo reconhece explicitamente que o produto cúbico natural, uma motivação histórica para os complexos cúbicos, não pode ser definido de uma forma coerente por homotopia sobre não-corpos devido a questões de rigidez nas fibras especiais. Assim, o artigo não pretende resolver a questão da estrutura de produto, mas sim validar os próprios complexos de ciclos subjacentes.

O trabalho baseia-se em ferramentas padrão de geometria algébrica (Teorema Chinês dos Restos, descendência étale, propriedades de PIDs semi-locais) e não introduz novas propostas experimentais ou implicações futuras além da utilidade imediata do quase-isomorfismo estabelecido.