Un procédé qui exploite des sommes directes infinies ou la stabilisation par une copie dénombrable pour provoquer des phénomènes d'annulation en algèbre ou en topologie, produisant des isomorphismes ou la trivialité de classes qui n'annulent pas par sommes finies.

Principe

Si un objet A est un facteur direct d'une somme directe infinie X = B ⊕ B ⊕ ... munie d'une équivalence de réindexation appropriée, alors l'ajout ou le retrait d'un nombre dénombrable de copies peut engendrer un isomorphisme annulant A ; l'idée organisatrice est la stabilisation par coproduits infinis pour transformer des situations non annulables en situations annulables.

Démonstration

En K-théorie algébrique d'un anneau disposant de modules libres dénombrables, on montre que tout module projectif de type fini P vérifie P ⊕ R^∞ ≅ R^∞, de sorte que la classe de P s'annule dans le groupe de Grothendieck stabilisé ; de même, en théorie de l'homotopie stable on obtient des équivalences après formation de wedges dénombrables de spectres.

Mauvaise application

Appliquer la ruse là où les coproduits infinis n'existent pas, ne sont pas bien compatibles avec la structure homotopique, ou où les réindexations échouent (par exemple dans des catégories sans sommes dénombrables, en cadres strictement finis ou lorsqu'une topologie empêche la convergence) conduit à des conclusions erronées.

Conséquence

Un usage correct entraîne des résultats d'annulation pour des invariants stabilisés, simplifie la classification en ramenant des problèmes à des catégories stabilisées, et peut montrer que certaines obstructions disparaissent après stabilisation.

Inversion

L'annulation finie est le point de vue inverse : se demander si A ⊕ B ≅ A ⊕ C implique B ≅ C sans passer par des sommes infinies ; l'inversion souligne la distinction entre annulation au niveau fini et annulation seulement disponible après stabilisation infinie.

Limite

Nécessite l'existence et l'exactitude homotopique de coproduits dénombrables ou de wedges et la possibilité de réindexer ou de scinder les sommes infinies ; elle ne s'applique pas dans des catégories purement finies, dans de nombreux contextes d'espaces vectoriels topologiques où la convergence pose problème, ou dans des catégories où la somme infinie n'est pas isomorphe à une copie décalée.

Tension sémantique

Il existe une tension avec les théorèmes d'annulation finis et avec l'idée 'stable = instable' : la ruse produit une trivialité stable qui peut masquer une structure non triviale au niveau fini, il faut donc distinguer trivialité stable et trivialité effective.

Synthèse

La ruse d'Eilenberg est une technique de stabilisation : en plongeant un objet dans un contexte de sommes directes infinies contrôlé et en utilisant la réindexation ou le scindage, on transforme des annulations bloquées au niveau fini en annulations effectives dans la catégorie stabilisée, conduisant à la disparition ou à la simplification des invariants stables tout en respectant les limites imposées par l'absence de sommes infinies.