Локальные и глобальные симметрии

Может ли кто-нибудь указать мне направление математически строгого определения локальных симметрий и глобальных симметрий для данной (классической) теории поля?

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

Но это выглядит как-то неудовлетворительно. Ведь симметрия Лоренца для скалярного поля ψ ( Икс ) ψ ( Λ 1 Икс ) условно называется глобальной симметрией, но и явно Λ 1 Икс зависит от Икс . Так что наивное применение приведенных выше афоризмов не работает!

Я собрал следующее определение из разных источников, включая этот . Я думаю, что это неправильно, и я путаю разные принципы, которые еще не ясны в моей голове. Согласны ли люди?

Глобальная симметрия — это симметрия, возникающая в результате действия конечномерной группы Ли (например, группы Лоренца, U ( 1 ) )

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

Если это так, то как вы относитесь к локальной симметрии электромагнетизма? А мю А мю + мю λ как действие группы Ли?

Ваш пример (v3) называется глобальной симметрией, потому что Λ не зависит от Икс .

Ответы (1)

Предложенные вами определения не совсем корректны. Я набросаю правильные определения, но на самом деле не буду их давать, потому что не знаю, как вы выбираете определение классической теории поля.

Группа локальных симметрий — это группа преобразований симметрии, позволяющая по-разному изменять систему в разных местах пространства/времени.

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

Локальные симметрии обязательно бесконечномерны, если только пространственно-временное многообразие не состоит из конечного числа точек (что происходит в калибровочной теории решетки). Глобальные симметрии обычно конечномерны. Теории поля, имеющие бесконечное множество глобальных симметрий, либо очень интересны, либо не очень интересны, в зависимости от того, с кем вы общаетесь.

Калибровочные симметрии обычно являются локальными симметриями. Они не должны быть. Вы можете оценить глобальное Z / 2 Z , если вы в настроении. Но наиболее полезными калибровочными симметриями являются те, которые позволяют нам описывать физику электромагнетизма и ядерных сил в терминах переменных с локальным взаимодействием. Наше описание гравитации в терминах метрического тензора также включает калибровочные симметрии. Возможно, это больше озадачивает, чем полезно.

Позволять Σ быть пространство-время, наверное р 3 , 1 . Локальная симметрия 1 -форма описания электромагнетизма есть действие группы грамм знак равно { λ : Σ U ( 1 ) } на полевом пространстве Ф Ом 1 ( Σ ) , в котором λ отправляет 1-форму А к 1 -форма λ ˙ А дается на каждом Икс в Σ по

( λ ˙ А ) мю ( Икс ) знак равно А мю ( Икс ) + λ 1 мю λ ( Икс ) .
Группа калибровочных преобразований — это подгруппа грамм 0 функций, переходящих в тождество на бесконечности. Очевидно, мы не можем ничего измерить в электромагнитных явлениях, которые зависят от Ф а также грамм , кроме как через частное Ф / грамм 0 .

Можете ли вы указать пример измеряемого глобального Z / 2 Z пожалуйста? Звучит интересно.
Отличный ответ. Я мог бы добавить, что многие физики используют несколько иное определение «калибровочной группы». Вместо того, чтобы рассматривать пространство карт (которое бесконечномерно) М грамм в качестве калибровочной группы люди обычно называют грамм калибровочная группа (обычно конечномерная).
@MichaelBrown: Глупый пример: предположим, вы хотите описать классическую механику частицы на р п 2 . Карты в р п 2 вероятно, проще всего рассматривать как карты для С 2 , по модулю очевидного глобального действия Z / 2 .
@Хейдар: Да. Я избегал использования этого термина. Но я согласен: хорошим соглашением будет называть калибровочную группу для целевого пространства, группу локальных преобразований для отображений в это пространство и группу калибровочных преобразований для подгруппы локальных преобразований, которые на самом деле являются калибровочными преобразованиями (теми, которые обращаются в нуль при бесконечность).
... а затем я отредактировал ответ, включив в него условия...
Чудесный ответ - это многое прояснило, большое спасибо!
@user1504: Только один вопрос, почему ваш λ должны сопоставить в U ( 1 ) ? Был бы более общий λ с целевым пространством С не работает по какой-то причине?
@EdwardHughes: обратите внимание, что я сделал опечатку в последнем уравнении. Забыл фактор λ 1 , что делает второй член равным мю п ( λ ( Икс ) ) . λ не должен принимать значения в С × , потому что тогда мы будем добавлять формы с комплексными значениями к действительным формам после того, как уже решили представлять калибровочное поле с помощью 1-форм с действительными значениями.
Ах да, теперь это имеет больше смысла! Ваше здоровье!
@user1504: Вы говорите, что можете оценить глобальное значение ℤ/𝟚ℤ. Меня смущает использование глагола «калибр» в этом контексте. Что делать, если вы что-то оцениваете?
@Friedrich: Для краткости я объясню в классической физике. Если у вас есть группа грамм действует в пространстве ЧАС истории, чтобы «оценить» грамм означает рассмотреть другую классическую систему, пространство историй которой есть фактор ЧАС / грамм .