Let p be an odd prime number and let S be a finite set of prime numbers congruent to 1 modulo p. We prove that the group G_S(Q)(p) has cohomological dimension 2 if the linking diagram attached to S and p satisfies a certain technical condition, and we show that G_S(Q)(p) is a duality group in these cases. Furthermore, we investigate the decomposition behaviour of primes in the extension Q_S(p)/Q and we relate the cohomology of G_S(Q)(p) to the etale cohomology of the scheme Spec(Z)-S. Finally, we calculate the dualizing module.
The aim of this paper is to provide sufficient conditions for when a polynomial or rational function over a field K is prime using its order of vanishing at infinity and the resultant.
Let $N$ be a non-squarefree positive integer and let $\ell$ be an odd prime such that $\ell^2$ does not divide $N$. Consider the Hecke ring $\mathbb{T}(N)$ of weight $2$ for $Γ_0(N)$, and its rational Eisenstein primes of $\mathbb{T}(N)$ containing $\ell$, defined in Section 3. If $\mathfrak{m}$ is such a rational Eisenstein prime, then we prove that $\mathfrak{m}$ is of the form $(\ell, ~\mathcal{I}^D_{M, N})$, where the ideal $\mathcal{I}^D_{M, N}$ of $\mathbb{T}(N)$ is also defined in Section 3. Furthermore, we prove that $\mathcal{C}(N)[\mathfrak{m}] \neq 0$, where $\mathcal{C}(N)$ is the …
In this paper, we use the methods of Andrade, Rudnick and Soundarajan to prove a Theorem about Lower bounds of moments of quadratic Dirichlet L-functions associated to monic irreducible polynomials over function fields.
Given a pair of regular quadratic forms over $\mathbb{Q}$ which are in the same genus and a finite set of primes $P$, we show that there is an effective way to determine a rational equivalence between these two quadratic forms which are integral over every prime in $P$. This answers one of the principal questions posed by Conway and Sloane in their book {\em Sphere packings, lattices and groups}, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Vol 290, Springer-Verlag, New York, 1999; page 402.
Let $\ell \geq 5$ be a prime and let $N$ be a non-squarefree integer not divisible by $\ell$. For a rational Eisenstein prime $\mathfrak{m}$ of the Hecke ring $\mathbb{T}(N)$ of level $N$ acting on $J_0(N)$, we precisely compute the dimension of the kernel $J_0(N)[\mathfrak{m}]$ under a mild assumption. In the case of level $qr^2$ which violates our mild assumption, we propose a conjecture based on Sage computations. Assuming this conjecture, we complete our computation in all the remaining cases.
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.
The set of primes where a hypergeomeric series with rational parameters is $p$-adically bounded is known by [10] to have a Dirichlet density. We establish a formula for this Dirichlet density and conjecture that it is rare for the density to be large. We prove this conjecture for hypergeometric series whose parameters have denominators equal to a prime of the form $p = 2q^r + 1$, where $q$ is an odd prime, by establishing an upper bound on the density of bounded primes in this case. The general case remains open. This paper is the output of an undergraduate research course taught by the first …
Let $[K:\mathbb{Q}]=p$ be a prime number and let $E/K$ be an elliptic curve with $j(E) \in \mathbb{Q}$. We determine the all possibilities for $E(K)_{tors}$. We obtain these results by studying Galois representations of $E$ and of it's quadratic twists.
We show that, for any fixed $\varepsilon > 0$ and almost all primes $p$, the $g$-ary expansion of any fraction $m/p$ with $\gcd(m,p) = 1$ contains almost all $g$-ary strings of length $k < (5/24 - \varepsilon) \log_g p$. This complements a result of J. Bourgain, S. V. Konyagin, and I. E. Shparlinski that asserts that, for almost all primes, all $g$-ary strings of length $k < (41/504 -\varepsilon) \log_g p$ occur in the $g$-ary expansion of $m/p$.
Let K be a number field. We consider a local-global principle for elliptic curves E/K that admit (or do not admit) a rational isogeny of prime degree n. For suitable K (including K=Q), we prove that this principle holds when n = 1 mod 4, and for n < 7, but find a counterexample when n = 7 for an elliptic curve with j-invariant 2268945/128. For K = Q we show that, up to isomorphism, this is the only counterexample.
On Greenberg's conjecture for rational elliptic curves at Eisenstein primes
University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）；Morningside Center of Mathematics（中国科学院数学与系统科学研究院）；Academy of Mathematics and Systems Sciences, Chinese Academy of Science
Any ideal in a number field can be factored into a product of prime ideals. In this paper we study the prime ideal shortest vector problem (SVP) in the ring $ \Z[x]/(x^{2^n} + 1) $, a popular choice in the design of ideal lattice based cryptosystems. We show that a majority of rational primes lie under prime ideals admitting a polynomial time algorithm for SVP. Although the shortest vector problem of ideal lattices underpins the security of Ring-LWE cryptosystem, this work does not break Ring-LWE, since the security reduction is from the worst case ideal SVP to the average case Ring-LWE, and i…
Let $E/\mathbb{Q}$ be an elliptic curve, and $p$ a prime where $E$ has good reduction, and assume that $E$ admits a rational $p$-isogeny. In this paper, we study the anticyclotomic Iwasawa theory of $E$ over an imaginary quadratic field in which $p$ splits, which we relate to the anticyclotomic Iwasawa theory of characters following the method of Greenberg--Vatsal. As a result of our study, we obtain a proof, under mild hypotheses, of Perrin-Riou's Heegner point main conjecture, as well as a $p$-converse to the theorem of Gross--Zagier and Kolyvagin and the $p$-part of the Birch--Swinnerton-Dy…
In his work about Galois representations, Greenberg conjectured the existence, for any odd prime p and any positive integer t, of a multiquadratic p-rational number field of degree 2 t. In this article, we prove that there exists infinitely many primes p such that the triquadratic field Q(p(p + 2), p(p -- 2), i) is p-rational. To do this, we use an analytic result, proved apart in section \S4, providing us with infinitely many prime numbers p such that p + 2 et p -- 2 have ''big'' square factors. Therefore the related imaginary quadratic subfields Q(i $\sqrt$ p + 2), Q(i $\sqrt$ p -- 2) and Q(…
For each odd prime $p$, we prove the existence of infinitely many real quadratic fields which are $p$-rational. Explicit imaginary and real bi-quadratic $p$-rational fields are also given for each prime $p$. Using a recent method developed by Greenberg, we deduce the existence of Galois extensions of $\mathbf{Q}$ with Galois group isomorphic to an open subgroup of $GL_n(\mathbf{Z_p})$, for $n =4$ and $n =5$ and at least for all the primes $p <192.699.943$.
Let $k$ be a field and $G$ be a finite group acting on the rational function field $k(x_g\,|\,g\in G)$ by $k$-automorphisms $h(x_g)=x_{hg}$ for any $g,h\in G$. Noether's problem asks whether the invariant field $k(G)=k(x_g\,|\,g\in G)^G$ is rational (i.e. purely transcendental) over $k$. In 1974, Lenstra gave a necessary and sufficient condition to this problem for abelian groups $G$. However, even for the cyclic group $C_p$ of prime order $p$, it is unknown whether there exist infinitely many primes $p$ such that $\mathbb{Q}(C_p)$ is rational over $\mathbb{Q}$. Only known $17$ primes $p$ for …
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.
Let f(t) be a rational function of degree at least 2 with rational coefficients. For a given rational number x_0, define x_{n+1}=f(x_n) for each nonnegative integer n. If this sequence is not eventually periodic, then the difference x_{n+1}-x_n has a primitive prime factor for all sufficiently large n. This result provides a new proof of the infinitude of primes for each rational function f of degree at least 2.
For K a cyclic cubic number field with odd class number containing a unit w such that Norm(w)=Norm(1-w)=-1, we prove that the density of rational primes p that satisfy the given spin relation is equal to 1/2. Furthermore, we prove that this density restricted to rational primes that are 1 mod 4 is 1/4 and this density restricted to rational primes that are -1 mod 4 is 3/4.
A rationality condition is derived for the existence of odd perfect numbers involving the square root of a product, which consists of a sequence of repunits, multiplied by twice the base of one of the repunits. This constraint also provides an upper bound for density of odd integers which could satisfy ${{σ(N)}\over N}=2$, where $N$ belongs to a fixed interval with a lower limit greater than $10^{300}$. Characteristics of prime divisors of repunits are used to establish whether the product containing the repunits can be a perfect square. It is shown that the arithmetic primitive divisors with …
Let $b \geq 2$ be an integer and $S$ be a finite non-empty set of primes not containing divisors of $b$. For any non-dense set $A \subset [0,1)$ such that $A \cap \mathbb{Q}$ is invariant under $\times b$ operation, we prove the finiteness of rational numbers in $A$ whose denominators can only be divided by primes in $S$. A quantitative result on the largest prime divisors of the denominators of rational numbers in $A$ is also obtained.
We use the method of quadratic Chabauty on the quotients $X_0^+(N)$ of modular curves $X_0(N)$ by their Fricke involutions to provably compute all the rational points of these curves for prime levels $N$ of genus four, five, and six. We find that the only such curves with exceptional rational points are of levels $137$ and $311$. In particular there are no exceptional rational points on those curves of genus five and six. More precisely, we determine the rational points on the curves $X_0^+(N)$ for $N=137,173,199,251,311,157,181,227,263,163,197,211,223,269,271,359$.
In this work, we consider the rational points on elliptic curves over finite fields F_{p}. We give results concerning the number of points on the elliptic curve y^2{\equiv}x^3+a^3(mod p)where p is a prime congruent to 1 modulo 6. Also some results are given on the sum of abscissae of these points. We give the number of solutions to y^2{\equiv}x^3+a^3(modp), also given in ([1], p.174), this time by means of the quadratic residue character, in a different way, by using the cubic residue character. Using the Weil conjecture, one can generalize the results concerning the number of points in F_{p} …
We show that, for every prime number p, there exist infinitely many K3 surfaces over Q whose rational points lie dense in the space of p-adic points. We also show that there exists a K3 surface over Q whose rational points lie dense in the space of p-adic points for all prime numbers p with p congruent to 3 mod 4 and greater than 7.
Let $X$ be a scheme of finite type over $\mathbf{Z}$. For $p \in \mathcal{P}$ the set of prime numbers, let $N_{X}(p)$ be the number of $\mathbf{F}_{p}$-points of $X/\mathbf{F}_{p}$. For fixed $n\geq 1$ and $a_{1}, \ldots, a_{n} \in \mathbf{Z}$, we study the set $\bigcap_{i=1}^{n}\lbrace p\in\mathcal{P}-Σ_{X}, N_{X}(p)\neq a_{i}\ [\bmod\ p]\rbrace$ where $Σ_{X}$ is the finite set of primes of bad reduction for $X$. In case $\dim X\leq 3$, we show the set is either empty or has positive lower-density. We also address the question of the size of the smallest prime in that set. Using sieve method…
The sequence of the primes $p$ for which a variety over $\mathbb{Q}$ has no $p$-adic point plays a fundamental role in arithmetic geometry. This sequence is deterministic, however, we prove that if we choose a typical variety from a family then the sequence has random behavior. We furthermore prove that this behavior is modelled by a random walk in Brownian motion. This has several consequences, one of them being the description of the finer properties of the distribution of the primes in this sequence via the Feynman-Kac formula.
Let $N$ be a positive integer, $\mathbb{A}$ be a subset of $\mathbb{Q}$ and $α=\dfrac{α_{1}}{α_{2}}\in \mathbb{A}\setminus \{0,N\}$. $N$ is called an $α$-Korselt number (equivalently $α$ is said an $N$-Korselt base) if $α_{2}p-α_{1}$ divides $α_{2}N-α_{1}$ for every prime divisor $p$ of $N$. By the Korselt set of $N$ over $\mathbb{A}$, we mean the set $\mathbb{A}$-$\mathcal{KS}(N)$ of all $α\in \mathbb{A}\setminus \{0,N\}$ such that $N$ is an $α$-Korselt number. In this paper we determine explicitly for a given prime number $q$ and an integer $l\in \mathbb{N}\setminus \{0,1\}$, the set $\mathb…
Let $E$ be an elliptic curve defined over $\mathbb Q$. Let $Γ$ be a subgroup of $E(\mathbb Q)$ and $P\in E(\mathbb Q)$. In [1], it was proved that if $E$ has no nontrivial rational torsion points, then $P\inΓ$ if and only if $P\in Γ$ mod $p$ for finitely many primes $p$. In this note, assuming the General Riemann Hypothesis, we provide an explicit upper bound on these primes when $E$ does not have complex multiplication and either $E$ is a semistable curve or $E$ has no exceptional prime.
The first and second moments are established for the family of quadratic Dirichlet $L$--functions over the rational function field at the central point $s=\tfrac{1}{2}$ where the character $χ$ is defined by the Legendre symbol for polynomials over finite fields and runs over all monic irreducible polynomials $P$ of a given odd degree. Asymptotic formulae are derived for fixed finite fields when the degree of $P$ is large. The first moment obtained here is the function field analogue of a result due to Jutila in the number--field setting. The approach is based on classical analytical methods an…
Let $K$ be a number field, let $ϕ\in K(t)$ be a rational map of degree at least 2, and let $α, β\in K$. We show that if $α$ is not in the forward orbit of $β$, then there is a positive proportion of primes ${\mathfrak p}$ of $K$ such that $α\mod {\mathfrak p}$ is not in the forward orbit of $β\mod {\mathfrak p}$. Moreover, we show that a similar result holds for several maps and several points. We also present heuristic and numerical evidence that a higher dimensional analog of this result is unlikely to be true if we replace $α$ by a hypersurface, such as the ramification locus of a morphism …
We derive the Hasse principle and weak approximation for pencils of certain varieties in the spirit of work by Colliot-Thélène,Sansuc and Harpaz-Skorobogatov-Wittenberg. Our varieties are defined through polynomials in many variables and part of our work is devoted to establishing Schinzel's hypothesis for polynomials of this kind. This last part is achieved by using arguments behind Birch's well-known result regarding the Hasse principle for complete intersections with the notable difference that we prove our result in 50% fewer variables than in the classical Birch setting. We also study the…
It is well known that the arithmetic nature of Mills' prime-representing constant is uncertain: we do not know if Mills' constant is a rational or irrational number. In the case of other prime-representing constants, irrationality can be proved, but it is not known whether these constants are algebraic or transcendental numbers. By using Liouville or Roth's theorems about approximation by rationals, we find a couple of prime-representing constants that can be proved to be transcendental numbers.
For each open subgroup $G$ of ${\rm GL}_2(\hat{\mathbb{Z}})$ containing $-I$ with full determinant, let $X_G/\mathbb{Q}$ denote the modular curve that loosely parametrizes elliptic curves whose Galois representation, which arises from the Galois action on its torsion points, has image contained in $G$. Up to conjugacy, we determine a complete list of the $248$ such groups $G$ of prime power level for which $X_G(\mathbb{Q})$ is infinite. For each $G$, we also construct explicit maps from each $X_G$ to the $j$-line. This list consists of $220$ modular curves of genus $0$ and $28$ modular curves …
Let $K$ be a global function field of characteristic $p$ and degree $D$ over $\mathbb F_{p}(t)$. We consider dynamical systems over the projective line $\mathbb P^1(K)$ defined by rational maps with at most one prime of bad reduction. The main result is an optimal bound for cycle lengths that only depends on $p$ and $D$. A bound for the cardinality of finite orbits is given as well. Our method is based on a careful analysis (for every prime of good reduction) of the $\mathfrak p$-adic distances between points belonging to the same finite orbit, in part motivated by previous work by Canci and P…
In this paper we obtain the genus field of a general Kummer extension of a global rational function field. We study first the case of a general Kummer extension of degree a power of a prime. Then we prove that the genus field of a composite of two abelian extensions of a global rational function field with relatively prime degrees is equal to the composite of their respective genus fields. Our main result, the genus of a general Kummer extension of a global rational function field, is a direct consequence of this fact.
Ideas and techniques from Khare's and Wintenberger's article on the proof of Serre's conjecture for odd conductors are used to establish that for a fixed prime l infinitely many of the groups PSL_2(F_{l^r}) (for r running) occur as Galois groups over the rationals such that the corresponding number fields are unramified outside a set consisting of l, the infinite place and only one other prime.
In 2016, in the work related to Galois representations, Greenberg conjectured the existence of multi-quadratic $p$-rational number fields of degree $2^{t}$ for any odd prime number $p$ and any integer $t \geq 1$. Using the criteria provided by him to check $p$-rationality for abelian number fields, certain infinite families of quadratic, biquadratic and triquadratic $p$-rational fields have been shown to exist in recent years. In this article, for any integer $k \geq 1$, we build upon the existing work and prove the existence of infinitely many prime numbers $p$ for which the imaginary quadrat…
Let $p$ and $q$ be distinct primes. Consider the Shimura curve $\mathcal{X}$ associated to the indefinite quaternion algebra of discriminant $pq$ over $\mathbb{Q}$. Let $J$ be the Jacobian variety of $\mathcal{X}$, which is an abelian variety over $\mathbb{Q}$. For an odd prime $\ell$, we provide sufficient conditions for the non-existence of rational points of order $\ell$ on $J$. As an application, we find some non-trivial subgroups of the kernel of an isogeny from the new quotient of $J_0(pq)$ to $J$.
In 1958 E. Lehmer found an explicit description of those primes p for which a given prime q is a cubic residue. In this paper we demonstrate that a similar result may be obtained for cubic nonresidues, yielding a cubic character for fixed p that provides an effective means for ascertaining whether or not an arbitrary integer c is a cubic residue modulo p. As an illustration of this technique, we determine whether 1982 is a cubic residue modulo the 131-digit prime p=(3^19+5^82)/4, a question which is essentially impossible to answer with Lehmer's original criterion.
We study the automorphisms of the non-split Cartan modular curves $X_{ns}(p)$ of prime level $p$. We prove that if $p\geq 37$ all the automorphisms preserve the cusps. Furthermore, if $p\equiv 1\text{ mod }12$ and $p\neq 13$, the automorphism group is generated by the modular involution given by the normalizer of a non-split Cartan subgroup of $\text{GL}_2(\mathbb F_p)$. We also prove that for every $p\geq 37$ such that $X_{ns}(p)$ has a CM rational point, the existence of an exceptional rational automorphism would give rise to an exceptional rational point on the modular curve $X_{ns}^+(p)$ a…
We extend results of Videla and Fukuzaki to define algebraic integers in large classes of infinite algebraic extensions of Q and use these definitions for some of the fields to show the first-order undecidability. We also obtain a structural sufficient condition for definability of the ring of integers over its field of fractions. In particular, we show that the following propositions hold. (1) For any rational prime $q$ and any positive rational integer $m$, algebraic integers are definable in any Galois extension of Q where the degree of any finite subextension is not divisible by $q^{m}$. (…
We consider a problem posed by Shparlinski, of giving nontrivial bounds for rational exponential sums over the arithmetic function $τ(n)$, counting the number of divisors of $n$. This is done using some ideas of Sathe concerning the distribution in residue classes of the function $ω(n)$, counting the number of prime factors of $n$, to bring the problem into a form where, for general modulus, we may apply a bound of Bourgain concerning exponential sums over subgroups of finite abelian groups and for prime modulus some results of Korobov and Shkredov.
Mohammed Ben Alhocain, in an Arab manuscript of the tenth century, stated that the principal object of the theory of rational right triangles is to find a square which when increased or diminished by a certain number $m$ becomes a square (see Dickson). In modern language, this object is to find a rational point of infinite order on the elliptic curve $my^2=x^3-x$. Heegner constructed (see also Monsky) such rational points in the case that $m$ are primes congruent to 5, 7 modulo 8 or twice primes congruent to 6 modulo 8. We extend Heegner's result to integers $m$ with many prime divisors.
We consider the generalised Jacobian $J_{0}(N)_{\mathbf{m}}$ of the modular curve $X_{0}(N)$ of level $N$, with respect to the modulus $\mathbf{m}$ consisting of all cusps on the modular curve. When $N$ is odd, we determine the group structure of the rational torsion $J_{0}(N)_{\mathbf{m}}(\mathbb{Q})_{tor}$ up to $2$-primary and $l$-primary parts for any prime $l$ dividing $N$. Our results extend those of Wei--Yamazaki for squarefree levels and Yamazaki--Yang for prime-power levels.
We consider the finite set of isogeny classes of $g$-dimensional abelian varieties defined over the finite field $\mathbb{F}_q$ with endomorphism algebra being a field. We prove that the class within this set whose varieties have maximal number of rational points is unique, for any prime even power $q$ big enough and verifying mild conditions. We describe its Weil polynomial and we prove that the class is ordinary and cyclic outside the primes dividing an integer that only depends on $g$. In dimension $3$, we prove that the class is ordinary and cyclic and give explicitly its Weil polynomial, …
On the twisted Fermat cubic, an elliptic divisibility sequence arises as the sequence of denominators of the multiples of a single rational point. We prove that the number of prime terms in the sequence is uniformly bounded. When the rational point is the image of another rational point under a certain 3-isogeny, all terms beyond the first fail to be primes.
Research Center in Mathematics and Applications (CIMA)（数学与应用研究中心）；Department of Mathematics, School of Sciences and Technology of the University of Évora（埃武拉大学科学与技术学院数学系）
本文研究了素数表示常数递归构造中出现的映射$\mathcal{T}(x)=\lfloor x floor(1+\{x\})$的有理动力学，定义了有理数的阶，并证明了有限阶有理数的自然密度为1，同时给出了特定分母下的显式分数家族。
Let $\frak{n}$ be a square-free ideal of $\mathbb{F}_q[T]$. We study the rational torsion subgroup of the Jacobian variety $J_0(\frak{n})$ of the Drinfeld modular curve $X_0(\frak{n})$. We prove that for any prime number $\ell$ not dividing $q(q-1)$, the $\ell$-primary part of this group coincides with that of the cuspidal divisor class group. We further determine the structure of the $\ell$-primary part of the cuspidal divisor class group for any prime $\ell$ not dividing $q-1$.
We analyze the probability that, for a fixed finite set of primes S, a random, monic, degree n polynomial f(x) with integer coefficients in a box of side B around 0 satisfies: (i) f(x) is irreducible over the rationals, with splitting field over the rationals having Galois group $S_n$; (ii) the polynomial discriminant Disc(f) is relatively prime to all primes in S; (iii) f(x) has a prescribed splitting type at each prime p in S. The limit probabilities as $B \to \infty$ are described in terms of values of a one-parameter family of measures on $S_n$, called splitting measures, with parameter $z…
Given a real abelian field F with group G and an odd prime number {\ell}, we define the circular subgroup of the pro-{\ell}-group of logarithmic units and we show that for any Galois morphism $ρ$ from the pro-{\ell}-group of logarithmic units to Z{\ell} [G ], the image of the circular subgroup annihilates the {\ell}-group of logarithmic classes. We deduce from this a proof of a logarithmic version of Solomon conjecture.
For a cyclic Kummer extension $K$ of a rational function field $k$ is considered, via class field theory, the extended Hilbert class field $K_H^+$ of $K$ and the corresponding extended genus field $K_g^+$ of $K$ over $k$, along the lines of the definitions of R. Clement for such extensions of prime degree. We obtain $K_g^+$ explicitly. Also, we use cohomology to determine the number of ambiguous classes and obtain a reciprocity law for $K/k$. Finally, we present a necessary and sufficient condition for a prime of $K$ to decompose fully in $K_g^+$.
