Введение
Сколько линейно независимых гладких векторных полей, не обращающихся в ноль ни в одной точке, может существовать на n-сфере?
В математике обсуждение векторных полей на сферах являлось классической проблемой дифференциальной топологии, начиная с теоремы о волосатом шаре и ранних работ по классификации алгебр делений. В частности, вопрос заключается в том, сколько линейно независимых гладких векторных полей, не обращающихся в ноль ни в одной точке, можно построить на сфере в n-мерном евклидовом пространстве. Окончательный ответ был дан в 1962 году Фрэнком Адамсом. Уже было известно, благодаря непосредственному построению с использованием алгебр Клиффорда, что существует по крайней мере таких полей (см. определение ниже). Адамс применил теорию гомотопии и топологическую K-теорию, чтобы доказать, что больше независимых векторных полей найти невозможно. Следовательно, число является точным числом точечно линейно независимых векторных полей, существующих на n-мерной сфере.
In mathematics, the discussion of vector fields on spheres was a classical problem of differential topology, beginning with the hairy ball theorem, and early work on the classification of division algebras. Specifically, the question is how many linearly independent smooth nowhere zero vector fields can be constructed on a sphere in dimensional Euclidean space. A definitive answer was provided in 1962 by Frank Adams. It was already known, by direct construction using Clifford algebras, that there were at least such fields (see definition below). Adams applied homotopy theory and topological K theory to prove that no more independent vector fields could be found. Hence is the exact number of pointwise linearly independent vector fields that exist on an dimensional sphere.
Технические детали
В деталях вопрос относится к "круглым сферам" и их касательным расслоениям: поскольку все экзотические сферы имеют изоморфные касательные расслоения, числа Радона — Хурвица определяют максимальное количество линейно независимых сечений касательного расслоения любой гомотопической сферы. Случай нечётных размерностей рассматривается теоремой индекса Пуанкаре — Хопфа (см. теорему о волосатом шаре), поэтому случай чётных размерностей является обобщением этого. Адамс показал, что максимальное количество непрерывных (гладкие поля здесь не отличаются) точечно линейно независимых векторных полей на сфере точно равно… Конструкция этих полей связана с вещественными алгебрами Клиффорда, теория которых обладает периодичностью по модулю 8, что также проявляется и здесь. В силу процесса Грама — Шмидта, требование (точечной) линейной независимости эквивалентно требованию существования полей, задающих ортонормальный базис в каждой точке.
The construction of the fields is related to the real Clifford algebras, which is a theory with a periodicity modulo 8 that also shows up here. By the Gram–Schmidt process, it is the same to ask for (pointwise) linear independence or fields that give an orthonormal basis at each point.