All Questions
15 questions
8
votes
2
answers
2k
views
Trivial homomorphism from a non-abelian group to an abelian group
I am stuck on this problem and cannot seem to find a good reasoning for drawing the required conclusion. The problem is as follows:
Let $m\in \mathbb{N}$ and $n>3$. I want to show that there can be ...
user481562
2
votes
2
answers
381
views
On V. Arnold's trinities regarding PSL(2,5), PSL(2,7), and PSL(2,11)?
Given the Ramanujan theta function,
$$f(a,b) = \sum_{n=-\infty}^\infty a^{n(n+1)/2} \; b^{n(n-1)/2}$$
Let $q = e^{2\pi i \tau}$ and assume $\tau = \sqrt{-d}.$ Then the following functions for levels $...
- 12.6k
2
votes
0
answers
74
views
generalization of the discreteness of Hecke groups to general reductive groups
Consider the subgroup $G_{\lambda}$ of $SL_2(\mathbb R)$ generated by $N_{\lambda} = \begin{bmatrix} 1 & \lambda \\ 0 & 1 \end{bmatrix}$ and $S = \begin{bmatrix} 0 & 1 \\ -1 & 0 \end{...
- 6,622
4
votes
1
answer
416
views
Fricke involution on GL(3)
Define $\Gamma_0(N)=\{\begin{pmatrix}
a&b&c\\
d&e&f\\
g&h&i
\end{pmatrix}
\in SL(3,\mathbb{Z})|g\equiv h\equiv 0(\mod N)\}$ be the $N$-level congruence subgroup on GL(3).
...
- 3,804
8
votes
2
answers
739
views
Modular forms for different groups than $SL(2,\mathbb Z)$
I know some theory of "classical" modular forms, that is functions in the complex upper-half plane satisfying
$f(\frac {az+b} {cz+d})=(cz+d)^kf(z)$
I know one can study modular forms on finite-...
- 3,738
13
votes
2
answers
1k
views
Action of SL(2,Z) on upper triangular primitive integer matrices of determinant N, from the right. Is it transitive?
I am porting this question across from StackExchange, since it has received no answers and perhaps is sufficiently deep to fit here.
I am considering the set of upper triangular matrices
$$D_N=\left\...
- 133
5
votes
1
answer
276
views
Upper bound on level of a congruence subgroup of the modular group
Let $\Gamma = PSL(2,\mathbb{Z}) = \langle S,T \ | \ S^2=(ST)^3=1 \rangle$. Let $G$ be some mystery normal subgroup of $\Gamma$ that we happen to think may be congruence. Recall that a subgroup of $\...
- 53
4
votes
0
answers
145
views
Generators of the symplectic subgroup $\Gamma^g(1,2)$
Let $\mathbb{A}^{m\times n}$ denote the set of all $m \times n$ matrices with entries in the set $\mathbb{A}$. For a matrix $M$ we let ${^tM}$ denote its transpose, and $M^{-1}$ its inverse, if it is ...
- 41
27
votes
2
answers
2k
views
Monstrous Moonshine for Thompson group $Th$?
I. As a background, in Traces of Singular Moduli (p.2), Zagier defines the modular form of weight 3/2,
$$g(\tau) = \frac{\eta^2(\tau)}{\eta(2\tau)}\frac{E_4(4\tau)}{\eta^6(4\tau)}=\vartheta_4(\tau)\, ...
- 12.6k
22
votes
1
answer
2k
views
Monstrous moonshine for $M_{24}$ and K3?
An important piece of Monstrous moonshine is the j-function,
$$j(\tau) = \frac{1}{q}+744+196884q+21493760q^2+\dots\tag{1}$$
In the paper "Umbral Moonshine" (2013), page 5, authors Cheng, Duncan, and ...
- 12.6k
8
votes
3
answers
612
views
Computing Thompson series for the monster group
I am trying to do some experimentation with the values of Thompson series, but I have having a hard time finding a table that has these Thompson series with as many terms as I'd like. The tables I've ...
- 135
2
votes
3
answers
912
views
Reference on generators of subgroups of symplectic groups
We should start with the definition of the symplectic group for an arbitrary ring $R$.
The symplectic group $Sp(g,R)$ is the subgroup of $SL(2g,R)$ such that all elements satisfy $M=J_g^t M J_g$ with $...
- 85
12
votes
2
answers
831
views
Does there exist a finite-index subgroup of SL2Z with all cusps irregular?
Recall that if $\Gamma$ is a finite-index subgroup of $\operatorname{SL}_2(\mathbf{Z})$, then a cusp of $\Gamma$ is an orbit of $\Gamma$ on the set $\mathbf{P}^1_{\mathbf{Q}}$. If $-1\notin \Gamma$, ...
- 37k
12
votes
4
answers
881
views
Congruence Subgroups as Open Subgroups of the Modular Group Under the Right Topology
It occurred to me that a subgroup of the modular group $\Gamma$ is a congruence subgroup iff it contains a subgroup of the form $\Gamma(N)$, while a subgroup of a general topological group is open iff ...
- 15.4k
12
votes
4
answers
2k
views
Mystery of the Monstrous Moonshine
There's a very famous group, the largest sporadic simple finite group, sometimes called a monster whose size is quoted below. What's the explanation that the primes appearing in it,
...
- 15.1k