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

Site Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorTodd_Trimble
• CommentTimeApr 14th 2016

Under definition 1 of salamander lemma, I fixed a mistake in the definition of $A_\Box$ where there was a direct sum of two submodules, where there needed to be a sum (i.e., join) instead.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeApr 14th 2016

Thanks for catching this.

And thanks for looking into writing out a proof of the braid lemma, if I am guessing correctly that this is what you are doing?! :-)

• CommentRowNumber3.
• CommentAuthorTodd_Trimble
• CommentTimeApr 14th 2016

I hope to be doing that, yes; it may take a little while because I’ve never looked carefully at the salamander lemma – I’ve only had an idea what it was good for.

• CommentRowNumber4.
• CommentAuthorTodd_Trimble
• CommentTimeApr 14th 2016
• (edited Apr 14th 2016)

Also in salamander lemma, looking at the zig-zags after remark 3, they look off. The \swarrows should pertain to vertical differentials according to 2. under remark 3, but in the zig-zags below the \swarrows go from $X_{k+1,l}_\Box$ to $^\Box X_{k, l}$, i.e., an extramural map corresponding to a horizontal differential $X_{k+1, l} \to X_{k, l}$. So I assume the arrows in both zig-zags should be switched to the opposite directions.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeApr 15th 2016
• (edited Apr 15th 2016)

Thanks, Todd. Right now I don’t have the leisure to check. I could check later today. But if you looked at it and think it’s a typo, I suppose you should feel free to fix it.

1. Morever -> Moreover

Anonymous

2. add missing “be” in first definition

Anonymous

3. Reworded statement of Lemma 2.5 (extramural maps).

Anonymous

4. Delete extraneous “all” in last sentence of “far diagonal identifications” paragraph.

Mark S Davis

5. Replace “Dually” by “Similarly” in the Salamander Lemma (this is not a “dual” statement in the category-theoretic sense, which context is appropriate here).

Mark S Davis

6. Replace \simeq with = in the second statement of 2.10 (extramural isomorphisms) for consistency with the first statement.

Mark S Davis

7. hence => that is in #IntraExtramuralIsomorphisms

Mark S Davis

8. In the proof of #IntramuralIsos, replace 0 objects in the zigzag diagrams with bullets to represent an “unknown” object, since from the double complexes in the statement, we don’t know that the corresponding objects are actually 0 (and what they are is immaterial to the proof).

Mark S Davis

9. Correct superscript vert -> hor in 2nd of fourth pair of isomorphisms in statement for #IntramuralIsos.

Mark S Davis

• CommentRowNumber15.
• CommentAuthorUrs
• CommentTimeOct 25th 2020

Thanks for all your work on this entry!

Re-reading it now, I made some minor cosmetic edits to the text.

10. Add some missing primes in the proof that A’^{hor} = 0 in #ShortSharp3x3.

Mark S Davis

11. Add braces to correct formatting in previous edit

Mark S Davis

12. Change \partial to \delta in the long exact sequence display in the statement of the snake lemma, to match the rest of the statement.

Mark S Davis

13. Move double quote at the start of “nxn-lemmas” inside the TeX delimiters to avoid line break after the opening quote.

Mark S Davis

14. Another attempt at fixing the quotes and line breaks in Remark 3.2 (why is there no preview mode?)

Mark S Davis

15. Take 3 of fixing the quotes and line breaks in Remark 3.2

Mark S Davis

16. Giving up on 3.2; reverting to what it was before.

Mark S Davis

• CommentRowNumber23.
• CommentAuthorUrs
• CommentTimeOct 26th 2020
• (edited Oct 26th 2020)

It would be good to have a preview mode, but it needs somebody to go and program it.

For the time being, one can use the Sandbox for testing/preview purposes.

17. Replace \oplus with + in proof of #ExtramuralIso (this sum needn’t be direct).

Mark S Davis

18. Insert a paragraph at the beginning of the proof of #Sharp3x3 explaining how the diagram can be augmented with coker (B -> B”), which is needed to get the extramural isomorphism from B -> B”.

Mark S Davis

19. Fix a few TeX objects from the previous edit.

Mark S Davis

20. Correct indices in displayed equation for the isomorphisms between homology groups (these appear to have been adapted from Bergman’s paper but the indexing scheme is different and what is currently there doesn’t match up).

Mark S Davis

21. Remove period at the end of the array in the proof of #FourLemma (the period showed up as a superscript period for ν, and anyway that display doesn’t end a sentence).

Mark S Davis

22. Fix a couple of typos in proof of #TheSnakeLemma:

• ker(f){\Box} => ker(g){\Box} before 2nd display

• as => at after 2nd display

Mark S Davis

23. Fix the end of the chain of isomorphisms giving exactness at ker(g) in #TheSnakeLemma by directly using the extramural iso {}^{\Box}Y_1 \equiv 0_{\Box} = 0 (since there’s no context for an intramural iso at Y_1).

Mark S Davis

24. Rewrite Remark 3.8 to clarify that one obtains in turn the connecting homomorphism between homology groups leading to the long exact sequence in homology.

Mark S Davis

25. Delete an extraneous preposition in Remark 3.8.

Mark S Davis

26. In the proof of #TheSnakeLemma, point out that the squares involving ker(l) and coker(r) in the first display commute; also remove the unused arrow labels p and i.

Mark S Davis

27. Reword start of last paragraph of proof of #TheSnakeLemma: “to build” => “building”

Mark S Davis

28. Delete reference to Jonathan Wise’s paper. The link is broken, and he isn’t posting it at his current web page; further, https://mathoverflow.net/a/7531 suggests the proof is incomplete.

Mark S Davis