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.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2012

    At projective resolution I have

    1. spelled out the Definition in lots of detail;

    2. spelled out statement and proof of the existence of resolutions in full detail.

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeSep 19th 2012

    there is a typo: traditiona I would correct it but you are editing it anyway.

    It looks nice.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2012
    • (edited Sep 19th 2012)

    Thanks! Fixed now. And fixed the next typo two lines below, too. :-)

    Yes, I’ll be further editing the entry for just a bit more. Am adding more basic facts…

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2012
    • (edited Sep 19th 2012)

    I have added statement and proof of a proposition that spells out how morphism lift to injective resolutions of their codomain. And a few other things.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeSep 24th 2012

    Have added to projective resolution a detailed proof of the previously omitted statement that the resolution of a morphism along an injective resolution of its codomain is unique up to chain homotopy – currently that’s prop 4 there.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeSep 24th 2012
    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeSep 24th 2012

    There has long been a section Relation to axioms of choice at projective resolution. Maybe somebody who feels responsible for that section could react to the following two points:

    1. Where it says “projective cover” in that section, it seems to me that what is really meant is “epimorphism from a projective”. This is in general different from projective cover as far as I am aware.

    2. Would the whole section not maybe better be moved to Projective object – Existence of enough projectives?

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 24th 2012

    @Urs 7: I wrote that section not long ago, with your earlier approval. Yes, epimorphism from a projective is what’s meant, and I believe that terminology is in fact used in the context of e.g. topos theory, but if I understand what you are saying, it’s that this conflicts with a homological algebra meaning of projective cover that is dual to injective hull. Is that what you meant? There is no problem in rephrasing if that’s what you want.

    As for number 2: please feel free to move it as you see fit.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeSep 24th 2012
    • (edited Sep 24th 2012)

    Thanks for the reaction. Maybe I forget about our previous exchange on that section. I’ll move it to the section on enough-projectives, then.

    I keep myself wanting to type “projective cover” but, yes, it has a more restrictive meaning among some people, see for instance

    • U. Shukla, On the projective cover of a module and related results (Euclid)

    So maybe we’ll better change to “epimorphism from a projective”, even though that’s somewhat awkward. Otherwise we could try to enforce on the nnLab that the other notion should go by some other name.

    It seem that injective hull is more widespread and “projective cover” is an attempt at formally dual terminology. Maybe “cover” was a bad choice for the duall of “hull”, though.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeSep 24th 2012

    Okay, I have moved that statement about enough projectives in the presence of COSHEP to here.

    Just to double-check: I have changed the wording to make it read as follows:


    +– {: .num_prop}

    Proposition

    Let EE be a W-pretopos that satisfies COSHEP. Then Ab(E)Ab(E) has enough projectives.

    =–

    The idea of proof is that the underlying object of an abelian group AA in EE admits an epimorphism from a projective object XU(A)X \to U(A) in EE, and then the corresponding F(X)AF(X) \to A is an epimorphism out of a projective in Ab(E)Ab(E).

    • CommentRowNumber11.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 24th 2012

    Seems good to me – thanks. I might add another sentence to that later.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeSep 26th 2012
    • (edited Sep 26th 2012)

    I have added statment and proof of the long exact sequence of right derived functors induced from a short exact sequence…

    … based on the lemma that one can always find injective resolutions of short exact sequences by short exact sequences of cochain complexes…

    …of which I haven’t fully written out the proof yet.

    (Eventually I’ll copy part of this to the entry on derived functors, but for the moment it is convenient to have it all here in one place in order to have easy pointers to the relevant lemmas and pre-propositions.)

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 26th 2012

    I did wind up adding some more words to the proof of proposition 4 at projective object.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeSep 26th 2012

    Thanks!

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeSep 30th 2012

    I have now written up more details of that proof that in the presence of enough injectives/projectives every short exact sequences has an injective/projective resolution by a short exact sequence.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeSep 30th 2012
    • (edited Sep 30th 2012)

    I have started in a section Derived hom-functor / Ext-functor to spell out some first details. But I need to quit now for the moment.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeOct 1st 2012

    I have started adding something in a new section Examples - Projective resolutions adapted to group cohomology.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeOct 1st 2012

    There is now in the entry a detailed proof spelled out of

    Ext 1(G,A)H 2(G,A)Ext(G,A). Ext^1(G,A) \simeq H^2(G,A) \simeq Ext(G,A) \,.

    I ended up putting it mostly into Examples - Projective resolutions adapted to group cocycles with further comments in Derived Hom-functor / Ext functor.

    Not that this can’t still be expanded in lots of directions. But I am beginning to think that for the purpose of HAI (schreiber) that’s maybe enough.

    • CommentRowNumber19.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 1st 2012

    I added a subsection on cohomology of cyclic groups to projective resolution, including a discussion of Hilbert’s theorem 90. I’m a little tired now and didn’t insert all the links I might have.

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeOct 1st 2012
    • (edited Oct 1st 2012)

    Very nice, indeed. Thanks.

    I have added a brief pointer to this from the entry cyclic group, where the reader might be more likely to look for this. Maybe eventually we should copy much of this over to there (and similarly other pieces currently at projective resolution might eventually need to be copied elsewhere).

    And all this reminds me that we are badly in need of bossting the entry group cohomology to a status where it contains some actual definitions.

    I’ll start editing there now. But I won’t get far. I was about to call it quits already.

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeOct 3rd 2012
    • (edited Oct 3rd 2012)

    I have been expanding a bit more on the basic properties of derived functors in the section Functorial resolutions and derived functors

    (As I mentioned above, eventually I will copy this over to the entry on derived functors proper, but for the moment it is very convenient to develop it on that page which has all the relevant lemmas.)

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeOct 8th 2012

    add statement of the remark that over a principal ideal domain (such as \mathbb{Z}) there is always a projective resolution of length-1.

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeOct 9th 2012
    • (edited Oct 9th 2012)

    There is something wrong in the section Resolutions adapted to abelian group extensions: the maps F 1F(U(G) 2)AF_1 \coloneqq F(U(G)^{2}) \to A there give general group 2-cocycles c:G×GAc : G \times G \to A. But they need to give symmetric 2-cocycles, c(g 1,g 2)=c(g 2,g 1)c(g_1, g_2) = c(g_2, g_1), in order to classify actual abelian extensions…

    • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeOct 9th 2012

    To be frank, I got that idea from the end of these lecture notes and adopted it with too little scrutinizing, as it now turns out.

    So that resolution there is not correct. The differential 0:F 1F 0\partial_0 : F_1 \to F_0 given by (g 1,g 2)g 1+g 2(g 1+ Gg 2)(g_1,g_2) \mapsto g_1 + g_2 - (g_1 +_G g_2) has a larger kernel than given by the image of 1\partial_1: the linear combinations of the form (g 1,g 2)(g 2,g 1)(g_1, g_2) - (g_2, g_1) are in the kernel, but not in the image of 1\partial_1. So that has to be quotiented out. Then maps out of F 1/F_1/\sim are indeed symmetric. But now the projectivity-property needs attention…

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeOct 14th 2012
    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeOct 14th 2012
    • (edited Oct 14th 2012)

    I have worked on the section

    meaning to spell out in some detail the proof that in any abelian category Ext 1(G,A)Ext^1(G,A) is the isomorphism classes of extensions of GG by AA.

    I finished a first go at at now. But will need to go through it again and smoothen out corners.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeOct 17th 2012
    • (edited Oct 17th 2012)

    added a section Definition – F-resolutions of an object.

    Will now add a corresponding Properties-section…

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeOct 17th 2012
    • (edited Oct 17th 2012)

    okay, now I have spelled out the detailed proof that for the right/left derived functors of some FF the FF-injective/FF-projective resolutions (hence in particular the FF-acyclic resolutions) are sufficient: here.

    • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2012
    • (edited Oct 29th 2012)

    I have finally added subsections Definition - Projective resolution of a chain complex and Properties - Existence and construction of resolutions of chain complexes with the statement and proof that every chain complex has a “fully projective” or “proper” resolution.

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)