Una equivalencia entre categorías derivadas (típicamente categorías derivadas acotadas o no acotadas de contextos abelianos o graduados diferenciales) que identifica objetos y morfismos hasta quasi-isomorfismo y preserva la estructura triangulada, igualando así el comportamiento homológico entre diferentes entornos.

Principio

La equivalencia derivada afirma que dos contextos comparten la misma información derivada (homológica): complejos, cohomología y triángulos distinguibles corresponden mediante una equivalencia exacta de categorías trianguladas (a menudo inducida por un complejo o objeto de tilting).

Demostración

Ejemplo: dos álgebras A y B son equivalentes derivadas si existe un complejo de tilting T sobre A cuyo álgebra de endomorfismos es quasi-isomorfa a B, induciendo una equivalencia D^b(A-mod) ≅ D^b(B-mod) que preserva grupos Ext e invariantes derivados.

Aplicación incorrecta

Confundir la equivalencia derivada con la equivalencia de Morita de categorías de módulos (más fuerte) o suponer que una equivalencia de categorías abelianas implica equivalencia derivada sin comprobar el comportamiento a nivel derivado; ignorar la necesidad de datos dg o mejoras para una equivalencia bien comportada.

Consecuencia

La equivalencia derivada preserva una amplia gama de invariantes homológicos (álgebras Ext, cohomología de Hochschild hasta transformaciones sutiles, muchos invariantes numéricos) y permite transferir teorías de deformación y obstrucción entre contextos.

Inversión

La inversión contrapone la equivalencia derivada a la mera similitud de grupos de cohomología individuales: coincidir en grupos de cohomología en grados dados no basta si las estructuras de extensiones y trianguladas difieren.

Límite

La equivalencia derivada es una afirmación sobre categorías derivadas (trianguladas o mejoradas) y exige control sobre quasi-isomorfismos y mejoras; excluye coincidencias en el nivel abeliano bruto y puede fallar cuando las estructuras dg o las mejoras ∞ difieren.

Tensión semántica

La equivalencia derivada compite con la equivalencia de Morita y con invariantes más simples: la equivalencia de Morita implica equivalencia de categorías de módulos pero no siempre equivalencia derivada en el mismo sentido, mientras que la equivalencia derivada es más débil que el isomorfismo de álgebras pero más fuerte que la mera coincidencia de cohomologías.

Síntesis

Una equivalencia derivada identifica dos contextos matemáticos a nivel homológico: una equivalencia exacta de categorías derivadas alinea complejos, triángulos y estructuras Ext de modo que los cálculos homológicos y los fenómenos de deformación correspondan entre los contextos.