Архив рубрики ~Лента новостей~

Стандартная модель. От симметрий к кваркам

Стандартная модель. От симметрий к кваркам

Цикл статей в продолжение «Теории всего» и «Призрака Паули»

Предисловие. Зачем трогать Стандартную модель, если она и так работает

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

mathcal{L}_{rm SM} = -frac{1}{4} F_{munu}^a F^{amunu} + bar{psi} igammacdot Dpsi + ldots

и список полей и взаимодействий в виде большого зоопарка без пояснений. Вот это кварки, вот это лептоны, это глюоны, это W/Z-бозоны, это фотон, вот тут Хиггс. Теперь поверьте, что всё это естественно и иначе нельзя.

Мне такого всегда было мало. После того пути, что проделан через «Теорию всего» — от информационной картины через симметрии и струны к голографии — и через «Призрак Паули» — от антисимметрии через грассмановы переменные к калибровкам и BRST — хочется сделать то же самое со Стандартной моделью: разобрать и собрать заново. Не просто выписать лагранжиан, а показать, почему вообще у нас есть три силы SU(3) times SU(2) times U(1), а не четыре или одна. Как именно из этих трёх симметрий рождаются кварки, лептоны, глюоны, W/Z-бозоны и фотон — как представления групп, а не как животные в зоопарке. Почему Хиггс — не просто шайба с потенциалом, а необходимый элемент, чтобы теория была одновременно и с массами, и с калибровочной симметрией.

Где симметрия ломается квантованием — это аномалии — и как она сама себя чинит. И наконец, где у Стандартной модели дыры — те вещи, которых она не объясняет, но аккуратно формулирует: иерархически разные массы, CP-нарушение, тёмная материя, тёмная энергия.

Этот цикл — продолжение предыдущих. Здесь будут частые отсылки к уже введённому языку: состояния, суперпозиция, принцип Паули, призраки, BRST-формализм. Повторять всё слово в слово не будем, но будем использовать те же принципы. Сначала редукция — разбор понятий и их связи. Потом сборка — как из них сделать живую теорию.

Если первая статья была про то, как квантовая информация превращается в гравитацию, а вторая — про то, как антисимметрия чистит пространство состояний, то эта — про то, как симметрии собирают мир.

Глава 1. От Пуанкаре к внутренним группам: как мир стал цветным

Прежде чем говорить SU(3) times SU(2) times U(1), разберём более простой вопрос. Что вообще значит «частица» в современной физике? И как симметрии превращают то, что мы не можем отличить, в квантовые числа?

Напоминание: частица как представление Пуанкаре

Из «Теории всего» уже вынесен важный факт: свободная элементарная частица — это неприводимое представление группы Пуанкаре.

Группа Пуанкаре — это все преобразования вида «повернуть», «перенести» и «перейти в другую инерциальную систему». Если законы природы инвариантны под этими преобразованиями, то состояние частицы должно трансформироваться под некоторым представлением этой группы.

Два инварианта (казимира) алгебры Пуанкаре определяют базовые характеристики частицы. Первый — P^2 = P_mu P^mu = -m^2 c^2 — даёт массу m. Второй — W^2 = W_mu W^mu, где W — вектор Паули-Любанского, даёт спин s или геличность lambda.

Это уже много. Масса — не просто вес объекта, а характеристика представления. Спин — не просто вращение частицы, а свойство, которое описывает, как состояние частицы реагирует при изменении ориентации в пространстве.

Но группа Пуанкаре сама по себе ещё не знает ничего про заряд, цвет, аромат. Ей всё равно, электрон это или мюон, если у них одинаковая масса (в идеализированном пределе) и спин. Значит, есть ещё внутренние симметрии, которые покрывают эти свойства.

Внутренние симметрии: дополнительные ярлыки, не связанные с координатами

Внутренние симметрии — это такие преобразования, которые не мешают нам жить в том же пространстве-времени, не меняют x^mu, но поворачивают состояние в дополнительном внутреннем пространстве (в терминах Стандартной Модели), что соответствует разным типам частиц.

Простейший пример — U(1), глобальный сдвиг фазы psi to e^{ialpha}psi. Связанный с ней заряд — электрический заряд. Более сложный — SU(2), изоспин: двойка (u,d) или (nu,e) поворот в своём двухмерном комплексном пространстве, не меняя координаты. Ещё сложнее — SU(3), цветная симметрия: три компоненты (r,g,b) кварка превращаются друг в друга (кварк меняет «цвет» — в терминах сильного взаимодействия, при обмене глюонами, так реализуется конфайнмент).

Если Пуанкаре занимается геометрией пространства-времени, то SU(3) times SU(2) times U(1) занимается геометрией внутреннего пространства квантовых чисел.

Именно совместные представления Пуанкаре и внутренних групп определяют, каким будет поле. Скаляр (спин 0) без внутренних индексов — это бозон Хиггса. Спинор (спин 1/2) в фундаментальном представлении SU(3) — кварк. Спинор без цвета, но с SU(2) и U(1) — лептон. Вектор (спин 1) в присоединённом представлении SU(3) — глюон.

Почему именно , а не что-то другое?

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

Если взять все возможные комбинации внутренних групп G = G_1 times G_2 times cdots, подключить к ним разные фермионные и бозонные поля и честно пройтись по перенормируемости, структуре представлений, отсутствию аномалий, то здравые варианты резко сокращаются (у них возникают внутренние протичоречия).

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

В рамках нашей линии это важно. Не будем пытаться вывести SU(3) times SU(2) times U(1) из чистой математики — это пока не умеет никто. Но покажем, как уже выученные принципы — калибровочные симметрии из «Теории всего» и «Призраков Паули», супружеская связь «симметрия ↔ заряд», аномальная цензура «аномалия в калибровке = смерть теории» — сильно сужают пространство вариантов. На этом фоне Стандартная модель перестаёт быть зоопарком, который подкинул эксперимент, и становится одним из немногих возможных устойчивых вариантов.

Пуанкаре × внутренние группы в одном кадре

Соберём картинку. Группа Пуанкаре mathcal{P} отвечает за классификацию по массе и спину. Внутренние группы G_{rm int} = SU(3) times SU(2) times U(1) отвечают за цвет, слабый изоспин, гиперзаряд.

Поле Стандартной модели — это объект, на котором действует mathcal{P} times G_{rm int}.

Правый электрон e_R(x) имеет спин 1/2 (спинорное представление Пуанкаре), он синглет по цвету (нет индекса a), синглет по слабому SU(2) и несёт определённый U(1)-гиперзаряд. Левый дублет (nu_e, e)_L — тоже спины 1/2, тоже без цвета, но дублет по SU(2) и с другим гиперзарядом.

Глюон G_mu^a — вектор по Пуанкаре (спин 1), в присоединённом представлении SU(3), нейтрален по SU(2) и U(1). W-бозоны — векторы по Пуанкаре, в присоединённом SU(2), после Хиггса смешиваются с U(1) и дают W^pm, Z, gamma.

Эта матрица «кто как трансформируется» и есть Стандартная модель в виде списка представлений.

Куда мы пойдём дальше в этой статье

Эта глава заложила фундамент. Напомнила, что частица — это представление Пуанкаре. Показала, что внутренние квантовые числа — это представления внутренних групп. Наметила, почему именно SU(3) times SU(2) times U(1) — кандидат, который выдержал давление данных и требований теории.

В дальнейших главах будем шаг за шагом окрашивать эту схему. Глава 2 разберёт каждую из групп SU(3), SU(2), U(1) по-человечески: как выглядит матрица, какие у неё представления, что значит фундаментальное, присоединённое — без всего этого lambda^a-зоопарка, а через смысл. Глава 3 соберёт калибровочный сектор — глюоны, W/Z, фотон как поля-связи. Глава 4 разберёт фермионный сектор — кварки и лептоны как наборы представлений, поговорит про поколения. Глава 5 введёт бозон Хиггса и покажет, как он даёт массы, не разрушая всех симметрий. Главы 6-8 займутся аномалиями, BRST, ренормгруппой — почему Стандартная модель вообще консистентна.

И всё это — в том же тоне, в котором говорилось про Паули и призраков: меньше лозунгов, больше смысла и связи между уровнями.

Глава 2. Что такое SU(3), SU(2), U(1) и почему именно они красят наш мир

В первой главе договорились: частица — это представление Пуанкаре (масса + спин) и внутренних групп симметрий. В Стандартной модели внутренний каркас — это три группы: SU(3) times SU(2) times U(1).

Это выглядит как священная мантра, но если спросить, что это вообще за штуки, часто приходится нырять в океан матриц с детерминантами и комментариями «ну так надо». Сделаем иначе: разберём каждую из этих групп понятийно, увидим их характер и лишь потом сложим обратно.

Немного общей интуиции: что вообще такое группа SU(N) и U(1)

Группа — это просто набор преобразований с операцией композиции: повороты, сдвиги, умножения на матрицу, всё что угодно. Внутренние симметрии — это группы, действующие во внутреннем пространстве состояний, не трогая координаты x^mu.

U(1) — это сплошной круг фаз: числа вида e^{ialpha}, где alpha in [0, 2pi). SU(N) — это специальные унитарные N times N матрицы: U^dagger U = mathbb{I}, det U = 1.

Проще говоря, U(1) — это крутилка фазы, SU(N) — это крутилка в N-мерном комплексном пространстве, сохраняющая длину и объём. Важно, что группа не навешана на пространство-время, а живёт поверх Пуанкаре (независимо от координатной сетки): частица сидит в этом внутреннем пространстве, и действия внутри группы меняют её цвет, изоспин или заряд.

U(1) — один круг, один заряд

Начнём с самого простого: U(1).

Что такое U(1)

Множество комплексных чисел с модулем 1: e^{ialpha}. Операция — умножение: e^{ialpha_1} cdot e^{ialpha_2} = e^{i(alpha_1 + alpha_2)}.

В квантовой механике глобальный фазовый множитель |psirangle to e^{ialpha}|psirangle ничего не меняет: все вероятности те же. Но если делаем фазу локальной alpha = alpha(x), включаем калибровочный потенциал A_mu и получаем электродинамику.

Заряд как вес представления

