Итальянская школа алгебраической геометрии


В истории математики словосочетание итальянская школа алгебраической геометрии относится к работам на протяжении более чем полувекового периода (расцвет пришёлся примерно на 1885—1935) учёных разных стран в области бирациональной геометрии, в частности, теории алгебраических поверхностей. Было примерно 30 — 40 ведущих математиков, которые внесли наибольший вклад в эти труды, из которых примерно половина действительно была итальянцами. Лидерами в этой школе считались римские математики Гвидо Кастельнуово, Федериго Энрикес и Франческо Севери, работы которых содержали глубокие открытия и определили стиль научной школы.

Особое внимание к алгебраическим поверхностям — алгебраическим многообразиям размерности 2 — было вызвано построением полной геометрической теории алгебраических кривых (размерности 1): около 1870 было выяснено, что теория кривых вместе с теорией Брилля — Нётера влечёт теорему Римана — Роха и все её уточнения (через геометрию тета-дивизора).

Классификация алгебраических поверхностей была храброй и успешной попыткой повторить классификацию кривых по их роду g. Она соответствует грубой классификации: g= 0 (проективная прямая); g = 1 (эллиптическая кривая); и g > 1 («кренделя» с независимыми голоморфными 1-формами). В случае поверхностей классификация Энрикеса была делением на пять подобных больших классов, три из которых были аналогами классов кривых, а ещё два — эллиптические расслоения и K3-поверхности, как их называют теперь — являются вместе с двумерными абелевыми многообразиями «промежуточной территорией». Эта классификация привела к жизни некоторое количество знаковых идей, сформулированных на современном языке комплексных многообразий Кунихико Кодаирой в 1950-х, и улучшена, чтобы включить явления, возникающие в простой характеристике Оскаром Зарисским, школой Шафаревича и другими около 1960. Версия теоремы Римана — Роха для поверхностей также была получена.

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