Эта связь была закреплена последними работами Юйонг Дзена, молодого математика, недавно приглашенного работать в Гарвард, которого обучал мой бывший студент Юн Ли. Дзен показал, что не только рациональные кривые на поверхности КЗ связаны с тау-функцией, но расчет любых кривых произвольного рода на любой алгебраической поверхности связан с тау-функцией. И Дзен сделал это, доказав гипотезу, высказанную немецким математиком Лотаром Гёттше, который обобщил так называемую формулу Яу-Заслоу для рациональных кривых на поверхностях K3. [268] Lothar Goettsche, “A Conjectural Generating Function for Numbers of Curves on Surfaces,” November II, 1997, arXiv.org, Cornell University archives, http://arxiv.org/PS_cache/alg-geom/pdf/9711/9711012vl.pdf .
Новая обобщенная формула, справедливость которой доказал Дзен, носит имя Гёттше-Яу-Заслоу. Несколькими годами ранее бывший мой аспирант А. К. Лью опубликовал доказательство формулы Гёттше-Яу-Заслоу. [269] Ai-Ko Liu, “Family Blowup Formula, Admissible Graphs and the Enumeration of Singular Curves, I,” Journal of Differential Geometry 56 (2000): 381–579.
Но его доказательство, выполненное с помощью сугубо технического, аналитического метода, не дает объяснения в том виде, который устроил бы алгебраических геометров. Таким образом, статья Лью не рассматривается в качестве окончательного подтверждения этой формулы. Доказательство Дзена, основанное на аргументах алгебраической геометрии, получило более широкое признание.
Таким образом, благодаря выводу, изначально вытекающему из теории струн, мы поняли, что связь между исчислительной геометрией и тау-функцией Рамануджана, вероятно, глубже, чем предполагалось. Мы всегда ищем похожие связи между различными разделами математики, поскольку эти неожиданные связи часто могут привести нас к новому пониманию обоих разделов. Я подозреваю, что со временем будет открыто больше связей между исчислительной геометрией и тау-функцией.
В качестве яркого примера обогащения математики теорией струн приведем разработанную в 1990-х годах Виттеном и Натаном Зайбергом из Университета Ратджерса систему уравнений, получившую название Зайберга-Виттена (см. третью главу), которая ускорила исследование четырехмерных пространств. Эти уравнения оказались проще для использования, чем существующие методы, что привело к взрывному росту количества новых идей в работе с четырьмя измерениями, главной из которых является попытка классифицировать и систематизировать все возможные формы. Хотя уравнения Зайберга-Виттена первоначально были получены в теории поля, вскоре было показано, что они также могут быть выведены из теории струн. Кроме того, использование этой идеи в контексте теории струн значительно расширило наши представления о ней. «В ряде случаев, — говорит мой коллега, — Виттен обычно советовал математикам: вот, возьмите эти уравнения, они могут оказаться полезными. И действительно, они оказывались полезными». «Теория струн стала таким благом для математики, таким огромным источникам новых идей, что даже если она окажется несостоятельной как теория природы, она уже сделала для математики больше, чем любой вид человеческой деятельности, который я могу вспомнить», — говорит мой давний сотрудник Бонг Лиан из Университета Брандейса. [270] Bong Lian (Brandeis University), interview with author, December 12, 2007.
Хотя сам я об этом сказал бы более сдержанно, чем Лиан, но, в принципе, я согласен с ним, потому что выигрыш оказался неожиданно огромным. Нашу точку зрения разделяет и Атья: «Теория струн трансформировала, обновила и революционизировала крупные разделы математики… в тех областях, которые кажутся далекими от физики». Многие из областей математики — «геометрию, топологию, алгебраическую геометрию и теорию групп — похоже, смешали в один коктейль, причем способом, глубоко связанным с их основным содержанием, и не по касательной, а прямо в сердце математики». [271] Michael Atiyah, “Pulling the Strings,” Nature 438 (December 22–29, 2005): 1,082.
Хотя в прошлом другие области физики обеспечивали математику информацией, теория струн проникла гораздо глубже во внутреннюю структуру математики, способствуя новым концептуальным прорывам. По иронии судьбы, появление теории струн привело к гармоничному сотрудничеству внутри самой математики, поскольку теория струн потребовала многого от математиков, работающих в самых разных областях, включающих дифференциальную геометрию, алгебраическую геометрию, теорию групп Ли, теорию чисел и другие. Непостижимым образом наши надежды в отношении единой теории физики содействовали объединению математики.
Читать дальше