Basically a synonym for Lie group which is the way of modelling them.
Local symmetries appear to be a synonym to internal symmetry, see description at: Section "Internal and spacetime symmetries".
As mentioned at Quote , local symmetries map to forces in the Standard Model.
Appears to be a synonym for: gauge symmetry.
A local symmetry is a transformation that you apply a different transformation for each point, instead of a single transformation for every point.
TODO what's the point of a local symmetry?
Bibliography:
TODO. I think this is the key point. Notably, symmetry implies charge conservation.
More precisely, each generator of the corresponding Lie algebra leads to one separate conserved current, such that a single symmetry can lead to multiple conserved currents.
This is basically the local symmetry version of Noether's theorem.
Then to maintain charge conservation, we have to maintain local symmetry, which in turn means we have to add a gauge field as shown at Video "Deriving the qED Lagrangian by Dietterich Labs (2018)".
Forces can then be seen as kind of a side effect of this.

Articles by others on the same topic (1)