Skip to main content

No, life is not so easy I'm afraid. For instance, the group $\mathrm{Ext}^1_{G_{\mathbf{Q}}}(\mathbf{Z}_\ell, \mathbf{Z}_\ell(n)) = H^1(\mathbf{Q}, \mathbf{Z}_\ell(n))$ has positive rank for all odd integers $n$, whatever the sign; this is easy to see from Tate's global Euler characteristic formula.

The point is that if you have two irreducible Galois representations $V_1, V_2$, and you know that $V_1$ and $V_2$ arise in geometry (as the realisations of motives $M_1, M_2$), then there are in general many more extensions of $V_1$ by $V_2$ in the category of Galois reps than there are extensions of $M_1$ by $M_2$ in the category of mixed motives.

But all is not lost: there is a beautiful and deep theory that seeks to characterise in terms of local properties at $\ell$ those extensions which extensions come from geometry. You might like to read Bloch and Kato's article in the Grothendieck Festschrift. The upshot is that for a geometric Galois representation $V$, one defines a group $H^1_\mathrm{f}(K, V) \subseteq H^1(K, V)$, which parametrises those extensions of the trivial rep by $V$ which are expected to arise in geometry. It is expected that $H^1_\mathrm{f}(\mathbf{Q}, V)$ is zero if the Hodge--Tate weights of $V$ are $\le -1$, and this is known for the representations $V = \mathbf{Q}_\ell(n)$ by a theorem of Soule.

No, life is not so easy I'm afraid. For instance, the group $\mathrm{Ext}^1_{G_{\mathbf{Q}}}(\mathbf{Z}_\ell, \mathbf{Z}_\ell(n)) = H^1(\mathbf{Q}, \mathbf{Z}_\ell(n))$ has positive rank for all odd integers $n$, whatever the sign; this is easy to see from Tate's global Euler characteristic formula.

The point is that if you have two irreducible Galois representations $V_1, V_2$, and you know that $V_1$ and $V_2$ arise in geometry (as the realisations of motives $M_1, M_2$), then there are in general many more extensions of $V_1$ by $V_2$ in the category of Galois reps than there are extensions of $M_1$ by $M_2$ in the category of mixed motives.

But all is not lost: there is a beautiful and deep theory that seeks to characterise in terms of local properties at $\ell$ those extensions which extensions come from geometry. You might like to read Bloch and Kato's article in the Grothendieck Festschrift. The upshot is that for a geometric Galois representation $V$, one defines a group $H^1_\mathrm{f}(K, V) \subseteq H^1(K, V)$, which parametrises those extensions of the trivial rep by $V$ which are expected to arise in geometry. It is expected that $H^1_\mathrm{f}(\mathbf{Q}, V)$ is zero if the Hodge--Tate weights of $V$ are $\le -1$, and this is known for the representations $V = \mathbf{Q}_\ell(n)$ by a theorem of Soule.

No, life is not so easy I'm afraid. For instance, the group $\mathrm{Ext}^1_{G_{\mathbf{Q}}}(\mathbf{Z}_\ell, \mathbf{Z}_\ell(n)) = H^1(\mathbf{Q}, \mathbf{Z}_\ell(n))$ has positive rank for all odd integers $n$, whatever the sign; this is easy to see from Tate's global Euler characteristic formula.

The point is that if you have two irreducible Galois representations $V_1, V_2$, and you know that $V_1$ and $V_2$ arise in geometry (as the realisations of motives $M_1, M_2$), then there are in general many more extensions of $V_1$ by $V_2$ in the category of Galois reps than there are extensions of $M_1$ by $M_2$ in the category of mixed motives.

But all is not lost: there is a beautiful and deep theory that seeks to characterise in terms of local properties at $\ell$ those extensions which come from geometry. You might like to read Bloch and Kato's article in the Grothendieck Festschrift. The upshot is that for a geometric Galois representation $V$, one defines a group $H^1_\mathrm{f}(K, V) \subseteq H^1(K, V)$, which parametrises those extensions of the trivial rep by $V$ which are expected to arise in geometry. It is expected that $H^1_\mathrm{f}(\mathbf{Q}, V)$ is zero if the Hodge--Tate weights of $V$ are $\le -1$, and this is known for the representations $V = \mathbf{Q}_\ell(n)$ by a theorem of Soule.

added 5 characters in body
Source Link
David Loeffler
  • 37k
  • 3
  • 89
  • 194

No, life is not so easy I'm afraid. For instance, the group $\mathrm{Ext}^1_{G_{\mathbf{Q}}}(\mathbf{Z}_\ell, \mathbf{Z}_\ell(n)) = H^1(\mathbf{Q}, \mathbf{Z}_\ell(n))$ has positive rank for all odd integers $n$, whatever the sign; this is easy to see from Tate's global Euler characteristic formula.

The point is that if you have two irreducible Galois representations $V_1, V_2$, and you know that $V_1$ and $V_2$ arise in geometry (as the realisations of motives $M_1, M_2$), then there are in general many more extensions of $V_1$ by $V_2$ in the category of Galois reps than there are extensions of $M_1$ by $M_2$ in the category of mixed motives.

