Kernels and cokernels of multicomplex homomorphisms











up vote
4
down vote

favorite
1












Let $mathcal A$ be a (complete and cocomplete) Abelian category.



A multicomplex in $mathcal A$ is a bigraded object $X^{(bullet,bullet)}$ with differentials
$$
d^{(i,j)}_rcolon X^{(i,j)}to X^{(i+r,j-r+1)},
$$

for all $(i,j)in mathbb Ztimes mathbb Z$ and $rin mathbb N$, with the property that
begin{equation}label{multidifferential}
sum_{r+s=n}d^{(i+r,j-r+1)}_sd^{(i,j)}_r=0
end{equation}

for all $(i,j)in mathbb Ztimes mathbb Z$ and $nin mathbb N$ (notice that each of these sums is finite, so it represents a well-defined morphism $X^{(i,j)}to X^{(i+n,j-n+1)}$ that we want to be trivial).



A morphism of multicomplexes $phicolon Xto Y$ between two multicomplexes $X=(X^{(bullet,bullet)},(d_r^{(bullet,bullet)})_{rin mathbb N})$ and $Y=(Y^{(bullet,bullet)},(e_s^{(bullet,bullet)})_{sin mathbb N})$, is a family of morphisms
$$
phi^{(i,j)}_tcolon X^{(i,j)}to Y^{(i+t,j-t)}
$$

which is compatible with differentials in the following sense:
$$
sum_{r+s=n}phi^{(i+r,j-r+1)}_sd^{(i,j)}_r=sum_{r+s=n}e^{(i+r,j-r)}_sphi^{(i,j)}_r
$$

for all $(i,j)in mathbb Ntimes mathbb Z$ and $ninmathbb N$ (again these are finite sums identifying morphisms $X^{(i,j)}to Y^{(i+n,j-n+1)}$). We denote by $mathbb M(mathcal A)$ the category of multicomplexes over $mathcal A$.



I am trying to understand this category but cannot find complete references, just claims here and there, without explicit computations. I have tried to understand for a while if this category has co/kernels but I cannot give a complete construction. More in detail:



Let $phi=(phi_i)_{i}colon Ato B$ be a morphism of multicomplexes, can we construct a multicomplex $K$ and a morphism of multicomplexes $kappacolon Kto A$ that is a kernel of $phi$ in $mathbb M(mathcal A)$?
It seems natural to take $K^{i,j}:=mathrm{Ker}(phi_0^{i,j})$, so that $kappa^{i,j}_0$ is just the inclusion of $K^{i,j}$ in $A^{i,j}$. Using the universal property of kernels, it is easy to define a $0$-differential for $K$. But at this point I am not able to go on: I do not know how to construct the higher differentials for $K$, nor the higher components of $kappa$. Maybe I just have a bad definition for the objects $K^{i,j}$, and starting with different objects everything is easy, but I would not know what to choose now.



Could you please give me some good reference where this is explained in detail or give me some (explicit enough) indication on how to go on with the construction?










