Is every 3-dim self-dual Galois representation a symmetic square of 2-dim representation?
Clash Royale CLAN TAG#URR8PPP
up vote
3
down vote
favorite
Basically, my question as in the title. Here the Galois representation I consider is an $ell$-adic Galois representation (comes from geometry). And by the word "self-dual" I mean that representation is isomorphic to its dual representation (transpose inverse in language of matrix) up to a Tate twist.
If the answer is positive, please let me know the idea or reference. If the answer is negative, I am wondering if there is any extra condition(s) to make my statement to be true?
Thanks
nt.number-theory galois-representations
New contributor
add a comment |Â
up vote
3
down vote
favorite
Basically, my question as in the title. Here the Galois representation I consider is an $ell$-adic Galois representation (comes from geometry). And by the word "self-dual" I mean that representation is isomorphic to its dual representation (transpose inverse in language of matrix) up to a Tate twist.
If the answer is positive, please let me know the idea or reference. If the answer is negative, I am wondering if there is any extra condition(s) to make my statement to be true?
Thanks
nt.number-theory galois-representations
New contributor
add a comment |Â
up vote
3
down vote
favorite
up vote
3
down vote
favorite
Basically, my question as in the title. Here the Galois representation I consider is an $ell$-adic Galois representation (comes from geometry). And by the word "self-dual" I mean that representation is isomorphic to its dual representation (transpose inverse in language of matrix) up to a Tate twist.
If the answer is positive, please let me know the idea or reference. If the answer is negative, I am wondering if there is any extra condition(s) to make my statement to be true?
Thanks
nt.number-theory galois-representations
New contributor
Basically, my question as in the title. Here the Galois representation I consider is an $ell$-adic Galois representation (comes from geometry). And by the word "self-dual" I mean that representation is isomorphic to its dual representation (transpose inverse in language of matrix) up to a Tate twist.
If the answer is positive, please let me know the idea or reference. If the answer is negative, I am wondering if there is any extra condition(s) to make my statement to be true?
Thanks
nt.number-theory galois-representations
nt.number-theory galois-representations
New contributor
New contributor
New contributor
asked 4 hours ago
Leo D
161
161
New contributor
New contributor
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
2
down vote
I'm not sure how to define "comes from geometry" precisely, but how about the following counterexample: Let $K$ be a quadratic imaginary extension of $mathbbQ$. Let $V$ be the three dimensional representation where the nontrivial element of $mathrmGal(K/mathbbQ)$ acts by $mathrmdiag(-1,1,-1)$. We claim that $V$ cannot be $mathrmSym(W)$ for a two dimensional Galois representation $W$.
Let $sigma$ denote complex conjugation in $mathrmGal(overlinemathbbQ/mathbbQ)$. Then $sigma$ acts on $V$ with eigenvalues $(-1,1,-1)$, so it would have to act on $W$ with eigenvalues $pm i$. But $sigma$ has order $2$ in $mathrmGal(overlinemathbbQ/mathbbQ)$, so it cannot act with eigenvalues other than $pm 1$.
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
I'm not sure how to define "comes from geometry" precisely, but how about the following counterexample: Let $K$ be a quadratic imaginary extension of $mathbbQ$. Let $V$ be the three dimensional representation where the nontrivial element of $mathrmGal(K/mathbbQ)$ acts by $mathrmdiag(-1,1,-1)$. We claim that $V$ cannot be $mathrmSym(W)$ for a two dimensional Galois representation $W$.
Let $sigma$ denote complex conjugation in $mathrmGal(overlinemathbbQ/mathbbQ)$. Then $sigma$ acts on $V$ with eigenvalues $(-1,1,-1)$, so it would have to act on $W$ with eigenvalues $pm i$. But $sigma$ has order $2$ in $mathrmGal(overlinemathbbQ/mathbbQ)$, so it cannot act with eigenvalues other than $pm 1$.
add a comment |Â
up vote
2
down vote
I'm not sure how to define "comes from geometry" precisely, but how about the following counterexample: Let $K$ be a quadratic imaginary extension of $mathbbQ$. Let $V$ be the three dimensional representation where the nontrivial element of $mathrmGal(K/mathbbQ)$ acts by $mathrmdiag(-1,1,-1)$. We claim that $V$ cannot be $mathrmSym(W)$ for a two dimensional Galois representation $W$.
Let $sigma$ denote complex conjugation in $mathrmGal(overlinemathbbQ/mathbbQ)$. Then $sigma$ acts on $V$ with eigenvalues $(-1,1,-1)$, so it would have to act on $W$ with eigenvalues $pm i$. But $sigma$ has order $2$ in $mathrmGal(overlinemathbbQ/mathbbQ)$, so it cannot act with eigenvalues other than $pm 1$.
add a comment |Â
up vote
2
down vote
up vote
2
down vote
I'm not sure how to define "comes from geometry" precisely, but how about the following counterexample: Let $K$ be a quadratic imaginary extension of $mathbbQ$. Let $V$ be the three dimensional representation where the nontrivial element of $mathrmGal(K/mathbbQ)$ acts by $mathrmdiag(-1,1,-1)$. We claim that $V$ cannot be $mathrmSym(W)$ for a two dimensional Galois representation $W$.
Let $sigma$ denote complex conjugation in $mathrmGal(overlinemathbbQ/mathbbQ)$. Then $sigma$ acts on $V$ with eigenvalues $(-1,1,-1)$, so it would have to act on $W$ with eigenvalues $pm i$. But $sigma$ has order $2$ in $mathrmGal(overlinemathbbQ/mathbbQ)$, so it cannot act with eigenvalues other than $pm 1$.
I'm not sure how to define "comes from geometry" precisely, but how about the following counterexample: Let $K$ be a quadratic imaginary extension of $mathbbQ$. Let $V$ be the three dimensional representation where the nontrivial element of $mathrmGal(K/mathbbQ)$ acts by $mathrmdiag(-1,1,-1)$. We claim that $V$ cannot be $mathrmSym(W)$ for a two dimensional Galois representation $W$.
Let $sigma$ denote complex conjugation in $mathrmGal(overlinemathbbQ/mathbbQ)$. Then $sigma$ acts on $V$ with eigenvalues $(-1,1,-1)$, so it would have to act on $W$ with eigenvalues $pm i$. But $sigma$ has order $2$ in $mathrmGal(overlinemathbbQ/mathbbQ)$, so it cannot act with eigenvalues other than $pm 1$.
answered 3 hours ago
David E Speyer
103k8265528
103k8265528
add a comment |Â
add a comment |Â
Leo D is a new contributor. Be nice, and check out our Code of Conduct.
Leo D is a new contributor. Be nice, and check out our Code of Conduct.
Leo D is a new contributor. Be nice, and check out our Code of Conduct.
Leo D is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f311842%2fis-every-3-dim-self-dual-galois-representation-a-symmetic-square-of-2-dim-repres%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password