Введение

Швейцарский математик Жорж де Рам (ʁam; 10 сентября 1903 – 9 октября 1990) был швейцарским математиком, известным своими работами в области дифференциальной топологии.

Биография

Жорж де Рам родился 10 сентября 1903 года в Роше, небольшой деревне в кантоне Во в Швейцарии. Он был пятым из шести детей в семье Леона де Рама, инженера-строителя. Жорж де Рам вырос в Роше, но учился в школе в соседнем городе Аигле, административном центре округа, ежедневно добираясь на поезде. По его собственным словам, он не был выдающимся учеником в школе, где больше всего любил рисовать и мечтал стать художником. В 1919 году он переехал с семьей в Лозанну, в арендованную квартиру в замке Болье, где и прожил всю оставшуюся жизнь. Жорж де Рам начал обучение в гимназии в Лозанне с уклоном в гуманитарные науки, следуя своей страсти к литературе и философии, но мало уделяя внимания математике. Однако, окончив гимназию в 1921 году, он решил не поступать на факультет литературы, чтобы избежать изучения латыни. Вместо этого он выбрал факультет естественных наук Лозаннского университета. На факультете он начал с изучения биологии, физики и химии, не занимаясь математикой. Пытаясь самостоятельно освоить математику как инструмент для физики, он заинтересовался ею, и к третьему курсу оставил биологию, чтобы полностью посвятить себя математике. В университете на него больше всего повлияли два профессора – Густав Дюма и Дмитрий Мириманов, которые направляли его в изучении работ Эмиля Бореля, Рене Луи Байра, Анри Лебега и Жозефа Серре. После окончания университета в 1925 году де Рам остался в Лозаннском университете в качестве ассистента Дюма. Начав работу над докторской диссертацией, он по совету Дюма изучил труды Анри Пуанкаре по топологии. Хотя он нашел вдохновение для темы диссертации у Пуанкаре, прогресс был медленным, поскольку топология была относительно новой областью, а доступ к необходимой литературе в Лозанне был затруднен. Де Рам также был одним из лучших альпинистов Швейцарии. Будучи членом Независимой высокогорной группы Лозанны с 1944 года, он проложил несколько сложных маршрутов, в том числе в Валлезских Альпах (например, южный гребень Стокхорна от Балтшидера) и Водских Альпах (например, L'Argentine и Pacheu). В 1944 году он написал подробный путеводитель по восхождениям в районе Мируар д’Аржентин, где совершал восхождения до 1980 года. По словам Джона Милнора, в 1933 году де Рам во время одного из своих походов встретил Джеймса Александра и Хасслера Уитни, которые вместе поднимались на Вайсхорн в Вале; эта встреча положила начало более чем 40-летней дружбе между Уитни и де Рамом.

Математические исследования

Теория дифференциальных форм имеет классические корни, а связь между формами и дифференциальной топологией была установлена в начале 20-го века Анри Пуанкаре и Эли Картаном, которые сформулировали лемму Пуанкаре и отметили, что не каждая замкнутая дифференциальная форма является точной. Картан предположил в 1928 году, что числа Бетти гладкого многообразия могут быть закодированы дифференциальными формами. В качестве частного случая этого он предположил, что замкнутая форма точна, если её интеграл по любому подмногообразию без границы равен нулю, и что подмногообразие без границы само является границей другого подмногообразия, если интеграл любой замкнутой формы по нему равен нулю. Де Рам в своей диссертации 1931 года доказал предположение Картана, разложив произвольную дифференциальную форму в сумму замкнутой формы и некоторого числа элементарных форм, связанных с плавной триангуляцией пространства. После этой работы де Рам предпринял несколько попыток объединить формы и подмногообразия в единый математический объект. Он определил понятие тока в 1950-х годах, обобщив (и вдохновленный) недавними работами Лорана Шварца по теории обобщенных функций. Работы Де Рама по этим темам теперь обычно формулируются на языке теории когомологий, хотя сам он этого не делал. Его работы особенно важны для теории Ходжа и теории пучков. В дополнительной части своей диссертации 1931 года де Рам представил многомерные аналоги трехмерных тороидальных пространств и вычислил их гомологию, тем самым установив необходимое условие для гомеоморфности двух тороидальных пространств.