Представление U(1) — это правило, как состояние получает фазу:

psi(x) to e^{iqalpha(x)} psi(x)

Число q — заряд, точнее, определённый вес представления. Если есть два поля psi_1, psi_2 с разными q_1, q_2, они по-разному крутятся под U(1).

Интуитивно: U(1) — это группа, у которой все представления одномерны, просто фазочка. Заряды — это частота вращения на этом круге.

SU(2) — математика спина и слабого изоспина

SU(2) — следующая ступень. Мы уже встречались с ней, когда говорили про спин: SU(2) — накрытие SO(3).

Тут важно различать два уровня. Пуанкаре/вращения в пространстве: спин как представление SU(2), действующее на пространственно-временные индексы (спиноры Дирака и так далее). Внутреннее SU(2) — слабый изоспин: дублеты (nu_e, e)_L, (u, d)_L и им подобные. Здесь (nu, e) — не координаты в пространстве, а двухкомпонентный вектор во внутреннем пространстве аромата.

Устройство SU(2)

Можно представить SU(2) как множество матриц вида

U = begin{pmatrix} alpha & beta \ -beta^* & alpha^* end{pmatrix}, quad |alpha|^2 + |beta|^2 = 1

Два ключевых представления: фундаментальное — двумерное, где вектор psi = (psi_1, psi_2)^T превращается в Upsi, и присоединённое — трёхмерное, вектор в пространстве генераторов (как обычный трёхмерный вектор в SO(3)). Если не понятно, что такое генератор группы, тогда вам нужна первая статья цикла.

Слабый изоспин как дублет

В Стандартной модели левый лептонный дублет первого поколения

L_L = begin{pmatrix} nu_e \ e end{pmatrix}_L

трансформируется как фундаментальное представление по SU(2): L_L to U L_L, где U in SU(2).

То есть nu_e и e — две компоненты одного внутреннего вектора. По смыслу это напоминает спин-1/2, но теперь речь о вкусах под слабым взаимодействием, а не о пространственных поворотах.

SU(3) — цветовая симметрия

Теперь самый яркий персонаж — SU(3). Здесь уже внутренняя трёхмерная комплексная структура: цвета кварков.

Фундаментальное представление и цвет

Фундаментальное представление SU(3) — это тройка:

q = begin{pmatrix} q_r \ q_g \ q_b end{pmatrix}

где индексы r, g, b — это красный, зелёный, синий цвет в терминах квантовой хромодинамики (КХД, QCD).

Калибровочное поле (глюоны) живёт в присоединённом представлении SU(3), у которого размерность N^2 - 1 = 8: отсюда восемь глюонов. Эти глюоны — носители смены цвета: они перемешивают компоненты q_r, q_g, q_b друг с другом, но так, что сохраняется цветовой заряд в целом.

Почему это калибровочная группа, а не просто внутренний флаг

Как только делаем симметрию локальной (параметр U(x) зависит от координаты), появляется существенно новый объект — связь A_mu(x) с полями Янга-Миллса, и лагранжиан обогащается термом

mathcal{L}_{rm YM} = -frac{1}{4} F^a_{munu} F^{amunu}

где mu, nu — индексы пространства-времени, а a = 1, ldots, 8 — цветовые индексы.

Глюоны — это кванты этого поля. Они взаимодействуют сами с собой из-за нелинейности полевой силы Янга-Миллса, и именно это делает КХД такой жёсткой: конфайнмент, струнки между кварками, отсутствие свободных цветных объектов.

Почему именно этот набор: две SU(N) и одна U(1)

Теперь главный вопрос: почему такой набор групп, а не другой? Могло бы быть SU(4), SO(10), SU(5) без декомпозиции — ведь математика допускает.

Отвечаем честно. Во-первых, перенормируемость и асимптотическая свобода. Нам нужны группы и представления, при которых бета-функции не превращают теорию в дикий ультрафиолет. Неабелева SU(3) в присоединённом представлении с эффективным набором кварков даёт асимптотическую свободу — это прямо наблюдаемый факт: КХД становится слабосвязанной на кратких расстояниях. Для электрослабого сектора SU(2) times U(1) важно, чтобы константы связи не улетали слишком быстро — это отдельная песня про ренормгруппу, о ней ещё поговорим.

Во-вторых, аномалии. Внутренняя симметрия, которая ломается квантованием, делает теорию неконсистентной — нарушается сохранение калибровочного тока, ломается BRST. Стандартная модель удивительно свободна от аномалий, если правильно подобрать представления и числа поколений. Чуть поменяешь — и калибровочные аномалии всплывают. Это очень сильный фильтр.

В-третьих, эксперимент. Похоже, что природа в четырёх измерениях выбрала структуру, где есть очень сильное взаимодействие (КХД, SU(3)), есть универсальное слабое (SU(2)) и электромагнитное (U(1)), а гравитация — отдельно, как геометрия. На уровне полевой теории это как раз реализуется этим тройным набором.

В более высоких измерениях (струнные теории великого объединения) часто рассматривают большие группы вроде SU(5), SO(10), E_6. Они при компактификации на наш четырёхмерный мир разваливаются на SU(3) times SU(2) times U(1) как подсектор — и там Стандартная модель появляется как эффективная теория. Это делает выбор группы СМ не столь мистическим: она выглядит как низкоэнергетическое лицо более богатой симметрии.

Представления и кто кем является в Стандартной модели

Чтоб не говорить абстрактно, посмотрим, как выглядят поля СМ в виде представлений группы SU(3) times SU(2) times U(1)_Y (где Y — гиперзаряд).

Левый кварковый дублет Q_L = begin{pmatrix} u \ d end{pmatrix}_L sim (mathbf{3}, mathbf{2}, Y_Q), то есть фундаментальное представление по SU(3), фундаментальное по SU(2), с гиперзарядом Y_Q.

Правые кварки: u_R sim (mathbf{3}, mathbf{1}, Y_u) и d_R sim (mathbf{3}, mathbf{1}, Y_d).

Левый лептонный дублет L_L = begin{pmatrix} nu \ e end{pmatrix}_L sim (mathbf{1}, mathbf{2}, Y_L).

Правый электрон: e_R sim (mathbf{1}, mathbf{1}, Y_e).

Хиггс-дублет: Phi sim (mathbf{1}, mathbf{2}, Y_Phi).

Гиперзаряды Y выбираются так, чтобы Q = T_3 + Y/2 давал привычные электрические заряды (2/3, -1/3, -1 и так далее) и чтобы аномалии (например, mathrm{Tr}[Y], mathrm{Tr}[Y^3], смешанные mathrm{Tr}[Y T_a T_b]) обнулялись.

Подробно разберём это в отдельной главе про аномалии, но здесь важно: список представлений и гиперзарядов в СМ — не случайное присваивание, а результат требований симметрии и консистентности.

Куда всё это ведёт

В этой главе упаковали несколько страшных символов SU(3) times SU(2) times U(1) в понятные образы. Круг фаз U(1) — заряд как частота вращения. SU(2) — двукамерный слабый изоспин, дублеты лептонов и кварков. SU(3) — трёхмерное цветовое пространство, глюоны как операторы смены цвета.

Увидели, что выбор группы Стандартной модели обусловлен математическими требованиями (перенормируемость, аномалии) и экспериментом (наблюдаемые взаимодействия).

Дальше в следующей главе будем строить калибровочный сектор СМ: как из этих групп получается лагранжиан глюонов, W/Z и фотона, и как работает Хиггс, чтобы дать массу W/Z, но оставить фотон безмассовым. А потом разберём фермионный сектор (кварки, лептоны, поколения) и аналог принципа Паули в многокомпонентной структуре ароматов.

Глава 3. Калибровочный сектор: как из симметрий рождаются глюоны, W/Z и фотон

Уже договорились: внутренние симметрии Стандартной модели — это SU(3) times SU(2) times U(1)_Y. Они крутят цвет, слабый изоспин и гиперзаряд. Но пока это были лишь фигуры речи: вектор в mathbb{C}^3, дублет в mathbb{C}^2, фаза на круге. Сейчас время показать главное: как из требования локальной симметрии по этим группам неизбежно появляются калибровочные поля — глюоны, W/Z и фотон — и как выглядит их лагранжиан.

Калибровочный принцип: локальная симметрия → связь → поле силы

В предыдущих статьях уже выведено для простого U(1). Глобальная фаза psi to e^{ialpha}psi ничего не меняет. Если потребовать локальной инвариантности alpha = alpha(x), приходится ввести связь A_mu и заменить partial_mu to D_mu = partial_mu + iqA_mu. Коммутатор [D_mu, D_nu] = iqF_{munu} даёт поле, а -frac{1}{4}F_{munu}F^{munu} — кинетику этого поля.

То, что работает для U(1), переносится на SU(N) почти без изменений, просто всё становится матричным. Вместо скаляра A_mu — матрица A_mu = A_mu^a T^a, где T^a — генераторы группы. Вместо одного заряда q — вектор в пространстве представлений. Ковариантная производная:

D_mu = partial_mu + igA_mu(x)

где g — константа связи (сильной, слабой, гиперзаряда).

Поле силы:

F_{munu} = frac{i}{g}[D_mu, D_nu] = partial_mu A_nu - partial_nu A_mu + ig[A_mu, A_nu]

Кинетический терм -frac{1}{4}mathrm{tr}(F_{munu}F^{munu}) в лагранжиане — это энергия поля.

Проще говоря: каждый раз, когда говорим «пусть теория инвариантна при локальных поворотах во внутреннем пространстве», обязаны заплатить: ввести новое поле, которое умеет компенсировать эти повороты. Эти поля и есть глюоны, W/Z и фотон.

Сильное взаимодействие: SU(3) и глюоны

Цветовая группа — SU(3). Фундаментальное представление — цветной кварк q = (q_r, q_g, q_b)^T. Калибровочная связь G_mu = G_mu^a T^a, где T^a — матрицы SU(3) (например, матрицы Гелл-Манна). Ковариантная производная:

D_mu q = big(partial_mu + ig_s G_mu^a T^abig)q

где g_s — константа сильной связи.

Поле силы (тензор Янга-Миллса):

