Is there an adjoint to the inclusion of I-adically complete modules to all modules?
$begingroup$
A module $M$ over a ring $R$ is $I$-adically complete with respect to the ideal $I$, if the canonical map $M to lim M/I^nM$ is an isomorphism. There exists a completion functor: $M mapsto lim M/I^n M$. However, one can see that for modules that are not finitely generated, this functor is not exact even in the middle (see https://stacks.math.columbia.edu/tag/05JF). Thus completion cannot be left adjoint to the inclusion of complete modules into all modules, as then it would have been right exact.
Does such an adjoint exist?
ac.commutative-algebra homological-algebra
$endgroup$
add a comment |
$begingroup$
A module $M$ over a ring $R$ is $I$-adically complete with respect to the ideal $I$, if the canonical map $M to lim M/I^nM$ is an isomorphism. There exists a completion functor: $M mapsto lim M/I^n M$. However, one can see that for modules that are not finitely generated, this functor is not exact even in the middle (see https://stacks.math.columbia.edu/tag/05JF). Thus completion cannot be left adjoint to the inclusion of complete modules into all modules, as then it would have been right exact.
Does such an adjoint exist?
ac.commutative-algebra homological-algebra
$endgroup$
5
$begingroup$
The "completion" functor does not even land into complete modules! See stacks.math.columbia.edu/tag/05JA.
$endgroup$
– Laurent Moret-Bailly
Nov 25 '18 at 14:07
1
$begingroup$
In the case of an infinitely generated ideal $I$ in a commutative ring $R$, my guess would be that the desired adjoint functor, generally speaking, does not exist. A full subcategory in a category is called reflective if its inclusion functor has a left adjoint. If this is the case, such an adjoint is called the reflector. A necessary condition for a full subcategory to be reflective is that it has to be closed under limits. I would try to show that in the situation at hand the full subcategory of complete modules is not even closed under products in the category of modules.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:17
1
$begingroup$
Furthermore, a very good reference source in such matters is the book by J. Adámek and J. Rosický, "Locally presentable and accessible categories", Cambridge Univ. Press 1994. For the problem at hand, "Reflection Theorem 2.48" on page 100 provides a sufficient criterion for a full subcategory in the category of modules over an associative ring to be reflective. A reflector exists provided that the full subcategory is closed under 1. all limits, and 2. all $lambda$-directed colimits, for some big enough cardinal $lambda$.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:27
1
$begingroup$
The condition on "$lambda$-directed colimits" may look intimidating when you meet it for the first time, but it does not have to be. You can learn from the book what it means, and it is worth doing so, and it is often easy to check and use.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:35
1
$begingroup$
Moreover, from some point of view it is often not even strictly necessary to check it! If you are willing to assume a certain strong axiom in the foundations of mathematics (called Vopěnka's principle; or, which is sometimes enough, its weaker version), then Theorem 6.22 on page 257 of the same book tells that a full subcategory in the category of modules over an associative ring is reflective whenever it is closed under limits.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:38
add a comment |
$begingroup$
A module $M$ over a ring $R$ is $I$-adically complete with respect to the ideal $I$, if the canonical map $M to lim M/I^nM$ is an isomorphism. There exists a completion functor: $M mapsto lim M/I^n M$. However, one can see that for modules that are not finitely generated, this functor is not exact even in the middle (see https://stacks.math.columbia.edu/tag/05JF). Thus completion cannot be left adjoint to the inclusion of complete modules into all modules, as then it would have been right exact.
Does such an adjoint exist?
ac.commutative-algebra homological-algebra
$endgroup$
A module $M$ over a ring $R$ is $I$-adically complete with respect to the ideal $I$, if the canonical map $M to lim M/I^nM$ is an isomorphism. There exists a completion functor: $M mapsto lim M/I^n M$. However, one can see that for modules that are not finitely generated, this functor is not exact even in the middle (see https://stacks.math.columbia.edu/tag/05JF). Thus completion cannot be left adjoint to the inclusion of complete modules into all modules, as then it would have been right exact.
Does such an adjoint exist?
ac.commutative-algebra homological-algebra
ac.commutative-algebra homological-algebra
asked Nov 25 '18 at 10:21
Dasha PoliakovaDasha Poliakova
1585
1585
5
$begingroup$
The "completion" functor does not even land into complete modules! See stacks.math.columbia.edu/tag/05JA.
$endgroup$
– Laurent Moret-Bailly
Nov 25 '18 at 14:07
1
$begingroup$
In the case of an infinitely generated ideal $I$ in a commutative ring $R$, my guess would be that the desired adjoint functor, generally speaking, does not exist. A full subcategory in a category is called reflective if its inclusion functor has a left adjoint. If this is the case, such an adjoint is called the reflector. A necessary condition for a full subcategory to be reflective is that it has to be closed under limits. I would try to show that in the situation at hand the full subcategory of complete modules is not even closed under products in the category of modules.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:17
1
$begingroup$
Furthermore, a very good reference source in such matters is the book by J. Adámek and J. Rosický, "Locally presentable and accessible categories", Cambridge Univ. Press 1994. For the problem at hand, "Reflection Theorem 2.48" on page 100 provides a sufficient criterion for a full subcategory in the category of modules over an associative ring to be reflective. A reflector exists provided that the full subcategory is closed under 1. all limits, and 2. all $lambda$-directed colimits, for some big enough cardinal $lambda$.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:27
1
$begingroup$
The condition on "$lambda$-directed colimits" may look intimidating when you meet it for the first time, but it does not have to be. You can learn from the book what it means, and it is worth doing so, and it is often easy to check and use.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:35
1
$begingroup$
Moreover, from some point of view it is often not even strictly necessary to check it! If you are willing to assume a certain strong axiom in the foundations of mathematics (called Vopěnka's principle; or, which is sometimes enough, its weaker version), then Theorem 6.22 on page 257 of the same book tells that a full subcategory in the category of modules over an associative ring is reflective whenever it is closed under limits.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:38
add a comment |
5
$begingroup$
The "completion" functor does not even land into complete modules! See stacks.math.columbia.edu/tag/05JA.
$endgroup$
– Laurent Moret-Bailly
Nov 25 '18 at 14:07
1
$begingroup$
In the case of an infinitely generated ideal $I$ in a commutative ring $R$, my guess would be that the desired adjoint functor, generally speaking, does not exist. A full subcategory in a category is called reflective if its inclusion functor has a left adjoint. If this is the case, such an adjoint is called the reflector. A necessary condition for a full subcategory to be reflective is that it has to be closed under limits. I would try to show that in the situation at hand the full subcategory of complete modules is not even closed under products in the category of modules.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:17
1
$begingroup$
Furthermore, a very good reference source in such matters is the book by J. Adámek and J. Rosický, "Locally presentable and accessible categories", Cambridge Univ. Press 1994. For the problem at hand, "Reflection Theorem 2.48" on page 100 provides a sufficient criterion for a full subcategory in the category of modules over an associative ring to be reflective. A reflector exists provided that the full subcategory is closed under 1. all limits, and 2. all $lambda$-directed colimits, for some big enough cardinal $lambda$.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:27
1
$begingroup$
The condition on "$lambda$-directed colimits" may look intimidating when you meet it for the first time, but it does not have to be. You can learn from the book what it means, and it is worth doing so, and it is often easy to check and use.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:35
1
$begingroup$
Moreover, from some point of view it is often not even strictly necessary to check it! If you are willing to assume a certain strong axiom in the foundations of mathematics (called Vopěnka's principle; or, which is sometimes enough, its weaker version), then Theorem 6.22 on page 257 of the same book tells that a full subcategory in the category of modules over an associative ring is reflective whenever it is closed under limits.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:38
5
5
$begingroup$
The "completion" functor does not even land into complete modules! See stacks.math.columbia.edu/tag/05JA.
$endgroup$
– Laurent Moret-Bailly
Nov 25 '18 at 14:07
$begingroup$
The "completion" functor does not even land into complete modules! See stacks.math.columbia.edu/tag/05JA.
$endgroup$
– Laurent Moret-Bailly
Nov 25 '18 at 14:07
1
1
$begingroup$
In the case of an infinitely generated ideal $I$ in a commutative ring $R$, my guess would be that the desired adjoint functor, generally speaking, does not exist. A full subcategory in a category is called reflective if its inclusion functor has a left adjoint. If this is the case, such an adjoint is called the reflector. A necessary condition for a full subcategory to be reflective is that it has to be closed under limits. I would try to show that in the situation at hand the full subcategory of complete modules is not even closed under products in the category of modules.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:17
$begingroup$
In the case of an infinitely generated ideal $I$ in a commutative ring $R$, my guess would be that the desired adjoint functor, generally speaking, does not exist. A full subcategory in a category is called reflective if its inclusion functor has a left adjoint. If this is the case, such an adjoint is called the reflector. A necessary condition for a full subcategory to be reflective is that it has to be closed under limits. I would try to show that in the situation at hand the full subcategory of complete modules is not even closed under products in the category of modules.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:17
1
1
$begingroup$
Furthermore, a very good reference source in such matters is the book by J. Adámek and J. Rosický, "Locally presentable and accessible categories", Cambridge Univ. Press 1994. For the problem at hand, "Reflection Theorem 2.48" on page 100 provides a sufficient criterion for a full subcategory in the category of modules over an associative ring to be reflective. A reflector exists provided that the full subcategory is closed under 1. all limits, and 2. all $lambda$-directed colimits, for some big enough cardinal $lambda$.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:27
$begingroup$
Furthermore, a very good reference source in such matters is the book by J. Adámek and J. Rosický, "Locally presentable and accessible categories", Cambridge Univ. Press 1994. For the problem at hand, "Reflection Theorem 2.48" on page 100 provides a sufficient criterion for a full subcategory in the category of modules over an associative ring to be reflective. A reflector exists provided that the full subcategory is closed under 1. all limits, and 2. all $lambda$-directed colimits, for some big enough cardinal $lambda$.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:27
1
1
$begingroup$
The condition on "$lambda$-directed colimits" may look intimidating when you meet it for the first time, but it does not have to be. You can learn from the book what it means, and it is worth doing so, and it is often easy to check and use.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:35
$begingroup$
The condition on "$lambda$-directed colimits" may look intimidating when you meet it for the first time, but it does not have to be. You can learn from the book what it means, and it is worth doing so, and it is often easy to check and use.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:35
1
1
$begingroup$
Moreover, from some point of view it is often not even strictly necessary to check it! If you are willing to assume a certain strong axiom in the foundations of mathematics (called Vopěnka's principle; or, which is sometimes enough, its weaker version), then Theorem 6.22 on page 257 of the same book tells that a full subcategory in the category of modules over an associative ring is reflective whenever it is closed under limits.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:38
$begingroup$
Moreover, from some point of view it is often not even strictly necessary to check it! If you are willing to assume a certain strong axiom in the foundations of mathematics (called Vopěnka's principle; or, which is sometimes enough, its weaker version), then Theorem 6.22 on page 257 of the same book tells that a full subcategory in the category of modules over an associative ring is reflective whenever it is closed under limits.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:38
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Contrary to the skepticism expressed in the question, for a finitely generated ideal $I$ in a commutative ring $R$, the completion functor $Lambda_Icolon Mlongmapsto varprojlim_n M/I^nM$ is, in fact, left adjoint to the embedding of the full subcategory of $I$-adically complete $R$-modules into the category of all $R$-modules.
The key issue here is indeed whether the completion is a complete module. This is not true for infinitely generated ideals $I$, generally speaking. However, for a finitely generated ideal $I$ in a commutative ring $R$, the $I$-adic completion of any $R$-module is $I$-adically complete. This observation goes back (at least) to A. Yekutieli's paper "On flatness and completion for infinitely generated modules over Noetherian rings", Commun. in Algebra 39 #11 (2011); see Section 1 in https://arxiv.org/abs/0902.4378 .
Essentially, the same argument also proves that the completion functor is left adjoint to the inclusion of the full subcategory of complete modules. For an explicit reference, I can suggest my paper L. Positselski, "Contraadjusted modules, contramodules, and reduced cotorsion modules", Moscow Math. Journ. 17 #3 (2017); see Theorem 5.8 in https://arxiv.org/abs/1605.03934 .
The nonexactness issue pointed out in the question is resolved as follows. The counterexample mentioned in the question shows that the $I$-adic completion is not exact as a functor $R{-}modlongrightarrow R{-}mod$, i.e., from the category of $R$-modules to itself.
Generally speaking, given two categories $mathcal A$ and $mathcal B$ and a pair of adjoint functors $Fcolonmathcal Alongrightarrowmathcal B$ and $Gcolonmathcal Blongrightarrowmathcal A$, where $F$ is left adjoint to $G$, one can claim that $F$ preserves all colimits that exist in $mathcal A$ and $G$ preserves all limits that exist in $mathcal B$. It does not follow that the composition $GFcolonmathcal Alongrightarrowmathcal A$ preserves any limits or colimits.
When both the categories $mathcal B$ and $mathcal A$ are abelian, this means, in particular, that $F$ preserves the cokernels and $G$ preserves the kernels; in other words, $F$ is right exact and $G$ is left exact. Assuming additionally that the functor $G$ is exact, one can indeed conclude that the composition $GF$ is right exact.
This is not the case in the situation at hand, however. Denoting by $mathcal A=R{-}mod$ the category of all $R$-modules and by $mathcal Bsubsetmathcal A$ the full subcategory of $I$-adically complete $R$-modules, one observes, first of all, that the category $mathcal B$ is not abelian (see Example 2.7(1) in my paper in Moscow Math. Journ. cited above). Moreover, the inclusion functor $Gcolonmathcal Blongrightarrowmathcal A$ does not preserve cokernels. The completion functor $Fcolonmathcal Alongrightarrowmathcal B$ preserves cokernels, as it has to, being a left adjoint; but the composition $GFcolon R{-}modlongrightarrow R{-}mod$ doesn't.
To conclude, let me say that there are, in fact, (somewhat confusingly) two natural abelian full subcategories in $R{-}mod$ for a finitely generated ideal $I$ in a commutative ring $R$, both very similar to the full subcategory of $I$-adically complete $R$-modules, but slightly bigger and much better behaved. One of these two subcategories is contained in the other one, and they very often coincide (e.g., they always coincide for a Noetherian commutative ring $R$). The functors of inclusion of these two subcategories into $R{-}mod$ are exact, and both of them have left adjoints.
Objects of these two full subcategories in $R{-}mod$ (or more precisely, maybe, of the bigger one of the two) are variously called "Ext-complete", "weakly complete", "cohomologically complete", or "derived complete" in the literature. I call objects of the bigger abelian category "$I$-contramodule $R$-modules". The left adjoint functor to the inclusion of the full subcategory of $I$-contramodule $R$-modules into $R{-}mod$ is denoted by $Delta_I$ in my paper cited above (where it is discussed at length). It is indeed right exact as a functor $R{-}modlongrightarrow R{-}mod$, as it should be.
The objects of the smaller abelian full subcategory in $R{-}mod$ (which is therefore a closer abelian approximation of the full subcategory of $I$-adically complete $R$-modules) are called "quotseparated $I$-contramodule $R$-modules" in our preprint L. Positselski, A. Slávik "Flat morphisms of finite presentation are very flat", https://arxiv.org/abs/1708.00846 , where we discuss them in Section 5.5.
(Here the terminology is that, in both these papers of mine, what are above called "complete modules" are instead called "separated and complete modules", while it is shown that all contramodules are "complete (but not necessarily separated)"; so there is a nonabelian category of separated complete modules = separated contramodules, a slightly bigger abelian category of quotseparated contramodules, and a yet slightly bigger abelian category of all contramodules; all the three of them full subcategories in the category of modules.)
Finally, the left adjoint functor to the functor of inclusion of the full subcategory of quotseparated $I$-contramodule $R$-modules into $R{-}mod$ is simply the $0$-th left derived functor $mathbb L_0 Lambda_I$ of your non-right-exact $I$-adic completion functor $Lambda_Icolon Mlongmapsto varprojlim_n M/I^nM$. This means that, given an $R$-module $M$, in order to compute the derived functors $mathbb L_iLambda_I(M)$, one needs to choose a projective (or flat) resolution $P_bulletlongrightarrow M$ of the $R$-module $M$ and put $(mathbb L_iLambda_I)(M)=H_i(Lambda_I(P_bullet))$. The functor $mathbb L_0Lambda_I$ is right exact as a functor $R{-}modlongrightarrow R{-}mod$.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f316147%2fis-there-an-adjoint-to-the-inclusion-of-i-adically-complete-modules-to-all-modul%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Contrary to the skepticism expressed in the question, for a finitely generated ideal $I$ in a commutative ring $R$, the completion functor $Lambda_Icolon Mlongmapsto varprojlim_n M/I^nM$ is, in fact, left adjoint to the embedding of the full subcategory of $I$-adically complete $R$-modules into the category of all $R$-modules.
The key issue here is indeed whether the completion is a complete module. This is not true for infinitely generated ideals $I$, generally speaking. However, for a finitely generated ideal $I$ in a commutative ring $R$, the $I$-adic completion of any $R$-module is $I$-adically complete. This observation goes back (at least) to A. Yekutieli's paper "On flatness and completion for infinitely generated modules over Noetherian rings", Commun. in Algebra 39 #11 (2011); see Section 1 in https://arxiv.org/abs/0902.4378 .
Essentially, the same argument also proves that the completion functor is left adjoint to the inclusion of the full subcategory of complete modules. For an explicit reference, I can suggest my paper L. Positselski, "Contraadjusted modules, contramodules, and reduced cotorsion modules", Moscow Math. Journ. 17 #3 (2017); see Theorem 5.8 in https://arxiv.org/abs/1605.03934 .
The nonexactness issue pointed out in the question is resolved as follows. The counterexample mentioned in the question shows that the $I$-adic completion is not exact as a functor $R{-}modlongrightarrow R{-}mod$, i.e., from the category of $R$-modules to itself.
Generally speaking, given two categories $mathcal A$ and $mathcal B$ and a pair of adjoint functors $Fcolonmathcal Alongrightarrowmathcal B$ and $Gcolonmathcal Blongrightarrowmathcal A$, where $F$ is left adjoint to $G$, one can claim that $F$ preserves all colimits that exist in $mathcal A$ and $G$ preserves all limits that exist in $mathcal B$. It does not follow that the composition $GFcolonmathcal Alongrightarrowmathcal A$ preserves any limits or colimits.
When both the categories $mathcal B$ and $mathcal A$ are abelian, this means, in particular, that $F$ preserves the cokernels and $G$ preserves the kernels; in other words, $F$ is right exact and $G$ is left exact. Assuming additionally that the functor $G$ is exact, one can indeed conclude that the composition $GF$ is right exact.
This is not the case in the situation at hand, however. Denoting by $mathcal A=R{-}mod$ the category of all $R$-modules and by $mathcal Bsubsetmathcal A$ the full subcategory of $I$-adically complete $R$-modules, one observes, first of all, that the category $mathcal B$ is not abelian (see Example 2.7(1) in my paper in Moscow Math. Journ. cited above). Moreover, the inclusion functor $Gcolonmathcal Blongrightarrowmathcal A$ does not preserve cokernels. The completion functor $Fcolonmathcal Alongrightarrowmathcal B$ preserves cokernels, as it has to, being a left adjoint; but the composition $GFcolon R{-}modlongrightarrow R{-}mod$ doesn't.
To conclude, let me say that there are, in fact, (somewhat confusingly) two natural abelian full subcategories in $R{-}mod$ for a finitely generated ideal $I$ in a commutative ring $R$, both very similar to the full subcategory of $I$-adically complete $R$-modules, but slightly bigger and much better behaved. One of these two subcategories is contained in the other one, and they very often coincide (e.g., they always coincide for a Noetherian commutative ring $R$). The functors of inclusion of these two subcategories into $R{-}mod$ are exact, and both of them have left adjoints.
Objects of these two full subcategories in $R{-}mod$ (or more precisely, maybe, of the bigger one of the two) are variously called "Ext-complete", "weakly complete", "cohomologically complete", or "derived complete" in the literature. I call objects of the bigger abelian category "$I$-contramodule $R$-modules". The left adjoint functor to the inclusion of the full subcategory of $I$-contramodule $R$-modules into $R{-}mod$ is denoted by $Delta_I$ in my paper cited above (where it is discussed at length). It is indeed right exact as a functor $R{-}modlongrightarrow R{-}mod$, as it should be.
The objects of the smaller abelian full subcategory in $R{-}mod$ (which is therefore a closer abelian approximation of the full subcategory of $I$-adically complete $R$-modules) are called "quotseparated $I$-contramodule $R$-modules" in our preprint L. Positselski, A. Slávik "Flat morphisms of finite presentation are very flat", https://arxiv.org/abs/1708.00846 , where we discuss them in Section 5.5.
(Here the terminology is that, in both these papers of mine, what are above called "complete modules" are instead called "separated and complete modules", while it is shown that all contramodules are "complete (but not necessarily separated)"; so there is a nonabelian category of separated complete modules = separated contramodules, a slightly bigger abelian category of quotseparated contramodules, and a yet slightly bigger abelian category of all contramodules; all the three of them full subcategories in the category of modules.)
Finally, the left adjoint functor to the functor of inclusion of the full subcategory of quotseparated $I$-contramodule $R$-modules into $R{-}mod$ is simply the $0$-th left derived functor $mathbb L_0 Lambda_I$ of your non-right-exact $I$-adic completion functor $Lambda_Icolon Mlongmapsto varprojlim_n M/I^nM$. This means that, given an $R$-module $M$, in order to compute the derived functors $mathbb L_iLambda_I(M)$, one needs to choose a projective (or flat) resolution $P_bulletlongrightarrow M$ of the $R$-module $M$ and put $(mathbb L_iLambda_I)(M)=H_i(Lambda_I(P_bullet))$. The functor $mathbb L_0Lambda_I$ is right exact as a functor $R{-}modlongrightarrow R{-}mod$.
$endgroup$
add a comment |
$begingroup$
Contrary to the skepticism expressed in the question, for a finitely generated ideal $I$ in a commutative ring $R$, the completion functor $Lambda_Icolon Mlongmapsto varprojlim_n M/I^nM$ is, in fact, left adjoint to the embedding of the full subcategory of $I$-adically complete $R$-modules into the category of all $R$-modules.
The key issue here is indeed whether the completion is a complete module. This is not true for infinitely generated ideals $I$, generally speaking. However, for a finitely generated ideal $I$ in a commutative ring $R$, the $I$-adic completion of any $R$-module is $I$-adically complete. This observation goes back (at least) to A. Yekutieli's paper "On flatness and completion for infinitely generated modules over Noetherian rings", Commun. in Algebra 39 #11 (2011); see Section 1 in https://arxiv.org/abs/0902.4378 .
Essentially, the same argument also proves that the completion functor is left adjoint to the inclusion of the full subcategory of complete modules. For an explicit reference, I can suggest my paper L. Positselski, "Contraadjusted modules, contramodules, and reduced cotorsion modules", Moscow Math. Journ. 17 #3 (2017); see Theorem 5.8 in https://arxiv.org/abs/1605.03934 .
The nonexactness issue pointed out in the question is resolved as follows. The counterexample mentioned in the question shows that the $I$-adic completion is not exact as a functor $R{-}modlongrightarrow R{-}mod$, i.e., from the category of $R$-modules to itself.
Generally speaking, given two categories $mathcal A$ and $mathcal B$ and a pair of adjoint functors $Fcolonmathcal Alongrightarrowmathcal B$ and $Gcolonmathcal Blongrightarrowmathcal A$, where $F$ is left adjoint to $G$, one can claim that $F$ preserves all colimits that exist in $mathcal A$ and $G$ preserves all limits that exist in $mathcal B$. It does not follow that the composition $GFcolonmathcal Alongrightarrowmathcal A$ preserves any limits or colimits.
When both the categories $mathcal B$ and $mathcal A$ are abelian, this means, in particular, that $F$ preserves the cokernels and $G$ preserves the kernels; in other words, $F$ is right exact and $G$ is left exact. Assuming additionally that the functor $G$ is exact, one can indeed conclude that the composition $GF$ is right exact.
This is not the case in the situation at hand, however. Denoting by $mathcal A=R{-}mod$ the category of all $R$-modules and by $mathcal Bsubsetmathcal A$ the full subcategory of $I$-adically complete $R$-modules, one observes, first of all, that the category $mathcal B$ is not abelian (see Example 2.7(1) in my paper in Moscow Math. Journ. cited above). Moreover, the inclusion functor $Gcolonmathcal Blongrightarrowmathcal A$ does not preserve cokernels. The completion functor $Fcolonmathcal Alongrightarrowmathcal B$ preserves cokernels, as it has to, being a left adjoint; but the composition $GFcolon R{-}modlongrightarrow R{-}mod$ doesn't.
To conclude, let me say that there are, in fact, (somewhat confusingly) two natural abelian full subcategories in $R{-}mod$ for a finitely generated ideal $I$ in a commutative ring $R$, both very similar to the full subcategory of $I$-adically complete $R$-modules, but slightly bigger and much better behaved. One of these two subcategories is contained in the other one, and they very often coincide (e.g., they always coincide for a Noetherian commutative ring $R$). The functors of inclusion of these two subcategories into $R{-}mod$ are exact, and both of them have left adjoints.
Objects of these two full subcategories in $R{-}mod$ (or more precisely, maybe, of the bigger one of the two) are variously called "Ext-complete", "weakly complete", "cohomologically complete", or "derived complete" in the literature. I call objects of the bigger abelian category "$I$-contramodule $R$-modules". The left adjoint functor to the inclusion of the full subcategory of $I$-contramodule $R$-modules into $R{-}mod$ is denoted by $Delta_I$ in my paper cited above (where it is discussed at length). It is indeed right exact as a functor $R{-}modlongrightarrow R{-}mod$, as it should be.
The objects of the smaller abelian full subcategory in $R{-}mod$ (which is therefore a closer abelian approximation of the full subcategory of $I$-adically complete $R$-modules) are called "quotseparated $I$-contramodule $R$-modules" in our preprint L. Positselski, A. Slávik "Flat morphisms of finite presentation are very flat", https://arxiv.org/abs/1708.00846 , where we discuss them in Section 5.5.
(Here the terminology is that, in both these papers of mine, what are above called "complete modules" are instead called "separated and complete modules", while it is shown that all contramodules are "complete (but not necessarily separated)"; so there is a nonabelian category of separated complete modules = separated contramodules, a slightly bigger abelian category of quotseparated contramodules, and a yet slightly bigger abelian category of all contramodules; all the three of them full subcategories in the category of modules.)
Finally, the left adjoint functor to the functor of inclusion of the full subcategory of quotseparated $I$-contramodule $R$-modules into $R{-}mod$ is simply the $0$-th left derived functor $mathbb L_0 Lambda_I$ of your non-right-exact $I$-adic completion functor $Lambda_Icolon Mlongmapsto varprojlim_n M/I^nM$. This means that, given an $R$-module $M$, in order to compute the derived functors $mathbb L_iLambda_I(M)$, one needs to choose a projective (or flat) resolution $P_bulletlongrightarrow M$ of the $R$-module $M$ and put $(mathbb L_iLambda_I)(M)=H_i(Lambda_I(P_bullet))$. The functor $mathbb L_0Lambda_I$ is right exact as a functor $R{-}modlongrightarrow R{-}mod$.
$endgroup$
add a comment |
$begingroup$
Contrary to the skepticism expressed in the question, for a finitely generated ideal $I$ in a commutative ring $R$, the completion functor $Lambda_Icolon Mlongmapsto varprojlim_n M/I^nM$ is, in fact, left adjoint to the embedding of the full subcategory of $I$-adically complete $R$-modules into the category of all $R$-modules.
The key issue here is indeed whether the completion is a complete module. This is not true for infinitely generated ideals $I$, generally speaking. However, for a finitely generated ideal $I$ in a commutative ring $R$, the $I$-adic completion of any $R$-module is $I$-adically complete. This observation goes back (at least) to A. Yekutieli's paper "On flatness and completion for infinitely generated modules over Noetherian rings", Commun. in Algebra 39 #11 (2011); see Section 1 in https://arxiv.org/abs/0902.4378 .
Essentially, the same argument also proves that the completion functor is left adjoint to the inclusion of the full subcategory of complete modules. For an explicit reference, I can suggest my paper L. Positselski, "Contraadjusted modules, contramodules, and reduced cotorsion modules", Moscow Math. Journ. 17 #3 (2017); see Theorem 5.8 in https://arxiv.org/abs/1605.03934 .
The nonexactness issue pointed out in the question is resolved as follows. The counterexample mentioned in the question shows that the $I$-adic completion is not exact as a functor $R{-}modlongrightarrow R{-}mod$, i.e., from the category of $R$-modules to itself.
Generally speaking, given two categories $mathcal A$ and $mathcal B$ and a pair of adjoint functors $Fcolonmathcal Alongrightarrowmathcal B$ and $Gcolonmathcal Blongrightarrowmathcal A$, where $F$ is left adjoint to $G$, one can claim that $F$ preserves all colimits that exist in $mathcal A$ and $G$ preserves all limits that exist in $mathcal B$. It does not follow that the composition $GFcolonmathcal Alongrightarrowmathcal A$ preserves any limits or colimits.
When both the categories $mathcal B$ and $mathcal A$ are abelian, this means, in particular, that $F$ preserves the cokernels and $G$ preserves the kernels; in other words, $F$ is right exact and $G$ is left exact. Assuming additionally that the functor $G$ is exact, one can indeed conclude that the composition $GF$ is right exact.
This is not the case in the situation at hand, however. Denoting by $mathcal A=R{-}mod$ the category of all $R$-modules and by $mathcal Bsubsetmathcal A$ the full subcategory of $I$-adically complete $R$-modules, one observes, first of all, that the category $mathcal B$ is not abelian (see Example 2.7(1) in my paper in Moscow Math. Journ. cited above). Moreover, the inclusion functor $Gcolonmathcal Blongrightarrowmathcal A$ does not preserve cokernels. The completion functor $Fcolonmathcal Alongrightarrowmathcal B$ preserves cokernels, as it has to, being a left adjoint; but the composition $GFcolon R{-}modlongrightarrow R{-}mod$ doesn't.
To conclude, let me say that there are, in fact, (somewhat confusingly) two natural abelian full subcategories in $R{-}mod$ for a finitely generated ideal $I$ in a commutative ring $R$, both very similar to the full subcategory of $I$-adically complete $R$-modules, but slightly bigger and much better behaved. One of these two subcategories is contained in the other one, and they very often coincide (e.g., they always coincide for a Noetherian commutative ring $R$). The functors of inclusion of these two subcategories into $R{-}mod$ are exact, and both of them have left adjoints.
Objects of these two full subcategories in $R{-}mod$ (or more precisely, maybe, of the bigger one of the two) are variously called "Ext-complete", "weakly complete", "cohomologically complete", or "derived complete" in the literature. I call objects of the bigger abelian category "$I$-contramodule $R$-modules". The left adjoint functor to the inclusion of the full subcategory of $I$-contramodule $R$-modules into $R{-}mod$ is denoted by $Delta_I$ in my paper cited above (where it is discussed at length). It is indeed right exact as a functor $R{-}modlongrightarrow R{-}mod$, as it should be.
The objects of the smaller abelian full subcategory in $R{-}mod$ (which is therefore a closer abelian approximation of the full subcategory of $I$-adically complete $R$-modules) are called "quotseparated $I$-contramodule $R$-modules" in our preprint L. Positselski, A. Slávik "Flat morphisms of finite presentation are very flat", https://arxiv.org/abs/1708.00846 , where we discuss them in Section 5.5.
(Here the terminology is that, in both these papers of mine, what are above called "complete modules" are instead called "separated and complete modules", while it is shown that all contramodules are "complete (but not necessarily separated)"; so there is a nonabelian category of separated complete modules = separated contramodules, a slightly bigger abelian category of quotseparated contramodules, and a yet slightly bigger abelian category of all contramodules; all the three of them full subcategories in the category of modules.)
Finally, the left adjoint functor to the functor of inclusion of the full subcategory of quotseparated $I$-contramodule $R$-modules into $R{-}mod$ is simply the $0$-th left derived functor $mathbb L_0 Lambda_I$ of your non-right-exact $I$-adic completion functor $Lambda_Icolon Mlongmapsto varprojlim_n M/I^nM$. This means that, given an $R$-module $M$, in order to compute the derived functors $mathbb L_iLambda_I(M)$, one needs to choose a projective (or flat) resolution $P_bulletlongrightarrow M$ of the $R$-module $M$ and put $(mathbb L_iLambda_I)(M)=H_i(Lambda_I(P_bullet))$. The functor $mathbb L_0Lambda_I$ is right exact as a functor $R{-}modlongrightarrow R{-}mod$.
$endgroup$
Contrary to the skepticism expressed in the question, for a finitely generated ideal $I$ in a commutative ring $R$, the completion functor $Lambda_Icolon Mlongmapsto varprojlim_n M/I^nM$ is, in fact, left adjoint to the embedding of the full subcategory of $I$-adically complete $R$-modules into the category of all $R$-modules.
The key issue here is indeed whether the completion is a complete module. This is not true for infinitely generated ideals $I$, generally speaking. However, for a finitely generated ideal $I$ in a commutative ring $R$, the $I$-adic completion of any $R$-module is $I$-adically complete. This observation goes back (at least) to A. Yekutieli's paper "On flatness and completion for infinitely generated modules over Noetherian rings", Commun. in Algebra 39 #11 (2011); see Section 1 in https://arxiv.org/abs/0902.4378 .
Essentially, the same argument also proves that the completion functor is left adjoint to the inclusion of the full subcategory of complete modules. For an explicit reference, I can suggest my paper L. Positselski, "Contraadjusted modules, contramodules, and reduced cotorsion modules", Moscow Math. Journ. 17 #3 (2017); see Theorem 5.8 in https://arxiv.org/abs/1605.03934 .
The nonexactness issue pointed out in the question is resolved as follows. The counterexample mentioned in the question shows that the $I$-adic completion is not exact as a functor $R{-}modlongrightarrow R{-}mod$, i.e., from the category of $R$-modules to itself.
Generally speaking, given two categories $mathcal A$ and $mathcal B$ and a pair of adjoint functors $Fcolonmathcal Alongrightarrowmathcal B$ and $Gcolonmathcal Blongrightarrowmathcal A$, where $F$ is left adjoint to $G$, one can claim that $F$ preserves all colimits that exist in $mathcal A$ and $G$ preserves all limits that exist in $mathcal B$. It does not follow that the composition $GFcolonmathcal Alongrightarrowmathcal A$ preserves any limits or colimits.
When both the categories $mathcal B$ and $mathcal A$ are abelian, this means, in particular, that $F$ preserves the cokernels and $G$ preserves the kernels; in other words, $F$ is right exact and $G$ is left exact. Assuming additionally that the functor $G$ is exact, one can indeed conclude that the composition $GF$ is right exact.
This is not the case in the situation at hand, however. Denoting by $mathcal A=R{-}mod$ the category of all $R$-modules and by $mathcal Bsubsetmathcal A$ the full subcategory of $I$-adically complete $R$-modules, one observes, first of all, that the category $mathcal B$ is not abelian (see Example 2.7(1) in my paper in Moscow Math. Journ. cited above). Moreover, the inclusion functor $Gcolonmathcal Blongrightarrowmathcal A$ does not preserve cokernels. The completion functor $Fcolonmathcal Alongrightarrowmathcal B$ preserves cokernels, as it has to, being a left adjoint; but the composition $GFcolon R{-}modlongrightarrow R{-}mod$ doesn't.
To conclude, let me say that there are, in fact, (somewhat confusingly) two natural abelian full subcategories in $R{-}mod$ for a finitely generated ideal $I$ in a commutative ring $R$, both very similar to the full subcategory of $I$-adically complete $R$-modules, but slightly bigger and much better behaved. One of these two subcategories is contained in the other one, and they very often coincide (e.g., they always coincide for a Noetherian commutative ring $R$). The functors of inclusion of these two subcategories into $R{-}mod$ are exact, and both of them have left adjoints.
Objects of these two full subcategories in $R{-}mod$ (or more precisely, maybe, of the bigger one of the two) are variously called "Ext-complete", "weakly complete", "cohomologically complete", or "derived complete" in the literature. I call objects of the bigger abelian category "$I$-contramodule $R$-modules". The left adjoint functor to the inclusion of the full subcategory of $I$-contramodule $R$-modules into $R{-}mod$ is denoted by $Delta_I$ in my paper cited above (where it is discussed at length). It is indeed right exact as a functor $R{-}modlongrightarrow R{-}mod$, as it should be.
The objects of the smaller abelian full subcategory in $R{-}mod$ (which is therefore a closer abelian approximation of the full subcategory of $I$-adically complete $R$-modules) are called "quotseparated $I$-contramodule $R$-modules" in our preprint L. Positselski, A. Slávik "Flat morphisms of finite presentation are very flat", https://arxiv.org/abs/1708.00846 , where we discuss them in Section 5.5.
(Here the terminology is that, in both these papers of mine, what are above called "complete modules" are instead called "separated and complete modules", while it is shown that all contramodules are "complete (but not necessarily separated)"; so there is a nonabelian category of separated complete modules = separated contramodules, a slightly bigger abelian category of quotseparated contramodules, and a yet slightly bigger abelian category of all contramodules; all the three of them full subcategories in the category of modules.)
Finally, the left adjoint functor to the functor of inclusion of the full subcategory of quotseparated $I$-contramodule $R$-modules into $R{-}mod$ is simply the $0$-th left derived functor $mathbb L_0 Lambda_I$ of your non-right-exact $I$-adic completion functor $Lambda_Icolon Mlongmapsto varprojlim_n M/I^nM$. This means that, given an $R$-module $M$, in order to compute the derived functors $mathbb L_iLambda_I(M)$, one needs to choose a projective (or flat) resolution $P_bulletlongrightarrow M$ of the $R$-module $M$ and put $(mathbb L_iLambda_I)(M)=H_i(Lambda_I(P_bullet))$. The functor $mathbb L_0Lambda_I$ is right exact as a functor $R{-}modlongrightarrow R{-}mod$.
edited Nov 26 '18 at 9:41
answered Nov 25 '18 at 23:59
Leonid PositselskiLeonid Positselski
10.8k13975
10.8k13975
add a comment |
add a comment |
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f316147%2fis-there-an-adjoint-to-the-inclusion-of-i-adically-complete-modules-to-all-modul%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
5
$begingroup$
The "completion" functor does not even land into complete modules! See stacks.math.columbia.edu/tag/05JA.
$endgroup$
– Laurent Moret-Bailly
Nov 25 '18 at 14:07
1
$begingroup$
In the case of an infinitely generated ideal $I$ in a commutative ring $R$, my guess would be that the desired adjoint functor, generally speaking, does not exist. A full subcategory in a category is called reflective if its inclusion functor has a left adjoint. If this is the case, such an adjoint is called the reflector. A necessary condition for a full subcategory to be reflective is that it has to be closed under limits. I would try to show that in the situation at hand the full subcategory of complete modules is not even closed under products in the category of modules.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:17
1
$begingroup$
Furthermore, a very good reference source in such matters is the book by J. Adámek and J. Rosický, "Locally presentable and accessible categories", Cambridge Univ. Press 1994. For the problem at hand, "Reflection Theorem 2.48" on page 100 provides a sufficient criterion for a full subcategory in the category of modules over an associative ring to be reflective. A reflector exists provided that the full subcategory is closed under 1. all limits, and 2. all $lambda$-directed colimits, for some big enough cardinal $lambda$.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:27
1
$begingroup$
The condition on "$lambda$-directed colimits" may look intimidating when you meet it for the first time, but it does not have to be. You can learn from the book what it means, and it is worth doing so, and it is often easy to check and use.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:35
1
$begingroup$
Moreover, from some point of view it is often not even strictly necessary to check it! If you are willing to assume a certain strong axiom in the foundations of mathematics (called Vopěnka's principle; or, which is sometimes enough, its weaker version), then Theorem 6.22 on page 257 of the same book tells that a full subcategory in the category of modules over an associative ring is reflective whenever it is closed under limits.
$endgroup$
– Leonid Positselski
Nov 26 '18 at 0:38