On Landweber`s unique factorization problem

Résumé technique : Sur le problème de la factorisation unique de Landweber

Énoncé du problème
L'article traite d'une question de longue date en algèbre commutative concernant la préservation de la propriété de domaine de factorisation unique (DFU) sous la formation d'anneaux de séries formelles de puissances. Plus précisément, il examine si $R[[t]]$ est un DFU lorsque $R$ est un DFU régulier. Bien que le cas noethérien ait été résolu positivement par Samuel et Buchsbaum (prouvant que si $R$ est un DFU noethérien régulier, alors $R[[t]]$ est un DFU), le cas non noethérien est resté ouvert. En 1974, Landweber a posé la question spécifique de savoir si $R[[t]]$ est un DFU lorsque $R = A[x_1, x_2, \dots]$ est un anneau de polynômes en dénombrables variables sur un DFU régulier $A$. Ce problème a été mis en évidence dans des enquêtes ultérieures d'Anderson et Gilmer, mais est resté non résolu.

Méthodologie
Les auteurs emploient une stratégie qui réduit le problème global à des propriétés locales et des approximations finies. La preuve est structurée autour de trois piliers théoriques principaux :

1. Théorème d'irréductibilité finie (Théorème B) : La contribution technique centrale est de prouver que si $R$ est un domaine de Krull et $f \in R[[t]]$ est irréductible, alors $f$ est « irréductible de hauteur finie ». C'est-à-dire qu'il existe un entier $n \ge 1$ tel que $f$ reste irréductible modulo $t^n$. La preuve procède par contraposition : en supposant que $f$ est réductible modulo des puissances arbitrairement élevées de $t$, les auteurs construisent une factorisation propre de $f$ dans $R[[t]]$. Cette construction utilise un argument de lemme de Kőnig (Lemme 3.1) pour extraire une séquence convergente de factorisations partielles.

   • Pour assurer la compatibilité de ces factorisations partielles, les auteurs établissent une propriété de « primalité de hauteur finie » pour les séries de puissances sur les anneaux de valuation discrète (AVD). Cela implique de définir des éléments $C$-premiers et de prouver des bornes quantitatives sur les longueurs de factorisation (Sections 4 et 5).
   • Le résultat est étendu des AVD aux domaines de Krull généraux via un argument « local-global » (Section 6), en exploitant le fait qu'un domaine de Krull est l'intersection de ses localisations aux idéaux premiers de hauteur 1.

2. Critère de rétraction à étape finie (Théorème C) : Les auteurs établissent un critère général (Théorème 7.2) stipulant que si $R$ est un domaine de Krull tel que pour tout sous-ensemble fini $E \subset R$, il existe un sous-anneau $S \subseteq R$ contenant $E$ et une rétraction $\rho: R \to S$ où $S[[t]]$ est un DFU, alors $R[[t]]$ est un DFU. Ce théorème comble le fossé entre le cas à variables finies (où la factorisation unique est connue) et le cas à variables infinies.

3. Synthèse : La preuve du résultat principal combine le théorème d'irréductibilité finie avec le critère de rétraction. Puisque $R[[t]]$ est un domaine de Krull (et donc atomique), prouver que tout élément irréductible est premier est suffisant pour établir la propriété de DFU. Le théorème d'irréductibilité finie garantit que les irréductibles ont une hauteur finie, et le critère de rétraction permet de déduire la primalité de ces éléments à partir de leur comportement dans les sous-anneaux à variables finies.

Résultats clés

• Théorème A (Théorème 7.3) : Soit $A$ un DFU régulier, $I$ n'importe quel ensemble, et $R = A[x_i \mid i \in I]$. Alors $R[[t]]$ est un DFU. Cela fournit une réponse affirmative complète à la question de Landweber, couvrant le cas des anneaux de polynômes en dénombrables variables sur un corps ou sur n'importe quel DFU régulier.
• Théorème B (Théorème 6.4) : Soit $R$ un domaine de Krull. Si $f \in R[[t]]$ est irréductible, alors $f$ est irréductible modulo $t^n$ pour un certain $n \ge 1$. Ceci généralise un résultat de Bayart (qui l'avait prouvé pour les DFU de caractéristique nulle où tous les entiers sont des unités) au contexte général des domaines de Krull.
• Théorème C (Théorème 7.2) : Une condition suffisante pour que $R[[t]]$ soit un DFU basée sur l'existence de rétractions vers des sous-anneaux à étapes finies qui sont des DFU.

Signification et portée
L'article résout le problème de Landweber de 1974 dans toute sa généralité. Les auteurs notent que bien que le cas noethérien ait été compris, le cas non noethérien (spécifiquement impliquant des variables infinies) présentait des difficultés significatives, particulièrement pour établir des résultats d'irréductibilité pour l'anneau complet plutôt que pour de simples sous-anneaux gradués.

La signification de ce travail réside dans :

1. Compléter la classification : Il tranche la question pour les DFU réguliers dans le cadre non noethérien, une lacune qui persistait depuis des décennies.
2. Généraliser les propriétés de primalité : La preuve du Théorème B étend la compréhension de l'irréductibilité dans les anneaux de séries de puissances au-delà des cas spécifiques traités par le théorème d'approximation forte d'Artin ou les travaux de Bayart, en s'appliquant à tous les domaines de Krull.
3. Contribution méthodologique : L'introduction du concept d'« irréductibilité finie » et de la propriété de « primalité de hauteur finie » fournit de nouveaux outils pour analyser la factorisation dans les anneaux de séries de puissances sur des domaines non noethériens.

Les auteurs précisent explicitement que la conclusion du Théorème 6.4 ne caractérise pas les domaines de Krull (car elle est également vraie pour certains domaines non Krull comme $F_q[x^2, x^3]$) et que la question de savoir si $R[[t]]$ est un DFU pour tous les domaines noethériens reste ouverte. De plus, l'article note que la question connexe soulevée par Bayart — à savoir si $S[[t]]$ est un DFU si $S = R[[x]]$ est un DFU — demeure non résolue.