Non-torsion part of the abelianisation of congruence subgroups
$begingroup$
I've posted this question on math.stackexchange, but haven't gotten any responses so I'm trying here instead.
Let $A = F_q[T]$ be the ring of polynomials in one variable with coefficients in a finite field, and let $r>1$ be an integer.
I'm currently looking for the abelianisation of the congruence subgroup $Γ(N)$ of the special linear group $SL(r,A)$, i.e. the kernel of the 'modulo $N$' map $SL(r,A) to SL(r,A/N)$, where $N in A$ is a nonconstant polynomial; more particularly, I'm looking for the torsion-free part of the abelianisation, but I wouldn't complain about knowing the abelianisation itself if that's possible.
So, here are my questions, in reverse order of importance:
- What are the commutator subgroups of $SL(r,A)$ and $Γ(N)$?
- What are the abelianisations of these groups?
- What are the torsion-free abelianisations of these groups?
finite-fields abelian-groups congruences linear-groups
$endgroup$
add a comment |
$begingroup$
I've posted this question on math.stackexchange, but haven't gotten any responses so I'm trying here instead.
Let $A = F_q[T]$ be the ring of polynomials in one variable with coefficients in a finite field, and let $r>1$ be an integer.
I'm currently looking for the abelianisation of the congruence subgroup $Γ(N)$ of the special linear group $SL(r,A)$, i.e. the kernel of the 'modulo $N$' map $SL(r,A) to SL(r,A/N)$, where $N in A$ is a nonconstant polynomial; more particularly, I'm looking for the torsion-free part of the abelianisation, but I wouldn't complain about knowing the abelianisation itself if that's possible.
So, here are my questions, in reverse order of importance:
- What are the commutator subgroups of $SL(r,A)$ and $Γ(N)$?
- What are the abelianisations of these groups?
- What are the torsion-free abelianisations of these groups?
finite-fields abelian-groups congruences linear-groups
$endgroup$
2
$begingroup$
MathSE original post: math.stackexchange.com/questions/3006331
$endgroup$
– YCor
Nov 22 '18 at 11:59
add a comment |
$begingroup$
I've posted this question on math.stackexchange, but haven't gotten any responses so I'm trying here instead.
Let $A = F_q[T]$ be the ring of polynomials in one variable with coefficients in a finite field, and let $r>1$ be an integer.
I'm currently looking for the abelianisation of the congruence subgroup $Γ(N)$ of the special linear group $SL(r,A)$, i.e. the kernel of the 'modulo $N$' map $SL(r,A) to SL(r,A/N)$, where $N in A$ is a nonconstant polynomial; more particularly, I'm looking for the torsion-free part of the abelianisation, but I wouldn't complain about knowing the abelianisation itself if that's possible.
So, here are my questions, in reverse order of importance:
- What are the commutator subgroups of $SL(r,A)$ and $Γ(N)$?
- What are the abelianisations of these groups?
- What are the torsion-free abelianisations of these groups?
finite-fields abelian-groups congruences linear-groups
$endgroup$
I've posted this question on math.stackexchange, but haven't gotten any responses so I'm trying here instead.
Let $A = F_q[T]$ be the ring of polynomials in one variable with coefficients in a finite field, and let $r>1$ be an integer.
I'm currently looking for the abelianisation of the congruence subgroup $Γ(N)$ of the special linear group $SL(r,A)$, i.e. the kernel of the 'modulo $N$' map $SL(r,A) to SL(r,A/N)$, where $N in A$ is a nonconstant polynomial; more particularly, I'm looking for the torsion-free part of the abelianisation, but I wouldn't complain about knowing the abelianisation itself if that's possible.
So, here are my questions, in reverse order of importance:
- What are the commutator subgroups of $SL(r,A)$ and $Γ(N)$?
- What are the abelianisations of these groups?
- What are the torsion-free abelianisations of these groups?
finite-fields abelian-groups congruences linear-groups
finite-fields abelian-groups congruences linear-groups
asked Nov 22 '18 at 10:38
Liam BakerLiam Baker
12510
12510
2
$begingroup$
MathSE original post: math.stackexchange.com/questions/3006331
$endgroup$
– YCor
Nov 22 '18 at 11:59
add a comment |
2
$begingroup$
MathSE original post: math.stackexchange.com/questions/3006331
$endgroup$
– YCor
Nov 22 '18 at 11:59
2
2
$begingroup$
MathSE original post: math.stackexchange.com/questions/3006331
$endgroup$
– YCor
Nov 22 '18 at 11:59
$begingroup$
MathSE original post: math.stackexchange.com/questions/3006331
$endgroup$
– YCor
Nov 22 '18 at 11:59
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
In a more general setting, let $A$ be a commutative ring, $I, J$ its ideals, $ngeqslant3$, then
$$[E(n,A,I),E(n,A,J)]geqslant E(n,R,IJ),$$
where $E(n,A,I)$ is the normal closure in $E(n,A)$ of the subgroup $E(n,I)$ generated by the elementary generators $x_{ij}(xi)=1+xi e_{ij}$ of level $I$, that is, with $xiin I$. In particular, $SL(n,A)$ is perfect once it coincides with $E(n,R)$ (which is the case for polynomials over a field).
This is well-known since Bass' 1964 paper. Since $mathbb{F}_q[T]$ is Euclidean (and thus of stable rank $2$), one has $E(n,R,I)=SL(n,R,I)$ by the $K_1$-stability result of Vaserstein (Theorem 3.2).
It is also known that $E(n,R,I)=langle z_{ij}(xi,eta)colon xiin I, etain A rangle$, where $z_{ij}(xi,eta)=x_{ji}(eta)x_{ij}(xi)x_{ji}(-eta)$.
Now the projection $SL(n,A,I)to SL(n,A,I)_{mathrm{ab}}$ factors through $S=SL(n,R,I)/SL(n,r,I^2)$, and it is not hard to show for $A=mathbb{F}_q[T]$ and $I=fA$ that the image of $z_{ij}(xi,eta)$ is $S$ has finite order, hence this abelianization is also finite.
Alternatively, one can do it with an even more straightforward computation. A reasonably good set of generators is known for $[E(n,A,I),E(n,A,J)]$ (see this paper). Namely, it is generated (as a normal subgroup) by the elements of the following three types:
$[x_{ij}(xi),z_{ij}(zeta,eta)]$,
$[x_{ij}(xi),x_{ji}(zeta)]$,
$x_{ij}(xizeta)$,
where $xi,zetain I$, $etain A$.
Now $z_{ij}(xi)^k=x_{ji}(eta)x_{ij}(kxi)x_{ji}(-eta) equiv x_{ij}(kxi)$, so taking $k=operatorname{char}(mathbb{F}_q)$ gives you the finiteness of orders of the generators, while the third relation shows that it suffices to take only finitely many of them and allows to calculate the abelianization explicitly (similar to this answer).
$endgroup$
$begingroup$
I wouldn't call it "more general setting" since in the setting of the question precisely the most delicate case is $n=2$.
$endgroup$
– YCor
Nov 22 '18 at 18:13
$begingroup$
By the way it's been proved by Shalom-Vaserstein that $E(n,A)$ has Property T for all $nge 3$ and every finitely generated commutative (unital associative) ring $A$, so all its finite index subgroups have Property T. It's been extended to $A$ arbitrary finitely generated (associative unital) ring $A$ by Ershov-Jaikin.
$endgroup$
– YCor
Nov 22 '18 at 18:27
add a comment |
$begingroup$
Suppose $r geq 3$. Then one can show that $Gamma=mathrm{SL}(r,A)$ is a lattice in the group $G=mathrm{SL}big(r, {mathbb F}_q(!(1/t)!)big)$. The group $G$ has Kazhdan's property T and hence $Gamma$ itself has property T. In particular, it is finitely generated and its abelianization is finite. The same conclusion holds for finite index subgroups of $Gamma$ and hence for the congruence subgroups $Gamma (N)$.
(You do not need property T for the whole group $Gamma$ since $Gamma$ is generated by the elementary matrices which have finite order; but for subgroups of finite index, you can use property T.)
The group $SL(2,A)$ again is generated by elementary matrices, but for finite index subgroups (the non-torsion part of ) the abelianization might be infinite; Serre's book on trees has results on this. (edited: it is proved Corollary 4 in section II.2.8 in Serre's book on trees that the first homology with rational coefficients of a congruence subgroup of $SL(2,A)$ is a finite dimensional vector space over $mathbb Q$).
$endgroup$
$begingroup$
The result in Serre's book is actually for arbitrary finite index subgroups. For congruence subgroups, it remains to see whether the rational homology in degree 1 always vanishes.
$endgroup$
– YCor
Nov 23 '18 at 17:40
$begingroup$
@YCor: I do not know about that. All I said was that the rational homology is finite dimensional. Whether it vanishes for congruence subgroups I do not know.
$endgroup$
– Venkataramana
Nov 24 '18 at 1:48
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: "504"
};
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%2fmathoverflow.net%2fquestions%2f315949%2fnon-torsion-part-of-the-abelianisation-of-congruence-subgroups%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
In a more general setting, let $A$ be a commutative ring, $I, J$ its ideals, $ngeqslant3$, then
$$[E(n,A,I),E(n,A,J)]geqslant E(n,R,IJ),$$
where $E(n,A,I)$ is the normal closure in $E(n,A)$ of the subgroup $E(n,I)$ generated by the elementary generators $x_{ij}(xi)=1+xi e_{ij}$ of level $I$, that is, with $xiin I$. In particular, $SL(n,A)$ is perfect once it coincides with $E(n,R)$ (which is the case for polynomials over a field).
This is well-known since Bass' 1964 paper. Since $mathbb{F}_q[T]$ is Euclidean (and thus of stable rank $2$), one has $E(n,R,I)=SL(n,R,I)$ by the $K_1$-stability result of Vaserstein (Theorem 3.2).
It is also known that $E(n,R,I)=langle z_{ij}(xi,eta)colon xiin I, etain A rangle$, where $z_{ij}(xi,eta)=x_{ji}(eta)x_{ij}(xi)x_{ji}(-eta)$.
Now the projection $SL(n,A,I)to SL(n,A,I)_{mathrm{ab}}$ factors through $S=SL(n,R,I)/SL(n,r,I^2)$, and it is not hard to show for $A=mathbb{F}_q[T]$ and $I=fA$ that the image of $z_{ij}(xi,eta)$ is $S$ has finite order, hence this abelianization is also finite.
Alternatively, one can do it with an even more straightforward computation. A reasonably good set of generators is known for $[E(n,A,I),E(n,A,J)]$ (see this paper). Namely, it is generated (as a normal subgroup) by the elements of the following three types:
$[x_{ij}(xi),z_{ij}(zeta,eta)]$,
$[x_{ij}(xi),x_{ji}(zeta)]$,
$x_{ij}(xizeta)$,
where $xi,zetain I$, $etain A$.
Now $z_{ij}(xi)^k=x_{ji}(eta)x_{ij}(kxi)x_{ji}(-eta) equiv x_{ij}(kxi)$, so taking $k=operatorname{char}(mathbb{F}_q)$ gives you the finiteness of orders of the generators, while the third relation shows that it suffices to take only finitely many of them and allows to calculate the abelianization explicitly (similar to this answer).
$endgroup$
$begingroup$
I wouldn't call it "more general setting" since in the setting of the question precisely the most delicate case is $n=2$.
$endgroup$
– YCor
Nov 22 '18 at 18:13
$begingroup$
By the way it's been proved by Shalom-Vaserstein that $E(n,A)$ has Property T for all $nge 3$ and every finitely generated commutative (unital associative) ring $A$, so all its finite index subgroups have Property T. It's been extended to $A$ arbitrary finitely generated (associative unital) ring $A$ by Ershov-Jaikin.
$endgroup$
– YCor
Nov 22 '18 at 18:27
add a comment |
$begingroup$
In a more general setting, let $A$ be a commutative ring, $I, J$ its ideals, $ngeqslant3$, then
$$[E(n,A,I),E(n,A,J)]geqslant E(n,R,IJ),$$
where $E(n,A,I)$ is the normal closure in $E(n,A)$ of the subgroup $E(n,I)$ generated by the elementary generators $x_{ij}(xi)=1+xi e_{ij}$ of level $I$, that is, with $xiin I$. In particular, $SL(n,A)$ is perfect once it coincides with $E(n,R)$ (which is the case for polynomials over a field).
This is well-known since Bass' 1964 paper. Since $mathbb{F}_q[T]$ is Euclidean (and thus of stable rank $2$), one has $E(n,R,I)=SL(n,R,I)$ by the $K_1$-stability result of Vaserstein (Theorem 3.2).
It is also known that $E(n,R,I)=langle z_{ij}(xi,eta)colon xiin I, etain A rangle$, where $z_{ij}(xi,eta)=x_{ji}(eta)x_{ij}(xi)x_{ji}(-eta)$.
Now the projection $SL(n,A,I)to SL(n,A,I)_{mathrm{ab}}$ factors through $S=SL(n,R,I)/SL(n,r,I^2)$, and it is not hard to show for $A=mathbb{F}_q[T]$ and $I=fA$ that the image of $z_{ij}(xi,eta)$ is $S$ has finite order, hence this abelianization is also finite.
Alternatively, one can do it with an even more straightforward computation. A reasonably good set of generators is known for $[E(n,A,I),E(n,A,J)]$ (see this paper). Namely, it is generated (as a normal subgroup) by the elements of the following three types:
$[x_{ij}(xi),z_{ij}(zeta,eta)]$,
$[x_{ij}(xi),x_{ji}(zeta)]$,
$x_{ij}(xizeta)$,
where $xi,zetain I$, $etain A$.
Now $z_{ij}(xi)^k=x_{ji}(eta)x_{ij}(kxi)x_{ji}(-eta) equiv x_{ij}(kxi)$, so taking $k=operatorname{char}(mathbb{F}_q)$ gives you the finiteness of orders of the generators, while the third relation shows that it suffices to take only finitely many of them and allows to calculate the abelianization explicitly (similar to this answer).
$endgroup$
$begingroup$
I wouldn't call it "more general setting" since in the setting of the question precisely the most delicate case is $n=2$.
$endgroup$
– YCor
Nov 22 '18 at 18:13
$begingroup$
By the way it's been proved by Shalom-Vaserstein that $E(n,A)$ has Property T for all $nge 3$ and every finitely generated commutative (unital associative) ring $A$, so all its finite index subgroups have Property T. It's been extended to $A$ arbitrary finitely generated (associative unital) ring $A$ by Ershov-Jaikin.
$endgroup$
– YCor
Nov 22 '18 at 18:27
add a comment |
$begingroup$
In a more general setting, let $A$ be a commutative ring, $I, J$ its ideals, $ngeqslant3$, then
$$[E(n,A,I),E(n,A,J)]geqslant E(n,R,IJ),$$
where $E(n,A,I)$ is the normal closure in $E(n,A)$ of the subgroup $E(n,I)$ generated by the elementary generators $x_{ij}(xi)=1+xi e_{ij}$ of level $I$, that is, with $xiin I$. In particular, $SL(n,A)$ is perfect once it coincides with $E(n,R)$ (which is the case for polynomials over a field).
This is well-known since Bass' 1964 paper. Since $mathbb{F}_q[T]$ is Euclidean (and thus of stable rank $2$), one has $E(n,R,I)=SL(n,R,I)$ by the $K_1$-stability result of Vaserstein (Theorem 3.2).
It is also known that $E(n,R,I)=langle z_{ij}(xi,eta)colon xiin I, etain A rangle$, where $z_{ij}(xi,eta)=x_{ji}(eta)x_{ij}(xi)x_{ji}(-eta)$.
Now the projection $SL(n,A,I)to SL(n,A,I)_{mathrm{ab}}$ factors through $S=SL(n,R,I)/SL(n,r,I^2)$, and it is not hard to show for $A=mathbb{F}_q[T]$ and $I=fA$ that the image of $z_{ij}(xi,eta)$ is $S$ has finite order, hence this abelianization is also finite.
Alternatively, one can do it with an even more straightforward computation. A reasonably good set of generators is known for $[E(n,A,I),E(n,A,J)]$ (see this paper). Namely, it is generated (as a normal subgroup) by the elements of the following three types:
$[x_{ij}(xi),z_{ij}(zeta,eta)]$,
$[x_{ij}(xi),x_{ji}(zeta)]$,
$x_{ij}(xizeta)$,
where $xi,zetain I$, $etain A$.
Now $z_{ij}(xi)^k=x_{ji}(eta)x_{ij}(kxi)x_{ji}(-eta) equiv x_{ij}(kxi)$, so taking $k=operatorname{char}(mathbb{F}_q)$ gives you the finiteness of orders of the generators, while the third relation shows that it suffices to take only finitely many of them and allows to calculate the abelianization explicitly (similar to this answer).
$endgroup$
In a more general setting, let $A$ be a commutative ring, $I, J$ its ideals, $ngeqslant3$, then
$$[E(n,A,I),E(n,A,J)]geqslant E(n,R,IJ),$$
where $E(n,A,I)$ is the normal closure in $E(n,A)$ of the subgroup $E(n,I)$ generated by the elementary generators $x_{ij}(xi)=1+xi e_{ij}$ of level $I$, that is, with $xiin I$. In particular, $SL(n,A)$ is perfect once it coincides with $E(n,R)$ (which is the case for polynomials over a field).
This is well-known since Bass' 1964 paper. Since $mathbb{F}_q[T]$ is Euclidean (and thus of stable rank $2$), one has $E(n,R,I)=SL(n,R,I)$ by the $K_1$-stability result of Vaserstein (Theorem 3.2).
It is also known that $E(n,R,I)=langle z_{ij}(xi,eta)colon xiin I, etain A rangle$, where $z_{ij}(xi,eta)=x_{ji}(eta)x_{ij}(xi)x_{ji}(-eta)$.
Now the projection $SL(n,A,I)to SL(n,A,I)_{mathrm{ab}}$ factors through $S=SL(n,R,I)/SL(n,r,I^2)$, and it is not hard to show for $A=mathbb{F}_q[T]$ and $I=fA$ that the image of $z_{ij}(xi,eta)$ is $S$ has finite order, hence this abelianization is also finite.
Alternatively, one can do it with an even more straightforward computation. A reasonably good set of generators is known for $[E(n,A,I),E(n,A,J)]$ (see this paper). Namely, it is generated (as a normal subgroup) by the elements of the following three types:
$[x_{ij}(xi),z_{ij}(zeta,eta)]$,
$[x_{ij}(xi),x_{ji}(zeta)]$,
$x_{ij}(xizeta)$,
where $xi,zetain I$, $etain A$.
Now $z_{ij}(xi)^k=x_{ji}(eta)x_{ij}(kxi)x_{ji}(-eta) equiv x_{ij}(kxi)$, so taking $k=operatorname{char}(mathbb{F}_q)$ gives you the finiteness of orders of the generators, while the third relation shows that it suffices to take only finitely many of them and allows to calculate the abelianization explicitly (similar to this answer).
answered Nov 22 '18 at 18:09
Andrei SmolenskyAndrei Smolensky
1,2731122
1,2731122
$begingroup$
I wouldn't call it "more general setting" since in the setting of the question precisely the most delicate case is $n=2$.
$endgroup$
– YCor
Nov 22 '18 at 18:13
$begingroup$
By the way it's been proved by Shalom-Vaserstein that $E(n,A)$ has Property T for all $nge 3$ and every finitely generated commutative (unital associative) ring $A$, so all its finite index subgroups have Property T. It's been extended to $A$ arbitrary finitely generated (associative unital) ring $A$ by Ershov-Jaikin.
$endgroup$
– YCor
Nov 22 '18 at 18:27
add a comment |
$begingroup$
I wouldn't call it "more general setting" since in the setting of the question precisely the most delicate case is $n=2$.
$endgroup$
– YCor
Nov 22 '18 at 18:13
$begingroup$
By the way it's been proved by Shalom-Vaserstein that $E(n,A)$ has Property T for all $nge 3$ and every finitely generated commutative (unital associative) ring $A$, so all its finite index subgroups have Property T. It's been extended to $A$ arbitrary finitely generated (associative unital) ring $A$ by Ershov-Jaikin.
$endgroup$
– YCor
Nov 22 '18 at 18:27
$begingroup$
I wouldn't call it "more general setting" since in the setting of the question precisely the most delicate case is $n=2$.
$endgroup$
– YCor
Nov 22 '18 at 18:13
$begingroup$
I wouldn't call it "more general setting" since in the setting of the question precisely the most delicate case is $n=2$.
$endgroup$
– YCor
Nov 22 '18 at 18:13
$begingroup$
By the way it's been proved by Shalom-Vaserstein that $E(n,A)$ has Property T for all $nge 3$ and every finitely generated commutative (unital associative) ring $A$, so all its finite index subgroups have Property T. It's been extended to $A$ arbitrary finitely generated (associative unital) ring $A$ by Ershov-Jaikin.
$endgroup$
– YCor
Nov 22 '18 at 18:27
$begingroup$
By the way it's been proved by Shalom-Vaserstein that $E(n,A)$ has Property T for all $nge 3$ and every finitely generated commutative (unital associative) ring $A$, so all its finite index subgroups have Property T. It's been extended to $A$ arbitrary finitely generated (associative unital) ring $A$ by Ershov-Jaikin.
$endgroup$
– YCor
Nov 22 '18 at 18:27
add a comment |
$begingroup$
Suppose $r geq 3$. Then one can show that $Gamma=mathrm{SL}(r,A)$ is a lattice in the group $G=mathrm{SL}big(r, {mathbb F}_q(!(1/t)!)big)$. The group $G$ has Kazhdan's property T and hence $Gamma$ itself has property T. In particular, it is finitely generated and its abelianization is finite. The same conclusion holds for finite index subgroups of $Gamma$ and hence for the congruence subgroups $Gamma (N)$.
(You do not need property T for the whole group $Gamma$ since $Gamma$ is generated by the elementary matrices which have finite order; but for subgroups of finite index, you can use property T.)
The group $SL(2,A)$ again is generated by elementary matrices, but for finite index subgroups (the non-torsion part of ) the abelianization might be infinite; Serre's book on trees has results on this. (edited: it is proved Corollary 4 in section II.2.8 in Serre's book on trees that the first homology with rational coefficients of a congruence subgroup of $SL(2,A)$ is a finite dimensional vector space over $mathbb Q$).
$endgroup$
$begingroup$
The result in Serre's book is actually for arbitrary finite index subgroups. For congruence subgroups, it remains to see whether the rational homology in degree 1 always vanishes.
$endgroup$
– YCor
Nov 23 '18 at 17:40
$begingroup$
@YCor: I do not know about that. All I said was that the rational homology is finite dimensional. Whether it vanishes for congruence subgroups I do not know.
$endgroup$
– Venkataramana
Nov 24 '18 at 1:48
add a comment |
$begingroup$
Suppose $r geq 3$. Then one can show that $Gamma=mathrm{SL}(r,A)$ is a lattice in the group $G=mathrm{SL}big(r, {mathbb F}_q(!(1/t)!)big)$. The group $G$ has Kazhdan's property T and hence $Gamma$ itself has property T. In particular, it is finitely generated and its abelianization is finite. The same conclusion holds for finite index subgroups of $Gamma$ and hence for the congruence subgroups $Gamma (N)$.
(You do not need property T for the whole group $Gamma$ since $Gamma$ is generated by the elementary matrices which have finite order; but for subgroups of finite index, you can use property T.)
The group $SL(2,A)$ again is generated by elementary matrices, but for finite index subgroups (the non-torsion part of ) the abelianization might be infinite; Serre's book on trees has results on this. (edited: it is proved Corollary 4 in section II.2.8 in Serre's book on trees that the first homology with rational coefficients of a congruence subgroup of $SL(2,A)$ is a finite dimensional vector space over $mathbb Q$).
$endgroup$
$begingroup$
The result in Serre's book is actually for arbitrary finite index subgroups. For congruence subgroups, it remains to see whether the rational homology in degree 1 always vanishes.
$endgroup$
– YCor
Nov 23 '18 at 17:40
$begingroup$
@YCor: I do not know about that. All I said was that the rational homology is finite dimensional. Whether it vanishes for congruence subgroups I do not know.
$endgroup$
– Venkataramana
Nov 24 '18 at 1:48
add a comment |
$begingroup$
Suppose $r geq 3$. Then one can show that $Gamma=mathrm{SL}(r,A)$ is a lattice in the group $G=mathrm{SL}big(r, {mathbb F}_q(!(1/t)!)big)$. The group $G$ has Kazhdan's property T and hence $Gamma$ itself has property T. In particular, it is finitely generated and its abelianization is finite. The same conclusion holds for finite index subgroups of $Gamma$ and hence for the congruence subgroups $Gamma (N)$.
(You do not need property T for the whole group $Gamma$ since $Gamma$ is generated by the elementary matrices which have finite order; but for subgroups of finite index, you can use property T.)
The group $SL(2,A)$ again is generated by elementary matrices, but for finite index subgroups (the non-torsion part of ) the abelianization might be infinite; Serre's book on trees has results on this. (edited: it is proved Corollary 4 in section II.2.8 in Serre's book on trees that the first homology with rational coefficients of a congruence subgroup of $SL(2,A)$ is a finite dimensional vector space over $mathbb Q$).
$endgroup$
Suppose $r geq 3$. Then one can show that $Gamma=mathrm{SL}(r,A)$ is a lattice in the group $G=mathrm{SL}big(r, {mathbb F}_q(!(1/t)!)big)$. The group $G$ has Kazhdan's property T and hence $Gamma$ itself has property T. In particular, it is finitely generated and its abelianization is finite. The same conclusion holds for finite index subgroups of $Gamma$ and hence for the congruence subgroups $Gamma (N)$.
(You do not need property T for the whole group $Gamma$ since $Gamma$ is generated by the elementary matrices which have finite order; but for subgroups of finite index, you can use property T.)
The group $SL(2,A)$ again is generated by elementary matrices, but for finite index subgroups (the non-torsion part of ) the abelianization might be infinite; Serre's book on trees has results on this. (edited: it is proved Corollary 4 in section II.2.8 in Serre's book on trees that the first homology with rational coefficients of a congruence subgroup of $SL(2,A)$ is a finite dimensional vector space over $mathbb Q$).
edited Nov 23 '18 at 17:39
YCor
28.2k483136
28.2k483136
answered Nov 22 '18 at 11:27
VenkataramanaVenkataramana
9,10412951
9,10412951
$begingroup$
The result in Serre's book is actually for arbitrary finite index subgroups. For congruence subgroups, it remains to see whether the rational homology in degree 1 always vanishes.
$endgroup$
– YCor
Nov 23 '18 at 17:40
$begingroup$
@YCor: I do not know about that. All I said was that the rational homology is finite dimensional. Whether it vanishes for congruence subgroups I do not know.
$endgroup$
– Venkataramana
Nov 24 '18 at 1:48
add a comment |
$begingroup$
The result in Serre's book is actually for arbitrary finite index subgroups. For congruence subgroups, it remains to see whether the rational homology in degree 1 always vanishes.
$endgroup$
– YCor
Nov 23 '18 at 17:40
$begingroup$
@YCor: I do not know about that. All I said was that the rational homology is finite dimensional. Whether it vanishes for congruence subgroups I do not know.
$endgroup$
– Venkataramana
Nov 24 '18 at 1:48
$begingroup$
The result in Serre's book is actually for arbitrary finite index subgroups. For congruence subgroups, it remains to see whether the rational homology in degree 1 always vanishes.
$endgroup$
– YCor
Nov 23 '18 at 17:40
$begingroup$
The result in Serre's book is actually for arbitrary finite index subgroups. For congruence subgroups, it remains to see whether the rational homology in degree 1 always vanishes.
$endgroup$
– YCor
Nov 23 '18 at 17:40
$begingroup$
@YCor: I do not know about that. All I said was that the rational homology is finite dimensional. Whether it vanishes for congruence subgroups I do not know.
$endgroup$
– Venkataramana
Nov 24 '18 at 1:48
$begingroup$
@YCor: I do not know about that. All I said was that the rational homology is finite dimensional. Whether it vanishes for congruence subgroups I do not know.
$endgroup$
– Venkataramana
Nov 24 '18 at 1:48
add a comment |
Thanks for contributing an answer to MathOverflow!
- 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%2fmathoverflow.net%2fquestions%2f315949%2fnon-torsion-part-of-the-abelianisation-of-congruence-subgroups%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
2
$begingroup$
MathSE original post: math.stackexchange.com/questions/3006331
$endgroup$
– YCor
Nov 22 '18 at 11:59