Mixing
Is a semidirect product of linear groups a linear group?
$begingroup$
It is known that linear groups are not closed under extensions, but what if the extension splits, i.e. it is a semidirect product?
Suppose that $K,R$ are subgroups of $mathop{GL}(n,mathbb{F})$, where $mathbb{F}$ is a field, and suppose that I have a homomorphism $phi colon R to mathop{Aut}(K)$ which defines the semidirect product $G = K rtimes_{phi}R$. My question is, does $G$ embed into $mathop{GL}(m,mathbb{F})$ for some $m > n$? Or perhaps into $mathop{GL}(m,mathbb{F}')$, where $mathbb{F}'$ is some extension of $mathbb{F}$?
group-theory representation-theory semidirect-product
edited Jan 14 at 18:32
Stephen
10.5k12339
asked Dec 4 '14 at 10:41
Michal FerovMichal Ferov
42729
$endgroup$
add a comment |
$begingroup$
It is known that linear groups are not closed under extensions, but what if the extension splits, i.e. it is a semidirect product?
Suppose that $K,R$ are subgroups of $mathop{GL}(n,mathbb{F})$, where $mathbb{F}$ is a field, and suppose that I have a homomorphism $phi colon R to mathop{Aut}(K)$ which defines the semidirect product $G = K rtimes_{phi}R$. My question is, does $G$ embed into $mathop{GL}(m,mathbb{F})$ for some $m > n$? Or perhaps into $mathop{GL}(m,mathbb{F}')$, where $mathbb{F}'$ is some extension of $mathbb{F}$?
group-theory representation-theory semidirect-product
edited Jan 14 at 18:32
Stephen
10.5k12339
asked Dec 4 '14 at 10:41
Michal FerovMichal Ferov
42729
$endgroup$
$begingroup$
This is a really nice question. I think I might have a partial answer. If $K$ and $R$ are both algebraic groups (and hence Zariski closed subgroups), this semidirect product is linear because it is an affine algebraic group and all such groups are linear. The reason we still get an algebraic group is because we can do everything in terms of Hopf algebras, where a similar notion of semi-direct product exists. So in particular, the semidirect product of two $GL_{n}$'s is linear. This isn't much of an answer though.
$endgroup$
– Siddharth Venkatesh
Dec 5 '14 at 8:31
$begingroup$
@SiddharthVenkatesh Unfortunately my knowledge of algebraic groups and Hopf algebras is rather poor. Could you give me some references so that I can have a look?
$endgroup$
– Michal Ferov
Dec 6 '14 at 13:27
$begingroup$
Sure. It would be helpful if you could let me know about your background in representation theory and algebraic geometry though because the books I have in mind have different prerequisites.
$endgroup$
– Siddharth Venkatesh
Dec 6 '14 at 21:49
$begingroup$
I have reasonable understanding of algebraic geometry, mainly in positive characteristic, representation theory is bit weaker, just the basics.
$endgroup$
– Michal Ferov
Dec 7 '14 at 22:49
$begingroup$
Ok. Try looking up James Humphreys' "Linear Algebraic Groups". Section 8.6 in particular proves that every affine algebraic group is linear. Humphreys does this only in algebraically closed fields but it holds in general (a reference here would be Milne's notes on Algebraic Groups.) I don't think you need to know too much representation theory to read the former but you might need more background for Milne's notes. I don't know a reference for the Hopf algebra stuff unfortunately but I can explain what I was talking about if you know the basic definitions of a Hopf algebra.
$endgroup$
– Siddharth Venkatesh
Dec 7 '14 at 23:17
add a comment |
$begingroup$
It is known that linear groups are not closed under extensions, but what if the extension splits, i.e. it is a semidirect product?
Suppose that $K,R$ are subgroups of $mathop{GL}(n,mathbb{F})$, where $mathbb{F}$ is a field, and suppose that I have a homomorphism $phi colon R to mathop{Aut}(K)$ which defines the semidirect product $G = K rtimes_{phi}R$. My question is, does $G$ embed into $mathop{GL}(m,mathbb{F})$ for some $m > n$? Or perhaps into $mathop{GL}(m,mathbb{F}')$, where $mathbb{F}'$ is some extension of $mathbb{F}$?
group-theory representation-theory semidirect-product
edited Jan 14 at 18:32
Stephen
10.5k12339
asked Dec 4 '14 at 10:41
Michal FerovMichal Ferov
42729
$endgroup$
It is known that linear groups are not closed under extensions, but what if the extension splits, i.e. it is a semidirect product?
Suppose that $K,R$ are subgroups of $mathop{GL}(n,mathbb{F})$, where $mathbb{F}$ is a field, and suppose that I have a homomorphism $phi colon R to mathop{Aut}(K)$ which defines the semidirect product $G = K rtimes_{phi}R$. My question is, does $G$ embed into $mathop{GL}(m,mathbb{F})$ for some $m > n$? Or perhaps into $mathop{GL}(m,mathbb{F}')$, where $mathbb{F}'$ is some extension of $mathbb{F}$?
group-theory representation-theory semidirect-product
group-theory representation-theory semidirect-product
edited Jan 14 at 18:32
Stephen
10.5k12339
asked Dec 4 '14 at 10:41
Michal FerovMichal Ferov
42729
edited Jan 14 at 18:32
Stephen
10.5k12339
asked Dec 4 '14 at 10:41
Michal FerovMichal Ferov
42729
edited Jan 14 at 18:32
Stephen
10.5k12339
edited Jan 14 at 18:32
Stephen
10.5k12339
edited Jan 14 at 18:32
Stephen
10.5k12339
10.5k12339
asked Dec 4 '14 at 10:41
Michal FerovMichal Ferov
42729
asked Dec 4 '14 at 10:41
Michal FerovMichal Ferov
42729
asked Dec 4 '14 at 10:41
Michal FerovMichal Ferov
42729
42729
$begingroup$
This is a really nice question. I think I might have a partial answer. If $K$ and $R$ are both algebraic groups (and hence Zariski closed subgroups), this semidirect product is linear because it is an affine algebraic group and all such groups are linear. The reason we still get an algebraic group is because we can do everything in terms of Hopf algebras, where a similar notion of semi-direct product exists. So in particular, the semidirect product of two $GL_{n}$'s is linear. This isn't much of an answer though.
$endgroup$
– Siddharth Venkatesh
Dec 5 '14 at 8:31
$begingroup$
@SiddharthVenkatesh Unfortunately my knowledge of algebraic groups and Hopf algebras is rather poor. Could you give me some references so that I can have a look?
$endgroup$
– Michal Ferov
Dec 6 '14 at 13:27
$begingroup$
Sure. It would be helpful if you could let me know about your background in representation theory and algebraic geometry though because the books I have in mind have different prerequisites.
$endgroup$
– Siddharth Venkatesh
Dec 6 '14 at 21:49
$begingroup$
I have reasonable understanding of algebraic geometry, mainly in positive characteristic, representation theory is bit weaker, just the basics.
$endgroup$
– Michal Ferov
Dec 7 '14 at 22:49
$begingroup$
Ok. Try looking up James Humphreys' "Linear Algebraic Groups". Section 8.6 in particular proves that every affine algebraic group is linear. Humphreys does this only in algebraically closed fields but it holds in general (a reference here would be Milne's notes on Algebraic Groups.) I don't think you need to know too much representation theory to read the former but you might need more background for Milne's notes. I don't know a reference for the Hopf algebra stuff unfortunately but I can explain what I was talking about if you know the basic definitions of a Hopf algebra.
$endgroup$
– Siddharth Venkatesh
Dec 7 '14 at 23:17
add a comment |
$begingroup$
This is a really nice question. I think I might have a partial answer. If $K$ and $R$ are both algebraic groups (and hence Zariski closed subgroups), this semidirect product is linear because it is an affine algebraic group and all such groups are linear. The reason we still get an algebraic group is because we can do everything in terms of Hopf algebras, where a similar notion of semi-direct product exists. So in particular, the semidirect product of two $GL_{n}$'s is linear. This isn't much of an answer though.
$endgroup$
– Siddharth Venkatesh
Dec 5 '14 at 8:31
$begingroup$
@SiddharthVenkatesh Unfortunately my knowledge of algebraic groups and Hopf algebras is rather poor. Could you give me some references so that I can have a look?
$endgroup$
– Michal Ferov
Dec 6 '14 at 13:27
$begingroup$
Sure. It would be helpful if you could let me know about your background in representation theory and algebraic geometry though because the books I have in mind have different prerequisites.
$endgroup$
– Siddharth Venkatesh
Dec 6 '14 at 21:49
$begingroup$
I have reasonable understanding of algebraic geometry, mainly in positive characteristic, representation theory is bit weaker, just the basics.
$endgroup$
– Michal Ferov
Dec 7 '14 at 22:49
$begingroup$
Ok. Try looking up James Humphreys' "Linear Algebraic Groups". Section 8.6 in particular proves that every affine algebraic group is linear. Humphreys does this only in algebraically closed fields but it holds in general (a reference here would be Milne's notes on Algebraic Groups.) I don't think you need to know too much representation theory to read the former but you might need more background for Milne's notes. I don't know a reference for the Hopf algebra stuff unfortunately but I can explain what I was talking about if you know the basic definitions of a Hopf algebra.
$endgroup$
– Siddharth Venkatesh
Dec 7 '14 at 23:17
$begingroup$
This is a really nice question. I think I might have a partial answer. If $K$ and $R$ are both algebraic groups (and hence Zariski closed subgroups), this semidirect product is linear because it is an affine algebraic group and all such groups are linear. The reason we still get an algebraic group is because we can do everything in terms of Hopf algebras, where a similar notion of semi-direct product exists. So in particular, the semidirect product of two $GL_{n}$'s is linear. This isn't much of an answer though.
$endgroup$
– Siddharth Venkatesh
Dec 5 '14 at 8:31
$begingroup$
This is a really nice question. I think I might have a partial answer. If $K$ and $R$ are both algebraic groups (and hence Zariski closed subgroups), this semidirect product is linear because it is an affine algebraic group and all such groups are linear. The reason we still get an algebraic group is because we can do everything in terms of Hopf algebras, where a similar notion of semi-direct product exists. So in particular, the semidirect product of two $GL_{n}$'s is linear. This isn't much of an answer though.
$endgroup$
– Siddharth Venkatesh
Dec 5 '14 at 8:31
$begingroup$
@SiddharthVenkatesh Unfortunately my knowledge of algebraic groups and Hopf algebras is rather poor. Could you give me some references so that I can have a look?
$endgroup$
– Michal Ferov
Dec 6 '14 at 13:27
$begingroup$
@SiddharthVenkatesh Unfortunately my knowledge of algebraic groups and Hopf algebras is rather poor. Could you give me some references so that I can have a look?
$endgroup$
– Michal Ferov
Dec 6 '14 at 13:27
$begingroup$
Sure. It would be helpful if you could let me know about your background in representation theory and algebraic geometry though because the books I have in mind have different prerequisites.
$endgroup$
– Siddharth Venkatesh
Dec 6 '14 at 21:49
$begingroup$
Sure. It would be helpful if you could let me know about your background in representation theory and algebraic geometry though because the books I have in mind have different prerequisites.
$endgroup$
– Siddharth Venkatesh
Dec 6 '14 at 21:49
$begingroup$
I have reasonable understanding of algebraic geometry, mainly in positive characteristic, representation theory is bit weaker, just the basics.
$endgroup$
– Michal Ferov
Dec 7 '14 at 22:49
$begingroup$
I have reasonable understanding of algebraic geometry, mainly in positive characteristic, representation theory is bit weaker, just the basics.
$endgroup$
– Michal Ferov
Dec 7 '14 at 22:49
$begingroup$
Ok. Try looking up James Humphreys' "Linear Algebraic Groups". Section 8.6 in particular proves that every affine algebraic group is linear. Humphreys does this only in algebraically closed fields but it holds in general (a reference here would be Milne's notes on Algebraic Groups.) I don't think you need to know too much representation theory to read the former but you might need more background for Milne's notes. I don't know a reference for the Hopf algebra stuff unfortunately but I can explain what I was talking about if you know the basic definitions of a Hopf algebra.
$endgroup$
– Siddharth Venkatesh
Dec 7 '14 at 23:17
$begingroup$
Ok. Try looking up James Humphreys' "Linear Algebraic Groups". Section 8.6 in particular proves that every affine algebraic group is linear. Humphreys does this only in algebraically closed fields but it holds in general (a reference here would be Milne's notes on Algebraic Groups.) I don't think you need to know too much representation theory to read the former but you might need more background for Milne's notes. I don't know a reference for the Hopf algebra stuff unfortunately but I can explain what I was talking about if you know the basic definitions of a Hopf algebra.
$endgroup$
– Siddharth Venkatesh
Dec 7 '14 at 23:17
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
$defZZ{mathbb{Z}}defQQ{mathbb{Q}}defCC{mathbb{C}}$No. Set $p^{-n} ZZ$ to be the set of rational numbers of the form $tfrac{a}{p^n}$ with $a in ZZ$. Put $p^{-infty} ZZ = bigcup_n p^{-n} ZZ$ and let $A$ be the abelian group $(p^{- infty} ZZ)/ZZ$. Then $A$ is linear over $mathbb{C}$, namely, $A$ embeds into $GL_1(CC)$ by $theta mapsto exp(2 pi i theta)$. Let $r$ be an integer which is not divisible by $p$ and not equal to $pm 1$. Let $ZZ$ act on $A$ by multiplication by $r$. The group $ZZ$ is also a subgroup of $GL_1(CC)$. However, we will show that $ZZ ltimes A$ does not embed in $GL_n(CC)$ for any $n$. We write $ZZ_p$ for the $p$-adic integers.
We first work out the representation theory of $A$. For any $p$-adic integer $k$, multiplication by $k$ is a well defined map $A to A$ because, for any $tfrac{a}{p^n}$ in $A$, the product $ka$ is determined by the residue class of $k$ modulo $p^n$. So, for any $k in ZZ_p$, we have a one dimensional representation $chi_k$ of $A$ given by $chi_k(theta) = exp(2 pi i k theta)$. We claim that any finite dimensional representation $V$ of $A$ is a direct sum of these $chi_k$'s.
Proof: If we restrict $V$ to the finite subgroup $p^{-n} ZZ/ZZ$ of $A$, then $V$ decomposes into isotypic components of the form $theta mapsto exp(2 pi i k theta)$ for $k in ZZ/p^n ZZ$. As we increase $n$, isotypic summands may increase, but it can't be more than $dim V$, so it stabilizes for $n$ large. Thus, there is some decomposisition $V = V_1 oplus V_2 oplus cdots oplus V_r$ and, for each $1 leq j leq r$, some sequence $k^j_n in ZZ/p^n ZZ$ such that $p^{-n} ZZ/ZZ$ acts on $V_j$ by $exp(2 pi i k^j_n theta)$. For $m < n$, we have $k^j_n equiv k^j_n bmod p^m$ (because $p^{-m} ZZ/ZZ subset p^{-n} ZZ/ZZ$). So $k^j_n$ approaches some limit $k^j in ZZ_p$, and $A$ acts on $V_j$ by $chi_{k^j}$. $square$
Now we have to show that $ZZ ltimes A$ does not embed in $GL(V)$ for any finite dimensional $CC$ vector space $V$. Suppose otherwise. Restrict $V$ to $A$, so $V$ decomposes as a direct sum of $chi_k$'s, let $K subset ZZ_p$ be the set of $k$'s which occur.
I claim that $K$ is taken to itself under multiplication by $r$. Indeed, if $v in V$ obeys $(0, theta) cdot v = exp(2 pi i k theta) v$, then $(0, theta) cdot (1,0) cdot v = (1,0) cdot (0, r theta) v = (1,0) exp(2 pi i k r theta) v = exp(2 pi i k r theta) (1,0) v$, so multiplication by $(1,0)$ takes $A$-eigenvectors of weight $k$ to $A$-eigenvectors of weight $rk$.
But $|K| leq dim V$, and the only finite orbit of multiplication by $r$ on $ZZ_p$ is ${ 0 }$. So $K = { 0 }$, and the representation $V$ has kernel $A$, contradicting the assumption that the map $(ZZ ltimes A) to GL(V)$ is an embedding. $square$
answered Jan 10 at 2:18
David E SpeyerDavid E Speyer
45.6k4125206
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1051262%2fis-a-semidirect-product-of-linear-groups-a-linear-group%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
$defZZ{mathbb{Z}}defQQ{mathbb{Q}}defCC{mathbb{C}}$No. Set $p^{-n} ZZ$ to be the set of rational numbers of the form $tfrac{a}{p^n}$ with $a in ZZ$. Put $p^{-infty} ZZ = bigcup_n p^{-n} ZZ$ and let $A$ be the abelian group $(p^{- infty} ZZ)/ZZ$. Then $A$ is linear over $mathbb{C}$, namely, $A$ embeds into $GL_1(CC)$ by $theta mapsto exp(2 pi i theta)$. Let $r$ be an integer which is not divisible by $p$ and not equal to $pm 1$. Let $ZZ$ act on $A$ by multiplication by $r$. The group $ZZ$ is also a subgroup of $GL_1(CC)$. However, we will show that $ZZ ltimes A$ does not embed in $GL_n(CC)$ for any $n$. We write $ZZ_p$ for the $p$-adic integers.
We first work out the representation theory of $A$. For any $p$-adic integer $k$, multiplication by $k$ is a well defined map $A to A$ because, for any $tfrac{a}{p^n}$ in $A$, the product $ka$ is determined by the residue class of $k$ modulo $p^n$. So, for any $k in ZZ_p$, we have a one dimensional representation $chi_k$ of $A$ given by $chi_k(theta) = exp(2 pi i k theta)$. We claim that any finite dimensional representation $V$ of $A$ is a direct sum of these $chi_k$'s.
Proof: If we restrict $V$ to the finite subgroup $p^{-n} ZZ/ZZ$ of $A$, then $V$ decomposes into isotypic components of the form $theta mapsto exp(2 pi i k theta)$ for $k in ZZ/p^n ZZ$. As we increase $n$, isotypic summands may increase, but it can't be more than $dim V$, so it stabilizes for $n$ large. Thus, there is some decomposisition $V = V_1 oplus V_2 oplus cdots oplus V_r$ and, for each $1 leq j leq r$, some sequence $k^j_n in ZZ/p^n ZZ$ such that $p^{-n} ZZ/ZZ$ acts on $V_j$ by $exp(2 pi i k^j_n theta)$. For $m < n$, we have $k^j_n equiv k^j_n bmod p^m$ (because $p^{-m} ZZ/ZZ subset p^{-n} ZZ/ZZ$). So $k^j_n$ approaches some limit $k^j in ZZ_p$, and $A$ acts on $V_j$ by $chi_{k^j}$. $square$
Now we have to show that $ZZ ltimes A$ does not embed in $GL(V)$ for any finite dimensional $CC$ vector space $V$. Suppose otherwise. Restrict $V$ to $A$, so $V$ decomposes as a direct sum of $chi_k$'s, let $K subset ZZ_p$ be the set of $k$'s which occur.
I claim that $K$ is taken to itself under multiplication by $r$. Indeed, if $v in V$ obeys $(0, theta) cdot v = exp(2 pi i k theta) v$, then $(0, theta) cdot (1,0) cdot v = (1,0) cdot (0, r theta) v = (1,0) exp(2 pi i k r theta) v = exp(2 pi i k r theta) (1,0) v$, so multiplication by $(1,0)$ takes $A$-eigenvectors of weight $k$ to $A$-eigenvectors of weight $rk$.
But $|K| leq dim V$, and the only finite orbit of multiplication by $r$ on $ZZ_p$ is ${ 0 }$. So $K = { 0 }$, and the representation $V$ has kernel $A$, contradicting the assumption that the map $(ZZ ltimes A) to GL(V)$ is an embedding. $square$
answered Jan 10 at 2:18
David E SpeyerDavid E Speyer
45.6k4125206
$endgroup$
add a comment |
$begingroup$
$defZZ{mathbb{Z}}defQQ{mathbb{Q}}defCC{mathbb{C}}$No. Set $p^{-n} ZZ$ to be the set of rational numbers of the form $tfrac{a}{p^n}$ with $a in ZZ$. Put $p^{-infty} ZZ = bigcup_n p^{-n} ZZ$ and let $A$ be the abelian group $(p^{- infty} ZZ)/ZZ$. Then $A$ is linear over $mathbb{C}$, namely, $A$ embeds into $GL_1(CC)$ by $theta mapsto exp(2 pi i theta)$. Let $r$ be an integer which is not divisible by $p$ and not equal to $pm 1$. Let $ZZ$ act on $A$ by multiplication by $r$. The group $ZZ$ is also a subgroup of $GL_1(CC)$. However, we will show that $ZZ ltimes A$ does not embed in $GL_n(CC)$ for any $n$. We write $ZZ_p$ for the $p$-adic integers.
We first work out the representation theory of $A$. For any $p$-adic integer $k$, multiplication by $k$ is a well defined map $A to A$ because, for any $tfrac{a}{p^n}$ in $A$, the product $ka$ is determined by the residue class of $k$ modulo $p^n$. So, for any $k in ZZ_p$, we have a one dimensional representation $chi_k$ of $A$ given by $chi_k(theta) = exp(2 pi i k theta)$. We claim that any finite dimensional representation $V$ of $A$ is a direct sum of these $chi_k$'s.
Proof: If we restrict $V$ to the finite subgroup $p^{-n} ZZ/ZZ$ of $A$, then $V$ decomposes into isotypic components of the form $theta mapsto exp(2 pi i k theta)$ for $k in ZZ/p^n ZZ$. As we increase $n$, isotypic summands may increase, but it can't be more than $dim V$, so it stabilizes for $n$ large. Thus, there is some decomposisition $V = V_1 oplus V_2 oplus cdots oplus V_r$ and, for each $1 leq j leq r$, some sequence $k^j_n in ZZ/p^n ZZ$ such that $p^{-n} ZZ/ZZ$ acts on $V_j$ by $exp(2 pi i k^j_n theta)$. For $m < n$, we have $k^j_n equiv k^j_n bmod p^m$ (because $p^{-m} ZZ/ZZ subset p^{-n} ZZ/ZZ$). So $k^j_n$ approaches some limit $k^j in ZZ_p$, and $A$ acts on $V_j$ by $chi_{k^j}$. $square$
Now we have to show that $ZZ ltimes A$ does not embed in $GL(V)$ for any finite dimensional $CC$ vector space $V$. Suppose otherwise. Restrict $V$ to $A$, so $V$ decomposes as a direct sum of $chi_k$'s, let $K subset ZZ_p$ be the set of $k$'s which occur.
I claim that $K$ is taken to itself under multiplication by $r$. Indeed, if $v in V$ obeys $(0, theta) cdot v = exp(2 pi i k theta) v$, then $(0, theta) cdot (1,0) cdot v = (1,0) cdot (0, r theta) v = (1,0) exp(2 pi i k r theta) v = exp(2 pi i k r theta) (1,0) v$, so multiplication by $(1,0)$ takes $A$-eigenvectors of weight $k$ to $A$-eigenvectors of weight $rk$.
But $|K| leq dim V$, and the only finite orbit of multiplication by $r$ on $ZZ_p$ is ${ 0 }$. So $K = { 0 }$, and the representation $V$ has kernel $A$, contradicting the assumption that the map $(ZZ ltimes A) to GL(V)$ is an embedding. $square$
answered Jan 10 at 2:18
David E SpeyerDavid E Speyer
45.6k4125206
$endgroup$
add a comment |
$begingroup$
$defZZ{mathbb{Z}}defQQ{mathbb{Q}}defCC{mathbb{C}}$No. Set $p^{-n} ZZ$ to be the set of rational numbers of the form $tfrac{a}{p^n}$ with $a in ZZ$. Put $p^{-infty} ZZ = bigcup_n p^{-n} ZZ$ and let $A$ be the abelian group $(p^{- infty} ZZ)/ZZ$. Then $A$ is linear over $mathbb{C}$, namely, $A$ embeds into $GL_1(CC)$ by $theta mapsto exp(2 pi i theta)$. Let $r$ be an integer which is not divisible by $p$ and not equal to $pm 1$. Let $ZZ$ act on $A$ by multiplication by $r$. The group $ZZ$ is also a subgroup of $GL_1(CC)$. However, we will show that $ZZ ltimes A$ does not embed in $GL_n(CC)$ for any $n$. We write $ZZ_p$ for the $p$-adic integers.
We first work out the representation theory of $A$. For any $p$-adic integer $k$, multiplication by $k$ is a well defined map $A to A$ because, for any $tfrac{a}{p^n}$ in $A$, the product $ka$ is determined by the residue class of $k$ modulo $p^n$. So, for any $k in ZZ_p$, we have a one dimensional representation $chi_k$ of $A$ given by $chi_k(theta) = exp(2 pi i k theta)$. We claim that any finite dimensional representation $V$ of $A$ is a direct sum of these $chi_k$'s.
Proof: If we restrict $V$ to the finite subgroup $p^{-n} ZZ/ZZ$ of $A$, then $V$ decomposes into isotypic components of the form $theta mapsto exp(2 pi i k theta)$ for $k in ZZ/p^n ZZ$. As we increase $n$, isotypic summands may increase, but it can't be more than $dim V$, so it stabilizes for $n$ large. Thus, there is some decomposisition $V = V_1 oplus V_2 oplus cdots oplus V_r$ and, for each $1 leq j leq r$, some sequence $k^j_n in ZZ/p^n ZZ$ such that $p^{-n} ZZ/ZZ$ acts on $V_j$ by $exp(2 pi i k^j_n theta)$. For $m < n$, we have $k^j_n equiv k^j_n bmod p^m$ (because $p^{-m} ZZ/ZZ subset p^{-n} ZZ/ZZ$). So $k^j_n$ approaches some limit $k^j in ZZ_p$, and $A$ acts on $V_j$ by $chi_{k^j}$. $square$
Now we have to show that $ZZ ltimes A$ does not embed in $GL(V)$ for any finite dimensional $CC$ vector space $V$. Suppose otherwise. Restrict $V$ to $A$, so $V$ decomposes as a direct sum of $chi_k$'s, let $K subset ZZ_p$ be the set of $k$'s which occur.
I claim that $K$ is taken to itself under multiplication by $r$. Indeed, if $v in V$ obeys $(0, theta) cdot v = exp(2 pi i k theta) v$, then $(0, theta) cdot (1,0) cdot v = (1,0) cdot (0, r theta) v = (1,0) exp(2 pi i k r theta) v = exp(2 pi i k r theta) (1,0) v$, so multiplication by $(1,0)$ takes $A$-eigenvectors of weight $k$ to $A$-eigenvectors of weight $rk$.
But $|K| leq dim V$, and the only finite orbit of multiplication by $r$ on $ZZ_p$ is ${ 0 }$. So $K = { 0 }$, and the representation $V$ has kernel $A$, contradicting the assumption that the map $(ZZ ltimes A) to GL(V)$ is an embedding. $square$
answered Jan 10 at 2:18
David E SpeyerDavid E Speyer
45.6k4125206
$endgroup$
$defZZ{mathbb{Z}}defQQ{mathbb{Q}}defCC{mathbb{C}}$No. Set $p^{-n} ZZ$ to be the set of rational numbers of the form $tfrac{a}{p^n}$ with $a in ZZ$. Put $p^{-infty} ZZ = bigcup_n p^{-n} ZZ$ and let $A$ be the abelian group $(p^{- infty} ZZ)/ZZ$. Then $A$ is linear over $mathbb{C}$, namely, $A$ embeds into $GL_1(CC)$ by $theta mapsto exp(2 pi i theta)$. Let $r$ be an integer which is not divisible by $p$ and not equal to $pm 1$. Let $ZZ$ act on $A$ by multiplication by $r$. The group $ZZ$ is also a subgroup of $GL_1(CC)$. However, we will show that $ZZ ltimes A$ does not embed in $GL_n(CC)$ for any $n$. We write $ZZ_p$ for the $p$-adic integers.
We first work out the representation theory of $A$. For any $p$-adic integer $k$, multiplication by $k$ is a well defined map $A to A$ because, for any $tfrac{a}{p^n}$ in $A$, the product $ka$ is determined by the residue class of $k$ modulo $p^n$. So, for any $k in ZZ_p$, we have a one dimensional representation $chi_k$ of $A$ given by $chi_k(theta) = exp(2 pi i k theta)$. We claim that any finite dimensional representation $V$ of $A$ is a direct sum of these $chi_k$'s.
Proof: If we restrict $V$ to the finite subgroup $p^{-n} ZZ/ZZ$ of $A$, then $V$ decomposes into isotypic components of the form $theta mapsto exp(2 pi i k theta)$ for $k in ZZ/p^n ZZ$. As we increase $n$, isotypic summands may increase, but it can't be more than $dim V$, so it stabilizes for $n$ large. Thus, there is some decomposisition $V = V_1 oplus V_2 oplus cdots oplus V_r$ and, for each $1 leq j leq r$, some sequence $k^j_n in ZZ/p^n ZZ$ such that $p^{-n} ZZ/ZZ$ acts on $V_j$ by $exp(2 pi i k^j_n theta)$. For $m < n$, we have $k^j_n equiv k^j_n bmod p^m$ (because $p^{-m} ZZ/ZZ subset p^{-n} ZZ/ZZ$). So $k^j_n$ approaches some limit $k^j in ZZ_p$, and $A$ acts on $V_j$ by $chi_{k^j}$. $square$
Now we have to show that $ZZ ltimes A$ does not embed in $GL(V)$ for any finite dimensional $CC$ vector space $V$. Suppose otherwise. Restrict $V$ to $A$, so $V$ decomposes as a direct sum of $chi_k$'s, let $K subset ZZ_p$ be the set of $k$'s which occur.
I claim that $K$ is taken to itself under multiplication by $r$. Indeed, if $v in V$ obeys $(0, theta) cdot v = exp(2 pi i k theta) v$, then $(0, theta) cdot (1,0) cdot v = (1,0) cdot (0, r theta) v = (1,0) exp(2 pi i k r theta) v = exp(2 pi i k r theta) (1,0) v$, so multiplication by $(1,0)$ takes $A$-eigenvectors of weight $k$ to $A$-eigenvectors of weight $rk$.
But $|K| leq dim V$, and the only finite orbit of multiplication by $r$ on $ZZ_p$ is ${ 0 }$. So $K = { 0 }$, and the representation $V$ has kernel $A$, contradicting the assumption that the map $(ZZ ltimes A) to GL(V)$ is an embedding. $square$
answered Jan 10 at 2:18
David E SpeyerDavid E Speyer
45.6k4125206
answered Jan 10 at 2:18
David E SpeyerDavid E Speyer
45.6k4125206
answered Jan 10 at 2:18
David E SpeyerDavid E Speyer
45.6k4125206
answered Jan 10 at 2:18
David E SpeyerDavid E Speyer
45.6k4125206
45.6k4125206
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1051262%2fis-a-semidirect-product-of-linear-groups-a-linear-group%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
This is a really nice question. I think I might have a partial answer. If $K$ and $R$ are both algebraic groups (and hence Zariski closed subgroups), this semidirect product is linear because it is an affine algebraic group and all such groups are linear. The reason we still get an algebraic group is because we can do everything in terms of Hopf algebras, where a similar notion of semi-direct product exists. So in particular, the semidirect product of two $GL_{n}$'s is linear. This isn't much of an answer though.
$endgroup$
– Siddharth Venkatesh
Dec 5 '14 at 8:31
$begingroup$
@SiddharthVenkatesh Unfortunately my knowledge of algebraic groups and Hopf algebras is rather poor. Could you give me some references so that I can have a look?
$endgroup$
– Michal Ferov
Dec 6 '14 at 13:27
$begingroup$
Sure. It would be helpful if you could let me know about your background in representation theory and algebraic geometry though because the books I have in mind have different prerequisites.
$endgroup$
– Siddharth Venkatesh
Dec 6 '14 at 21:49
$begingroup$
I have reasonable understanding of algebraic geometry, mainly in positive characteristic, representation theory is bit weaker, just the basics.
$endgroup$
– Michal Ferov
Dec 7 '14 at 22:49
$begingroup$
Ok. Try looking up James Humphreys' "Linear Algebraic Groups". Section 8.6 in particular proves that every affine algebraic group is linear. Humphreys does this only in algebraically closed fields but it holds in general (a reference here would be Milne's notes on Algebraic Groups.) I don't think you need to know too much representation theory to read the former but you might need more background for Milne's notes. I don't know a reference for the Hopf algebra stuff unfortunately but I can explain what I was talking about if you know the basic definitions of a Hopf algebra.
$endgroup$
– Siddharth Venkatesh
Dec 7 '14 at 23:17