Goldbeetle said:
Also, is the following reasoning correct: SR has flat geometry (no gravity). If gravity enters the picture, then one realizes that SR can be regained locally by the principle of equivalence.
I have to say, the word 'regained' is particularly ill-fitting here.
The spacetime of SR and the spacetime of GR have the following in common: the signature of the metric is (+,-,-,-)
GR ushered in unification of the phenomena inertia and gravitation. In Newtonian dynamics theory of motion and theory of gravitation are distinct, GR is a
single theory of inertia and gravitation.
The following three properties of SR spacetime are relevant here: SR spacetime is immutable, SR spacetime is geometrically flat, and the signature of the metric is (+,-,-,-).
To unify inertia and gravitation one keeps the (+,-,-,-) signature, and one relaxes the property of spacetime being geometrically flat.
The (+,-,-,-) signature of the metric is not "regained", it's better to say that the metric's signature is what you
keep (in moving from SR to GR).
There is no need to formulate things in terms of 'locally you get so-and-so'. That 'locally' is ambiguous, and unnecessary.