Тождества Уорда: следствие калибровочной симметрии в КТП

Тождества Уорда - это точные соотношения между функциями Грина в квантовой теории поля, которые вытекают не из конкретного приближения, а из самой симметрии теории. В квантовой электродинамике они связывают собственную энергию электрона с вершинной функцией и гарантируют, что калибровочная инвариантность переживает квантование и перенормировку. Понять их - значит понять, почему в КЭД заряд перенормируется так, а не иначе, и почему фотон остаётся безмассовым. Ниже разберём, откуда тождества берутся, как выглядит их обобщение Такахаши и зачем они нужны на практике. Если нужно решить конкретную задачу с выводом или проверкой тождества - соберите запрос в форме ниже.

Что утверждает тождество Уорда

Исходное тождество Уорда (Дж. К. Уорд, 1950) связывает две, казалось бы, разные величины КЭД: вершинную функцию $\Gamma^\mu(p, p)$ и обратный электронный пропагатор $S^{-1}(p)$. В пределе нулевой передачи импульса оно записывается так:

$$\Gamma^\mu(p, p) = -\frac{\partial}{\partial p_\mu} S^{-1}(p).$$

Слева - как электрон взаимодействует с фотоном (трёхточечная функция), справа - как распространяется сам электрон (двухточечная функция). Симметрия теории жёстко привязывает одно к другому: радиационные поправки к вершине и к собственной энергии не независимы, а согласованы между собой во всех порядках теории возмущений.

Физический смысл прост: фотон с нулевым импульсом - это, по сути, статический внешний потенциал, а реакция заряженной частицы на постоянный потенциал полностью определяется тем, как меняется её энергия с импульсом. Калибровочная симметрия превращает эту интуицию в точное операторное равенство.

Рассчитать для своей задачи

Откуда берётся тождество: калибровочная симметрия

Корень тождества - локальная калибровочная инвариантность лагранжиана КЭД относительно преобразований $\psi \to e^{i\alpha(x)} \psi$, $A_\mu \to A_\mu - \frac{1}{e}\partial_\mu \alpha$. Эта симметрия означает сохранение электрического тока, $\partial_\mu j^\mu = 0$. На уровне квантовой теории сохранение тока переходит не в одно уравнение, а в бесконечную иерархию соотношений между корреляционными функциями - это и есть тождества Уорда.

Технически их выводят из инвариантности производящего функционала. Замена переменных интегрирования в функциональном интеграле под действием калибровочного преобразования не меняет интеграл, но порождает связь между вариациями функций Грина. Дифференцируя по источникам, получаем соотношения для каждого набора внешних линий.

Ключевая мысль: тождества Уорда - не свойство диаграмм, а свойство симметрии. Любая регуляризация, которая уважает калибровочную инвариантность (например, размерная), автоматически их сохраняет. Регуляризация, которая её ломает (грубое обрезание по импульсу), тождества нарушит - и это будет сигналом, что метод вычисления некорректен.

Тождество Уорда-Такахаши: общий случай

Исходное тождество Уорда работает при равных импульсах. Ёсио Такахаши (1957) обобщил его на произвольную передачу импульса $q = p' - p$. Тождество Уорда-Такахаши для вершины КЭД выглядит так:

$$q_\mu \Gamma^\mu(p', p) = S^{-1}(p') - S^{-1}(p).$$

Свёртка вершинной функции с импульсом фотона $q_\mu$ даёт разность обратных пропагаторов на входе и выходе. Уорд получается отсюда предельным переходом $q \to 0$: правая часть превращается в производную, левая - в $\Gamma^\mu(p, p)$.

Эта форма важнее исходной, потому что она справедлива при любых импульсах и потому имеет прямые следствия для структуры теории. Например, продольная часть вершины (то, что свёртывается с $q_\mu$) полностью фиксирована пропагатором, и только поперечная часть содержит независимую динамику.

Рассчитать для своей задачи

Почему заряд и волновая функция перенормируются вместе

Главное практическое следствие - соотношение между константами перенормировки. В КЭД вводят $Z_1$ (перенормировка вершины), $Z_2$ (перенормировка электронного поля) и $Z_3$ (перенормировка фотонного поля). Тождество Уорда даёт строгое равенство:

$$Z_1 = Z_2.$$

Это не приближение и не совпадение конкретного порядка - это точное следствие калибровочной симметрии, проверяемое во всех порядках. Из него вытекает, что перенормированный заряд $e_R = Z_2 Z_1^{-1} Z_3^{1/2} e_0 = Z_3^{1/2} e_0$ зависит только от перенормировки фотона $Z_3$. А значит, заряд электрона и заряд мюона перенормируются одинаково независимо от их массы - наблюдаемая универсальность электрического заряда есть прямое следствие тождества Уорда.

