##  [Obstruction dans Tor](/fr/node/63668) 

 Définition

Un élément non nul d'un groupe Tor qui indique l'échec du produit tensoriel à préserver l'exactitude ou l'échec de la platitude ; un tel élément obstrue des opérations de tensorisation naïves ou des relèvements fondés sur l'exactitude de ⊗.

 

 

 

 

 

 





## Principe

Principe

Tor est le foncteur dérivé à gauche du produit tensoriel ; Tor_n(M,N) non nul mesure dans quelle mesure la tensorisation par M échoue à être exacte sur une résolution de N. Les obstructions Tor apparaissent quand des suites exactes se brisent après tensorisation, empêchant des identifications ou des propriétés de changement de base attendues.

 

 

 

 

 





## Démonstration

Démonstration

Sur un anneau R, si 0 → K → P → M → 0 est une présentation avec P projectif, tensoriser par N donne une suite exacte longue de Tor. Un Tor_1^R(M,N) non nul obstrue le relèvement des homomorphismes après tensorisation et signale que M n'est pas plat relativement à N ; par exemple Z/p ⊗_Z Z/p engendre Tor_1 non nul dans de nombreuses constructions.

 

 

 

 

## Mauvaise application

Mauvaise application

Affirmer la platitude ou l'exactitude du changement de base uniquement parce que Tor s'annule en faibles degrés, sans contrôler les Tor supérieurs ou les résolutions pertinentes, détourne mal le concept d'obstruction et peut masquer des pathologies plus profondes.

 

 

 

 

 





## Conséquence

Conséquence

Détecter une obstruction Tor oblige à affiner les hypothèses (imposer la platitude, changer la base, prendre le produit tensoriel dérivé), à travailler en catégories dérivées ou à contrôler les résolutions ; cela explique pourquoi des constructions naïves basées sur ⊗ échouent ou pourquoi certaines suites spectrales ne dégénèrent pas.

 

 

 

 

## Inversion

Inversion

L'annulation des groupes Tor pertinents (tous les Tor_n nécessaires = 0) restaure l'exactitude du produit tensoriel aux degrés considérés et supprime l'obstruction, permettant les identifications par tenseur et le changement de base plat attendus.

 

 

 

 

 





## Limite

Limite

Les obstructions Tor ont du sens dans des cadres abéliens avec produit tensoriel et foncteurs dérivés ; elles ne s'appliquent pas directement aux opérations pseudo‑tensoriales non distributives ni aux contextes dépourvus d'algèbre homologique. La notion exclut les obstructions cohomologiques captées par Ext.

 

 

 

 

 





## Tension sémantique

Tension sémantique

« Obstruction Tor » est souvent confondue avec « défaut de platitude » au sens large ; la tension consiste en ce que Tor localise des degrés et des paires d'objets précis, tandis que la platitude est une propriété globale d'un objet sur toute la catégorie ou la base.

 

 

 

 

 





## Synthèse

Synthèse

Une obstruction Tor est le témoin dérivé‑tensoriel — des classes Tor spécifiques qui expliquent pourquoi la tensorisation cesse d'être exacte et pourquoi la platitude ou le changement de base naïf échouent ; annuler ou résoudre ces classes restaure le comportement tensoriel attendu.