КУБИЧЕСКАЯ ГИПЕРПОВЕРХНОСТЬ


КУБИЧЕСКАЯ ГИПЕРПОВЕРХНОСТЬ

проективное алгебраич. многообразие, задаваемое однородным уравнением 3-й степени с коэффициентами из нек-рого основного поля k.

Кубические кривые. Неприводимая кубич. кривая является либо гладкой (в этом случае ее канонич. класс равен 0, а род 1), либо имеет одну особую двойную точку (в этом случае она рациональна). Кубич. кривые - кривые наименьшей степени, для к-рых существуют модули. Каждая гладкая кубич. кривая Xнад алгебраически замкнутым полем k, характеристика к-рого отлична от 2 и 3, бирациональными преобразованиями может быть приведена к вейерштрассовой форме, в неоднородных координатах плоскости ( х, у).имеющей вид

где

Две кубич. кривые с коэффициентами в вейерштрассовой форме изоморфны тогда и только тогда, когда

Функция

принимает любые значения из kи зависит только от кривой X, она наз. абсолютным инвариантом кубич. кривой X.

На множестве точек X(k).кубич. кривой определен бинарный закон композиции где x12 - третья точка пересечения кривой X с прямой, проходящей через точки Если фиксировать нек-рую точку то композиция

превращает множество X(k).в абелеву группу с нулем х 0. Кубич. кривая, снабженная этой структурой, является одномерным абелевым многообразием (эллиптич. кривой).

В случае, когда - поле комплексных чисел, Х(С) есть риманова поверхность рода 1, т. е. одномерный комплексный тор - факторгруппа где Г(Х) - двумерная решетка периодов. Поле kрациональных функций кривой Xв этом случае изоморфно полю эллиптич. функций на С с решеткой периодов Г(Х). Коэффициенты g2 и g3 интерпретируются как модулярные формы весов 4 и 6 соответственно, совпадающие с точностью до постоянного множителя с формами, определяемыми рядами Эйзенштейна наименьших весов. Функция jв этом случае есть не что иное, как модулярный инвариант.

Для кубич. кривых над алгебраически незамкнутым полем kтакже развита содержательная арифметич. теория (см. [2]). Существенную часть ее достижений составляют теорема Морделла - Вейля, теория комплексного умножения и когомологическая теория главных однородных пространств. Основные нерешенные (1982) проблемы этой теории: проблема ограниченности ранга над полем алгебраич. чисел, гипотеза конечности для группы главных однородных локально тривиальных пространств, гипотеза Берча и Суиннертон-Дайера о дзета-функции, гипотеза Вейля об униформизации и др.

Кубические поверхности. Над алгебраически замкнутым полем kкаждая неприводимая кубич. поверхность (если она не вырождается в конус) является рациональной поверхностью. Класс гиперплоского сечения hповерхности Fсовпадает с каноническим классом (- К F}. Любая гладкая кубич. поверхность получается из проективной плоскости Р 2 раздутием (т. е. моноидальным преобразованием) 6 точек, никакие 3 из к-рых не лежат на одной прямой, а все 6 не лежат на одной конике. Соответствующее бирациональное отображение задается линейной системой кубич. кривых, проходящих через эти 6 точек. На Fлежат 27 прямых, каждая из к-рых является исключительной (см. Исключительное подмногообразие). Ими исчерпываются все исключительные кривые на F. Конфигурация 27 прямых богата симметриями: группа автоморфизмов соответствующего графа изоморфна группе Вейля Е 6. Кубич. поверхности принадлежат к серии поверхностей дель Пеццо - проективных поверхностей с обильным обратным канонич. классом.

Над алгебраически незамкнутым полем kимеются гладкие кубич. поверхности F, для к-рых не существует (бирационального изоморфизма с Р 2 над k(т. е. F не рационален над k). Среди них есть поверхности, обладающие k-точками, в этом случае они унирациональны над k. Такие кубич. поверхности являются контрпримером для Люрота проблемы, о поверхностях над незамкнутыми полями. Над нек-рыми k существуют минимальные кубич. поверхности. Критерий минимальности Сегре [6]: Вычислена группа бирациональных автоморфизмов минимальной кубич. поверхности (найдены ее образующие и определяющие соотношения) и развита арифметич. теория кубич. поверхностей [4]. Для описания множества точек F(k).привлечены неассоциативные структуры: квазигруппы и лупы Муфанг.

Кубические гиперповерхности размерности 3. Все гладкие К. г. размерности над алгебраически замкнутым полем унирациональны. В 80-е гг. 19 в. был поставлен вопрос: будет ли гладкая трехмерная К. г. рациональна? На него получен отрицательный ответ [3]. Тем самым дано и отрицательное решение проблемы Люрота для трехмерных многообразий. С каждой гладкой К. г. Vразмерности 3 связано главное поляризованное пятимерное абе. <лсво многообразие - промежуточный якобиан В случае k=C он определяется как комплексный тор

где - соответствующая компонента Ходжа в разложении пространства когомологий Для доказательства нерациональности Vбыло показано, что J3(V).не является якобианом никакой кривой рода 5. Нерациональность К. г. над полем конечной характеристики установлена в [5].

К. г. Vоднозначно определяется своей Фано поверхностью Ф(V). Для Ф(V) справедлива Торелли теорема (и тем самым теорема Торелли справедлива и для V). Нерешенной проблемой о К. г. размерности 3 является проблема описания ее группы бирациональных автоморфизмов.

Неизвестно (1982), будет ли каждая гладкая К. г. размерности рациональна. Рациональность установлена в этом случае для нек-рых К. г. специального вида; напр.:

Лит.:[1] Г у р в и ц А., К у р а н т Р., Теория функций, пер. [с нем.], М., 1968; [2] Касселс Дж., "Математика", 1968, т. 12, №1, с. 113-60; т. 12, №2, с. 3-48; [3] Клеменс К. Г., Г р и ф ф и т с Ф. А., там же, 1972, т. 16, Мб, с. 3-32; 1973, т. 17, №1, с. 3-41; [4] М а н и н Ю. И., Кубические формы, М., 1972; [5] М и r r е J. Р., "Сотр. math.", 1973, v. 27, р. 63-82; [6] Segre В., The non-singular cubic surfaces, Oxf., 1942; [7] Т ю р и н А. Н., "Успехи матем. наук", 1972, т. 27, в. 5, с. 3-50; [8] е г о ж е, "Изв. АН СССР. Сер. матем.", 1971, т. 35, с. 498- 529; [9] Ш а ф а р е в и ч И. Р., Основы алгебраической геометрии, М., 1972.

В. А. Псковских.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "КУБИЧЕСКАЯ ГИПЕРПОВЕРХНОСТЬ" в других словарях:

  • КУБИЧЕСКАЯ ФОРМА — однородный многочлен третьей степени от нескольких переменных с коэффициентами из нек рого фиксированного поля или кольца. Пусть k нек рое поле и F3(x0,. . . , х п ) К. ф. с коэффициентами из k(говорят, что это К. ф. над k}. Уравнение определяет… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.