Хабрахабр

[Перевод] Математика, помирившая Ньютона с квантовым миром

image

Как профессор математики перестал бояться и полюбил алгебраическую геометрию.

Как и следует из её названия, этот раздел математики использует для изучения геометрии алгебру. На шестом десятке уже поздно становиться настоящим специалистом по алгебраической геометрии, но мне наконец-то удалось в неё влюбиться. Можно записать уравнение вида x2+ y2 = 1, и получить кривую, состоящую из точек, координаты которых удовлетворяют этому уравнению. Примерно в 1637 году Рене Декарт заложил фундамент этой области знаний, взяв плоскость, мысленно нарисовав на ней сетку и обозначив координаты за x и y. В этом примере мы получим круг.

Некоторые математики занимались этой великолепной областью всю свою жизнь. Для того времени это была революционная идея, потому что она позволяет нам системным образом преобразовывать вопросы геометрии в вопросы об уравнениях, которые при достаточном знании алгебры можно решить. Мой дядя Альберт Баэз, отец знаменитой фолк-певицы Джоан Баэз, работал на ЮНЕСКО и помогал развивающимся странам с обучением физике. Мне она до последнего времени не нравилась, но я смог связать её с моим интересом к квантовой физике.
В детстве физика нравилась мне больше математики. Когда дядя приезжал в город, он открывал свой портфель, доставал оттуда магниты или голограммы, и с их помощью объяснял мне физику. Мои родители жили в Вашингтоне. Когда мне было восемь лет, он подарил мне написанный им учебник по физике для колледжа. Это было потрясающе. Я решил стать физиком, и родители обеспокоились, потому что знали, что для физики нужна математика, а я в ней был не очень силён. Хотя я и не мог его понять, но сразу понял, что хочу этого. Но позже, когда я осознал, что играясь с уравнениями, смогу больше узнать о Вселенной, она меня увлекла. Деление в столбик казалось мне невыносимо скучным, и я отказывался делать домашнюю работу по математике с её бесконечно повторяющейся рутиной. Наука — это магия, которая на самом деле работает. Загадочные символы походили на волшебные заклинания, и в каком-то смысле так оно и было.

Он формулировал это так: «Чудо адекватности языка математики для формулировки законов физики есть восхитительный дар, который мы не постигаем и не заслуживаем». В колледже я выбрал основным предметом математику, и заинтересовался вопросом физика-теоретика Юджина Вигнера о «необъяснимой эффективности» математики: почему наша Вселенная с такой готовностью подчиняется математическим законам? Я уже понимал, что математика слишком объёмна, чтобы изучить её целиком, поэтому в магистратуре решил сосредоточиться на том, что было важно мне. Будучи юным оптимистом, я чувствовал, что эти законы дадут нам подсказки для решения более глубокой головоломки: почему Вселенная вообще управляется математическими законами. И одним из тех, что мне не казалось важным, была алгебраическая геометрия.

Причина в следующем: в своём классическом виде эта область исследует только полиномиальные уравнения — уравнения, которые описывают не просто кривые, но и фигуры более высокой размерности, называемые «многообразиями». Как математик может не влюбиться в алгебраическую геометрию? Но уравнение с синусами, косинусами или другими функциями находится за пределами этой области, если только мы не найдём какого-то способа преобразовать его в уравнение из многочленов. То есть x2+ y2= 1 — это нормально, как и x43 2xy2= y7. В конце концов, в задачах физики используется множество функций, не являющихся многочленами. Студенту магистратуры это казалось ужасным ограничением.

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

Математики изучают всевозможные виды функций, но хотя они и очень важны, на каком-то уровне их сложность только отвлекает от фундаментальных загадок связи между геометрией и алгеброй. Почему алгебраическая геометрия ограничивает себя многочленами? Она занималась этим веками, и теперь мастерство работы с многочленами поистине поражает: алгебраическая геометрия превратилась в мощный инструмент теории чисел, криптографии и многих других областей. Ограничив ширину своих поисков, алгебраическая геометрия может глубже исследовать эти загадки. Но для её истинных почитателей ценность этой области заключается в самой себе.

Напыщенным тоном он сказал одно слово: «Хартсхорн». Однажды я встретил студента магистратуры из Гарварда и спросил его, что он изучает. Предполагается, что он должен стать введением в предмет, но на самом деле очень сложен. Он имел в виду учебник Робина Хартсхорна «Алгебраическая геометрия», опубликованный в 1977 году. В этой главе используется множество классических результатов из коммутативной алгебры, в том числе теорема Гильберта о нулях, и часто встречаются отсылки книгам Атьи-Макдональда, Мацумуры и Зарисского-Самуэля». Процитируем описание из Википедии: «Первая глава под названием „Многообразия“ рассказывает о классической алгебраической геометрии многообразий над алгебраически замкнутыми полями.

Чтобы разобраться даже в первой главе Хартсхорна, нужен довольно большой объём фоновых знаний. Если вы ничего не поняли… то это я и имел в виду. Читать Хартсхорна — это как пытаться догнать гениев многих веков, стремившихся бежать со всех ног.

