原理也很好理解：每一只参演的灯——无人机，都有自己的唯一ID，在系统中，它们都有各自的——也可以叫局域的——自由度，包括灯光切换、定位通信、飞行控制等。
这样，就可以通过主控计算机，运行无人机表演秀的中央控制系统，按照设定程序、规划路径，操纵每一只无人机进行各自的——也可以叫局域的——变换，换句话说，每个点位的变换都可以独立进行，从而实现整体的千变万化。这就是规范不变性的第二种变换：局域变换。它背后的“中央控制系统”，可以理解为局域规范不变性。
全局对称性，是局域对称性的特例，就像正方形是矩形的特例一样。
描述对称性，落实到数学上，群论当然是最专业的。
数学上的群，就相当于“对称变换操作工具箱”。
比方说你给正方形搞一个对称群工具箱——数学上就是一个集合，里面就装着“180度旋转”、“水平轴翻转”之类的规范操作，共包含8个工具，不管你怎么组合这些操作，正方形的形状都不变——现在我们可以理解：为一个对称找到一个适配的群，就可以在规范操作下，保持其对称性不变。
数学十项全能的外尔就是群论高手。所以，他顺手找到了U(1)群，恰好可以刻画电荷守恒的道侣：规范对称性。
让电荷老老实实守恒的“幕后黑手”，是全局规范不变性。
数理哲全通的外尔当然不会满足于特例，而当他尝试让整体规范性对称推广到局域时，整个电磁学理论，就显现出了更底层的基础。
