Открыть главное меню
Окрестность точки в вещественной плоскости после раздутия. Красным цветом показана исключительная кривая. Синие прямые до раздутия проходили через раздутую точку. Каждая точка исключительной красной кривой соответствует единственной синей прямой. При стремлении к бесконечности вдоль двух направлений исключительной кривой синие прямые загибаются под противоположными углами, и видно, что на бесконечности они склеятся с перекруткой, образуя лист Мёбиуса.

Разду́тие[1][2][3] (называемое Тюриным сигма-процессом[4], а Маниным моноидальным преобразованием[5]) — операция в алгебраической геометрии. В простейшем случае оно, грубо говоря, оно состоит в замене точки на множество всех прямых, проходящих через неё.

Раздутие плоскости в точкеПравить

Пусть   — проективная плоскость, а   — двойственная проективная плоскость, точки которой соответствуют прямым исходной плоскости. Точки декартова произведения   — это пары  , где   — точка плоскости, a   — прямая в той же плоскости. Условие   того, что точка лежит на прямой, в координатных терминах описывается как зануление линейной формы на векторе, так что множество   является алгебраическим многообразием. Более того, поскольку произведение проективных пространств вкладывается в проективное пространство достаточно большой размерности при помощи вложения Сегре, оно является также и проективным многообразием. Оно называется многообразием инцидентности. Обозначим его за  . Зафиксируем точку  , рассмотрим многообразие   и его пересечение   с многообразием инцидентности. Рассмотрим ограничение проекции   на это пересечение. Если точка   отлична от точки  , то слой проекции над ней состоит из единственной точки  , где   — прямая, проходящая через точки   и  . С другой стороны, слой над самой точкой   состоит из всех прямых, которые через неё проходят. Многообразие   обозначается   и называется раздутием плоскости   в точке  . Таким образом, это раздутие отличается от плоскости тем, что одна из точек в нём заменена на прямую. В случае, когда проективная плоскость определена над полем комплексных чисел, проективная прямая является сферой Римана, что и объясняет название. Вклеивающаяся прямая называется исключительной кривой и традиционно обозначается  . Она отличается от обычных прямых тем свойством, что не допускает аналитических деформаций.

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

Сдутие кривыхПравить

 
Секции Шуховской башни — подмножества вещественных квадрик. Балки, из которых она составлена, являются кривыми, сдувающимися при проекции на плоскость из их перекрестья.

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

Заметим, что раздутие не является настоящим отображением, а лишь рациональным отображением: раздутие не определено корректно в раздуваемой точке. При этом обратная операция, называемая сдутием или стягиванием, хорошо определена. Российский геометр А. И. Бондал формулировал это следующим образом: «по определению, раздутие — это операция, противоположная сдутию».

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

Рациональная кривая на алгебраической поверхности сдуваема до гладкой точки тогда и только тогда, когда её нормальное расслоение изоморфно тавтологическому (англ.).


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

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

На алгебраической поверхности можно раздуть лишь конечное число точек. Тем не менее, можно имитировать раздутие плоскости во всех точках, рассмотрев пределы решёток Нерона — Севери по всевозможным раздутиям. Получающийся объект называется пространством Пикара — Манина. Это бесконечномерное пространство Минковского, на котором действует группа Кремоны. Французские геометры С. Канта и С. Лами доказали, рассмотрев это действие, что группа Кремоны не является простой.[6]

Раздутие схемПравить

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

Это определение позволяет раздувать в любой замкнутой подсхеме. Если схема была гладким многообразием, а центр раздутия — её гладким подмногообразием, то, что происходит топологически, можно описать как вырезание малой окрестности центра раздутия и вклеивание проективизации его нормального расслоения, которое на каждом слое выглядит как обобщённое расслоение Хопфа. При раздутии в гладком центре в коразмерности один ничего не происходит. Если же центр не был гладким подмногообразием, то многообразие, вообще говоря, поменяется. Примером могут служить раздутия негладких кривых в особых точках, описанные выше геометрически. Раздутие схемы   во всей схеме   является пустой схемой. В этом случае проблема с терминологией, артикулированная Бондалом, стоит особенно остро: «отображение» раздутия не определено даже локально, а отображение сдутия является тавтологическим включением пустой подсхемы.

Раздутия с центрами в подмногообразиях широко используются в алгебраической геометрии. Так, В. А. Исковских использовал раздутия при классификации трёхмерных многообразий Фано индекса 1 с группой Пикара, изоморфной  .[7] Непроективное многообразие Хиронаки (англ.) получается последовательными раздутиями точек и кривых в трёхмерном проективном многообразии и последующим склеиванием.

В массовой культуреПравить

Раздутия иногда являются предметом математических шуток, в первую очередь из-за своего неформального названия. В англоязычной традиции раздутия называются англ. blow-up, что также может быть переведено как «взрыв» (это слово используется в математическом английском и в других контекстах — например, для описания решений дифференциальных уравнений, уходящих на бесконечность за конечное время). Таким образом, выражение «раздуть плоскость в восьми точках» (англ. blow up eight points on a plane) может быть также переведено как «взорвать восемь точек в самолёте». Эта неоднозначность является предметом популярной в математическом сообществе городской легенды об алгебраический геометрах, задержанных в аэропорту за обсуждением раздутий.[8]

В русскоязычной математической культуре иногда обыгрывается сходство слов англ. blow-up и англ. blowjob.[9]

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

  1. Ю. С. Ильяшенко, С. Ю. Яковенко. Аналитическая теория дифференциальных уравнений, ISBN 978-5-4439-0230-2
  2. Д. Б. Каледин. Введение в алгебраическую геометрию, лекция 8
  3. А. Л. Городенцев. Учебные материалы к моему курсу Алгебра — 2 (НМУ, 2014/15 учебный год, 2-й курс)
  4. А. Н. Тюрин. Сборник избранных трудов: В 3-х т. Том 3. Алгебраическая геометрия в топологии и физике. ISBN 5939725880
  5. Ю. И. Манин. Кубические формы: алгебра, геометрия, арифметика. ISBN 978-5-458-44779-9
  6. S. Cantat, S. Lamy. Normal subgroups in the Cremona group (long version), Acta Mathematica 210, p. 31-94, 2013
  7. В. А. Исковских. Двойная проекция из прямой на трёхмерных многообразиях Фано первого рода, Матем. сб., 1989, том 180, номер 2, страницы 260—278
  8. Mathematical «urban legends», MathOverflow
  9. Подслушано вне матфака | IUM, неофициальная страница НМУ в сети ВКонтакте