Is every dg-coalgebra the colimit of its finite dimensional dg-subcoalgebras?In which categories is every coalgebra a sum of its finite-dimensional subcoalgebras?“Strøm-type” model structure on chain complexes?Is there a model category structure on non-negatively graded commutative chain algebras?Resolutions by Adapted Class of Objects and Model CategoriesMaps between sets and coalgebrasBounded dg algebra vs unbounded dg algebrasTensor product of coaugmented conilpotent coalgebrasBuilding conilpotent coalgebras from co-square-zero-extensionsLimits in subcategories of Powerset-coalgebrasIs $textDGA^-$ a monoidal model category?

Multi tool use
Multi tool use

Is every dg-coalgebra the colimit of its finite dimensional dg-subcoalgebras?


In which categories is every coalgebra a sum of its finite-dimensional subcoalgebras?“Strøm-type” model structure on chain complexes?Is there a model category structure on non-negatively graded commutative chain algebras?Resolutions by Adapted Class of Objects and Model CategoriesMaps between sets and coalgebrasBounded dg algebra vs unbounded dg algebrasTensor product of coaugmented conilpotent coalgebrasBuilding conilpotent coalgebras from co-square-zero-extensionsLimits in subcategories of Powerset-coalgebrasIs $textDGA^-$ a monoidal model category?













5












$begingroup$


I saw this result in A Model Category Structure for Differential Graded Coalgebras by Getzler-Goerss, but when the coalgebra is non-negatively graded, is this property also satisfied when the dg coalgebra is $mathbbZ$-graded?.



Thanks.










share|cite|improve this question











$endgroup$











  • $begingroup$
    The result the OP is pointing to in Getzler-Goerss is Corollary 1.6.
    $endgroup$
    – David White
    Apr 29 at 18:02










  • $begingroup$
    @david Indeed, and I also expect to extend this proposition to differential $mathbbZ$-graded coalgebras by using the previous lemmas of the article. I hope an artifice might suffice.
    $endgroup$
    – Victor TC
    2 days ago















5












$begingroup$


I saw this result in A Model Category Structure for Differential Graded Coalgebras by Getzler-Goerss, but when the coalgebra is non-negatively graded, is this property also satisfied when the dg coalgebra is $mathbbZ$-graded?.



Thanks.










share|cite|improve this question











$endgroup$











  • $begingroup$
    The result the OP is pointing to in Getzler-Goerss is Corollary 1.6.
    $endgroup$
    – David White
    Apr 29 at 18:02










  • $begingroup$
    @david Indeed, and I also expect to extend this proposition to differential $mathbbZ$-graded coalgebras by using the previous lemmas of the article. I hope an artifice might suffice.
    $endgroup$
    – Victor TC
    2 days ago













5












5








5





$begingroup$


I saw this result in A Model Category Structure for Differential Graded Coalgebras by Getzler-Goerss, but when the coalgebra is non-negatively graded, is this property also satisfied when the dg coalgebra is $mathbbZ$-graded?.



Thanks.










share|cite|improve this question











$endgroup$




I saw this result in A Model Category Structure for Differential Graded Coalgebras by Getzler-Goerss, but when the coalgebra is non-negatively graded, is this property also satisfied when the dg coalgebra is $mathbbZ$-graded?.



Thanks.







at.algebraic-topology kt.k-theory-and-homology model-categories coalgebras dg-categories






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Apr 29 at 18:01









David White

13.2k465105




13.2k465105










asked Apr 29 at 17:24









Victor TCVictor TC

1064




1064











  • $begingroup$
    The result the OP is pointing to in Getzler-Goerss is Corollary 1.6.
    $endgroup$
    – David White
    Apr 29 at 18:02










  • $begingroup$
    @david Indeed, and I also expect to extend this proposition to differential $mathbbZ$-graded coalgebras by using the previous lemmas of the article. I hope an artifice might suffice.
    $endgroup$
    – Victor TC
    2 days ago
















  • $begingroup$
    The result the OP is pointing to in Getzler-Goerss is Corollary 1.6.
    $endgroup$
    – David White
    Apr 29 at 18:02










  • $begingroup$
    @david Indeed, and I also expect to extend this proposition to differential $mathbbZ$-graded coalgebras by using the previous lemmas of the article. I hope an artifice might suffice.
    $endgroup$
    – Victor TC
    2 days ago















$begingroup$
The result the OP is pointing to in Getzler-Goerss is Corollary 1.6.
$endgroup$
– David White
Apr 29 at 18:02




$begingroup$
The result the OP is pointing to in Getzler-Goerss is Corollary 1.6.
$endgroup$
– David White
Apr 29 at 18:02












$begingroup$
@david Indeed, and I also expect to extend this proposition to differential $mathbbZ$-graded coalgebras by using the previous lemmas of the article. I hope an artifice might suffice.
$endgroup$
– Victor TC
2 days ago




$begingroup$
@david Indeed, and I also expect to extend this proposition to differential $mathbbZ$-graded coalgebras by using the previous lemmas of the article. I hope an artifice might suffice.
$endgroup$
– Victor TC
2 days ago










2 Answers
2






active

oldest

votes


















5












$begingroup$

Yes. The category of $mathbbZ$-coalgebras is locally presentable, and objects are filtered colimits of finite dimensional subobjects. See the appendix to Coalgebraic models for combinatorial model categories by Ching and Riehl. See also Lemma 5.2 of Model Structures for Coalgebras by Drummond-Cole and Hirsh. This paper of Adamek and Porst might also be helpful.



