## [Violation de la Condition de Serre](/fr/node/63688) Définition Une situation où un anneau ou un schéma noethérien ne vérifie pas l'une des conditions de Serre R_k (régularité en codimension k) ou S_k (profondeur au moins min(k, dimension locale)), traduisant des défauts de régularité ou de type profondeur qui influent sur l'extension, la dualité et le comportement des diviseurs. ## Principe Principe Les conditions de Serre sont des contraintes organisatrices qui relatent régularité locale et profondeur à la géométrie globale : R_k impose l'absence de singularités en faible codimension, tandis que S_k contrôle la profondeur minimale requise en chaque point. Ensemble elles régulent le comportement attendu des faisceaux réflexifs, de la dualité et de la théorie des diviseurs. ## Démonstration Démonstration Exemple concret : un anneau noethérien avec des premiers associés embarqués peut échouer S_1 ou S_2 ; considérer une surface réductible dont l'anneau de coordonnées a profondeur 0 en une intersection, produisant une violation de S_2 et obstruant les énoncés de type Hartogs. Un exemple algébrique explicite est R = k[x,y,z]/(x,y)∩(x,z) dont les profondeurs locales révèlent une défaillance de S_k. ## Mauvaise application Mauvaise application Confondre R_k et S_k ou supposer que leur violation est visible topologiquement ; on en déduit parfois à tort une violation de S_k à partir de singularités apparentes sans vérifier la profondeur, ou on suppose que les conditions de Serre commutent avec tout changement de base, ce qui n'est pas vrai sans hypothèses. ## Conséquence Conséquence La violation d'une condition de Serre empêche l'utilisation des techniques de faisceaux réflexifs, affecte l'identification des diviseurs de Weil et de Cartier en codimension un, et compromet des énoncés de dualité (les hypothèses de la dualité de Grothendieck exigent souvent S_k). Elle autorise aussi des comportements pathologiques d'extension ou de restriction de sections. ## Inversion Inversion La satisfaction des conditions de Serre (R_k et S_k) assure le contrôle des singularités en faible codimension et une profondeur suffisante pour appliquer les théorèmes d'extension et de dualité ; par exemple S_2 est essentiel pour des propriétés de type Hartogs et pour le comportement attendu des faisceaux réflexifs. ## Limite Limite Ces conditions se formulent pour des anneaux et schémas noethériens ; les équivalences usuelles (par ex. lien avec la normalité) nécessitent des hypothèses noethériennes. Elles portent sur l'algèbre locale (profondeur, dimension) et n'affirment pas en elles-mêmes la lissité ou la réduction ; il faut vérifier le paramètre k et distinguer R_k de S_k. ## Tension sémantique Tension sémantique La tension vient de la différence entre R_k (condition de régularité en codimension) et S_k (condition de profondeur) : elles gouvernent des aspects distincts de la structure locale mais interagissent (le critère de Serre les relie à la normalité). On les confond parfois, ce qui masque l'obstruction locale réelle. ## Synthèse Synthèse Une Violation de la Condition de Serre signale un échec d'algèbre locale précis : soit la régularité en basse codimension échoue (R_k), soit la profondeur est insuffisante par rapport à la dimension locale (S_k). Ces échecs ont des conséquences directes sur la théorie des diviseurs, les faisceaux réflexifs et la dualité, et exigent un diagnostic par calculs locaux de profondeur et de codimension.