Hostname: page-component-f554764f5-c4bhq Total loading time: 0 Render date: 2025-04-14T19:03:07.472Z Has data issue: false hasContentIssue false

The cokernel of a polynomial push-forward of a random integral matrix with concentrated residue

Published online by Cambridge University Press:  11 April 2025

GILYOUNG CHEONG
Affiliation:
Lumetec Inc., 271 S. Chester Avenue, Pasadena, CA 91106, U.S.A. e-mail: [email protected]
YIFENG HUANG
Affiliation:
Department of Mathematics, Univeristy of Southern California, Kaprielian Hall, Los Angeles, CA 90007, U.S.A. e-mail: [email protected]

Abstract

We prove new statistical results about the distribution of the cokernel of a random integral matrix with a concentrated residue. Given a prime p and a positive integer n, consider a random $n \times n$ matrix $X_n$ over the ring $\mathbb{Z}_p$ of p-adic integers whose entries are independent. Previously, Wood showed that as long as each entry of $X_n$ is not too concentrated on a single residue modulo p, regardless of its distribution, the distribution of the cokernel $\mathrm{cok}(X_n)$ of $X_n$, up to isomorphism, weakly converges to the Cohen–Lenstra distribution, as $n \rightarrow \infty$. Here on the contrary, we consider the case when $X_n$ has a concentrated residue $A_n$ so that $X_n = A_n + pB_n$. When $B_n$ is a Haar-random $n \times n$ matrix over $\mathbb{Z}_p$, we explicitly compute the distribution of $\mathrm{cok}(P(X_n))$ for every fixed n and a non-constant monic polynomial $P(t) \in \mathbb{Z}_p[t]$. We deduce our result from an interesting equidistribution result for matrices over $\mathbb{Z}_p[t]/(P(t))$, which we prove by establishing a version of the Weierstrass preparation theorem for the noncommutative ring $\mathrm{M}_n(\mathbb{Z}_p)$ of $n \times n$ matrices over $\mathbb{Z}_p$. We also show through cases the subtlety of the “universality” behavior when $B_n$ is not Haar-random.

Type
Research Article
Copyright
© The Author(s), 2025. Published by Cambridge University Press on behalf of Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Burns, D. and Greither, C.. Equivariant Weierstrass preparation and values of L-functions at negative integers. Doc. Math. (2003), extra volume (Kazuya Kato’s fiftieth birthday), 157–185.CrossRefGoogle Scholar
Cheong, G. and Huang, Y.. Cohen–Lenstra distributions via random matrices over complete discrete valuation rings with finite residue fields. Illinois J. Math. 65(2) (2021), 385–415.CrossRefGoogle Scholar
Cheong, G. and Kaplan, N.. Generalizations of results of Friedman and Washington on cokernels of random p-adic matrices. J. Algebra 604 (2022), 636–663.Google Scholar
Clancy, J., Kaplan, N., Leake, T., Payne, S. and Wood, M. M.. On a Cohen–Lenstra heuristic for Jacobians of random graphs. J. Algebraic Combin. 42 (2015), 701–723.Google Scholar
Cheong, G., Liang, Y. and Strand, Michael. Polynomial equations for matrices over integers modulo a prime power and the cokernel of a random matrix. Linear Algebra Appl. 677 (2023), 1–30.Google Scholar
Cheong, G. and Yu, M.. The distribution of the cokernel of a polynomial evaluated at a random integral matrix. Preprint available at https://arxiv.org/abs/2303.09125 Google Scholar
Cohen, H. and Lenstra, H. W., Jr. Heuristics on class groups of number fields. Proceedings of the Journees Arithmetiques held at Noordwijkerhout, the Netherlands (July 11–15, 1983). Lecture Notes in Math. 1068, (Springer-Verlag, New York, 1983), 33–62.Google Scholar
Eisenbud, D.. Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Math. vol. 150 (Springer-Verlag, New York, 1995), pp. xvi+785.CrossRefGoogle Scholar
Friedman, E. and Washington, L.. Divisor class groups of curves over a finite field. Théorie des Nombres (Quebec, PQ, 1987) (de Gruyter, Berlin, 1989), 227–239.CrossRefGoogle Scholar
Lee, J.. Joint distribution of the cokernels of random p-adic matrices. Forum Math. 35(4) (2023), 1005–-1020.CrossRefGoogle Scholar
Lee, J.. Universality of the cokernels of random p-adic Hermitian matrices. Trans. Amer. Math. Soc. 376(12) (2023), 8699–8732.CrossRefGoogle Scholar
Nguyen, H. H. and Peski, R. Van. Universality for cokernels of random matrix products. Adv. Math. 438 (2024), 109451.CrossRefGoogle Scholar
Peski, R. Van. Hall–Littlewood polynomials, boundaries, and p-adic random matrices. Internat Math. Res. Not. 13 (2023), 11217–11275.CrossRefGoogle Scholar
Venjakov, O.. A non-commutative Weierstrass preparation theorem and applications to Iwasawa theory. J. ür Reine Angew. Math. 559(559) (2003), 153–191.CrossRefGoogle Scholar
Venkatesh, A. and Ellenberg, J. S.. Statistics of number fields and function fields. Proceedings of the International Congress of Mathematicians (2010), 383–402.CrossRefGoogle Scholar
Wood, M. M.. The distribution of sandpile groups of random graphs. J. Amer. Math. Soc. 30 (2017), 915–958.Google Scholar
Wood, M. M.. Random integral matrices and the Cohen–Lenstra heuristics. Amer. J. Math. 141 (2019), 383–398.Google Scholar