By the way, the main result of the Getzler-Goerss paper you cite is generalized in Corollary 6.3.5 of A necessary and sufficient condition for induced model structures by Hess, Kedziorek, Riehl, and Shipley. It works for any $mathbbZ$-graded coalgebras over any commutative ring $R$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you very much, I will check the references.
    $endgroup$
    – Victor TC
    Apr 29 at 19:08










  • $begingroup$
    @VictorTC As an additional remark, this is true more in general for coalgebras over cooperads, see Lemmas 4, 5, and Proposition 12 of the article Homotopy theory of unital algebras by B. Le Grignou.
    $endgroup$
    – Daniel Robert-Nicoud
    Apr 29 at 21:36










  • $begingroup$
    N.B., we work explicitly with conilpotent coalgebras, and I do not know how to extend our method for proving presentability to the full category of coalgebras. So our paper may not be particularly useful for you.
    $endgroup$
    – Gabriel C. Drummond-Cole
    Apr 30 at 0:14











  • $begingroup$
    @DanielRobert-Nicoud do you know how to resolve the seeming discrepancy between Lemma 5 of Le Grignou and Leonid's counterexample below?
    $endgroup$
    – Gabriel C. Drummond-Cole
    Apr 30 at 0:15






  • 1




    $begingroup$
    @Gabriel sorry, I forgot to mention that in Brice's article the coalgebras are supposed to be conilpotent (as can be gathered from the start of the proof of Lemma 5). I suppose Leonid's example is non-conilpotent.
    $endgroup$
    – Daniel Robert-Nicoud
    2 days ago


















5












$begingroup$

For coassociative dg-coalgebras over any field $k$ the answer is positive, because:



  1. Let $C$ be a $mathbb Z$-graded coalgebra and $Dsubset C$ a finite-dimensional ungraded subcoalgebra (of the underlying ungraded coalgebra) of $C$. Let $D^grsubset C$ denote the graded vector subspace spanned by all the grading components of the elements of $D$. Then $Dsubset D^gr$ and $D^gr$ is a finite-dimensional graded subcoalgebra of $C$.


  2. Let $(C,d)$ be a dg-coalgebra and $Dsubset C$ be a finite-dimensional graded subcoalgebra of $C$. Set $D^dg=D+d(D)subset C$. Then $Dsubset D^dg$ and $D^dg$ is a finite-dimensional dg-subcoalgebra of $C$.


Using the observations 1. and 2. and the fact that any ungraded coassociative coalgebra is the union of its finite-dimensional subcoalgebras, one deduces the assertion that any $mathbb Z$-graded dg-coalgebra is the union of its finite-dimensional dg-subcoalgebras.



Possible generalizations: One can replace a field $k$ by a Noetherian commutative ring $k$ and speak about subcoalgebras that are finitely generated as $k$-modules (instead of "finite-dimensional"). All the assertions remain true.



EDIT: I've realized that the preceding paragraph is problematic for the following reason: given a $k$-submodule $D$ is a $k$-module $C$, the tensor product $Dotimes_k D$ is not a submodule of the tensor product $Cotimes_k C$, generally speaking. So the very notion of a $k$-subcoalgebra for a commutative ring $k$ is problematic, or at least requires extra care with nonexact tensor products. So, I retract the preceding paragraph.



One cannot drop the coassociativity condition. Indeed, even for ungraded coalgebras over a field of characteristic $0$, there is an example of infinite-dimensional Lie coalgebra $L$ having no nonzero finite-dimensional subcoalgebras. The Lie coalgebra $L$ is simplest described in terms of its dual topological Lie algebra structure (on a pro-finite-dimensional topological vector space): $L^*=mathfrak g=k[[z]],d/dz$, the Lie algebra of vector fields on the formal disk.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you!. Apparently you did not need $C$ to be counital, did you?.
    $endgroup$
    – Victor TC
    2 days ago







  • 1




    $begingroup$
    No, counitality is not necessary. However, there is a problem with the next-to-last paragraph of my answer. I am now adding an edit.
    $endgroup$
    – Leonid Positselski
    2 days ago










  • $begingroup$
    Concerning counitality, it is of course not needed in 1. and 2., but the key question is extending to noncounital coassociative ungraded coalgebras $C$ the standard result that coassociative coalgebras are unions of their finite-dimensional subcoalgebras. The standard arguments that I know are using counitality, but it can be avoided. Alternatively, you can adjoint a counit to $C$ formally, passing from $C$ to the counital coalgebra $C'=koplus C$, represent $C'$ as the union of its finite-dimensional subcoalgebras $D'$, and conclude that $C=C'/k$ is the union of $D=D'bmod k$.
    $endgroup$
    – Leonid Positselski
    2 days ago











  • $begingroup$
    Thank you for the clarification. I apologize for my delay in aswering, I tried to better understand your edit. With this result in hand, is it reasonable to conclude that the category of dg coalgebras has all (small) limits?. I mean, by applying dualization on the finite dimensional dg subcoalgebras and assuming the existence of all small colimits in the category of dg algebras.
    $endgroup$
    – Victor TC
    12 hours ago











  • $begingroup$
    The assertion is correct: all small limits exist in the category of dg-coalgebras. I do not immediately see how this follows from all dg-coalgebras being unions of their finite-dimensional subcoalgebras. Maybe one can deduce the former from the latter by proving that the category of dg-coalgebras is locally presentable (locally finitely presentable, in fact).
    $endgroup$
    – Leonid Positselski
    8 hours ago











