Отправная точка и используемые здесь обозначения представлены в разделе « Две загадки о группе проективной симметрии» (ПСГ)? . Как мы знаем, инвариантная калибровочная группа (IGG) является нормальной подгруппой группы проективной симметрии (PSG), но может не быть нормальной подгруппой , нравиться . Но это может привести к проблемам:
По определению мы можем вычислить и принадлежащий калибровочно-эквивалентные гамильтонианы среднего поля и , соответственно. И легко увидеть, что для каждого сайта , у нас есть , где и , Который означает, что . Теперь проблема явная, если (нравиться ) не является нормальной подгруппой , затем может не равняться , значит ли это, что два калибровочно-эквивалентные гамильтонианы среднего поля и могут быть разные IGG ? Или, другими словами, зависит ли низкоэнергетическая калибровочная структура от выбора оценить свободу?
Большое спасибо.
Опять же, я только что понял, что задал очень наивный вопрос, и ответ на него «нет». Поскольку хотя , но , поэтому низкоэнергетическая калибровочная структура не зависит от выбора калибровочной свободы SU(2) (как мы хотели).
Более того, , где и являются проективными группами симметрии двух калибровочно эквивалентные гамильтонианы среднего поля.