Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
So in my question I'm only asking for a morphism of Hodge structure. My point is that a map which respects the torus action seems to be stronger than a map which only respects the filtration.
So going back to my example we find that $F^k H_{C}=C$ if $k\leq 0$ and $0$ if $k>0$. Similarly we find that $H_{\mathbf{C}}'=\mathbf{C}$ if $k\leq 1$ and $0$ if $k>1$. Therefore for all $k$ we have that $F^k H_{\mathbf{C}}\subseteq F^k H_{\mathbf{C}}'$.
Well may be I'm confused but take $H_{Q}=Q$ and $H_{Q}'=Q$ with the identity map $\iota: H_Q\rightarrow H_{Q'}$. If you place $H_Q$ in degree $(0,0)$ and $H_{Q}'$ in degree $(1,1)$ then this respects the Hodge filtration, isn't ?
Well I have a counter-example to what you said take $H_{\mathbf{C}}=\mathbf{C}$ place in degree $(0,0)$ and take $H_{\mathbf{C}}=\mathbf{C}$ place in degree $(1,1)$.
Well, if you use Hironaka's desingularization theorem then I guess that you can express (using the Leray spectral sequence) the cohomology of $Y$ in terms of the cohomology of a compactification of $Y$ and of the normal crossing divisors. Is it what you have in mind ?
Hi Pete, I guess that I had to reprove for myself that if $D$ (a divisor defined over $K$) has degree $1$ on a rational curve then necessarily it is equivalent to an effective divisor of degree $1$ defined over $K$ was not completely obvious to me, but I agree that it is fairly straightforward once you think about it.