Калибровочная инвариантность (или калибровочная симметрия) — это фундаментальное свойство физических теорий, означающее, что физические законы остаются неизменными при локальных преобразованиях определённых полей. В контексте Общей Теории Относительности (ОТО) это свойство проявляется как инвариантность уравнений Эйнштейна относительно локальных преобразований координат и локальных вращений метрического тензора.
Ключевой аспект здесь заключается в том, что метрика gμν(x) не является физически наблюдаемой величиной сама по себе; наблюдаются только инварианты, построенные из неё, например, скаляр кривизны R, геодезические расстояния и кривизна пространства-времени. Любое преобразование метрики, которое оставляет эти инварианты неизменными, не изменяет физику, что и является проявлением калибровочной симметрии в ОТО.
Глобальная симметрия в ОТО соответствует преобразованиям координат, которые одинаковы во всех точках пространства-времени. Например, трансляции и вращения в плоском пространстве Минковского.
Локальная (диффеоморфная) симметрия — это более общая концепция, характерная именно для ОТО:
xμ → x′μ = fμ(x)
где fμ(x) — произвольные дифференцируемые функции координат. При таких преобразованиях метрика трансформируется по правилу тензора второго ранга:
$$ g'_{\mu\nu}(x') = \frac{\partial x^\alpha}{\partial x'^\mu} \frac{\partial x^\beta}{\partial x'^\nu} g_{\alpha\beta}(x) $$
Физическая калибровочная инвариантность заключается в том, что уравнения Эйнштейна остаются верными в любой системе координат. Это эквивалентно принципу общей ковариантности.
Принцип эквивалентности утверждает, что в малой окрестности каждой точки можно выбрать локальную инерциальную систему, в которой законы специальной теории относительности выполняются.
С точки зрения калибровочной инвариантности, это означает:
Таким образом, локальная симметрия и принцип эквивалентности тесно связаны: первая обеспечивает математическую формулировку второй.
В ОТО важными калибровочно-инвариантными объектами являются:
Тензор Римана R σμνρ Полностью описывает кривизну пространства-времени и остаётся инвариантным при любых диффеоморфизмах.
Тензор Эйнштейна $G_{\mu\nu} = R_{\mu\nu} - \frac{1}{2} R g_{\mu\nu}$ Используется в уравнениях Эйнштейна. Его дивергенция равна нулю: ∇μGμν = 0, что отражает локальную калибровочную инвариантность.
Скаляр кривизны R Инвариант относительно любых непрерывных преобразований координат.
Эти объекты демонстрируют, что физическая информация скрыта в инвариантах, а не в компонентах метрики, которые зависят от выбора координат.
Лагранжиан ОТО имеет вид:
$$ \mathcal{L} = \frac{c^4}{16\pi G} \sqrt{-g} R + \mathcal{L}_\text{материя} $$
где g = det (gμν), R — скаляр кривизны, ℒматерия — лагранжиан материи.
Ключевые моменты:
Хотя ОТО формально отличается от электродинамики или теории калибровочных полей, есть глубокие аналогии:
Эти аналогии стали основой для современной концепции гравитации как калибровочного поля, где локальная группа симметрии связана с локальными преобразованиями Лоренца в касательном пространстве.
Произвольность выбора координат Уравнения ОТО могут быть решены в любой системе координат, что даёт свободу выбора удобных для задачи метрик (например, координаты Шварцшильда, Фридмана, Керра).
Наличие лагранжиана и вариационного принципа Калибровочная симметрия обеспечивает корректность применения вариационного принципа к гравитационному полю и материи.
Сохранение физических инвариантов Несмотря на свободу выбора координат, физические наблюдаемые (геодезические, кривизна, энергия-импульс) остаются неизменными.
Связь с квантовой теорией поля Калибровочная инвариантность ОТО является базой для попыток построения квантовой теории гравитации через понятия калибровочных полей и локальных симметрий.
Калибровочная инвариантность в ОТО — это не просто математическая особенность, а фундаментальная физическая концепция, обеспечивающая свободу локального выбора координат, сохранение физических инвариантов и соответствие принципу эквивалентности. Понимание этой симметрии лежит в основе всех современных подходов к гравитации, включая лагранжеву и гамильтонову формулировки, а также попытки объединения с калибровочными теориями поля.