Some explicit counter-examples to Weibel's conjecture

Resumo Técnico: Contraexemplos Explícitos à Conjectura de Weibel

Enunciado do Problema
O artigo aborda uma questão proposta por Weibel em 1980 sobre o desaparecimento da K-teoria negativa para anéis comutativos noetherianos. Especificamente, a Questão 1 pergunta: Se $R$ é um anel comutativo noetheriano de dimensão de Krull $d$, então $K_*(R) = 0$ para $* < -d$?

Embora o teorema de Kerz–Strunk–Tamme (2018) tenha fornecido uma resposta afirmativa definitiva para anéis noetherianos, o status dessa questão para anéis não-noetherianos permanecia em aberto. Resultados anteriores sugeriam que, se a dimensão de Krull fosse substituída pela "dimensão valuativa" (o supremo das dimensões de Krull sobre todas as modificações biracionais próprias), o desaparecimento ocorreria. No entanto, o artigo observa que, para anéis não-noetherianos, a dimensão de Krull pode ser estritamente menor que a dimensão valuativa. O problema central abordado aqui é se a condição noetheriana é essencial para o desaparecimento da K-teoria negativa em termos da dimensão de Krull.

Metodologia
O autor constrói contraexemplos explícitos utilizando uma estratégia geométrica análoga à construção topológica de uma esfera $S^d$ como um quociente de um disco $D^d$ por sua fronteira $\partial D^d$. A construção baseia-se em três componentes principais:

1. Quadrados de Milnor: Os anéis $R$ são construídos como pullbacks (quadrados de Milnor) da forma $R = R_\infty \times_{R_\infty/I_\infty} k$, onde $k$ é um corpo. Esta configuração cria um esquema "quociente" onde a "fronteira" é colapsada a um ponto.
2. Limites Filtrados de Esquemas Regulares: O anel $R_\infty$ é definido como um colimite filtrado (limite direto) de semilocalizações de esquemas regulares ($X_n$ ou variedades toricas $X_\Sigma$). Como esses anéis constituintes são regulares, eles não possuem K-teoria negativa. O não-desaparecimento de $K_*(R)$ surge inteiramente da interação entre $R_\infty$ e seu quociente $R_\infty/I_\infty$.
3. Blow-ups Iterativos e Geometria Tropical:
   • Para $d=2$: A construção começa com uma superfície suave contendo um divisor de cruzamento normal simples (snc) disposto em um triângulo. O autor realiza uma sequência infinita de blow-ups nos pontos de interseção dos ramos do divisor. Este processo substitui iterativamente os cantos por faces menores, criando uma estrutura limite que se assemelha a um poliedro com infinitas faces.
   • Para $d \ge 2$: A construção utiliza variedades toricas. O autor considera um sistema filtrado de variedades toricas projetivas suaves obtidas através da subdivisão do fan. A "fronteira" corresponde ao complemento da órbita do toro denso. Os padrões de interseção dos componentes da fronteira são rastreados usando variedades tropicais, que permitem ao autor garantir que o limite das configurações de fronteira se comporte combinatoriamente como um poliedro de dimensão $(d-1)$.

Principais Resultados

• Teorema 2 (Resultado Principal): Para todo $d \ge 2$, existe um anel $R$ tal que $\text{Spec } R$ possui exatamente dois pontos, $\text{dim Krull } R = 1$, e $K_{-d}(R) \cong \mathbb{Z}$.
• Proposição 4 (Caso $d=2$): Uma construção específica é fornecida onde $R$ é formado a partir de uma sequência de blow-ups de uma superfície $X_0$ ao longo das interseções de um divisor snc. O anel $R$ resultante possui dimensão de Krull 1 e $K_{-2}(R) \cong \mathbb{Z}$.
• Proposição 6 (Caso $d \ge 2$): Uma generalização usando variedades toricas é apresentada. Ao tomar o limite filtrado de semilocalizações de variedades toricas $X_\Sigma$ e suas fronteiras, o autor constrói um anel $R$ com dimensão de Krull 1 e $K_{-d}(R)$ não-nulo.

Mecanismo Técnico para o Não-Desaparecimento
O não-desaparecimento de $K_{-d}(R)$ é derivado da sequência longa exata de K-teoria associada ao quadrado de Milnor. Como $R_\infty$ e $k$ são regulares, seus grupos de K-teoria negativa desaparecem. A sequência reduz-se a um isomorfismo:
$$K_{-d}(R) \cong K_{1-d}(R_\infty/I_\infty)$$
O termo $K_{1-d}(R_\infty/I_\infty)$ é identificado com o grupo de cohomologia cdh $H^{d-1}_{cdh}(\text{Spec } R_\infty/I_\infty, \mathbb{Z})$. Devido à estrutura combinatória da fronteira (construída para se assemelhar a uma $(d-1)$-esfera ou poliedro), este grupo de cohomologia é isomorfo à cohomologia singular do poliedro correspondente, o que resulta em $\mathbb{Z}$ no grau $d-1$.

Significância e Alegações
O artigo afirma apresentar os primeiros contraexemplos conhecidos à versão não-noetheriana da questão de Weibel. Especificamente, demonstra que a condição "dimensão de Krull $d$" é insuficiente para garantir o desaparecimento de $K_*(R)$ para $* < -d$ quando o anel não é noetheriano.

O autor observa que, embora o uso de quadrados de Milnor e polígonos finitos para gerar classes de K-teoria negativa seja bem conhecido (implícito na fórmula do condutor de Bass), a construção específica utilizando polígonos infinitos (para $d=2$) e variedades toricas com rastreamento tropical (para $d \ge 2$) constitui a contribuição inédita. O artigo afirma explicitamente que estes exemplos mostram a necessidade da hipótese noetheriana (ou da substituição da dimensão de Krull pela dimensão valuativa) para que o teorema de desaparecimento seja válido.

Reconhecimento de Ferramentas
O autor reconhece de forma transparente o uso de assistência computacional no desenvolvimento dos exemplos, particularmente na identificação da construção de polígonos infinitos na literatura existente (Lazard) e na verificação de detalhes técnicos relativos às interseções toricas via variedades tropicais. No entanto, o arcabouço conceitual central e as provas específicas para a construção torica $d \ge 2$ são atribuídos ao autor.