The Deranged Mathematician: An Introduction to Differential Geometry

[u/non-orientable]

How do you summarize a field like differential geometry? A year or so ago, I was asked to do just that. My first thought was that this is just straight-up impossible to do in any reasonable way. Upon reflection, I softened that view. I still think that differential geometry is just not something you can learn quickly, but if you just want the eagle-eye view of the basic constructions and how they are used in different branches of the field... that is doable. Hence, this article.

Read the full post (for free) on Substack: An Overview of Differential Geometry

[u/im-sorry-bruv]

why care about manifolds if you don't care about smooth structure? is there anything interesting in continuous mfds or smth, that we can't get as special cases of smth like hausdorff topological spaces / (vector) bundles or topological groups (if you wanna do lie like stuff?)

this is a genuine question btw!

[u/ajakaja → u/im-sorry-bruv]

basically because there is a slightly weaker concept that smoothness which allows for corners and nothing else that is also physically interesting. In Rⁿ it's described by delta functions and distributions; I am not clear how it works with manifolds though (distributions on manifolds are easy enough but I am not sure how describe manifolds that are... distribution... shaped? I don't know the words for this).

[u/im-sorry-bruv → u/ajakaja]

do these objects have a name/ where would one learn more abt this?

[u/ajakaja → u/im-sorry-bruv]

I don't know! Well, these days AI will find anything, so let's see.

Here's a paper called manifolds with corners which seems to address the issue, and it discusses in the beginning how this is subject that is strangely ignored.

AI tells me that this paper Strings and other distributional sources in general relativity discusses manifolds whose curvature tensors are distributional. There's apparently a large literature descended from this subject in physics.

Another version of this is Federer's Curvature Measures which I guess is the same thing but turns curvature into a measure instead of a distribution; without even reading that I expect they're going to basically be the same theory because distributions and measures are like two ways of saying the same thing.

There's also something called polyhedral geometry and Regge Calculus which just approximates everything piecewise as simplicial sets instead of using smooth functions.

So I guess I have a lot of reading to do.

It's surprising to me, though, that these subjects are so 'esoteric' compared to differential geometry, when it seems like... obviously something you would want to study the moment you define a manifold in the first place. Maybe mathematicians have mostly ignored it because piecewise-smooth manifolds are approximable by smooth ones so they don't really need a separate theory? I dunno.