По-видимому, одним из первых это упрощение выполнил физик из Техасского университета Брайс Девитт, посвятивший изучению квантовой гравитации много лет. Как только фокус с разложением метрического тензора был открыт, расчеты, необходимые для выделения поля Янга-Миллса, стали очевидными. Девитт считал выделение поля Янга-Миллса из
N-мерной теории гравитации настолько простой математической задачей, что давал ее в качестве домашнего задания в летней школе физики в Лез-Уш, во Франции, в 1963 г. [Не так давно Питер Фройнд обнаружил, что Оскар Клейн открыл поле Янга-Миллса еще в 1938 г., на несколько десятилетий опередив Янга, Миллса и остальных. На проходившей в Варшаве конференции «Новые физические теории» Клейн объявил, что нашел способ обобщить работу Максвелла с учетом симметрии высшего порядка О (3). Увы, из-за хаоса, вызванного Второй мировой войной, а также из-за всеобщего увлечения квантовой теорией, немаловажная теория Калуцы-Клейна оказалась забытой. Парадокс заключается в том, что теорию Калуцы-Клейна затмила квантовая теория, в основе которой в настоящее время лежит поле Янга-Миллса, впервые обнаруженное при анализе теории Калуцы-Клейна. В пылу энтузиазма по поводу квантовой теории физики не заметили главного открытия, которым мы обязаны теории Калуцы-Клейна].
Получение поля Янга-Миллса из теории Калуцы-Клейна стало лишь первым шагом. Несмотря на то что симметрию «дерева» удалось разглядеть в скрытой симметрии незримых измерений, следующим этапом должно было стать создание самого «дерева» (состоящего из кварков и лептонов) исключительно из «мрамора». Этот следующий этап получил название супергравитации.
Супергравитация
Превращение «дерева» в «мрамор» по-прежнему сопровождалось серьезными затруднениями, так как согласно Стандартной модели все частицы обладают «спином». Нам уже известно, что «дерево» состоит из кварков и лептонов. Они, в свою очередь, обладают половиной единицы квантового спина (измеряющегося в единицах постоянной Планка
h).Частицы с полуцелым значением спина (1/2, 3/2, 5/2 и т. д.) называются
фермионами(в честь Энрико Ферми, первым исследовавшего их необычные свойства). Однако взаимодействия описываются квантами с целочисленным спином. Например, фотон, или квант света, имеет спин, равный единице, как и поле Янга-Миллса. У гравитона, гипотетической частицы гравитации, спин равен двум единицам. Такие частицы называются
бозонами(в честь индийского физика Шатьендраната Бозе).
По традиции в квантовой теории проводилась четкая граница между фермионами и бозонами. И действительно, при любой попытке превратить «дерево» в «мрамор» неизбежно выяснялось, что фермионы и бозоны чуть ли не диаметрально противоположны по свойствам. Так, симметрия SU
(N)может менять кварки местами, но не перемешивать фермионы и бозоны. Поэтому открытие новой симметрии, названной
суперсимметриейи способной к подобным перетасовкам, потрясло ученых. Уравнения для суперсимметрии позволяли менять местами фермион с бозоном без ущерба для уравнения. Иначе говоря, один мультиплет суперсимметрии состоит из равного количества бозонов и фермионов. При перетасовке бозонов и фермионов в пределах одного и того же мультиплета уравнения суперсимметрии остаются прежними.
При этом у нас возникает заманчивая возможность собрать
всечастицы Вселенной в один мультиплет! Как подчеркивал нобелевский лауреат Абдус Салам, «суперсимметрия — несомненное притязание на полное объединение всех частиц».
Суперсимметрия опирается на систему исчисления нового вида, способную довести до помешательства любого школьного учителя. Большинство действий умножения и деления, которые мы принимаем как должное, для суперсимметрии не применимы. К примеру, если
аи
b— два «суперчисла», тогда
а x
b = — bx
а.Конечно, для обыкновенных чисел это невозможно. Школьный учитель не принял бы суперчисла во внимание, так как можно показать, что
аx
а = — аx
а,или, иначе говоря, что
аx
а =0. Если бы эти числа были обычными, выражение означало бы, что
а= 0 и что вся система исчисления рухнула. Но в случае с суперчислами ничего подобного не происходит; мы имеем поразительное утверждение, согласно которому
аx
а =0 даже при
а/= 0. Несмотря на то что суперчисла опровергают почти все, что нам известно о числах с детства, можно доказать, что они образуют последовательную и в высшей степени нетривиальную систему. Примечательно, что на них можно построить принципиально новую систему суперисчисления.