Can a nonzero module be cocompact?

372 Views Asked by At

Let $R$ be a ring and $M$ be an $R$-module. Say that $M$ is cocompact if the functor $\operatorname{Hom}(-,M)$ turns filtered limits into filtered colimits. (This is just saying that $M$ is compact as an object of $R\text{-Mod}^{op}$.) My question is:

Is it possible for a nonzero module $M$ to be cocompact?

I suspect the answer is no. For instance, by considering an infinite product as the inverse limit of finite subproducts, it is easy to show that if $R$ is a field then no nonzero vector space is cocompact.

More strongly, I can prove the answer is no assuming that there exists a proper class of measurable cardinals. Indeed, suppose $M$ is a nonzero module and $\kappa>|M|$ is a measurable cardinal. Let $U$ be a nonprincipal $\kappa$-complete ultrafilter on $\kappa$. There is then a homomorphism $L:M^\kappa\to M$ that sends a function $f:\kappa\to M$ to the unique element $m\in M$ such that $f^{-1}(\{m\})\in U$. Since $U$ is nonprincipal and $M$ is nonzero, $L$ does not factor through any finite subproduct of $M^\kappa$, and so $\operatorname{Hom}(-,M)$ does not preserve the limit of the inverse system consisting of finite subproducts of $M^\kappa$.

On the other hand, without assuming a measurable cardinal, I have not even been able to prove that $\mathbb{Z}$ is not cocompact as a $\mathbb{Z}$-module.

1

There are 1 best solutions below

3
On BEST ANSWER

No nonzero module is cocompact. Indeed, suppose $M$ is a nonzero module, and let $X_n=\bigoplus_{i=n}^\infty M$. The modules $X_n$ form an inverse system using the obvious inclusion maps, and the inverse limit is $0$ since their intersection (as submodules of $X_0$) is $0$. On the other hand consider the homomorphism $\Delta:X_0\to M$ which is the identity on every coordinate. Then the restriction of $\Delta$ to each $X_n$ is nontrivial (since $M$ is nonzero), and so $\Delta$ represents a nonzero element of the colimit $\varinjlim \operatorname{Hom}(X_n,M)$. Thus $$\operatorname{Hom}(\varprojlim X_n,M)=0\neq \varinjlim \operatorname{Hom}(X_n,M),$$ so $M$ is not cocompact.