у меня есть пространство-время и набор дискретных симметрий . Даны две фиксированные точки с Я хочу доказать, что геодезическая, соединяющая две точки, состоит только из неподвижных точек.
Очевидно, что в общем случае это неверно: например, возьмем повороты 2-сферы как симметрию, которая оставляет два полюса неизменными. Геодезические — это большие окружности, все они имеют одинаковую длину и накладываются друг на друга. Однако, если мы рассмотрим полное 3d-пространство с вращениями, то кратчайшее расстояние на самом деле инвариантно относительно вращений, потому что это прямая линия, соединяющая два полюса.
В некотором смысле в первом случае симметрия самопроизвольно нарушается. Есть ли способ различить два случая? В частности, если я нахожу геодезическую, инвариантную относительно преобразований симметрии, есть ли общий аргумент, что другие, которые не соблюдают эту симметрию, должны быть длиннее (только локально кратчайшие геодезические).
В классической механике спонтанное нарушение симметрии соответствует случаю, когда гамильтониан инвариантен относительно симметрии, а начальные условия — нет.
Приведенные в вопросе примеры действительно (и в строгом смысле) соответствуют спонтанно нарушенной и ненарушенной вращательной симметрии вокруг оси, как указано в вопросе и как будет выяснено ниже.
В случае (нерелятивистского) геодезического движения (массивной частицы) гамильтониан можно принять как:
Уравнение геодезии второго порядка, для него нужно 2 начальных условия: положение и импульс. Чтобы симметрия не нарушалась спонтанно, и начальное положение, и импульс должны быть инвариантны относительно симметрии. Теперь мы можем увидеть разницу между двумя случаями: (Предположим, что мы начинаем с Южного полюса)
В случае сферы не существует возможного начального импульса, инвариантного относительно вращения вокруг оси. оси, так как импульс касается сферы, следовательно, параллелен самолет.
В случае трех пространств есть одна возможность, в которой начальный импульс параллелен линии, соединяющей Южный полюс с Северным полюсом. В этом случае полный набор начальных условий инвариантен относительно симметрии и симметрия не нарушается. Следовательно, каждая точка геодезической инвариантна относительно симметрии . (Все остальные варианты начальных импульсов приведут к нарушению симметрии, как и в случае со сферой).