G_{munu}^a = partial_mu G_nu^a - partial_nu G_mu^a + g_s f^{abc} G_mu^b G_nu^c

где f^{abc} — структурные константы SU(3).

Лагранжиан глюонов:

mathcal{L}_{rm gluon} = -frac{1}{4} G_{munu}^a G^{amunu}

Интуитивно: каждый глюон — это калибровочное квантовое возмущение связи по одному из восьми направлений в внутреннем пространстве SU(3). Нелинейный терм g_s f^{abc} G_mu^b G_nu^c отвечает за самовзаимодействие глюонов — именно оно делает КХД такой жёсткой: глюоны обладают цветовым зарядом, что позволяет им взаимодействовать друг с другом, и это приводит к конфайнменту — невозможности вытащить кварк в виде свободной частицы (он сразу создаст новые частицы на концах связей прямо из вакуума — такая вот сильная связь, что энергии хватает, по аналогии с сильным напряжением, которое создает электрон-позитронные пары из вакуума). При этом, при увеличении расстояния между кварками, растет энергия взаимодействия (как-бы натягивается пружина).

Это первый пример чистой теории Янга-Миллса: всё рождается из утверждения «кварки имеют цвет и эта симметрия локальная».

Слабое взаимодействие: SU(2) и W-бозоны

Слабое взаимодействие — это SU(2)_L. Левый фермионный дублет (например, лептоны)

L_L = begin{pmatrix} nu_e \ e end{pmatrix}_L

трансформируется как фундаментальное представление SU(2).

Калибровочное поле:

W_mu = W_mu^i frac{sigma^i}{2}, quad i = 1, 2, 3

где sigma^i — матрицы Паули (генераторы SU(2)).

Ковариантная производная:

D_mu L_L = Big(partial_mu + ig W_mu^i frac{sigma^i}{2}Big) L_L

Авторы теории слабого взаимодействия изначально думали про строгий SU(2), но на практике видим не три массовых вектора W^1, W^2, W^3, а два заряженных W^pm и один нейтральный Z, плюс безмассовый фотон. Это результат смешивания с U(1) и механизма Хиггса — об этом будет отдельная глава.

Сейчас важно: SU(2) отвечает за повороты между nu и e (или u и d) в левом секторе. Калибровка SU(2) даёт три слабых векторных поля. Нелинейные термы в F_{munu} дают самовзаимодействие W-бозонов — слабые процессы с W в петлях, WW-рассеяние и так далее.

Гиперзаряд : ещё одна фаза, но с хитрым смыслом

Помимо SU(2), есть U(1)_Y — гиперзаряд. Его калибровочное поле обычно обозначают B_mu.

Ковариантная производная для фермиона с гиперзарядом Y:

D_mu = partial_mu + ig' Y B_mu

где g' — константа гиперзаряда.

Важный момент: электрический заряд Q выражается через комбинацию T_3 (третья компонента слабого изоспина) и гиперзаряда Y:

Q = T_3 + frac{Y}{2}

Позже, когда введём Хиггс и посмотрим на его вакуумное среднее langlePhirangle neq 0, окажется, что конкретная комбинация W^3_mu и B_mu даёт безмассовый фотон и массивный Z-бозон.

Сейчас запомним: U(1)_Y — это сырой гиперзаряд, ещё не фотон. Его выбор (с каким Y находятся разные поля) — тонкая вещь: он отвечает за правильные электрические заряды и за исчезновение аномалий.

Суммарный калибровочный лагранжиан

Если собрать все три группы, чистый калибровочный сектор Стандартной модели (без материи и Хиггса) выглядит так:

mathcal{L}_{rm gauge} = -frac{1}{4} G_{munu}^a G^{amunu} - frac{1}{4} W_{munu}^i W^{imunu} - frac{1}{4} B_{munu} B^{munu}

где G_{munu}^a — поле силы SU(3) (глюоны), W_{munu}^i — поле силы SU(2) (слабые W-бозоны), B_{munu} — поле силы U(1)_Y (гиперзаряд).

На этом уровне глюоны безмассовы, слабые калибровочные поля безмассовы, гиперзарядный фотон B_mu безмассовый.

Это не то, что видит эксперимент: мы видим массивные W и Z, и один безмассовый фотон. Для согласия с природой нужно сломать SU(2) times U(1)_Y до диагональной U(1)_{rm EM} (электромагнитной) и дать массу W/Z, не трогая глюонов и не разрушая калибровочную структуру. Это работа Хиггса — её разберём в отдельной главе.

Где здесь BRST и призраки в реальной Стандартной модели

В статье про Паули уже видели, как призраки и BRST появляются при фиксации калибровки, как они обеспечивают корректный учёт степеней свободы и сохранение унитарности.

В полной Стандартной модели для каждого из трёх калибровочных факторов (глюоны, W/Z, B) есть свой набор призраков Фаддеева-Попова: c^a_{rm gluon}, c^i_{rm weak}, c_Y. В R_xi-калибровке лагранжиан содержит термы фиксации и призрачные термы — так же, как в чистых Янга-Миллса и КЭД (квантовой электродинамики, QED), только теперь для трёх групп сразу.

BRST-симметрия, одна, объединяющая все секторы, гарантирует, что физические наблюдаемые не зависят от выбора параметров калибровки xi, а нефизические поляризации (продольные/скалярные) и призраки уходят в BRST-пары и не появляются в S-матрице.

То есть когда говорим «рассеяние W-бозонов», «приведение к унитарной калибровке», «диаграммы с призраками» — это всё техническая оболочка вокруг того же принципа чистоты, который начинался с антисимметрии Паули и продолжился BRST.

Как калибровки держат структуру взаимодействий

Важно понимать: калибровочная симметрия не только рождает поля, но и жёстко ограничивает допустимые взаимодействия между ними.

Форма кинетических термов F_{munu}F^{munu} и ковариантных производных D_mu строго фиксирована требованиями калибровочной инвариантности. Структура трёх- и четырёхвершин глюонов, как они взаимодействуют между собой, — жёсткое следствие [A_mu, A_nu]. Допустимые взаимодействия между фермионами и калибровочными полями — это то, что входит в bar{psi} igammacdot {D}psi: там нет произвольных куплингов, только те, что согласованы с представлениями поля и группой.

В результате огромная часть лагранжиана Стандартной модели фиксируется только требованием симметрии и квантового формализма. Свобода в основном остаётся в численных значениях: константы связей g_s, g, g'; юкавские матрицы (массы ароматов); параметры потенциала Хиггса.

Именно поэтому важно пройти путь от симметрий к полям: чтобы увидеть, где модель неизбежна, а где есть вопросы к будущей теории всего.

Куда дальше

Эта глава дала понятный рецепт, как локальные симметрии создают глюоны, W/Z и гиперфотон B_mu, лагранжиан чистого калибровочного сектора, интуицию того, что W/Z/γ — результат смешивания и Хиггса.

В следующих главах разложим кварки и лептоны по представлениям SU(3) times SU(2) times U(1), поговорим о поколениях, принципе Паули и том, как статистика и симметрии формируют плотную структуру Стандартной модели. Затем аккуратно введём поле Хиггса, его потенциал, вакуумное среднее, разложим W^3, B на Z, gamma, покажем, как массы W/Z/фермионов рождаются так, что калибровка остаётся корректной и BRST не ломается. После перейдём к аномалиям и перенормировке, чтобы показать, почему СМ — не просто «так получилось», а «так дописано, чтобы не развалиться».

Глава 4. Фермионный сектор: как кварки и лептоны вписываются в симметрии

В калибровочном секторе всё было почти геометрией: группы SU(3), SU(2), U(1)_Y, связи, тензоры поля F_{munu} — аккуратная математика симметрий. Но физика — это не только поля-силы, а ещё и те, кто по этим полям бегает: кварки и лептоны.

В этой главе разложим фермионы Стандартной модели по представлениям SU(3) times SU(2) times U(1)_Y, покажем, как на них сидит принцип Паули, увидим, как фермионный лагранжиан целиком фиксируется симметриями, и наметим, где остаются большие вопросы — массы, поколения, смешивания.

Кварки и лептоны: зоопарк или таблица представлений?

Стандартная модель описывает кварки: u, d, c, s, t, b — шесть ароматов, каждый в трёх цветах. И лептоны: e, mu, tau и соответствующие нейтрино nu_e, nu_mu, nu_tau.

Всё это ещё разбито по поколениям: первое (u, d; nu_e, e), второе (c, s; nu_mu, mu), третье (t, b; nu_tau, tau). На вид — чистый зоопарк. Но если смотреть глазами симметрий, это довольно строгая структура. Кварки несут цвет (SU(3)), левые компоненты несут слабый изоспин (SU(2)), у всех есть гиперзаряд Y (U(1)_Y), и все они фермионы — спин 1/2, антисимметрия, Паули.

Левые и правые: зачем теории хиральность

Первое, что нужно принять: в Стандартной модели левое и правое не равны.

Левые фермионы входят в дублеты по SU(2). Лептоны: (nu_e, e)_L, (nu_mu, mu)_L, (nu_tau, tau)_L. Кварки: (u, d)_L, (c, s)_L, (t, b)_L.

Правые фермионы — синглеты по SU(2): e_R, mu_R, tau_R; u_R, c_R, t_R; d_R, s_R, b_R.

То есть слабое взаимодействие видит только левую часть. Правая часть слепа к SU(2). Это экспериментальный факт — нарушение чётности в слабых распадах — и одновременно глубоко встроенная асимметрия Стандартной модели.

Как фермионы преобразуются под

Уже подготовлен язык представлений. Теперь запишем фермионы как строки в таблице.

Первый лептонный набор

Левый дублет:

L_L = begin{pmatrix} nu_e \ e end{pmatrix}_L sim (mathbf{1}, mathbf{2}, Y_L)

Тут mathbf{1} по SU(3) (нет цвета), mathbf{2} по SU(2) (дублет слабого изоспина), Y_L — гиперзаряд.

Правый электрон:

e_R sim (mathbf{1}, mathbf{1}, Y_e)

В конкретной нормировке Стандартной модели гиперзаряды выбирают так, чтобы

Q = T_3 + frac{Y}{2}

