0 like 0 dislike
0 like 0 dislike
Ravi Vakil: Puzzling through exact sequences

5 Answers

0 like 0 dislike
0 like 0 dislike
As a superfan of Vakil's Foundations of Algebraic Geometry, I was shocked to see that there was a beautiful piece of mathematical exposition of him floating around of which I hadn't heard for about a year. Quickly searching through this subreddit seems to indicate that  it wasn't posted here before.

This document, subtitled "A bedtime story with pictures" did not disappoint. Vakil develops a kind of visual calculus, involving "puzzle pieces" giving a very nice unifying intuition for morphisms, subobjects etc. in abelian categories.

This is *not* a bedtime story, you have to put in some work. For each slide, work hard to get your intuition to his level. Work out your own examples. Your reward will be, among other things:

* finding the snake lemma intuitively obvious, not just in the sense that you know the usual diagram chase in your sleep, but in the sense that you see the statement and immediately know that it works
* the same for the long exact sequence in (co)homology. Also, you will see how that is pretty much the same as the snake lemma, and not just in a vague sense that you use the snake lemma in the proof somewhere
* same for the spectral sequence of a filtered complex
* making you really think with some of the final remarks (see bonus material at the end), asking and answering questions about what is the "right" way to make certain statements in homological algebra (I'm not done with this yet)
0 like 0 dislike
0 like 0 dislike
Why are quotients treated as complements? If quotients give us cosets, wouldn’t they also include what they’re quotienting by? Also don’t understand the ‘bulginess’ characterization of open sets here.
0 like 0 dislike
0 like 0 dislike
Could you adapt this graphical system for triangulated categories? It seems like one of the key things that make it work is the third isomorphism theorem and that's sort of what the octahedral axiom is saying so...

(if it's not clear I'm doing purely vibes based reasoning)
0 like 0 dislike
0 like 0 dislike
Nice find. Now do spectral sequences.
0 like 0 dislike
0 like 0 dislike
Anyone know what software is used to draw those diagrams?

Related questions

0 like 0 dislike
0 like 0 dislike
79 answers
coL_Punisher asked Jun 21
Regretting majoring in math
coL_Punisher asked Jun 21
0 like 0 dislike
0 like 0 dislike
61 answers
_spunkki asked Jun 21
Just ordered a Klein Bottle from Cliff Stoll. He sent me about 2 dozen pictures of him packing it up. Why is he so cute :)
_spunkki asked Jun 21
0 like 0 dislike
0 like 0 dislike
21 answers
Brands_Hatch asked Jun 21
Is set theory dying?
Brands_Hatch asked Jun 21
0 like 0 dislike
0 like 0 dislike
2 answers
a_dalgleish asked Jun 21
Contributing to the right math area, If all areas are equally curious
a_dalgleish asked Jun 21
0 like 0 dislike
0 like 0 dislike
5 answers
BrianDenver7 asked Jun 21
Is there a nice way to recast riemannian geometry in terms of principal bundles?
BrianDenver7 asked Jun 21

24.8k questions

103k answers

0 comments

33.7k users

OhhAskMe is a math solving hub where high school and university students ask and answer loads of math questions, discuss the latest in math, and share their knowledge. It’s 100% free!