Can a global symmetry be gauged without being made local?
Posted by knzhou, at physics.stackexchange.com,
In this question, I'll define a gauge symmetry to be a symmetry that is merely a redundancy of our description of the system.
Effective lagrangian description on discrete gauge symmetries
Overview of attention for article published in Nuclear Physics B, August 1989