2 votos

Categoría de homotopía de complejos en cadena y un ejemplo de complejo nulo

Dejemos que $\mathcal{A}=A\text{-mod}$ sea una categoría abeliana, donde $A$ sea un álgebra de dimensión finita sobre un campo algebraicamente cerrado. Sea $K(\mathcal{A})$ sea una categoría cuyos objetos son complejos en $\mathcal{A}$ y cuyos morfismos son clases de equivalencia homotópica de morfismos de complejos.

Dejemos que $P^\bullet \in K^- (A\text{-proj})$ con $$ H^j(P^\bullet)=\frac{\ker \; d_{P^\bullet}^j}{\operatorname{im} d_{P^\bullet}^{j-1}} = 0 \text{ for } j\leq-(n+1). $$ Tenemos una secuencia exacta de complejos: enter image description here

Supongamos que $\operatorname{coker} d^{-(n+1)}$ proyectiva, tenemos $\operatorname{im} d^{-(n+1)}$ proyectiva por complejos de secuencias exactas anteriores.

¿Por qué el complejo $\widetilde{P^\bullet}$ cero en $K^- (A\text{-proj})$ ?

2voto

Sky Puntos 115

Hay una proposición: Si $A$ es una categoría abeliana con suficiente proyección, entonces $ D^-(A)\cong K^-(A-proj)$ .

Si sabes esto,tu búsqueda no es difícil.Porque el complejo que das es acíclico.Por supuesto,puedes demostrarlo directamente.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X