Showing 1–50 of 68 results for author: Wood, M

Inductive methods for counting number fields

Authors: Brandon Alberts, Robert J. Lemke Oliver, Jiuya Wang, Melanie Matchett Wood

Abstract: We give a new method for counting extensions of a number field asymptotically by discriminant, which we employ to prove many new cases of Malle's Conjecture and counterexamples to Malle's Conjecture. We consider families of extensions whose Galois closure is a fixed permutation group $G$. Our method relies on having asymptotic counts for $T$-extensions for some normal subgroup $T$ of $G$, uniform… ▽ More We give a new method for counting extensions of a number field asymptotically by discriminant, which we employ to prove many new cases of Malle's Conjecture and counterexamples to Malle's Conjecture. We consider families of extensions whose Galois closure is a fixed permutation group $G$. Our method relies on having asymptotic counts for $T$-extensions for some normal subgroup $T$ of $G$, uniform bounds for the number of such $T$-extensions, and possibly weak bounds on the asymptotic number of $G/T$-extensions. However, we do not require that most $T$-extensions of a $G/T$-extension are $G$-extensions. Our new results use $T$ either abelian or $S_3^m$, though our framework is general. △ Less

Submitted 30 January, 2025; originally announced January 2025.

Probability theory for random groups arising in number theory

Authors: Melanie Matchett Wood

Abstract: We consider the probability theory, and in particular the moment problem and universality theorems, for random groups of the sort of that arise or are conjectured to arise in number theory, and in related situations in topology and combinatorics. The distributions of random groups that are discussed include those conjectured in the Cohen-Lenstra-Martinet heuristics to be the distributions of class… ▽ More We consider the probability theory, and in particular the moment problem and universality theorems, for random groups of the sort of that arise or are conjectured to arise in number theory, and in related situations in topology and combinatorics. The distributions of random groups that are discussed include those conjectured in the Cohen-Lenstra-Martinet heuristics to be the distributions of class groups of random number fields, as well as distributions of non-abelian generalizations, and those conjectured to be the distributions of Selmer groups of random elliptic curves. For these sorts of distributions on finite and profinite groups, we survey what is known about the moment problem and universality, give a few new results including new applications, and suggest open problems. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Comments: ICM 2022 paper from my talk, references/status of problems have not been updated since November 2021

Conjectures for distributions of class groups of extensions of number fields containing roots of unity

Authors: Will Sawin, Melanie Matchett Wood

Abstract: Cohen, Lenstra, and Martinet have given conjectures for the distribution of class groups of extensions of number fields, but Achter and Malle have given theoretical and numerical evidence that these conjectures are wrong regarding the Sylow $p$-subgroups of the class group when the base number field contains $p$th roots of unity. We give complete conjectures of the distribution of Sylow $p$-subgro… ▽ More Cohen, Lenstra, and Martinet have given conjectures for the distribution of class groups of extensions of number fields, but Achter and Malle have given theoretical and numerical evidence that these conjectures are wrong regarding the Sylow $p$-subgroups of the class group when the base number field contains $p$th roots of unity. We give complete conjectures of the distribution of Sylow $p$-subgroups of class groups of extensions of a number field when $p$ does not divide the degree of the Galois closure of the extension. These conjectures are based on $q\rightarrow\infty$ theorems on these distributions in the function field analog and use recent work of the authors on explicitly giving a distribution of modules from its moments. Our conjecture matches many, but not all, of the previous conjectures that were made in special cases taking into account roots of unity. △ Less

Submitted 21 February, 2024; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: 35 pages

Local and global universality of random matrix cokernels

Authors: Hoi H. Nguyen, Melanie Matchett Wood

Abstract: In this paper we study the cokernels of various random integral matrix models, including random symmetric, random skew-symmetric, and random Laplacian matrices. We provide a systematic method to establish universality under very general randomness assumption. Our highlights include both local and global universality of the cokernel statistics of all these models. In particular, we find the probabi… ▽ More In this paper we study the cokernels of various random integral matrix models, including random symmetric, random skew-symmetric, and random Laplacian matrices. We provide a systematic method to establish universality under very general randomness assumption. Our highlights include both local and global universality of the cokernel statistics of all these models. In particular, we find the probability that a sandpile group of an Erdos-Renyi random graph is cyclic, answering a question of Lorenzini from 2008. △ Less

Submitted 16 October, 2022; originally announced October 2022.

Comments: 68 pages

The moment problem for random objects in a category

Authors: Will Sawin, Melanie Matchett Wood

Abstract: The moment problem in probability theory asks for criteria for when there exists a unique measure with a given tuple of moments. We study a variant of this problem for random objects in a category, where a moment is given by the average number of epimorphisms to a fixed object. When the moments do not grow too fast, we give a necessary and sufficient condition for existence of a distribution with… ▽ More The moment problem in probability theory asks for criteria for when there exists a unique measure with a given tuple of moments. We study a variant of this problem for random objects in a category, where a moment is given by the average number of epimorphisms to a fixed object. When the moments do not grow too fast, we give a necessary and sufficient condition for existence of a distribution with those moments, show that a unique such measure exists, give formulas for the measure in terms of the moments, and prove that measures with those limiting moments approach that particular measure. Our result applies to categories satisfying some finiteness conditions and a condition that gives an analog of the second isomorphism theorem, including the categories of finite groups, finite modules, finite rings, as well as many variations of these categories. This work is motivated by the non-abelian Cohen-Lenstra-Martinet program in number theory, which aims to calculate the distribution of random profinite groups arising as Galois groups of maximal unramified extensions of random number fields. △ Less

Submitted 9 May, 2024; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: 71 pages

Low degree Hurwitz stacks in the Grothendieck ring

Authors: Aaron Landesman, Ravi Vakil, Melanie Matchett Wood

Abstract: For $2 \leq d \leq 5$, we show that the class of the Hurwitz space of smooth degree $d$, genus $g$ covers of $\mathbb P^1$ stabilizes in the Grothendieck ring of stacks as $g \to \infty$, and we give a formula for the limit. We also verify this stabilization when one imposes ramification conditions on the covers, and obtain a particularly simple answer for this limit when one restricts to simply b… ▽ More For $2 \leq d \leq 5$, we show that the class of the Hurwitz space of smooth degree $d$, genus $g$ covers of $\mathbb P^1$ stabilizes in the Grothendieck ring of stacks as $g \to \infty$, and we give a formula for the limit. We also verify this stabilization when one imposes ramification conditions on the covers, and obtain a particularly simple answer for this limit when one restricts to simply branched covers. △ Less

Submitted 17 February, 2024; v1 submitted 3 March, 2022; originally announced March 2022.

Comments: Many changes were made in response to careful readings by the referees. This version was accepted to Compositio Mathematica

Finite quotients of 3-manifold groups

Authors: Will Sawin, Melanie Matchett Wood

Abstract: For $G$ and $H_1,\dots, H_n$ finite groups, does there exist a $3$-manifold group with $G$ as a quotient but no $H_i$ as a quotient? We answer all such questions in terms of the group cohomology of finite groups. We prove non-existence with topological results generalizing the theory of semicharacteristics. To prove existence of 3-manifolds with certain finite quotients but not others, we use a pr… ▽ More For $G$ and $H_1,\dots, H_n$ finite groups, does there exist a $3$-manifold group with $G$ as a quotient but no $H_i$ as a quotient? We answer all such questions in terms of the group cohomology of finite groups. We prove non-existence with topological results generalizing the theory of semicharacteristics. To prove existence of 3-manifolds with certain finite quotients but not others, we use a probabilistic method, by first proving a formula for the distribution of the (profinite completion of) the fundamental group of a random 3-manifold in the Dunfield-Thurston model of random Heegaard splittings as the genus goes to infinity. We believe this is the first construction of a new distribution of random groups from its moments. △ Less

Submitted 12 April, 2024; v1 submitted 2 March, 2022; originally announced March 2022.

Comments: 75 pages

The average size of $3$-torsion in class groups of $2$-extensions

Authors: Robert J. Lemke Oliver, Jiuya Wang, Melanie Matchett Wood

