Тип спинора по Плебаньскому
Единственное, что в таблице (8.8.25) осталось совершенно без внимания — это типы спиноров по Плебаньскому [276]. В формуле (8.7.1) был введен симметричный спинор
Из уравнения (8.8.24) следует, что если -главный спинор спинора то [см. текст после формулы (3.5.29)] для некоторого имеем
Но тогда
а это, согласно формуле (8.7.29), есть условие того, что -образующая, определяемая спинором касается кривой со в точке Так как это применимо ко всякому главному спинору спинора мы приходим к выводу, что кривая состоит из четырех -образующих, которые касаются кривой Схему совпадений для этих образующих теперь довольно просто получить, проанализировав структуру особенностей кривой со. По-прежнему следует иметь в виду, что «касание» нужно интерпретировать как совпадение точек пересечения, так что S-o6paзующая, проходящая через какую-либо кратную точку кривой , считается касающейся этой кривой. Исследуя появление кратных точек в предельных случаях, можно показать, что каждая -образующая, проходящая через кратную точку кривой , для должна считаться как минимум двойной. Точную кратность можно установить в каждом отдельном случае только после подробного анализа рассматриваемого предела. Результаты такого рода анализа представлены в таблице (8.8.25).
Отметим, что в некоторых случаях схема Плебаньского не позволяет полностью различить все возможные типы спинора Наиболее отчетливо это проявляется в трех последних случаях таблицы (8.8.25), ибо во всех
Двойное отношение четырех ГИН спинора представляет особый интерес, так как в общем случае (-кривой не имеющей особенностей, им определяется характеристика, называемая модулем эллиптической кривой и. (Слово «эллиптическая» здесь означает, что кривая со может быть аналитически параметризована с помощью эллиптических функций, но не рациональных функций. Этот модуль относится к так называемым бирациональным инвариантам кривой со, ибо остается неизменным при любом аналитическом «почти всюду преобразовании вида кривой ) (Более полно эти вопросы рассматриваются, например, в работе [356].)
Чтобы выразить указанное двойное отношение через собственные значения тензора в общем случае, можно (если все собственные значения действительны и различны) сначала выразить через эти собственные значения и стандартную тетраду Минковского (3.1.20) (построенную из собственных векторов и сам тензор
[т. е. матрица ]. В другой генерической ситуации необходимы комплексные векторы и комплексные собственные значения, но мы можем ввести комплексные комбинации векторов и и написать
где действительные величины, а причем Использованы стандартные соотношения (3.1.20) между спинорной диадой и тетрадой Минковского. Если применить соотношения (3.1.20) к выражению (8.8.29), то можно сразу же вычислитьспинор и получить для него выражение в стандартной канонической форме (8.3.34), где
Формула же (8.8.30) дает для выражение, которое лишь несущественно отличается от стандартной канонической формы [и которое сводится к ней при так что мы опять приходим к тем же значениям для что и в формуле (8.8.31)].
Интересно, что двойное отношение ГИН для спинора одновременно является двойным отношением четырех собственных значений тензора Следовательно, в случае, когда имеет действительную тетраду собственных векторов, это двойное отношение должно быть действительным. В противоположном случае, поскольку величины X действительны, величина удовлетворяет условиям Напомним, что, согласно изложенному в § 6, эти четыре возможности представляют собой как раз те случаи, в которых ГИН (спинора обладают симметриями отражения. И наконец, исходя из равенства можно показать, что три собственных значения спинора таковы:
где