## [Complejo de Čech](/es/node/63947) Definición Un complejo de cocadenas construido a partir de localizaciones en una familia de elementos (o una cubierta por abiertos principales) cuya cohomología calcula la cohomología local y los invariantes derivados de localización para módulos o haces. ## Principio Principio Ensamblar secciones sobre intersecciones de abiertos principales (o localizaciones iteradas) en un complejo de cocadenas alternado; límites derivados y sistemas directos codifican torsión y condiciones de soporte mediante la cohomología de Čech. ## Demostración Demostración Para un anillo R, un ideal I generado por f1,...,fn y un R-módulo M, el complejo de Čech Č(f1,...,fn;M) se forma a partir de las localizaciones M_{f_i}, M_{f_i f_j}, ...; su cohomología da H^i_I(M), la cohomología local con soporte en V(I). ## Aplicación incorrecta Aplicación incorrecta Usar el complejo de Čech sin más como una resolución global sin comprobar la aciclicidad de la cubierta o la convergencia de límites directos, o asumir que su cohomología coincide con la cohomología de haces para cubiertas no afines sin verificar hipótesis. ## Consecuencia Consecuencia Usado correctamente, el complejo de Čech calcula cohomología local, detecta fenómenos de soporte y torsión, y proporciona descripciones concretas de los fonctores de localización derivados y de secuencias tipo Mayer–Vietoris. ## Inversión Inversión En contraste con resoluciones algebraicas finitas como los complejos de Koszul, la perspectiva de Čech enfatiza la localización y los límites derivados; invertir la noción resalta modelos algebraicos finitos en lugar de construcciones por sistemas inversos/directos. ## Límite Límite Se aplica principalmente a localizaciones a lo largo de familias finitas de elementos o cubiertas afines principales; puede no ser finito o converger sin hipótesis de noetherianidad o acotamiento y no sustituye la maquinaria de fonctores derivados globales en contextos geométricos arbitrarios. ## Tensión semántica Tensión semántica El complejo de Čech está próximo tanto a la cohomología por cubiertas en teoría de haces como a las construcciones algebraicas de localización; la tensión viene de su papel como herramienta de cálculo para cohomología local y como modelo aproximado de fonctores derivados globales que requieren hipótesis adicionales. ## Síntesis Síntesis El complejo de Čech es el complejo de cocadenas alternado construido a partir de localizaciones a lo largo de una familia de elementos que encapsula información de soporte y torsión, calcula la cohomología local y sirve como herramienta de cálculo basada en localización cuando se cumplen condiciones de aciclicidad y convergencia.