Skip to main content
Post Made Community Wiki by Bombyx mori
deleted 9 characters in body
Source Link
Bombyx mori
  • 6.2k
  • 3
  • 34
  • 57

Recall that Serre duality says that $H^{0}(X,F)\cong H^{1}(X, K\otimes F^{*})^{*}$. So the determinant of cohomology just follows from this. However we do need slightly more machinery than Serre duality, as the determinant of cohomology is defined in a relative setting ($X\rightarrow S$). In our case $S$ is affine, so Hartshorne Proposition 8.5 is suffice, which says if $X$ is Noetherian and $Y$ affine, then $R^{i}f_{*}(\mathcal{F})\cong \widetilde{H^{i}(X,\mathcal{F})}$ for any quasi-coherent $\mathcal{F}$ on $X$. Together with Serre duality this then gives you back what you wanted.

A good reference on determinant of cohomology is

Arbarello/Cornalba/Griffiths: "Geometry of algebraic curves II"

Chapter 8, which was mentioned byI learned from Robert Wilms already invia his answer.

Recall that Serre duality says that $H^{0}(X,F)\cong H^{1}(X, K\otimes F^{*})^{*}$. So the determinant of cohomology just follows from this. However we do need slightly more machinery than Serre duality, as the determinant of cohomology is defined in a relative setting ($X\rightarrow S$). In our case $S$ is affine, so Hartshorne Proposition 8.5 is suffice, which says if $X$ is Noetherian and $Y$ affine, then $R^{i}f_{*}(\mathcal{F})\cong \widetilde{H^{i}(X,\mathcal{F})}$ for any quasi-coherent $\mathcal{F}$ on $X$. Together with Serre duality this then gives you back what you wanted.

A good reference on determinant of cohomology is

Arbarello/Cornalba/Griffiths: "Geometry of algebraic curves II"

Chapter 8, which was mentioned by Robert Wilms already in his answer.

Recall that Serre duality says that $H^{0}(X,F)\cong H^{1}(X, K\otimes F^{*})^{*}$. So the determinant of cohomology just follows from this. However we do need slightly more machinery than Serre duality, as the determinant of cohomology is defined in a relative setting ($X\rightarrow S$). In our case $S$ is affine, so Hartshorne Proposition 8.5 is suffice, which says if $X$ is Noetherian and $Y$ affine, then $R^{i}f_{*}(\mathcal{F})\cong \widetilde{H^{i}(X,\mathcal{F})}$ for any quasi-coherent $\mathcal{F}$ on $X$. Together with Serre duality this then gives you back what you wanted.

A good reference on determinant of cohomology is

Arbarello/Cornalba/Griffiths: "Geometry of algebraic curves II"

Chapter 8, which I learned from Robert Wilms via his answer.

deleted 178 characters in body
Source Link
Bombyx mori
  • 6.2k
  • 3
  • 34
  • 57

Recall that Serre duality says that $H^{0}(X,F)\cong H^{1}(X, K\otimes F^{*})^{*}$. So the determinant of cohomology just follows from this. However we do need slightly more machinery than Serre duality, as the determinant of cohomology is defined in a relative setting ($X\rightarrow S$). In our case $S$ is affine, so Hartshorne Proposition 8.5 is suffice, which says if $X$ is Noetherian and $Y$ affine, then $R^{i}f_{*}(\mathcal{F})\cong \widetilde{H^{i}(X,\mathcal{F})}$ for any quasi-coherent $\mathcal{F}$ on $X$. Together with Serre duality this then gives you back what you wanted.

A good reference on determinant of cohomology is

Arbarello/Cornalba/Griffiths: "Geometry of algebraic curves II"

Chapter 8, which was mentioned by Robert Wilms already in his answer. If you are reading Robin De Jong's thesis, note there is a computational typo in the section on Deligne pairing. The thesis is well written and I learned a lot by reading it.

Recall that Serre duality says that $H^{0}(X,F)\cong H^{1}(X, K\otimes F^{*})^{*}$. So the determinant of cohomology just follows from this. However we do need slightly more machinery than Serre duality, as the determinant of cohomology is defined in a relative setting ($X\rightarrow S$). In our case $S$ is affine, so Hartshorne Proposition 8.5 is suffice, which says if $X$ is Noetherian and $Y$ affine, then $R^{i}f_{*}(\mathcal{F})\cong \widetilde{H^{i}(X,\mathcal{F})}$ for any quasi-coherent $\mathcal{F}$ on $X$. Together with Serre duality this then gives you back what you wanted.

A good reference on determinant of cohomology is

Arbarello/Cornalba/Griffiths: "Geometry of algebraic curves II"

Chapter 8, which was mentioned by Robert Wilms already in his answer. If you are reading Robin De Jong's thesis, note there is a computational typo in the section on Deligne pairing. The thesis is well written and I learned a lot by reading it.

Recall that Serre duality says that $H^{0}(X,F)\cong H^{1}(X, K\otimes F^{*})^{*}$. So the determinant of cohomology just follows from this. However we do need slightly more machinery than Serre duality, as the determinant of cohomology is defined in a relative setting ($X\rightarrow S$). In our case $S$ is affine, so Hartshorne Proposition 8.5 is suffice, which says if $X$ is Noetherian and $Y$ affine, then $R^{i}f_{*}(\mathcal{F})\cong \widetilde{H^{i}(X,\mathcal{F})}$ for any quasi-coherent $\mathcal{F}$ on $X$. Together with Serre duality this then gives you back what you wanted.

A good reference on determinant of cohomology is

Arbarello/Cornalba/Griffiths: "Geometry of algebraic curves II"

Chapter 8, which was mentioned by Robert Wilms already in his answer.

Source Link
Bombyx mori
  • 6.2k
  • 3
  • 34
  • 57

Recall that Serre duality says that $H^{0}(X,F)\cong H^{1}(X, K\otimes F^{*})^{*}$. So the determinant of cohomology just follows from this. However we do need slightly more machinery than Serre duality, as the determinant of cohomology is defined in a relative setting ($X\rightarrow S$). In our case $S$ is affine, so Hartshorne Proposition 8.5 is suffice, which says if $X$ is Noetherian and $Y$ affine, then $R^{i}f_{*}(\mathcal{F})\cong \widetilde{H^{i}(X,\mathcal{F})}$ for any quasi-coherent $\mathcal{F}$ on $X$. Together with Serre duality this then gives you back what you wanted.

A good reference on determinant of cohomology is

Arbarello/Cornalba/Griffiths: "Geometry of algebraic curves II"

Chapter 8, which was mentioned by Robert Wilms already in his answer. If you are reading Robin De Jong's thesis, note there is a computational typo in the section on Deligne pairing. The thesis is well written and I learned a lot by reading it.