В 1907 году друг Эйнштейна Гроссманн стал профессором геометрии в
Риччи — это Грегорио Риччи-Курбастро, который вместе со своим студентом Туллио Леви-Чивитой изобрел анализ на римановых многообразиях. Тензор Риччи дает более простую меру кривизны, чем исходная концепция Римана.
Согласно другим источникам, Эйнштейн сказал Гроссманну: «Ты должен мне помочь, а не то я сойду с ума!» — и Гроссманн исполнил это требование. Как позднее писал Эйнштейн, он «не только избавил меня от изучения соответствующей математической литературы, но и поддержал меня в моем поиске полевых уравнений гравитации». В 1913 году Эйнштейн и Гроссманн опубликовали первые результаты своих совместных усилий, закончив гипотезой о виде искомых полевых уравнений: тензор энергии-импульса должен быть пропорционален… чему-то.
Чему?
Ответа на этот вопрос они пока не знали. Там должен был стоять некий другой тензор, дающий другое измерение кривизны.
Здесь они оба сделали математические ошибки, которые увели их в долгую погоню за несбыточным. И Эйнштейн, и Гроссман были убеждены (вполне справедливо), что их теория должна давать ньютоновскую гравитацию в соответствующем предельном случае — случае плоского пространства-времени, слабой гравитации. Отсюда они получили некоторые технические требования на искомые уравнения, т.е. требования к природе этого самого «чего-то». Но их аргументация была ошибочной, и эти требования на самом деле не следовало предъявлять.
Эйнштейн был уверен, что правильные полевые уравнения должны определять математический вид метрики — формулы для расстояния в пространстве-времени, которая определяет все его геометрические свойства — единственным образом, однозначно. Это было попросту неверно: изменения системы координат могут изменить данную формулу, не оказывая при этом никакого влияния на
Такое состояние — сущий кошмар для каждого ученого: по видимости неопровержимая идея, которая вроде бы ведет в правильном направлении, на деле заводит в ужасные дебри. Устранить такую ошибку отчаянно трудно, ведь вы уверены, что никакой ошибки нет. Часто даже не удается понять, какие именно допущения вы незаметно сделали.
К концу 1914 года Эйнштейн наконец осознал, что полевые уравнения не могут определять метрику единственным образом, потому что имеется возможность выбора различных систем координат: это не влияет на физику, но меняет формулу для метрики. Он все еще не знал о тождествах Бьянки, но теперь они ему были не нужны. Он наконец понял, что имеется свобода в выборе любых координат из соображений удобства.
18 ноября 1914 года Эйнштейн открыл новый фронт в войне с уравнениями гравитационного поля. Он подобрался достаточно близко к окончательной формулировке, чтобы сделать два предсказания. Одно из них — на самом деле скорее «послесказание», в том смысле, что оно было сделано после события. Оно состояло в объяснении тончайших изменений, к тому времени уже наблюдавшихся в орбите Меркурия. Положение перигелия — ближайшего к Солнцу положения планеты — медленно изменяется. Из новой теории гравитации Эйнштейн смог вывести, насколько быстро должен двигаться перигелий, — и результат его вычисления совпал с результатами наблюдений.
Второе предсказание требовало для своего подтверждения или опровержения новых наблюдений; то была прекрасная новость, поскольку новые наблюдения — это лучшая проверка новых теорий. Согласно теории Эйнштейна, гравитация должна изгибать свет.
Геометрия этого эффекта проста и имеет дело с геодезическими — кратчайшими — путями между двумя точками. Если растянуть струну и приподнять ее, она примет вид прямой линии; это происходит потому, что в эвклидовом пространстве прямая линия является геодезической. Если, однако, два конца струны прижать к поверхности футбольного мяча, сильно ее при этом натянув, то она примет форму кривой, лежащей на поверхности мяча. Геодезические линии на искривленном пространстве — мяче — сами искривлены. То же происходит и в искривленном пространстве-времени, хотя подробности слегка отличны.