Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $H_{\mathbf{Q}}$ and $H_{\mathbf{Q}}^'$ be two pure Hodge structures of weight $n$ and $n'$ respectively. How do you prove the following simple fact:

fact: If $n>n'$ and $f:H_{\mathbf{Q}}\rightarrow H_{\mathbf{Q}}^'$ is a morphism which respects the filtrations over $\mathbf{C}$, then $f=0$.

I don't quite see how to use the assumption $n>n'$...

added

My original question was related to the fact that asking the morphism to be compatible with the torus action seems to be a stronger condition that only asking for the filtration to be preserved. And I guess that in general this is all you can say. This reflexion was motivated by Deligne Scholie 5.1 in Hodge 1 which says the following:

Scholie 5.1 Soit $H$ et $H'$ des structures de Hodge de poids $n$ et $n'$ avec $n>n'$.Soit $f:H_{Q}\rightarrow H_Q'$ un morphisme tel que $f:H_C\rightarrow H_C'$ respecte $F$. Alors $f=0$.

Q: So how should I interpret Scholie 5.1?

share|improve this question
1  
One only needs to assume that $n \neq n'$... –  ulrich Aug 12 '11 at 14:30
1  
It's easier if you think that a weight HS has a bigrading $H\otimes \C$ with $\bar H^{pq}=H^{qp}$ and $p+q=n$. Since morphisms must preserve this, they would vanish for different weights. There is a lemma to be proved about the equivalence of this notion with representations of Deligne's torus, but it's not difficult. –  Donu Arapura Aug 12 '11 at 15:03
    
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)$. –  Hugo Chapdelaine Aug 12 '11 at 15:05
1  
I claim that there are no nonzero morphisms (= $\mathbb{Q}$-linear filtered maps) from $\mathbb{Q}$ and the Tate twist $\mathbb{Q}(-1)$ (your example). But I'm afraid I'm going to have to leave this to you. –  Donu Arapura Aug 12 '11 at 16:06
2  
I hadn't read that before. Scholie 5.1 is baffling to me as well, since a few lines up, Deligne makes a stronger statement "si $f:H\to H'$ un morphisme de structures de Hodge mixte pures de poids différents, alors $f$ torsion." If you figure it out, let us know. –  Donu Arapura Aug 12 '11 at 18:49
show 11 more comments

1 Answer

up vote 2 down vote accepted

Here is a proof of the Scholie:

For a pure Hodge structure $H$ of weight $n$ we have $H_{\mathbb{C}} = \oplus_{p+q=n} H^{p,q}$ where we have $H^{p,q} := F^p \cap \bar{F}^q$. The key point is that $H^{p,q}$ as defined above is $0$ if $p+q > n$ (but not if $p+q < n$). This is because for a pure Hodge structure of weight $n$ we have $F^p = \oplus_{p' \geq p, p' +q' = n} H^{p',q'}$ and $\bar{F}^q = \oplus_{q' \geq q, p' + q' = n} H^{p',q'}$.

The Scholie now follows easily: It suffices to prove that $f(H^{p,q}) = 0$ for all $p+q = n$. Since $f$ is defined over $\mathbb{Q}$, $f(H^{p,q}) \subset H'^{p,q}$ and the latter is $0$ if $n > n'$.

share|improve this answer
    
Yes, that's it. I somehow mislead myself into believing that filtered $\mathbb{Q}$-linear maps between pure Hodge structures are morphisms, but this only true if the weights are the same. Sometimes the obvious interpretation is the hardest. –  Donu Arapura Aug 13 '11 at 12:08
    
.... to accept. –  Donu Arapura Aug 13 '11 at 12:10
    
But Ulrich I'm confused, you only seem to use the fact that $n\neq n'$ and moreover what about my counterexample –  Hugo Chapdelaine Aug 13 '11 at 14:06
    
You have $f(F^P H)\subseteq F^p H'$ but I don't quite see how you get from that $f(H^{p,q})\subseteq H'^{p,q}$. In fact my counterexample shows that it is wrong, isn't? –  Hugo Chapdelaine Aug 13 '11 at 14:08
    
Since $f$ is defined over $\mathbb{Q}$ (so commutes with complex conjugation) one also gets $f(\bar{F}^qH) \subset \bar{F}^q H'$. Your counterexample doesn't apply here since the conclusion uses $n > n'$. –  ulrich Aug 13 '11 at 14:23
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.