Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeJun 24th 2013

    I am going to rewrite a part of the Baer sum, the section “On short exact sequences”, partly following S. MacLane, Homology, 1963 (he does the version for extensions of RR-modules). I am not fully understanding and would like to discuss the issue, but I think the current notation is a bit hiding. So here is the version of the section before my update, so it can be reversed if somebody not happy:

    For 0AG^ iG00 \to A \to \hat G_{i} \to G \to 0 for i=1,2i = 1,2 two short exact sequences of abelian groups, their Baer sum is

    G^ 1+G^ 2+ *Δ *G^ 1×G^ 2 \hat G_1 + \hat G_2 \coloneqq +_* \Delta^* \hat G_1 \times \hat G_2

    The first step forms the pullback of the short exact sequence along rhe diagonal on GG:

    AA AA Δ *(G^ 1G^ 2) G^ 1G^ 2 G Δ G GG \array{ A \oplus A &\to& A \oplus A \\ \downarrow && \downarrow \\ \Delta^* (\hat G_1 \oplus \hat G_2) &\to& \hat G_1 \oplus \hat G_2 \\ \downarrow && \downarrow \\ G &\stackrel{\Delta_G}{\to}& G\oplus G }

    The second forms the pushout along the addition map on AA:

    AA + A Δ *(G^ 1G^ 2) + *Δ *(G^ 1G^ 2) G G \array{ A \oplus A &\stackrel{+}{\to}& A \\ \downarrow && \downarrow \\ \Delta^* (\hat G_1 \oplus \hat G_2) &\to& +_* \Delta^*(\hat G_1 \oplus \hat G_2) \\ \downarrow && \downarrow \\ G &\to& G }
    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 24th 2013

    What you copied in #1 looks notationally just fine to me – is there a problem with it?

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeJun 24th 2013
    • (edited Jun 24th 2013)

    This is my treatment (the old one is still there). I think it is more clear, though some more diagrams could be useful.

    In any category with products, for any object CC there is a diagonal morphism Δ C:CC×C\Delta_C:C\to C\times C; in a category with coproducts there is a codiagonal morphism C:CCC\nabla_C: C\coprod C\to C (addition in the case of modules). Every additive category is, in particular, a category with finite biproducts, so both morphisms are there. Short exact sequences in the category of RR-modules, or in arbitrary abelian category 𝒜\mathcal{A}, form an additive category (morphisms are commutative ladders of arrows) in which the biproduct 0A iH iG i00 \to A_i \to H_{i} \to G_i \to 0 for i=1,2i = 1,2 is 0A 1A 2H 1H 2G 1G 200\to A_1\oplus A_2 \to H_1\oplus H_2\to G_1\oplus G_2\to 0.

    Now if 0MNP00\to M\to N\to P\to 0 is any extension, call it EE, and γ:P 1P\gamma:P_1\to P a morphism, then there is a morphism Γ=(id M,β 1,γ)\Gamma' = (id_M,\beta_1,\gamma) from an extension E 1E_1 of the form 0MN 1P 100\to M\to N_1\to P_1\to 0 to EE, where the pair (E 1,Γ 1)(E_1,\Gamma_1) s unique up to isomorphism of extensions, and it is called EγE\gamma. In fact, the diagram

    N 1 P 1 β 1 γ N P\array{ N_1&\to &P_1\\ \downarrow\beta_1 && \downarrow\gamma\\ N&\to &P }

    is a pullback diagram. Every morphism of abelian extensions (α,β,γ):EE(\alpha,\beta,\gamma):E\to E' in a unique way decomposes as

    E(α,β a,id)Eγ(id,β 1,γ)E E\stackrel{(\alpha,\beta_a,id)}\longrightarrow E\gamma \stackrel{(id,\beta_1,\gamma)}\longrightarrow E'

    for some β a\beta_a, with β 1\beta_1 as above. In short, the morphism of extensions factorizes through EγE\gamma.

    Dually, for any morphism α:MM 2\alpha:M\to M_2, there is a morphism Γ 2=(α,β 2,id P)\Gamma_2 = (\alpha,\beta_2,id_P) to an extension E 2E_2 of the form 0M 2N 2P0\to M_2\to N_2\to P; the pair (E 2,Γ 2)(E_2,\Gamma_2) is unique up to isomorphism of extensions and it is called αE\alpha E.

    In fact, the diagram

    M N α β 2 M 2 N 2\array{ M&\to &N\\ \downarrow\alpha && \downarrow\beta_2\\ M_2&\to &N_2 }

    is a pushout diagram. Every morphism of abelian extensions (α,β,γ):EE(\alpha,\beta,\gamma):E\to E'' in a unique way decomposes as

    E(α,β 2,id)αE(id,β b,γ)E E\stackrel{(\alpha,\beta_2,id)}\longrightarrow \alpha E \stackrel{(id,\beta_ b,\gamma)}\longrightarrow E''

    for some β b\beta_b, with β 2\beta_2 as above. In short, the morphism of extensions factorizes through αE\alpha E.

    There are the following isomorphisms of extensions: (αE)γα(Eγ)(\alpha E)\gamma\cong \alpha (E\gamma), id MEEid_M E \cong E, Eid PPE id_P \cong P, (αα)Eα(αE)(\alpha'\alpha)E\cong\alpha' (\alpha E), (Eγ)γE(γγ)(E\gamma)\gamma' \cong E(\gamma\gamma').

    The Baer’s sum of two extensions E 1,E 2E_1,E_2 of the form 0MN iP00\to M\to N_i\to P\to 0 (i.e. with the same MM and PP) is given by E 1+E 2= M(E 1E 2)Δ PE_1+E_2 = \nabla_M (E_1\oplus E_2) \Delta_P; this gives the structure of the abelian group on Ext(P,M)Ext(P,M) and Ext:𝒜 op×𝒜AbExt:\mathcal{A}^{op}\times\mathcal{A}\to Ab is a biadditive (bi)functor. This is also related to the isomorphisms of extensions α(E 1+E 2)αE 1+αE 2\alpha (E_1+E_2)\cong \alpha E_1+\alpha E_2, (α 1+α 2)Eα 1E+α 2E(\alpha_1+\alpha_2) E \cong \alpha_1 E+ \alpha_2 E, (E 1+E 2)γE 1γ+E 2γ(E_1+E_2)\gamma \cong E_1\gamma + E_2\gamma, E(γ 1+γ 2)Eγ 1+Eγ 2E(\gamma_1+\gamma_2)\cong E\gamma_1 + E\gamma_2.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeJun 24th 2013
    • (edited Jun 24th 2013)

    2 Notation + *Δ *(G^ 1G^ 2)+_* \Delta^*(\hat G_1 \oplus \hat G_2) does not reveal the additive nor abelian duality, nor the fact that the pullback and pushout steps can be interchanged. It s quite obscure to me; if I had not read it before I would not understand the treatment. I think the treatment a la MacLane with diagonal and codiagonal on the same footing, plus usage of operations of pullback and pushout as general operation on extensions (not of the same groups) is giving broad but clean context.

    On the other hand, the notation M(E 1E 2)Δ P\nabla_M (E_1\oplus E_2) \Delta_P, is symmetric and a special case of reconstruction of additive structure from the categorical structure in additive categories, a trick also used for stable infinity categories.

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeJun 24th 2013
    • (edited Jun 24th 2013)

    My edits may be improperly reflected in the entry, as the nnLab stalled when I was sending the biggest change to the entry. I wanted to have the content of entry 3 there.

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeJun 24th 2013

    In fact, my interest is if we have a proper notion of short exact sequence and we have finite biproducts but not an additive category. Then one can still define the associative addition, however one may lack inverses. I am curious about such cases of Baer sum (giving additive monoids, if I am right).

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeJun 24th 2013
    • (edited Jun 24th 2013)

    I have slightly updated 3, with much additional information. P.S. I am getting now the point of the original notation, as in 1. It looked to me that both stars are attached to Δ\Delta what was quite an obstacle to understanding.

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 24th 2013

    I mean, I agree with you that it’s a good idea to have some lemmas first on morphisms of ses (short exact sequences), such as are implicit in your #3, before launching into the text of #1. This is the bread and butter of homological algebra. I am not sure about more minimal hypotheses to push these lemmas through, such as weakening to enrichment in commutative monoids as opposed to abelian groups. I’d think one would have to work throughout with kernel pairs instead of mere kernels.

    I think adding words like “pullback functor” and “pushforward functor” could help some readers parse the notation Δ *\Delta^* and + *+_* more readily.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)