Le procédé d'inverser un ensemble multiplicatif S choisi dans un anneau (ou des éléments analogues dans d'autres structures algébriques) pour former un nouvel objet S^{-1}R dans lequel les éléments de S deviennent inversibles ; plus généralement, adjoindre formellement des inverses le long d'une classe de morphismes donnée dans une catégorie.

Principe

La localisation est régie par une propriété universelle : l'objet localisé est initial parmi les objets recevant un morphisme depuis l'original qui envoie les éléments choisis sur des éléments inversibles. En termes catégoriques il s'agit souvent d'une localisation réflexive ou d'une construction par calcul de fractions.

Démonstration

Exemple : localiser un anneau commutatif en un idéal premier p donne R_p, où tous les éléments hors de p deviennent inversibles ; géométriquement cela correspond à se restreindre aux fonctions définies au voisinage du point déterminé par p.

Mauvaise application

Inverser formellement des éléments sans vérifier la compatibilité avec les relations (par exemple en contexte non commutatif ou en présence de torsion) ou supposer que la localisation préserve des propriétés de finitude conduit à des affirmations algébriques incorrectes.

Conséquence

La localisation isole le comportement local, simplifie les problèmes en forçant l'existence de dénominateurs, induit souvent la platitude en cas commutatif et correspond à des immersions ouvertes en géométrie des schémas ; elle est essentielle pour les techniques local-vers-global.

Inversion

La notion duale est la complétion (ou le passage à un quotient) : au lieu d'adjoindre des inverses on peut imposer des relations d'annulation qui tuent des éléments, changeant l'attention de l'inversion à l'effondrement de structure.

Limite

Nécessite une spécification claire des éléments ou morphismes à inverser ; toutes les catégories n'admettent pas un calcul de fractions, et en contextes non commutatifs ou ∞-catégoriques la localisation peut être subtile ou ne pas exister comme objet simple.

Tension sémantique

Tension entre la localisation comme inversion algébrique formelle (dénominateurs symboliques) et comme restriction géométrique (passage aux germes ou ouverts) ; les confondre sans préciser le contexte masque les effets sur finitude et exactitude.

Synthèse

La localisation force universellement l'inversion d'éléments choisis, produisant un nouvel objet qui concentre le comportement local et satisfait une propriété de mappage universelle ; son effet concret dépend de la commutativité, de l'exactitude et du cadre catégorique ambiant.