Your Answer








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
);



);













draft saved

draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f330299%2fis-every-dg-coalgebra-the-colimit-of-its-finite-dimensional-dg-subcoalgebras%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes









5












$begingroup$

Yes. The category of $mathbbZ$-coalgebras is locally presentable, and objects are filtered colimits of finite dimensional subobjects. See the appendix to Coalgebraic models for combinatorial model categories by Ching and Riehl. See also Lemma 5.2 of Model Structures for Coalgebras by Drummond-Cole and Hirsh. This paper of Adamek and Porst might also be helpful.



By the way, the main result of the Getzler-Goerss paper you cite is generalized in Corollary 6.3.5 of A necessary and sufficient condition for induced model structures by Hess, Kedziorek, Riehl, and Shipley. It works for any $mathbbZ$-graded coalgebras over any commutative ring $R$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you very much, I will check the references.
    $endgroup$
    – Victor TC
    Apr 29 at 19:08










  • $begingroup$
    @VictorTC As an additional remark, this is true more in general for coalgebras over cooperads, see Lemmas 4, 5, and Proposition 12 of the article Homotopy theory of unital algebras by B. Le Grignou.
    $endgroup$
    – Daniel Robert-Nicoud
    Apr 29 at 21:36










  • $begingroup$
    N.B., we work explicitly with conilpotent coalgebras, and I do not know how to extend our method for proving presentability to the full category of coalgebras. So our paper may not be particularly useful for you.
    $endgroup$
    – Gabriel C. Drummond-Cole
    Apr 30 at 0:14











  • $begingroup$
    @DanielRobert-Nicoud do you know how to resolve the seeming discrepancy between Lemma 5 of Le Grignou and Leonid's counterexample below?
    $endgroup$
    – Gabriel C. Drummond-Cole
    Apr 30 at 0:15






  • 1




    $begingroup$
    @Gabriel sorry, I forgot to mention that in Brice's article the coalgebras are supposed to be conilpotent (as can be gathered from the start of the proof of Lemma 5). I suppose Leonid's example is non-conilpotent.
    $endgroup$
    – Daniel Robert-Nicoud
    2 days ago















5












$begingroup$

Yes. The category of $mathbbZ$-coalgebras is locally presentable, and objects are filtered colimits of finite dimensional subobjects. See the appendix to Coalgebraic models for combinatorial model categories by Ching and Riehl. See also Lemma 5.2 of Model Structures for Coalgebras by Drummond-Cole and Hirsh. This paper of Adamek and Porst might also be helpful.



By the way, the main result of the Getzler-Goerss paper you cite is generalized in Corollary 6.3.5 of A necessary and sufficient condition for induced model structures by Hess, Kedziorek, Riehl, and Shipley. It works for any $mathbbZ$-graded coalgebras over any commutative ring $R$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you very much, I will check the references.
    $endgroup$
    – Victor TC
    Apr 29 at 19:08










  • $begingroup$
    @VictorTC As an additional remark, this is true more in general for coalgebras over cooperads, see Lemmas 4, 5, and Proposition 12 of the article Homotopy theory of unital algebras by B. Le Grignou.
    $endgroup$
    – Daniel Robert-Nicoud
    Apr 29 at 21:36










  • $begingroup$
    N.B., we work explicitly with conilpotent coalgebras, and I do not know how to extend our method for proving presentability to the full category of coalgebras. So our paper may not be particularly useful for you.
    $endgroup$
    – Gabriel C. Drummond-Cole
    Apr 30 at 0:14











  • $begingroup$
    @DanielRobert-Nicoud do you know how to resolve the seeming discrepancy between Lemma 5 of Le Grignou and Leonid's counterexample below?
    $endgroup$
    – Gabriel C. Drummond-Cole
    Apr 30 at 0:15






  • 1




    $begingroup$
    @Gabriel sorry, I forgot to mention that in Brice's article the coalgebras are supposed to be conilpotent (as can be gathered from the start of the proof of Lemma 5). I suppose Leonid's example is non-conilpotent.
    $endgroup$
    – Daniel Robert-Nicoud
    2 days ago













5












5








5





$begingroup$

Yes. The category of $mathbbZ$-coalgebras is locally presentable, and objects are filtered colimits of finite dimensional subobjects. See the appendix to Coalgebraic models for combinatorial model categories by Ching and Riehl. See also Lemma 5.2 of Model Structures for Coalgebras by Drummond-Cole and Hirsh. This paper of Adamek and Porst might also be helpful.



By the way, the main result of the Getzler-Goerss paper you cite is generalized in Corollary 6.3.5 of A necessary and sufficient condition for induced model structures by Hess, Kedziorek, Riehl, and Shipley. It works for any $mathbbZ$-graded coalgebras over any commutative ring $R$.






share|cite|improve this answer











$endgroup$



Yes. The category of $mathbbZ$-coalgebras is locally presentable, and objects are filtered colimits of finite dimensional subobjects. See the appendix to Coalgebraic models for combinatorial model categories by Ching and Riehl. See also Lemma 5.2 of Model Structures for Coalgebras by Drummond-Cole and Hirsh. This paper of Adamek and Porst might also be helpful.



