Skip to main content
Capitalise title, while this is on the front page
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

determinant Determinant of a perfect complex

Say $K_\bullet$ is a bounded complex of vector bundles. I seem to want the determinant of $K_\bullet$ to be the alternating tensor product of the terms of the complex:

$\det(K) = \bigotimes_n \det(K_n)^{(-1)^n}$.$$\det(K) = \bigotimes_n \det(K_n)^{(-1)^n}.$$

Is there a reason why this is the right definition (or the wrong definition)? Is there a better definition?

determinant of a perfect complex

Say $K_\bullet$ is a bounded complex of vector bundles. I seem to want the determinant of $K_\bullet$ to be the alternating tensor product of the terms of the complex:

$\det(K) = \bigotimes_n \det(K_n)^{(-1)^n}$.

Is there a reason why this is the right definition (or the wrong definition)? Is there a better definition?

Determinant of a perfect complex

Say $K_\bullet$ is a bounded complex of vector bundles. I seem to want the determinant of $K_\bullet$ to be the alternating tensor product of the terms of the complex:

$$\det(K) = \bigotimes_n \det(K_n)^{(-1)^n}.$$

Is there a reason why this is the right definition (or the wrong definition)? Is there a better definition?

Source Link
Jonathan Wise
  • 8k
  • 1
  • 47
  • 53

determinant of a perfect complex

Say $K_\bullet$ is a bounded complex of vector bundles. I seem to want the determinant of $K_\bullet$ to be the alternating tensor product of the terms of the complex:

$\det(K) = \bigotimes_n \det(K_n)^{(-1)^n}$.

Is there a reason why this is the right definition (or the wrong definition)? Is there a better definition?