Related papers: Counting congruence subroups

Let A be a quasi-finite R-algebra (i.e., a direct limit of module finite algebras) with identity. Let I_i, i=0,...,m, be two-sided ideals of A, \GL_n(A,I_i) the principal congruence subgroup of level I_i in GL_n(A) and E_n(A,I_i) be the…

We describe a novel method for bounding the dimension $d$ of the largest simple Hecke submodule of $S_2(\Gamma_0(N);\mathbb{Q})$ from below. Such bounds are of interest because of their relevance to the structure of $J_0(N)$, for instance.…

Let $G(n)=\sigma (n)/(n \log \log n )$. Robin made hypothesis that $G(n)<e^\gamma$ for all integer $n>5040$. This article divides all colossally abundant numbers in to three disjoint subsets CA1, CA2 and CA3, and shows that Robin hypothesis…

The analytic von Neumann regular closure $R(\Gamma)$ of a complex group algebra $\C\Gamma$ was introduced by Linnell and Schick. This ring is the smallest $*$-regular subring in the algebra of affiliated operators $U(\Gamma)$ containing…

Let $u\not\equiv -\infty$ be a subharmonic function on the complex plane $\mathbb C$. Then for any function $r\colon\mathbb C\to (0,1]$ satisfying the condition $$\inf_{z\in\mathbb C}\frac{\ln r(z)}{\ln(2+|z|)}>-\infty,$$ there is an entire…

The Robin criterion states that the Riemann hypothesis is equivalent to the inequality $\sigma(n) < e^\gamma n \log \log n$ for all $n>5040$, where $\sigma(n)$ is the sum of divisors of $n$, and $\gamma$ is the Euler--Mascheroni constant.…

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…

The normal covering number $\gamma(G)$ of a finite group $G$ is the minimum number of proper subgroups whose conjugates cover the group. We give various estimates for $\gamma(S_n)$ and $\gamma(A_n)$ depending on the arithmetic structure of…

Let $\delta>0$ and $\sigma=\frac{1}{2}+\tfrac{\delta}{\log T}$. We prove that, for any $\alpha>0$ and $V\sim \alpha\log \log T$ as $T\to\infty$, $\frac{1}{T}\text{meas}\big\{t\in [T,2T]: \log|\zeta(\sigma+\rm{i} \tau)|>V\big\}\geq…

We construct a resolution of irreducible complex representations of the symmetric group $S_n$ by restrictions of representations of $GL_n(\mathbb{C})$ (where $S_n$ is the subgroup of permutation matrices). This categorifies a recent result…

In 1933 B.~H.~Neumann constructed uncountably many subgroups of ${\rm SL}_2(\mathbb Z)$ which act regularly on the primitive elements of $\mathbb Z^2$. As pointed out by Magnus, their images in the modular group ${\rm PSL}_2(\mathbb Z)\cong…

Robin's criterion states that the Riemann Hypothesis (RH) is true if and only if Robin's inequality $\sigma(n):=\sum_{p|n}p<e^{\gamma} n \log \log n$ is satisfied for $n > 5040$, where $\gamma$ denotes the Euler-Mascheroni constant. We show…

We introduce and study certain hyperbolic versions of automorphic Lie algebras related to the modular group. Let $\Gamma$ be a finite index subgroup of $\mathrm{SL}(2,\mathbb{Z})$ with an action on a complex simple Lie algebra $\mathfrak…

Let $\gamma_n$ be the standard Gaussian measure on $\mathbb R^n$ and let $(Q_t)$ be the Ornstein--Ulhenbeck semigroup. Eldan and Lee recently established that for every non--negative function $f$ of integral $1$ and any time $t$ the…

Let $R$ be a finite group, and let $T$ be a subgroup of $R$. We show that there are at most \[ 7.3722[R:T]^{\frac{\log_2[R:T]}{4}+1.8919} \] subgroups of $R$ containing $T$.

Robin's criterion states that the Riemann hypothesis is equivalent to $\sigma(n) < e^\gamma n \log\log n$ for all integers $n \geq 5041$, where $\sigma(n)$ is the sum of divisors of $n$ and $\gamma$ is the Euler-Mascheroni constant. We…

Let $\lambda$ be the Liouville function, defined as $\lambda(n) := (-1)^{\Omega(n)}$ where $\Omega(n)$ is the number of prime factors of $n$ with multiplicity. In 2021, Helfgott and Radziwi{\l}{\l} proved that $$\sum_{n\leq x} \frac{1}{n}…

For any positive integer $n$, we exhibit a cofinite subgroup $\Gamma_n$ of the mapping class group of a surface of genus at most two such that $\Gamma_n$ admits an epimorphism onto a free group of rank $n$. We conclude that…

The normal covering number $\gamma(G)$ of a finite, non-cyclic group $G$ is the least number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We prove that there is a positive constant $c$…

We derive explicit isomorphisms between certain congruence subgroups of the Siegel modular group, the Hermitian modular group over an arbitrary imaginary-quadratic number field and the modular group over the Hurwitz quaternions of degree 2…