为何需要（能够）引入局域规范不变性？

我最近在深挖规范理论的底层逻辑，想通了一个关键点：它的核心思路是保留非物理自由度并对其施加约束，而不是简单粗暴地直接移除这些自由度。

为啥不能直接删？原因很现实：直接移除非物理自由度的操作难度极高，而且这么做还会触发一堆和洛伦兹不变性相关的衍生问题，反而把理论框架搞得更复杂。

我是跟着《Ryder量子场论》（第90-97页）的脉络来学习的，书里明确提到，克莱因-戈登场论（因其作用量具有）具有不变性……

内容的提问来源于stack exchange，提问作者GaloisFan