В алгебраической геометрии и теоретической физике зеркальная симметрия — это отношение между геометрическими объектами, называемыми многообразиями Калаби–Яу . Этот термин относится к ситуации, когда два многообразия Калаби–Яу выглядят очень по-разному геометрически, но тем не менее эквивалентны при использовании в качестве дополнительных измерений теории струн .
Ранние случаи зеркальной симметрии были обнаружены физиками. Математики заинтересовались этим соотношением около 1990 года, когда Филипп Канделас , Ксения де ла Осса , Пол Грин и Линда Паркс показали, что его можно использовать в качестве инструмента в исчислительной геометрии , разделе математики, занимающемся подсчетом количества решений геометрических вопросов. Канделас и его коллеги показали, что зеркальную симметрию можно использовать для подсчета рациональных кривых на многообразии Калаби-Яу, тем самым решив давнюю проблему. Хотя первоначальный подход к зеркальной симметрии основывался на физических идеях, которые не были поняты математически точно, некоторые из его математических предсказаний с тех пор были строго доказаны .
Сегодня зеркальная симметрия является основной темой исследований в чистой математике , и математики работают над разработкой математического понимания этой связи, основанного на интуиции физиков. Зеркальная симметрия также является фундаментальным инструментом для проведения вычислений в теории струн, и она использовалась для понимания аспектов квантовой теории поля , формализма, который физики используют для описания элементарных частиц . Основные подходы к зеркальной симметрии включают программу гомологической зеркальной симметрии Максима Концевича и гипотезу SYZ Эндрю Стромингера , Шин-Тунг Яу и Эрика Заслоу .
В физике теория струн — это теоретическая структура , в которой точечные частицы физики частиц заменяются одномерными объектами, называемыми струнами . Эти струны выглядят как небольшие сегменты или петли обычной струны. Теория струн описывает, как струны распространяются в пространстве и взаимодействуют друг с другом. На масштабах расстояний, больших, чем масштаб струны, струна будет выглядеть так же, как обычная частица, с ее массой , зарядом и другими свойствами, определяемыми вибрационным состоянием струны. Расщепление и рекомбинация струн соответствуют испусканию и поглощению частиц, что приводит к взаимодействию между частицами. [1]
Существуют заметные различия между миром, описываемым теорией струн, и повседневным миром. В повседневной жизни существуют три привычных измерения пространства (вверх/вниз, влево/вправо и вперед/назад), и есть одно измерение времени (позже/раньше). Таким образом, на языке современной физики говорят, что пространство-время четырехмерно. [2] Одной из особенностей теории струн является то, что она требует дополнительных измерений пространства-времени для своей математической согласованности. В теории суперструн , версии теории, которая включает теоретическую идею, называемую суперсимметрией , существует шесть дополнительных измерений пространства-времени в дополнение к четырем, которые знакомы из повседневного опыта. [3]
Одной из целей современных исследований в области теории струн является разработка моделей, в которых струны представляют частицы, наблюдаемые в экспериментах по физике высоких энергий. Чтобы такая модель соответствовала наблюдениям, ее пространство-время должно быть четырехмерным на соответствующих масштабах расстояний, поэтому необходимо искать способы ограничить дополнительные измерения меньшими масштабами. В большинстве реалистичных моделей физики, основанных на теории струн, это достигается с помощью процесса, называемого компактификацией , в котором предполагается, что дополнительные измерения «замыкаются» на себе, образуя круги. [4] В пределе, когда эти свернутые измерения становятся очень маленькими, получается теория, в которой пространство-время фактически имеет меньшее количество измерений. Стандартной аналогией для этого является рассмотрение многомерного объекта, такого как садовый шланг. Если шланг рассматривать с достаточного расстояния, он, по-видимому, имеет только одно измерение — свою длину. Однако, приближаясь к шлангу, можно обнаружить, что он содержит второе измерение — свою окружность. Таким образом, муравей, ползущий по поверхности шланга, будет двигаться в двух измерениях. [5]
Компактификация может быть использована для построения моделей, в которых пространство-время фактически является четырехмерным. Однако не каждый способ компактификации дополнительных измерений создает модель с правильными свойствами для описания природы. В жизнеспособной модели физики элементарных частиц компактные дополнительные измерения должны иметь форму многообразия Калаби-Яу . [4] Многообразие Калаби-Яу — это особое пространство , которое обычно считается шестимерным в приложениях к теории струн. Оно названо в честь математиков Эухенио Калаби и Шинг-Тунг Яу . [6]
После того, как многообразия Калаби-Яу вошли в физику как способ компактификации дополнительных измерений, многие физики начали изучать эти многообразия. В конце 1980-х годов Лэнс Диксон , Вольфганг Лерхе, Кумрун Вафа и Ник Уорнер заметили, что при такой компактификации теории струн невозможно однозначно реконструировать соответствующее многообразие Калаби-Яу. [7] Вместо этого две разные версии теории струн, называемые теорией струн типа IIA и типом IIB, могут быть компактифицированы на совершенно разных многообразиях Калаби-Яу, что приводит к одной и той же физике. [a] В этой ситуации многообразия называются зеркальными многообразиями, а связь между двумя физическими теориями называется зеркальной симметрией. [9]
Отношение зеркальной симметрии является частным примером того, что физики называют физической дуальностью . В общем, термин физическая дуальность относится к ситуации, когда две, казалось бы, разные физические теории оказываются эквивалентными нетривиальным образом. Если одну теорию можно преобразовать так, чтобы она выглядела точно так же, как другая теория, то говорят, что эти две теории дуальны при таком преобразовании. Иными словами, эти две теории являются математически разными описаниями одних и тех же явлений. [10] Такие дуальности играют важную роль в современной физике, особенно в теории струн. [b]
Независимо от того, обеспечивают ли компактификации Калаби–Яу теории струн правильное описание природы, существование зеркальной дуальности между различными теориями струн имеет существенные математические последствия. [11] Многообразия Калаби–Яу, используемые в теории струн, представляют интерес для чистой математики , а зеркальная симметрия позволяет математикам решать задачи исчислительной алгебраической геометрии , раздела математики, связанного с подсчетом количества решений геометрических вопросов. Классическая задача исчислительной геометрии состоит в перечислении рациональных кривых на многообразии Калаби–Яу, таком как проиллюстрированное выше. Применив зеркальную симметрию, математики перевели эту задачу в эквивалентную задачу для зеркального Калаби–Яу, которая оказывается проще для решения. [12]
В физике зеркальная симметрия обоснована на физических основаниях. [13] Однако математики обычно требуют строгих доказательств , которые не требуют обращения к физической интуиции. С математической точки зрения версия зеркальной симметрии, описанная выше, все еще является только гипотезой, но есть другая версия зеркальной симметрии в контексте топологической теории струн , упрощенная версия теории струн, введенная Эдвардом Виттеном , [14] которая была строго доказана математиками. [15] В контексте топологической теории струн зеркальная симметрия утверждает, что две теории, называемые A-моделью и B-моделью, эквивалентны в том смысле, что существует дуальность, связывающая их. [16] Сегодня зеркальная симметрия является активной областью исследований в математике, и математики работают над разработкой более полного математического понимания зеркальной симметрии, основанного на интуиции физиков. [17]
Идея зеркальной симметрии восходит к середине 1980-х годов, когда было замечено, что струна, распространяющаяся по окружности радиуса, физически эквивалентна струне, распространяющейся по окружности радиуса в соответствующих единицах . [18] Это явление теперь известно как T-дуальность и считается тесно связанным с зеркальной симметрией. [19] В статье 1985 года Филипп Канделас , Гэри Горовиц , Эндрю Строминджер и Эдвард Виттен показали, что путем компактификации теории струн на многообразии Калаби-Яу получается теория, примерно похожая на стандартную модель физики элементарных частиц , которая также последовательно включает в себя идею, называемую суперсимметрией. [20] После этого развития многие физики начали изучать компактификации Калаби-Яу, надеясь построить реалистичные модели физики элементарных частиц на основе теории струн. Кумрун Вафа и другие заметили, что при наличии такой физической модели невозможно однозначно реконструировать соответствующее многообразие Калаби-Яу. Вместо этого существуют два многообразия Калаби-Яу, которые порождают одну и ту же физику. [21]
Изучая связь между многообразиями Калаби-Яу и некоторыми конформными теориями поля , называемыми моделями Гепнера, Брайан Грин и Ронен Плессер обнаружили нетривиальные примеры зеркальной связи. [22] Дополнительные доказательства этой связи были получены в работе Филиппа Канделаса, Моники Линкер и Рольфа Шиммригка, которые обследовали большое количество многообразий Калаби-Яу с помощью компьютера и обнаружили, что они представляют собой зеркальные пары. [23]
Математики заинтересовались зеркальной симметрией около 1990 года, когда физики Филипп Канделас, Ксения де ла Осса, Пол Грин и Линда Паркс показали, что зеркальную симметрию можно использовать для решения задач исчислительной геометрии [24] , которые не поддавались решению в течение десятилетий или более. [25] Эти результаты были представлены математикам на конференции в Исследовательском институте математических наук (MSRI) в Беркли, Калифорния, в мае 1991 года. Во время этой конференции было замечено, что одно из чисел, вычисленных Канделасом для подсчета рациональных кривых, не согласуется с числом, полученным норвежскими математиками Гейром Эллингсрудом и Стайном Арильдом Стрёмме с использованием якобы более строгих методов. [26] Многие математики на конференции предположили, что работа Канделаса содержала ошибку, поскольку она не была основана на строгих математических аргументах. Однако, проверив свое решение, Эллингсруд и Стрёмме обнаружили ошибку в своем компьютерном коде и, исправив код, получили ответ, который совпадал с полученным Канделасом и его коллегами. [27]
В 1990 году Эдвард Виттен представил топологическую теорию струн, [14] упрощенную версию теории струн, и физики показали, что существует версия зеркальной симметрии для топологической теории струн. [28] Это утверждение о топологической теории струн обычно принимается за определение зеркальной симметрии в математической литературе. [29] В своем выступлении на Международном конгрессе математиков в 1994 году математик Максим Концевич представил новую математическую гипотезу, основанную на физической идее зеркальной симметрии в топологической теории струн. Известная как гомологическая зеркальная симметрия , эта гипотеза формализует зеркальную симметрию как эквивалентность двух математических структур: производной категории когерентных пучков на многообразии Калаби–Яу и категории Фукая ее зеркала. [30]
Также около 1995 года Концевич проанализировал результаты Канделаса, который дал общую формулу для задачи подсчета рациональных кривых на квинтике трифолда , и он переформулировал эти результаты как точную математическую гипотезу. [31] В 1996 году Александр Гивенталь опубликовал статью, в которой утверждал, что доказал эту гипотезу Концевича. [32] Первоначально многие математики сочли эту статью трудной для понимания, поэтому возникли сомнения в ее правильности. Впоследствии Бонг Лянь, Кефенг Лю и Шин-Тунг Яу опубликовали независимое доказательство в серии статей. [33] Несмотря на разногласия по поводу того, кто опубликовал первое доказательство, эти статьи теперь в совокупности рассматриваются как предоставление математического доказательства результатов, первоначально полученных физиками с использованием зеркальной симметрии. [34] В 2000 году Кентаро Хори и Кумрун Вафа дали еще одно физическое доказательство зеркальной симметрии, основанное на T-дуальности. [13]
Работа над зеркальной симметрией продолжается и сегодня, и основные разработки ведутся в контексте струн на поверхностях с границами. [17] Кроме того, зеркальная симметрия связана со многими активными областями математических исследований, такими как соответствие Маккея , топологическая квантовая теория поля и теория условий устойчивости . [35] В то же время основные вопросы продолжают вызывать беспокойство. Например, математики до сих пор не понимают, как строить примеры зеркальных пар Калаби–Яу, хотя в понимании этого вопроса наблюдается прогресс. [36]
Многие из важных математических приложений зеркальной симметрии относятся к разделу математики, называемому исчислительной геометрией. В исчислительной геометрии интерес представляет подсчет количества решений геометрических вопросов, обычно с использованием методов алгебраической геометрии . Одна из самых ранних задач исчислительной геометрии была поставлена около 200 г. до н. э. древнегреческим математиком Аполлонием , который спросил, сколько окружностей на плоскости касаются трех данных окружностей. В общем, решение задачи Аполлония заключается в том, что таких окружностей восемь. [37]
Перечислительные задачи в математике часто касаются класса геометрических объектов, называемых алгебраическими многообразиями , которые определяются обращением в нуль многочленов . Например, кубика Клебша (см. иллюстрацию) определяется с помощью определенного многочлена третьей степени от четырех переменных. Знаменитый результат математиков девятнадцатого века Артура Кэли и Джорджа Салмона гласит, что существует ровно 27 прямых линий, которые полностью лежат на такой поверхности. [38]
Обобщая эту проблему, можно спросить, сколько линий можно нарисовать на квинтике многообразия Калаби-Яу, например, как показано выше, которое определяется полиномом пятой степени. Эта проблема была решена немецким математиком девятнадцатого века Германом Шубертом , который обнаружил, что существует ровно 2875 таких линий. В 1986 году геометр Шелдон Кац доказал, что количество кривых, таких как окружности, которые определяются полиномами второй степени и полностью лежат в квинтике, равно 609 250. [37]
К 1991 году большинство классических задач исчислительной геометрии были решены, и интерес к исчислительной геометрии начал угасать. По словам математика Марка Гросса , «поскольку старые задачи были решены, люди вернулись к проверке чисел Шуберта с помощью современных методов, но это уже довольно устарело». [39] Область возродилась в мае 1991 года, когда физики Филипп Канделас, Ксения де ла Осса, Пол Грин и Линда Паркс показали, что зеркальную симметрию можно использовать для подсчета числа кривых третьей степени на квинтике Калаби-Яу. Канделас и его коллеги обнаружили, что эти шестимерные многообразия Калаби-Яу могут содержать ровно 317 206 375 кривых третьей степени. [39]
В дополнение к подсчету кривых третьей степени на трехмерном пространстве квинтики, Канделас и его коллеги получили ряд более общих результатов для подсчета рациональных кривых, которые вышли далеко за рамки результатов, полученных математиками. [40] Хотя методы, использованные в этой работе, основывались на физической интуиции, математики продолжили строго доказывать некоторые предсказания зеркальной симметрии. В частности, перечислимые предсказания зеркальной симметрии теперь строго доказаны. [34]
В дополнение к своим приложениям в исчислительной геометрии, зеркальная симметрия является фундаментальным инструментом для выполнения вычислений в теории струн. В A-модели топологической теории струн физически интересные величины выражаются в терминах бесконечного множества чисел, называемых инвариантами Громова–Виттена , которые чрезвычайно трудно вычислить. В B-модели вычисления могут быть сведены к классическим интегралам и намного проще. [41] Применяя зеркальную симметрию, теоретики могут переводить сложные вычисления в A-модели в эквивалентные, но технически более простые вычисления в B-модели. Затем эти вычисления используются для определения вероятностей различных физических процессов в теории струн. Зеркальную симметрию можно объединить с другими дуальностями, чтобы перевести вычисления в одной теории в эквивалентные вычисления в другой теории. Передавая вычисления в разные теории таким образом, теоретики могут вычислять величины, которые невозможно вычислить без использования дуальностей. [42]
За пределами теории струн зеркальная симметрия используется для понимания аспектов квантовой теории поля , формализма, который физики используют для описания элементарных частиц . Например, калибровочные теории представляют собой класс высокосимметричных физических теорий, появляющихся в стандартной модели физики элементарных частиц и других частях теоретической физики. Некоторые калибровочные теории, которые не являются частью стандартной модели, но которые, тем не менее, важны по теоретическим причинам, возникают из струн, распространяющихся на почти сингулярном фоне. Для таких теорий зеркальная симметрия является полезным вычислительным инструментом. [43] Действительно, зеркальная симметрия может использоваться для выполнения вычислений в важной калибровочной теории в четырех измерениях пространства-времени, которая была изучена Натаном Зайбергом и Эдвардом Виттеном и также известна в математике в контексте инвариантов Дональдсона . [44] Существует также обобщение зеркальной симметрии, называемое трехмерной зеркальной симметрией , которая связывает пары квантовых теорий поля в трех измерениях пространства-времени. [45]
В теории струн и связанных с ней теориях в физике брана — это физический объект, который обобщает понятие точечной частицы на более высокие измерения. Например, точечную частицу можно рассматривать как брану размерности ноль, в то время как струну можно рассматривать как брану размерности один. Также можно рассматривать браны более высоких размерностей. Слово брана происходит от слова «мембрана», которое относится к двумерной бране. [46]
В теории струн струна может быть открытой (образующей сегмент с двумя концами) или закрытой (образующей замкнутую петлю). D-браны — важный класс бран, возникающих при рассмотрении открытых струн. Поскольку открытая струна распространяется через пространство-время, ее концы должны лежать на D-бране. Буква «D» в D-бране относится к условию, которому она удовлетворяет, граничному условию Дирихле . [47]
Математически браны можно описать с помощью понятия категории . [48] Это математическая структура, состоящая из объектов , и для любой пары объектов — набора морфизмов между ними. В большинстве примеров объекты являются математическими структурами (такими как множества , векторные пространства или топологические пространства ), а морфизмы — функциями между этими структурами. [49] Можно также рассмотреть категории, где объекты — D-браны, а морфизмы между двумя бранами и — состояния открытых струн, натянутых между и . [50]
В B-модели топологической теории струн D-браны являются комплексными подмногообразиями Калаби-Яу вместе с дополнительными данными, которые физически возникают из-за наличия зарядов на концах струн. [50] Интуитивно можно думать о подмногообразии как о поверхности, вложенной внутрь Калаби-Яу, хотя подмногообразия могут существовать и в размерностях, отличных от двух. [25] На математическом языке категория, имеющая эти браны в качестве своих объектов, известна как производная категория когерентных пучков на Калаби-Яу. [51] В A-модели D-браны снова можно рассматривать как подмногообразия многообразия Калаби-Яу. Грубо говоря, они являются тем, что математики называют специальными лагранжевыми подмногообразиями . [51] Это означает, среди прочего, что они имеют половину размерности пространства, в котором они находятся, и они минимизируют длину, площадь или объем. [52] Категория, имеющая эти браны в качестве своих объектов, называется категорией Фукая. [51]
Производная категория когерентных пучков строится с использованием инструментов из комплексной геометрии , раздела математики, который описывает геометрические кривые в алгебраических терминах и решает геометрические задачи с использованием алгебраических уравнений . [53] С другой стороны, категория Фукая строится с использованием симплектической геометрии , раздела математики, возникшего из исследований классической физики . Симплектическая геометрия изучает пространства, снабженные симплектической формой , математическим инструментом, который может быть использован для вычисления площади в двумерных примерах. [16]
Гипотеза гомологической зеркальной симметрии Максима Концевича утверждает, что производная категория когерентных пучков на одном многообразии Калаби–Яу эквивалентна в определенном смысле категории Фукая его зеркала. [54] Эта эквивалентность дает точную математическую формулировку зеркальной симметрии в топологической теории струн. Кроме того, она дает неожиданный мост между двумя ветвями геометрии, а именно комплексной и симплектической геометрией. [55]
Другой подход к пониманию зеркальной симметрии был предложен Эндрю Стромингером, Шинг-Тунгом Яу и Эриком Заслоу в 1996 году. [19] Согласно их гипотезе, теперь известной как гипотеза SYZ, зеркальную симметрию можно понять, разделив многообразие Калаби–Яу на более простые части, а затем преобразовав их для получения зеркального Калаби–Яу. [56]
Простейшим примером многообразия Калаби–Яу является двумерный тор или форма бублика. [57] Рассмотрим окружность на этой поверхности, которая проходит один раз через отверстие бублика. Примером является красный круг на рисунке. На торе существует бесконечно много подобных окружностей; фактически вся поверхность является объединением таких окружностей. [58]
Можно выбрать вспомогательную окружность (розовая окружность на рисунке) так, чтобы каждая из бесконечного множества окружностей, разлагающих тор, проходила через точку . Говорят, что эта вспомогательная окружность параметризует окружности разложения, то есть между ними и точками существует соответствие . Однако окружность — это больше, чем просто список, поскольку она также определяет, как эти окружности расположены на торе. Это вспомогательное пространство играет важную роль в гипотезе SYZ. [52]
Идея деления тора на части, параметризованные вспомогательным пространством, может быть обобщена. Увеличивая размерность с двух до четырех действительных измерений, Калаби–Яу становится поверхностью K3 . Так же, как тор был разложен на окружности, четырехмерная поверхность K3 может быть разложена на двумерные торы. В этом случае пространство представляет собой обычную сферу . Каждая точка на сфере соответствует одному из двумерных торов, за исключением двадцати четырех «плохих» точек, соответствующих «защемленным» или сингулярным торам. [52]
Многообразия Калаби–Яу, представляющие основной интерес в теории струн, имеют шесть измерений. Можно разделить такое многообразие на 3-торы (трехмерные объекты, обобщающие понятие тора), параметризованные 3-сферой (трехмерное обобщение сферы). Каждая точка соответствует 3-тору, за исключением бесконечного числа «плохих» точек, которые образуют сетчатый узор сегментов на многообразии Калаби–Яу и соответствуют сингулярным торам. [59]
После того, как многообразие Калаби–Яу было разложено на более простые части, зеркальную симметрию можно понять интуитивно геометрическим способом. В качестве примера рассмотрим тор, описанный выше. Представьте, что этот тор представляет собой «пространство-время» для физической теории . Фундаментальными объектами этой теории будут струны, распространяющиеся через пространство-время в соответствии с правилами квантовой механики . Одной из основных дуальностей теории струн является T-дуальность, которая утверждает, что струна, распространяющаяся по окружности радиуса, эквивалентна струне, распространяющейся по окружности радиуса в том смысле, что все наблюдаемые величины в одном описании отождествляются с величинами в дуальном описании. [60] Например, струна имеет импульс , когда она распространяется по окружности, и она также может намотаться на окружность один или несколько раз. Число раз, которое струна наматывается на окружность, называется числом витков . Если струна имеет импульс и число витков в одном описании, она будет иметь импульс и число витков в дуальном описании. [60] Применяя T-дуальность одновременно ко всем окружностям, которые разлагают тор, радиусы этих окружностей становятся инвертированными, и остается новый тор, который «толще» или «тоньше» исходного. Этот тор является зеркалом исходного Калаби–Яу. [61]
T-дуальность может быть расширена от окружностей до двумерных торов, появляющихся в разложении поверхности K3, или до трехмерных торов, появляющихся в разложении шестимерного многообразия Калаби–Яу. В общем, гипотеза SYZ утверждает, что зеркальная симметрия эквивалентна одновременному применению T-дуальности к этим торам. В каждом случае пространство предоставляет своего рода чертеж, описывающий, как эти торы собираются в многообразие Калаби–Яу. [62]