The Stacks project

110.11 The category of derived complete modules

Please read More on Algebra, Section 15.92 before reading this section.

Let $A$ be a ring, let $I$ be an ideal of $A$, and denote $\mathcal{C}$ the category of derived complete modules as defined in More on Algebra, Definition 15.91.4.

Let $T$ be a set and let $M_ t$, $t \in T$ be a family of derived complete modules. We claim that in general $\bigoplus M_ t$ is not a derived complete module. For a specific example, let $A = \mathbf{Z}_ p$ and $I = (p)$ and consider $\bigoplus _{n \in \mathbf{N}} \mathbf{Z}_ p$. The map from $\bigoplus _{n \in \mathbf{N}} \mathbf{Z}_ p$ to its $p$-adic completion isn't surjective. This means that $\bigoplus _{n \in \mathbf{N}} \mathbf{Z}_ p$ cannot be derived complete as this would imply otherwise, see More on Algebra, Lemma 15.91.3. Hence the inclusion functor $\mathcal{C} \to \text{Mod}_ A$ does not commute with either direct sums or (filtered) colimits.

Assume $I$ is finitely generated. By the discussion in More on Algebra, Section 15.92 the category $\mathcal{C}$ has arbitrary colimits. However, we claim that filtered colimits are not exact in the category $\mathcal{C}$. Namely, suppose that $A = \mathbf{Z}_ p$ and $I = (p)$. One has inclusions $f_ n : \mathbf{Z}_ p/p\mathbf{Z}_ p \to \mathbf{Z}_ p/p^ n\mathbf{Z}_ p$ of $p$-adically complete $A$-modules given by multiplication by $p^{n - 1}$. There are commutative diagrams

\[ \xymatrix{ \mathbf{Z}_ p/p\mathbf{Z}_ p \ar[r]_{f_ n} \ar[d]^1 & \mathbf{Z}_ p/p^ n\mathbf{Z}_ p \ar[d]_ p \\ \mathbf{Z}_ p/p\mathbf{Z}_ p \ar[r]^{f_{n + 1}} & \mathbf{Z}_ p/p^{n + 1}\mathbf{Z}_ p } \]

We claim: the colimit of these inclusions in the category $\mathcal{C}$ gives the map $\mathbf{Z}_ p/p\mathbf{Z}_ p \to 0$. Namely, the colimit in $\text{Mod}_ A$ of the system on the right is $\mathbf{Q}_ p/\mathbf{Z}_ p$. Thus the colimit in $\mathcal{C}$ is

\[ H^0((\mathbf{Q}_ p/\mathbf{Z}_ p)^\wedge ) = H^0(\mathbf{Z}_ p[1]) = 0 \]

by More on Algebra, Section 15.92 where ${}^\wedge $ is derived completion. This proves our claim.

Lemma 110.11.1. Let $A$ be a ring and let $I \subset A$ be an ideal. The category $\mathcal{C}$ of derived complete modules is abelian and the inclusion functor $F : \mathcal{C} \to \text{Mod}_ A$ is exact and commutes with arbitrary limits. If $I$ is finitely generated, then $\mathcal{C}$ has arbitrary direct sums and colimits, but $F$ does not commute with these in general. Finally, filtered colimits are not exact in $\mathcal{C}$ in general, hence $\mathcal{C}$ is not a Grothendieck abelian category.

Proof. See More on Algebra, Lemma 15.92.1 and discussion above. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0ARC. Beware of the difference between the letter 'O' and the digit '0'.