Давайте допустим, что мы добавим массовый член, в ту математику калиброчного поля, которую мы освещали в предыдущей желтой вставке.
Он будет выглядеть так:
$$\mathcal{L}_{\text{mass}} = \frac{1}{2} m^2 A_\mu A^\mu$$
Наверное стоит объяснить что тут написано.
Начнем с $A_\mu A^\mu$
Символ $\mu$(мю) - это просто сокращенная запись, обозначающее 4х-компонентное поле (А). Каждая точка поля в пространственно-временной метрике характеризуется 4мя координат (3 пространственных и 1 временная).
То есть по сути это А0 - значение поля по временной координате, А1- значение поля по координате х, А2 - значение поля по координате y, A3 - значение поля по координате z. Чтобы так долго не писать их объединяют записью через $\mu$(мю).
$$A_\mu = (A_0, A_1, A_2, A_3)$$
Почему есть мю нижний индекс и верхний?
Начнем издалека.
В обычном трехмерном пространстве формула расчета расстояния идет через х2+y2+z2. Это просто трехмерная реализация школьной теоремы Пифагора (квадрат гипотенузы равен сумме квадратов катетов).
Представьте двухмерную плоскость с осями х и у. И отмерьте от начала координат какую-то точку (допустим она будет х=3 и у=5).
Как определить расстояние от начала координат до точки?
Если провести перпендикуляры к осям, то у вас получится прямоугольник со сторонами 3 и 5, в котором начало координат и точка х это противолежащие вершины. А диагональ прямоугольника и будет расстоянием между точками. А эта диагональ по сути есть гипотенуза треугольников , составляющих этот прямоугольник, у которого один катет это смещение по х, а второй - по у. Соответственно квадрат расстояния это х2+у2.
Соответствено само расстояние это корень , полученного результата. А если добавить третье измерение z, то и получим х2+y2+z2
Но в 4х-мерном пространстве Минковского (Специальная теория относительности) еще добавляется время и полная формула интервала там выглядит так.
$$ds^2 = c^2 dt^2 - dx^2 - dy^2 - dz^2$$
Почему так и что такое интервал в Специальной теории относительности, я писал в статье "загадка времени" на этом портале. Повторять не буду. Если формула вам не понятна, прервитесь и загляните в ту статью.
Соответственно нам нужно получить
$$(A_0)^2 - (A_1)^2 - (A_2)^2 - (A_3)^2$$
Поэтому в физике принято записать через верхний индекс мю значения поля в 4х координатах в релятивистком изложении $A^\mu = A_0 - A_1 - A_2 - A_3$
И тогда релятивистское изложение умноженное на обычное значение даст искомое квадратное
$A_\mu A^\mu = A_0^2 - A_1^2 - A_2^2 - A_3^2$
Далее m2 это не какой-то произвольный коэффициент массы, а релятивистское значение массы для данного поля. Выше при обсуждении массы мы уже упоминали, что значение массы тесно связано со значением энергии и импульса в СТО. Если говорить детальней, то масса представляет собой геометрически длину вектора 4х-импульса.
Импульс (р) это показатель, говорящий нам о том, как частица движется в пространстве. Соответственно сокращенный суммарный показатель импульса содержит в себе в строго изложении направления по трем пространственным осям: рх, ру, рz. вот три компоненты.
Но СТО это релятивистская теория, где значения импульса и энергии зависят от системы отсчета и при переходе между разными системами отсчета могут преобразовываться совместно.
Приведу пример.
Возьмем условно нас как неподвижного наблюдателя и частицу удаляющуюся от нас вправо. Эта частица несет в себе определенный импульс, направленный вправо и энергию. Для другого наблюдателя движущегося в ту же сторону , что и частица, она движется медленнее, соответственно и ее импульс становится меньше, а значит и полное значение энергии. А для третьего наблюдателя, движущегося быстрее частицы в ту же сторону и обогнавшего ее, она получается удаляется уже влево и направление вектора меняется на противоположный, а в соответствии с изменением имульса меняется и значение энергии.
Таким образом импульс и энергию можно рассматривать как единую систему единый вектор состоящий из трех пространственных компонент импульса и компонента энергии. Отсюда и название 4х-импульс, говорящее, что в отличии от классического импульса здесь еще учтена энергия, связанная с классическим импульсом.
Это очень похоже на то как смешиваются пространственная и временная компонента при определении местоположения события на мировой линии, о чем я писал подробно в статье "Загадка времени" на этом портале.
И хотя при смене систем отсчета 4х-импульс преобразуется, меняются его компоненты, но сама длина вектора остается неизменным и квадрат длины вектора остается неизменным. Это аналогично тому как изменения компонент времени и пространства в формуле интервала не меняют сам интервал и его квадрат равен квадратам разницы этих компонент в пространстве Минковского. Или также как при изменении положения вершины противолежащей гипотенузе в треугольнике в Евклидовом пространстве меняет значения катетов , переходящих друг в друга, но не меняет значение гипотенузы и ее квадрат будет всегда равен сумме квадратов катетов, хотя сами значения катетов и их квадратов будут меняться в зависимости от расположения вершины.
Вот масса это и есть тот инвариант четырехимпульса , который не меняется при смене наблюдателя. Поэтому масса всегда одинакова для любого наблюдателя. А в квадрате она, потому что таково геометрическое устройство нашей Вселенной, где гипотенуза не равна сумме катетов, а вот квадрат гипотенузы всегда равен.
Ну а коэффициент 1/2 это просто перенормировка чтобы убрать коэффициент два для производной. Правило производной $(x^n)' = n \cdot x^{n-1}$
Соответственно для поля в квадрате $\phi^2$
при дифференцировании мы получим $2\phi$.
Можно и так оставить , но тогда эту двойку пришлось бы учитывать везде в уравнении движения, и чтобы этого не делать физики и сделали сразу то, что называется перенормировкой, а именно вставили в массовый член коэффициент 1/2, чтобы избавиться от этого удвоения.
Наверное стоит уточнить , что эквивалент $\phi$ в нашей формуле обозначен как $A_\mu A^\mu$. Просто $\phi$ обозначает скалярное поле , где квадрат его значения это просто возведение в квадрат. Но в нашем случае речь идет о поле векторном и необходимо релятивистское возведение в квадрат, о чем я уже писал выше.
Итак с массовым членом разобрались. А теперь давайте взглянем, что произойдет с нашей симметрией , если мы просто добавим массовый член в уравнение, как если бы поле обладало собственным значением массы.
Возмем на примере все той же симметрии U1.
У нас есть значение преобразования поля:
$$A_\mu \to A'_\mu = A_\mu - \partial_\mu \alpha(x)$$
И есть массовый член:
для начального поля$$\mathcal{L}_{\text{mass}} = \frac{1}{2} m^2 A_\mu A^\mu$$
для преобразоыанного поля соответственно
$$\mathcal{L}_{\text{mass}} = \frac{1}{2} m^2 A'_\mu A'^\mu$$
Подставим значение преобразования, чтобы посмотреть останется ли массовый член таким же после преобразования$$\mathcal{L}_{\text{mass}} = \frac{1}{2} m^2 (A_\mu - \partial_\mu \alpha)(A^\mu - \partial^\mu \alpha)$$
А теперь раскроем скобки
$$
\begin{aligned}
\mathcal{L}_{\text{mass}} &= \frac{1}{2} m^2 (A_\mu - \partial_\mu \alpha)(A^\mu - \partial^\mu \alpha) \\
&= \frac{1}{2} m^2 \left( A_\mu A^\mu - A_\mu \partial^\mu \alpha - \partial_\mu \alpha A^\mu + \partial_\mu \alpha \partial^\mu \alpha \right) \\
&= \frac{1}{2} m^2 A_\mu A^\mu - m^2 A^\mu \partial_\mu \alpha + \frac{1}{2} m^2 \partial_\mu \alpha \partial^\mu \alpha
\end{aligned}
$$
Как видите появились новые члены и калибровочный инвариант массы не сохраняется неизменным при преобразовании. Симметрия нарушается. Калибровочные бозоны не могут обладать собственным значением массы, при этом выполнять функцию сохранения симметрии.