Обладает ли классическая электродинамика симметрией U(1)U(1)U(1)? Если да, то как?

Квантовая электродинамика (КЭД) основана на U ( 1 ) симметрия. Что происходит с этой симметрией в классической электродинамике?

Приложение В книгах по классической электродинамике, таких как Дж. Д. Джексон, не упоминается о U ( 1 ) симметрия в контексте калибровочной инвариантности (насколько мне известно). Калибровочная инвариантность просто понимается в книгах по классической электродинамике как инвариантность уравнений Максвелла относительно А мю А мю + мю х ( Икс ) . Здесь нет никаких признаков U(1)-инвариантности. С другой стороны, когда на сцену выводится что-то вроде уравнения Дирака или поля Дирака, реализация преобразования U(1) ясна. Но это всегда обсуждается в книгах по квантовой теории поля. Похоже, что для понимания симметрии U(1) необходимо иметь поле Дирака. Итак, вопрос в том, можно ли понять существование симметрии U(1) в классической электродинамике, не вводя в картину поле Дирака?

Да, это то же самое.
Почему ты думаешь что-то о U ( 1 ) симметрия квантовая? Обычно мы получаем квантовую теорию поля путем квантования классической, как, по-вашему, в этом процессе могут появиться новые симметрии? (В отличие от исчезновения, ср. квантовые аномалии)
Я предполагаю, что ваша трудность может заключаться в том, что вы только видели U ( 1 ) симметрия, полученная из условия минимальной связи с уравнением Шрёдингера/Дирака ( т. е . условия калибровки ЭМ поля могут поглощать дополнительные члены, которые появляются в несвязанном уравнении Шрёдингера/Дирака, когда квантовое состояние ψ умножается на произвольный фазовый член е я ф ( р ) )? Если это отвечает на риторический вопрос @ACuriousMind, то это дает нам ответ, который вам нужен.
@ACuriousMind Я не совсем думаю об аномалиях. Я спрашиваю, как мне убедить себя, что U(1)-инвариантность присутствует в классической электродинамике. В книгах по классической электродинамике, таких как книга Дж. Д. Джексона, нет упоминания о U ( 1 ) симметрия в контексте калибровочной инвариантности (насколько мне известно). Эта симметрия упоминается только в книгах по КТП в контексте калибровочной инвариантности. Более того, в классической электродинамике поля являются реальными полями, где в качестве элементов U ( 1 ) сложны, в общем.
@WetSavannaAnimalakaRodVance Да!
@ACuriousMind Когда мы говорим о калибровочной инвариантности в классической электродинамике, мы имеем в виду инвариантность уравнений Максвелла относительно А мю А мю + мю х ( Икс ) . Исходя из этого, я не вижу там никаких признаков симметрии U(1). Конечно, я могу что-то упустить, но я не знаю, что. Без поля Дирака как здесь будет пониматься понятие симметрии U(1)?
Комментарий к заголовку (v3): кажется, что ОП на самом деле спрашивает не о классическом и квантовом E&M, а скорее об E&M с материальными полями или без них. Обратите внимание, что поля материи также существуют классически, когда "=" 0 .

Ответы (2)

  1. Бесплатный " U ( 1 ) Калибровочная теория никогда не может сказать, является ли калибровочная группа U ( 1 ) или р потому что единственное поле в теории, калибровочный потенциал А , преобразуется как

    А А + мю х ,
    где х — это просто функция с действительным знаком, а действительные числа — это алгебра Ли обоих U ( 1 ) и р . Это не классическое или квантовое свойство, вы просто не можете отличить. Так что, в некотором смысле, вопрос о том, имеет ли эта теория U ( 1 ) симметрия или нет не имеет значения - она ​​имеет ты ( 1 ) симметрии, и нет осмысленного понятия группы симметрии .

  2. Электромагнетизм, связанный с внешним сохраняющимся током, еще не может сказать, что такое калибровочная группа, поскольку ток калибровочно-инвариантен.

  3. Электромагнетизм, связанный с другими полями , может сказать, что такое калибровочная группа, поскольку часть ее связи с другими полями определяет, как эти поля трансформируются при калибровочных преобразованиях. Там у нас есть выбор между (бесконечно малым) ψ ψ + х ψ и ψ ψ + я х ψ , что приводит к конечным преобразованиям ψ е х ψ и ψ е я х ψ , соответственно. Первый соответствует калибровочной группе р , последний к U ( 1 ) . Опять же, ничего из этого не является классическим или квантовым.

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

