On the degrees of divisors of T^n-1

TL;DR

This paper investigates the distribution of degrees of divisors of polynomials of the form T^n-1 over various fields, extending previous results and establishing bounds on the frequency of certain divisor degrees.

Contribution

It introduces the concept of F-practical numbers, extends the asymptotic count of such numbers to any number field, and provides bounds on the occurrence of specific divisor degrees over different fields.

Findings

Number of F-practical numbers up to x is proportional to x/log x.

Upper bounds are established for the number of n where a fixed m belongs to D_F(n).

Results include both unconditional and GRH-conditional bounds for different fields.

Abstract

Fix a field $F$. 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 $m$ in} F[T]}.] When $\D_F(n)$ consists of all integers $m$ with $0 \leq m \leq n$, so that $T^n-1$ has a divisor of every degree, we call $n$ an $F$-practical number. The terminology here is suggested by an analogy with the practical numbers of Srinivasan, which are numbers $n$ for which every integer $0 \leq m \leq \sigma(n)$ can be written as a sum of distinct divisors of $n$. Our first theorem states that, for any number field $F$ and any $x \geq 2$, [#{\text{$F$-practical $n\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 $x \geq 3$, and let $m$ be a natural number in $[3,x]$. We ask: For how many $n \leq x$ does $m$ belong to $\D_F(n)$? We prove upper bounds in this problem for both $F=\Q$ and $F=\F_p$ (with $p$ prime), the latter conditional on the Generalized Riemann Hypothesis. In both cases, we find that the number of such $n \leq x$ is $\ll_{F} x/(\log{m})^{2/35}$, uniformly in $m$.