Searcharxiv⌕ Search

arXiv subjects

Ian Whitehead

Publications and source records attributed to Ian Whitehead.

12 recordsLinked to original sources
arXiv2026

Arithmetic Polyhedra

The Koebe-Andreev-Thurston theorem assigns a 3-dimensional hyperbolic reflection group to each combinatorial polyhedron. A natural question is: which of them are arithmetic? In 2016, Kontorovich-Nakamura conjectured that all arithmetic reflection groups obtained in this way are commensurable to those obtained from the tetrahedron, square pyramid, or cuboctahedron. In this paper, we prove the conjecture. It is a consequence of the following result of independent interest: all arithmetic ideal, right-angled hyperbolic polyhedra are obtained by gluing together copies of one of three ``seed'' polyhedra.

math.MG↗
arXiv2025

The Local-Global Conjecture is False for Generalized Circle Packings

Haag, Kertzer, Rickards, and Stange disprove the Local-Global Conjecture for Apollonian circle packings. We extend their disproof to four more types of integral circle packing: the octahedral, cubic, square, and triangular packings. In each case, we find quadratic invariants which imply quadratic reciprocity obstructions to the conjecture in certain packings. We utilize an explicit parametrization of circles tangent to a fixed circle in each packing type, and a quadratic reciprocity argument. Even in the packings where we do not find quadratic obstructions, the curvatures exhibit a predictable reciprocity structure. This leads to partial obstructions on integers appearing as curvatures in subsets of the packing.

math.NT↗
arXiv2025

Functional equations of axiomatic multiple Dirichlet series, Weyl groupoids, and quantum algebra

We prove functional equations for multiple Dirichlet series defined by a collection of five geometric axioms. We find functional equations of two types: one modeled on the functional equations of Dirichlet $L$-functions, and another modeled on the functional equations of Kubota $L$-series with Gauss sums as coefficients. These functional equations generate groupoid structures, which we relate to the Weyl groupoids of arithmetic root systems. From the known classification of arithmetic root systems, we obtain a complete classification of multiple Dirichlet series which can be used to compute moments of $L$-functions via established analytic techniques. Our classification includes all moments of $L$-functions which have appeared in the multiple Dirichlet series literature previously, alongside some new moments. Finally, we give applications of our functional equations to quantum algebra, specifically the cohomology of Nichols algebras.

math.NT↗
arXiv2023

Circle Packings from Tilings of the Plane

We introduce a new class of fractal circle packings in the plane, generalizing the polyhedral packings defined by Kontorovich and Nakamura. The existence and uniqueness of these packings are guaranteed by infinite versions of the Koebe-Andreev-Thurston theorem. We prove structure theorems giving a complete description of the symmetry groups for these packings. And we give several examples to illustrate their number-theoretic and group-theoretic significance.

math.NT↗
arXiv2021

Domains of Convergence for Polyhedral Packings

Polyhedral circle packings are generalizations of the Apollonian packing. We develop the theory of the Apollonian group, Descartes quadratic form, and related objects for all polyhedral packings. We use these tools to determine the domain of absolute convergence of a generating function that can be associated to any polyhedral packing. This domain of convergence is the Tits cone for an infinite root system.

math.NT↗
arXiv2021

Apollonian Packings and Kac-Moody Root Systems

We study Apollonian circle packings in relation to a certain rank 4 indefinite Kac-Moody root system $Φ$. We introduce the generating function $Z(\mathbf{s})$ of a packing, an exponential series in four variables with an Apollonian symmetry group, which relates to Weyl-Kac characters of $Φ$. By exploiting the presence of affine and Lorentzian hyperbolic root subsystems of $Φ$, with automorphic Weyl denominators, we express $Z(\mathbf{s})$ in terms of Jacobi theta functions and the Siegel modular form $Δ_5$. We also show that the domain of convergence of $Z(\mathbf{s})$ is the Tits cone of $Φ$, and discover that this domain inherits the intricate geometric structure of Apollonian packings.

math.NT↗
arXiv2018

Correction factors for Kac-Moody groups and $t$-deformed root multiplicities

We study a correction factor for Kac-Moody root systems which arises in the theory of $p$-adic Kac-Moody groups. In affine type, this factor is known, and its explicit computation is the content of the Macdonald constant term conjecture. The data of the correction factor can be encoded as a collection of polynomials $m_λ\in \mathbb{Z}[t]$ indexed by positive imaginary roots $λ$. At $t=0$ these polynomials evaluate to the root multiplicities, so we consider $m_λ$ to be a $t$-deformation of $\mathrm{mult} (λ)$. We generalize the Peterson algorithm and the Berman-Moody formula for root multiplicities to compute $m_λ$. As a consequence we deduce fundamental properties of $m_λ$.

math.RT↗
arXiv2018

On the third moment of $L(\tfrac{1}{2}, χ_d)$ II: the number field case

We establish a smoothed asymptotic formula for the third moment of quadratic {D}irichlet $L$-functions at the central value. In addition to the main term, which is known, we prove the existence of a secondary term of size $x^{\frac{3}{4}}$. The error term in the asymptotic formula is on the order of $O(x^{\frac{2}{3}+δ})$ for every $δ> 0.$

math.NT↗
arXiv2014

Affine Weyl Group Multiple Dirichlet Series: Type $\tilde{A}$

We define a multiple Dirichlet series whose group of functional equations is the Weyl group of the affine Kac-Moody root system $\tilde{A}_n$, generalizing the theory of multiple Dirichlet series for finite Weyl groups. The construction is over the rational function field $\mathbb{F}_q(t)$, and is based upon four natural axioms from algebraic geometry. We prove that the four axioms yield a unique series with meromorphic continuation to the largest possible domain and the desired infinite group of symmetries.

math.NT↗
arXiv2014

Multiple Dirichlet Series for Affine Weyl Groups

Let $W$ be the Weyl group of a simply-laced affine Kac-Moody Lie group, excepting $\tilde{A}_n$ for $n$ even. We construct a multiple Dirichlet series $Z(x_1, \ldots x_{n+1})$, meromorphic in a half-space, satisfying a group $W$ of functional equations. This series is analogous to the multiple Dirichlet series for classical Weyl groups constructed by Brubaker-Bump-Friedberg, Chinta-Gunnells, and others. It is completely characterized by four natural axioms concerning its coefficients, axioms which come from the geometry of parameter spaces of hyperelliptic curves. The series constructed this way is optimal for computing moments of character sums and L-functions, including the fourth moment of quadratic L-functions at the central point via $\tilde{D}_4$ and the second moment weighted by the number of divisors of the conductor via $\tilde{A}_3$. We also give evidence to suggest that this series appears as a first Fourier-Whittaker coefficient in an Eisenstein series on the twofold metaplectic cover of the relevant Kac-Moody group. The construction is limited to the rational function field $\mathbb{F}_q(t)$, but it also describes the $p$-part of the multiple Dirichlet series over an arbitrary global field.

math.NT↗
arXiv2012

A Recursion Formula for Moments of Derivatives of Random Matrix Polynomials

We give asymptotic formulae for random matrix averages of derivatives of characteristic polynomials over the groups USp(2N), SO(2N) and O^-(2N). These averages are used to predict the asymptotic formulae for moments of derivatives of L-functions which arise in number theory. Each formula gives the leading constant of the asymptotic in terms of determinants of hypergeometric functions. We find a differential recurrence relation between these determinants which allows the rapid computation of the (k+1)-st constant in terms of the k-th and (k-1)-st. This recurrence is reminiscent of a Toda lattice equation arising in the theory of τ-functions associated with Painlevé differential equations.

math.NT↗