Чем отличаются представления?

Извините, если это несколько глупый вопрос.

Во-первых: «Теория представлений — это раздел математики, изучающий абстрактные алгебраические структуры посредством представления их элементов в виде линейных преобразований векторных пространств »

Я мало знаю о физике элементарных частиц, но насколько я знаю, физики имеют дело только с группами (линейных) симметричных операторов, действующих в векторном пространстве состояний.

Так что фактически физики имеют дело с курсивной частью теории представлений. Зачем им это вводить? Каково значение действия «представление элемента группы в виде линейного преобразования» в работах физиков, уже имеющих дело с группами линейных преобразований?

Я не совсем уверен, что вы спрашиваете. В физике есть группы симметрии (например, С О ( 1 , 3 ) как группа Лоренца, или U ( 1 ) как калибровочная группа электромагнетизма). Чтобы заставить эти симметрии воздействовать на наши векторы, мы должны рассматривать эти векторы как трансформирующиеся при определенном представлении симметрии, иначе мы не знали бы, как применить симметрию к данному вектору. Может быть, вы спрашиваете, почему мы рассматриваем другие представления, кроме фундаментального (т. е. того, где мы берем элементы С U ( Н ) просто как матрицы они есть)?
Да, это я и спрашиваю. Я только что придумал ответ. Если бы вы могли сделать это более ясным, это было бы здорово. Я только начинаю читать первую книгу по теории повторений :)

Ответы (2)

Группа г сам по себе не является группой линейных преобразований , это абстрактный алгебраический объект. Только его представления отображают его элементы (инъективно, если представление точно) в элементы А ты т ( В ) некоторого векторного пространства В .

Поначалу кажется, что физике не нужен такой абстрактный язык. Наше «векторное пространство» — это в значительной степени наше пространство-время. р 4 , так что ваши симметрии на самом деле просто матрицы в этом пространстве-времени. Симметрия Лоренца просто С О ( 1 , 3 ) в его фундаментальном представлении на пространстве Минковского р 1 , 3 , верно? Или нерелятивистская, вращательная симметрия просто С О ( 3 ) на р 3 , верно?

...и еще есть угловой момент и вращение. Если вы решите уравнение Шредингера для уровней энергии атома водорода, вы обнаружите, что уровни энергии характеризуются «квантовыми числами». ( н , л , м , с ) . Сейчас н скучный. Но л и м являются собственными значениями сферического лапласиана и приводят к любимым сферическим гармоникам Д м л как самостоятельные решения. Оказывается, если вы вращаете систему в пространстве, эти гармоники ведут себя по-разному в зависимости от их л ! Формально пространство

ЧАС л "=" { м с м Д м л | м е { л , л + 1 , , л } с м е р }

является векторным пространством и несет представление группы вращений С О ( 3 ) ! Но не основной, если л > 1 . Итак, ваше нефундаментальное представление возникает исключительно при решении уравнений, описывающих физическую систему.

Это становится еще более странным для этих групп вращений, так как также оказывается, что есть объекты, фермионы, которые не трансформируются в представлении С О ( 1 , 3 ) или С О ( 3 ) , а в представлении их универсальных накрытий С п я н ( 1 , 3 ) или С U ( 2 ) , соответственно. У вас нет возможности описать виды явлений, которые вы наблюдаете для фермионов, не признав, что они трансформируются таким образом.

И это не конец истории. Если вы строите калибровочную теорию с калибровочной группой г , вы обнаружите, что соответствующая напряженность поля калибровочного поля должна преобразовываться как элемент присоединенного представления г . Таким образом, нефундаментальные представления пронизывают многие аспекты (квантовой) теории поля.

Вот что я подумал:

В конкретной системе физики группа симметрических операторов (скажем, действующих в гильбертовом пространстве V) является подгруппой группы L(V).

Поэтому в теории представлений вместо L(V) мы можем иметь дело с неприводимым представлением L(A), которое существенно проще, чем L(V).

Это чертовски круто — самому придумывать что-то осмысленное. (Даже если это может быть неправдой)