178 research outputs found
On the degrees of divisors of T^n-1
Fix a field . 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
in} F[T]}.] When \D_F(n) consists of all integers with ,
so that has a divisor of every degree, we call an -practical
number. The terminology here is suggested by an analogy with the practical
numbers of Srinivasan, which are numbers for which every integer can be written as a sum of distinct divisors of . Our first
theorem states that, for any number field and any ,
[#{\text{-practical }} \asymp_{F} \frac{x}{\log{x}};] this extends
work of the second author, who obtained this estimate when F=\Q.
Suppose now that , and let be a natural number in . We
ask: For how many does belong to \D_F(n)? We prove upper
bounds in this problem for both F=\Q and F=\F_p (with prime), the
latter conditional on the Generalized Riemann Hypothesis. In both cases, we
find that the number of such is ,
uniformly in
Arithmetic functions at consecutive shifted primes
For each of the functions and every
natural number , we show that there are infinitely many solutions to the
inequalities , and similarly
for . 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
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 exists, and
\tilde{D}(u) is both continuous and strictly increasing on [0,1]
On integers for which has a divisor of every degree
A positive integer is called -practical if the polynomial
has a divisor in of every degree up to . In this
paper, we show that the count of -practical numbers in is
asymptotic to for some positive constant as
Systoles of Arithmetic Hyperbolic Surfaces and 3-manifolds
Our main result is that for all sufficiently large , the set of
commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed
invariant trace field and systole bounded below by has density one
within the set of all commensurability classes of arithmetic hyperbolic 2- or
3-orbifolds with invariant trace field . 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 , using work of
Granville and Soundararajan, we establish a stronger result that allows our
constant lower bound 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 -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
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
The Hardy--Littlewood prime -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
- …
