Александр Николаевич Варченко ( род . 6 февраля 1949) — советский и российский математик, работающий в области геометрии , топологии , комбинаторики и математической физики .
С 1964 по 1966 год Варченко учился в московской школе-интернате № 18 имени А. Н. Колмогорова для одаренных старшеклассников, где математику и физику преподавали А. Н. Колмогоров и Я. А. Смородинский. В 1971 году Варченко окончил МГУ. Был учеником Владимира Арнольда . [1] Варченко защитил кандидатскую диссертацию. В 1974 году защитил диссертацию «Теоремы о топологической эквисингулярности семейств алгебраических множеств и отображений» , в 1982 году — докторскую диссертацию «Асимптотика интегралов и алгебро-геометрические инварианты критических точек функций». С 1974 по 1984 год — научный сотрудник МГУ, в 1985–1990 годах — профессор Института нефти и газа имени И.М. Губкина , с 1991 года — профессор имени Эрнеста Элиеля в Университете Северной Каролины в Чапел-Хилл .
В 1969 году Варченко отождествил группу монодромии критической точки типа функции нечетного числа переменных с симметрической группой , которая является группой Вейля простой алгебры Ли типа . [2]
В 1971 году Варченко доказал, что семейство комплексных квазипроективных алгебраических множеств с неприводимой базой образует топологически локально тривиальное расслоение над открытым по Зарискому подмножеством базы. [3] Это утверждение, выдвинутое Оскаром Зариским , заполнило пробел в доказательстве теоремы Зариского о фундаментальной группе дополнения к комплексной алгебраической гиперповерхности [4], опубликованном в 1937 году. В 1973 году Варченко доказал гипотезу Рене Тома о том, что росток гладкого отображения общего положения топологически эквивалентен ростку полиномиального отображения и имеет конечномерную полиномиальную топологическую версальную деформацию, в то время как нетипичные отображения образуют подмножество бесконечной коразмерности в пространстве всех ростков. [5]
Варченко был среди создателей теории многоугольников Ньютона в теории особенностей, в частности, он дал формулу, связывающую многоугольники Ньютона и асимптотику осциллирующих интегралов, связанных с критической точкой функции. Используя эту формулу, Варченко построил контрпример к гипотезе полунепрерывности В. И. Арнольда о том, что яркость света в точке каустики не меньше яркости в соседних точках. [6]
Варченко сформулировал гипотезу о полунепрерывности спектра критической точки при деформациях критической точки и доказал ее для деформаций малого веса квазиоднородных особенностей. Используя полунепрерывность, Варченко дал оценку сверху для числа особых точек проективной гиперповерхности заданной степени и размерности. [7]
Варченко ввел асимптотическую смешанную структуру Ходжа на когомологиях, обращающуюся в нуль в критической точке функции, изучая асимптотику интегралов голоморфных дифференциальных форм по семействам исчезающих циклов. Такой интеграл зависит от параметра – значения функции. Интеграл обладает двумя свойствами: как быстро он стремится к нулю, когда параметр стремится к критическому значению, и как изменяется интеграл, когда параметр движется вокруг критического значения. Первое свойство использовалось для определения фильтрации Ходжа асимптотической смешанной структуры Ходжа, а второе свойство использовалось для определения весовой фильтрации. [8]
Вторая часть 16-й проблемы Гильберта заключается в определении того, существует ли верхняя граница для числа предельных циклов в полиномиальных векторных полях заданной степени. Инфинизимальная 16-я проблема Гильберта, сформулированная В. И. Арнольдом, заключается в определении того, существует ли верхняя граница для числа нулей интеграла полиномиальной дифференциальной формы по семейству линий уровня полиномиального гамильтониана в терминах степеней коэффициентов дифференциальной формы и степени гамильтониана. Варченко доказал существование границы в инфинитезимальной 16-й проблеме Гильберта. [9]
Вадим Шехтман и Варченко идентифицировали в [10] уравнения Книжника –Замолодчикова (или уравнения КЗ) с подходящей связностью Гаусса–Манина и построили многомерные гипергеометрические решения уравнений КЗ. В этой конструкции решения были помечены элементами подходящей группы гомологии. Затем группа гомологии была отождествлена с пространством кратности тензорного произведения представлений подходящей квантовой группы, а представление монодромии уравнений КЗ было отождествлено с ассоциированным представлением R-матрицы. Эта конструкция дала геометрическое доказательство теоремы Коно–Дринфельда [11] [12] о монодромии уравнений КЗ. Похожая картина была разработана для квантовых уравнений КЗ (или разностных уравнений типа qKZ) в совместных работах с Джованни Фелдером и Виталием Тарасовым. [13] [14] Весовые функции, появляющиеся в многомерных гипергеометрических решениях, позднее были отождествлены с устойчивыми оболочками в эквивариантной исчислительной геометрии Андрея Окунькова . [15] [16]
Во второй половине 90-х годов Фелдер, Павел Этингоф и Варченко разработали теорию динамических квантовых групп. [17] [18] Динамические уравнения, совместимые с уравнениями типа КЗ, были введены в совместных работах с Г. Фелдером, Ю. Марковым, В. Тарасовым. [19] [20] В приложениях динамические уравнения появляются как квантовые дифференциальные уравнения кокасательных расслоений многообразий частичных флагов. [21]
В [22] Евгений Мухин, Тарасов и Варченко доказали гипотезу Бориса Шапиро и Михаила Шапиро в вещественной алгебраической геометрии : [23] если определитель Вронского комплексного конечномерного векторного пространства многочленов от одной переменной имеет только действительные корни, то векторное пространство имеет базис из многочленов с действительными коэффициентами.
Классически известно, что индекс пересечения многообразий Шуберта в грассманиане N -мерных плоскостей совпадает с размерностью пространства инвариантов в подходящем тензорном произведении представлений полной линейной группы . В [24] Мухин, Тарасов и Варченко категоризировали этот факт и показали, что алгебра Бете модели Годена на таком пространстве инвариантов изоморфна алгебре функций на пересечении соответствующих многообразий Шуберта. В качестве приложения они показали, что если многообразия Шуберта определены относительно различных вещественных соприкасающихся флагов, то многообразия пересекаются трансверсально и все точки пересечения вещественны. Это свойство называется вещественностью исчисления Шуберта .
Варченко был приглашенным докладчиком на Международном конгрессе математиков в 1974 году в Ванкувере (секция алгебраической геометрии) и в 1990 году в Киото (пленарный доклад). [25] В 1973 году он получил премию Московского математического общества .
Он был включен в число действительных членов Американского математического общества 2023 года «за вклад в теорию особенностей, действительную алгебраическую геометрию и теорию квантовых интегрируемых систем» [26] .