Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The Cohen-Lenstra measure on the set of abelian p-groups assigns $\mathbb{P}(G) = \prod_{i \geq 1} \left( 1 - \frac{1}{p^i}\right) \cdot |\mathrm{Aut}(G)|^{-1} $. Apparently, this is equivalent to taking cokernels of random maps $f: (\mathbb{Z}_p)^N \to (\mathbb{Z}_p)^N$ and letting $N \to \infty$. These are the p-adics and there is a Haar measure on this linear space of maps. Alternatively, choose random maps between the finite groups: $f: (\mathbb{Z}/p^k\mathbb{Z})^N \to (\mathbb{Z}/p^k \mathbb{Z})^N$ and let $k, N \to \infty$.

Q: If G is a random abelian p-group according to the Cohen-Lenstra measure and A is a deterministic, why is the expected number of surjections $\phi: G \to A$ equal to 1? In fact, if G were deterministic I don't think this number could ever be 1 unless |G| = 1.

For references see Section 8 of Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields by Ellenberg, Venkatesh and Westerland or Terry Tao's blog entry At the AustMS conference.

share|improve this question
    
The cokernel description involves taking maps $\mathbb{Z}_p^N \to \mathbb{Z}_p^N$, not just the $N=1$ case. See my answer for the correct statement. –  David Speyer Dec 28 '09 at 16:12
    
Credit where credit is due: the observation that the Cohen-Lenstra density agrees with that obtained from the cokernels of random ell-adic matrices goes back to a 1989 paper of Eduardo Friedman and Larry Washington. –  JSE Dec 28 '09 at 17:52
add comment

1 Answer

up vote 5 down vote accepted

Let me spell out the cokernel description of the Cohen-Lenstra distribution in more detail, as my answer will depend on it.

A map $(\mathbb{Z}_p)^N \to (\mathbb{Z}_p)^N$ is given by an $N \times N$ matrix of $p$-adic integers. Choose such a map by picking each of the digits of each integer uniformly at random from $\{ 0, 1, ..., p-1 \}$; this is the same as using the additive Haar measure on $\mathrm{Hom}((\mathbb{Z}_p)^N, (\mathbb{Z}_p)^N)$. With probability $1$, this map does not have determinant $0$, so its cokernel is a finite abelian $p$-group. Let $\mu_N$ be the probability measure on isomorphism classes of abelian $p$-groups which assigns each $p$-group the probability that it arises as this cokernel.

The Cohen-Lenstra distribution is the limit as $N \to \infty$ of $\mu_N$. As shown in several of the references you link to, it is given by the formula $$\lim_{N \to \infty} \mu_N(G) = \frac{1}{ |\mathrm{Aut}(G)|} \prod_{i=1}^{\infty} (1-1/p^i) .$$

For notational convenience, it will help to distinguish between the domain and range of a map in $\mathrm{Hom}((\mathbb{Z}_p)^N, (\mathbb{Z}_p)^N)$. I will call the former $U^N$ and the latter $V^N$.


Now, to answer your question. Let $A$ be a fixed finite abelian $p$-group. Let $e_N(A)$ be the expected number of surjections from an abelian $p$-group $G$, picked according to measure $\mu_N$, to $A$. Ignoring issues about interchanging limits, we want to show that $\lim_{N \to \infty} e_N(A)=1$.

Lets start by considering $H_N(A) := \mathrm{Hom}(V^N, A)$. The set $H_N(A)$ has cardinality $|A|^N$, as any map is specified by giving the image of a basis for $V^N$. Inside this set, let $S_N(A)$ be the surjective maps and $C_N(A)$ the nonsurjective maps.

For any map $f \in S_N(A)$, let's consider the possibility that it extends to the cokernel of a random map $U^N \to V^N$. This will occur if and only if the $N$ generators of $U^N$ land in the kernel of $f$. Since $f$ is in $S_N(A)$, its kernel has index $|A|$. So the probability that $U^N$ is mapped into the kernel of $f$ is $1/|A|^N$.

We want to compute $$e_N(A) = |S_N(A)| \cdot (1/|A|^N) = 1 - |C_N(A)|/A^N.$$

If $A$ can be generated by $r$ elements, then $|C_N(A)|/A^N \leq (1-1/|A|^r)^{\lfloor N/r \rfloor}$, so the second term drops out as $N \to \infty$. (To see this bound, group the basis elements of $V^N$ into $N/r$ groups of size $r$; the probability that these $r$ basis elements are not sent to the $r$ generators of $A$ is $(1-1/|A|^r)$. This bound is probably much weaker than the true rate of convergence.)

share|improve this answer
    
OK, you choose a set of "possibly not surjective" maps whose size decays geometrically. Also, I didn't realize there was a "map" definition of the cokernel. If g: U -> V, the cokernel isn't just A = V/Im g but a map f:V -> A such that fg = 0. –  john mangual Dec 28 '09 at 17:00
    
Yeah, I am abusing language in a standard way by using "cokernel" to mean the object V/Im g and not the pair (object, map: V -> object). But this abuse of language is very excusable in this case: I want to group take a limit as N grows. I can say that V^M/Im g and V^N/Im g are isomorphic, but it makes no sense to say that the maps from V^M and V^N are isomorphic! So I can only get a meaningful statement by forgetting the map. –  David Speyer Dec 28 '09 at 17:46
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.