Недавно я прочитал главу 2 QFT Weinberg vol1. Я узнал, что в КМ нам нужно изучать проективное представление группы симметрии вместо представления. Он говорит, что группа Ли может иметь нетривиальное проективное представление, если группа Ли не является односвязной или алгебра Ли имеет нетривиальный центр. Таким образом, для простой группы Ли проективное представление является представлением универсальной накрывающей группы.
Но речь идет только о группе Ли, а как насчет проективного представления дискретной группы, такой как конечная группа или бесконечная дискретная группа? Я слышал, что это связано с групповыми когомологиями, множителем Шура и расширением группы. Итак, может ли кто-нибудь порекомендовать некоторые учебники, монографии, обзоры и статьи, которые могут охватывать любую из следующих тем, которые меня интересуют:
Как построить все неэквивалентные неприводимые проективные представления группы Ли и алгебры Ли? Как построить все неэквивалентные неприводимые проективные представления дискретной группы? Как они связаны с центральным расширением группы и алгеброй Ли? Как построить все центральные расширения группы или алгебры Ли? Как проективное представление связано с когомологиями групп? Как вычислить групповые когомологии? Есть ли какие-нибудь справочники или список групповых когомологий общих групп, таких как , точечная группа, пространственная группа, группа плетения, простая группа Ли и так далее?
Поскольку ACuriousMind уже ответил на некоторые вопросы ранее, я сосредоточусь на том, как вычислять или табулировать результаты.
https://groupprops.subwiki.org/wiki/Main_Page доступен, но над ним еще ведется работа. Некоторые из групп, которые вы, возможно, захотите, сведены в таблицу.
В SAGE есть команды для вычисления групповых когомологий относительно небольших групп. Попробуйте небольшие группы, чтобы проверить, какую вычислительную мощность вы можете использовать. Это работает для точечных групп, по крайней мере, для тех, которые я пробовал запускать.
Группы кристаллографии см. в таблице https://arxiv.org/abs/1612.00846 .
В группах, которые входят в семейство целых чисел, таких как S_n, SU(n), SO(2n), вы можете увидеть стабилизацию, которая значительно упрощает вычисления. Однако вам нужно иметь достаточно большое n.
любопытный разум
Дану
любопытный разум
пользователь153663