Searcharxiv⌕ Search

arXiv subjects

Anwesh Ray

Publications and source records attributed to Anwesh Ray.

At least 37 records · Page 2Linked to original sources

Galois representations are surjective for almost all Drinfeld modules

This article advances the results of Duke on the average surjectivity of Galois representations for elliptic curves to the context of Drinfeld modules over function fields. Let $F$ be the rational function field over a finite field. I establish that for Drinfeld modules of rank $r \geq 2$, the $T$-adic Galois representation: $\widehatρ_{ϕ, T}: Gal(F^{sep}/F) \rightarrow GL_r(\mathbb{F}_q[[T]])$ is surjective for a density $1$ set of such modules. The proof utilizes Hilbert irreducibility (over function fields), Drinfeld's uniformization theory and sieve methods.

math.NT↗

Average divisibility in character tables of $\mathrm{GL}_2(\mathbb{F}_q)$

Let $q$ range over odd prime powers and let $G_q=\mathrm{GL}_2(\mathbb{F}_q)$. Fix a prime number $\ell$. Motivated by work of Peluse and Soundararajan on Miller's conjecture for character tables of symmetric groups, we study the proportion of entries in the character table of $G_q$ which are not divisible by $\ell$, in the sense of divisibility in the ring of algebraic integers. We prove that $N_\ell(q)=\frac{q^4}{2}+O_ε(q^{3+ε})$ for every $ε>0$, where $N_\ell(q)$ denotes the number of entries which are not divisible by $\ell$. We also show that the number of zero entries is $\frac{q^4}{2}+O_ε(q^{3+ε})$. Consequently, the proportion of all entries not divisible by $\ell$ tends to $1/2$, while the proportion of nonzero entries not divisible by $\ell$ tends to $1$. This differs significantly from the symmetric-group case, where almost every character-table entry is divisible by any fixed prime. We also prove an angular equidistribution result for the nonzero character values as $q\to\infty$. We show that the arguments become equidistributed in $[0,2π]$. This proves an analogue of Miller's question on the distribution of signs among the nonzero entries in character tables of symmetric groups.

math.RT↗

Asymptotic Vanishing of Stiefel--Whitney Classes for $\mathrm{GL}_n(\mathbb{F}_q)$

We study the asymptotic behavior of Stiefel--Whitney classes of irreducible orthogonal representations of the finite general linear groups $\mathrm{GL}_n(\mathbb{F}_q)$. Building on recent formulas expressing these classes in terms of character values at elements of order dividing $2$, we relate questions about characteristic classes to problems of $2$-adic divisibility of character values. For fixed odd $q$, we show that as $n \to \infty$, the values of irreducible orthogonal characters become highly divisible by powers of $2$ for almost all representations. As a consequence, the proportion of irreducible orthogonal representations with trivial first and second Stiefel--Whitney classes tends to $1$, and if $q \equiv 1 \pmod{4}$, the same holds for the fourth Stiefel--Whitney class. In particular, almost all orthogonal representations are spinorial in the large rank limit. In contrast, when the rank is fixed and $q \to \infty$, the behavior is markedly different. Focusing on $\mathrm{GL}_2(\mathbb{F}_q)$, we show that the second Stiefel--Whitney class vanishes with limiting probability $3/8$ among irreducible orthogonal representations.

math.RT↗

A Heuristic approach to the Iwasawa theory of elliptic curves

Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ an odd prime such that $E$ has good ordinary reduction at $p$ and the Galois representation on $E[p]$ is irreducible. Then Greenberg's $μ=0$ conjecture predicts that the Selmer group of $E$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ is cofinitely generated as a $\mathbb{Z}_p$-module. In this article we study this conjecture from a statistical perspective. We extend the heuristics of Poonen and Rains to obtain further evidence for Greenberg's conjecture. The key idea is that the vanishing of the $μ$-invariant can be detected by the intersection $M_1\cap M_2$ of two Iwasawa modules $M_1, M_2$ with additional properties in a given inner product space. The heuristic is based on showing that there is a probability measure on the space of pairs $(M_1, M_2)$ respect to which the event that $M_1\cap M_2$ is finite happens with probability $1$.