By the way, the main result of the Getzler-Goerss paper you cite is generalized in Corollary 6.3.5 of A necessary and sufficient condition for induced model structures by Hess, Kedziorek, Riehl, and Shipley. It works for any $mathbbZ$-graded coalgebras over any commutative ring $R$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Apr 29 at 18:32

























answered Apr 29 at 18:00









David WhiteDavid White

13.2k465105




13.2k465105











  • $begingroup$
    Thank you very much, I will check the references.
    $endgroup$
    – Victor TC
    Apr 29 at 19:08










  • $begingroup$
    @VictorTC As an additional remark, this is true more in general for coalgebras over cooperads, see Lemmas 4, 5, and Proposition 12 of the article Homotopy theory of unital algebras by B. Le Grignou.
    $endgroup$
    – Daniel Robert-Nicoud
    Apr 29 at 21:36










  • $begingroup$
    N.B., we work explicitly with conilpotent coalgebras, and I do not know how to extend our method for proving presentability to the full category of coalgebras. So our paper may not be particularly useful for you.
    $endgroup$
    – Gabriel C. Drummond-Cole
    Apr 30 at 0:14











  • $begingroup$
    @DanielRobert-Nicoud do you know how to resolve the seeming discrepancy between Lemma 5 of Le Grignou and Leonid's counterexample below?
    $endgroup$
    – Gabriel C. Drummond-Cole
    Apr 30 at 0:15






  • 1




    $begingroup$
    @Gabriel sorry, I forgot to mention that in Brice's article the coalgebras are supposed to be conilpotent (as can be gathered from the start of the proof of Lemma 5). I suppose Leonid's example is non-conilpotent.
    $endgroup$
    – Daniel Robert-Nicoud
    2 days ago
















  • $begingroup$
    Thank you very much, I will check the references.
    $endgroup$
    – Victor TC
    Apr 29 at 19:08










  • $begingroup$
    @VictorTC As an additional remark, this is true more in general for coalgebras over cooperads, see Lemmas 4, 5, and Proposition 12 of the article Homotopy theory of unital algebras by B. Le Grignou.
    $endgroup$
    – Daniel Robert-Nicoud
    Apr 29 at 21:36










  • $begingroup$
    N.B., we work explicitly with conilpotent coalgebras, and I do not know how to extend our method for proving presentability to the full category of coalgebras. So our paper may not be particularly useful for you.
    $endgroup$
    – Gabriel C. Drummond-Cole
    Apr 30 at 0:14











  • $begingroup$
    @DanielRobert-Nicoud do you know how to resolve the seeming discrepancy between Lemma 5 of Le Grignou and Leonid's counterexample below?
    $endgroup$
    – Gabriel C. Drummond-Cole
    Apr 30 at 0:15






  • 1




    $begingroup$
    @Gabriel sorry, I forgot to mention that in Brice's article the coalgebras are supposed to be conilpotent (as can be gathered from the start of the proof of Lemma 5). I suppose Leonid's example is non-conilpotent.
    $endgroup$
    – Daniel Robert-Nicoud
    2 days ago















$begingroup$
Thank you very much, I will check the references.
$endgroup$
– Victor TC
Apr 29 at 19:08




$begingroup$
Thank you very much, I will check the references.
$endgroup$
– Victor TC
Apr 29 at 19:08












$begingroup$
@VictorTC As an additional remark, this is true more in general for coalgebras over cooperads, see Lemmas 4, 5, and Proposition 12 of the article Homotopy theory of unital algebras by B. Le Grignou.
$endgroup$
– Daniel Robert-Nicoud
Apr 29 at 21:36




$begingroup$
@VictorTC As an additional remark, this is true more in general for coalgebras over cooperads, see Lemmas 4, 5, and Proposition 12 of the article Homotopy theory of unital algebras by B. Le Grignou.
$endgroup$
– Daniel Robert-Nicoud
Apr 29 at 21:36












$begingroup$
N.B., we work explicitly with conilpotent coalgebras, and I do not know how to extend our method for proving presentability to the full category of coalgebras. So our paper may not be particularly useful for you.
$endgroup$
– Gabriel C. Drummond-Cole
Apr 30 at 0:14





$begingroup$
N.B., we work explicitly with conilpotent coalgebras, and I do not know how to extend our method for proving presentability to the full category of coalgebras. So our paper may not be particularly useful for you.
$endgroup$
– Gabriel C. Drummond-Cole
Apr 30 at 0:14













$begingroup$
@DanielRobert-Nicoud do you know how to resolve the seeming discrepancy between Lemma 5 of Le Grignou and Leonid's counterexample below?
$endgroup$
– Gabriel C. Drummond-Cole
Apr 30 at 0:15




$begingroup$
@DanielRobert-Nicoud do you know how to resolve the seeming discrepancy between Lemma 5 of Le Grignou and Leonid's counterexample below?
$endgroup$
– Gabriel C. Drummond-Cole
Apr 30 at 0:15




1




1




$begingroup$
@Gabriel sorry, I forgot to mention that in Brice's article the coalgebras are supposed to be conilpotent (as can be gathered from the start of the proof of Lemma 5). I suppose Leonid's example is non-conilpotent.
$endgroup$
– Daniel Robert-Nicoud
2 days ago




