Digamos que $K\bullet$ es un complejo acotado de haces vectoriales. Parece que quiero que el determinante de $K\bullet$ sea el producto tensorial alterno de los términos del complejo:
$\det(K) = \bigotimes_n \det(K_n)^{(-1)^n}$.
¿Hay alguna razón por la que esta es la definición correcta (o la definición incorrecta)? ¿Hay una mejor definición?
Es un teorema de Deligne que esta es esencialmente la única fórmula posible si se pide que el funtor determinante satisfaga algunas propiedades naturales (principalmente det tiene que ser compatible con secuencias exactas). Vea estas diapositivas de Fernando Muro, por ejemplo.
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.
