9 karma · joined August 15, 2018
I often have projects that require third party libraries, and perhaps I change or upgrade the version of the library I use during the history of my project. I would like to have everything versioned together so if I check out a certain commit, I know that everything will work.
The downside of this is that my git repo will get bloated over time if I keep changing large dlls. I've sometimes made submodules to mitigate this problem. Git lfs also seemed like a good solution, but your comment makes me feel like I'm doing something bad here...
Of course, this is assuming S^2 is getting its geometry from a certain embedding into R^3 that comes to mind. You could define different Riemann curvature tensors over S^2 that may have zero curvature in certain places, like squishing a balloon against a flat table for example.
I guess my point was that topology and curvature are different things (like you pointed out with your comment about RP^2), and saying that "a sphere looks flat locally" is missing the point!
Also, it didn't occur to me that this notion of curvature doesn't make sense in 1d, i.e. for S^1 like you said.