$begingroup$
@Gabriel sorry, I forgot to mention that in Brice's article the coalgebras are supposed to be conilpotent (as can be gathered from the start of the proof of Lemma 5). I suppose Leonid's example is non-conilpotent.
$endgroup$
– Daniel Robert-Nicoud
2 days ago











5












$begingroup$

For coassociative dg-coalgebras over any field $k$ the answer is positive, because:



  1. Let $C$ be a $mathbb Z$-graded coalgebra and $Dsubset C$ a finite-dimensional ungraded subcoalgebra (of the underlying ungraded coalgebra) of $C$. Let $D^grsubset C$ denote the graded vector subspace spanned by all the grading components of the elements of $D$. Then $Dsubset D^gr$ and $D^gr$ is a finite-dimensional graded subcoalgebra of $C$.


  2. Let $(C,d)$ be a dg-coalgebra and $Dsubset C$ be a finite-dimensional graded subcoalgebra of $C$. Set $D^dg=D+d(D)subset C$. Then $Dsubset D^dg$ and $D^dg$ is a finite-dimensional dg-subcoalgebra of $C$.


Using the observations 1. and 2. and the fact that any ungraded coassociative coalgebra is the union of its finite-dimensional subcoalgebras, one deduces the assertion that any $mathbb Z$-graded dg-coalgebra is the union of its finite-dimensional dg-subcoalgebras.



Possible generalizations: One can replace a field $k$ by a Noetherian commutative ring $k$ and speak about subcoalgebras that are finitely generated as $k$-modules (instead of "finite-dimensional"). All the assertions remain true.



EDIT: I've realized that the preceding paragraph is problematic for the following reason: given a $k$-submodule $D$ is a $k$-module $C$, the tensor product $Dotimes_k D$ is not a submodule of the tensor product $Cotimes_k C$, generally speaking. So the very notion of a $k$-subcoalgebra for a commutative ring $k$ is problematic, or at least requires extra care with nonexact tensor products. So, I retract the preceding paragraph.



One cannot drop the coassociativity condition. Indeed, even for ungraded coalgebras over a field of characteristic $0$, there is an example of infinite-dimensional Lie coalgebra $L$ having no nonzero finite-dimensional subcoalgebras. The Lie coalgebra $L$ is simplest described in terms of its dual topological Lie algebra structure (on a pro-finite-dimensional topological vector space): $L^*=mathfrak g=k[[z]],d/dz$, the Lie algebra of vector fields on the formal disk.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you!. Apparently you did not need $C$ to be counital, did you?.
    $endgroup$
    – Victor TC
    2 days ago







  • 1




    $begingroup$
    No, counitality is not necessary. However, there is a problem with the next-to-last paragraph of my answer. I am now adding an edit.
    $endgroup$
    – Leonid Positselski
    2 days ago










  • $begingroup$
    Concerning counitality, it is of course not needed in 1. and 2., but the key question is extending to noncounital coassociative ungraded coalgebras $C$ the standard result that coassociative coalgebras are unions of their finite-dimensional subcoalgebras. The standard arguments that I know are using counitality, but it can be avoided. Alternatively, you can adjoint a counit to $C$ formally, passing from $C$ to the counital coalgebra $C'=koplus C$, represent $C'$ as the union of its finite-dimensional subcoalgebras $D'$, and conclude that $C=C'/k$ is the union of $D=D'bmod k$.
    $endgroup$
    – Leonid Positselski
    2 days ago











  • $begingroup$
    Thank you for the clarification. I apologize for my delay in aswering, I tried to better understand your edit. With this result in hand, is it reasonable to conclude that the category of dg coalgebras has all (small) limits?. I mean, by applying dualization on the finite dimensional dg subcoalgebras and assuming the existence of all small colimits in the category of dg algebras.
    $endgroup$
    – Victor TC
    12 hours ago











  • $begingroup$
    The assertion is correct: all small limits exist in the category of dg-coalgebras. I do not immediately see how this follows from all dg-coalgebras being unions of their finite-dimensional subcoalgebras. Maybe one can deduce the former from the latter by proving that the category of dg-coalgebras is locally presentable (locally finitely presentable, in fact).
    $endgroup$
    – Leonid Positselski
    8 hours ago















5












$begingroup$

For coassociative dg-coalgebras over any field $k$ the answer is positive, because:



  1. Let $C$ be a $mathbb Z$-graded coalgebra and $Dsubset C$ a finite-dimensional ungraded subcoalgebra (of the underlying ungraded coalgebra) of $C$. Let $D^grsubset C$ denote the graded vector subspace spanned by all the grading components of the elements of $D$. Then $Dsubset D^gr$ and $D^gr$ is a finite-dimensional graded subcoalgebra of $C$.


  2. Let $(C,d)$ be a dg-coalgebra and $Dsubset C$ be a finite-dimensional graded subcoalgebra of $C$. Set $D^dg=D+d(D)subset C$. Then $Dsubset D^dg$ and $D^dg$ is a finite-dimensional dg-subcoalgebra of $C$.


Using the observations 1. and 2. and the fact that any ungraded coassociative coalgebra is the union of its finite-dimensional subcoalgebras, one deduces the assertion that any $mathbb Z$-graded dg-coalgebra is the union of its finite-dimensional dg-subcoalgebras.