давал привычные заряды: Q(nu) = 0, Q(e) = -1. Отсюда Y_L = -1, Y_e = -2.

Первый кварковый набор

Левый дублет:

Q_L = begin{pmatrix} u \ d end{pmatrix}_L sim (mathbf{3}, mathbf{2}, Y_Q)

Здесь mathbf{3} — цвет (красный, зелёный, синий), mathbf{2} — слабый дублет, Y_Q — гиперзаряд, выбираемый так, чтобы получились заряды 2/3 и -1/3.

Правые кварки:

u_R sim (mathbf{3}, mathbf{1}, Y_u), quad d_R sim (mathbf{3}, mathbf{1}, Y_d)

И в Стандартной модели: Y_Q = 1/3, Y_u = 4/3, Y_d = -2/3.

Эти странные дроби выглядят как магия до тех пор, пока не разберёшь, что они согласованы с формулой Q = T_3 + Y/2 и жёстко фиксированы требованиями отмены аномалий — об этом позже.

Аналогичная структура повторяется для второго и третьего поколения, с теми же квантовыми числами, но другим ароматом.

Фермионный лагранжиан: как симметрии фиксируют взаимодействия

Обозначим все фермионные поля (по поколениям) через psi. Ковариантная производная D_mu для любого psi зависит от того, как оно трансформируется под группой:

D_mu = partial_mu + ig_s G_mu^a T^a_{rm color} + ig W_mu^i T^i_{rm weak} + ig' Y B_mu

Тогда кинетический фермионный лагранжиан:

mathcal{L}_{rm фермионы} = sum_{text{все фермионы}} bar{psi} igammacdot D psi

Важный момент: никаких произвольных объединений здесь нет. Структура bar{psi} gamma^mu A_mu psi полностью фиксируется симметрией — представлениями SU(3), SU(2), U(1)_Y.

То есть: как только выбрали, кто в каком представлении группы живёт, все калибровочные взаимодействия фиксированы. Свобода остаётся только в численных значениях констант g_s, g, g'.

Паули и фермионный газ в Стандартной модели

Каждый фермион — спин-1/2. Значит, всё, что разобрано про принцип Паули, напрямую относится к кваркам и лептонам. Их поля антикоммутирующие. Их спектр Фока устроен так, что каждый квантовый режим (набор mathbf{p}, спин, цвет, аромат, SU(2), Y) может быть занят 0 или 1 раз.

В кварковой материи и в электронном газе это выливается в вырождение Ферми. Электроны в металле заполняют все состояния до уровня Ферми. Нейтронный газ в звёздах поддерживает давление вырождения. Ничего из этого не нужно вводить отдельно: это просто применение антисимметрии и грассмановой структуры.

В Стандартной модели это проявляется везде: в статистике фермионов на коллайдерах, в термодинамике плазмы, в стабильности обычной материи. Не уделяем этому много места в обзорах СМ, потому что это «старый кусок квантовой механики». Но с точки зрения нашего цикла важно видеть: фермионный сектор — это огромная «машина Паули», запущенная на группах Стандартной модели.

Три поколения: структура ароматов

Стандартная модель имеет три поколения фермионов. С точки зрения симметрий все три поколения имеют одинаковые представления SU(3) times SU(2) times U(1). Различия — только в массовых параметрах и смешиваниях (CKM/PMNS).

Это значимая недосказанность Стандартной модели. Почему три, а не два или четыре — экспериментально установлено, но не теоретически объяснено. Почему юкавские матрицы именно такие — масса t огромная, e маленькая, нейтрино почти безмассовые — вопрос для следующей ступени теории.

В нашем каркасе видим это так: симметрии задают форму фермионного сектора, но численные значения юкавских констант и число поколений остаются входными параметрами Стандартной модели.

В дальнейшем, в разделе про аномалии и ароматы, покажем, что не всё там произвольно: сочетание аномалий и феноменологии жёстко фильтрует допустимые варианты. Но полностью вывести три поколения пока не умеет ни одна теория.

Маленький мостик вперёд: масса, Хиггс и Юкава

Пока фермионы безмассовы:

mathcal{L}_{rm фермионы} = bar{psi}_L igammacdot D psi_L + bar{psi}_R igammacdot D psi_R

Как только захотим ввести массу mbar{psi}psi = m(bar{psi}_L psi_R + bar{psi}_R psi_L), нужно соединить левый и правый компонент, которые трансформируются по-разному под SU(2) times U(1)_Y, и не разрушить калибровочную симметрию.

Это выглядит как невозможная задача, пока не вводим дублет Хиггса Phi, который сам живёт в (mathbf{1}, mathbf{2}, Y_Phi). Тогда юкавские термы вида

mathcal{L}_Y = -y_e bar{L}_L Phi e_R + text{h.c.} + ldots

могут быть калибровочно-инвариантны. Когда Хиггс берёт вакуумное среднее langlePhirangle neq 0, эти юкавские связи превращаются в реальные массы.

То есть уже видно: фермионы не могут получить массу из ниоткуда; им нужна структура (Хиггс + Юкава), согласованная с симметриями. Этот момент — мост от чистой симметрии к реальной физике масс. Ему посвятим следующую главу целиком.

Что унести из этой главы

В концентрате: фермионы Стандартной модели — это спин-1/2 поля, живущие в представлениях SU(3) times SU(2) times U(1)_Y. Левый и правый компоненты трансформируются по-разному, что важно для слабого взаимодействия и масс. Их калибровочные взаимодействия полностью фиксируются симметриями — лагранжиан bar{psi} igammacdot Dpsi сам зашивает все зарядно-силовые связи. Принцип Паули и грассманова природа этих полей — не отдельный постулат, а структурное следствие прошлого материала. Числа поколений и значения масс/смешиваний — всё ещё открытая территория, но теперь уже на фоне чётко определённой структуры, а не в пустоте.

В следующей главе займёмся Хиггсом: не просто знакомым бозоном массой 125 ГэВ, а понятием спонтанного нарушения симметрии. Покажем, как из SU(2) times U(1)_Y получается U(1)_{rm EM}, как W и Z получают массы, фотон остаётся безмассовым, фермионы приобретают массу через юкавские связи, и как всё это связано с тем же BRST и призрачной гигиеной, чтобы теория не рухнула под весом своей калибровочной избыточности.

Глава 5. Хиггс: как дать массу и не порвать симметрию

Уже собрали калибровочный скелет: три группы SU(3) times SU(2) times U(1)_Y, соответствующие им поля-связи — глюоны G_mu^a, слабые W_mu^i, гиперзарядный B_mu, и фермионы — кварки и лептоны в своих представлениях.

На этом этапе у нас красивая, симметричная, но неправильная теория. Все калибровочные поля безмассовы. Все фермионы тоже безмассовы — массовый терм mbar{psi}psi ломает калибровку. А природа тычет в лицо W, Z, электрон, u, d, c, s, b, t с конкретными массами.

Нужно решить задачу: как дать массы W/Z и фермионам, сохранив при этом калибровочную структуру и хорошее ультрафиолетовое поведение теории?

Наивный ответ — давайте просто добавим в лагранжиан термы Проки m^2 W_mu W^mu и mbar{psi}psi — не подходит. Для векторов явные m^2 W_mu W^mu ломают калибровочную инвариантность, а вместе с ней перенормируемость и аккуратную структуру поляризаций. Для фермионов mbar{psi}psi не инвариантно под SU(2) times U(1)_Y, если левые и правые компоненты трансформируются по-разному — а в Стандартной модели именно так.

Решение оказалось неожиданно изящным: спонтанное нарушение симметрии и механизм Хиггса. Разберём это постепенно: сначала на игрушечном примере, затем на реальной электрослабой группе.

Глобальная U(1) и мексиканская шляпа: от симметрии к голдстоуну

Начнём с самой простой ситуации: глобальная U(1)-симметрия и комплексный скаляр phi.

Лагранжиан:

mathcal{L} = |partial_muphi|^2 - V(phi), quad V(phi) = mu^2 |phi|^2 + lambda |phi|^4

Два случая. Если mu^2 > 0, минимум потенциала в phi = 0 — классическая сфера без шляпы. Если mu^2 < 0, минимум не в нуле, а по кольцу: |phi|^2 = -mu^2/(2lambda) equiv v^2/2. Это и есть знаменитая мексиканская шляпа.

Второй случай интересен. Симметрия потенциала — вращения phi to e^{ialpha}phi — остаётся, но минимум выбирает конкретную точку на кольце. Это и называется спонтанным нарушением симметрии: законы симметричны, но выбранное состояние (вакуум) — нет.

Разложим phi вокруг точки на кольце:

phi(x) = frac{1}{sqrt{2}}big(v + H(x) + iG(x)big)

Подставляем в лагранжиан и смотрим. Поле H(x) получает массу sim sqrt{-2mu^2} — это радиальное колебание, хиггсоподобное. Поле G(x) остаётся безмассовым — это фазовое колебание вдоль кольца, голдстоуновский бозон.

Голдстоуновская теорема говорит: у всякой непрерывной глобальной симметрии, которую вакуум спонтанно ломает, должен появляться безмассовый бозон.

Это пока не про W/Z, а про идеологию: можно иметь массу для одной комбинации полей, не ломая симметричный вид уравнений — если неявно сломать сам вакуум.

Локальная U(1): механизм Хиггса в игрушечной электродинамике

Теперь сделаем симметрию локальной: phi(x) to e^{ialpha(x)}phi(x), вводим калибровочное поле A_mu, D_mu = partial_mu + igA_mu, действуем:

mathcal{L} = -frac{1}{4}F_{munu}F^{munu} + |D_muphi|^2 - V(phi)

Потенциал всё тот же мексиканский. Когда mu^2 < 0, phi получает вакуумное среднее v/sqrt{2}. Разложим, как прежде:

phi(x) = frac{1}{sqrt{2}}(v + H(x))e^{itheta(x)/v}

Теперь магия: калибровочная свобода позволяет нам удалить theta(x). Делаем локальное преобразование alpha(x) = -theta(x)/v. Фаза исчезает из phi, а её градиент переезжает в A_mu, давая ему массу.

