Related papers: Lifts of projective congruence groups
Assuming that every hyperbolic group is residually finite, we prove the congruence subgroup property for mapping class groups of hyperbolic surfaces of finite type. Under the same assumption, it follows that profinitely equivalent…
One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the…
We prove the existence of surface subgroups within any cocompact lattice $\Gamma$ in $\mathrm{SO}(2n,1)$ for $n\geq2$. This result addresses the cases missing from the work of Hamenst\"adt in 2015, who constructed surface subgroups in…
We say that a collection Gamma of geodesics in the hyperbolic plane H^2 is a modular pattern if Gamma is invariant under the modular group PSL_2(Z), if there are only finitely many PSL_2(Z)-equivalence classes of geodesics in Gamma, and if…
In the present work we describe 3-dimensional complex SL_2-varieties where the generic SL_2-orbit is a surface. We apply this result to classify the minimal 3-dimensional projective varieties with Picard-number 1 where a semisimple group…
Let $G$ be a group. The permutability graph of subgroups of $G$, denoted by $\Gamma(G)$, is a graph having all the proper subgroups of $G$ as its vertices, and two subgroups are adjacent in $\Gamma(G)$ if and only if they permute. In this…
The subgroup commutativity degree of a group G has been defined in [6] as the probability that two subgroups of G commute, or equivalently that the product of two subgroups is again a subgroup. Problem 4.3 of [6] asks whether there exist…
A unified treatment is given of low-weight modular forms on \Gamma_0(N), N=2,3,4, that have Eisenstein series representations. For each N, certain weight-1 forms are shown to satisfy a coupled system of nonlinear differential equations,…
We give a geometric perspective on the algebra of Drinfeld modular forms for congruence subgroups $\Gamma\leq \GL_2(\bbF_q[T]).$ In particular, we describe an isomorphism between the section ring of a line bundle on the stacky modular curve…
The level moduli space $A_g^{4,8}$ is mapped to the projective space by means of gradients of odd Theta functions, such a map turning out no to be injective in the genus 2 case. In this work a congruence subgroup $\Gamma$ is located between…
Classically, congruence subgroups of the modular group, which can be described by congruence relations, play important roles in group theory and modular forms. In reality, the majority of finite index subgroups of the modular group are…
In this note, we propose an extension of the relation between worldsheet global symmetries and structures over moduli spaces of superconformal field theories (SCFTs) to include noninvertible symmetries. The most familiar examples of such…
We obtain asymptotic formulas for the number of matrices in the congruence subgroup \[ \Gamma_0(Q) = \left\{ A\in\mathrm{SL}_2(\mathbb Z):~c \equiv 0 \pmod Q\right\}, \] which are of naive height at most $X$. Our result is uniform in a very…
We classify orbifold geometries which can be interpreted as moduli spaces of four-dimensional $\mathcal{N}\geq 3$ superconformal field theories up to rank 2 (complex dimension 6). The large majority of the geometries we find correspond to…
We analyse the global symmetry structure of two-dimensional Non-Linear Sigma Models with Wess-Zumino term. When the target space has a compact isometry without fixed points, the theory has a pair of (group-like) global symmetries and many…
Let K be a subgroup of the inhomogeneous Hecke group G_5 of finite index. Suppose that the geometric level of K is r. Then K is congruence if and only if K contains the principal congruence subgroup of level 2r.
We generalize the modular invariance approach to include the half-integral weight modular forms. Accordingly the modular group should be extended to its metaplectic covering group for consistency. We introduce the well-defined half-integral…
Modular symbols for the congruence subgroup $\Gamma_0(\mathfrak{n})$ of $GL_{2}(\mathbf{F}_q[T])$ have been defined by Teitelbaum. They have a presentation given by a finite number of generators and relations, in a formalism similar to…
In a previous paper, the author (together with Matthew Emerton) proved that the completed cohomology groups of SL_N(Z) are stable in fixed degree as N goes to infinity (Z may be replaced by the ring O_F of integers of any number field). In…
Motivated by the study of invariant rings of finite groups on the first Weyl algebras $A_{1}$ (\cite{AHV}) and finding interesting families of new noetherian rings, a class of algebras similar to $U(sl_{2})$ were introduced and studied by…