Теория струн и скрытые измерения Вселенной

Надис Стив

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

Впервые комплексные числа были задействованы для вычислений в книге итальянского математика Джероламо Кардано, опубликованной в 1545 году. Однако роль комплексной

геометрии как значимой дисциплины была признана только спустя три столетия. Человеком, который вывел комплексную геометрию на передний план математики, стал Георг Фридрих Бернхард Риман – архитектор первых подробно исследованных комплексных многообразий – так называемых римановых поверхностей. Эти поверхности приобретут особую важность в теории струн, созданной почти через сто лет после смерти Римана. Когда крошечная замкнутая струна, являющаяся основным элементом теории струн, движется в многомерном пространстве-времени, поверхность, которую она заметает за собой, является римановой. Использование таких поверхностей для расчетов в рамках теории струн сделало их одними из наиболее исследованных поверхностей в современной теоретической физике. Теория римановых поверхностей существенно обогатилась от сотрудничества с теорией струн, поскольку полученные из физического описания уравнения весьма укрепили ее математическую часть.

Римановы поверхности, подобно обычным двухмерным многообразиям, являются гладкими, но из их комплексной природы – они являются одномерными комплексными многообразиями – следует наличие у них дополнительной встроенной структуры. Одна особенность, автоматически следующая из комплексной природы поверхности, но не всегда присущая действительным поверхностям, состоит в том, что все окрестности поверхности связаны друг с другом определенным образом. Спроецировав небольшой фрагмент искривленной римановой поверхности на плоскость и затем проделав ту же операцию для всех окружающих его фрагментов, можно получить карту, похожую на ту, которая получается при изображении трехмерного глобуса в двухмерном географическом атласе мира. Если сделать подобную карту на основе римановой поверхности, то расстояния между различными объектами на этой карте будут искажены, однако углы между ними сохранятся. Та же идея – сохранение углов за счет искажения расстояний – использовалась и на появившихся в XVI столетии картах, основанных на проекции Меркатора, которые представляли земную поверхность не в виде сферы, а в виде цилиндра. Сохранение углов при так называемом конформном отображении земного шара на карте в те времена было необходимо для целей навигации и помогало капитанам кораблей держать выбранный курс. Использование конформного отображения существенно упрощает расчеты, относящиеся к римановым поверхностям, делая возможным для таких поверхностей доказательство многих утверждений, недоказуемых для поверхностей, не являющихся комплексными. Наконец, римановы поверхности, в отличие от обычных многообразий, должны быть ориентируемыми, а это означает, что способ определения направлений – ориентация системы координат – не зависит от местоположения точки на поверхности. Противоположная ситуация имеет место для ленты Мёбиуса – классического примера неориентируемой поверхности, в процессе перемещения по которой направления могут меняться местами – низ становится верхом, левое – правым, направление по часовой стрелке переходит в направление против часовой стрелки.

Переход от одного участка римановой поверхности к другому приводит к изменению системы координат, и только небольшая окрестность каждой из заданных точек имеет вид евклидового пространства. Эти небольшие участки нужно сшить вместе так, чтобы переход от одного из них к другому не приводил к изменению углов. Именно это и имеют в виду, когда называют подобные переходы, или «преобразования», конформными. Конечно, комплексные многообразия возникают и в измерениях с более высокой размерностью – римановы поверхности представляют собой только их одномерный вариант. Но вне зависимости от размерности, чтобы получить комплексное многообразие, необходимо должным образом соединить различные его участки или фрагменты. При этом для многообразий более высокой размерности в процессе перехода от одного участка к другому и от одной системы координат к другой углы не сохраняются. Строго говоря, такие преобразования уже не являются конформными, но представляют собой скорее обобщение одномерного случая.

Рис. 4.2.Все эти двухмерные поверхности – бык, кролик, Давид и лошадь – являются примерами римановых поверхностей, имеющих огромную важность в математике и теории струн. Можно нанести на эти поверхности узор в виде шахматной доски, выбирая точки на шахматной доске, подставляя их координаты в некую функцию и получая в результате точку на поверхности, например кролика. Однако полученная в результате шахматная доска не будет идеальной, если только ее не отобразили на поверхность двухмерного тора, по причине присутствия на ней сингулярных точек, таких как северный и южный полюсы сферы, которые неизбежно возникают на поверхностях, эйлеровы характеристики которых (понятие эйлеровой характеристики будет подробно описано далее) не равны нулю. При этом, однако, процесс отображения является конформным, то есть углы – в том числе и прямые углы шахматной доски – при переходе от одной поверхности к другой всегда сохраняются. Несмотря на то что размеры объектов, таких как клетки шахматной доски, могут в результате оказаться искаженными, углы клеток все равно будут составлять ровно 90 градусов. Это свойство сохранения углов является одной из характерных особенностей римановых поверхностей

