Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 32210

Algebraic varieties with group operations given by morphisms, or group objects in the category of algebraic varieties, the category of algebraic schemes, or closely related categories.

8 votes
Accepted

Morphisms $\mathrm{SL}_n(\mathbb Z) \to \mathrm{SL}_m(\mathbb Z)$

I'll try to flesh out the first comment to give an answer: for all $n\ge 4$ there is a representation $\rho:A_{n+1}\to \rm SL_n(\bf Z)$ whose image normally generates $\rm SL_n(\bf Z)$ (because it inj …
Jean Raimbault's user avatar
1 vote
0 answers
117 views

Reduction mod 2 for orthogonal groups

Setting Let $k$ be a real quadratic field, $\mathbb Z_k$ its ring of integers. Let $n$ be an even integer $A$ a symmetric $n$-by-$n$ matrix with coefficients in $\mathbb Z_k$. Let $L$ be the lattice $ …
Jean Raimbault's user avatar
1 vote

What can the approximation of a group by some class be used for?

In general approximation or continuity results for various invariants and functions might be used to extend results from the class $C$ to the class of $C$-approximable groups. A concrete example is …
Jean Raimbault's user avatar
2 votes
Accepted

If $\Lambda \cap U$ is Zariski-dense in $U$, then $\Lambda$ contains $U(k\mathbb Z)$ for som...

In this answer i will follow Yves' comment and add references. If $U = \mathbf{U}(R)$ with $\mathbf U$ an algebraic unipotent $\mathbb Q$-group then the two following facts hold : If $\Lambda \le U …
Jean Raimbault's user avatar
3 votes

Commensurator of a subgroup of matrices

This is well-known, and you don't need semisimplicity for this to hold. You can prove it by considering congruence subgroups of $H(\mathcal O_k)$ as follows. Let $\mathfrak n$ be an ideal of $\mathcal …
Jean Raimbault's user avatar
4 votes
Accepted

Do surface groups embed into PSL_2 over a real quadratic integer ring?

For the new question an answer is given by arithmetic Fuchsian groups. For example it is well-known that the reflection group associated with the regular right-angled pentagon in $\mathbb H^2$ contain …
Jean Raimbault's user avatar
4 votes

Do surface groups embed into PSL_2 over a real quadratic integer ring?

Here is, at Moishe Kohan's request, an optimal answer to the original question (which asked for a representation over any number field; as i noted in the comments there exists plenty of surface group …
Jean Raimbault's user avatar