Ряд Гильберта и многочлен Гильберта
Функция Гильберта, ряд Гильберта и многочлен Гильберта градуированной коммутативной алгебры, конечно порождённой над полем — это три тесно связанных понятия, которые позволяют измерить рост размерности однородных компонент алгебры.
Эти понятия были распространены на фильтрованные алгебры[англ.] и градуированные или фильтрованные модули над этими алгебрами, а также на когерентные пучки над проективными схемами.
Эти понятия часто используются в следующих ситуациях:
- Фактор кольца многочленов по однородному идеалу, градуированный полной степенью.
- Фактор кольца многочленов по идеалу, фильтрованный полной степенью.
- Фильтрация локального кольца степенями его максимального идеала.
Многочлен Гильберта и ряд Гильберта играют важную роль в вычислительной алгебраической геометрии, так как они предоставляют простейший известный способ вычисления размерности и степени алгебраического многообразия, заданного явными полиномиальными уравнениями.
Определения и основные свойства
Рассмотрим конечно порождённую градуированную коммутативную алгебру S над полем K, которая является конечно порождённой элементами положительной степени. Это значит, что
и что .
Функция Гильберта
переводит целое число n в размерность векторного пространства Sn над полем K. Ряд Гильберта, который называется рядом Гильберта — Пуанкаре в более общей ситуации градуированных векторных пространств, — это формальный ряд
Если S порождена h однородными элементами положительных степеней , то сумма ряда Гильберта является рациональной функцией
где Q — это многочлен с целыми коэффициентами.
Если S порождена элементами степени 1, то сумма ряда Гильберта может быть переписана как
где P — многочлен с целыми коэффициентами, и — размерность Крулля S.
В этом случае разложение этой рациональной функции в ряж имеет вид
где биномиальный коэффициент равен при и нулю в противном случае.
Если то коэффициент при в — это
При член с индексом i в этой сумме — это многочлен от n степени со старшим коэффициентом Это показывает, что существует единственный многочлен с рациональными коэффициентами, который равен при достаточно больших n. Этот многочлен называется многочленом Гильберта, и имеет вид
Многочлен Гильберта — целозначный многочлен, так как размерности являются целыми числами, но он почти никогда не имеет целые коэффициенты.
Все эти определения можно распространить на конечно порождённые градуированные модули над S.
Функция Гильберта, ряд Гильберта и многочлен Гильберта фильтрованной алгебры вычисляются для ассоциированной градуированной алгебры.
Многочлен Гильберта проективного многообразия V в Pn определяется как многочлен Гильберта однородного координатного кольца V.
Градуированные алгебры и кольца многочленов
Кольца многочленов и их факторы по однородным идеалам — это типичные градуированные алгебры. Обратно, если S — градуированная алгебра над полем K, порождённая n однородными элементами g1, ..., gn степени 1, то отображение, которое переводит Xi в gi, определяет гомоморфизм градуированных колец из на S. Его ядро — однородный идеал I, и это определяет изоморфизм градуированных алгебр между и S.
Таким образом, градуированные алгебры, порождённые однородными элементами степени 1 — это в точности факторы колец многочленов по однородным идеалам (с точностью до изоморфизма). Поэтому в последующих разделах этой статьи будут рассматриваться факторы колец многочленов по идеалам.
Свойства ряда Гильберта
Аддитивность
Ряд Гильберта и многочлен Гильберта аддитивны в точных последовательностях. Более точно, если
является точной последовательностью градуированных или фильтрованных модулей, то мы имеем
и
Это немедленно следует из аналогичного свойства для размерностей векторных пространств.
Фактор по элементу, не являющемуся делителем нуля
Пусть A — градуированная алгебра и f — однородный элемент A степени d, который не является делителем нуля. Тогда мы имеем
Это следует из аддитивности для точной последовательности
где стрелка с буквой f — это умножение на f, и — это градуированный модуль, полученный из A сдвигом степеней на d, так что умножение на f имеет степень 0. В частности,
Ряд Гильберта и многочлен Гильберта кольца многочленов
Ряд Гильберта кольца многочленов от переменных равен
Из этого следует, что многочлен Гильберта равен
Доказательство того, что ряд Гильберта имеет такой вид получается по индукции применением предыдущей формулы для фактора по элементу, не являющемуся делителем нуля (в нашем случае — по ) и из того, что
Вид ряда Гильберта и размерность
Градуированная алгебра A, порождённая однородными элементами степени 1, имеет размерность Крулля 0, когда максимальный однородный идеал, то есть идеал, порождённый однородными элементами степени 1, нильпотентен. Из этого следует, что размерность A как векторного пространства надK конечна и что ряд Гильберта A — это многочлен P(t), такой, что P(1) равно размерности A как векторного пространства над K.
Если размерность Крулля A положительна, то существует однородный элемент f степени 1, не являющийся делителем нуля (на самом деле почти все элементы степени 1 таковы). Размерность Крулля A/(f) равна размерности Крулля A минус один.
Из аддитивности ряда Гильберта следует, что . Итерируя это размерность A раз, мы получаем алгебру размерности 0, ряд Гильберта которой — многочлен P(t). Это показывает, что ряд Гильберта A равен
где многочлен P(t) таков, что P(1) ≠ 0 и d — это размерность Крулля алгебры A.
Из этой формулы для ряда Гильберта следует, что степень многочлена Гильберта равна d и его старший коэффициент — .
Степень проективного многообразия и теорема Безу
Ряд Гильберта позволяет вычислить степень алгебраического многообразия как значение в 1 числителя ряда Гильберта. Это также даёт простое доказательство теоремы Безу.
Рассмотрим проективное алгебраическое множество V размерности большей нуля, определённое как множество нулей однородного идеала , где k — поле, и пусть . Если f — однородный многочлен степени , который не является делителем нуля в R, точная последовательность
показывает, что
Рассматривая числители, получаем доказательство следующего обобщения теоремы Безу:
Если f — это однородный многочлен степени , который не является делителем нуля в R, то степень пересечения V с гиперповерхностью, определённой f, равна произведению степени V на .
Более геометрически это можно переформулировать следующим образом: если проективная гиперповерхность степени d не содержит ни одной неприводимой компоненты алгебраического множества степени δ, то степень их пересечения равна dδ.
Обычная теорема Безу легко выводится из этого утверждения, если начинать с гиперповерхности и последовательно пересекать её с n - 1 другими гиперповерхностями.
Литература
- Eisenbud, David. Commutative algebra. With a view toward algebraic geometry, Graduate Texts in Mathematics, 150, New York: Springer-Verlag, 1995, ISBN 0-387-94268-8.
- Schenck, Hal. Computational Algebraic Geometry, Cambridge: Cambridge University Press, 2003, ISBN 978-0-521-53650-9.
- Stanley, Richard. "Hilbert functions of graded algebras", Advances in Math., 28 (1), pp. 57–83, 1978.