Риман же открыл совершенно новые математические миры – геометрию искривленных поверхностей любой размерности, не только двумерных или трехмерных. Эйнштейн был убежден, что при помощи этих геометрий высоких порядков можно получить более точное описание Вселенной. Впервые математический язык «дифференциальной геометрии» прокладывал себе путь в мир физики. Дифференциальная геометрия, или тензорное исчисление, – математика искривленных поверхностей любой размерности, когда-то считалась самой бесполезной областью математики, лишенной всякого физического содержания. Внезапно, однако, она превратилась в язык самой Вселенной.
В большинстве биографий Эйнштейна общая теория относительности возникает как полностью готовая в 1915 г., как будто он безошибочно, волшебным образом нашел эту теорию уже полностью сформированной. Только в последние десятилетия были проанализированы некоторые из «потерянных записных книжек» Эйнштейна, которые позволили заполнить многие пробелы в промежутке между 1912 и 1915 г. Теперь можно восстановить, иногда помесячно, основные вехи эволюции одной из величайших теорий в истории. В частности, Эйнштейн хотел обобщить понятие ковариантности. Специальная теория относительности, как мы видели, была основана на идее Лоренц-ковариантности; это означало, что уравнения физики сохраняют свою форму при преобразованиях Лоренца. Теперь Эйнштейн хотел обобщить это на все возможные ускорения и трансформации, а не только на инерциальные. Иными словами, он хотел найти уравнения, которые сохраняли бы свою форму в любой системе отсчета, какой бы она ни была, ускорялась она или двигалась с постоянной скоростью. Каждой системе отсчета, в свою очередь, необходима координатная сетка, которая позволила бы измерить длину по трем пространственным измерениям и времени. Эйнштейну нужна была теория, которая сохраняла бы форму, какая бы координатная сетка ни использовалась в данной системе отсчета. Этот поиск привел его к знаменитому принципу общей ковариантности: уравнения физики должны быть общековариантны (то есть они должны сохранять форму при любом преобразовании координат).
Представьте себе рыболовную сеть, наброшенную на стол. Рыболовная сеть представляет произвольную систему координат, а поверхность столешницы – объект, который сохраняет форму при любом искажении формы сети. Как бы мы ни перетягивали или крутили сеть, поверхность столешницы под ней останется прежней.
