Related papers: Congruence Subgroups and Orthogonal Groups

We derive an explicit isomorphism between the Hilbert modular group and certain congruence subgroups on the one hand and particular subgroups of the special orthogonal group $SO(2, 2)$ on the other hand. The proof is based on an application…

We state conjectures that relate Hermitian modular forms of degree two and algebraic modular forms for the compact group $SO(6)$. We provide evidence for these conjectures in the form of dimension formulas and explicit computations of…

Let $N>1$ be an integer, and let $\Gamma = \Gamma_0 (N) \subset \SL_4 (\Z)$ be the subgroup of matrices with bottom row congruent to $(0,0,0,*)\mod N$. We compute $H^5 (\Gamma; \C) $ for a range of $N$, and compute the action of some Hecke…

A number of years ago, Kumar Murty pointed out to me that the computation of the fundamental group of a Hilbert modular surface ([7],IV,${\S}$6), and the computation of the congruence subgroup kernel of SL(2) ([6]) were surprisingly…

Let F be the imaginary quadratic field of discriminant -3 and OF its ring of integers. Let Gamma be the arithmetic group GL_3 (OF), and for any ideal n subset OF let Gamma_0 (n) be the congruence subgroup of level n consisting of matrices…

We construct certain subgroups of hyperbolic triangle groups which we call "congruence" subgroups. These groups include the classical congruence subgroups of SL_2(ZZ), Hecke triangle groups, and 19 families of arithmetic triangle groups…

The congruence subgroup property is established for the modular representations associated to any modular tensor category. This result is used to prove that the kernel of the representation of the modular group on the conformal blocks of…

Ng and Schauenburg proved that the kernel of a $(2+1)$-dimensional topological quantum field theory representation of $\mathrm{SL}(2, \mathbb{Z})$ is a congruence subgroup. Motivated by their result, we explore when the kernel of an…

We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).

We compute invariants of quadratic forms associated to orthogonal hypergeometric groups of degree five. This allows us to determine some commensurabilities between these groups, as well as to say when some thin groups cannot be conjugate to…

In a previous work we apply lattice point theorems on hyperbolic spaces obtaining asymptotic formulas for the number of integral representations of negative integers by quadratic and hermitian forms of signature (n,1) lying in Euclidean…

We present a procedure which enables the computation and the description of structures of isotropy subgroups of the group of complex orthogonal matrices with respect to the action of *congruence on Hermitian matrices. A key ingredient in…

We continue and complete our previous paper `Lifts of projective congruence groups' [2] concerning the question of whether there exist noncongruence subgroups of $\SL_2(\Z)$ that are projectively equivalent to one of the groups…

We extend a holomorphic projection argument of our earlier work to prove a novel divisibility result for non-holomorphic congruences of Hurwitz class numbers. This result allows us to establish Ramanujan-type congruences for Hurwitz class…

Using the rings of Lipschitz and Hurwitz integers $\mathbb{H}(\mathbb{Z})$ and $\mathbb{H}ur(\mathbb{Z})$ in the quaternion division algebra $\mathbb{H}$, we define several Kleinian discrete subgroups of $PSL(2,\mathbb{H})$

In two previous papers [AGM1, AGM2] we computed cohomology groups H^5(\Gamma_0 (N); \C) for a range of levels N, where \Gamma_0 (N) is the congruence subgroup of SL_4 (\Z) consisting of all matrices with bottom row congruent to (0,0,0,*)…

In this paper we outline the Hecke theory for Hermitian modular forms in the sense of Hel Braun for arbitrary class number of the attached imaginary-quadratic number field. The Hecke algebra turns out to be commutative. Its inert part has a…

We introduce the notions of symmetric and symmetrizable representations of $\text{SL}_2(\mathbb{Z})$. The linear representations of $\text{SL}_2(\mathbb{Z})$ arising from modular tensor categories are symmetric and have congruence kernel.…

A super-modular category is a unitary pre-modular category with M\"uger center equivalent to the symmetric unitary category of super-vector spaces. Super-modular categories are important alternatives to modular categories as any unitary…

The notion of formal Siegel modular forms for an arithmetic subgroup $\Gamma$ of the symplectic group of genus $n$ is a generalization of symmetric formal Fourier-Jacobi series. Assuming an upper bound on the affine covering number of the…