math.NT↗

Multivariable automatic arrays and transcendence

We study real numbers defined by multidimensional automatic arrays weighted by multiplicatively independent bases. Let $a_1, \dots, a_r\geq 2$ be integers such that $\log a_1, \dots, \log a_r$ are $\mathbb Q$-linearly independent. Given bounded automatic sequences $(p_n(i))_{n\geq 0}$ with $i=1, \dots , r$ and a function $f:\mathbb Z^r\rightarrow \mathbb Z$, we consider the associated series $α= \sum_{n_1,\dots,n_r \geq 0} \frac{f(p_{n_1}(1),\dots,p_{n_r}(r))}{a_1^{n_1}\cdots a_r^{n_r}}$. Using combinatorial properties of automatic sequences and Schmidt's Subspace Theorem, we prove that $α$ is either rational or transcendental. This extends a result of Adamczewski and Bugeaud to the multidimensional setting.

math.NT↗

On the distribution of shapes of totally real multiquadratic number fields

The shape of a number field $K$ of degree $m$ is defined as the equivalence class of the lattice of integers under linear operations generated by rotations, reflections, and positive scalar dilations. It may be viewed as a point in the space of shapes $\mathscr{S}_{m-1} = \mathrm{GL}_{m-1}(\mathbb Z)\backslash \mathrm{GL}_{m-1}(\mathbb R)/\mathrm{GO}_{m-1}(\mathbb{R})$. The double quotient space is equipped with a natural measure $μ$ which is induced from the Haar measure on $\mathrm{GL}_{m-1}(\mathbb R)$. We study the distribution of shapes of totally real multiquadratic number fields of degree $m:=2^n$ in which $2$ is unramified. We show that the distribution is governed by the restriction of $μ$ to a certain torus orbit in $\mathscr{S}_{m-1}$. Our result resolves a conjecture of Haidar.

math.NT↗

Selmer stability in families of congruent Galois representations

In this article I study the variation of Selmer groups in families of modular Galois representations that are congruent modulo a fixed prime $p \geq 5$. Motivated by analogies with Goldfeld's conjecture on ranks in quadratic twist families of elliptic curves, I investigate the stability of Selmer groups defined over $\mathbb{Q}$ via Greenberg's local conditions under congruences of residual Galois representations. Let $X$ be a positive real number. Fix a residual representation $\barρ$ and a corresponding modular form $f$ of weight $2$ and optimal level. I count the number of level-raising modular forms $g$ of weight $2$ that are congruent to $f$ modulo $p$, with level $N_g\leq X$, such that the $p$-rank of the Selmer groups of $g$ equals that of $f$. Under some mild assumptions on $\barρ$, I prove that this count grows at least as fast as $X (\log X)^{α- 1}$ as $X \to \infty$, for an explicit constant $α> 0$. The main result is a partial generalization of theorems of Ono and Skinner on rank-zero quadratic twists to the setting of modular forms and Selmer groups.

math.NT↗

On the distribution of shapes of sextic pure number fields

The shape of a number field $K$ of degree $n$ is defined as the equivalence class of the lattice of integers with respect to linear operations that are composites of rotations, reflections, and positive scalar dilations. The shape is a point in the space of shapes $\mathscr{S}_{n-1}$, which is the double quotient $\mathrm{GL}_{n-1}(\mathbb{Z}) \backslash \mathrm{GL}_{n-1}(\mathbb{R}) / \mathrm{GO}_{n-1}(\mathbb{R})$. We investigate the distribution of shapes of pure sextic number fields $K=\mathbb{Q}(\sqrt[6]{m})$, ordered by absolute discriminant. Such fields are partitioned into $20$ distinct Types determined by local conditions at $2$ and $3$, and an explicit integral basis is given in each case. For each Type, the shape of $K$ admits an explicit description in terms of shape parameters. Fixing the sign of $m$ and a Type, we prove that the corresponding shapes are equidistributed along a translated torus orbit in the space of shapes. The limiting distribution is given by an explicit measure expressed as the product of a continuous measure and a discrete measure.

math.NT↗

Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