В результате калибровочное поле A_mu становится массивным: в лагранжиане появляется frac{1}{2}g^2v^2 A_mu A^mu. Голдстоуновский бозон theta(x) исчезает из спектра — он съеден поляризациями A_mu: вместо двух поперечных поляризаций безмассового вектора получаем три (добавляется продольная) для массивного. Остаётся одно скалярное поле H(x) — это поле Хиггса.

Это и есть механизм Хиггса в абелевой теории: спонтанно нарушаем локальную симметрию, голдстоуновский бозон становится продольной поляризацией калибровочного поля, вектор получает массу, остаётся один физический скаляр.

Хорошие новости: симметрия лагранжиана в смысле BRST/калибровки по-прежнему есть, уравнения имеют приличное ультрафиолетовое поведение, теория остаётся перенормируемой. Плохие — пока это игрушка. В реальности нам нужно сделать это для SU(2) times U(1)_Y, чтобы из трёх слабых W^i и B_mu получить W^pm, Z и gamma.

Хиггс в электрослабой теории: дублет, который всё меняет

В Стандартной модели Хиггс — это комплексный дублет по SU(2), с гиперзарядом Y_Phi:

Phi = begin{pmatrix} phi^+ \ phi^0 end{pmatrix}, quad Phi sim (mathbf{1}, mathbf{2}, Y_Phi)

Выбирают Y_Phi = 1, чтобы обеспечить правильные заряды. Потенциал:

V(Phi) = mu^2 Phi^daggerPhi + lambda(Phi^daggerPhi)^2

Опять два случая. Если mu^2 > 0, минимум при Phi = 0, симметрия SU(2) times U(1)_Y не нарушена, калибровочные поля безмассовы. Если mu^2 < 0, минимум на сфере Phi^daggerPhi = v^2/2. Выбираем северный полюс:

langlePhirangle = frac{1}{sqrt{2}}begin{pmatrix} 0 \ v end{pmatrix}

Это и есть спонтанное нарушение SU(2) times U(1)_Y to U(1)_{rm EM}.

Разложим Хиггс вокруг этого вакуума:

Phi(x) = frac{1}{sqrt{2}}begin{pmatrix} 0 \ v + h(x) end{pmatrix}

после подходящего выбора калибровки — так называемая унитарная калибровка, где голдстоуновские бозоны уже съедены W/Z. Здесь h(x) — реальное скалярное поле, будущий физический Хиггс.

Массыи, фотон и смешивание и

До Хиггса кинетический терм для Хиггса и калибровок:

mathcal{L}_Phi = (D_muPhi)^dagger(D^muPhi), quad D_mu = partial_mu + igfrac{sigma^i}{2}W_mu^i + ig'frac{Y_Phi}{2}B_mu

Подставляем Phi = (0, frac{v+h}{sqrt{2}})^T. Терм с одним v и двумя калибровочными полями даёт матрицу масс для них. После нехитрой алгебры получаем заряженные комбинации:

W_mu^pm = frac{1}{sqrt{2}}(W_mu^1 mp iW_mu^2), quad m_W = frac{gv}{2}

Нейтральные комбинации — смесь W_mu^3 и B_mu. Определяем:

Z_mu = costheta_W W_mu^3 - sintheta_W B_muA_mu = sintheta_W W_mu^3 + costheta_W B_mu

где угол Вайнберга tantheta_W = g'/g.

Массы:

