дивизоров
31ДИОФАНТОВЫ УРАВНЕНИЯ — алгебраич. уравнения или системы алгебраич. уравнений с рациональными коэффициентами, решения к рых отыскиваются в целых или рациональных числах. Обычно предполагается, что Д. у. имеют число неизвестных, превосходящее число уравнений, в связи с… …
32ДИСКРИМИНАНТ — 1) Д. многочлена f(x)=a0xn+a1 х n 1+...+ а n, с корни к рого равны a1, a2, ... , a п, произведение Д. равен нулю тогда и только тогда, когда многочлен имеет кратные корни. Д. симметричен относительно корней многочлена и поэтому может быть выражен …
33ДИФФЕРЕНЦИАЛЬНАЯ ФОРМА — 1) Д. ф. степени р, р форма на дифференцируемом многообразии М р раз ковариантное тензорное поле на М. Ее можно интерпретировать также как р линейное (над алгеброй F(M)гладких вещественных функций на М)отображение F(M), где есть Р(М) модуль… …
34ЗИГЕЛЯ ТЕОРЕМА — 1) З. т. о L функциях Дирихле: для любого e>0 существует с=с(e)>0 такое, что для всякого неглавного действительного Дирихле характераc модуля kвыполняется Установлена К. Зигелем [1]. Эквивалентное утверждение относится к действительным… …
35КАНОНИЧЕСКИЙ КЛАСС — класс К X дивизоров относительно линейной эквивалентности на алгебраич. многообразии X, являющихся дивизорами дифференциальных форм со максимальной степени. Если X неособое алгебраич. многообразие и dim X=n, то в локальных координатах х 1, ..., х …
36КОГЕРЕНТНЫЙ АЛГЕБРАИЧЕСКИЙ ПУЧОК — когерентный пучок модулей на алгебраич. многообразии или схеме. Структурный пучок нётеровой схемы и, в частности, алгебраич. многообразия является когерентным. К. а. п. удобное средство исследования алгебраич. многообразий. Интуитивно К. а. п.… …
37КОГОМОЛОГИЧЕСКАЯ РАЗМЕРНОСТЬ — 1) К. p. (dimGX) топологического пространства Xотносительно группы коэффициентов G максимальное целое число р, для к рого в X найдутся замкнутые подмножества Атакне, что когомологий Н p( Х, A; G )отличны от нуля. Аналогично определяется… …
38КОДАИРЫ ТЕОРЕМА — об обращении в нуль, теорема Кодаиры об исчезновении, теорема о равенстве нулю групп когомологий i<dim X, где пучок голоморфных сечений отрицательного векторного расслоения L ранга 1 на компактном комплексном многообразии X. Эквивалентная… …
39ЛИНЕЙНАЯ СИСТЕМА — семейство эффективных линейно эквивалентных дивизоров на алгебраич. многообразии, параметризованное проективным пространством. Пусть X неособое алгебраич. многообразие над полем k, обратимый пучок на X, Г (X, ) пространство глобальных сечений… …
40МЕРОМОРФНАЯ ФУНКЦИЯ — одного комплексного переменного в области (или на римановой поверхности W) голоморфная функция в области к рая в каждой особой точке имеет полюс (т. е. изолированная точка множества не имеющего предельных точек в W, и ). Совокупность M(W) всех М …