We explore distribution questions for rational maps on the projective line $\mathbb{P}^1$ over $\mathbb{Q}$ within the framework of arithmetic dynamics, drawing analogies to elliptic curves. Specifically, we investigate counting problems for rational maps $ϕ$ of fixed degree $d \geq 2$ with prescribed reduction properties. Our main result establishes that the set of rational maps with minimal resultant has positive density. Additionally, for degree 2 rational maps, we perform explicit computations demonstrating that over $32.7\%$ possess a squarefree, and hence minimal, resultant.

math.NT↗

Distribution questions for isogeny graphs over finite fields

In the first part of the paper, we fix a non-CM elliptic curve $E/\mathbb{Q}$ and an odd prime $\ell$ and investigate the distribution of invariants associated to the $\ell$-volcano containing the reduction $E_p$, as $p$ ranges over primes of good ordinary reduction. Let $H(p)$ be the height of the volcano and let $d'(p)$ denote the relative position of $j(E_p)$ above the floor, and let $r\ge 0$ be an integer. Assuming that the $\ell$-adic Galois representation attached to $E$ is surjective, we derive an explicit formula for the natural density of primes $p$ for which $H(p)=r$ (resp.\ $d'(p)=r$). In the non-surjective case, we show that all sufficiently large heights occur with positive density. In the second part of the paper, we analyze the distribution of $\ell$-volcano heights over a finite field $\mathbb{F}_q$ and consider the limit as $q\to\infty$. Using analytic estimates for sums of Hurwitz class numbers in arithmetic progressions, we compute exact limiting densities for ordinary elliptic curves whose $\ell$-isogeny graph has a prescribed height $r$.

math.NT↗

Selmer stability for elliptic curves in Galois $\ell$-extensions

We study the behavior of Selmer groups of an elliptic curve $E/\mathbb{Q}$ in finite Galois extensions with prescribed Galois group. Fix a prime $\ell \geq 5$, a finite group $G$ with $\#G = \ell^n$, and an elliptic curve $E/\mathbb{Q}$ with $Sel_\ell(E/\mathbb{Q}) = 0$ and surjective mod-$\ell$ Galois representation. We show that there exist infinitely many Galois extensions $F/\mathbb{Q}$ with Galois group $Gal(F/\mathbb{Q}) \simeq G$ for which the $\ell$-Selmer group $Sel_\ell(E/F)$ also vanishes. We obtain an asymptotic lower bound for the number $M(G, E; X)$ of such fields $F$ with absolute discriminant $|Δ_F|\leq X$, proving that there is an explicit constant $δ>0$ such that $M(G, E; X) \gg X^{\frac{1}{\ell^{n-1}(\ell - 1)}} (\log X)^{δ- 1}$. The asymptotic for $M(G, E; X)$ matches the conjectural count for all $G$-extensions $F/\mathbb{Q}$ for which $|Δ_F|\leq X$, up to a power of $\log X$. This demonstrates that Selmer stability is not a rare phenomenon.

math.NT↗

Counting elliptic curves with prescribed entanglements

We establish asymptotic lower bounds for the number of elliptic curves over $\mathbb{Q}$ with prescribed entanglement of division fields, ordered by naive height. Such elliptic curves are obtained as $1$-parameter families arising from certain genus $0$ modular curves. We apply techniques from the geometry of numbers and sieve methods to prove that the number of elliptic curves with unexplained entanglements $\mathbb{Q}(E[2]) \cap \mathbb{Q}(E[3]) \neq \mathbb{Q}$ and $\mathbb{Q}(E[2]) \cap \mathbb{Q}(E[5]) \neq \mathbb{Q}$ and naive height $\leq X$, grows as $\gg X^{1/9}$ and $\gg X^{1/12}$, respectively.

math.NT↗

Arithmetic invariants of torus links

