Канатоходец шагает по туго натянутому тросу. Каждый его шаг — поиск равновесия, мгновенный расчёт сил. Примерно так же уравнения Эйнштейна описывают, как материя и энергия заставляют пространство-время изгибаться. Но долгое время никто не мог доказать, что эти уравнения вообще имеют решение — что канатоходец способен сделать хотя бы первый шаг и не рухнуть.
В 1952 году Ивонна Шоке-Брюа показала: для пустого пространства, без всякой материи, уравнения Эйнштейна действительно дают осмысленную геометрию — хотя бы на маленьком отрезке времени. Она не просто решила абстрактную задачку. Она создала метод, похожий на сборку пазла: сперва нужно правильно выбрать «начальные данные» — как будто разложить краевые кусочки, — а потом следить, чтобы вся картинка не развалилась при малейшем шевелении. Этот подход называется задачей Коши для уравнений Эйнштейна, и он стал краеугольным камнем математической общей теории относительности.
Позже Шоке-Брюа распространила свои методы на более сложные случаи — например, на уравнения супергравитации, где к геометрии добавляются квантовые поля. Она писала учебники, по которым учились целые поколения физиков и математиков. И всё это время её главный инструмент — уравнения в частных производных — оставался тем самым тросом под ногами канатоходца: невидимым для публики, но абсолютно необходимым для движения вперёд.
Свою первую работу по уравнениям Эйнштейна Ивонна Шоке-Брюа написала, когда ей было чуть больше двадцати лет — и это стало её диссертацией.
В романе «Контакт» Карла Сагана инопланетяне передают людям чертежи машины, искривляющей пространство-время; без математического фундамента, заложенного Шоке-Брюа, такие чертежи остались бы просто картинками.