Как отличить спинор от 4-вектора?

Допустим, нам дан четырехкомпонентный объект. Чтобы быть явным, давайте рассмотрим, что эти компоненты Икс мю "=" мю с мю е 0 , 1 , 2 , 3 , т.е.

Икс мю [ 0 1 2 3 ] .
Как мы узнаем, представляют ли эти компоненты 4-вектор или спинор? (Забудьте о типичных 4-векторных обозначениях, которые я использую. Это просто обозначения, которые я выбираю.) Я всегда читал в книгах, что 4-векторы (или тензоры в целом) распознаются по способу преобразования их компонентов. Это относится и к спинорам?

Позвольте мне расширить свой вопрос с помощью «примера». Рассмотрим также некоторое преобразование Лоренца, параметризованное формулой ξ я за "угол" наддувов и θ я для углов поворота. Предположим, что нам даны компоненты этого объекта после преобразования и что они представляют собой некоторый массив чисел у мю . Но нам не говорят, как они рассчитывались или, что еще интереснее, и то, и другое. Икс мю и у мю могут быть измерены. Таким образом, мы хотим связать Икс мю и у мю .

Предположим, что после некоторых «проб и ошибок» мы обнаруживаем, что они связаны линейным преобразованием

у мю "=" ( опыт ( я 2 ю р о Σ р о ) )       ν мю Икс ν
(что не более чем у мю "=" Λ     ν мю Икс ν ) где
ю р о "=" [ 0 ξ 1 ξ 2 ξ 3 ξ 1 0 θ 3 θ 2 ξ 2 θ 3 0 θ 1 ξ 3 θ 2 θ 1 0 ]

Правильно ли сделать следующий вывод?

  1. Если Σ р о заданы, введите описание изображения здесьто мы заключаем, что компоненты представляют собой 4-вектор.

  2. Если Σ р о "=" я 4 [ γ р , γ о ] с γ мю матрицы Дирака, или более явно, введите описание изображения здесьтогда мы заключаем, что компоненты представляют собой спинор.

  3. Если Σ отличаются от них, но удовлетворяют алгебре Лоренца, тогда компоненты Икс мю представляют другой тип объекта, отличный от 4-вектора или спинора.

Это верно? Если да, то можно ли это рассматривать как определение спинора (как это происходит с 4-векторами) независимо от того, удовлетворяют они или нет уравнению Дирака?

Вы узнаете по контексту (возможно, даже по размерному анализу ). Компоненты спинора Дирака являются «внутренними состояниями» и имеют другие свойства (ограничения), чем «просто» 4-векторы.
Вот простое объяснение в Википедии en.wikipedia.org/wiki/Spin_representation
Один из способов узнать их — по тому, как они трансформируются. В общем, 4-векторы преобразуются через Лоренца как Ψ "=" М ( Λ ) Ψ , где М ( Λ ) - матрица преобразования для преобразования Лоренца Λ . Один из способов представить эту матрицу — использовать генераторы вращения. М ( Λ ) "=" е Икс п ( я 2 ю мю ν Дж мю ν ) . С другой стороны, и спинор — это объект, который трансформируется подобно Ψ "=" е Икс п ( я 2 ю мю ν С мю ν ) Ψ , где образующие задаются С мю ν "=" я 4 [ γ мю , γ ν ] , где γ мю – гамма-матрицы Дирака.
Когда они представлены просто как вектор-столбец, их невозможно различить — в этом суть простого представления! Как уже говорили выше, контекст должен информировать вас о природе зверя.
Казимиры ваших 1 и 2 повторений имеют очень разные собственные значения... какие?
Ваше повторение 2 уже уменьшено (посмотрите на его блоки). Теперь в каждом случае нижние три генератора представляют подгруппу вращения. Вы можете видеть вектор, спин 1, представление в 1 и два непересекающихся дублета, спин 1/2, повторения в 2?

Ответы (1)

Можно сказать, что можно различать векторы и спиноры по тому, как они трансформируются. Векторы и спиноры принадлежат разным представлениям группы Лоренца и поэтому имеют разные правила преобразования. Ваш пример действительно правильный. Поэтому, если вы знаете из контекста, как трансформируется объект, вы можете догадаться, что это такое.

Обычно математики сильно злятся, когда слышат об «определении объекта X по способу его преобразования». Как вы можете изменить то, что еще не определили? Тем не менее, именно так во многих учебниках по ОТО вводятся тензоры, и с точки зрения физики это нормально. Математики предпочли бы восходящий подход, при котором можно было бы начать с группы (например, группы Лоренца или группы вращения), классифицировать ее представления и только затем давать им глупые имена, такие как «спинор» и «тензор».

Кстати (довольно неуместно), я думаю, что в ваших генераторах Лоренца для 4-вектора есть несколько минусовых знаков: генераторы буста должны иметь два ненулевых элемента одного знака.

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