The classical analogy between knots and primes motivates the study of Alexander polynomials through an arithmetic perspective. In this article we study the two-parameter family of torus knots and links $T_{p,q}$ and analyze the asymptotic behaviour of the zeros of their Alexander polynomials $Δ_{p,q}(t)$, defined with respect to the total linking number covering. We prove that as $p,q\to\infty$ these zeros become equidistributed on the unit circle and derive an explicit formula for the limiting frequency with which primitive $r$-th roots of unity appear. To capture finer statistical information, we introduce the moment sequence of the zero distribution and compute its generating function in closed form. We further examine the Iwasawa theory of the corresponding branched covers, determining the Iwasawa invariants. The logarithmic Mahler measure of $Δ_{p,q}(t)$ vanishes identically and the associated homological growth in towers of abelian covers of $S^3$ branched along $T_{p,q}$ is subexponential.

math.NT↗

Diophantine stability for elliptic curves on average

Let $K$ be a number field and $\ell \geq 5$ a prime number. Mazur and Rubin introduced the notion of diophantine stability for a variety $X_{/K}$ at a prime $\ell$. We show that there is a positive density set of elliptic curves $E_{/\mathbb{Q}}$ of rank $1$ such that $E_{/K}$ is diophantine stable at $\ell$. This has implications for Hilbert's Tenth Problem over $\mathscr{O}_K$. This problem asks whether there exists an algorithm that decides in finite time whether a finite system of Diophantine equations over $\mathscr{O}_K$ has a solution.

math.NT↗

Remarks on Greenberg's conjecture for Galois representations associated to elliptic curves

Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ be an odd prime number at which $E$ has good ordinary reduction. Let $Sel_{p^\infty}(\mathbb{Q}_\infty, E)$ denote the $p$-primary Selmer group of $E$ considered over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. The (algebraic) \emph{$μ$-invariant} of $Sel_{p^\infty}(\mathbb{Q}_\infty, E)$ is denoted $μ_p(E)$. Denote by $\barρ_{E, p}:Gal(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow GL_2(\mathbb{Z}/p\mathbb{Z})$ the Galois representation on the $p$-torsion subgroup of $E(\bar{\mathbb{Q}})$. Greenberg conjectured that if $\barρ_{E, p}$ is reducible, then there is a rational isogeny $E\rightarrow E'$ whose degree is a power of $p$, and such that $μ_p(E')=0$. In this article, we study this conjecture by showing that it is satisfied provided some purely Galois theoretic conditions hold that are expressed in terms of the representation $\barρ_{E,p}$. In establishing our results, we leverage a theorem of Coates and Sujatha on the algebraic structure of the fine Selmer group. Furthermore, in the case when $\barρ_{E, p}$ is irreducible, we show that our hypotheses imply that $μ_p(E)=0$ provided the classical Iwasawa $μ$-invariant vanishes for the splitting field $\mathbb{Q}(E[p]):=\bar{\mathbb{Q}}^{ker\barρ_{E,p}}$.

math.NT↗

The second moment of cubic Dirichlet L-functions over function fields

In this article, we study the second moment of cubic Dirichlet L-functions at the central point $s=1/2$ over the rational function field $\mathbb{F}_q(T)$, where $q$ is a power of an odd prime satisfying $q \equiv 2 \pmod{3}$. Our result extends prior work of David, Florea and Lalin, who obtained an asymptotic formula for the first moment. Our approach relies on analytic techniques (Perron's formula, approximate functional equation, etc), adapted to the function field context. A key step in the construction is to relate second moment to certain averages of Gauss sums, which are estimated in loc. cit. using results of Kubota and Hoffstein.

math.NT↗

Mazur's growth number conjecture and congruences

Motivated by the work of Greenberg-Vatsal and Emerton-Pollack-Weston, I investigate the extent to which Mazur's conjecture on the growth of Selmer ranks in $\mathbb{Z}_p$-extensions of an imaginary quadratic field persists under $p$-congruences between Galois representations. As a first step, I establish Mazur's conjecture for certain triples $(E, K, p)$ under explicit hypotheses. Building on this, I prove analogous results for Greenberg Selmer groups attached to modular forms that are congruent mod $p$ to $E$, including all specializations arising from Hida families of fixed tame level. In particular, I show that the Mordell-Weil ranks in non-anticyclotomic $\mathbb{Z}_p$-extensions of $K$ remain bounded for elliptic curves $E'$ such that $E[p]$ and $E'[p]$ are isomorphic as Galois modules.

math.NT↗