Processus consistant à former l'algèbre de Rees R(I) = ⊕_{n≥0} I^n t^n pour un idéal I (ou une filtration) d'un anneau, produisant une algèbre graduée qui enregistre les morceaux gradués comme composantes homogènes et encode des informations de blowup et de déformation.

Principe

Enregistrer les puissances d'un idéal ou les niveaux d'une filtration comme composantes homogènes d'une même algèbre graduée afin que des invariants géométriques et asymptotiques (par ex. multiplicité, clôture intégrale) deviennent accessibles algébriquement.

Démonstration

Pour un anneau noethérien R et un idéal I, l'algèbre de Rees se réalise dans R[t] et sert d'anneau de coordonnées homogènes pour l'éclatement de Spec(R) le long de V(I) ; l'étude de R(I) donne des polynômes de Hilbert, des réductions et des données de clôture intégrale.

Mauvaise application

Confondre l'algèbre de Rees avec l'algèbre symétrique ou l'anneau gradué associé et utiliser les propriétés de l'un à la place d'un autre ; par exemple supposer que R(I) est toujours engendrée en degré un alors que des pathologies de l'algèbre symétrique existent.

Conséquence

La construction de l'algèbre de Rees fournit un modèle gradué reliant les propriétés algébriques locales de I aux constructions géométriques globales (l'éclatement), permettant le calcul explicite d'invariants et des déformations contrôlées entre l'anneau initial et son gradué associé.

Inversion

L'inverse consiste à prendre l'anneau gradué associé Gr_I(R), une dégénérescence de l'algèbre de Rees qui écrase la déformation et peut perdre des informations d'extension présentes dans la construction pleine de Rees.

Limite

Valable pour des anneaux et idéaux (ou modules filtrés) en catégorie algébrique ; des questions délicates apparaissent en contexte non noethérien ou pour des filtrations analytiques/continues, et cela ne s'applique pas directement à des constructions dépourvues de structure multiplicative.

Tension sémantique

Tension entre l'algèbre de Rees, l'algèbre symétrique et l'algèbre graduée associée : elles sont liées mais diffèrent quant à la capture des torsions, relations et données de déformation ; on les confond parfois à tort.

Synthèse

La construction de l'algèbre de Rees empaquette les données graduées d'un idéal ou d'une filtration en une seule algèbre homogène reliant comportement local et phénomènes géométriques d'éclatement/déformation.