Welcome to MathOverflow

Question

2

1

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?

edited Aug 12 2011 at 20:55

asked Aug 12 2011 at 14:26

Hugo Chapdelaine
3,337●3●18

1

One only needs to assume that $n \neq n'$... – ulrich Aug 12 2011 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 2011 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 2011 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 2011 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 2011 at 18:49

show 11 more comments

ulrich · Accepted Answer · 2011-08-13 16:41:11Z UTC

2

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'$.

edited Aug 13 2011 at 16:41

answered Aug 13 2011 at 10:05

ulrich
6,760●1●13●23

	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 2011 at 12:08
	.... to accept. – Donu Arapura Aug 13 2011 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 2011 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 2011 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 2011 at 14:23

show 1 more comment

On morphisms of pure Hodge structures of decreasing weight

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.