Un invariante reg(M) de un módulo graduado finitamente generado M sobre un anillo polinómico (o álgebra estándar graduada) que mide el mayor grado en el que ciertos módulos de cohomología local o de syzigías no se anulan; equivalente al máximo j−i con número de Betti graduado β_{i,j}(M) no nulo.

Principio

Control de la complejidad: la regularidad acota los grados necesarios para generar M y sus syzigías y por tanto gobierna cuándo se anula la cohomología y cuándo la función de Hilbert coincide con el polinomio de Hilbert; encapsula la interacción entre índice homológico y grado interno.

Demostración

Para un ideal homogéneo I en k[x0,...,xr], la regularidad del cociente mide el mayor desplazamiento en una resolución libre mínima graduada; para una intersección completa generada por formas de grados d1,...,dk la regularidad es Σ di − k en casos estándar, reflejando grados de syzigías previsibles.

Aplicación incorrecta

Interpretar una regularidad baja como implicación de suavidad proyectiva o simplicidad geométrica sin verificaciones adicionales, o aplicar la definición graduada sin cambios a módulos locales no graduados donde la noción requiere adaptación.

Consecuencia

Una regularidad de Castelnuovo–Mumford finita y pequeña proporciona cotas efectivas: limita los grados de los generadores, asegura la anulación de cohomología superior de los haces asociados tras giros, y da garantías de terminación algorítmica en cálculos como bases de Gröbner y construcción de resoluciones.

Inversión

Centrarse en la dimensión proyectiva u otras medidas homológicas en lugar de la regularidad enfatiza la longitud mínima de las resoluciones más que el crecimiento en grado de las syzigías; esta inversión cambia el enfoque de cotas de grado a la longitud de la resolución.

Límite

Definida principalmente para módulos graduados finitamente generados sobre álgebras estándar graduadas (habitualmente anillos polinómicos) y para haces coherentes en espacio proyectivo; hay que tener cuidado en contextos de multigraduación, graduaciones no estándar o no noetherianos, donde el invariante puede comportarse de forma distinta.

Tensión semántica

Existe tensión entre regularidad y dimensión proyectiva: un módulo puede tener baja regularidad pero gran dimensión proyectiva o viceversa; igualmente, la regularidad de un haz y de un módulo debe compararse con cuidado pues los desplazamientos y giros cambian los valores numéricos.

Síntesis

La regularidad de Castelnuovo–Mumford es el regulador numérico de la complejidad graduada: al seguir la mayor combinación grado–índice donde surgen obstrucciones homológicas o cohomológicas, ofrece cotas prácticas para generación, syzigías y teoremas de anulación que enlazan el comportamiento algebraico y geométrico.