## [Violación de la Condición de Serre](/es/node/63688) Definición Una situación en la que un anillo o esquema noetheriano no satisface una de las condiciones de Serre R_k (regular en codimensión k) o S_k (profundidad al menos min(k, dimensión local)), indicando defectos en regularidad o en propiedades tipo profundidad que controlan extensión, dualidad y comportamiento de divisores. ## Principio Principio Las condiciones de Serre son restricciones organizadoras que relacionan la regularidad local y la profundidad con la geometría global: R_k impone que no haya singularidades en baja codimensión, mientras que S_k controla la profundidad mínima exigida en los puntos. Conjuntamente regulan cuándo se comportan como se espera los haces reflexivos, la dualidad y la teoría de divisores. ## Demostración Demostración Ejemplo concreto: un anillo noetheriano con primos asociados embebidos puede fallar S_1 o S_2; considere una superficie reducible cuyo anillo de coordenadas tiene profundidad 0 en una intersección, produciendo una violación de S_2 y obstaculizando afirmaciones tipo Hartogs. Un ejemplo explícito es R = k[x,y,z]/(x,y)∩(x,z), cuyas profundidades locales muestran una falla de S_k. ## Aplicación incorrecta Aplicación incorrecta Tratar R_k y S_k como intercambiables o asumir que su fallo es visible topológicamente; a veces se deduce erróneamente la violación de S_k a partir de singularidades aparentes sin comprobar la profundidad, o se supone que las condiciones de Serre conmutan con cualquier cambio de base, lo cual no es cierto en general sin hipótesis. ## Consecuencia Consecuencia Violar una condición de Serre rompe la aplicabilidad de técnicas de haces reflexivos, afecta la identificación entre divisores de Weil y Cartier en codimensión uno, y compromete afirmaciones de dualidad (la dualidad de Grothendieck suele requerir S_k). También permite comportamientos patológicos de extensión o restricción de secciones. ## Inversión Inversión Satisfacer las condiciones de Serre (R_k y S_k) asegura control sobre singularidades en baja codimensión y profundidad suficiente para aplicar teoremas de dualidad y extensión; por ejemplo, S_2 es esencial para propiedades tipo Hartogs y para el comportamiento esperado de los haces reflexivos. ## Límite Límite Estas condiciones se formulan para anillos y esquemas noetherianos; las equivalencias estándar (por ejemplo, la relación con la normalidad) requieren hipótesis noetherianas. Se ocupan de álgebra local (profundidad, dimensión) y no afirman por sí solas liso o reducido; hay que comprobar el parámetro k y distinguir R_k de S_k. ## Tensión semántica Tensión semántica La tensión está entre R_k (condición de regularidad en codimensión) y S_k (condición de profundidad): gobiernan aspectos distintos de la estructura local pero interactúan (el criterio de Serre las relaciona con la normalidad). A veces se confunde el fallo de una con el de la otra, enmascarando la obstrucción local real. ## Síntesis Síntesis Una Violación de la Condición de Serre señala un fallo concreto de álgebra local: o bien falla la regularidad en baja codimensión (R_k), o la profundidad es demasiado pequeña en relación con la dimensión local (S_k). Tales fallos tienen consecuencias directas para la teoría de divisores, los haces reflexivos y la dualidad, y requieren diagnóstico mediante cálculos locales de profundidad y codimensión.