Знаменитая кубическая: это кубическая узловая поверхность Кэли. Она знаменита тем, что это многообразие с наибольшим количеством узлов (таких острых штук), которые можно описать кубическим уравнением. Уравнение имеет вид (xy + yz + zx)(1 – xyz) xyz = 0 и называется «кубическим» потому, что одновременно мы перемножаем не более трёх переменных.

Примерно с 1960 по 1970 годы Гротендик совершил революционный переворот в алгебраической геометрии, сделав её частью эпичного путешествия с целью доказательства гипотез Вейля, связывающих многообразия с решениями проблем из теории чисел. Одним из этих гениев был научный руководитель Хартсхорна — Александр Гротендик. У него было чёткое представление о том, как это должно произойти. Гротендик предположил, что гипотезы Вейля можно подтвердить, усилив и углубив связь между геометрией и алгеброй. Чтобы выполнить его, он организовал семинар. Но для обеспечения точности этой идеи требовался огромный труд. Гротендик почти каждый день выступал с докладами и воспользовался помощью лучших математиков Парижа.

Давай пробежим матема-фон: Александр Гротендик на своём семинаре.

В конце концов, воспользовавшись этими идеями, Гротендик успешно доказал все гипотезы Вейля, кроме последней, самой сложной. Безостановочно работая в течение десятилетия, они написали тысячи страниц новой математики, наполненной ошеломительными концепциями. К удивлению Гротендика, её решил его студент.

Это звучит немного странно, учитывая то, насколько абстрактна вся математика. В течение его наиболее продуктивных лет, даже несмотря на доминирование во французской школе алгебраической геометрии, многие математики считали идеи Гротендика «слишком абстрактными». Будучи студентом магистратуры, я старался от них отдалиться, потому что активно сражался с изучением физики: в ней гении тоже веками творили на полной скорости, и чтобы добраться до передового рубежа, приходится долго догонять. Но несомненно то, что для восприятия его идей требуются время и усилия. Но позже, когда я начал свою карьеру, мои исследования привели меня к работе Гротендика.

Физики, изучающие теорию струн, постулируют, что кроме видимых измерений пространства и времени (трёх измерений для пространства и одного для времени) существуют дополнительные измерения пространства, настолько скрученные, что их невозможно увидеть. Если бы я выбрал другой путь, то мог подойти к его работе через изучение теории струн. Поэтому, исследователи теории струн легко могут столкнуться со сложными вопросами из алгебраической геометрии. В некоторых их теориях эти дополнительные измерения образуют многообразие. А это, в свою очередь, заставляет их столкнуться с Гротендиком.

Я совсем запутался: срез одного многообразия, называемого «трёхмерным многообразием пятого порядка» (quintic threefold), которое можно использовать для описания дополнительных свёрнутых измерений пространства в теории струн.

лучше всего теорию струн рекламирует не успешное предсказание экспериментальных результатов — этим она совершенно не может похвастаться — а способность решать проблемы в пределах чистой математики, в том числе и алгебраической геометрии. И в самом деле. Поэтому сегодня можно увидеть теоретиков струн, общающихся с алгебраическими геометрами, и каждая из сторон при этом может удивить другую своими открытиями. Например, теория струн потрясающе хорошо может подсчитывать количество кривых разного вида, которые можно отрисовать в определённых многообразиях.

У меня всегда были серьёзные сомнения в теории струн, а подсчёт кривых в многообразиях — это последнее, чем бы я хотел заниматься: это как скалолазание — очень увлекательно наблюдать, но слишком страшно, чтобы заниматься самому. Но источник моего личного интереса к работе Гротендика был другим. В частности, на меня произвела большое впечатление его 600-страничная неопубликованная рукопись Pursuing Stacks, написанная в 1983 году. Оказалось, что идеи Гротендика насколько обобщены и сильны, что распространяются за пределы алгебраической геометрии на множество других областей. В ней он заявляет, что топология (если объяснять в широком смысле, то это теория о том, какие формы может принимать пространство, если нас не волнует его изгибание или растягивание, а интересуют только виды отверстий) может быть целиком сведена к алгебре!

Но оказывается, что «алгебраическая топология» имеет совершенно другой привкус, потому что в топологии мы не обязаны ограничиваться фигурами, описываемыми полиномиальными уравнениями. Поначалу эта идея может показаться аналогичной алгебраической геометрии, в которой мы используем алгебру для описания геометрических фигур (например, кривых или многообразий более высокой размерности). Вместо работы с прекрасными драгоценностями, мы имеем дело с гибкими, мягкими сгустками; поэтому нам нужна другая алгебра.

Если нужно объяснение: математики иногда шутят, что топологи не видят разницы между пончиком и чашкой кофе.

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

Тем не менее, именно возможные физические преимущества сведения топологии к алгебре восхитили меня в работе Гротендика. Мои коллеги-физики на этом моменте взвыли бы и начали жаловаться, что я слишком всё упрощаю: в квантовой физике используется не просто алгебра, а общая теория относительности — это не только топология.