Это же равенство $Z_1 = Z_2$ резко упрощает доказательство перенормируемости КЭД: вместо того чтобы контролировать три расходимости, достаточно следить за двумя. Сами радиационные поправки к вершине и пропагатору удобно представлять через диаграммы Фейнмана, и тождество Уорда тогда выступает как точная связь между петлевыми вкладами разных диаграмм.

Тождества Славнова-Тейлора: неабелев случай

В неабелевых калибровочных теориях (КХД, теория Янга-Миллса) роль тождеств Уорда играют тождества Славнова-Тейлора. Они сложнее, потому что включают вклад духов Фаддеева-Попова, но идея та же: BRST-симметрия квантованной теории порождает точные соотношения между функциями Грина.

Без этих тождеств доказательство перенормируемости и унитарности неабелевых теорий было бы невозможно - именно за доказательство перенормируемости теорий Янга-Миллса Хоофт и Велтман получили Нобелевскую премию 1999 года. Структурно тождества Славнова-Тейлора - это «тождества Уорда-Такахаши с духами», и абелев случай КЭД получается из них как простой предел, где духи отщепляются.

Как тождества используют на практике

Тождества Уорда - это не только теория, но и рабочий инструмент:

• Проверка вычислений. Если в петлевом расчёте тождество Уорда-Такахаши не выполняется, значит, где-то ошибка или регуляризация нарушает калибровочную инвариантность. Это стандартный контрольный тест.
• Сокращение расходимостей. Тождества гарантируют сокращение определённых расходящихся вкладов, что упрощает выделение конечного физического результата.
• Безмассовость фотона. Из тождеств следует, что поляризационный оператор фотона поперечен, $q_\mu \Pi^{\mu\nu} = 0$, и потому радиационные поправки не порождают массу фотона - он остаётся безмассовым во всех порядках.

Поперечность $\Pi^{\mu\nu}$ напрямую завязана на поляризацию вакуума: именно тождество Уорда гарантирует, что вклад виртуальных электрон-позитронных пар экранирует заряд, но не добавляет фотону массу. Без калибровочной симметрии расчёт дал бы расходящийся массовый член - и теория потеряла бы предсказательную силу. Поэтому при любом аккуратном вычислении в КЭД проверка тождества Уорда-Такахаши - обязательный шаг, а не формальность.

Частые ошибки

• Считать тождество Уорда свойством диаграмм. Оно следует из симметрии, а не из конкретного набора диаграмм; диаграммный вывод - лишь иллюстрация.
• Путать $Z_1 = Z_2$ с равенством всех Z. Равны именно вершинная и полевая константы электрона; $Z_3$ независима и отвечает за перенормировку заряда.
• Применять обрезание по импульсу. Жёсткое обрезание нарушает калибровочную инвариантность, и тождества перестают выполняться - нужна размерная или иная калибровочно-инвариантная регуляризация.
• Забывать про духов в неабелевом случае. Прямой перенос абелева тождества Уорда на КХД без духов Фаддеева-Попова даёт неверный результат - там работают тождества Славнова-Тейлора.

FAQ

Чем тождество Уорда отличается от тождества Уорда-Такахаши? Тождество Уорда - частный случай при нулевой передаче импульса фотона ($q \to 0$), связывающий вершину при равных импульсах с производной обратного пропагатора. Тождество Уорда-Такахаши справедливо при любой передаче импульса $q$ и связывает свёртку $q_\mu \Gamma^\mu$ с разностью обратных пропагаторов. Первое выводится из второго предельным переходом.

Почему из тождества Уорда следует $Z_1 = Z_2$? Тождество связывает вершинную функцию с электронным пропагатором при всех импульсах. Поскольку константы $Z_1$ и $Z_2$ - это коэффициенты при расходящихся частях вершины и пропагатора соответственно, тождество жёстко приравнивает их расходимости. Отсюда $Z_1 = Z_2$ во всех порядках теории возмущений.

Что такое тождества Славнова-Тейлора? Это обобщение тождеств Уорда-Такахаши на неабелевы калибровочные теории (КХД, Янг-Миллс). Они следуют из BRST-симметрии и включают вклады духов Фаддеева-Попова. Абелев случай КЭД получается из них как предел, где духи не взаимодействуют.

Коротко

Тождества Уорда - точные соотношения между функциями Грина, порождаемые калибровочной симметрией КТП. Исходное тождество Уорда связывает вершину при равных импульсах с производной обратного пропагатора электрона, а его обобщение Такахаши работает при любой передаче импульса. Главное следствие - равенство $Z_1 = Z_2$, из которого вытекает универсальность перенормировки заряда и безмассовость фотона. В неабелевых теориях ту же роль играют тождества Славнова-Тейлора с духами Фаддеева-Попова.