A polynomial with coefficients in the ring of integers $\mathcal{O}_{K}$ of a global field $K$ is called intersective if it has a root modulo every finite-indexed subgroup of $\mathcal{O}_{K}$. We prove two criteria for a polynomial $f(x)\in\mathcal{O}_{K}[x]$ to be intersective. One of these criteria is in terms of the Galois group of the splitting field of the polynomial, whereas the second criterion is verifiable entirely in terms of constants which depend upon $K$ and the polynomial $f$. The proofs use the theory of global field extensions and upper bound on the least prime ideal in the Chebotarev density theorem.
We consider families of exponential sums indexed by a subgroup of invertible classes modulo some prime power $q$. For fixed $d$, we restrict to moduli $q$ so that there is a unique subgroup of invertible classes modulo $q$ of order $d$. We study distribution properties of these families of sums as $q$ grows and we establish equidistribution results in some regions of the complex plane which are described as the image of a multi-dimensional torus via an explicit Laurent polynomial. In some cases, the region of equidistribution can be interpreted as the one delimited by a hypocycloid, or as a Mi…
We obtain new results about the representation of almost all residues modulo a prime $p$ by a product of a small integer and also an element of small multiplicative subgroup of $({\mathbb Z}/p{\mathbb Z})^*$. These results are based on some ideas, and their modifications, of a recent work of J. Cilleruelo and M. Z. Garaev (2014),
We consider the reduction of an elliptic curve defined over the rational numbers modulo primes in a given arithmetic progression and investigate how often the subgroup of rational points of this reduced curve is cyclic as a special case of Serre's Cyclicity Conjecture.
We obtain a series of estimates on the number of small integers and small order Farey fractions which belong to a given coset of a subgroup of order $t$ of the group of units of the residue ring modulo a prime $p$, in the case when $t$ is small compared to $p$. We give two applications of these results: to the simultaneous distribution of two high degree monomials $x^{k_1}$ and $x^{k_2}$ modulo $p$ and to a question of J.Holden and P.Moree on fixed points of the discrete logarithm.
We obtain a series of estimates on the number of small integers and small order Farey fractions which belong to a given coset of a subgroup of order $t$ of the group of units of the residue ring modulo a prime $p$, in the case when $t$ is small compared to $p$. We give two applications of these results: to the simultaneous distribution of two high degree monomials $x^{k_1}$ and $x^{k_2}$ modulo $p$ and to a question of J. Holden and P. Moree on fixed points of the discrete logarithm.
We estimate double sums $$ S_χ(a, I, G) = \sum_{x \in I} \sum_{λ\in G} χ(x + aλ), \qquad 1\le a < p-1, $$ with a multiplicative character $χ$ modulo $p$ where $I= \{1,\ldots, H\}$ and $G$ is a subgroup of order $T$ of the multiplicative group of the finite field of $p$ elements. A nontrivial upper bound on $S_χ(a, I, G)$ can be derived from the Burgess bound if $H \ge p^{1/4+\varepsilon}$ and from some standard elementary arguments if $T \ge p^{1/2+\varepsilon}$, where $\varepsilon>0$ is arbitrary. We obtain a nontrivial estimate in a wider range of parameters $H$ and $T$. We also estimate dou…
Let $K$ be a number field, and let $G\subset K^\times$ be a finitely generated subgroup. Fix some prime number $\ell$, and consider the set of primes $\mathfrak{p}$ of $K$ satisfying the following property: the reduction of $G$ modulo $\mathfrak{p}$ is well-defined and has size coprime to $\ell$. We give a closed--form expression for the density of this set.
Let $D$ be an odd square-free positive integer and $C$ a divisor of $D$. For any quadratic character $χ$ modulo $C$, we prove that the $χ$-part of the group $J_0(DC)_\text{tor}$ of torsion points of $J_0(DC)$ coincides with the $χ$-part of its cuspidal subgroup, away from those primes of bad reduction or where possible congruences between oldforms and newforms occur.
Given a finitely generated multiplicative subgroup of rational numbers $Γ$, assuming the Generalized Riemann Hypothesis, we determine an asymptotic formula for average over prime numbers, powers of the order of the reduction group modulo $p$. The problem was considered in the case of rank $1$ by Pomerance and Kurlberg. In the case when $Γ$ contains only positive numbers, we give an explicit expression for the involved density in terms of an Euler product. We conclude with some numerical computations.
We sharpen the bounds of J. Bourgain, A. Gamburd and P. Sarnak (2016) on the possible number of nodes outside the "giant component" and on the size of individual connected components in the suitably defined functional graph of Markoff triples modulo $p$. This is a step towards the conjecture that there are no such nodes at all.
In [12], Jacquet--Piatetskii-Shapiro--Shalika defined a family of compact open subgroups of $p$-adic general linear groups indexed by non-negative integers, and established the theory of local newforms for irreducible generic representations. In this paper, we extend their results to all irreducible representations. To do this, we define a new family of compact open subgroups indexed by certain tuples of non-negative integers. For the proof, we introduce the Rankin--Selberg integrals for Speh representations.
We study multiplicative dependence between elements in orbits ofalgebraic dynamical systems over number fields modulo a finitely generated multiplicative subgroup of the field. We obtain a series of results, many of which may be viewed as a blend of Northcott's theorem on boundedness of preperiodic points and Siegel's theorem on finiteness of solutions to $S$-unit equations.
We obtain a new bound for the number of solutions to polynomial equations in cosets of multiplicative subgroups in finite fields, which generalises previous results of P. Corvaja and U. Zannier (2013). We also obtain a conditional improvement of recent results of J. Bourgain, A. Gamburd and P. Sarnak (2016) and S. V. Konyagin, S. V. Makarychev, I. E. Shparlinski and I. V. Vyugin (2019) on the structure of solutions to the reduction of the Markoff equation $x^2 + y^2 + z^2 = 3 x yz$ modulo a prime $p$.
Let $F$ be a local field with residue characteristic $p$, let $C$ be an algebraically closed field of characteristic $p$, and let $\mathbf{G}$ be a connected reductive $F$-group. In a previous paper, Florian Herzig and the authors classified irreducible admissible $C$-representations of $G=\mathbf{G}(F)$ in terms of supercuspidal representations of Levi subgroups of $G$. Here, for a parabolic subgroup $P$ of $G$ with Levi subgroup $M$ and an irreducible admissible $C$-representation $τ$ of $M$, we determine the lattice of subrepresentations of $\mathrm{Ind}_P^G τ$ and we show that $\mathrm{Ind…
Let $Γ$ be a finite rank subgroup of $\overline{\mathbb{Q}}^*$. We prove that the multiplicative group of the field generated by all elements in the divisible hull of $Γ$, is free abelian modulo this divisible hull. This proves that a necessary condition for Rémond's generalized Lehmer conjecture is satisfied.
Let $q$ be a prime. We classify the odd primes $p\neq q$ such that the equation $x^2\equiv q\pmod{p}$ has a solution, concretely, we find a subgroup $\mathbb{L}_{4q}$ of the multiplicative group $\mathbb{U}_{4q}$ of integers relatively prime with $4q$ (modulo $4q$) such that $x^2\equiv q\pmod{p}$ has a solution iff $p\equiv c\pmod{4q}$ for some $c\in\mathbb{L}_{4q}$. Moreover, $\mathbb{L}_{4q}$ is the only subgroup of $\mathbb{U}_{4q}$ of half order containing $-1$. Considering the ring $\mathbb{Z}[\sqrt{2}]$, for any odd prime $p$ it is known that the equation $x^2\equiv 2\pmod{p}$ has a solu…
We obtain effective bounds on the heights of algebraic integers whose orbits contain multiplicatively dependent values modulo S-integers. Our method is based on a new upper bound on the so-called S-height of polynomial values over the ring of integers of $\mathbb{K}$. Our results provide an effective variant of a recent result of A.Bérczes, A.Ostafe, I.E.Shparlinski and J.H.Silverman (arXiv:1811.04971) on multiplicative dependence modulo a finitely generated subgroup by eliminating the use of non-effective results by K.F.Roth and G.Faltings.
Let F be a finite field and let b and N be integers. We prove explicit estimates for the probability that the number of rational points on a randomly chosen elliptic curve E over F equals b modulo N. The underlying tool is an equidistribution result on the action of Frobenius on the N-torsion subgroup of E. Our results subsume and extend previous work by Achter and Gekeler.
Let k be a field not of characteristic two and L be a set of almost all rational primes invertible in k. Suppose we have a variety X/k and strictly compatible system {M_ell -> X : ell in L} of constructible F_ell-sheaves. If the system is orthogonally or symplectically self-dual, then the geometric monodromy group of M_ell is a subgroup of a corresponding isometry group G_ell over F_ell, and we say it has big monodromy if it contains the derived subgroup DG_ell=[G_ell,G_ell]. We prove a theorem which gives sufficient conditions for M_ell to have big monodromy. We apply the theorem to explicit …
For finitely generated subgroups $W_1, \ldots , W_t$ of $\mathbb{Q}^{\times}$, integers $k_1, \ldots , k_t$, a Galois extension $F$ of $\mathbb{Q}$ and a union of conjugacy classes $C \subset \text{Gal}(F/\mathbb{Q})$, we develop methods for determining if there exists infinitely many primes $p$ such that the index of the reduction of $W_i$ modulo $p$ divides $k_i$ and such that the Artin symbol of $p$ on $F$ is contained in $C$. The results are a multivariable generalization of H.W. Lenstra's work. As an application, we determine all integers $a_1, \ldots , a_n$ such that $\text{ord}_p(a_1) =…
We say that a set $S$ is additively decomposed into two sets $A$ and $B$, if $S = \{a+b : a\in A, \ b \in B\}$. Here we study additively decompositions of multiplicative subgroups of finite fields. In particular, we give some improvements and generalisations of results of C. Dartyge and A. Sarkozy on additive decompositions of quadratic residues and primitive roots modulo $p$. We use some new tools such the Karatsuba bound of double character sums and some results from additive combinatorics.
E. Artin conjectured that any integer $a >1$ which is not a perfect square is a primitive root modulo $p$ for infinitely many primes $p.$ Let $f_a(p)$ be the multiplicative order of the non-square integer $a$ modulo the prime $p.$ M. R. Murty and S. Srinivasan [10] showed that if $\sum_{p<x} \frac 1 {f_a(p)}= O(x^{1/4})$ then Artin's conjecture is true for $a.$ We relate the Murty-Srinivasan condition to sums involving the cyclotomic periods from the subfields of $\mathbb Q(e^{2πi/p})$ corresponding to the subgroups $<a> \subseteq \mathbb F*_p.$
We use a result of Thaine to give an alternative proof of the fact that, for a prime p>3 congruent to 3 modulo 4, the component e_{(p+1)/2} of the p-Sylow subgroup of the ideal class group of \mathbb Q(ζ_{p}) is trivial.
Let A be an abelian variety over a number field F with End(A/F) commutative. Let S be a subgroup of A(F) and let x be a point of A(F). Suppose that for almost all places v of F the reduction of x modulo v lies in the reduction of S modulo v. In this paper we prove that x must then lie in S + A(F)_tors. This provides a partial answer to a generalization (due to W. Gajda) of the support problem of Erdos.
We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed valued fields with the Frobenius map, in the pure module language augmented with functions yielding components for a p-basis and a chain of subgroups indexed by the valuation group.
For positive integers $K$ and $L$, we introduce and study the notion of $K$-multiplicative dependence over the algebraic closure $\overline{\mathbb{F}}_p$ of a finite prime field $\mathbb{F}_p$, as well as $L$-linear dependence of points on elliptic curves in reduction modulo primes. One of our main results shows that, given non-zero rational functions $φ_1,\ldots,φ_m, \varrho_1,\ldots,\varrho_n\in\mathbb{Q}(X)$ and an elliptic curve $E$ defined over the integers $\mathbb{Z}$, for any sufficiently large prime $p$, for all but finitely many $α\in\overline{\mathbb{F}}_p$, at most one of the foll…
Let C be a smooth, projective and geometrically integral curve defined over a finite field F. For each closed point P of C, let R be the ring of functions that are regular outside P, and let K be the completion at P of the function field of C. In order to study groups of the form GL2(R), Serre describes the quotient graph GL2(R)\t, where t is the Bruhat-Tits tree defined from SL2(K). In particular, Serre shows that GL2(R)\t is the union of a finite graph and a finite number of ray shaped subgraphs, which are called cusps. It is not hard to see that finite index subgroups inherit this property.…
Let $G$ be a $\mathbb{Q}_p$-split reductive group with connected centre and Borel subgroup $B=TN$. We construct a right exact functor $D^\vee_Δ$ from the category of smooth modulo $p^n$ representations of $B$ to the category of projective limits of finitely generated étale $(φ,Γ)$-modules over a multivariable (indexed by the set of simple roots) commutative Laurent-series ring. These correspond to representations of a direct power of $\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ via an equivalence of categories. Parabolic induction from a subgroup $P=L_PN_P$ corresponds to a basechange …
In this article we study the combinatorics of congruence subgroups of the modular group. We consider the notion of minimal monomial solutions. These are the solutions of a matrix equation (also appearing in the study of Coxeter friezes), modulo an integer $N$, whose components are identical and minimal for this property. Our objective is to study the integers $N$ for which all these solutions have a certain irreducibility property.
We will construct a family of irreducible generic supercuspidal representations of the symplectic groups over non-archimedian local field $F$ of odd residual characteristic. The supercuspidal representations are compactly induced from irreducible representations of the hyperspecial compact subgroup which are inflated from irreducible representations of finite symplectic groups over the finite quotient ring of the integer ring of $F$ modulo high powers of the prime element.
