Let $n\geq 1$ and let $\ell$ be an odd prime. Let $G=\mathrm{PGSp}_{2n}(\mathbb{F}_\ell)$ or $\mathrm{GSp}_{2n}(\mathbb{F}_\ell)$, and fix a faithful transitive permutation representation $\pi:G\longrightarrow S_d$. We study degree-$d$ number fields whose Galois closures have Galois group $G$ and whose associated permutation representation is $\pi$. For $\sigma\in S_d$, write $\operatorname{ind}(\sigma)$ for its permutation index, namely $\operatorname{ind}(\sigma) = d-\#\{\text{orbits of $\sigma$ on $\{1,\ldots,d\}$}\}$. If $\tau$ denotes a symplectic transvection, or its image in the projective symplectic group, we prove that the number of such fields with absolute discriminant at most $X$ is bounded below by a constant multiple of $X^{1/(2n\,\operatorname{ind}(\pi(\tau)))}$. For the natural vector and projective actions, the exponents we obtain are asymptotically $1/(4n)$ of those predicted by the weak form of Malle's conjecture as $\ell\to\infty$. The fields are constructed from the mod-$\ell$ Galois representations attached to the Jacobians of a one-parameter family of hyperelliptic curves. The proof combines large symplectic monodromy for this family with a squarefree sieve.
Let $K/\mathbb Q$ be an imaginary quadratic extension and $p$ an odd prime. Write $\rho=\operatorname{Ind}_{G_K}^{G_{\mathbb Q}}\chi$, where $E/\mathbb Q_p$ is a finite extension and $\chi:G_K\to\mathcal O_E^\times$ is a continuous character. For a fixed $r\in\mathbb Z\setminus\{0\}$, let $\pi_{\rho,r}(X)$ denote the n...
We prove zero density estimates for $L$-functions of cuspidal automorphic representations $\pi$ of $\mathrm{GL}_2(\mathbb{A}_{\mathbb{Q}})$. We show that $N_\pi(\sigma, T) \ll T^{\frac{5}{2}(1 - \sigma) + o(1)}$, where $N_\pi(\sigma, T)$ denotes the number of zeros $\rho = \beta + i\gamma$ of $L(s,\pi)$ with $\beta \ge...
Let $\eta$ be a fixed positive integer. Let $S$ be a subset of $\mathbb{Z}$, $\star:S\times S\to \mathbb{Z}$ be a binary function, and $\zeta_{\eta}:\{\xi\in \mathbb{Z}:\gcd(\xi,\eta)=1\}\to \{0,1\}$ be a function. For a simple graph $G$ of order $n$, a bijective function $f:V(G)\to S$ (where $|S|=n$) is called an arit...
Let $F$ be a totally real Galois number field of degree $g\leq5$ and let $\ell$ be an odd prime. Let $E/F$ be an elliptic curve with an $F$-rational point of order $\ell$. Under explicit arithmetic and local hypotheses, together with an explicit non-vanishing condition modulo $\ell$, we prove that there are $\gg_{F,E,\...
Let $\mathbb{D}$ be a division ring with an involution $x \mapsto x^\star$, and $n \geq 2$ be an integer. Denote by $\mathcal{H}_n(\mathbb{D})$ the set of all $n$-by-$n$ Hermitian matrices with entries in $\mathbb{D}$, and by $\mathcal{A}\mathcal{H}_n(\mathbb{D})$ the set of all matrices $A-A^\star$ with $A \in \mathca...
Let $\mathcal{H}_k$ denote the set of normalized holomorphic Hecke cusp forms of weight $k$ for the full modular group $ \mathrm{SL}_2(\mathbb Z)$. For each $f\in\mathcal{H}_k$, let $\lambda_f(n)$ denote the corresponding eigenvalue of the normalized Hecke operator $T_n$. We prove nontrivial upper bounds for \[\sum_{f...
Max Wenqiang Xu, Jun-Ren Zheng· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
