BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Melanie Matchett Wood

Melanie Matchett Wood contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.COmath.AGmath.PRmath.AT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2022arXiv

A predicted distribution for Galois groups of maximal unramified extensions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Moments and interpretations of the Cohen-Lenstra-Martinet heuristics

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Random integral matrices and the Cohen Lenstra Heuristics

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The distribution of sandpile groups of random graphs

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Counting polynomials over finite fields with given root multiplicities

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The distribution of points on superelliptic curves over finite fields

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

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&#39;s heuristics for counting number fields.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Gauss composition over an arbitrary base

The classical theorems relating integral binary quadratic forms and ideal classes of quadratic orders have been of tremendous importance in mathematics, and many authors have given extensions of these theorems to rings other than the integers. However, such extensions have always included hypotheses on the rings, and the theorems involve only binary quadratic forms satisfying further hypotheses. We give a complete statement of the relationship between binary quadratic forms and modules for quadratic algebras over any base ring, or in fact base scheme. The result includes all binary quadratic forms, and commutes with base change. We give global geometric as well as local explicit descriptions of the relationship between forms and modules.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Parametrization of ideal classes in rings associated to binary forms

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&#39;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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Parametrizing quartic algebras over an arbitrary base

We parametrize quartic commutative algebras over any base ring or scheme (equivalently finite, flat degree four $S$-schemes), with their cubic resolvents, by pairs of ternary quadratic forms over the base. This generalizes Bhargava&#39;s parametrization of quartic rings with their cubic resolvent rings over $\mathbb{Z}$ by pairs of integral ternary quadratic forms, as well as Casnati and Ekedahl&#39;s construction of Gorenstein quartic covers by certain rank 2 families of ternary quadratic forms. We give a geometric construction of a quartic algebra from any pair of ternary quadratic forms, and prove this construction commutes with base change and also agrees with Bhargava&#39;s explicit construction over $\mathbb{Z}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Rings and ideals parametrized by binary n-ic forms

The association of algebraic objects to forms has had many important applications in number theory. Gauss, over two centuries ago, studied quadratic rings and ideals associated to binary quadratic forms, and found that ideal classes of quadratic rings are exactly parametrized by equivalence classes of integral binary quadratic forms. Delone and Faddeev, in 1940, showed that cubic rings are parametrized by equivalence classes of integral binary cubic forms. Birch, Merriman, Nakagawa, Corso, Dvornicich, and Simon have all studied rings associated to binary forms of degree n for any n, but it has not previously been known which rings, and with what additional structure, are associated to binary forms. In this paper, we show exactly what algebraic structures are parametrized by binary n-ic forms, for all n. The algebraic data associated to an integral binary n-ic form includes a ring isomorphic to $\mathbb{Z}^n$ as a $\mathbb{Z}$-module, an ideal class for that ring, and a condition on the ring and ideal class that comes naturally from geometry. In fact, we prove these parametrizations when any base scheme replaces the integers, and show that the correspondences between forms and the algebraic data are functorial in the base scheme. We give geometric constructions of the rings and ideals from the forms that parametrize them and a simple construction of the form from an appropriate ring and ideal.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Mass formulas for local Galois representations to wreath products and cross products

Bhargava proved a formula for counting, with certain weights, degree n etale extensions of a local field, or equivalently, local Galois representations to S_n. This formula is motivation for his conjectures about the density of discriminants of S_n-number fields. We prove there are analogous ``mass formulas&#39;&#39; that count local Galois representations to any group that can be formed from symmetric groups by wreath products and cross products, corresponding to counting towers and direct sums of etale extensions. We obtain as a corollary that the above mentioned groups have rational character tables. Our result implies that D_4 has a mass formula for certain weights, but we show that D_4 does not have a mass formula when the local Galois representations to D_4 are weighted in the same way as representations to S_4 are weighted in Bhargava&#39;s mass formula.

0 citations0 reviewsNo code linkedOpen access