Possible generalizations: One can replace a field $k$ by a Noetherian commutative ring $k$ and speak about subcoalgebras that are finitely generated as $k$-modules (instead of "finite-dimensional"). All the assertions remain true.



EDIT: I've realized that the preceding paragraph is problematic for the following reason: given a $k$-submodule $D$ is a $k$-module $C$, the tensor product $Dotimes_k D$ is not a submodule of the tensor product $Cotimes_k C$, generally speaking. So the very notion of a $k$-subcoalgebra for a commutative ring $k$ is problematic, or at least requires extra care with nonexact tensor products. So, I retract the preceding paragraph.



One cannot drop the coassociativity condition. Indeed, even for ungraded coalgebras over a field of characteristic $0$, there is an example of infinite-dimensional Lie coalgebra $L$ having no nonzero finite-dimensional subcoalgebras. The Lie coalgebra $L$ is simplest described in terms of its dual topological Lie algebra structure (on a pro-finite-dimensional topological vector space): $L^*=mathfrak g=k[[z]],d/dz$, the Lie algebra of vector fields on the formal disk.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you!. Apparently you did not need $C$ to be counital, did you?.
    $endgroup$
    – Victor TC
    2 days ago







  • 1




    $begingroup$
    No, counitality is not necessary. However, there is a problem with the next-to-last paragraph of my answer. I am now adding an edit.
    $endgroup$
    – Leonid Positselski
    2 days ago










  • $begingroup$
    Concerning counitality, it is of course not needed in 1. and 2., but the key question is extending to noncounital coassociative ungraded coalgebras $C$ the standard result that coassociative coalgebras are unions of their finite-dimensional subcoalgebras. The standard arguments that I know are using counitality, but it can be avoided. Alternatively, you can adjoint a counit to $C$ formally, passing from $C$ to the counital coalgebra $C'=koplus C$, represent $C'$ as the union of its finite-dimensional subcoalgebras $D'$, and conclude that $C=C'/k$ is the union of $D=D'bmod k$.
    $endgroup$
    – Leonid Positselski
    2 days ago











  • $begingroup$
    Thank you for the clarification. I apologize for my delay in aswering, I tried to better understand your edit. With this result in hand, is it reasonable to conclude that the category of dg coalgebras has all (small) limits?. I mean, by applying dualization on the finite dimensional dg subcoalgebras and assuming the existence of all small colimits in the category of dg algebras.
    $endgroup$
    – Victor TC
    12 hours ago











  • $begingroup$
    The assertion is correct: all small limits exist in the category of dg-coalgebras. I do not immediately see how this follows from all dg-coalgebras being unions of their finite-dimensional subcoalgebras. Maybe one can deduce the former from the latter by proving that the category of dg-coalgebras is locally presentable (locally finitely presentable, in fact).
    $endgroup$
    – Leonid Positselski
    8 hours ago













5












5








5





$begingroup$

For coassociative dg-coalgebras over any field $k$ the answer is positive, because:



  1. Let $C$ be a $mathbb Z$-graded coalgebra and $Dsubset C$ a finite-dimensional ungraded subcoalgebra (of the underlying ungraded coalgebra) of $C$. Let $D^grsubset C$ denote the graded vector subspace spanned by all the grading components of the elements of $D$. Then $Dsubset D^gr$ and $D^gr$ is a finite-dimensional graded subcoalgebra of $C$.


  2. Let $(C,d)$ be a dg-coalgebra and $Dsubset C$ be a finite-dimensional graded subcoalgebra of $C$. Set $D^dg=D+d(D)subset C$. Then $Dsubset D^dg$ and $D^dg$ is a finite-dimensional dg-subcoalgebra of $C$.


Using the observations 1. and 2. and the fact that any ungraded coassociative coalgebra is the union of its finite-dimensional subcoalgebras, one deduces the assertion that any $mathbb Z$-graded dg-coalgebra is the union of its finite-dimensional dg-subcoalgebras.



Possible generalizations: One can replace a field $k$ by a Noetherian commutative ring $k$ and speak about subcoalgebras that are finitely generated as $k$-modules (instead of "finite-dimensional"). All the assertions remain true.



EDIT: I've realized that the preceding paragraph is problematic for the following reason: given a $k$-submodule $D$ is a $k$-module $C$, the tensor product $Dotimes_k D$ is not a submodule of the tensor product $Cotimes_k C$, generally speaking. So the very notion of a $k$-subcoalgebra for a commutative ring $k$ is problematic, or at least requires extra care with nonexact tensor products. So, I retract the preceding paragraph.



One cannot drop the coassociativity condition. Indeed, even for ungraded coalgebras over a field of characteristic $0$, there is an example of infinite-dimensional Lie coalgebra $L$ having no nonzero finite-dimensional subcoalgebras. The Lie coalgebra $L$ is simplest described in terms of its dual topological Lie algebra structure (on a pro-finite-dimensional topological vector space): $L^*=mathfrak g=k[[z]],d/dz$, the Lie algebra of vector fields on the formal disk.






share|cite|improve this answer











$endgroup$



