Саламон, Саймон

Саймон Саламон

Са́ймон Монтегю́ Сала́мон (англ. Simon Montague Salamon) — великобританский математик, дифференциальный геометр. Профессор геометрии в Королевском колледже Лондона.

Биография

Саламон получил степень доктора философии (англ. D.Phil.) в 1980 году в Оксфорде, его научным руководителем был Найджел Хитчин. Темa его диссертации — Quaternionic manifolds. В 1979—1981 годах работал в университете Мэриленда, в 1981—1983 в пизанской Высшей нормальной школе, в 1983—1984 в Институте перспективных исследований в Принстоне. С 1984 по 2000 год был лектором в Оксфорде, после чего получил пост ординарного профессора в Туринском политехникуме. Эту позицию он занимал до 2011 года (будучи в 2003—2004 году также лектором в лондонском Имперском колледже), после чего получил аналогичный пост в Королевском колледже. В 2013—2017 годах служил деканом математического департамента Королевского колледжа.

Работал главным редактором журнала EMS Surveys in Mathematical Sciences, покинул этот пост в 2017 году в связи со скандалом, вызванным публикацией в этом журнале жульнических статей Ярослава Сергеева.

Учёные изыскания

Становление Саламона как учёного происходило на фоне стремительного прогресса четырёхмерной геометрии, вызванного к жизни трудами Атьи, Пенроза, Хитчина (бывшего учителем Саламона) и других, а также сопутствующего развития четырёхмерной топологии. Это во многом определило научные интересы не только его, но всего того поколения геометров (например таких как Лебрюн или Брайант).

Версия диссертации Саламона была напечатана в 1982 году в Inventiones Mathematicae под заголовком Quaternionic Kähler manifolds, и является основополагающей для кватернионно-кэлеровой геометрии. Именно, Саламон обобщил конструкцию твисторов Пенроза для четырёхмерных римановых многообразий на произвольные кватернионно-кэлеровы многообразия (то есть римановы многообразия, голономия которых равняется [math]\displaystyle{ \mathrm{Sp}(n)\mathrm{Sp}(1) }[/math]). Вопреки названию, такие многообразия не являются кэлеровыми и даже комплексными; однако они допускают подрасслоение ранга три в расслоении эндоморфизмов касательного расслоения, которое локально в окрестности каждой точки имеет базис из трёх кэлеровых комплексных структур, коммутирующих как единичные кватернионы. Расслоение единичных сфер в этом трёхмерном расслоении допускает, как показал Саламон, естественную структуру комплексного многообразия. В случае, когда голономия не равняется всей группе [math]\displaystyle{ \mathrm{Sp}(n)\mathrm{Sp}(1) }[/math], a её собственной подгруппе [math]\displaystyle{ \mathrm{Sp}(n) }[/math] (то есть многообразие является гиперкэлеровым), пространство твисторов допускает голоморфную проекцию на слой твисторного расслоения. Верно и обратное: такая проекция давала бы глобально определённые три комплексные структуры, то есть гиперкэлерову структуру; так что в общем случае такой проекции быть не может. Также Саламон доказал, что если кватернионно-кэлерово многообразие имеет постоянную ненулевую скалярную кривизну, то его твисторное пространство допускает голоморфную контактную структуру.

В 1985 году Саламон применил твисторную теорию к построению гармонических отображений из римановых поверхностей в четырёхмерные многообразия в статье Twistorial construction of harmonic maps of surfaces into four-manifolds, написанной в соавторстве с Иллсом. Всякая ориентированая поверхность [math]\displaystyle{ S }[/math] в четырёхмерном римановом многообразии [math]\displaystyle{ X }[/math] естественным образом подымается в его твисторное расслоение: касательная плоскость [math]\displaystyle{ T_xS \subset T_xX }[/math] устанавливает разложение [math]\displaystyle{ T_xX = T_xS \oplus \nu_xS }[/math] четырёхмерного пространства на две перпендикулярные плоскости. Ориентация определяет в каждой из них поворот на 90°, а вместе они задают комплексную структуру на этом четырёхмерном пространстве. На твисторном расслоении четырёхмерного многообразия имеются две весьма несходные почти комплексные структуры: одна из них это классические твисторы Пенроза, а другая — твисторы Иллса — Саламона, отличающаяся от твисторов Пенроза ориентацией вдоль слоя. Эта почти комплексная структура, в отличие от твисторов Пенроза, никогда не интегрируема, зато гармонические поверхности подымаются в неё как голоморфные кривые.

Совместная работа Саламона с Брайантом On the construction of some complete metrics with exceptional holonomy 1989 года была важным шагом в изучении [math]\displaystyle{ \mathrm{G}_2 }[/math]-многообразий. Как известно, на тотальном пространстве кокасательного расслоения ко всякому многообразию можно определить симплектическую форму. О ней можно думать как об обобщении кососимметрической 2-формы [math]\displaystyle{ \omega }[/math] на векторном пространстве [math]\displaystyle{ V \oplus V^* }[/math], заданной как [math]\displaystyle{ \omega(u \oplus \alpha, v \oplus \beta) = \alpha(v) - \beta(u) }[/math] (здесь [math]\displaystyle{ V }[/math] — произвольное векторное пространство). Аналогично можно задать кососимметрическую 3-форму [math]\displaystyle{ \eta }[/math] на векторном пространстве [math]\displaystyle{ V \oplus \Lambda^2V^* }[/math] как [math]\displaystyle{ \eta(u + \alpha, v + \beta, w + \gamma) = \alpha(v,w) + \beta(w,u) + \gamma(u,v) }[/math]. Если [math]\displaystyle{ \dim V = 4 }[/math] и на нём выбрано положительно определённое скалярное произведение, то имеет место распадение [math]\displaystyle{ \Lambda^2V^* = \Lambda^{2,+} \oplus \Lambda^{2,-} }[/math] на два собственных подпространства звёздочки Ходжа этого скалярного произведения. Ограничивая форму [math]\displaystyle{ \eta }[/math] на [math]\displaystyle{ V \oplus \Lambda^{2,+} }[/math], имеем 3-форму на семимерном пространстве. Если к ней прибавить форму объёма на трёхмерном пространстве [math]\displaystyle{ \Lambda^{2,+} }[/math], получится 3-форма из определения [math]\displaystyle{ \mathrm{G}_2 }[/math]-структуры. Модифицируя эту конструкцию для нелинейной ситуации, можно построить [math]\displaystyle{ \mathrm{G}_2 }[/math]-структуру на окрестности нулевого сечения тотального пространства собственного подрасслоения звёздочки Ходжа на эйнштейновом четырёхмерном многообразии с самодвойственным тензором Вейля (например круглой [math]\displaystyle{ S^4 }[/math] или [math]\displaystyle{ \C\mathrm{P}^2 }[/math] с метрикой Фубини — Штуди. Нулевое сечение в такой метрике будет, как и в линейном случае, коассоциативным подмногообразием. Близкая по духу конструкция, содержащаяся в той же статье, производит [math]\displaystyle{ \mathrm{G}_2 }[/math]-структуру на окрестности нулевого сечения спинорного расслоения над трёхмерным многообразием постоянной секционной кривизны, в которой нулевое сечение будет, напротив, ассоциативным.

Также Саламон имеет работы в области геометрии других экзотических голономий, спиноров, нильмногообразий, а также применению алгебраической и комбинаторной геометрии к проблемам квантовой информации, математического программного обеспечения и визуализации.

Ссылки

• Домашняя страница профессора Саламона