m_Z = frac{v}{2}sqrt{g^2 + g'^2}, quad m_gamma = 0

То есть W^pm и Z получают массы, фотон A_mu остаётся безмассовым, электрический заряд выражается через g, g', theta_W:

e = gsintheta_W = g'costheta_W

Мы достигли цели: спонтанно нарушив SU(2) times U(1)_Y вакуумом Хиггса, сохранили одну несломленную U(1)_{rm EM}, оставили фотон безмассовым, а слабые векторы сделали массивными, не разрушив калибровочную структуру и перенормируемость.

Массы фермионов: юкавские связи как мост между левыми и правыми

Возвращаемся к фермионному лагранжиану. Калибровочно-инвариантный голый терм:

mathcal{L}_{rm fermion} = bar{psi}_L igammacdot Dpsi_L + bar{psi}_R igammacdot Dpsi_R

Массовый терм вида mbar{psi}psi = m(bar{psi}_Lpsi_R + bar{psi}_Rpsi_L) сам по себе не инвариантен под SU(2) times U(1)_Y, потому что psi_L и psi_R трансформируются по-разному. Нужен объект, который соединяет левое и правое, сам будучи в нужном представлении — это и есть Хиггс.

Для одного поколения лептонов юкавский лагранжиан:

mathcal{L}_Y = -y_e bar{L}_L Phi e_R + text{h.c.}

Проверка: L_L — дублет по SU(2), Phi — дублет по SU(2), их тензорное произведение содержит синглет. Гиперзаряды подобраны так, что сумма Y(L_L) + Y(Phi) + Y(e_R) = 0 — значит, терм инвариантен под U(1)_Y. Под SU(3) всё тривиально — лептоны бесцветные.

Когда Phi берёт вакуумное среднее langlePhirangle = (0, v/sqrt{2})^T, юкавская связь превращается в:

mathcal{L}_Y supset -frac{y_e v}{sqrt{2}}bar{e}_L e_R + text{h.c.} = -m_ebar{e}e, quad m_e = frac{y_e v}{sqrt{2}}

Аналогично для кварков:

mathcal{L}_Y supset -y_dbar{Q}_LPhi d_R - y_ubar{Q}_Ltilde{Phi}u_R + text{h.c.}

где tilde{Phi} = isigma^2Phi^*. После вакуумного среднего:

m_u = frac{y_u v}{sqrt{2}}, quad m_d = frac{y_d v}{sqrt{2}}

Вывод: фермионные массы в Стандартной модели — это не отдельные параметры, а юкавские константы, умноженные на одно и то же v. Сам факт наличия массы согласован с симметриями только благодаря Хиггсу.

BRST и Хиггс: почему не рушится калибровочная гигиена

Важно понимать: механизм Хиггса не ломает калибровку; он ломает симметрию вакуума, не лагранжиана. BRST-симметрия по-прежнему существует.

Поля W/Z получают массы — но их продольные моды приходят из съеденных голдстоуновских полей. В лагранжиане фиксации калибровки по-прежнему есть призраки слабых и гиперзарядных полей. BRST-заряд строится уже с учётом Хиггса, но всё та же нильпотентная структура (Q^2 = 0) обеспечивает выкидывание нефизических пар.

То есть на уровне физики говорим «симметрия сломана», на уровне формализма (BRST, призраки) — наоборот, всё устроено так, чтобы учёт симметрии был до конца честным, просто она реализуется спонтанно.

Это тонкое, но критически важное различие, особенно для перенормируемости и гравитации.

Что Хиггс объясняет — и чего он не объясняет

Здесь нужно быть честными.

Механизм Хиггса объясняет, почему можно иметь массивные W/Z, не разваливая калибровочную структуру и добросовестную BRST-инвариантность. Почему фотон остаётся безмассовым. Как массу фермионов можно вписать в калибровочную теорию. И почему все массы примерно одного порядка sim v (с поправкой на Юкаву).

Но Хиггс не объясняет, почему юкавские константы именно такие — почему m_t sim 173 ГэВ, а m_e sim 0.511 МэВ. Почему три поколения, а не другое число. Почему сам параметр mu^2 и v имеют такие значения — проблема иерархии. Почему потенциал Хиггса такой, а не иной.

Это те вопросы, где Стандартная модель заканчивается и начинается территория надстроек — теорий великого объединения, суперсимметрии, струн, флейворных симметрий. В рамках нашего цикла позже к ним вернёмся, но сейчас фиксируем: Хиггс решает проблему формы, но не проблемы чисел.

Куда дальше

В этой главе увидели на игрушке U(1) идеологию спонтанного нарушения. Перенесли её в реальный SU(2) times U(1)_Y: дублет Хиггса, вакуумное среднее, W/Z массивные, фотон безмассовый. Увидели, как фермионы получают массу через Юкаву, не ломая калибровку. Отметили, что BRST и призраки продолжают выполнять свою работу за кадром.

Дальше по плану — аномалии и перенормировка. В следующей главе поговорим про аномалии: когда симметрия, казалось бы, есть в классическом лагранжиане, но исчезает при квантовании — и почему это для калибровок смертельно. Затем — про ренормгруппу: как константы связей Стандартной модели бегут с энергией, как близко они подходят к унификации, и почему это всё подталкивает к идее, что над СМ есть что-то ещё.

Стиль тот же: от понятия к формуле к физическим следствиям к связи с нашим большим каркасом — информация, симметрии, гравитация.

Глава 6. Аномалии: когда симметрия ломается квантованием — и почему Стандартной модели это нельзя

До сих пор симметрии вели себя идеально: объявили SU(3) times SU(2) times U(1)_Y, написали калибровочные поля, ввели фермионы и Хиггс, и все эти преобразования выглядели безупречно на уровне лагранжиана. Но квантовая теория поля умеет подбрасывать сюрпризы: симметрия классического действия не обязана пережить переход к квантованию.

Этот эффект называют аномалией. Иногда аномалия — просто любопытная особенность, например, аномальный распад pi^0 to 2gamma. Но если аномалия заедает калибровочную симметрию — всё, теория рушится: нарушается сохранение тока, BRST отказывается быть нильпотентным, пропадает унитарность.

Стандартная модель замечательна тем, что все опасные аномалии в ней таинственным образом сокращаются — причём это не чудо, а очень жёсткое условие на набор фермионов и их зарядов. Разберёмся, что это значит.

Что такое аномалия в двух словах

Есть два уровня симметрии. Классический: смотрим на лагранжиан mathcal{L}, видим инвариантность deltamathcal{L} = partial_mu K^mu; по Нётер — сохранённый ток J^mu, partial_mu J^mu = 0. Квантовый: считаем функциональный интеграл intmathcal{D}Phi, e^{iS}, диаграммы Фейнмана, петли — и вдруг обнаруживаем, что консервация тока в среднем ломается:

partial_mu langle J^mu(x) rangle neq 0

Это и есть аномалия: симметрия, которая есть в классической формулировке, но нарушается квантовыми поправками, обычно из-за поведения интегралов в ультрафиолете.

Классический, очень важный пример — аксиальная аномалия в КЭД/КХД: классический ток аксиальной симметрии bar{psi}gamma^mugamma_5psi казался сохранённым, но треугольная диаграмма с двумя фотонами даёт

partial_mu J_5^mu sim F_{munu}tilde{F}^{munu}

и это реальный физический эффект: pi^0 to 2gamma.

Такой аномалии можно не бояться, если она касается глобальной симметрии: просто говорим «квантовая теория её ломает». Но для калибровочных симметрий — это яд.

Почему калибровочные аномалии недопустимы

Калибровочная симметрия — это не просто красивый набор преобразований. Она обеспечивает сохранение заряда через тождества Уорда/Славнова-Тейлора, делает уравнения перенормируемыми, обеспечивает унитарность — правильную структуру поляризаций, отсутствие лишних степеней свободы через BRST.

Если калибровочный ток J^mu_a получает аномалию:

partial_mu langle J^mu_a rangle sim frac{1}{16pi^2} d^{abc} F^b_{munu} tilde{F}^{cmunu}

то сразу несколько бед. Нарушается инвариантность действия под калибровочными преобразованиями — калибровка больше не симметрия. BRST-заряд перестаёт быть нильпотентным (Q_{rm BRST}^2 neq 0) — теряется чёткое разделение физических и нефизических состояний. S-матрица становится калибровочно-зависимой и, как правило, неунитарной.

Грубо говоря, если векторное калибровочное уравнение перенормировки подтянуло никакой аномалии, теория просто саморазрушается.

Отсюда жёсткое требование: все чисто калибровочные аномалии и смешанные (калибровка-гравитация) аномалии должны точно сокращаться.

Виды аномалий, которые нужно проверять в Стандартной модели

В четырёхмерии основная угроза — треугольные диаграммы: одна вершина — ток исследуемой симметрии, две другие — калибровочные поля. Для набора калибровок SU(3) times SU(2) times U(1)_Y возможны следующие комбинации.

[U(1)_Y]^3 — кубическая аномалия гиперзаряда. SU(2)^2 U(1)_Y — две слабые и одна гиперзарядная вершины. SU(3)^2 U(1)_Y — две цветовые и одна гиперзарядная. Смешанные гравитационные: text{grav}^2 U(1)_Y — две гравитационные вершины, одна гиперзарядная. Виттеновская аномалия для SU(2): возможна глобальная аномалия, если число слабых дублетов нечётно.

Каждая аномалия — сумма вкладов от всех фермионов. Символически:

mathcal{A} sim sum_{text{фермионы}} operatorname{Tr}big(T_a {T_b, T_c}big)

где T_a — генераторы соответствующих симметрий (групп Ли) в представлении данного фермиона, включая Y.

Для безаномальной теории все эти суммы должны точно равняться нулю.

Магия дробных зарядов: аномалии как уравнения на гиперзаряды

Теперь появляется красота: та самая таинственная система дробных гиперзарядов в Стандартной модели — это не что придумал Бог, а решение системы диофантовых уравнений на отмену аномалий.

Пример: рассмотрим один поколенческий набор фермионов СМ. Лептоны: L_L = (nu, e)_L sim (mathbf{1}, mathbf{2}, Y_L) и e_R sim (mathbf{1}, mathbf{1}, Y_e). Кварки: Q_L = (u, d)_L sim (mathbf{3}, mathbf{2}, Y_Q), u_R sim (mathbf{3}, mathbf{1}, Y_u) и d_R sim (mathbf{3}, mathbf{1}, Y_d).

Векторные гиперзаряды должны удовлетворять целой системе уравнений. [SU(3)]^2 U(1)_Y: сумма Y по всем цветным левым и правым фермионам с соответствующими множителями должна быть нулём. [SU(2)]^2 U(1)_Y: сумма Y по всем слабым дублетам равна нулю. [U(1)_Y]^3: сумма Y^3 по всем фермионам равна нулю. text{grav}^2 U(1)_Y: сумма Y по всем фермионам равна нулю. Виттеновская аномалия для SU(2): число слабых дублетов должно быть чётным с учётом цвета.

Это целая система уравнений. При рутинной проверке оказывается, что набор

Y_Q = frac{1}{3}, quad Y_u = frac{4}{3}, quad Y_d = -frac{2}{3}, quad Y_L = -1, quad Y_e = -2

её удовлетворяет. А подавляющее большинство красивых наборов — нет.

И это не утренняя медитация теоретика, это конкретные суммы по представлениям. Смещаешь хоть один гиперзаряд — и какая-нибудь из аномалий перестаёт сокращаться.

Отсюда важный вывод: Стандартная модель — не просто произвольный списочек представлений. Её дробные гиперзаряды — решения уравнений на обнуление аномалий.

Виттеновская аномалия и чётное число дублетов

Есть ещё одна, менее видимая, но критичная проверка — так называемая аномалия Виттена для SU(2). Она не треугольная, а глобальная: задаётся топологией группы, и её можно сформулировать так: теория SU(2) с нечётным числом левых дублетов аномальна.

В Стандартной модели на поколение: кварковых SU(2)-дублетов три — по одному на каждый цвет, лептонный — один. Итого четыре дублета на поколение. Умножаем на три поколения — всё равно чётно (двенадцать). Виттеновская аномалия не возникает. Если бы число дублетов было нечётным — теория была бы неконсистентна вне ультрафиолета.

Это ещё одна магия Стандартной модели: число поколений и структуру дублетов нельзя менять произвольно. Даже если не требовать специальных вкусных GUT-сценариев, просто соблюдение глобальных и локальных аномалий уже ставит рамки.

BRST и аномалии: формула «нильпотентность ломается ⇒ Q² ≠ 0»

В BRST-языке аномалия говорит следующее. В безаномальной теории полная BRST-симметрия сохранена даже на квантовом уровне: оператор Q_{rm BRST} остаётся нильпотентным (Q^2 = 0), его кохомология задаёт физическое пространство состояний. Аномалия в калибровочной симметрии проявляется как дефект в консервации BRST-тока: partial_mu J^mu_{rm BRST} neq 0. Это приводит к тому, что Q^2 neq 0 на квантовом уровне.

Проще говоря: если аномалия есть, то нельзя аккуратно разделить состояние на физическое и нефизическое BRST-проектором. Нефизические моды начинают протекать в физический сектор, и теория теряет унитарность (начинает зависеть от скрытых переменных).

Поэтому смотри, как красиво. Принцип Паули убирал из пространства состояний то, чего там не должно быть — два фермиона в одном состоянии. Призраки и BRST убирали лишнее, связанное с калибровочной избыточностью. Аномалии — это места, где BRST начинает течь; они делают невозможной стандартную гигиену, и поэтому их нужно обнулять.

Стандартная модель — одна из тех редких теорий, где всё это чудесным образом сходится: в ней можно построить или восстановить корректный BRST, потому что все аномалии калибровки убираются в ноль.

Где аномалии — друг, а где — враг

Важно не демонизировать слово «аномалия». Она бывает другом, когда речь идёт о глобальной симметрии. Аксиально аномальный ток в КХД объясняет распад pi^0 to 2gamma. U(1)_A-аномалия помогает понять, почему eta' такая тяжёлая. Аномалии несут топологическую информацию о вакууме, барионных и лептонных числах.

Но она бывает врагом, когда затрагивает калибровочную симметрию. Ломает сохранение заряда. Нарушает BRST. Делает теорию нефизической — оторванной от реальности.

В Стандартной модели как раз запрещены только те аномалии, которые обязаны быть нулевыми — калибровочные. Остальные допустимы и даже полезны.

Что унести из этой главы

Кратко: аномалия — это несовпадение классической и квантовой симметрий. Для глобальных симметрий это может быть просто особенность или интересный эффект. Для калибровочных симметрий аномалия убивает теорию. Её отсутствие — жёсткое требование к Стандартной модели. Дробные гиперзаряды и структура представлений СМ не случайны; они — решения уравнений на отмену аномалий. BRST — чувствительный детектор аномалий: если Q^2 neq 0, мы не можем корректно построить физическое пространство состояний.

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

В следующей главе логично перейти к ренормгруппе: как калибровочные константы Стандартной модели бегут с энергией, почему КХД становится слабой на малых расстояниях, а электрослабая — наоборот, и почему это заставляет думать, что над Стандартной моделью существует ещё более высокий уровень — теории великого объединения, струны, что-то ещё. То есть как аномалии, BRST и бегущие константы вместе подталкивают к идее, что СМ — эффективная теория, а не конечный ответ.

Глава 7. Бегущие константы: как Стандартная модель рассыпается по шкале энергии

До сих пор описывали Стандартную модель как статичную конструкцию. Вот три группы SU(3) times SU(2) times U(1)_Y. Вот калибровочные поля G_mu, W_mu, B_mu. Вот фермионы и Хиггс, вот их представления и заряды. Вот юкавские константы, дающие массы.

Но квантовая теория поля напоминает: числа в лагранжиане зависят от того, при каком энергетическом масштабе вы смотрите. Константы связи плывут с изменением mu — это и есть ренормгруппа.

С точки зрения физики это означает: Стандартная модель на 100 МэВ и та же СМ на 10 ТэВ — это чуть разные теории, связанные плавной деформацией параметров (из-за того, что Стандартная Модель — эффективная теория поля).

И главное — форма этой деформации говорит очень много. Почему КХД становится слабой на малых расстояниях. Почему электрослабые взаимодействия, наоборот, подбирают вес. И почему, внимательно всматриваясь в формы бета-функций, мы почти видим намёк на унификацию при высоких энергиях — как будто за Стандартной моделью стоит ещё одна, большая симметрия.

Ренормгруппа как масштабный навигатор

В любой квантовой теории поля, когда заворачиваете диаграммы Фейнмана с петлями, возникает вопрос: что делать с ультрафиолетовыми бесконечностями? Стандартный ответ — ренормировка. Вводите некие сырые (bare) параметры g_0, m_0, lambda_0. Определяете измеряемые величины g(mu), m(mu), lambda(mu) при некотором масштабе mu — условии нормировки. И всё, что можно измерить, выражается через эти эффективные параметры, зависящие от mu.

В итоге получается набор уравнений:

mufrac{partial g}{partial mu} = beta(g), quad mufrac{partial m}{partial mu} = gamma_m(g, ldots) m, ldots

Это бета-функции и аномальные размерности.

Интуитивно: ренормгруппа — это способ спросить: «Если я смотрю на мир через микроскоп с другим увеличением, как нужно перенастроить ручки теории, чтобы описывать те же наблюдаемые?» Изменение масштаба энергии — это смена точки зрения; бета-функции говорят, насколько ткани теории чувствительны к этой смене.

Три калибровочные константы: , ,

В Стандартной модели есть три калибровочные константы. g_3 — сила цвета (КХД, SU(3)). g_2 — слабая связь (SU(2)). g_1 — связь гиперзаряда (U(1)_Y).

Удобнее говорить о безразмерных альфах:

alpha_i(mu) = frac{g_i^2(mu)}{4pi}, quad i = 1, 2, 3

Они зависят от mu. Приближённо, на одном петлевом уровне, бета-функции имеют вид:

mufrac{dalpha_i}{dmu} = -b_i frac{alpha_i^2}{2pi}

где коэффициенты b_i зависят от содержания полей — числа фермионов, скаляров — и сверх того от группы.

Ключевой факт. Для SU(3) (КХД) b_3 > 0, поэтому alpha_3(mu) уменьшается при росте mu. Это асимптотическая свобода: на малых расстояниях кварки взаимодействуют слабо, на больших — связь растёт, и возникает конфайнмент, нет свободных кварков и глюонов. Для SU(2) и U(1)_Y картина обратная при содержимом Стандартной модели: связи растут при увеличении энергии.

Это не абстракция — это измеряемые эффекты. alpha_s(mu) точно измеряется на коллайдерах: её значение на масштабе массы Z — один из самых точных параметров СМ. В электрослабой части зависимости видны в точных измерениях слабых процессов и в астрофизике.

Асимптотическая свобода КХД: почему кварки почти свободны на больших энергиях

Один из красивейших результатов — в КХД alpha_3(mu) убывает логарифмически с ростом mu. Грубо:

alpha_3(mu) approx frac{1}{b_3 ln(mu^2/Lambda_{rm QCD}^2)}

где Lambda_{rm QCD} sim 200 МэВ — масштаб, на котором связь становится сильной.

Физически: при mu gg Lambda_{rm QCD}, то есть при больших энергиях и малых расстояниях, alpha_3 маленькая — кварки ведут себя как почти свободные. Это противоположность наивному ожиданию. При mu sim Lambda_{rm QCD} связь становится порядка единицы и больше; там пертурбативный расчёт ломается, и мы видим явление конфайнмента: кварки заперты в адронах.

Это напрямую связано с нелинейной структурой Янга-Миллса — само-взаимодействием глюонов. Калибровочная структура не только задаёт спектр, но и отвечает за очень специфическое поведение сил с масштабом.

Электрослабая часть: плавная смена лица и унификация

Для SU(2) и U(1)_Y бета-функции другие, и их решение говорит, что alpha_2(mu) и alpha_1(mu) растут с увеличением энергии. График alpha_i^{-1}(mu) — обратных констант — показывает, что три линии сходятся при больших mu, но в чистой Стандартной модели не в одной точке.

Если нарисовать alpha_3^{-1}, alpha_2^{-1}, alpha_1^{-1} как функции lnmu, то на низких энергиях они сильно различаются: сильное взаимодействие явно сильнее, чем электромагнитное. Ближе к 10^{15}10^{16} ГэВ линии почти пересекаются.

Это вдохновило классические сценарии теорий великого объединения: предположение, что на очень высоких энергиях есть одна большая группа G_{rm GUT} — например, SU(5) или SO(10) — которая при понижении энергии спонтанно ломается до SU(3) times SU(2) times U(1)_Y Стандартной модели. А несовпадение линий в чистой СМ — артефакт того, что мы забыли о новых полях, например, суперпартнёрах в суперсимметрии.

В суперсимметричных моделях типа MSSM действительно видно, что унификация трёх констант связи становится красивее: линии пересекаются в одной точке. Это не доказательство, но очень внушительный намёк.

Стандартная модель как эффективная теория

Все эти убегания констант говорят одно: Стандартная модель — это эффективная теория поля, валидная до некоторого масштаба Lambda, выше которого появляется новая физика.

Операторы размерности 4 и меньше, перенормируемые — это асимптотически видимые на низких энергиях. Операторы размерности 5 и выше подавлены некоторым масштабом Lambda. Например, оператор (LH)(LH)/Lambda — вайнберговский оператор размерности 5 — даёт майорановские массы для нейтрино. Операторы с четырьмя кварками или лептонами с дополнительными объёмными факторами — возможные проявления новых взаимодействий.

Если смотреть глазами эффективной теории, СМ — полная в смысле всех операторов размерности leq 4, согласованная без аномалий локальная квантовая теория поля с указанной группой симметрий и содержанием полей. Всё, что мы добавляем на масштабе mu gg v, будет проявляться как малые деформации лагранжиана первичными операторами размерности больше 4.

Ренормгруппа здесь — организатор: она говорит, как новые эффекты просачиваются на низкие масштабы.

Мост к гравитации и теории всего

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

С учётом ренормгруппы картина обретает полноту. Ниже некоторого масштаба Lambda_{rm SM} мир действительно описывается СМ + ОТО. Рост констант, особенно в U(1) и слабом секторе, плюс поведение гравитационной константы на высоких энергиях указывают на то, что нельзя просто бесконечно продолжать те же законы. Требование самосогласованности — аналог c_{rm tot} = 0 и нулевых бета для сигма-моделей — в струнной и голографической картине может интерпретироваться как новые условия целостности. Не только для гравитации, но и для калибровочного и фермионного контента.

То есть ренормгруппа — не только технический инструмент, но и стрелка компаса, показывающая: вот здесь СМ ещё работает как есть, вот тут — явно просится новое описание.

Что унести из этой главы

В плотном виде. Константы связей Стандартной модели бегут: КХД становится слабой при больших mu — асимптотическая свобода, а электрослабый сектор наоборот подбирает силу. График alpha_i^{-1}(mu) показывает почти-унификацию; с дополнительными полями — суперсимметрия, струны — унификация становится более естественной. СМ — эффективная теория, в которой всё выше некоторого масштаба Lambda выглядит как поправки, организованные ренормгруппой. Эта перспектива эффективной теории — мост к струнной и голографической картине: там условия конформности и консистентности играют роль ультра-бета-функций, которые заставляют теорию быть целостной при всех масштабах.

Дальше в цикле логично сделать финальную главу именно для цикла про Стандартную модель: собрать воедино симметрии, поля, Хиггс, аномалии и ренормгруппу как единый объект — Стандартная модель как язык симметрий и информации. А потом перейти к следующему блоку: гравитация, космология, тёмная материя и энергия, сингулярности, но уже с опорой на пройденный в цикле путь.

Глава 8. Стандартная модель как язык симметрий (и почему этого всё ещё мало)

Начали этот цикл с довольно простой амбиции: перестать видеть Стандартную модель как случайный зоопарк частиц и посмотреть на неё так же, как смотрели на квантовую механику и призраков — через линзу информации и симметрий.

Сейчас, после семи глав, картинка стала гораздо яснее. Давайте аккуратно её соберём.

Из чего она построена — в одном кадре

Симметрии делятся на внешнюю и внутреннюю. Внешняя — Пуанкаре — отражает структуру пространства-времени: однородность, изотропию, специальную относительность. Внутренняя — SU(3) times SU(2) times U(1)_Y — отражает внутреннюю геометрию цвета, слабого изоспина и гиперзаряда.

Поля включают калибровочные: восемь глюонов G_mu^a для цвета SU(3), три слабых W_mu^i для SU(2), один гиперзарядный B_mu для U(1)_Y. Фермионы: кварки — шесть ароматов по три цвета, левые дублеты, правые синглеты; лептоны — три поколения, левые дублеты, правые заряженные синглеты. И скаляр — дублет Хиггса Phi.

Структура лагранжиана:

mathcal{L}_{rm SM} = mathcal{L}_{rm gauge} + mathcal{L}_{rm fermion} + mathcal{L}_{rm Higgs} + mathcal{L}_{rm Yukawa}

где mathcal{L}_{rm gauge} содержит -frac{1}{4}G^2 - frac{1}{4}W^2 - frac{1}{4}B^2, mathcal{L}_{rm fermion} — это bar{psi} igammacdot Dpsi для всех фермионов, mathcal{L}_{rm Higgs} включает |DPhi|^2 - V(Phi), а mathcal{L}_{rm Yukawa} — юкавские связи вида -ybar{psi}_L Phi psi_R + text{h.c.}

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

Что фиксируют симметрии, а что остаётся руками

Отдельно полезно разделить, что жёстко фиксируется и что остаётся параметрами.

Жёстко фиксируется

Группа симметрии, которую мы приняли, определяет вид и количество калибровочных полей и их взаимодействий. Представления фермионов говорят, какие поля есть вообще — дублеты или синглеты, цветные или бесцветные. Калибровочная инвариантность полностью фиксирует форму кинетических и взаимодействующих термов: bar{psi} igammacdot Dpsi полностью фиксирован, F_{munu}F^{munu} фиксирован структурой группы.

Отмена аномалий диктует дробные гиперзаряды и структуру поколений. Кубическая [U(1)_Y]^3, SU(2)^2 U(1)_Y, SU(3)^2 U(1)_Y, гравитационная text{grav}^2 U(1)_Y, виттеновская аномалия для SU(2) — все эти суммы по представлениям должны равняться нулю, и это сильно режет пространство вариантов.

Механизм Хиггса и требование перенормируемости фиксируют вид потенциала V(Phi) = mu^2Phi^daggerPhi + lambda(Phi^daggerPhi)^2, механизм рождения масс W, Z и сохранения безмассового фотона. BRST-гигиена требует наличия призраков Фаддеева-Попова для каждой группы, структуры лагранжиана фиксации калибровки, разделения физического и нефизического пространства состояний.

Остаётся параметрами

Численные значения трёх калибровочных констант g_3, g_2, g_1 или alpha_s, alpha_W, alpha_Y. Параметры потенциала Хиггса mu^2, lambda — итоговое вакуумное среднее v и масса самого Хиггса. Юкавские матрицы для фермионов — массы и смешивания: 3 times 3 матрицы для каждого типа (верхние, нижние кварки, заряженные лептоны, возможно нейтрино), их диагонализация даёт спектр масс плюс матрицы CKM (матрица Кабиббо — Кобаяси — Маскавы) и PMNS (матрица Понтекорво — Маки — Накагавы — Сакаты). Тета-угол в КХД для сильного CP-нарушения — в СМ возможен, но наблюдаемо почти ноль, что само по себе проблема. Число поколений — в структуре СМ можно было бы представить и четвёртое поколение, но эксперимент его не видит.

Именно сюда будут приходить любые расширения Стандартной модели: теории великого объединения, суперсимметрия, струны, флейворные симметрии, модели тёмной материи. Две предыдущие статьи — теория всего и призрак Паули — задают общие принципы, по которым эти расширения должны играть.

Как в этом всём живёт принцип Паули и BRST-гигиена

В цикле про Паули и призраков построили общую картину. Фермионы дают антисимметрию, грассмановы поля, ограничение «один квант на состояние», стабильность материи. Калибровки дают призраков Фаддеева-Попова, BRST-оператор, выбрасывание избыточных степеней свободы. Струны дают bc- и βγ-призраков на мировом листе, снова BRST и баланс центрального заряда.

В Стандартной модели всё это происходит одновременно. Фермионный сектор полностью ферми-статистический: Паули держит электронный газ, вырождение звёзд, структуру атомов. Калибровочный сектор BRST-чистый: все калибровочные аномалии обнулены, симметрии честно реализованы. Массовый сектор с Хиггсом встроен так, чтобы калибровочная структура сохранилась в смысле BRST, сама конструкция Хиггса была перенормируемой, вакуум был устойчивым в пределах СМ.

Это невероятно откалиброванный объект. Но через наш язык это перестаёт быть страхом: видим, что Стандартная модель — это просто книга, написанная на алфавите симметрий, с двумя слоями цензуры. Паули-фильтр на фермионы и BRST-фильтр на калибровочную избыточность.

Бегущие константы: намёк на то, что это ещё не конец

Глава про ренормгруппу добавила важный штрих. Симметрии формируют скелет Стандартной модели. Бета-функции показывают, как этот скелет меняется с масштабом. КХД асимптотически свободна; SU(2), U(1) — наоборот, усиливаются. Три константы почти пересекаются при очень высокой энергии.

Это не доказательство, но сильно подталкивает к мысли: Стандартная модель — не финал, а слой. Над ней, скорее всего, есть ещё более симметричная теория — GUT, струны, что-то иное — которая в низкоэнергетическом лимите выглядит как СМ.

С точки зрения голографической и информационной картинки из первой статьи это логично. При разных масштабах видим разные эффективные геометрии. Перепутывание и структура гильбертова пространства меняются с масштабом. Высокоэнергетический предел может требовать полной струнной, конформной, голографической структурной целостности, а СМ — просто одно её сечение (в определенном диапазоне энергий для нашей конфигурации вакуума — а ведь есть и другие).

Как всё это сшивается с теорией всего и призраком Паули

Если свести три статьи в одну линию.

«Теория всего. From Zero to Hero»: от информации и амплитуд к симметриям, от симметрий к локальным полям, от 2D-CFT к струнам и гравитации, от голографии к формуле «энтропия = площадь + квантовая поправка».

«Призрак Паули»: от неразличимости к фермионам и принципу Паули, от калибровок к призракам Фаддеева-Попова и BRST, от bc/βγ-призраков к струнам, общая идея — структурная цензура состояний.

«Стандартная модель. От симметрий к кваркам»: от Пуанкаре × SU(3) times SU(2) times U(1)_Y к глюонам, W/Z, фотону, фермионам, Хиггсу; от BRST и аномалий к строгой консистентности СМ; от ренормгруппы к пониманию СМ как эффективной теории, которую нужно встроить в более общий каркас.

Ядро этих трёх текстов — одно и то же. Информация определяет допустимые формы симметрий и эволюции. Симметрии задают пространство состояний и полей. Квантовый формализм — Паули, BRST, аномалии — выбрасывает лишнее. А дальше уже геометрия и гравитация как эффективный и голографический язык этих внутренних структур.

Что дальше

Уже намечен следующий блок, и это логично. Гравитация и космология — ОТО как эффективная теория поля, горизонты, термодинамика, голография в AdS, попытки дотянуть это до де-Ситтера. Тёмная материя и тёмная энергия в терминах СМ + КТП + информации: тёмная материя как дополнительные поля или секторы, тёмная энергия как космологическая постоянная, энтропийный параметр или флуктуации причинного множества. Сингулярности, Большой взрыв и чёрные дыры — теоремы Пенроуза-Хокинга, информация в испаряющихся дырах, острова и квантовые экстремальные поверхности.

Все три блока — теория всего, Паули-призраки, Стандартная модель — уже подготовили язык для того, чтобы эти вопросы не болтались в воздухе, а ложились в существующий каркас.

В одном абзаце: Стандартная модель по-нашему

Если бы нужно было объяснить Стандартную модель в одну фразу читателю, дошедшему до этого места, я бы сказал так.

Стандартная модель — это не зоопарк, а минимальная квантовая калибровочная теория поля в четырёх измерениях, в которой внутренние симметрии SU(3) times SU(2) times U(1)_Y задают структуру и количество полей; калибровочная инвариантность и отсутствие аномалий жёстко фиксируют их представления и взаимодействия; фермионы подчиняются принципу Паули, а лишние калибровочные структуры вычищаются призраками Фаддеева-Попова и BRST; Хиггс даёт массы W/Z и фермионам, не разрушая калибровочную гигиену; и всё это вместе прекрасно описывает мир до масштабов, где начинают себя заявлять гравитация, тёмная материя, тёмная энергия и, возможно, струны.

И вот с этим багажом как раз готовы идти дальше — к гравитации, космологии и тому, что происходит за пределами Стандартной модели, не теряя ни плотности смысла, ни того стиля, который важен для понимания у читателя.

Спасибо, что дочитали до конца статьи, надеюсь вы так же получили порцию дофамина от узнавания чего-то нового или хорошо забытого старого. Формулы, конечно, кусаются, но я старался сделать стиль повествования так, чтобы они смотрелись больше как эстетичные иллюстрации, чем необходимые для понимания части. Еще раз — это самая сложная для понимания область науки за всю историю. Понимать ее основ — это довольно значимое достижение.

Источник: habr.com

❌ Нет тегов для этой статьи

Оцените материал:

Поделиться
Понравилась статья? Расскажите другим
ВКонтакте
Читайте также
Новости робототехники GM устанавливает роботов на своем флагманском заводе по производству электромобилей после увольнения 1300 сотрудников. Новости робототехники Mantis Robotics запускает робота двумя руками и без ограждения Новости робототехники Производитель гуманоидов Agility Robotics выйдет на рынок в результате слияния со SPAC Новости робототехники [Перевод] Как , пробежал полумарафон быстрее человека Новости робототехники Сами читают статьи и ставят видеокарты: Nvidia показала самообучающихся роботов ENPIRE Новости робототехники Роботы-уборщики с искусственным интеллектом покидают лаборатории и отправляются в гостиные Китая. Новости робототехники ExRobotics запускает сертифицированную UL инспекционную роботу для программной среды Новости робототехники Первая роботизированная буровая установка на материковой части России создана на базе российских программных продуктов IR-ПАК и IR-OPERBOT от РИГИНТЕЛ Архив рубрики ~Коротко из Telegram~ Google запускает собственную «мини-Википедию» для блогеров и создателей контента. Компания… Архив рубрики ~Коротко из Telegram~ Водители Tesla научились обманывать камеру слежения в салоне головой пластиковой… Архив рубрики ~Коротко из Telegram~ Главная компания ИИ-гонки не выпускает ни моделей, ни чипов ASML… Архив рубрики ~Коротко из Telegram~ DeepSeek-V4-Flash раздают бесплатно по API DeepSeek-V4-Flash временно открыли для бесплатного… Архив рубрики ~Коротко из Telegram~ ИИ помогает работать — и незаметно отучает работать самому Nature… Архив рубрики ~Коротко из Telegram~ GLM-5.2 залетела в дизайн и документы Новости робототехники GM устанавливает роботов на своем флагманском заводе по производству электромобилей после увольнения 1300 сотрудников. Новости робототехники Mantis Robotics запускает робота двумя руками и без ограждения Новости робототехники Производитель гуманоидов Agility Robotics выйдет на рынок в результате слияния со SPAC Новости робототехники [Перевод] Как , пробежал полумарафон быстрее человека Новости робототехники Сами читают статьи и ставят видеокарты: Nvidia показала самообучающихся роботов ENPIRE Новости робототехники Роботы-уборщики с искусственным интеллектом покидают лаборатории и отправляются в гостиные Китая. Новости робототехники ExRobotics запускает сертифицированную UL инспекционную роботу для программной среды Новости робототехники Первая роботизированная буровая установка на материковой части России создана на базе российских программных продуктов IR-ПАК и IR-OPERBOT от РИГИНТЕЛ Архив рубрики ~Коротко из Telegram~ Google запускает собственную «мини-Википедию» для блогеров и создателей контента. Компания… Архив рубрики ~Коротко из Telegram~ Водители Tesla научились обманывать камеру слежения в салоне головой пластиковой… Архив рубрики ~Коротко из Telegram~ Главная компания ИИ-гонки не выпускает ни моделей, ни чипов ASML… Архив рубрики ~Коротко из Telegram~ DeepSeek-V4-Flash раздают бесплатно по API DeepSeek-V4-Flash временно открыли для бесплатного… Архив рубрики ~Коротко из Telegram~ ИИ помогает работать — и незаметно отучает работать самому Nature… Архив рубрики ~Коротко из Telegram~ GLM-5.2 залетела в дизайн и документы