For coassociative dg-coalgebras over any field $k$ the answer is positive, because:



  1. Let $C$ be a $mathbb Z$-graded coalgebra and $Dsubset C$ a finite-dimensional ungraded subcoalgebra (of the underlying ungraded coalgebra) of $C$. Let $D^grsubset C$ denote the graded vector subspace spanned by all the grading components of the elements of $D$. Then $Dsubset D^gr$ and $D^gr$ is a finite-dimensional graded subcoalgebra of $C$.


  2. Let $(C,d)$ be a dg-coalgebra and $Dsubset C$ be a finite-dimensional graded subcoalgebra of $C$. Set $D^dg=D+d(D)subset C$. Then $Dsubset D^dg$ and $D^dg$ is a finite-dimensional dg-subcoalgebra of $C$.


Using the observations 1. and 2. and the fact that any ungraded coassociative coalgebra is the union of its finite-dimensional subcoalgebras, one deduces the assertion that any $mathbb Z$-graded dg-coalgebra is the union of its finite-dimensional dg-subcoalgebras.



Possible generalizations: One can replace a field $k$ by a Noetherian commutative ring $k$ and speak about subcoalgebras that are finitely generated as $k$-modules (instead of "finite-dimensional"). All the assertions remain true.



EDIT: I've realized that the preceding paragraph is problematic for the following reason: given a $k$-submodule $D$ is a $k$-module $C$, the tensor product $Dotimes_k D$ is not a submodule of the tensor product $Cotimes_k C$, generally speaking. So the very notion of a $k$-subcoalgebra for a commutative ring $k$ is problematic, or at least requires extra care with nonexact tensor products. So, I retract the preceding paragraph.



One cannot drop the coassociativity condition. Indeed, even for ungraded coalgebras over a field of characteristic $0$, there is an example of infinite-dimensional Lie coalgebra $L$ having no nonzero finite-dimensional subcoalgebras. The Lie coalgebra $L$ is simplest described in terms of its dual topological Lie algebra structure (on a pro-finite-dimensional topological vector space): $L^*=mathfrak g=k[[z]],d/dz$, the Lie algebra of vector fields on the formal disk.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 2 days ago

























answered Apr 29 at 22:04









Leonid PositselskiLeonid Positselski

11.2k13977




11.2k13977











  • $begingroup$
    Thank you!. Apparently you did not need $C$ to be counital, did you?.
    $endgroup$
    – Victor TC
    2 days ago







  • 1




    $begingroup$
    No, counitality is not necessary. However, there is a problem with the next-to-last paragraph of my answer. I am now adding an edit.
    $endgroup$
    – Leonid Positselski
    2 days ago










  • $begingroup$
    Concerning counitality, it is of course not needed in 1. and 2., but the key question is extending to noncounital coassociative ungraded coalgebras $C$ the standard result that coassociative coalgebras are unions of their finite-dimensional subcoalgebras. The standard arguments that I know are using counitality, but it can be avoided. Alternatively, you can adjoint a counit to $C$ formally, passing from $C$ to the counital coalgebra $C'=koplus C$, represent $C'$ as the union of its finite-dimensional subcoalgebras $D'$, and conclude that $C=C'/k$ is the union of $D=D'bmod k$.
    $endgroup$
    – Leonid Positselski
    2 days ago











  • $begingroup$
    Thank you for the clarification. I apologize for my delay in aswering, I tried to better understand your edit. With this result in hand, is it reasonable to conclude that the category of dg coalgebras has all (small) limits?. I mean, by applying dualization on the finite dimensional dg subcoalgebras and assuming the existence of all small colimits in the category of dg algebras.
    $endgroup$
    – Victor TC
    12 hours ago











  • $begingroup$
    The assertion is correct: all small limits exist in the category of dg-coalgebras. I do not immediately see how this follows from all dg-coalgebras being unions of their finite-dimensional subcoalgebras. Maybe one can deduce the former from the latter by proving that the category of dg-coalgebras is locally presentable (locally finitely presentable, in fact).
    $endgroup$
    – Leonid Positselski
    8 hours ago
















  • $begingroup$
    Thank you!. Apparently you did not need $C$ to be counital, did you?.
    $endgroup$
    – Victor TC
    2 days ago







  • 1




    $begingroup$
    No, counitality is not necessary. However, there is a problem with the next-to-last paragraph of my answer. I am now adding an edit.
    $endgroup$
    – Leonid Positselski
    2 days ago










  • $begingroup$
    Concerning counitality, it is of course not needed in 1. and 2., but the key question is extending to noncounital coassociative ungraded coalgebras $C$ the standard result that coassociative coalgebras are unions of their finite-dimensional subcoalgebras. The standard arguments that I know are using counitality, but it can be avoided. Alternatively, you can adjoint a counit to $C$ formally, passing from $C$ to the counital coalgebra $C'=koplus C$, represent $C'$ as the union of its finite-dimensional subcoalgebras $D'$, and conclude that $C=C'/k$ is the union of $D=D'bmod k$.
    $endgroup$
    – Leonid Positselski
    2 days ago











  • $begingroup$
    Thank you for the clarification. I apologize for my delay in aswering, I tried to better understand your edit. With this result in hand, is it reasonable to conclude that the category of dg coalgebras has all (small) limits?. I mean, by applying dualization on the finite dimensional dg subcoalgebras and assuming the existence of all small colimits in the category of dg algebras.
    $endgroup$
    – Victor TC
    12 hours ago











  • $begingroup$
    The assertion is correct: all small limits exist in the category of dg-coalgebras. I do not immediately see how this follows from all dg-coalgebras being unions of their finite-dimensional subcoalgebras. Maybe one can deduce the former from the latter by proving that the category of dg-coalgebras is locally presentable (locally finitely presentable, in fact).
    $endgroup$
    – Leonid Positselski
    8 hours ago















