Skip to main content
added 192 characters in body
Source Link
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

[EDIT] In view of the latest edit to the question this is no longer an answer. However, I will not delete it as I think it contributed to the revision of the question, so it should be part of the record.


If $D\in\mathrm{Pic}\\, X$, in fact if $D$ is any sheaf on $X$ and $f:X\to Y$ is a continuous map, then for any $V\subseteq Y$ open $H^0(V,f_*D):=H^0(f^{-1}V,D)$ by definition, so in particular $H^0(Y,f_*D):=H^0(X,D)$ and you don't need any of the assumptions.

Am I missing something???

If $D\in\mathrm{Pic}\\, X$, in fact if $D$ is any sheaf on $X$ and $f:X\to Y$ is a continuous map, then for any $V\subseteq Y$ open $H^0(V,f_*D):=H^0(f^{-1}V,D)$ by definition, so in particular $H^0(Y,f_*D):=H^0(X,D)$ and you don't need any of the assumptions.

Am I missing something???

[EDIT] In view of the latest edit to the question this is no longer an answer. However, I will not delete it as I think it contributed to the revision of the question, so it should be part of the record.


If $D\in\mathrm{Pic}\\, X$, in fact if $D$ is any sheaf on $X$ and $f:X\to Y$ is a continuous map, then for any $V\subseteq Y$ open $H^0(V,f_*D):=H^0(f^{-1}V,D)$ by definition, so in particular $H^0(Y,f_*D):=H^0(X,D)$ and you don't need any of the assumptions.

added 3 characters in body
Source Link
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

If $D\in\mathrm{Pic}\\, X$, in fact if $D$ is any sheaf on $X$ and $f:X\to Y$ is a continuous map, then for any $V\subseteq Y$ open $H^0(V,f_*D):=H^0(f^{-1}V,D)$ by definition, so in particular $H^0(Y,f_*D):=H^0(X,D)$ and you don't need any of the assumptions. 

Am I missing something???

If $D\in\mathrm{Pic}\\, X$, in fact if $D$ is any sheaf on $X$ and $f:X\to Y$ is a continuous map, then for any $V\subseteq Y$ open $H^0(V,f_*D):=H^0(f^{-1}V,D)$ by definition, so in particular $H^0(Y,f_*D):=H^0(X,D)$ and you don't need any of the assumptions. Am I missing something???

If $D\in\mathrm{Pic}\\, X$, in fact if $D$ is any sheaf on $X$ and $f:X\to Y$ is a continuous map, then for any $V\subseteq Y$ open $H^0(V,f_*D):=H^0(f^{-1}V,D)$ by definition, so in particular $H^0(Y,f_*D):=H^0(X,D)$ and you don't need any of the assumptions. 

Am I missing something???

added 46 characters in body
Source Link
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

If $D\in\mathrm{Pic}\\, X$, in fact if $D$ is any sheaf on $X$ and $f:X\to Y$ is a morphismcontinuous map, then for any $V\subseteq Y$ open $H^0(V,f_*D):=H^0(f^{-1}V,D)$ by definition, so in particular $H^0(Y,f_*D):=H^0(X,D)$ and you don't need any of the assumptions. Am I missing something???

If $D\in\mathrm{Pic}\\, X$ and $f:X\to Y$ is a morphism, then for any $V\subseteq Y$ open $H^0(V,f_*D):=H^0(f^{-1}V,D)$ by definition, so in particular $H^0(Y,f_*D):=H^0(X,D)$ and you don't need any of the assumptions. Am I missing something???

If $D\in\mathrm{Pic}\\, X$, in fact if $D$ is any sheaf on $X$ and $f:X\to Y$ is a continuous map, then for any $V\subseteq Y$ open $H^0(V,f_*D):=H^0(f^{-1}V,D)$ by definition, so in particular $H^0(Y,f_*D):=H^0(X,D)$ and you don't need any of the assumptions. Am I missing something???

Source Link
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155
Loading