The moment problem for random objects in a category
read the original 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 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 4 Pith papers
-
Persistence diagrams of random triangular matrices over finite fields
Explicit distribution for persistence diagrams of row spans in random lower triangular matrices over finite fields, plus LLN for lifetimes and Betti fluctuations.
-
A mod $p$ determinant criterion for Cohen--Lenstra convergence of random $p$-adic matrices with prescribed zero patterns
For stair-shaped support patterns, Cohen-Lenstra convergence of cokernels of random p-adic matrices is equivalent to asymptotic nonsingularity of their mod-p reductions.
-
Eigenvalue Distribution of $p$-adic Random Matrices Among Algebraic Extensions, with an Analogue for $p$-adic Random Polynomials
Eigenvalues of Haar-random matrices over Z_p are asymptotically evenly distributed among algebraic extensions of Q_p by degree, with all but a bounded expected number lying in the maximal unramified extension Q_p^un; ...
-
Recent Progress around Cohen-Lenstra Heuristics
Survey of advances proving Cohen-Lenstra heuristics for 2-primary and ell-primary parts of class groups, including resolutions of the minimalist conjecture for elliptic curves and Stevenhagen's conjecture on the negat...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.