$begingroup$
Thank you!. Apparently you did not need $C$ to be counital, did you?.
$endgroup$
– Victor TC
2 days ago





$begingroup$
Thank you!. Apparently you did not need $C$ to be counital, did you?.
$endgroup$
– Victor TC
2 days ago





1




1




$begingroup$
No, counitality is not necessary. However, there is a problem with the next-to-last paragraph of my answer. I am now adding an edit.
$endgroup$
– Leonid Positselski
2 days ago




$begingroup$
No, counitality is not necessary. However, there is a problem with the next-to-last paragraph of my answer. I am now adding an edit.
$endgroup$
– Leonid Positselski
2 days ago












$begingroup$
Concerning counitality, it is of course not needed in 1. and 2., but the key question is extending to noncounital coassociative ungraded coalgebras $C$ the standard result that coassociative coalgebras are unions of their finite-dimensional subcoalgebras. The standard arguments that I know are using counitality, but it can be avoided. Alternatively, you can adjoint a counit to $C$ formally, passing from $C$ to the counital coalgebra $C'=koplus C$, represent $C'$ as the union of its finite-dimensional subcoalgebras $D'$, and conclude that $C=C'/k$ is the union of $D=D'bmod k$.
$endgroup$
– Leonid Positselski
2 days ago





$begingroup$
Concerning counitality, it is of course not needed in 1. and 2., but the key question is extending to noncounital coassociative ungraded coalgebras $C$ the standard result that coassociative coalgebras are unions of their finite-dimensional subcoalgebras. The standard arguments that I know are using counitality, but it can be avoided. Alternatively, you can adjoint a counit to $C$ formally, passing from $C$ to the counital coalgebra $C'=koplus C$, represent $C'$ as the union of its finite-dimensional subcoalgebras $D'$, and conclude that $C=C'/k$ is the union of $D=D'bmod k$.
$endgroup$
– Leonid Positselski
2 days ago













$begingroup$
Thank you for the clarification. I apologize for my delay in aswering, I tried to better understand your edit. With this result in hand, is it reasonable to conclude that the category of dg coalgebras has all (small) limits?. I mean, by applying dualization on the finite dimensional dg subcoalgebras and assuming the existence of all small colimits in the category of dg algebras.
$endgroup$
– Victor TC
12 hours ago





$begingroup$
Thank you for the clarification. I apologize for my delay in aswering, I tried to better understand your edit. With this result in hand, is it reasonable to conclude that the category of dg coalgebras has all (small) limits?. I mean, by applying dualization on the finite dimensional dg subcoalgebras and assuming the existence of all small colimits in the category of dg algebras.
$endgroup$
– Victor TC
12 hours ago













$begingroup$
The assertion is correct: all small limits exist in the category of dg-coalgebras. I do not immediately see how this follows from all dg-coalgebras being unions of their finite-dimensional subcoalgebras. Maybe one can deduce the former from the latter by proving that the category of dg-coalgebras is locally presentable (locally finitely presentable, in fact).
$endgroup$
– Leonid Positselski
8 hours ago




$begingroup$
The assertion is correct: all small limits exist in the category of dg-coalgebras. I do not immediately see how this follows from all dg-coalgebras being unions of their finite-dimensional subcoalgebras. Maybe one can deduce the former from the latter by proving that the category of dg-coalgebras is locally presentable (locally finitely presentable, in fact).
$endgroup$
– Leonid Positselski
8 hours ago

















draft saved

draft discarded
















































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.




draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f330299%2fis-every-dg-coalgebra-the-colimit-of-its-finite-dimensional-dg-subcoalgebras%23new-answer', 'question_page');

);

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







WuHbpsvKQLe9lI8yMMRn M2 oh
WkBgwZEEy,s4QxnXWMqPYa6Noce,j2JD qoYJrgXBjciyiYeZpzrw6rxrxqqpFf dbMEWK9I

Popular posts from this blog

Category:9 (number) SubcategoriesMedia in category "9 (number)"Navigation menuUpload mediaGND ID: 4485639-8Library of Congress authority ID: sh85091979ReasonatorScholiaStatistics

Circuit construction for execution of conditional statements using least significant bitHow are two different registers being used as “control”?How exactly is the stated composite state of the two registers being produced using the $R_zz$ controlled rotations?Efficiently performing controlled rotations in HHLWould this quantum algorithm implementation work?How to prepare a superposed states of odd integers from $1$ to $sqrtN$?Why is this implementation of the order finding algorithm not working?Circuit construction for Hamiltonian simulationHow can I invert the least significant bit of a certain term of a superposed state?Implementing an oracleImplementing a controlled sum operation

Magento 2 “No Payment Methods” in Admin New OrderHow to integrate Paypal Express Checkout with the Magento APIMagento 1.5 - Sales > Order > edit order and shipping methods disappearAuto Invoice Check/Money Order Payment methodAdd more simple payment methods?Shipping methods not showingWhat should I do to change payment methods if changing the configuration has no effects?1.9 - No Payment Methods showing upMy Payment Methods not Showing for downloadable/virtual product when checkout?Magento2 API to access internal payment methodHow to call an existing payment methods in the registration form?