Some explicit counter-examples to Weibel's conjecture

Resumen Técnico: Contraejemplos Explícitos a la Conjetura de Weibel

Planteamiento del Problema
El artículo aborda una pregunta planteada por Weibel en 1980 sobre la desaparición de la K-teoría negativa para anillos conmutativos noetherianos. Específicamente, la Pregunta 1 plantea: Si $R$ es un anillo conmutativo noetheriano de dimensión de Krull $d$, ¿es $K_*(R) = 0$ para $* < -d$?

Si bien el teorema de Kerz–Strunk–Tamme (2018) proporcionó una respuesta afirmativa definitiva para los anillos noetherianos, el estado de esta pregunta para anillos no noetherianos permanecía abierto. Resultados previos sugerían que, si la dimensión de Krull se reemplaza por la "dimensión valuativa" (el supremo de las dimensiones de Krull sobre todas las modificaciones biracionales propias), la desaparición se cumple. Sin embargo, el artículo señala que, para anillos no noetherianos, la dimensión de Krull puede ser estrictamente menor que la dimensión valuativa. El problema central abordado aquí es si la condición noetheriana es esencial para la desaparición de la K-teoría negativa en términos de la dimensión de Krull.

Metodología
El autor construye contraejemplos explícitos utilizando una estrategia geométrica análoga a la construcción topológica de una esfera $S^d$ como cociente de un disco $D^d$ por su frontera $\partial D^d$. La construcción se basa en tres componentes principales:

1. Cuadrados de Milnor: Los anillos $R$ se construyen como productos de retroceso (cuadrados de Milnor) de la forma $R = R_\infty \times_{R_\infty/I_\infty} k$, donde $k$ es un cuerpo. Esta configuración crea un esquema "cociente" donde la "frontera" se colapsa a un punto.
2. Límites Filtrados de Esquemas Regulares: El anillo $R_\infty$ se define como un colímite filtrado (límite directo) de semilocalizaciones de esquemas regulares ($X_n$ o variedades toricas $X_\Sigma$). Dado que estos anillos constituyentes son regulares, carecen de K-teoría negativa. La no desaparición de $K_*(R)$ surge enteramente de la interacción entre $R_\infty$ y su cociente $R_\infty/I_\infty$.
3. Explosiones Iterativas (Blow-ups) y Geometría Tropical:
   • Para $d=2$: La construcción comienza con una superficie suave que contiene un divisor de cruce normal simple (snc) dispuesto en un triángulo. El autor realiza una secuencia infinita de explosiones en los puntos de intersección de las ramas del divisor. Este proceso reemplaza iterativamente las esquinas con caras más pequeñas, creando una estructura límite que se asemeja a un poliedro con infinitas caras.
   • Para $d \ge 2$: La construcción utiliza variedades toricas. El autor considera un sistema filtrado de variedades toricas proyectivas suaves obtenidas mediante la subdivisión del fan. La "frontera" corresponde al complemento de la órbita del toro denso. Los patrones de intersección de los componentes de la frontera se rastrean utilizando variedades tropicales, lo que permite al autor asegurar que el límite de las configuraciones de la frontera se comporte combinatoriamente como un poliedro de dimensión $(d-1)$.

Resultos Clave

• Teorema 2 (Resultado Principal): Para todo $d \ge 2$, existe un anillo $R$ tal que $\text{Spec } R$ tiene exactamente dos puntos, $\text{dim Krull } R = 1$, y $K_{-d}(R) \cong \mathbb{Z}$.
• Proposición 4 (Caso $d=2$): Se proporciona una construcción específica donde $R$ se forma a partir de una secuencia de explosiones de una superficie $X_0$ a lo largo de las intersecciones de un divisor snc. El anillo $R$ resultante tiene dimensión de Krull 1 y $K_{-2}(R) \cong \mathbb{Z}$.
• Proposición 6 (Caso $d \ge 2$): Se presenta una generalización utilizando variedades toricas. Al tomar el límite filtrado de las semilocalizaciones de variedades toricas $X_\Sigma$ y sus fronteras, el autor construye un anillo $R$ con dimensión de Krull 1 y $K_{-d}(R)$ no nulo.

Mecanismo Técnico para la No Desaparición
La no desaparición de $K_{-d}(R)$ se deriva de la secuencia larga exacta de K-teoría asociada al cuadrado de Milnor. Dado que $R_\infty$ y $k$ son regulares, sus grupos K negativos desaparecen. La secuencia se reduce a un isomorfismo:
$$K_{-d}(R) \cong K_{1-d}(R_\infty/I_\infty)$$
El término $K_{1-d}(R_\infty/I_\infty)$ se identifica con el grupo de cohomología cdh $H^{d-1}_{cdh}(\text{Spec } R_\infty/I_\infty, \mathbb{Z})$. Debido a la estructura combinatoria de la frontera (construida para asemejarse a una $(d-1)$-esfera o un poliedro), este grupo de cohomología es isomorfo a la cohomología singular del poliedro correspondiente, lo que produce $\mathbb{Z}$ en el grado $d-1$.

Significado y Reivindicaciones
El artículo afirma presentar los primeros contraejemplos conocidos a la versión no noetheriana de la pregunta de Weibel. Específicamente, demuestra que la condición "dimensión de Krull $d$" es insuficiente para garantizar la desaparición de $K_*(R)$ para $* < -d$ cuando el anillo no es noetheriano.

El autor señala que, si bien el uso de cuadrados de Milnor y polígonos finitos para generar clases de K negativa es bien conocido (implícito en la fórmula del conductor de Bass), la contribución novedosa es la construcción específica utilizando polígonos infinitos (para $d=2$) e intersecciones de variedades toricas con rastreo tropical (para $d \ge 2$). El artículo establece explícitamente que estos ejemplos muestran la necesidad de la hipótesis noetheriana (o el reemplazo de la dimensión de Krull por la dimensión valuativa) para que el teorema de desaparición se cumpla.

Reconocimiento de Herramientas
El autor reconoce transparentemente el uso de asistencia computacional en el desarrollo de los ejemplos, particularmente en la identificación de la construcción de polígonos infinitos en la literatura existente (Lazard) y en la verificación de detalles técnicos respecto a las intersecciones toricas vía variedades tropicales. Sin embargo, el marco conceptual central y las pruebas específicas para la construcción torica de $d \ge 2$ se atribuyen al autor.