Abstract: We determine the average size of the 3-torsion in class groups of $G$-extensions of a number field when $G$ is any transitive $2$-group containing a transposition, for example $D_4$. It follows from the Cohen--Lenstra--Martinet heuristics that the average size of the $p$-torsion in class groups of $G$-extensions of a number field is conjecturally finite for any $G$ and most $p$ (including… ▽ More We determine the average size of the 3-torsion in class groups of $G$-extensions of a number field when $G$ is any transitive $2$-group containing a transposition, for example $D_4$. It follows from the Cohen--Lenstra--Martinet heuristics that the average size of the $p$-torsion in class groups of $G$-extensions of a number field is conjecturally finite for any $G$ and most $p$ (including $p\nmid|G|$). Previously this conjecture had only been proven in the cases of $G=S_2$ with $p=3$ and $G=S_3$ with $p=2$. We also show that the average $3$-torsion in a certain relative class group for these $G$-extensions is as predicted by Cohen and Martinet, proving new cases of the Cohen--Lenstra--Martinet heuristics. Our new method also works for many other permutation groups $G$ that are not $2$-groups. △ Less

Submitted 29 October, 2021; v1 submitted 14 October, 2021; originally announced October 2021.

Quantitative results for banded Toeplitz matrices subject to random and deterministic perturbations

Authors: Sean O'Rourke, Philip Matchett Wood

Abstract: We consider the eigenvalues of a fixed, non-normal matrix subject to a small additive perturbation. In particular, we consider the case when the fixed matrix is a banded Toeplitz matrix, where the bandwidth is allowed to grow slowly with the dimension, and the perturbation matrix is drawn from one of several different random matrix ensembles. We establish a number of non-asymptotic results for the… ▽ More We consider the eigenvalues of a fixed, non-normal matrix subject to a small additive perturbation. In particular, we consider the case when the fixed matrix is a banded Toeplitz matrix, where the bandwidth is allowed to grow slowly with the dimension, and the perturbation matrix is drawn from one of several different random matrix ensembles. We establish a number of non-asymptotic results for the eigenvalues of this model, including a local law and a rate of convergence in Wasserstein distance of the empirical spectral measure to its limiting distribution. In addition, we define the classical locations of the eigenvalues and prove a rigidity result showing that, on average, the eigenvalues concentrate closely around their classical locations. While proving these results we also establish a number of auxiliary results that may be of independent interest, including a quantitative version of the Tao--Vu replacement principle, a general least singular value bound that applies to adversarial models, and a description of the limiting empirical spectral measure for random multiplicative perturbations. △ Less

Submitted 25 August, 2022; v1 submitted 8 June, 2021; originally announced June 2021.

Comments: 59 pages, 8 figures. This version is reorganized and includes some new results. (Note: The .tex file contains additional details for some of the arguments, which may be viewed by removing the % sign from line 21 and recompiling.)

Thermodynamically consistent physics-informed neural networks for hyperbolic systems

Authors: Ravi G. Patel, Indu Manickam, Nathaniel A. Trask, Mitchell A. Wood, Myoungkyu Lee, Ignacio Tomas, Eric C. Cyr

Abstract: Physics-informed neural network architectures have emerged as a powerful tool for developing flexible PDE solvers which easily assimilate data, but face challenges related to the PDE discretization underpinning them. By instead adapting a least squares space-time control volume scheme, we circumvent issues particularly related to imposition of boundary conditions and conservation while reducing so… ▽ More Physics-informed neural network architectures have emerged as a powerful tool for developing flexible PDE solvers which easily assimilate data, but face challenges related to the PDE discretization underpinning them. By instead adapting a least squares space-time control volume scheme, we circumvent issues particularly related to imposition of boundary conditions and conservation while reducing solution regularity requirements. Additionally, connections to classical finite volume methods allows application of biases toward entropy solutions and total variation diminishing properties. For inverse problems, we may impose further thermodynamic biases, allowing us to fit shock hydrodynamics models to molecular simulation of rarefied gases and metals. The resulting data-driven equations of state may be incorporated into traditional shock hydrodynamics codes. △ Less

Submitted 9 December, 2020; originally announced December 2020.

A physics-informed operator regression framework for extracting data-driven continuum models

Authors: Ravi G. Patel, Nathaniel A. Trask, Mitchell A. Wood, Eric C. Cyr

Abstract: The application of deep learning toward discovery of data-driven models requires careful application of inductive biases to obtain a description of physics which is both accurate and robust. We present here a framework for discovering continuum models from high fidelity molecular simulation data. Our approach applies a neural network parameterization of governing physics in modal space, allowing a… ▽ More The application of deep learning toward discovery of data-driven models requires careful application of inductive biases to obtain a description of physics which is both accurate and robust. We present here a framework for discovering continuum models from high fidelity molecular simulation data. Our approach applies a neural network parameterization of governing physics in modal space, allowing a characterization of differential operators while providing structure which may be used to impose biases related to symmetry, isotropy, and conservation form. We demonstrate the effectiveness of our framework for a variety of physics, including local and nonlocal diffusion processes and single and multiphase flows. For the flow physics we demonstrate this approach leads to a learned operator that generalizes to system characteristics not included in the training sets, such as variable particle sizes, densities, and concentration. △ Less

Submitted 24 September, 2020; originally announced September 2020.

Comments: 37 pages, 15 figures

Moments and interpretations of the Cohen-Lenstra-Martinet heuristics

Authors: Weitong Wang, Melanie Matchett Wood

Abstract: The goal of this paper is to prove theorems that elucidate the Cohen-Lenstra-Martinet conjectures for the distributions of class groups of number fields, and further the understanding of their implications. We start by giving a simpler statement of the conjectures. We show that the probabilities that arise are inversely proportional the to number of automorphisms of structures slightly larger than… ▽ More The goal of this paper is to prove theorems that elucidate the Cohen-Lenstra-Martinet conjectures for the distributions of class groups of number fields, and further the understanding of their implications. We start by giving a simpler statement of the conjectures. We show that the probabilities that arise are inversely proportional the to number of automorphisms of structures slightly larger than the class groups. We find the moments of the Cohen-Lenstra-Martinet distributions and prove that the distributions are determined by their moments. In order to apply these conjectures to class groups of non-Galois fields, we prove a new theorem on the capitulation kernel (of ideal classes that become trivial in a larger field) to relate the class groups of non-Galois fields to the class groups of Galois fields. We then construct an integral model of the Hecke algebra of a finite group, show that it acts naturally on class groups of non-Galois fields, and prove that the Cohen-Lenstra-Martinet conjectures predict a distribution for class groups of non-Galois fields that involves the inverse of the number of automorphisms of the class group as a Hecke-module. △ Less

Submitted 15 February, 2020; v1 submitted 25 July, 2019; originally announced July 2019.

Comments: updated exposition

A predicted distribution for Galois groups of maximal unramified extensions

Authors: Yuan Liu, Melanie Matchett Wood, David Zureick-Brown

Abstract: We consider the distribution of the Galois groups $\operatorname{Gal}(K^{\operatorname{un}}/K)$ of maximal unramified extensions as $K$ ranges over $Γ$-extensions of $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We prove two properties of $\operatorname{Gal}(K^{\operatorname{un}}/K)$ coming from number theory, which we use as motivation to build a probability distribution on profinite groups with these prope… ▽ More We consider the distribution of the Galois groups $\operatorname{Gal}(K^{\operatorname{un}}/K)$ of maximal unramified extensions as $K$ ranges over $Γ$-extensions of $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We prove two properties of $\operatorname{Gal}(K^{\operatorname{un}}/K)$ coming from number theory, which we use as motivation to build a probability distribution on profinite groups with these properties. In Part I, we build such a distribution as a limit of distributions on $n$-generated profinite groups. In Part II, we prove as $q\rightarrow\infty$, agreement of $\operatorname{Gal}(K^{\operatorname{un}}/K)$ as $K$ varies over totally real $Γ$-extensions of $\mathbb{F}_q(t)$ with our distribution from Part I, in the moments that are relatively prime to $q(q-1)|Γ|$. In particular, we prove for every finite group $Γ$, in the $q\rightarrow\infty$ limit, the prime-to-$q(q-1)|Γ|$-moments of the distribution of class groups of totally real $Γ$-extensions of $\mathbb{F}_q(t)$ agree with the prediction of the Cohen--Lenstra--Martinet heuristics. △ Less

Submitted 20 July, 2022; v1 submitted 11 July, 2019; originally announced July 2019.

Comments: contains minor corrections and updates from the previous version

Higher-power harmonic maps and sections

Authors: A. Ramachandran, C. M. Wood

Abstract: The variational theory of higher-power energy is developed for mappings between Riemannian manifolds, and more generally sections of submersions of Riemannian manifolds, and applied to sections of Riemannian vector bundles and their sphere subbundles. A complete classification is then given for left-invariant vector fields on 3-dimensional unimodular Lie groups equipped with an arbitrary left-inva… ▽ More The variational theory of higher-power energy is developed for mappings between Riemannian manifolds, and more generally sections of submersions of Riemannian manifolds, and applied to sections of Riemannian vector bundles and their sphere subbundles. A complete classification is then given for left-invariant vector fields on 3-dimensional unimodular Lie groups equipped with an arbitrary left-invariant Riemannian metric. △ Less

Submitted 15 March, 2019; v1 submitted 8 February, 2019; originally announced February 2019.

Comments: 32 pages

MSC Class: 53C05; 53C43; 58E20; 58E30

On a conjecture for $\ell$-torsion in class groups of number fields: from the perspective of moments

Authors: Lillian B. Pierce, Caroline L. Turnage-Butterbaugh, Melanie Matchett Wood

Abstract: It is conjectured that within the class group of any number field, for every integer $\ell \geq 1$, the $\ell$-torsion subgroup is very small (in an appropriate sense, relative to the discriminant of the field). In nearly all settings, the full strength of this conjecture remains open, and even partial progress is limited. Significant recent progress toward average versions of the $\ell$-torsion c… ▽ More It is conjectured that within the class group of any number field, for every integer $\ell \geq 1$, the $\ell$-torsion subgroup is very small (in an appropriate sense, relative to the discriminant of the field). In nearly all settings, the full strength of this conjecture remains open, and even partial progress is limited. Significant recent progress toward average versions of the $\ell$-torsion conjecture has crucially relied on counts for number fields, raising interest in how these two types of question relate. In this paper we make explicit the quantitative relationships between the $\ell$-torsion conjecture and other well-known conjectures: the Cohen-Lenstra heuristics, counts for number fields of fixed discriminant, counts for number fields of bounded discriminant (or related invariants), and counts for elliptic curves with fixed conductor. All of these considerations reinforce that we expect the $\ell$-torsion conjecture is true, despite limited progress toward it. Our perspective focuses on the relation between pointwise bounds, averages, and higher moments, and demonstrates the broad utility of the "method of moments." △ Less

Submitted 8 May, 2021; v1 submitted 5 February, 2019; originally announced February 2019.

Comments: The paper arXiv:1709.09637v1 by the same authors was submitted for publication in a significantly shorter version; some of the excluded material appears in this new paper, which also proves further results. Version 2 updates some references, with corresponding improvements in Section 6. Version 3 has a few small changes to streamline exposition after referee process

Cokernels of adjacency matrices of random $r$-regular graphs

Authors: Hoi H. Nguyen, Melanie Matchett Wood

Abstract: We study the distribution of the cokernels of adjacency matrices (the Smith groups) of certain models of random $r$-regular graphs and directed graphs, using recent mixing results of Mészáros. We explain how convergence of such distributions to a limiting probability distribution implies asymptotic nonsingularity of the matrices, giving another perspective on recent results of Huang and Mészáros o… ▽ More We study the distribution of the cokernels of adjacency matrices (the Smith groups) of certain models of random $r$-regular graphs and directed graphs, using recent mixing results of Mészáros. We explain how convergence of such distributions to a limiting probability distribution implies asymptotic nonsingularity of the matrices, giving another perspective on recent results of Huang and Mészáros on asymptotic nonsingularity of adjacency matrices of random regular directed and undirected graphs, respectively. We also remark on the new distributions on finite abelian groups that arise, in particular in the $p$-group aspect when $p\mid r$. △ Less

Submitted 28 June, 2018; v1 submitted 26 June, 2018; originally announced June 2018.

Random integral matrices: universality of surjectivity and the cokernel

Authors: Hoi H. Nguyen, Melanie Matchett Wood

Abstract: For a random matrix of entries sampled independently from a fairly general distribution in Z we study the probability that the cokernel is isomorphic to a given finite abelian group, or when it is cyclic. This includes the probability that the linear map between the integer lattices given by the matrix is surjective. We show that these statistics are asymptotically universal (as the size of the ma… ▽ More For a random matrix of entries sampled independently from a fairly general distribution in Z we study the probability that the cokernel is isomorphic to a given finite abelian group, or when it is cyclic. This includes the probability that the linear map between the integer lattices given by the matrix is surjective. We show that these statistics are asymptotically universal (as the size of the matrix goes to infinity), given by precise formulas involving zeta values, and agree with distributions defined by Cohen and Lenstra, even when the distribution of matrix entries is very distorted. Our method is robust and works for Laplacians of random digraphs and sparse matrices with the probability of an entry non-zero only n^{-1+epsilon}. △ Less

Submitted 2 June, 2018; originally announced June 2018.

Comments: 44 pages

MSC Class: 15B52; 60B20

Outliers in the spectrum for products of independent random matrices

Authors: Natalie Coston, Sean O'Rourke, Philip Matchett Wood

Abstract: For fixed positive integers m, we consider the product of m independent n by n random matrices with iid entries as in the limit as n tends to infinity. Under suitable assumptions on the entries of each matrix, it is known that the limiting empirical distribution of the eigenvalues is described by the m-th power of the circular law. Moreover, this same limiting distribution continues to hold if eac… ▽ More For fixed positive integers m, we consider the product of m independent n by n random matrices with iid entries as in the limit as n tends to infinity. Under suitable assumptions on the entries of each matrix, it is known that the limiting empirical distribution of the eigenvalues is described by the m-th power of the circular law. Moreover, this same limiting distribution continues to hold if each iid random matrix is additively perturbed by a bounded rank deterministic error. However, the bounded rank perturbations may create one or more outlier eigenvalues. We describe the asymptotic location of the outlier eigenvalues, which extends a result of Terence Tao for the case of a single iid matrix. Our methods also allow us to consider several other types of perturbations, including multiplicative perturbations. △ Less

Submitted 20 November, 2017; originally announced November 2017.

Comments: 61 pages, 9 figures

MSC Class: 60B20

Limiting empirical spectral distribution for the non-backtracking matrix of an Erdős-Rényi random graph

Authors: Ke Wang, Philip Matchett Wood

Abstract: In this note, we give a precise description of the limiting empirical spectral distribution (ESD) for the non-backtracking matrices for an Erdős-Rényi graph assuming $np/\log n$ tends to infinity. We show that derandomizing part of the non-backtracking random matrix simplifies the spectrum considerably, and then we use Tao and Vu's replacement principle and the Bauer-Fike theorem to show that the… ▽ More In this note, we give a precise description of the limiting empirical spectral distribution (ESD) for the non-backtracking matrices for an Erdős-Rényi graph assuming $np/\log n$ tends to infinity. We show that derandomizing part of the non-backtracking random matrix simplifies the spectrum considerably, and then we use Tao and Vu's replacement principle and the Bauer-Fike theorem to show that the partly derandomized spectrum is, in fact, very close to the original spectrum. △ Less

Submitted 29 December, 2023; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: Final version. Accepted by Combinatorics, Probability and Computing

Cohen-Lenstra heuristics and local conditions

Authors: Melanie Matchett Wood

Abstract: We prove function field theorems supporting the Cohen-Lenstra heuristics for real quadratic fields, and natural strengthenings of these analogs from the affine class group to the Picard group of the associated curve. Our function field theorems also support a conjecture of Bhargava on how local conditions on the quadratic field do not affect the distribution of class groups. Our results lead us to… ▽ More We prove function field theorems supporting the Cohen-Lenstra heuristics for real quadratic fields, and natural strengthenings of these analogs from the affine class group to the Picard group of the associated curve. Our function field theorems also support a conjecture of Bhargava on how local conditions on the quadratic field do not affect the distribution of class groups. Our results lead us to make further conjectures refining the Cohen-Lenstra heuristics, including on the distribution of certain elements in class groups. We prove instances of these conjectures in the number field case. Our function field theorems use a homological stability result of Ellenberg, Venkatesh, and Westerland. △ Less

Submitted 7 May, 2018; v1 submitted 3 October, 2017; originally announced October 2017.

Report number: AIM 2017-75

An effective Chebotarev density theorem for families of number fields, with an application to $\ell$-torsion in class groups

Authors: Lillian B. Pierce, Caroline L. Turnage-Butterbaugh, Melanie Matchett Wood

Abstract: We prove a new effective Chebotarev density theorem for Galois extensions $L/\mathbb{Q}$ that allows one to count small primes (even as small as an arbitrarily small power of the discriminant of $L$); this theorem holds for the Galois closures of "almost all" number fields that lie in an appropriate family of field extensions. Previously, applying Chebotarev in such small ranges required assuming… ▽ More We prove a new effective Chebotarev density theorem for Galois extensions $L/\mathbb{Q}$ that allows one to count small primes (even as small as an arbitrarily small power of the discriminant of $L$); this theorem holds for the Galois closures of "almost all" number fields that lie in an appropriate family of field extensions. Previously, applying Chebotarev in such small ranges required assuming the Generalized Riemann Hypothesis. The error term in this new Chebotarev density theorem also avoids the effect of an exceptional zero of the Dedekind zeta function of $L$, without assuming GRH. We give many different "appropriate families," including families of arbitrarily large degree. To do this, we first prove a new effective Chebotarev density theorem that requires a zero-free region of the Dedekind zeta function. Then we prove that almost all number fields in our families yield such a zero-free region. The innovation that allows us to achieve this is a delicate new method for controlling zeroes of certain families of non-cuspidal $L$-functions. This builds on, and greatly generalizes the applicability of, work of Kowalski and Michel on the average density of zeroes of a family of cuspidal $L$-functions. A surprising feature of this new method, which we expect will have independent interest, is that we control the number of zeroes in the family of $L$-functions by bounding the number of certain associated fields with fixed discriminant. As an application of the new Chebotarev density theorem, we prove the first nontrivial upper bounds for $\ell$-torsion in class groups, for all integers $\ell \geq 1$, applicable to infinite families of fields of arbitrarily large degree. △ Less

Submitted 7 February, 2020; v1 submitted 27 September, 2017; originally announced September 2017.

Comments: 52 pages. This shorter version aligns with the published paper. Note that portions of Section 8 of the longer v1 have been developed as a separate paper with identifier arXiv:1902.02008

The free group on n generators modulo n+u random relations as n goes to infinity

Authors: Yuan Liu, Melanie Matchett Wood

Abstract: We show that, as n goes to infinity, the free group on n generators, modulo n+u random relations, converges to a random group that we give explicitly. This random group is a non-abelian version of the random abelian groups that feature in the Cohen-Lenstra heuristics. For each n, these random groups belong to the few relator model in the Gromov model of random groups. We show that, as n goes to infinity, the free group on n generators, modulo n+u random relations, converges to a random group that we give explicitly. This random group is a non-abelian version of the random abelian groups that feature in the Cohen-Lenstra heuristics. For each n, these random groups belong to the few relator model in the Gromov model of random groups. △ Less

Submitted 26 November, 2019; v1 submitted 28 August, 2017; originally announced August 2017.

Comments: minor corrections added

Report number: AIM 2017-53

Irreducibility of Random Polynomials

Authors: Christian Borst, Evan Boyd, Claire Brekken, Samantha Solberg, Melanie Matchett Wood, Philip Matchett Wood

Abstract: We study the probability that a random polynomial with integer coefficients is reducible when factored over the rational numbers. Using computer-generated data, we investigate a number of different models, including both monic and non-monic polynomials. Our data supports conjectures made by Odlyzko and Poonen and by Konyagin, and we formulate a universality heuristic and new conjectures that conne… ▽ More We study the probability that a random polynomial with integer coefficients is reducible when factored over the rational numbers. Using computer-generated data, we investigate a number of different models, including both monic and non-monic polynomials. Our data supports conjectures made by Odlyzko and Poonen and by Konyagin, and we formulate a universality heuristic and new conjectures that connect their work with Hilbert's Irreducibility Theorem and work of van der Waerden. The data indicates that the probability that a random polynomial is reducible divided by the probability that there is a linear factor appears to approach a constant and, in the large-degree limit, this constant appears to approach one. In cases where the model makes it impossible for the random polynomial to have a linear factor, the probability of reducibility appears to be close to the probability of having a non-linear, low-degree factor. We also study characteristic polynomials of random matrices with +1 and -1 entries. △ Less

Submitted 10 May, 2017; originally announced May 2017.

Comments: 14 pages, 9 figures

Report number: AIM-2017-20 MSC Class: 11C08; 60C05

Nonabelian Cohen-Lenstra Moments

Authors: Melanie Matchett Wood, Philip Matchett Wood

Abstract: In this paper we give a conjecture for the average number of unramified $G$-extensions of a quadratic field for any finite group $G$. The Cohen-Lenstra heuristics are the specialization of our conjecture to the case that $G$ is abelian of odd order. We prove a theorem towards the function field analog of our conjecture, and give additional motivations for the conjecture including the construction… ▽ More In this paper we give a conjecture for the average number of unramified $G$-extensions of a quadratic field for any finite group $G$. The Cohen-Lenstra heuristics are the specialization of our conjecture to the case that $G$ is abelian of odd order. We prove a theorem towards the function field analog of our conjecture, and give additional motivations for the conjecture including the construction of a lifting invariant for the unramified $G$-extensions that takes the same number of values as the predicted average and an argument using the Malle-Bhargava principle. We note that for even $|G|$, corrections for the roots of unity in $\mathbb{Q}$ are required, which can not be seen when $G$ is abelian. △ Less

Submitted 12 July, 2018; v1 submitted 15 February, 2017; originally announced February 2017.

Comments: main article by Melanie Matchett Wood, appendix by Melanie Matchett Wood and Philip Matchett Wood, to appear in Duke Mathematical Journal

Report number: AIM 2017-4

Journal ref: Duke Math. J. 168, no. 3 (2019), 377-427

Coincidences of homological densities, predicted by arithmetic

Authors: Benson Farb, Jesse Wolfson, Melanie Matchett Wood

Abstract: Motivated by analogies with basic density theorems in analytic number theory, we introduce a notion (and variations) of the homological density of one space in another. We use Weil's number field/ function field analogy to predict coincidences for limiting homological densities of various sequences $\mathcal{Z}^{(d_1,\ldots,d_m)}_n(X)$ of spaces of $0$-cycles on manifolds $X$. The main theorem in… ▽ More Motivated by analogies with basic density theorems in analytic number theory, we introduce a notion (and variations) of the homological density of one space in another. We use Weil's number field/ function field analogy to predict coincidences for limiting homological densities of various sequences $\mathcal{Z}^{(d_1,\ldots,d_m)}_n(X)$ of spaces of $0$-cycles on manifolds $X$. The main theorem in this paper is that these topological predictions, which seem strange from a purely topological viewpoint, are indeed true. The obstacle to proving such a theorem with current technology is how to deal with the combinatorial complexity of all possible "collisions" of points, this problem does not arise in the simplest (and classical) case $(m,n)=(1,2)$ of configuration spaces. To overcome this obstacle we develop a method that uses the Björner--Wachs theory of lexicographic shellability from algebraic combinatorics to study such problems. As a consequence we derive new homological stability theorems for broad classes of $0$-cycles on manifolds. Even in the classical case $(m,n)=(1,2)$ this gives a new, simplified proof of classical results, and also of recent theorems of Church and others. △ Less

Submitted 12 June, 2019; v1 submitted 14 November, 2016; originally announced November 2016.

Comments: 41 pages. Final Version

Report number: AIM 2016-126

Low-degree factors of random polynomials

Authors: Sean O'Rourke, Philip Matchett Wood

Abstract: Motivated by the question of whether a random polynomial with integer coefficients is likely to be irreducible, we study the probability that a monic polynomial with integer coefficients has a low-degree factor over the integers, which is equivalent to having a low-degree algebraic root. It is known in certain cases that random polynomials with integer coefficients are very likely to be irreducibl… ▽ More Motivated by the question of whether a random polynomial with integer coefficients is likely to be irreducible, we study the probability that a monic polynomial with integer coefficients has a low-degree factor over the integers, which is equivalent to having a low-degree algebraic root. It is known in certain cases that random polynomials with integer coefficients are very likely to be irreducible, and our project can be viewed as part of the general program of testing whether this is a universal behavior exhibited by many random polynomial models. Our main result shows that pointwise delocalization of the roots of a random polynomial can be used to imply that the polynomial is unlikely to have a low-degree factor over the integers. We apply our main result to a number of models of random polynomials, including characteristic polynomials of random matrices, where strong delocalization results are known. Studying a variety of random matrix models---including iid matrices, symmetric matrices, elliptical matrices, and adjacency matrices of random graphs and digraphs---we show that, for a random square matrix with integer entries, the characteristic polynomial is unlikely to have a low-degree factor over the integers, which is equivalent to the matrix having an eigenvalue that is algebraic with low degree. Having a low-degree algebraic eigenvalue generalizes the questions of whether the matrix has a rational eigenvalue and whether the matrix is singular (i.e., has an eigenvalue equal to zero). △ Less

Submitted 22 May, 2018; v1 submitted 5 August, 2016; originally announced August 2016.

Comments: Theorem 2.1 strengthened and improved following comments from a referee. 30 pages, 1 figure

MSC Class: 11C08; 15B52

On $\ell$-torsion in class groups of number fields

Authors: Jordan Ellenberg, Lillian B. Pierce, Melanie Matchett Wood

Abstract: For each integer $\ell \geq 1$, we prove an unconditional upper bound on the size of the $\ell$-torsion subgroup of the class group, which holds for all but a zero-density set of field extensions of $\mathbb{Q}$ of degree $d$, for any fixed $d \in \{2,3,4,5\}$ (with the additional restriction in the case $d=4$ that the field be non-$D_4$). For sufficiently large $\ell$ (specified explicitly), thes… ▽ More For each integer $\ell \geq 1$, we prove an unconditional upper bound on the size of the $\ell$-torsion subgroup of the class group, which holds for all but a zero-density set of field extensions of $\mathbb{Q}$ of degree $d$, for any fixed $d \in \{2,3,4,5\}$ (with the additional restriction in the case $d=4$ that the field be non-$D_4$). For sufficiently large $\ell$ (specified explicitly), these results are as strong as a previously known bound that is conditional on GRH. As part of our argument, we develop a probabilistic "Chebyshev sieve," and give uniform, power-saving error terms for the asymptotics of quartic (non-$D_4$) and quintic fields with chosen splitting types at a finite set of primes. △ Less

Submitted 7 September, 2017; v1 submitted 20 June, 2016; originally announced June 2016.

Comments: 27 pages, updated from v1 with minor edits to exposition

Journal ref: Alg. Number Th. 11 (2017) 1739-1778

Nonabelian Cohen-Lenstra Heuristics over Function Fields

Authors: Nigel Boston, Melanie Matchett Wood

Abstract: Boston, Bush, and Hajir have developed heuristics, extending the Cohen-Lenstra heuristics, that conjecture the distribution of the Galois groups of the maximal unramified pro-p extensions of imaginary quadratic number fields for p an odd prime. In this paper, we find the moments of their proposed distribution, and further prove there is a unique distribution with those moments. Further, we show th… ▽ More Boston, Bush, and Hajir have developed heuristics, extending the Cohen-Lenstra heuristics, that conjecture the distribution of the Galois groups of the maximal unramified pro-p extensions of imaginary quadratic number fields for p an odd prime. In this paper, we find the moments of their proposed distribution, and further prove there is a unique distribution with those moments. Further, we show that in the function field analog, for imaginary quadratic extensions of F_q(t), the Galois groups of the maximal unramified pro-p extensions, as q goes to infinity, have the moments predicted by the Boston, Bush, and Hajir heuristics. In fact, we determine the moments of the Galois groups of the maximal unramified pro-odd extensions of imaginary quadratic function fields, leading to a conjecture on Galois groups of the maximal unramified pro-odd extensions of imaginary quadratic number fields. △ Less

Submitted 18 January, 2017; v1 submitted 12 April, 2016; originally announced April 2016.

Comments: minor corrections made, to appear in Compositio

Report number: AIM 2016-38 MSC Class: 11R45; 11G20; 11R29; 11R11; 55R80; 14H10

Journal ref: Compositio Math. 153 (2017) 1372-1390

A heuristic for boundedness of ranks of elliptic curves

Authors: Jennifer Park, Bjorn Poonen, John Voight, Melanie Matchett Wood

Abstract: We present a heuristic that suggests that ranks of elliptic curves over the rationals are bounded. In fact, it suggests that there are only finitely many elliptic curves of rank greater than 21. Our heuristic is based on modeling the ranks and Shafarevich-Tate groups of elliptic curves simultaneously, and relies on a theorem counting alternating integer matrices of specified rank. We also discuss… ▽ More We present a heuristic that suggests that ranks of elliptic curves over the rationals are bounded. In fact, it suggests that there are only finitely many elliptic curves of rank greater than 21. Our heuristic is based on modeling the ranks and Shafarevich-Tate groups of elliptic curves simultaneously, and relies on a theorem counting alternating integer matrices of specified rank. We also discuss analogues for elliptic curves over other global fields. △ Less

Submitted 10 July, 2018; v1 submitted 3 February, 2016; originally announced February 2016.

Comments: 41 pages, typos fixed in torsion table in section 8

Spectra of nearly Hermitian random matrices

Authors: Sean O'Rourke, Philip Matchett Wood

Abstract: We consider the eigenvalues and eigenvectors of matrices of the form M + P, where M is an n by n Wigner random matrix and P is an arbitrary n by n deterministic matrix with low rank. In general, we show that none of the eigenvalues of M + P need be real, even when P has rank one. We also show that, except for a few outlier eigenvalues, most of the eigenvalues of M + P are within 1/n of the real li… ▽ More We consider the eigenvalues and eigenvectors of matrices of the form M + P, where M is an n by n Wigner random matrix and P is an arbitrary n by n deterministic matrix with low rank. In general, we show that none of the eigenvalues of M + P need be real, even when P has rank one. We also show that, except for a few outlier eigenvalues, most of the eigenvalues of M + P are within 1/n of the real line, up to small order corrections. We also prove a new result quantifying the outlier eigenvalues for multiplicative perturbations of the form S ( I + P ), where S is a sample covariance matrix and I is the identity matrix. We extend our result showing all eigenvalues except the outliers are close to the real line to this case as well. As an application, we study the critical points of the characteristic polynomials of nearly Hermitian random matrices. △ Less

Submitted 20 April, 2016; v1 submitted 30 September, 2015; originally announced October 2015.

Comments: 49 pages, 5 figures

MSC Class: 60B20

Representations of integers by systems of three quadratic forms

Authors: Lillian B. Pierce, Damaris Schindler, Melanie Matchett Wood

Abstract: It is classically known that the circle method produces an asymptotic for the number of representations of a tuple of integers $(n_1,\ldots,n_R)$ by a system of quadratic forms $Q_1,\ldots, Q_R$ in $k$ variables, as long as $k$ is sufficiently large; reducing the required number of variables remains a significant open problem. In this work, we consider the case of 3 forms and improve on the classi… ▽ More It is classically known that the circle method produces an asymptotic for the number of representations of a tuple of integers $(n_1,\ldots,n_R)$ by a system of quadratic forms $Q_1,\ldots, Q_R$ in $k$ variables, as long as $k$ is sufficiently large; reducing the required number of variables remains a significant open problem. In this work, we consider the case of 3 forms and improve on the classical result by reducing the number of required variables to $k \geq 10$ for "almost all" tuples, under appropriate nonsingularity assumptions on the forms $Q_1,Q_2,Q_3$. To accomplish this, we develop a three-dimensional analogue of Kloosterman's circle method, in particular capitalizing on geometric properties of appropriate systems of three quadratic forms. △ Less

Submitted 1 July, 2017; v1 submitted 15 September, 2015; originally announced September 2015.

Comments: 64 pages, minor edits to exposition to agree with published version

Mass formulas for local Galois representations and quotient singularities II: dualities and resolution of singularities

Authors: Melanie Machett Wood, Takehiko Yasuda

Abstract: A total mass is the weighted count of continuous homomorphisms from the absolute Galois group of a local field to a finite group. In the preceding paper, the authors observed that in a particular example, two total masses coming from two different weightings are dual to each other. We discuss the problem how general such a duality holds and relate it to the existence of simultaneous resolution of… ▽ More A total mass is the weighted count of continuous homomorphisms from the absolute Galois group of a local field to a finite group. In the preceding paper, the authors observed that in a particular example, two total masses coming from two different weightings are dual to each other. We discuss the problem how general such a duality holds and relate it to the existence of simultaneous resolution of singularities, using the wild McKay correspondence and the Poincaré duality for stringy invariants. We also exhibit several examples. △ Less

Submitted 28 May, 2015; originally announced May 2015.

Comments: 20 pages

MSC Class: 14E15; 14E16; 11S15; 11G25

Journal ref: Alg. Number Th. 11 (2017) 817-840

The distribution of $\mathbb{F}_q$-points on cyclic $\ell$-covers of genus $g$

Authors: Alina Bucur, Chantal David, Brooke Feigon, Nathan Kaplan, Matilde Lalín, Ekin Ozman, Melanie Matchett Wood

Abstract: We study fluctuations in the number of points of $\ell$-cyclic covers of the projective line over the finite field $\mathbb{F}_q$ when $q \equiv 1 \mod \ell$ is fixed and the genus tends to infinity. The distribution is given as a sum of $q+1$ i.i.d. random variables. This was settled for hyperelliptic curves by Kurlberg and Rudnick, while statistics were obtained for certain components of the mod… ▽ More We study fluctuations in the number of points of $\ell$-cyclic covers of the projective line over the finite field $\mathbb{F}_q$ when $q \equiv 1 \mod \ell$ is fixed and the genus tends to infinity. The distribution is given as a sum of $q+1$ i.i.d. random variables. This was settled for hyperelliptic curves by Kurlberg and Rudnick, while statistics were obtained for certain components of the moduli space of $\ell$-cyclic covers by Bucur, David, Feigon and Lalín. In this paper, we obtain statistics for the distribution of the number of points as the covers vary over the full moduli space of $\ell$-cyclic covers of genus $g$. This is achieved by relating $\ell$-covers to cyclic function field extensions, and counting such extensions with prescribed ramification and splitting conditions at a finite number of primes. △ Less

Submitted 26 May, 2015; originally announced May 2015.

Random integral matrices and the Cohen Lenstra Heuristics

Authors: Melanie Matchett Wood

Abstract: We prove that given any $ε>0$, random integral $n\times n$ matrices with independent entries that lie in any residue class modulo a prime with probability at most $1-ε$ have cokernels asymptotically (as $n\rightarrow\infty$) distributed as in the distribution on finite abelian groups that Cohen and Lenstra conjecture as the distribution for class groups of imaginary quadratic fields. This is a ref… ▽ More We prove that given any $ε>0$, random integral $n\times n$ matrices with independent entries that lie in any residue class modulo a prime with probability at most $1-ε$ have cokernels asymptotically (as $n\rightarrow\infty$) distributed as in the distribution on finite abelian groups that Cohen and Lenstra conjecture as the distribution for class groups of imaginary quadratic fields. This is a refinement of a result on the distribution of ranks of random matrices with independent entries in $\mathbb{Z}/p\mathbb{Z}$. This is interesting especially in light of the fact that these class groups are naturally cokernels of square matrices. We also prove the analogue for $n\times (n+u)$ matrices. △ Less

Submitted 16 April, 2015; originally announced April 2015.

Report number: AIM - 2015 -17

Harmonic vector fields on pseudo-Riemannian manifolds

Authors: R. M. Friswell, C. M. Wood

Abstract: The theory of harmonic vector fields on Riemannian manifolds is generalised to pseudo-Riemannian manifolds. Harmonic conformal gradient fields on pseudo-Euclidean hyperquadrics are classified up to congruence, as are harmonic Killing fields on pseudo-Riemannian quadrics. A para-Kaehler twisted anti-isometry is used to correlate harmonic vector fields on the quadrics of neutral signature. The theory of harmonic vector fields on Riemannian manifolds is generalised to pseudo-Riemannian manifolds. Harmonic conformal gradient fields on pseudo-Euclidean hyperquadrics are classified up to congruence, as are harmonic Killing fields on pseudo-Riemannian quadrics. A para-Kaehler twisted anti-isometry is used to correlate harmonic vector fields on the quadrics of neutral signature. △ Less

Submitted 28 October, 2016; v1 submitted 7 January, 2015; originally announced January 2015.

Comments: 20 pages

MSC Class: 53C07; 53C20; 53C43; 53C50; 58E20; 58E30

A heuristic for the distribution of point counts for random curves over a finite field

Authors: Jeffrey D. Achter, Daniel Erman, Kiran S. Kedlaya, Melanie Matchett Wood, David Zureick-Brown

Abstract: How many rational points are there on a random algebraic curve of large genus $g$ over a given finite field $\mathbb{F}_q$? We propose a heuristic for this question motivated by a (now proven) conjecture of Mumford on the cohomology of moduli spaces of curves; this heuristic suggests a Poisson distribution with mean $q+1+1/(q-1)$. We prove a weaker version of this statement in which $g$ and $q$ te… ▽ More How many rational points are there on a random algebraic curve of large genus $g$ over a given finite field $\mathbb{F}_q$? We propose a heuristic for this question motivated by a (now proven) conjecture of Mumford on the cohomology of moduli spaces of curves; this heuristic suggests a Poisson distribution with mean $q+1+1/(q-1)$. We prove a weaker version of this statement in which $g$ and $q$ tend to infinity, with $q$ much larger than $g$. △ Less

Submitted 21 November, 2014; v1 submitted 27 October, 2014; originally announced October 2014.

Comments: 16 pages; v2: refereed version, Philosophical Transactions of the Royal Society A 2015

Report number: AIM 2014-83

Universality of the ESD for a fixed matrix plus small random noise: a stability approach

Authors: Philip Matchett Wood

Abstract: We study the empirical spectral distribution (ESD) in the limit where n goes to infinity of a fixed n by n matrix M_n plus small random noise of the form f(n)X_n, where X_n has iid mean 0, variance 1/n entries and f(n) goes to 0 as n goes to infinity. It is known for certain M_n, in the case where X_n is iid complex Gaussian, that the limiting distribution of the ESD of M_n+f(n)X_n can be dramatic… ▽ More We study the empirical spectral distribution (ESD) in the limit where n goes to infinity of a fixed n by n matrix M_n plus small random noise of the form f(n)X_n, where X_n has iid mean 0, variance 1/n entries and f(n) goes to 0 as n goes to infinity. It is known for certain M_n, in the case where X_n is iid complex Gaussian, that the limiting distribution of the ESD of M_n+f(n)X_n can be dramatically different from that for M_n. We prove a general universality result showing, with some conditions on M_n and f(n), that the limiting distribution of the ESD does not depend on the type of distribution used for the random entries of X_n. We use the universality result to exactly compute the limiting ESD for two families where it was not previously known. The proof of the main result incorporates the Tao-Vu replacement principle and a version of the Lindeberg replacement strategy, along with the newly-defined notion of stability of sets of rows of a matrix. △ Less

Submitted 18 March, 2014; originally announced March 2014.

Comments: 24 pages, 1 figure

MSC Class: 60B20

The distribution of sandpile groups of random graphs

Authors: Melanie Matchett Wood

Abstract: We determine the distribution of the sandpile group (a.k.a. Jacobian) of the Erdős-Rényi random graph G(n,q) as n goes to infinity. Since any particular group appears with asymptotic probability 0 (as we show), it is natural ask for the asymptotic distribution of Sylow p-subgroups of sandpile groups. We prove the distributions of Sylow p-subgroups converge to specific distributions conjectured by… ▽ More We determine the distribution of the sandpile group (a.k.a. Jacobian) of the Erdős-Rényi random graph G(n,q) as n goes to infinity. Since any particular group appears with asymptotic probability 0 (as we show), it is natural ask for the asymptotic distribution of Sylow p-subgroups of sandpile groups. We prove the distributions of Sylow p-subgroups converge to specific distributions conjectured by Clancy, Leake, and Payne. These distributions are related to, but different from, the Cohen-Lenstra distribution. Our proof involves first finding the expected number of surjections from the sandpile group to any finite abelian group (the "moments" of a random variable valued in finite abelian groups). To achieve this, we show a universality result for the moments of cokernels of random symmetric integral matrices that is strong enough to handle dependence in the diagonal entries. We then show these moments determine a unique distribution despite their p^{k^2}-size growth. △ Less

Submitted 2 June, 2014; v1 submitted 20 February, 2014; originally announced February 2014.

Report number: AIM - 2014 - 4 MSC Class: 05C80; 15B52; 60B20

On a Cohen-Lenstra Heuristic for Jacobians of Random Graphs

Authors: Julien Clancy, Nathan Kaplan, Timothy Leake, Sam Payne, Melanie Matchett Wood

Abstract: In this paper, we make specific conjectures about the distribution of Jacobians of random graphs with their canonical duality pairings. Our conjectures are based on a Cohen-Lenstra type heuristic saying that a finite abelian group with duality pairing appears with frequency inversely proportional to the size of the group times the size of the group of automorphisms that preserve the pairing. We co… ▽ More In this paper, we make specific conjectures about the distribution of Jacobians of random graphs with their canonical duality pairings. Our conjectures are based on a Cohen-Lenstra type heuristic saying that a finite abelian group with duality pairing appears with frequency inversely proportional to the size of the group times the size of the group of automorphisms that preserve the pairing. We conjecture that the Jacobian of a random graph is cyclic with probability a little over .7935. We determine the values of several other statistics on Jacobians of random graphs that would follow from our conjectures. In support of the conjectures, we prove that random symmetric matrices over the p-adic integers, distributed according to Haar measure, have cokernels distributed according to the above heuristic. We also give experimental evidence in support of our conjectures. △ Less

Submitted 21 April, 2015; v1 submitted 20 February, 2014; originally announced February 2014.

Comments: 20 pages. v2: Improved exposition and appended code used to generate experimental evidence after the \end{document} line in the source file. To appear in J. Algebraic Combin

Report number: AIM - 2014 - 5 MSC Class: 05C80; 15B52

Journal ref: J. Algebraic Combin. 42 (2015), no. 3, 701-723

Mass formulas for local Galois representations and quotient singularities I: a comparison of counting functions

Authors: Melanie Machett Wood, Takehiko Yasuda

Abstract: We study a relation between the Artin conductor and the weight coming from the motivic integration over wild Deligne-Mumford stacks. As an application, we prove some version of the McKay correspondence, which relates Bhargava's mass formula for extensions of a local field and the Hilbert scheme of points. We study a relation between the Artin conductor and the weight coming from the motivic integration over wild Deligne-Mumford stacks. As an application, we prove some version of the McKay correspondence, which relates Bhargava's mass formula for extensions of a local field and the Hilbert scheme of points. △ Less

Submitted 17 February, 2015; v1 submitted 11 September, 2013; originally announced September 2013.

Comments: 22 pages, v.3: Section 5.1 was modified. Accordingly notation of (semi)rings was also modified in the rest of Section 5, to appear in International Mathematics Research Notices

Report number: AIM 2013-44 MSC Class: 11S15 (Primary) 14E16 (Secondary)

Journal ref: Int. Math. Res. Not. IMRN(2015), no. 23, 12590-12619

Harmonic Vector Fields on Space Forms

Authors: M. Benyounes, E. Loubeau, C. M. Wood

Abstract: A vector field s on a Riemannian manifold M is said to be harmonic if there exists a member of a 2-parameter family of generalised Cheeger-Gromoll metrics on TM with respect to which s is a harmonic section. If M is a simply-connected non-flat space form other than the 2-sphere, examples are obtained of conformal vector fields that are harmonic. In particular, the harmonic Killing fields and confo… ▽ More A vector field s on a Riemannian manifold M is said to be harmonic if there exists a member of a 2-parameter family of generalised Cheeger-Gromoll metrics on TM with respect to which s is a harmonic section. If M is a simply-connected non-flat space form other than the 2-sphere, examples are obtained of conformal vector fields that are harmonic. In particular, the harmonic Killing fields and conformal gradient fields are classified, a loop of non-congruent harmonic conformal fields on the hyperbolic plane constructed, and the 2-dimensional classification achieved for conformal fields. A classification is then given of all harmonic quadratic gradient fields on spheres. △ Less

Submitted 25 January, 2013; originally announced January 2013.

Comments: 29 pages. This is such a complete overhaul of arXiv:math/0703060 that we submit it as new article

Counting polynomials over finite fields with given root multiplicities

Authors: Ayah Almousa, Melanie Matchett Wood

Abstract: We give formulas for the number of polynomials over a finite field with given root multiplicities, in particular in cases when the formula is surprisingly simple (a power of q). Besides this concrete interpretation, we also prove an analogous result on configuration spaces in the Grothendieck ring of varieties, suggesting new homological stabilization conjectures for configuration spaces of the pl… ▽ More We give formulas for the number of polynomials over a finite field with given root multiplicities, in particular in cases when the formula is surprisingly simple (a power of q). Besides this concrete interpretation, we also prove an analogous result on configuration spaces in the Grothendieck ring of varieties, suggesting new homological stabilization conjectures for configuration spaces of the plane. △ Less

Submitted 1 October, 2012; originally announced October 2012.

Report number: AIM 2012-59 MSC Class: 11T06; 18F30; 55R80; 14G15

The distribution of points on superelliptic curves over finite fields

Authors: GilYoung Cheong, Melanie Matchett Wood, Azeem Zaman

Abstract: We give the distribution of points on smooth superelliptic curves over a fixed finite field, as their degree goes to infinity. We also give the distribution of points on smooth m-fold cyclic covers of the line, for any m, as the degree of their superelliptic model goes to infinity. This builds on previous work of Kurlberg, Rudnick, Bucur, David, Feigon, and Lalin for p-fold cyclic covers, but the… ▽ More We give the distribution of points on smooth superelliptic curves over a fixed finite field, as their degree goes to infinity. We also give the distribution of points on smooth m-fold cyclic covers of the line, for any m, as the degree of their superelliptic model goes to infinity. This builds on previous work of Kurlberg, Rudnick, Bucur, David, Feigon, and Lalin for p-fold cyclic covers, but the limits taken differ slightly and the resulting distributions are interestingly different. △ Less

Submitted 1 October, 2012; originally announced October 2012.

Report number: AIM 2012-58 MSC Class: 11G20; 11T55; 11R58; 14H25; 11R45; 11R20; 11T06

Semiample Bertini theorems over finite fields

Authors: Daniel Erman, Melanie Matchett Wood

Abstract: We prove a semiample generalization of Poonen's Bertini Theorem over a finite field that implies the existence of smooth sections for wide new classes of divisors. The probability of smoothness is computed as a product of local probabilities taken over the fibers of the morphism determined by the relevant divisor. We give several applications including a negative answer to a question of Baker and… ▽ More We prove a semiample generalization of Poonen's Bertini Theorem over a finite field that implies the existence of smooth sections for wide new classes of divisors. The probability of smoothness is computed as a product of local probabilities taken over the fibers of the morphism determined by the relevant divisor. We give several applications including a negative answer to a question of Baker and Poonen by constructing a variety (in fact one of each dimension) which provides a counterexample to Bertini over finite fields in arbitrarily large projective spaces. As another application, we determine the probability of smoothness for curves in Hirzebruch surfaces, and the distribution of points on those smooth curves. △ Less

Submitted 24 September, 2012; originally announced September 2012.

Report number: AIM 2012-57 MSC Class: 14J70; 14C20; 14G15; 11G20; 11G25

Journal ref: Duke Math. J. 164, no. 1 (2015), 1-38

Discriminants in the Grothendieck Ring

Authors: Ravi Vakil, Melanie Matchett Wood

Abstract: We consider the "limiting behavior" of *discriminants*, by which we mean informally the locus in some parameter space of some type of object where the objects have certain singularities. We focus on the space of partially labeled points on a variety X, and linear systems on X. These are connected --- we use the first to understand the second. We describe their classes in the Grothendieck ring of v… ▽ More We consider the "limiting behavior" of *discriminants*, by which we mean informally the locus in some parameter space of some type of object where the objects have certain singularities. We focus on the space of partially labeled points on a variety X, and linear systems on X. These are connected --- we use the first to understand the second. We describe their classes in the Grothendieck ring of varieties, as the number of points gets large, or as the line bundle gets very positive. They stabilize in an appropriate sense, and their stabilization is given in terms of motivic zeta values. Motivated by our results, we conjecture that the symmetric powers of geometrically irreducible varieties stabilize in the Grothendieck ring (in an appropriate sense). Our results extend parallel results in both arithmetic and topology. We give a number of reasons for considering these questions, and propose a number of new conjectures, both arithmetic and topological. △ Less

Submitted 19 November, 2013; v1 submitted 15 August, 2012; originally announced August 2012.

Comments: 39 pages, updated with progress by others on various conjectures

Report number: AIM 2012 - 51 MSC Class: 14G10; 18F30; 11S40; 55R80

Journal ref: Duke Math. J. 164, no. 6 (2015), 1139-1185

Gauss Composition for P^1, and the universal Jacobian of the Hurwitz space of double covers

Authors: Daniel Erman, Melanie Matchett Wood

Abstract: We investigate the universal Jacobian of degree n line bundles over the Hurwitz stack of double covers of P^1 by a curve of genus g. Our main results are: the construction of a smooth, irreducible, universally closed (but not separated) moduli compactification of this universal Jacobian; a description of the global geometry and moduli properties of these stacks; and a computation of the Picard gro… ▽ More We investigate the universal Jacobian of degree n line bundles over the Hurwitz stack of double covers of P^1 by a curve of genus g. Our main results are: the construction of a smooth, irreducible, universally closed (but not separated) moduli compactification of this universal Jacobian; a description of the global geometry and moduli properties of these stacks; and a computation of the Picard groups of these stacks in the cases when n-g is even. An important ingredient of our work is the parametrization of line bundles on double covers by binary quadratic forms. This parametrization generalizes the classical number theoretic correspondence between ideal classes of quadratic rings and integral binary quadratic forms, which in particular gives the group law on integral binary quadratic forms first discovered by Gauss. △ Less

Submitted 17 July, 2016; v1 submitted 2 November, 2011; originally announced November 2011.

Comments: mathematical and expositional updates and improvements, 29 pages, 5 figures

Report number: AIM 2011-25 MSC Class: 14D23; 14H10; 14H40; 11E16

Journal ref: Journal of Algebra, 470, 2017, 320-352

Convergence of the spectral measure of non normal matrices

Authors: Alice Guionnet, Philip Matchett Wood, Ofer Zeitouni

Abstract: We discuss regularization by noise of the spectrum of large random non-Normal matrices. Under suitable conditions, we show that the regularization of a sequence of matrices that converges in *-moments to a regular element $a$, by the addition of a polynomially vanishing Gaussian Ginibre matrix, forces the empirical measure of eigenvalues to converge to the Brown measure of $a$. We discuss regularization by noise of the spectrum of large random non-Normal matrices. Under suitable conditions, we show that the regularization of a sequence of matrices that converges in *-moments to a regular element $a$, by the addition of a polynomially vanishing Gaussian Ginibre matrix, forces the empirical measure of eigenvalues to converge to the Brown measure of $a$. △ Less

Submitted 11 October, 2011; originally announced October 2011.

The distribution of the number of points on trigonal curves over $\F_q$

Authors: Melanie Matchett Wood

Abstract: We give a short determination of the distribution of the number of $\F_q$-rational points on a random trigonal curve over $\F_q$, in the limit as the genus of the curve goes to infinity. In particular, the expected number of points is $q+2-\frac{1}{q^2+q+1}$, contrasting with recent analogous results for cyclic $p$-fold covers of $\mathbb P^1$ and plane curves which have an expected number of poin… ▽ More We give a short determination of the distribution of the number of $\F_q$-rational points on a random trigonal curve over $\F_q$, in the limit as the genus of the curve goes to infinity. In particular, the expected number of points is $q+2-\frac{1}{q^2+q+1}$, contrasting with recent analogous results for cyclic $p$-fold covers of $\mathbb P^1$ and plane curves which have an expected number of points of $q+1$ (by work of Kurlberg, Rudnick, Bucur, David, Feigon and Lalín) and curves which are complete intersections which have an expected number of points $<q+1$ (by work of Bucur and Kedlaya). We also give a conjecture for the expected number of points on a random $n$-gonal curve with full $S_n$ monodromy based on function field analogs of Bhargava's heuristics for counting number fields. △ Less

Submitted 11 August, 2011; originally announced August 2011.

Report number: AIM 2011-24

Universality and the circular law for sparse random matrices

Authors: Philip Matchett Wood

Abstract: The universality phenomenon asserts that the distribution of the eigenvalues of random matrix with i.i.d. zero mean, unit variance entries does not depend on the underlying structure of the random entries. For example, a plot of the eigenvalues of a random sign matrix, where each entry is +1 or -1 with equal probability, looks the same as an analogous plot of the eigenvalues of a random matrix whe… ▽ More The universality phenomenon asserts that the distribution of the eigenvalues of random matrix with i.i.d. zero mean, unit variance entries does not depend on the underlying structure of the random entries. For example, a plot of the eigenvalues of a random sign matrix, where each entry is +1 or -1 with equal probability, looks the same as an analogous plot of the eigenvalues of a random matrix where each entry is complex Gaussian with zero mean and unit variance. In the current paper, we prove a universality result for sparse random n by n matrices where each entry is nonzero with probability $1/n^{1-α}$ where $0<α\le1$ is any constant. One consequence of the sparse universality principle is that the circular law holds for sparse random matrices so long as the entries have zero mean and unit variance, which is the most general result for sparse random matrices to date. △ Less

Submitted 10 October, 2012; v1 submitted 8 October, 2010; originally announced October 2010.

Comments: Published in at http://dx.doi.org/10.1214/11-AAP789 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AAP-AAP789

Journal ref: Annals of Applied Probability 2012, Vol. 22, No. 3, 1266-1300

Parametrization of ideal classes in rings associated to binary forms

Authors: Melanie Matchett Wood

Abstract: We give a parametrization of the ideal classes of rings associated to integral binary forms by classes of tensors in $\mathbb Z^2\tensor \mathbb Z^n\tensor \mathbb Z^n$. This generalizes Bhargava's work on Higher Composition Laws, which gives such parametrizations in the cases $n=2,3$. We also obtain parametrizations of 2-torsion ideal classes by symmetric tensors. Further, we give versions of the… ▽ More We give a parametrization of the ideal classes of rings associated to integral binary forms by classes of tensors in $\mathbb Z^2\tensor \mathbb Z^n\tensor \mathbb Z^n$. This generalizes Bhargava's work on Higher Composition Laws, which gives such parametrizations in the cases $n=2,3$. We also obtain parametrizations of 2-torsion ideal classes by symmetric tensors. Further, we give versions of these theorems when $\mathbb Z$ is replaced by an arbitrary base scheme $S$, and geometric constructions of the modules from the tensors in the parametrization. △ Less

Submitted 27 August, 2010; originally announced August 2010.

Report number: AIM 2010 - 47