share|cite|improve this question




























    up vote
    4
    down vote

    favorite
    1












    Let $mathcal A$ be a (complete and cocomplete) Abelian category.



    A multicomplex in $mathcal A$ is a bigraded object $X^{(bullet,bullet)}$ with differentials
    $$
    d^{(i,j)}_rcolon X^{(i,j)}to X^{(i+r,j-r+1)},
    $$

    for all $(i,j)in mathbb Ztimes mathbb Z$ and $rin mathbb N$, with the property that
    begin{equation}label{multidifferential}
    sum_{r+s=n}d^{(i+r,j-r+1)}_sd^{(i,j)}_r=0
    end{equation}

    for all $(i,j)in mathbb Ztimes mathbb Z$ and $nin mathbb N$ (notice that each of these sums is finite, so it represents a well-defined morphism $X^{(i,j)}to X^{(i+n,j-n+1)}$ that we want to be trivial).



    A morphism of multicomplexes $phicolon Xto Y$ between two multicomplexes $X=(X^{(bullet,bullet)},(d_r^{(bullet,bullet)})_{rin mathbb N})$ and $Y=(Y^{(bullet,bullet)},(e_s^{(bullet,bullet)})_{sin mathbb N})$, is a family of morphisms
    $$
    phi^{(i,j)}_tcolon X^{(i,j)}to Y^{(i+t,j-t)}
    $$

    which is compatible with differentials in the following sense:
    $$
    sum_{r+s=n}phi^{(i+r,j-r+1)}_sd^{(i,j)}_r=sum_{r+s=n}e^{(i+r,j-r)}_sphi^{(i,j)}_r
    $$

    for all $(i,j)in mathbb Ntimes mathbb Z$ and $ninmathbb N$ (again these are finite sums identifying morphisms $X^{(i,j)}to Y^{(i+n,j-n+1)}$). We denote by $mathbb M(mathcal A)$ the category of multicomplexes over $mathcal A$.



    I am trying to understand this category but cannot find complete references, just claims here and there, without explicit computations. I have tried to understand for a while if this category has co/kernels but I cannot give a complete construction. More in detail:



    Let $phi=(phi_i)_{i}colon Ato B$ be a morphism of multicomplexes, can we construct a multicomplex $K$ and a morphism of multicomplexes $kappacolon Kto A$ that is a kernel of $phi$ in $mathbb M(mathcal A)$?
    It seems natural to take $K^{i,j}:=mathrm{Ker}(phi_0^{i,j})$, so that $kappa^{i,j}_0$ is just the inclusion of $K^{i,j}$ in $A^{i,j}$. Using the universal property of kernels, it is easy to define a $0$-differential for $K$. But at this point I am not able to go on: I do not know how to construct the higher differentials for $K$, nor the higher components of $kappa$. Maybe I just have a bad definition for the objects $K^{i,j}$, and starting with different objects everything is easy, but I would not know what to choose now.



    Could you please give me some good reference where this is explained in detail or give me some (explicit enough) indication on how to go on with the construction?










    share|cite|improve this question


























      up vote
      4
      down vote

      favorite
      1









      up vote
      4
      down vote

      favorite
      1






      1





      Let $mathcal A$ be a (complete and cocomplete) Abelian category.



      A multicomplex in $mathcal A$ is a bigraded object $X^{(bullet,bullet)}$ with differentials
      $$
      d^{(i,j)}_rcolon X^{(i,j)}to X^{(i+r,j-r+1)},
      $$

      for all $(i,j)in mathbb Ztimes mathbb Z$ and $rin mathbb N$, with the property that
      begin{equation}label{multidifferential}
      sum_{r+s=n}d^{(i+r,j-r+1)}_sd^{(i,j)}_r=0
      end{equation}

      for all $(i,j)in mathbb Ztimes mathbb Z$ and $nin mathbb N$ (notice that each of these sums is finite, so it represents a well-defined morphism $X^{(i,j)}to X^{(i+n,j-n+1)}$ that we want to be trivial).



      A morphism of multicomplexes $phicolon Xto Y$ between two multicomplexes $X=(X^{(bullet,bullet)},(d_r^{(bullet,bullet)})_{rin mathbb N})$ and $Y=(Y^{(bullet,bullet)},(e_s^{(bullet,bullet)})_{sin mathbb N})$, is a family of morphisms
      $$
      phi^{(i,j)}_tcolon X^{(i,j)}to Y^{(i+t,j-t)}
      $$

      which is compatible with differentials in the following sense:
      $$
      sum_{r+s=n}phi^{(i+r,j-r+1)}_sd^{(i,j)}_r=sum_{r+s=n}e^{(i+r,j-r)}_sphi^{(i,j)}_r
      $$

      for all $(i,j)in mathbb Ntimes mathbb Z$ and $ninmathbb N$ (again these are finite sums identifying morphisms $X^{(i,j)}to Y^{(i+n,j-n+1)}$). We denote by $mathbb M(mathcal A)$ the category of multicomplexes over $mathcal A$.



      I am trying to understand this category but cannot find complete references, just claims here and there, without explicit computations. I have tried to understand for a while if this category has co/kernels but I cannot give a complete construction. More in detail:



      Let $phi=(phi_i)_{i}colon Ato B$ be a morphism of multicomplexes, can we construct a multicomplex $K$ and a morphism of multicomplexes $kappacolon Kto A$ that is a kernel of $phi$ in $mathbb M(mathcal A)$?
      It seems natural to take $K^{i,j}:=mathrm{Ker}(phi_0^{i,j})$, so that $kappa^{i,j}_0$ is just the inclusion of $K^{i,j}$ in $A^{i,j}$. Using the universal property of kernels, it is easy to define a $0$-differential for $K$. But at this point I am not able to go on: I do not know how to construct the higher differentials for $K$, nor the higher components of $kappa$. Maybe I just have a bad definition for the objects $K^{i,j}$, and starting with different objects everything is easy, but I would not know what to choose now.



      Could you please give me some good reference where this is explained in detail or give me some (explicit enough) indication on how to go on with the construction?










      share|cite|improve this question















      Let $mathcal A$ be a (complete and cocomplete) Abelian category.



      A multicomplex in $mathcal A$ is a bigraded object $X^{(bullet,bullet)}$ with differentials
      $$
      d^{(i,j)}_rcolon X^{(i,j)}to X^{(i+r,j-r+1)},
      $$

      for all $(i,j)in mathbb Ztimes mathbb Z$ and $rin mathbb N$, with the property that
      begin{equation}label{multidifferential}
      sum_{r+s=n}d^{(i+r,j-r+1)}_sd^{(i,j)}_r=0
      end{equation}

      for all $(i,j)in mathbb Ztimes mathbb Z$ and $nin mathbb N$ (notice that each of these sums is finite, so it represents a well-defined morphism $X^{(i,j)}to X^{(i+n,j-n+1)}$ that we want to be trivial).



      A morphism of multicomplexes $phicolon Xto Y$ between two multicomplexes $X=(X^{(bullet,bullet)},(d_r^{(bullet,bullet)})_{rin mathbb N})$ and $Y=(Y^{(bullet,bullet)},(e_s^{(bullet,bullet)})_{sin mathbb N})$, is a family of morphisms
      $$
      phi^{(i,j)}_tcolon X^{(i,j)}to Y^{(i+t,j-t)}
      $$

      which is compatible with differentials in the following sense:
      $$
      sum_{r+s=n}phi^{(i+r,j-r+1)}_sd^{(i,j)}_r=sum_{r+s=n}e^{(i+r,j-r)}_sphi^{(i,j)}_r
      $$

      for all $(i,j)in mathbb Ntimes mathbb Z$ and $ninmathbb N$ (again these are finite sums identifying morphisms $X^{(i,j)}to Y^{(i+n,j-n+1)}$). We denote by $mathbb M(mathcal A)$ the category of multicomplexes over $mathcal A$.



      I am trying to understand this category but cannot find complete references, just claims here and there, without explicit computations. I have tried to understand for a while if this category has co/kernels but I cannot give a complete construction. More in detail:



      Let $phi=(phi_i)_{i}colon Ato B$ be a morphism of multicomplexes, can we construct a multicomplex $K$ and a morphism of multicomplexes $kappacolon Kto A$ that is a kernel of $phi$ in $mathbb M(mathcal A)$?
      It seems natural to take $K^{i,j}:=mathrm{Ker}(phi_0^{i,j})$, so that $kappa^{i,j}_0$ is just the inclusion of $K^{i,j}$ in $A^{i,j}$. Using the universal property of kernels, it is easy to define a $0$-differential for $K$. But at this point I am not able to go on: I do not know how to construct the higher differentials for $K$, nor the higher components of $kappa$. Maybe I just have a bad definition for the objects $K^{i,j}$, and starting with different objects everything is easy, but I would not know what to choose now.



      Could you please give me some good reference where this is explained in detail or give me some (explicit enough) indication on how to go on with the construction?







      homological-algebra spectral-sequences abelian-categories






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 29 at 17:03

























      asked Nov 29 at 16:25









      Simone Virili

      1,115921




      1,115921






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          6
          down vote













          If I'm not mistaken, multicomplexes in $mathcal{A}$ are the same as unbounded cochain complexes in another category constructed from $mathcal{A}$ as follows:




          • its objects are $mathbb{Z}$-graded sequences $X = (X^{(i)})_{i in mathbb{Z}}$ of objects of $mathcal{A}$,


          • a morphism $f$ from $(X^{(i)})_{i in mathbb{Z}}$ to $(Y^{(i)})_{i in mathbb{Z}}$ is given by a family of maps $f^{(i)}_r : X^{(i)} to Y^{(i+r)}$ for $r in mathbb{N}$, $i in mathbb{Z}$,


          • the composition $f circ g$ is given by the formula
            $$(f circ g)_t^{i} = sum_{r+s=t} f_s^{(i+r)} g_r^{(i)},$$


          • the identity map is the identity for $r = 0$ and zero for $r > 0$.



          The correspondence takes a multicomplex $X^{(i,j)}$ to a cochain complex whose $k$th term is the graded object $(X^{(i,k-i)})_{i in mathbb{Z}}$. So, it suffices to compute (co)kernels in this latter category.



          Let's take $mathcal{A} = Rtextrm{-Mod}$ and let $R[i]$ denote the object which is $R$ in degree $i$ and zero elsewhere. For any $X$ and any element $x$ of $X^{(j)}$ with $j - i ge 0$ there is a morphism $g_x : R[i] to X$ with $g_{j-i}^{(i)}$ the map sending $1$ to $x$ and all other $g_*^{(*)}$ zero. If $x$ is in the kernel of $f : X to Y$, then $f circ g_x$ should be zero. From the formula for $f circ g$, this means $f_s^{(j)}(x)$ must be zero for every $s ge 0$. So we see that the kernel of $f$ should actually consist of those elements of each $X^{(i)}$ on which every $f_r^{(i)}$ vanishes, not just $f_0^{(i)}$. So your guess for $K^{i,j}$ seems to be wrong; we should take the joint kernel of all the $phi_t^{(i,j)}$. Similarly, I guess that the cokernel of $f : X to Y$ should be constructed by quotienting out $Y^{(i)}$ by the sum of the images of all the $X^{(i')}$ which can map to it (those with $i' le i$).






          share|cite|improve this answer





















            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',
            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%2f316501%2fkernels-and-cokernels-of-multicomplex-homomorphisms%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








            up vote
            6
            down vote













            If I'm not mistaken, multicomplexes in $mathcal{A}$ are the same as unbounded cochain complexes in another category constructed from $mathcal{A}$ as follows:




            • its objects are $mathbb{Z}$-graded sequences $X = (X^{(i)})_{i in mathbb{Z}}$ of objects of $mathcal{A}$,


            • a morphism $f$ from $(X^{(i)})_{i in mathbb{Z}}$ to $(Y^{(i)})_{i in mathbb{Z}}$ is given by a family of maps $f^{(i)}_r : X^{(i)} to Y^{(i+r)}$ for $r in mathbb{N}$, $i in mathbb{Z}$,


            • the composition $f circ g$ is given by the formula
              $$(f circ g)_t^{i} = sum_{r+s=t} f_s^{(i+r)} g_r^{(i)},$$


            • the identity map is the identity for $r = 0$ and zero for $r > 0$.



            The correspondence takes a multicomplex $X^{(i,j)}$ to a cochain complex whose $k$th term is the graded object $(X^{(i,k-i)})_{i in mathbb{Z}}$. So, it suffices to compute (co)kernels in this latter category.



            Let's take $mathcal{A} = Rtextrm{-Mod}$ and let $R[i]$ denote the object which is $R$ in degree $i$ and zero elsewhere. For any $X$ and any element $x$ of $X^{(j)}$ with $j - i ge 0$ there is a morphism $g_x : R[i] to X$ with $g_{j-i}^{(i)}$ the map sending $1$ to $x$ and all other $g_*^{(*)}$ zero. If $x$ is in the kernel of $f : X to Y$, then $f circ g_x$ should be zero. From the formula for $f circ g$, this means $f_s^{(j)}(x)$ must be zero for every $s ge 0$. So we see that the kernel of $f$ should actually consist of those elements of each $X^{(i)}$ on which every $f_r^{(i)}$ vanishes, not just $f_0^{(i)}$. So your guess for $K^{i,j}$ seems to be wrong; we should take the joint kernel of all the $phi_t^{(i,j)}$. Similarly, I guess that the cokernel of $f : X to Y$ should be constructed by quotienting out $Y^{(i)}$ by the sum of the images of all the $X^{(i')}$ which can map to it (those with $i' le i$).






            share|cite|improve this answer

























              up vote
              6
              down vote













              If I'm not mistaken, multicomplexes in $mathcal{A}$ are the same as unbounded cochain complexes in another category constructed from $mathcal{A}$ as follows:




              • its objects are $mathbb{Z}$-graded sequences $X = (X^{(i)})_{i in mathbb{Z}}$ of objects of $mathcal{A}$,


              • a morphism $f$ from $(X^{(i)})_{i in mathbb{Z}}$ to $(Y^{(i)})_{i in mathbb{Z}}$ is given by a family of maps $f^{(i)}_r : X^{(i)} to Y^{(i+r)}$ for $r in mathbb{N}$, $i in mathbb{Z}$,


              • the composition $f circ g$ is given by the formula
                $$(f circ g)_t^{i} = sum_{r+s=t} f_s^{(i+r)} g_r^{(i)},$$


              • the identity map is the identity for $r = 0$ and zero for $r > 0$.



              The correspondence takes a multicomplex $X^{(i,j)}$ to a cochain complex whose $k$th term is the graded object $(X^{(i,k-i)})_{i in mathbb{Z}}$. So, it suffices to compute (co)kernels in this latter category.



              Let's take $mathcal{A} = Rtextrm{-Mod}$ and let $R[i]$ denote the object which is $R$ in degree $i$ and zero elsewhere. For any $X$ and any element $x$ of $X^{(j)}$ with $j - i ge 0$ there is a morphism $g_x : R[i] to X$ with $g_{j-i}^{(i)}$ the map sending $1$ to $x$ and all other $g_*^{(*)}$ zero. If $x$ is in the kernel of $f : X to Y$, then $f circ g_x$ should be zero. From the formula for $f circ g$, this means $f_s^{(j)}(x)$ must be zero for every $s ge 0$. So we see that the kernel of $f$ should actually consist of those elements of each $X^{(i)}$ on which every $f_r^{(i)}$ vanishes, not just $f_0^{(i)}$. So your guess for $K^{i,j}$ seems to be wrong; we should take the joint kernel of all the $phi_t^{(i,j)}$. Similarly, I guess that the cokernel of $f : X to Y$ should be constructed by quotienting out $Y^{(i)}$ by the sum of the images of all the $X^{(i')}$ which can map to it (those with $i' le i$).






              share|cite|improve this answer























                up vote
                6
                down vote










                up vote
                6
                down vote









                If I'm not mistaken, multicomplexes in $mathcal{A}$ are the same as unbounded cochain complexes in another category constructed from $mathcal{A}$ as follows:




                • its objects are $mathbb{Z}$-graded sequences $X = (X^{(i)})_{i in mathbb{Z}}$ of objects of $mathcal{A}$,


                • a morphism $f$ from $(X^{(i)})_{i in mathbb{Z}}$ to $(Y^{(i)})_{i in mathbb{Z}}$ is given by a family of maps $f^{(i)}_r : X^{(i)} to Y^{(i+r)}$ for $r in mathbb{N}$, $i in mathbb{Z}$,


                • the composition $f circ g$ is given by the formula
                  $$(f circ g)_t^{i} = sum_{r+s=t} f_s^{(i+r)} g_r^{(i)},$$


                • the identity map is the identity for $r = 0$ and zero for $r > 0$.



                The correspondence takes a multicomplex $X^{(i,j)}$ to a cochain complex whose $k$th term is the graded object $(X^{(i,k-i)})_{i in mathbb{Z}}$. So, it suffices to compute (co)kernels in this latter category.



                Let's take $mathcal{A} = Rtextrm{-Mod}$ and let $R[i]$ denote the object which is $R$ in degree $i$ and zero elsewhere. For any $X$ and any element $x$ of $X^{(j)}$ with $j - i ge 0$ there is a morphism $g_x : R[i] to X$ with $g_{j-i}^{(i)}$ the map sending $1$ to $x$ and all other $g_*^{(*)}$ zero. If $x$ is in the kernel of $f : X to Y$, then $f circ g_x$ should be zero. From the formula for $f circ g$, this means $f_s^{(j)}(x)$ must be zero for every $s ge 0$. So we see that the kernel of $f$ should actually consist of those elements of each $X^{(i)}$ on which every $f_r^{(i)}$ vanishes, not just $f_0^{(i)}$. So your guess for $K^{i,j}$ seems to be wrong; we should take the joint kernel of all the $phi_t^{(i,j)}$. Similarly, I guess that the cokernel of $f : X to Y$ should be constructed by quotienting out $Y^{(i)}$ by the sum of the images of all the $X^{(i')}$ which can map to it (those with $i' le i$).






                share|cite|improve this answer












                If I'm not mistaken, multicomplexes in $mathcal{A}$ are the same as unbounded cochain complexes in another category constructed from $mathcal{A}$ as follows:




                • its objects are $mathbb{Z}$-graded sequences $X = (X^{(i)})_{i in mathbb{Z}}$ of objects of $mathcal{A}$,


                • a morphism $f$ from $(X^{(i)})_{i in mathbb{Z}}$ to $(Y^{(i)})_{i in mathbb{Z}}$ is given by a family of maps $f^{(i)}_r : X^{(i)} to Y^{(i+r)}$ for $r in mathbb{N}$, $i in mathbb{Z}$,


                • the composition $f circ g$ is given by the formula
                  $$(f circ g)_t^{i} = sum_{r+s=t} f_s^{(i+r)} g_r^{(i)},$$


                • the identity map is the identity for $r = 0$ and zero for $r > 0$.



                The correspondence takes a multicomplex $X^{(i,j)}$ to a cochain complex whose $k$th term is the graded object $(X^{(i,k-i)})_{i in mathbb{Z}}$. So, it suffices to compute (co)kernels in this latter category.



                Let's take $mathcal{A} = Rtextrm{-Mod}$ and let $R[i]$ denote the object which is $R$ in degree $i$ and zero elsewhere. For any $X$ and any element $x$ of $X^{(j)}$ with $j - i ge 0$ there is a morphism $g_x : R[i] to X$ with $g_{j-i}^{(i)}$ the map sending $1$ to $x$ and all other $g_*^{(*)}$ zero. If $x$ is in the kernel of $f : X to Y$, then $f circ g_x$ should be zero. From the formula for $f circ g$, this means $f_s^{(j)}(x)$ must be zero for every $s ge 0$. So we see that the kernel of $f$ should actually consist of those elements of each $X^{(i)}$ on which every $f_r^{(i)}$ vanishes, not just $f_0^{(i)}$. So your guess for $K^{i,j}$ seems to be wrong; we should take the joint kernel of all the $phi_t^{(i,j)}$. Similarly, I guess that the cokernel of $f : X to Y$ should be constructed by quotienting out $Y^{(i)}$ by the sum of the images of all the $X^{(i')}$ which can map to it (those with $i' le i$).







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Nov 29 at 17:37









                Reid Barton

                18.1k150103




                18.1k150103






























                    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.





                    Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                    Please pay close attention to the following guidance:


                    • 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.


                    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%2f316501%2fkernels-and-cokernels-of-multicomplex-homomorphisms%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







                    Popular posts from this blog

                    Актюбинская область

                    QoS: MAC-Priority for clients behind a repeater

                    AnyDesk - Fatal Program Failure