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

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

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

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

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

H1(Θ)

где Θ обозначает пучок ростков сечений голоморфного касательного расслоения. Существует препятствие в H2 того же самого пучка; которые из соображений размерности нулевые для кривых. В случае рода 0 H1 также исчезают. Для рода 1 размерность равна числу Ходжа h1,0 которое, соответственно, 1. Как известно, все кривые рода 1 имеют уравнение вида y2 = x3 + ax + b. Они, ясное дело, зависят от двух параметров, a и b, в то время как классы изоморфизма таковых кривых только лишь однопараметрические. Следственно, должно существовать уравнение, связывающие эти самые a и b, которое бы и описывало классы изоморфизма эллиптических кривых. Выходит, что кривые, для которых b2a−3 одинаковы, описывают изоморфные кривые, то есть варьирование a и b — один из способов деформировать структуру кривой y2 = x3 + ax + b, но не все вариации a, b в самом деле меняют класс изоморфизма кривой.

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

H0[2]),

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

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

Отношение к теории струн править

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

Примечания править

Ссылки править