Некоторые математики считают эти концепции сложной частью алгебраической геометрии. Поэтому начиная с 1990-х я пытался разобраться в мощных абстрактных концепциях, изобретённых Гротендиком, и на сегодняшний день добился частичного успеха. Для меня сложной частью стали не все эти абстрактные концепции, а их скучные подробности. Но теперь они кажутся мне простой частью. Но есть ещё и многое другое. Во-первых, это весь тот материал в текстах, которые Хартсхорн считает обязательными предпосылками: «книги Атья-Макдональда, Мацумуры и Зарисского-Самуэля», а это огромные объёмы алгебры.

Студент-физик однажды спросил знаменитого специалиста о том, сколько математики должен знать физик. Поэтому хотя у меня теперь и есть часть того, что необходимо для чтения Хартсхорна, до недавнего времени изучение этих материалов слишком страшило меня. И в самом деле, изучение математики никогда нельзя считать законченным, поэтому я сосредоточился на аспектах, которые казались самыми важными и/или интересными. Специалист ответил: «Больше, чем он знает». До прошлого года алгебраическая геометрия никогда не оказывалась в начале этого списка.

Я осознал, что алгебраическая геометрия связана с отношениями между классической и квантовой физикой. Что же изменилось? Квантовая физика — это физика Шрёдингера и Гейзенберга, ею управляет принцип неопределённости: если мы измеряем некоторые аспекты физической системы с полной точностью, другие должны оставаться неопределёнными. Классическая физика — это физика Ньютона, в которой мы предполагаем, что можем измерить всё с полной точностью, хотя бы в теории.

В классической механике мы визуализируем его стрелкой, направленной вдоль оси вращения, и длина этой стрелки пропорциональна скорости вращения объекта. Например, любой вращающийся объект обладает «угловым моментом». В квантовой механике — более точном описании реальности — это оказывается неверным. А в классической механике мы предполагаем, что можем точно измерить эту стрелку. насколько далеко она указывает в направлении y. Например, если мы знаем, насколько далеко указывает стрелка в направлении x, то не можем узнать. Эта неопределённость слишком мала, чтобы заметить её для баскетбольного мяча, но для электрона она очень существенна: пока физики не начали это учитывать, у них было только грубое понимание электронов.

То есть они начинают с классического описания какой-то физической системы и пытаются вывести квантовое описание. Физики часто стремятся «квантифицировать» задачи классической физики. И это не должно вас удивлять: эти два взгляда на мир сильно отличаются. Для выполнения этой работы не существует какой-то общей и полностью систематизированной процедуры. Наиболее систематизированные из них применимы к очень ограниченному множеству физических задач. Однако существуют полезные рецепты для выполнения квантизации.

Не стоит ожидать, что это возможно в общем случае, но во многих важных случаях такое происходит. Например, в классической физике мы иногда можем описать систему точкой в многообразии. Таким образом, мы можем описать вращающийся объект точкой на сфере. Например, рассмотрим вращающийся объект: если мы зафиксируем длину стрелки его углового момента, то стрелка всё равно может указывать в любом направлении, то есть её конец должен лежать на сфере. И эта сфера на самом деле является многообразием, "сферой Римана", названной в честь одного из величайших алгебраических геометров 19-го века Бернхарда Римана.

Многообразие: поверхность Эндрасса восьмого порядка — это красивый высокосимметричный пример «многообразия»: фигуры, описываемой полиномиальными уравнениями. Алгебраическая геометрия начиналась как исследование подобных фигур.

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

Ричард Фейнман однажды сказал, что для продвижения в решении сложной физической задачи ему нужно взглянуть на неё под особым углом:

То есть как будто у меня есть талант, которым не пользуются другие, или особый взгляд, который они по глупости не посчитали превосходным взглядом на вещи. "[…] Мне нужно думать, что у меня есть какой-то кратчайший путь решения текущей проблемы. В глубине души я знаю, что скорее всего эта причина ложна, и вероятнее всего, выбранный мной взгляд уже использовался другими. Мне необходимо думать, что по какой-то причине мои шансы выше, чем у других. Но меня это не волнует: я обманываю себя, убеждая, что у меня есть дополнительный шанс".

Возможно, именно этого мне до недавнего времени не хватало в алгебраической геометрии. Разумеется, алгебраическая геометрия — это не просто задача, которую нужно решить, а комплекс знаний — но это настолько огромная, пугающая совокупность, что я не решался касаться его, пока не нашёл этот кратчайший путь. Теперь я могу читать Хартсхорна, переводить некоторые из результатов в факты о физике, и у меня появился шанс на понимание всего этого. Это превосходное ощущение.

Он ведёт блог Azimuth о математике, естественных науках и проблемах окружающих среды. Об авторе: Джон Баэз — профессор математики из Калифорнийского университета в Риверсайде и приглашённый исследователь Центра квантовых технологий Сингапура. Подписывайтесь на него в Twitter: @johncarlosbaez.

Показать больше

Похожие публикации

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *

Кнопка «Наверх»