Searcharxiv⌕ Search

arXiv subjects

William Duke

Publications and source records attributed to William Duke.

14 recordsLinked to original sources
arXiv2024

On the arithmetic of polynomials over a number field

Counterparts of several classical results of number theory are proven for the ring of polynomials with coefficients in a number field. A theorem of Milnor that determines the Witt ring of a function field is applied to prove an analogue of Gauss's principal genus theorem for binary quadratic forms with polynomial coefficients. This is used to help understand when and why quadratic reciprocity fails in these polynomial rings. Another application is a count of the number of cyclic subgroups whose order is divisible by four in the primary decomposition of the torsion subgroup of the Jacobian of certain hyperelliptic curves. Invariant theory is applied to prove an analogue of a classical theorem of Fueter to give criteria for an elliptic curve with a polynomial discriminant and zero $j$-invariant to have no affine points over the associated function field.

math.NT↗
arXiv2024

On the analytic theory of isotropic ternary quadratic forms II

In the first part of this work \cite{Du}, a quantitative supplement to the Hasse principle was given for the count of the number of automorphic orbits of primitive zeros of a genus of ternary quadratic forms. This sequel contains, for certain special forms, an independent and elementary proof of this result. When combined with other results of \cite{Du}, this proof also leads to a refinement of an asymptotic result of \cite{Du} and some corollaries for these special forms.

math.NT↗
arXiv2021

Non-convex geometry of numbers and continued fractions

In recent work, the first two authors constructed a generalized continued fraction called the $p$-continued fraction, characterized by the property that its convergents (a subsequence of the regular convergents) are best approximations with respect to the $L^p$ norm, where $p\geq 1$. We extend this construction to the region $0<p<1$, where now the $L^p$ quasinorm is non-convex. We prove that the approximation coefficients of the $p$-continued fraction are bounded above by $1/\sqrt{5}+\varepsilon_p$, where $\varepsilon_p\to 0$ as $p\to 0$. In light of Hurwitz's theorem, this upper bound is sharp, in the limit. We also measure the maximum number of consecutive regular convergents that are skipped by the $p$-continued fraction.

math.NT↗
arXiv2020

Asymptotic distribution of traces of singular moduli

We determine the asymptotic behavior of twisted traces of singular moduli with a power-saving error term in both the discriminant and the order of the pole at $i\infty$. Using this asymptotic formula, we obtain an exact formula for these traces involving the class number and a finite sum involving the exponential function evaluated at CM points.

math.NT↗
arXiv2019

The Minkowski chain and Diophantine approximation

The Hurwitz chain gives a sequence of pairs of Farey approximations to an irrational real number. Minkowski gave a criterion for a number to be algebraic by using a certain generalization of the Hurwitz chain. We apply Minkowski's generalization (the Minkowski chain) to give criteria for a real linear form to be either badly approximable or singular. We also give a variant of Dirichlet's approximation theorem for a real linear form that produces a whole basis of approximating integral vectors rather than a single one. This result holds if and only if the form is badly approximable. The proofs rely on properties of successive minima and reduced bases of lattices.

math.NT↗
arXiv2019

On a theorem of Davenport and Schmidt

This work is motivated by a paper of Davenport and Schmidt, which treats the question of when Dirichlet's theorems on the rational approximation of one or of two irrationals can be improved and if so, by how much. We consider a generalization of this question in the simplest case of a single irrational but in the context of the geometry of numbers in $\mathbb R^2$, with the sup-norm replaced by a more general one. Results include sharp bounds for how much improvement is possible under various conditions. The proofs use semi-regular continued fractions that are characterized by a certain best approximation property determined by the norm.

math.NT↗
arXiv2018

Markov spectra for modular billiards

We introduce some analogues of the Markov spectrum defined in terms of modular billiards and consider the problem of characterizing that part of the spectrum below the lowest limit point.

math.NT↗
arXiv2018

Modular invariants for real quadratic fields and Kloosterman sums

We investigate the asymptotic distribution of integrals of the $j$-function that are associated to ideal classes in a real quadratic field. To estimate the error term in our asymptotic formula, we prove a bound for sums of Kloosterman sums of half-integral weight that is uniform in every parameter. To establish this estimate we prove a variant of Kuznetsov's formula where the spectral data is restricted to half-integral weight forms in the Kohnen plus space, and we apply Young's hybrid subconvexity estimates for twisted modular $L$-functions.

math.NT↗
arXiv2017

Fourier series of modular graph functions

Modular graph functions associate to a graph an $SL(2,Z)$-invariant function on the upper half plane. We obtain the Fourier series of modular graph functions of arbitrary weight $w$ and two-loop order. The motivation for this work is to develop a deeper understanding of the origin of the algebraic identities between modular graph functions which have been discovered recently, and of the relation between the existence of these identities and the occurrence of cusp forms. We show that the constant Fourier mode, as a function of the modulus $\tau$, consists of a Laurent polynomial in $y = \pi \, {\rm Im} (\tau)$ of degree $(w,1-w)$, plus a contribution which decays exponentially as $y \to \infty$. The Laurent polynomial is a linear combination with rational coefficients of the top term $y^w$, and lower order terms $\zeta (2k+1) y^{w-2k-1}$ for $1\leq k \leq w-1$, as well as terms $\zeta (2w-2\ell-3) \zeta (2\ell+1)y^{2-w}$ for $1 \leq \ell \leq w-3$. The exponential contribution is a linear combination of exponentials of $y$ and incomplete $\Gamma$-functions whose coefficients are Laurent polynomials in $y$ with rational coefficients.

math.NT↗
arXiv2012

The graphic nature of Gaussian periods

Recent work has shown that the study of supercharacters on abelian groups provides a natural framework within which to study certain exponential sums of interest in number theory. Our aim here is to initiate the study of Gaussian periods from this novel perspective. Among other things, our approach reveals that these classical objects display dazzling visual patterns of great complexity and remarkable subtlety.

math.NT↗
arXiv2001

The splitting of primes in division fields of elliptic curves

In this paper we will give a global description of the Frobenius for the division fields of an elliptic curve E which is strictly analogous to the cyclotomic case. This is then applied to determine the splitting of a prime p in subfields of such a division field. Such fields include a large class of non-solvable quintic extensions and our application provides an arithmetic counterpart to Klein's "solution" of quintic equations using elliptic functions. A central role is played by the discriminant of the ring of endomorphisms of the elliptic curve reduced modulo p.

math.NT↗
arXiv1996

The distribution of the eigenvalues of Hecke operators

For each prime $p$, we determine the distribution of the $p^{th}$ Fourier coefficients of the Hecke eigenforms of large weight for the full modular group. As $p\to\infty$, this distribution tends to the Sato--Tate distribution.

math.NT↗