И еще один вопрос: чем калибровочная инвариантность отличается от инвариантности?
В
Рубакове про это подробно сказано. Глобальная инвариантность действует группой на всё пространство одновременно. А калибровочная - на каждую точку по отдельности, так что на разные точки действуют разные преобразования. (Функция "точка
преобразование" непрерывна и дифференцируема.)
Раз мы имеем функцию преобразования, то она автоматически вылезает, когда мы хотим дефинировать инвариантные величины, например, производные - ковариантные производные. И её можно воспринимать как новое поле, взаимодействующее с существующими.
Т.е. преобразование величин сопровождается добавлением иных величин (калибровочных), эта же процедура (в общем виде) называется "перенормировкой". Или я ошибаюсь?
Калибровка помогает перенормировке, но не более того. Было доказано, что калибровочные КТП перенормируемы, а в это время как раз царил раздрай - КЭД была перенормируема, а новые КТП всяких адронов и мезонов - не поддавались. Тогда все рванулись допиливать теории до калибровочных. С сильным взаимодействием получилось, а со слабым не совсем. Придумали идею нарушенной симметрии, но и для неё отдельно пришлось доказывать перенормируемость. Когда этого достигли, Стандартная Модель сошлась с экспериментом, и стала ждать подтверждения предсказаний: кварки и глюоны, нейтральные токи и слабые бозоны, нейтрино 3-го поколения, и наконец, бозон Хиггса - которые и прошли с триумфами.
Если же речь идет об описании электромагнитного поля (например) с помощью интегральной формы уравнений Максвелла (а не в рамках квантовой теории поля) понятие "калибровочная инвариантность" не имеет смысла. Я правильно понимаю?
Не-а. Перейдя от потенциалов к напряжённостям, вы меняете шило на мыло: вместо калибровочной инвариантности (то есть, степеней свободы, не ограниченных уравнениями движения) вы получаете связи ("лишние" степени свободы). А квантовать такую теорию - о-о-очень неудобно.
Ну и напомню про опыт Ааронова-Бома, который подчеркнул, что потенциалы реальны, и нефиг их пытаться выкидывать из теории.