178 research outputs found

    On the degrees of divisors of T^n-1

    Full text link
    Fix a field FF. In this paper, we study the sets \D_F(n) \subset [0,n] defined by [\D_F(n):= {0 \leq m \leq n: T^n-1\text{has a divisor of degree mm in} F[T]}.] When \D_F(n) consists of all integers mm with 0mn0 \leq m \leq n, so that Tn1T^n-1 has a divisor of every degree, we call nn an FF-practical number. The terminology here is suggested by an analogy with the practical numbers of Srinivasan, which are numbers nn for which every integer 0mσ(n)0 \leq m \leq \sigma(n) can be written as a sum of distinct divisors of nn. Our first theorem states that, for any number field FF and any x2x \geq 2, [#{\text{FF-practical nxn\leq x}} \asymp_{F} \frac{x}{\log{x}};] this extends work of the second author, who obtained this estimate when F=\Q. Suppose now that x3x \geq 3, and let mm be a natural number in [3,x][3,x]. We ask: For how many nxn \leq x does mm belong to \D_F(n)? We prove upper bounds in this problem for both F=\Q and F=\F_p (with pp prime), the latter conditional on the Generalized Riemann Hypothesis. In both cases, we find that the number of such nxn \leq x is Fx/(logm)2/35\ll_{F} x/(\log{m})^{2/35}, uniformly in mm

    Arithmetic functions at consecutive shifted primes

    Full text link
    For each of the functions f{ϕ,σ,ω,τ}f \in \{\phi, \sigma, \omega, \tau\} and every natural number kk, we show that there are infinitely many solutions to the inequalities f(pn1)<f(pn+11)<<f(pn+k1)f(p_n-1) < f(p_{n+1}-1) < \dots < f(p_{n+k}-1), and similarly for f(pn1)>f(pn+11)>>f(pn+k1)f(p_n-1) > f(p_{n+1}-1) > \dots > f(p_{n+k}-1). We also answer some questions of Sierpi\'nski on the digit sums of consecutive primes. The arguments make essential use of Maynard and Tao's method for producing many primes in intervals of bounded length.Comment: Made some improvements in the organization and expositio

    Variations on a theorem of Davenport concerning abundant numbers

    Full text link
    Let \sigma(n) = \sum_{d \mid n}d be the usual sum-of-divisors function. In 1933, Davenport showed that that n/\sigma(n) possesses a continuous distribution function. In other words, the limit D(u):= \lim_{x\to\infty} \frac{1}{x}\sum_{n \leq x,~n/\sigma(n) \leq u} 1 exists for all u \in [0,1] and varies continuously with u. We study the behavior of the sums \sum_{n \leq x,~n/\sigma(n) \leq u} f(n) for certain complex-valued multiplicative functions f. Our results cover many of the more frequently encountered functions, including \varphi(n), \tau(n), and \mu(n). They also apply to the representation function for sums of two squares, yielding the following analogue of Davenport's result: For all u \in [0,1], the limit D~(u):=limR1πR#{(x,y)Z2:0<x2+y2R and x2+y2σ(x2+y2)u} \tilde{D}(u):= \lim_{R\to\infty} \frac{1}{\pi R}\#\{(x,y) \in \Z^2: 0<x^2+y^2 \leq R \text{ and } \frac{x^2+y^2}{\sigma(x^2+y^2)} \leq u\} exists, and \tilde{D}(u) is both continuous and strictly increasing on [0,1]

    On integers nn for which Xn1X^n-1 has a divisor of every degree

    Full text link
    A positive integer nn is called φ\varphi-practical if the polynomial Xn1X^n-1 has a divisor in Z[X]\mathbb{Z}[X] of every degree up to nn. In this paper, we show that the count of φ\varphi-practical numbers in [1,x][1, x] is asymptotic to Cx/logxC x/\log x for some positive constant CC as xx \rightarrow \infty

    Systoles of Arithmetic Hyperbolic Surfaces and 3-manifolds

    Get PDF
    Our main result is that for all sufficiently large x0>0x_0>0, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field kk and systole bounded below by x0x_0 has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with invariant trace field kk. The proof relies upon bounds for the absolute logarithmic Weil height of algebraic integers due to Silverman, Brindza and Hajdu, as well as precise estimates for the number of rational quaternion algebras not admitting embeddings of any quadratic field having small discriminant. When the trace field is Q\mathbf{Q}, using work of Granville and Soundararajan, we establish a stronger result that allows our constant lower bound x0x_0 to grow with the area. As an application, we establish a systolic bound for arithmetic hyperbolic surfaces that is related to prior work of Buser-Sarnak and Katz-Schaps-Vishne. Finally, we establish an analogous density result for commensurability classes of arithmetic hyperbolic 3-orbifolds with small area totally geodesic 22-orbifolds.Comment: v4: 17 pages. Revised according to referee report. Final version. To appear in Math. Res. Let

    Distribution of squarefree values of sequences associated with elliptic curves

    Full text link
    Let E be a non-CM elliptic curve defined over Q. For each prime p of good reduction, E reduces to a curve E_p over the finite field F_p. For a given squarefree polynomial f(x,y), we examine the sequences f_p(E) := f(a_p(E), p), whose values are associated with the reduction of E over F_p. We are particularly interested in two sequences: f_p(E) =p + 1 - a_p(E) and f_p(E) = a_p(E)^2 - 4p. We present two results towards the goal of determining how often the values in a given sequence are squarefree. First, for any fixed curve E, we give an upper bound for the number of primes p up to X for which f_p(E) is squarefree. Moreover, we show that the conjectural asymptotic for the prime counting function \pi_{E,f}^{SF}(X) := #{p \leq X: f_p(E) is squarefree} is consistent with the asymptotic for the average over curves E in a suitable box

    Bounded gaps between primes in number fields and function fields

    Full text link
    The Hardy--Littlewood prime kk-tuples conjecture has long been thought to be completely unapproachable with current methods. While this sadly remains true, startling breakthroughs of Zhang, Maynard, and Tao have nevertheless made significant progress toward this problem. In this work, we extend the Maynard-Tao method to both number fields and the function field Fq(t)\mathbb{F}_q(t)
    corecore