But all is not lost: there is a beautiful and deep theory that seeks to characterise in terms of local properties at $\ell$ those extensions which extensions come from geometry. You might like to read Bloch and Kato's article in the Grothendieck Festschrift. The upshot is that for a geometric Galois representation $V$, one defines a group $H^1_\mathrm{f}(K, V) \subseteq H^1(K, V)$, which parametrises those extensions of the trivial rep by $V$ which are expected to arise in geometry. It is expected that $H^1_\mathrm{f}(\mathbf{Q}, V)$ is zero if the Hodge--Tate weights of $V$ are $\le -1$, and this is known for the representations $V = \mathbf{Q}(n)$$V = \mathbf{Q}_\ell(n)$ by a theorem of Soule.

No, life is not so easy I'm afraid. For instance, the group $\mathrm{Ext}^1_{G_{\mathbf{Q}}}(\mathbf{Z}_\ell, \mathbf{Z}_\ell(n)) = H^1(\mathbf{Q}, \mathbf{Z}_\ell(n))$ has positive rank for all odd integers $n$, whatever the sign; this is easy to see from Tate's global Euler characteristic formula.

The point is that if you have two irreducible Galois representations $V_1, V_2$, and you know that $V_1$ and $V_2$ arise in geometry (as the realisations of motives $M_1, M_2$), then there are in general many more extensions of $V_1$ by $V_2$ in the category of Galois reps than there are extensions of $M_1$ by $M_2$ in the category of mixed motives.

But all is not lost: there is a beautiful and deep theory that seeks to characterise in terms of local properties at $\ell$ those extensions which extensions come from geometry. You might like to read Bloch and Kato's article in the Grothendieck Festschrift. The upshot is that for a geometric Galois representation $V$, one defines a group $H^1_\mathrm{f}(K, V) \subseteq H^1(K, V)$, which parametrises those extensions of the trivial rep by $V$ which are expected to arise in geometry. It is expected that $H^1_\mathrm{f}(\mathbf{Q}, V)$ is zero if the Hodge--Tate weights of $V$ are $\le -1$, and this is known for the representations $V = \mathbf{Q}(n)$ by a theorem of Soule.

No, life is not so easy I'm afraid. For instance, the group $\mathrm{Ext}^1_{G_{\mathbf{Q}}}(\mathbf{Z}_\ell, \mathbf{Z}_\ell(n)) = H^1(\mathbf{Q}, \mathbf{Z}_\ell(n))$ has positive rank for all odd integers $n$, whatever the sign; this is easy to see from Tate's global Euler characteristic formula.

The point is that if you have two irreducible Galois representations $V_1, V_2$, and you know that $V_1$ and $V_2$ arise in geometry (as the realisations of motives $M_1, M_2$), then there are in general many more extensions of $V_1$ by $V_2$ in the category of Galois reps than there are extensions of $M_1$ by $M_2$ in the category of mixed motives.

But all is not lost: there is a beautiful and deep theory that seeks to characterise in terms of local properties at $\ell$ those extensions which extensions come from geometry. You might like to read Bloch and Kato's article in the Grothendieck Festschrift. The upshot is that for a geometric Galois representation $V$, one defines a group $H^1_\mathrm{f}(K, V) \subseteq H^1(K, V)$, which parametrises those extensions of the trivial rep by $V$ which are expected to arise in geometry. It is expected that $H^1_\mathrm{f}(\mathbf{Q}, V)$ is zero if the Hodge--Tate weights of $V$ are $\le -1$, and this is known for the representations $V = \mathbf{Q}_\ell(n)$ by a theorem of Soule.

Source Link
David Loeffler
  • 37k
  • 3
  • 89
  • 194

No, life is not so easy I'm afraid. For instance, the group $\mathrm{Ext}^1_{G_{\mathbf{Q}}}(\mathbf{Z}_\ell, \mathbf{Z}_\ell(n)) = H^1(\mathbf{Q}, \mathbf{Z}_\ell(n))$ has positive rank for all odd integers $n$, whatever the sign; this is easy to see from Tate's global Euler characteristic formula.

The point is that if you have two irreducible Galois representations $V_1, V_2$, and you know that $V_1$ and $V_2$ arise in geometry (as the realisations of motives $M_1, M_2$), then there are in general many more extensions of $V_1$ by $V_2$ in the category of Galois reps than there are extensions of $M_1$ by $M_2$ in the category of mixed motives.

But all is not lost: there is a beautiful and deep theory that seeks to characterise in terms of local properties at $\ell$ those extensions which extensions come from geometry. You might like to read Bloch and Kato's article in the Grothendieck Festschrift. The upshot is that for a geometric Galois representation $V$, one defines a group $H^1_\mathrm{f}(K, V) \subseteq H^1(K, V)$, which parametrises those extensions of the trivial rep by $V$ which are expected to arise in geometry. It is expected that $H^1_\mathrm{f}(\mathbf{Q}, V)$ is zero if the Hodge--Tate weights of $V$ are $\le -1$, and this is known for the representations $V = \mathbf{Q}(n)$ by a theorem of Soule.