Пространства, которые представил себе Калаби, были не только комплексными, но также имели особое свойство, называемое кэлеровой метрикой. Римановы поверхности являются кэлеровым автоматически, поэтому данное понятие обретает смысл только для комплексных многообразий двух и более комплексных измерений. В кэлеровом многообразии пространство имеет вид евклидового в определенной точке и остается близким к нему при небольшом смещении, хотя и отклоняется от евклидовости определенным образом. Для того чтобы пояснить последнее утверждение, необходимо отметить, что это многообразие имеет вид не привычного плоского евклидового пространства, а так называемого «комплексного евклидового пространства», то есть оно имеет четную размерность и некоторые из координат, определяющие положение точек на данном многообразии, являются комплексными числами. Этот отличительный признак очень важен, поскольку только комплексные многообразия могут иметь кэлерову метрику. Данная метрика в свою очередь дает нам возможность помимо всего прочего измерять расстояния при помощи комплексных чисел. Условие Кэлера, названное в честь немецкого математика Эриха Кэлера, показывает степень близости заданного пространства к евклидовому на основании критериев, не связанных непосредственно с его кривизной.

Для того чтобы количественно оценить степень близости определенного многообразия к евклидовому пространству, необходимо знать его метрику. В плоском пространстве с взаимно перпендикулярными координатными осями для расчета расстояний можно

использовать теорему Пифагора. В искривленных пространствах дело обстоит несколько сложнее, поскольку оси координат в этом случае могут уже не быть взаимно перпендикулярными, что приводит к необходимости использования модифицированной версии теоремы Пифагора. Для расчета расстояний в искривленных пространствах необходимо знать метрические коэффициенты – набор чисел, изменяющийся от точки к точке и зависящий от ориентации координатных осей. Выбор той или иной ориентации осей ведет к возникновению разных наборов метрических коэффициентов. При этом значение имеют не столько величины этих коэффициентов, которые во многом произвольны, сколько характер их изменения при переходе от одной точки многообразия к другой. Это дает возможность узнать положение различных точек по отношению друг к другу и таким образом свести воедино все, что касается геометрии данного многообразия. Как уже было сказано в предыдущих главах, для описания четырехмерного пространства необходимы десять метрических коэффициентов. На самом деле коэффициентов всего шестнадцать, поскольку метрический тензор в данном случае представляет собой матрицу 4Ч4. Однако метрический тензор всегда симметричен относительно диагонали, проходящей из левого верхнего угла матрицы в правый нижний. Таким образом, четыре числа лежат непосредственно на диагонали матрицы и еще два одинаковых набора из шести чисел каждый лежат по разные стороны от нее. За счет наличия симметрии вместо шестнадцати чисел можно рассматривать только десять: четыре на диагонали и шесть – по одну сторону от нее.

Это, впрочем, еще не объясняет механизм работы метрики. Рассмотрим весьма простой пример, имеющий место для одного комплексного или двух вещественных измерений, – метрику Пуанкаре единичного круга, центр которого находится в точке плоскости с координатами (0, 0). Этот круг представляет собой набор точек ( x, y), удовлетворяющих неравенству x ² + y ² < 1. Формально такой круг называют «открытым», поскольку он не включает в себя свою границу – окружность, определяемую выражением x ² + y ² = 1. Поскольку рассматриваемый случай относится к двум измерениям, тензор метрики Пуанкаре представляет собой матрицу 2Ч2. В каждой из ячеек этой матрицы стоит коэффициент вида G _ij , где i– номер строки, j– номер столбца. Таким образом, матрица будет иметь вид:

G ₁₁ G ₁₂

G ₂₁ G ₂₂

За счет симметрии, о которой шла речь выше, G ₁₂ будет равно G ₂₁ . Для метрики Пуанкаре эти два «недиагональных» элемента по определению равны нулю. Равенство двух других элементов – G ₁₁ и G ₂₂ не обязательно, но в случае метрики Пуанкаре оно имеет место: оба эти элемента по определению равны 4/(1-x ² – y ² ) ² .Любой паре координат xи y, выбранной внутри единичного круга, метрический тензор ставит в соответствие определенный набор коэффициентов. Так, например, для x = 1/2и y = 1/2элементы G ₁₁ и G ₂₂ будут оба равны 16, оставшиеся же два коэффициента равны нулю для любой точки единичного круга.

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

Для того чтобы ответить на этот вопрос, рассмотрим кривую sи разделим ее на крошечные линейные участки – настолько крошечные, насколько это только можно представить, – и сложим их длины между собой. Длину каждого из линейных участков можно найти при помощи теоремы Пифагора. Для начала определим величины x, yи sпараметрически, то есть представим их как функции времени: x = X(t), y = Y(t)и s = S(t). Производные этих функций – X'(t)и Y'(t) – можно рассматривать как катеты прямоугольного треугольника; их подстановка в теорему Пифагора ([X'(t)] ² +[Y'(t)] ² )дает значение производной S'(t).Интегрирование от А до В позволяет определить длину всей кривой. В свою очередь каждый линейный сегмент представляет собой касательную к кривой, называемую в данном случае касательным вектором. Однако поскольку кривая находится на круге Пуанкаре, то перед интегрированием полученный результат нужно умножить на значение метрики ([X'(t)] ² +[Y'(t)] ² ) Ч (4/(1-x ² – y ² ) ² ), чтобы ввести поправку на кривизну.