Если я правильно понял, вы говорите в пункте 1 своего ответа, что свободная калибровочная теория «U (1)» связана с однозначной алгеброй Ли, но не с однозначной группой Ли. Как вы уверены, что существует однозначная алгебра Ли? Как выглядит алгебра? Спасибо. @ACuriousMind
@SRS х вещественнозначная, поэтому алгебра Ли ты ( 1 ) просто р с тривиальной скобкой Ли.
Хорошо. Под алгеброй Ли я понимаю алгебру образующих группы Ли. Если нет группы Ли, что значит иметь алгебру Ли? @ACuriousMind
@SRS Если подумать, я даже слышал, как люди говорят о «некомпактном U ( 1 ) калибровочная симметрия», даже на этом сайте, что у меня в голове, потому что явно (ну, может быть!!) они имеют в виду ( р , + ) - это ужасно запутанный способ говорить о вещах.
«... таким образом, вы видите, как составляются калибровочные преобразования: ...» Я думаю, что борюсь с этим. Может быть, потому, что я не привык так думать об алгебрах Ли. Все, что я могу понять, это то, что х ( Икс ) является вещественнозначной функцией в классической ЭД и может жить р . В классической ЭД не ясно, что х является параметром некоторой группы Ли. @WetSavannaAnimalakaRodVance
@SRS Алгебра Ли - это просто векторное пространство со скобкой Ли.
@WetSavannaAnimalakaRodVance Как я понимаю, такое преобразование, как А А + мю х имеет какое-либо отношение к скобке Ли. Это преобразование не является экспоненциальным (которым являются элементы группы Ли).
@SRS - Извините, я снова немного запутался здесь из-за того, что алгебра Ли и группа очень похожи из-за абелевости, кстати, я понимаю это сам, как не теоретик поля. в А преобразования поля, вы можете видеть только алгебру — и они составляют в этом абелевом случае точно так же, как групповые операции, последние действуют на классическое или квантовое поле ψ . Вы «видите» скобку Ли, когда составляете групповые операции, и она обычно отображается в таблице. А компоненты с помощью теоремы Кэмпбелла-Бейкера-Хаусдорфа. Но здесь скобка Ли тривиальна -
- формула BCH завершается, и вы вообще не «видите» скобку Ли. Что позволяет легко совершить ошибку, которую я только что совершил, т.е. забыть, что на самом деле действует группа. Поскольку вы не видите, на что действует группа, в простых уравнениях Максвелла — только алгебра, вам нужно указать поле ψ . Я также думаю, что большинство физиков назвали бы связанные уравнения Максвелла-Дирака (т. е. «первым квантованным» уравнением Дирака для частиц), в которых минимальная связь часто сначала обсуждается, классической системой, что, возможно, вносит здесь дополнительную путаницу .
Разве это не сделало бы группу симметрии группой всех градуируемых функций? х : р 4 р под дополнение?
@The_Sympathizer Да, если вы полностью не обременены подходами стандартной калибровочной теории, вы можете интерпретировать ты ( 1 ) симметрия алгебры как группы (абелева алгебра Ли — это группа по сложению!). Это зависит от того, что вы считаете «группой симметрии» в этой ситуации.

Используя компактную запись дифференциальных форм, дифференциальный оператор Д "=" г + А является ковариантным оператором с калибровочным потенциалом 1 -форма А . Поле 2 -форма Ф   "="   Д Д "="   ( г   +   А ) ( г   +   А ) . Это действует на единицу с г г   "="   0 (граница границы равна 0) дает

Ф   "="   г А   +   А А ,
The U ( 1 ) группа просто означает, что А А   "="   0 . Мы, конечно, знаем, что 1 -форма во внешнем произведении на себя равна нулю. Однако, если есть внутренние индексы цвета или заряда, их может быть несколько. В С U ( 2 ) есть 3 калибровочное поле и в С U ( 3 ) есть 8 . С U ( 1 ) существует только один калибровочный потенциал без индекса заряда.

Поле 2 -форма имеет компоненты Ф мю ν и с некоторым усилием вы можете показать, что

Ф 0 я   "="   А я т     А 0 Икс я   "="   Е я
Ф я Дж   "="   А я Икс Дж     А Дж Икс я     Б я   "="   ( × А ) я .
Это стандартные электромагнитные расчеты. Все было бы совсем иначе, если бы существовали нелинейные члены А А включены. Итак, классический электромагнетизм абелев.

Но остается ли симметрия U ( 1 ) или что-то вроде р ? Ведь вокруг нет комплексных чисел, меняется только потенциал.
Вздох! это действительно не проблема. Абелева симметрия U ( 1 ) и ± 1 веса соответствуют ± е обвинения. Кроме того, классические решения могут иметь е Икс п ( я к Икс + я ю т ) условия.
Я думаю, что @Javier беспокоится о топологии группы: U ( 1 ) не совсем вся абелева симметрия: ее универсальное покрытие есть ( р , + ) . Конечно, они одинаковы на уровне алгебры: у меня такое ощущение, что и ОП, и Хавьер действительно хотят знать, как возникает компактность группы симметрии и какую роль она играет.
@LawrenceB.Crowell «Обозначение формы» мне не нравится. Можете ли вы быть немного либеральнее и добавить ответ, не используя их (если возможно)?
@LawrenceB.Crowell хороший обзор, но он не полностью отвечает на вопрос против U(1), так как также абелева и А А было бы равно 0, если бы группа была а не U(1).