Теория деформаций (Mykjnx ;yskjbgenw)

Тео́рия деформа́ций — раздел математики, изучающий инфинитезимальные условия, связанные с варьированием решения $P$ к другому решению $P_{\varepsilon }$ , где $\varepsilon$ — малое число или вектор. Инфинитезимальные условия являются, таким образом, результатом применения подходов дифференциального исчисления к решению задач с граничными условиями.

Некоторые характерные приёмы, используемые в теории: дифференцирование уравнений первого порядка при помощи рассмотрения $\varepsilon$ как величины с пренебрежимо малым квадратом; возможность изолированных решений, в которых вариация решения невозможна или не даёт ничего нового; вопрос, когда инфинитезимальные граничные условия на самом деле интегрируемы, то есть их решения дозволяют небольшие вариации. В той или иной форме эти идеи были известны в математике и в физике столетиями. Например, в геометрии чисел известен класс результатов, известных как теоремы об изоляции, с топологической интерпретацией открытой орбиты (действия группы) около данного решения. Теория возмущений также описывает деформации — деформации операторов.

Деформации комплексных многообразий

Наиболее выдающейся^{[уточнить]} из теорий деформаций является теория деформаций комплексных и алгебраических многообразий. Она была поставлена на твёрдую почву основополагающей работой Кунихико Кодайры и Дональда Спенсера, после того, как техника деформаций имела успех в ещё более смутном опыте итальянской школы алгебраической геометрии. Интуитивно, было бы естественно ожидать, что деформации первого порядка соответствуют касательному пространству Зарисского к пространству модулей. Вообще говоря, дело обстоит куда тоньше.

В случае комплексных кривых можно понять, что комплексная структура на сфере Римана изолирована (нет модулей), в то время как эллиптическая кривая первого рода имеет однопараметрическое семейство комплексных структур, как показывает теория эллиптических функций. Общая же теория Кодаиры-Спенсера определяет как ключ к теории деформаций группу когомологий пучков

H¹(Θ)

где Θ обозначает пучок ростков сечений голоморфного касательного расслоения. Существует препятствие в H² того же самого пучка, нулевое для кривых из соображений размерности. В случае нулевого рода H¹ также исчезают. Для первого рода размерность равна числу Ходжа h^1,0 которое, соответственно, равно 1. Как известно, все кривые первого рода имеют уравнение вида y² = x³ + ax + b. Они зависят от двух параметров, a и b, в то время как классы изоморфизма таковых кривых однопараметрические. Следственно, должно существовать уравнение, связывающие эти самые a и b, которое бы и описывало классы изоморфизма эллиптических кривых. Оказывается, что кривые, для которых b²a⁻³ одинаковы, описывают изоморфные кривые, то есть варьирование a и b — один из способов деформировать структуру кривой y² = x³ + ax + b, но не все вариации a, b меняют класс изоморфизма кривой.

Можно пойти далее, рассматривая случай рода g > 1, используя двойственность Серра, чтобы связать H¹ с:

H⁰(Ω^[2]),

где Ω — пучок ростков голоморфных сечений кокасательного расслоения, а запись Ω^[2] обозначает тензорный квадрат (а не вторую внешнюю степень). Иначе говоря, деформации управляются квадратичными дифференциалами на комплексной кривой, то есть вновь чем-то классическим. Размерность пространства модулей, называемого в данном случае пространством Тейхмюллера, равна 3g − 3 по теореме Римана — Роха.

Эти примеры очерчивают начала теории, применимой к голоморфным семействам комплексных многообразий произвольной размерности. Дальнейшее развитие её включает перенос этих техник на другие дифференциально-геометрические структуры, приспособление теории Кодаиры — Спенсера к абстрактной алгебраической геометрии Гротендика с последующим прояснением более ранних построений, и теория деформаций других структур, таких, как алгебры.

Отношение к теории струн

Так называемая гипотеза Делиня, возникающая в контексте алгебр (и когомологий Хохшильда) вызвала интерес к теории деформаций в свете теории струн (грубо говоря, формализуя идею того, что теория струн может быть рассмотрена как деформация теории точечных частиц). Ныне она считается доказанной. Среди прочих, общепринятое доказательство этого факта предложил Максим Концевич.

Ссылки

A glimpse of deformation theory — записки лекций Брайана Оссермана
Теория деформаций — статья из Математической энциклопедии. А. Л. Онищик, Д. А. Пономарёв