Index of congruence modular subgroup of level (1,d) Let $D = \text{diag}(1,d)\in M_{2}(\mathbb{Z})$ be a $2\times 2$ matrix, where $d$ is an odd integer. We define the subgroup $\Gamma_D\subset M_{4}(\mathbb{Z})$ as:
$$\Gamma_D := \left\lbrace R\in M_{4}(\mathbb{Z}) \: | \: R
\left(\begin{matrix}
0 & D \\ 
-D & 0
\end{matrix}\right) R^t = 
\left(\begin{matrix}
0 & D \\ 
-D & 0
\end{matrix}\right)
\right\rbrace,$$
and the subgroup $\Gamma_D(D)\subset\Gamma_D$ as:
$$\Gamma_2(1,d):= \left\lbrace \left(\begin{matrix}
a & b \\ 
c & d
\end{matrix}\right)\in \Gamma_D \: | \: a-Id_2 \equiv b \equiv c \equiv d-Id_2 \equiv 0 \: mod(D)
\right\rbrace,$$ 
where $A\equiv 0\: mod(D)$ means that $A = D\cdot B$ for some $B\in M_2(\mathbb{Z})$.
Does there exists an exact sequence
$$1 \to \Gamma_2(2,2d) \to \Gamma_2(1,d) \to Sp(4,\mathbb{Z}/2\mathbb{Z}) \to 1,$$
where the last map is the reduction $mod\ 2$ of the entries of the matrices? In order to prove this I wanted to check the index of the level subgroups inside $\Gamma_2$. I know that there exists a formula by Igusa for the level $n$ subgoups, and I wonder if also these indexes are known, or at least easily computable.
 A: Yes, there is a short exact sequence
$$ 1 \to \Gamma_2(2,2d) \to \Gamma_2(1,d) \to Sp(4,\mathbb{Z}/2\mathbb{Z}) \to 1. $$
One can obtain this sequence as follows.
Consider the group scheme $G := Sp(f)$ defined over $\mathbb{Z}$ where $f$ is the
symplectic form defined above, i.e. $f(u,v) = u^t\begin{pmatrix} 0 & D \\ -D & 0 \end{pmatrix}v$.
The group of $\mathbb{Z}$-points is 
$G(\mathbb{Z}) = \Gamma_D$, this is, the subgroup of matrices in $GL_4(\mathbb{Z})$ which preserve the symplectic form.
As a group scheme over $\mathbb{Q}$ the group $G$ is just the symplectic group. However, over $\mathbb{Z}$ they are not isomorphic. Fortunately, since $d$ is odd, we have an isomorphism
$G \times \mathbb{Z}_2 \cong Sp(4)\times \mathbb{Z}_2$ over the ring of 2-adic integers. In particular, $G(\mathbb{Z}_2)$ surjects onto $Sp(4,\mathbb{Z}/2\mathbb{Z})$.
So it suffices to verify that $\Gamma_2(1,d)$ is dense in $G(\mathbb{Z}_2)$, which follows from strong approximation.
(For instance, the principal congruence subgroup $\Gamma_D(d) \subset \Gamma_2(1,d)$ is dense in $G(\mathbb{Z}_2)$  -- since $d$ is odd we obtain this group by applying a congruence condition away from $2$).
The same argument applies to all primes away from $d$, so at these primes you may also compute the index of congruence subgroups just as in the symplectic group.
