Some explicit counter-examples to Weibel's conjecture

Résumé Technique : Contre-exemples explicites à la conjecture de Weibel

Énoncé du Problème
L'article traite d'une question posée par Weibel en 1980 concernant l'annulation de la K-théorie négative pour les anneaux commutatifs noethériens. Plus précisément, la Question 1 demande : Si $R$ est un anneau noethérien commutatif de dimension de Krull $d$, est-ce que $K_*(R) = 0$ pour $* < -d$ ?

Bien que le théorème de Kerz–Strunk–Tamme (2018) ait apporté une réponse affirmative définitive pour les anneaux noethériens, le statut de cette question pour les anneaux non noethériens est resté ouvert. Des résultats antérieurs suggéraient que si la dimension de Krull est remplacée par la « dimension valuative » (la borne supérieure des dimensions de Krull sur toutes les modifications birationnelles propres), l'annulation est vérifiée. Cependant, l'article note que pour les anneques non noethériens, la dimension de Krull peut être strictement inférieure à la dimension valuative. Le problème central abordé ici est de savoir si la condition noethérienne est essentielle pour l'annulation de la K-théorie négative en termes de dimension de Krull.

Méthodologie
L'auteur construit des contre-exemples explicites en utilisant une stratégie géométrique analogue à la construction topologique d'une sphère $S^d$ comme quotient d'un disque $D^d$ par sa frontière $\partial D^d$. La construction repose sur trois composantes principales :

1. Carrés de Milnor : Les anneaux $R$ sont construits comme des produits tirés (carrés de Milnor) de la forme $R = R_\infty \times_{R_\infty/I_\infty} k$, où $k$ est un corps. Cette configuration crée un schéma « quotient » où la « frontière » est contractée en un point.
2. Limites filtrées de schémas réguliers : L'anneau $R_\infty$ est défini comme une limite filtrée (colimite directe) de sémi-localisations de schémas réguliers ($X_n$ ou variétés toriques $X_\Sigma$). Puisque ces anneaux constituants sont réguliers, ils ne possèdent pas de K-théorie négative. La non-annulation de $K_*(R)$ provient entièrement de l'interaction entre $R_\infty$ et son quotient $R_\infty/I_\infty$.
3. Éclatements itératifs et géométrie tropicale :
   • Pour $d=2$ : La construction commence par une surface lisse contenant un diviseur à croisements normaux simples (snc) disposé en triangle. L'auteur effectue une séquence infinie d'éclatements aux points d'intersection des branches du diviseur. Ce processus remplace itérativement les coins par des faces plus petites, créant une structure limite ressemblant à un polyèdre avec un nombre infini de faces.
   • Pour $d \ge 2$ : La construction utilise des variétés toriques. L'auteur considère un système filtré de variétés toriques projectives lisses obtenues par subdivision du fan. La « frontière » correspond au complément de l'orbite du tore dense. Les schémas d'intersection des composantes de la frontière sont suivis à l'aide de la géométrie tropicale, ce qui permet à l'auteur de garantir que la limite des configurations de la frontière se comporte combinatoirement comme un polyèdre de dimension $(d-1)$.

Résultats Clés

• Théorème 2 (Résultat Principal) : Pour tout $d \ge 2$, il existe un anneau $R$ tel que $\text{Spec } R$ possède exactement deux points, $\text{dim de Krull } R = 1$, et $K_{-d}(R) \cong \mathbb{Z}$.
• Proposition 4 (Cas $d=2$) : Une construction spécifique est fournie où $R$ est formé à partir d'une séquence d'éclatements d'une surface $X_0$ le long des intersections d'un diviseur snc. L'anneau $R$ résultant a une dimension de Krull de 1 et $K_{-2}(R) \cong \mathbb{Z}$.
• Proposition 6 (Cas $d \ge 2$) : Une généralisation utilisant des variétés toriques est présentée. En prenant la limite filtrée de sémi-localisations de variétés toriques $X_\Sigma$ et de leurs frontières, l'auteur construit un anneau $R$ de dimension de Krull 1 avec une $K_{-d}(R)$ non nulle.

Mécanisme Technique de Non-Annulation
La non-annulation de $K_{-d}(R)$ est dérivée de la suite exacte longue de la K-théorie associée au carré de Milnor. Puisque $R_\infty$ et $k$ sont réguliers, leurs groupes K négatifs s'annulent. La suite se réduit à un isomorphisme :
$$K_{-d}(R) \cong K_{1-d}(R_\infty/I_\infty)$$
Le terme $K_{1-d}(R_\infty/I_\infty)$ est identifié au groupe de cohomologie cdh $H^{d-1}_{cdh}(\text{Spec } R_\infty/I_\infty, \mathbb{Z})$. En raison de la structure combinatoire de la frontière (construite pour ressembler à une $(d-1)$-sphère ou un polyèdre), ce groupe de cohomologie est isomorphe à la cohomologie singulière du polyèdre correspondant, ce qui donne $\mathbb{Z}$ au degré $d-1$.

Signification et Revendications
L'article affirme présenter les premiers contre-exemples connus à la version non noethérienne de la question de Weibel. Plus précisément, il démontre que la condition « dimension de Krull $d$ » est insuffisante pour garantir l'annulation de $K_*(R)$ pour $* < -d$ lorsque l'anneau n'est pas noethérien.

L'auteur note que bien que l'utilisation de carrés de Milnor et de polygones finis pour générer des classes de K-théorie soit bien connue (implicite dans la formule du conducteur de Bass), la construction spécifique utilisant des polygones infinis (pour $d=2$) et des variétés toriques avec suivi tropical (pour $d \ge 2$) constitue la contribution novatrice. L'article stipule explicitement que ces exemples montrent la nécessité de l'hypothèse noethérienne (ou du remplacement de la dimension de Krull par la dimension valuative) pour que le théorème d'annulation soit valide.

Reconnaissance des Outils
L'auteur reconnaît en toute transparence l'utilisation de l'assistance informatique dans le développement des exemples, particulièrement pour identifier la construction de polygones infinis dans la littérature existante (Lazard) et pour vérifier les détails techniques concernant les intersections toriques via la géométrie tropicale. Cependant, le cadre conceptuel central et les preuves spécifiques pour la construction torique $d \ge 2$ sont attribués à l'auteur.