Одна из первых задач такого типа была сформулирована приблизительно в 200 году до нашей эры греческим математиком Аполлонием, которого интересовал следующий вопрос: если даны три окружности, то сколькими способами можно нарисовать четвертую так, чтобы она касалась всех трех одновременно? Ответ на этот вопрос (восемь) может быть получен с помощью линейки и циркуля. Для решения же задачи Шуберта необходимы более сложные вычисления. В работе над этой задачей математики избрали поэтапный подход, рассматривая за раз только одну степень. Под степенью понимается наивысшая из степеней слагаемых, входящих в многочлен. К примеру, степень полинома 4x2-5y3 равна трем, 6х3y4+4x — семи (степени х3 и y4 складываются), а 2x+3y-4 — единице (график этой функции — прямая линия). Итак, задача состояла в том, чтобы выбрать многообразие (в нашем случае речь идет о трехмерной поверхности пятого порядка) и степень (порядок) кривых, количество которых необходимо было подсчитать. Шуберт решил эту задачу для кривых первого порядка, показав, что на поверхности пятого порядка можно провести ровно 2875 кривых. Почти через сто лет после этого, в 1986 году, Шелдон Кац, в настоящее время работающий в Университете штата Иллинойс, показал, что число кривых второго порядка, подобных окружностям, на той же поверхности равно 609 250. Канделас, де ла Осса, Грин и Паркс, в свою очередь, рассмотрели случай кривых третьего порядка, от которого легко перейти к задаче о числе сфер, которые можно разместить в определенном пространстве Калаби-Яу. В этом им помог прием, основанный на зеркальной симметрии. В то время как решение задачи для многообразия пятого порядка было чрезвычайно сложным, его зеркальный партнер, созданный Грином и Плессером, позволял найти намного более простой путь к решению. Кроме того, в первой статье Грина и Плессера, посвященной зеркальной симметрии, была выдвинута ключевая идея о том, что взаимодействия Юкавы можно представить при помощи двух различных математических формул, одна из которых будет описывать исходное многообразие, а вторая — его зеркальную пару. Первая из этих формул, включающая в себя число рациональных кривых различных степеней, которые можно было обнаружить на многообразии, по словам Грина, была просто «кошмарной». Со второй формулой, зависящей от формы многообразия в более общем виде, работать было намного проще. Однако так как обе формулы описывали один и тот же физический объект, они должны быть эквивалентными — подобно словам «кот» и «cat», которые имеют различный вид, но описывают одно и то же пушистое существо. Статья Грина и Плессера содержала уравнение, из которого напрямую следовала эквивалентность этих двух столь различных формул. — 149 —
|