Эдвард Виттен поддерживает эту точку зрения. «То, что мы сейчас называем “классической геометрией” значительно шире, чем то, что понимали под геометрией всего столетие назад, – говорит он. – Я полагаю, что теория на планковском масштабе, весьма вероятно, включает в себя новый вид обобщенной геометрии или расширение этого понятия».[285]
Обобщения такого рода, связанные с теорией, действительной в определенной области, и расширение сферы ее применимости на еще большую область делались в геометрии неоднократно. Вспомним создание неевклидовой геометрии. «Если бы вы спросили Николая Лобачевского о геометрии его молодости», то есть геометрии конца XVIII века, то «он, вероятно, перечислил бы пять постулатов Евклида, – говорит Адамс. – Если бы вы спросили его позже, когда он стал великим ученым, то он мог бы сказать, что существует пять постулатов, но, может быть, они не нужны нам все».[286] В частности, он выделил бы пятый постулат Евклида о том, что параллельные линии никогда не пересекаются, как необязательный. В конце концов, именно Лобачевский понял, что, исключив постулат о параллельных, он создал совершенно новую геометрию, которую мы называем гиперболической геометрией. Но из того, что параллельные линии не пересекаются на плоскости, то есть в области, где работает евклидова геометрия, вовсе не следует, что это же будет иметь место на поверхности сферы. Например, мы знаем, что все меридианы на глобусе сходятся на северном и южном полюсах. Аналогично, хотя сумма углов треугольника, нарисованного на плоскости, всегда равна 180 градусам, на поверхности сферы сумма этих углов всегда больше 180 градусов, а на поверхности седла их сумма меньше 180 градусов.
Лобачевский опубликовал свои спорные идеи по неевклидовой геометрии в 1829 году, и они были похоронены в малоизвестном русском журнале «Казанский вестник». Несколько лет спустя венгерский математик Янош Бойяи опубликовал свой собственный трактат по неевклидовой геометрии, но работа, к сожалению, стала приложением к книге, написанной его отцом, математиком Фаркашем Бойяи. Примерно в то же время Гаусс разрабатывает аналогичные идеи в области дифференциальной геометрии. Он сразу понял, что эти новые понятия криволинейных пространств и «внутренней геометрии» переплетаются с физикой. «Геометрию следует относить не к арифметике, которая является чисто априорнойнаукой, а к механике», – говорил Гаусс.[287] Как мне кажется, он имел в виду, что геометрия, в отличие от арифметики, должна опираться на эмпирическую науку, а именно на физику, которая в то время называлась механикой, чтобы ее описания были весомыми. Гауссова внутренняя геометрия поверхностей заложила фундамент для римановой геометрии, которая, в свою очередь, привела к блестящим идеям Эйнштейна о пространстве‑времени.
Таким образом, пионеры науки, подобные Лобачевскому, Бойяи и Гауссу, не отбросили все, что было сделано до них, а просто открыли дверь новым возможностям. Их новаторские работы способствовали созданию более экспансивной геометрии, так как ее принципы не ограничивались плоскостью, а могли быть применимы ко всем криволинейным поверхностям и пространствам. Хотя элементы евклидовой геометрии по‑прежнему сохраняются в этой расширенной, более общей геометрии. Например, если вы берете небольшой участок земной поверхности, скажем, на Манхэттене, то улицы и проспекты можно считать параллельными и перпендикулярными для всех практических целей. Евклидова геометрия достоверно описывает ограниченную область, где эффектами кривизны можно пренебречь, но не работает, если вы смотрите на планету в целом. Можно также рассмотреть треугольник, нарисованный на воздушном шаре. Когда шар относительно небольшой, то сумма углов треугольника больше 180 градусов. Но если мы будем раздувать воздушный шар, то радиус кривизны (r) будет становиться все больше и больше, а сама кривизна (равная 1/r 2) – все меньше и меньше. При приближении r к бесконечности, кривизна будет стремиться к нулю, а сумма углов треугольника в пределе будет точно равна 180 градусам. Как выразился Адамс, «это именно та ситуация на ровной плоскости, в которой евклидова геометрия является чемпионом. Она работает довольно хорошо и на сфере с небольшой кривизной, но, если вы надуваете воздушный шар и кривизна сферы становится все меньше и меньше, то соответствие евклидовой геометрии становится все лучше и лучше. Таким образом, мы видим, что евклидова геометрия действительно является только частным эпизодом более общего сюжета, когда радиус кривизны является бесконечным, сумма углов треугольника составляет 180 градусов и все постулаты евклидовой геометрии применимы».[288]
Аналогично теория тяготения Ньютона была чрезвычайно практической теорией в том смысле, что она давала нам простой способ вычисления силы тяжести, действующей на любой объект в системе. В частности, она работала хорошо до тех пор, пока объекты, о которых шла речь, не двигались слишком быстро, или в ситуациях, когда гравитационный потенциал не слишком велик. Затем появился Эйнштейн со своей новой теорией, в которой гравитация рассматривается как следствие искривления пространства‑времени, а не как сила, действующая между объектами, и мы поняли, что теория тяготения Ньютона была только небольшим фрагментом этой общей картины и она хорошо работает только в предельных случаях – когда объекты двигаются медленно, а гравитация является слабой. Таким образом, мы видим, что общая теория относительности, как следует из названия, на самом деле является общей: это обобщение не только специальной теории относительности Эйнштейна путем включения гравитационных эффектов, но и обобщение ньютоновской теории тяготения.
Аналогично квантовая механика является обобщением ньютоновской механики, но нам нет необходимости ссылаться на квантовую механику, чтобы играть в бейсбол или в блошки. Ньютоновские законы работают хорошо для больших объектов, таких как бейсбольные мячи, и даже для небольших объектов, таких как блошки, где поправки, налагаемые квантовой теорией, неизмеримо малы и ими можно пренебречь. Но макроскопическая область, в которой мячи и ракеты летают, а закон Ньютона доминирует, является лишь частным случаем более широкой и общей области квантовой теории, которая справедлива и для объектов значительно меньшего размера. Используя квантовую механику, мы можем точно предсказать траектории релятивистских электронов в высокоэнергетическом коллайдере, в то время как ньютоновская механика нам здесь не поможет.
Теперь мы подходим к такой же ситуации в геометрии. Классическая риманова геометрия не в состоянии описать физику на квантовом уровне. Поэтому мы будем искать новые геометрии, более общее описание, которое можно применить с одинаковым успехом и к кубику Рубика, и к струнам планковской длины. Вопрос в том, как это сделать. Отчасти мы идем ощупью в темноте, вероятно так же, как Исаак Ньютон, когда пытался написать свою собственную теорию тяготения.
Ньютону пришлось изобретать новые методы для достижения этой цели, отсюда родилось дифференциальное и интегральное исчисление. Так же как причиной рождения математики Ньютона явилась физика, так, вероятно, случится и сегодня. Мы не можем создать квантовую геометрию без некоторых вводных данных из физики. Несмотря на то что мы всегда можем вообразить некоторые новые интерпретации геометрии, но если она действительно должна быть работоспособной, то она должна описывать природу на некотором базовом уровне. А для этого, как мудро признал Гаусс, нам необходимо некоторое руководство извне.
Соответствующая физика выдвигает нам технические требования, которым наша математика должна удовлетворять. При использовании классической геометрии для физики на планковском масштабе мы будем получать дискретные изменения и разрывы. Надеюсь, что квантовая геометрия устранит эти разрывы, создав гладкую картину, более простую для понимания и более удобную для работы.
Рис. 14.1.Физик Джон Уилер ввел понятие квантовой пены, которая представлена на этом рисунке. Верхняя панель выглядит полностью гладкой. Но если поверхность раздуть на двадцать порядков от первоначальной величины (средняя панель), то станут хорошо видны неровности. Если поверхность раздуть еще в тысячу раз, то все маленькие выпуклости станут «горами» и состояние поверхности станет полной противоположностью своему первоначальному, гладкому состоянию