НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ВЕКТОРНОЕ АЛГЕБРАИЧЕСКОЕ РАССЛОЕНИЕ

ВЕКТОРНОЕ АЛГЕБРАИЧЕСКОЕ РАССЛОЕНИЕ - морфизм многообразий Е → Х, локально (в Зариского топологии) устроенный как проекция прямого произведения kn × Х на X, причем склейка сохраняет послойно структуру векторного пространства. При этом Е наз. пространством расслоения, X -базой, а n - рангом (или размерностью) расслоения. Морфизмы В. а. р. определяются так же, как и в топологии. Более общее определение, пригодное для произвольной схемы, использует понятие пучка. Пусть - локально свободный пучок X - модулей конечного (постоянного) ранга, тогда аффинный морфизм V(): Spec (Sym ) → X, где Sym -пучок симметрических алгебр , наз. векторным расслоением, ассоциированным с . Эту терминологию сохраняют иногда и в случае, когда - произвольный квазикогерентный пучок. Пучок однозначно восстанавливается по В. а. р. V(), и категория В. а. р. на X оказывается двойственной к категории локально свободных пучков X-модулей. При этом для X-схемы Y множество X-морфизмов Y → V() биективно соответствует множеству гомоморфизмов X-модулей → f* (Y), где f - структурный морфизм X-схемы Y. В частности, пучок ростков сечений В. а. р. У () отождествляется с двойственным к пучком ˇ. В. а. p. V(nX) наз. тривиальным векторным расслоением ранга n. Множество всех В. а. р. ранга n на схеме находится во взаимно однозначном соответствии с множеством когомологий H1(X, GL(n, X)), где GL(n, X) - пучок автоморфизмов тривиального векторного расслоения ранга n. В. а. р. ранга 1 наз. линейными векторными расслоениями, они соответствуют обратимым пучкам X-модулей и тесно связаны с дивизорами на X; множество линейных векторных расслоений с операцией тензорного произведения образует группу Pic (X) ≈ H1(X, *X) (см. Пикара группа).

Для В. а. р., как и в топологии, определены операции прямой суммы, тензорного произведения, двойственного расслоения, симметрической и внешней степени, индуцированного В. а. р. и др. Для В. а. р. Е ранга n линейное векторное расслоение λnЕ наз. определителем. С В. а. р. Е можно связать проективное расслоение Р(Е) аналогично тому, как с векторным пространством связано проективное пространство (см. Проективная схема).

Примеры нетривиальных В. а. р. дают канонические В. а. р. на Грассмана многообразиях; в частности, на проективном пространстве Рn имеется каноническое линейное расслоение, соответствующее пучку (1)-Если В. а. р. Е на схеме X является подрасслоением тривиального В. а. р., то такое вложение определяет морфизм X в соответствующее многообразие Грассмана, причем относительно этого морфизма индуцируется каноническим В. а. р. на многообразии Грассмана. Линейные расслоения, определяющие вложение X в Рn, наз. очень обильными (см. Обильное векторное расслоение).

Другими примерами В. а. р. являются касательное расслоение Т(Х) на гладком многообразии X и расслоения, построенные из него при помощи различных операций (см. Касательный пучок, Канонический класс, Нормальный пучок).

В. а. р. на многообразии, определенном над полем комплексных чисел ℂ, можно рассматривать как аналитическое или как топологическое (в топологии комплексного пространства) В. а. р. На полном алгебраич. многообразии категории аналитич. и алгебраич. В. а. р. эквивалентны (см. Сравнения теоремы в алгебраич. геометрии). Топологич. векторное расслоение не всегда допускает алгебраич. структуру, а если и допускает (как, например, расслоения на Р2), то, вообще говоря, не единственную. Рассмотрение В. а. р. как топологического позволяет использовать топологические методы, в частности, вводить Чженя классы В. а. р. Имеется и абстрактное определение классов Чжэня, использующее К-функтор или один из вариантов Вейля когомологий.

Свойства В. а. р. зависят от того, является ли его база полной или аффинной схемой. В случае аффинной базы X = Spec А, В. а. р. соответствуют проективным модулям конечного типа над кольцом А. Если ранг В. а. р. Е больше размерности базы X, то Е можно представить в виде Е = Е ⊕ 1, где 1 - одномерное тривиальное расслоение. Е' определяется, вообще говоря, не однозначно. Все же, если ранг Е больше размерности базы и E ⊕ 1 ≃ F ⊕ 1, то E ≃ F (см. [4]). Если X неособая одномерная схема (т. е. А - дедекиндово кольцо), то любое В. а. р. есть прямая сумма тривиального и линейного векторного расслоений. Это же верно для В. а. р. на неособой аффинной поверхности над алгебраически замкнутым полем, бирационально эквивалентной линейчатой поверхности.

Случай проективной базы. Изучение линейных расслоений на проективных многообразиях - классич. задача алгебраич. геометрии (см. Пикара группа, Пикара схема). Исследование В. а. р. большего ранга началось в 1957, когда А. Гротендик (A. Grothendieck) показал, что В. а. р. на проективной прямой является прямой суммой линейных расслоений. М. Атья (М. Atiyah) классифицировал В. а. р. на эллиптич. кривой X: если через (r, d) обозначить множество неразложимых (в прямую сумму) В. а. р. ранга r и степени d (под степенью понимается степень определителя расслоения), то (r, d) отождествляется с точками самой кривой X ([3]).

При изучении В. а. р. на кривых полезным оказалось понятие стабильного В. а. р. Положим для В. а. р. Е, что μ(E) есть степень Е. деленная на ранг Е; тогда В. а. р. Е наз. стабильным (соответственно полустабильным), если для любого подрасслоения Е' ⊂ Е имеет место μ(Е') < μ(Е) (соответственно μ(E') ≤ μ(E)). Стабильное расслоение просто (т. е. End (E) ≃ k) и, в частности, неразложимо. В. а. р. степени 0 на алгебраич. кривой А рода g ≥ 2 стабильно в том и только том случае, когда оно ассоциировано с неприводимым унитарным представлением фундаментальной группы π1(X) (см. [1]). Пусть U(r, d) - множество всех полустабильных В. а. р. ранга r и степени d, являющихся прямой суммой стабильных В. а. р., US(г, d) - подмножество стабильных В. а. р. Если род g гладкой кривой X больше 1, то U(r, d) обладает естественной структурой нормального проективного многообразия размерности r2(g - 1) + 1, a US(r, d) - открытое гладкое подмногообразие U(r, d) (см. [1]). Если r и d взаимно простые, то U(r, d)= US(r, d) и поэтому гладкое. Пространство модулей полустабильных В. а. р. достаточно изучено, а именно, известно, что U(1, d) - компонента схемы Пикара для X, слои отображения определителя det : U(r, d) → U(1, d) являются унирациональными многообразиями; если r и d взаимно просты, то U(r, d) однозначно определяет исходную кривую А. Поскольку над U(r, d) не всегда существует универсальное семейство В. а. р., то U(r, d) не является представляющим объектом подходящего функтора [1]. Большинство указанных результатов получены для случая поля ℂ. хотя многие остаются верны и для произвольного алгебраически замкнутого поля. Некоторые специальные факты известны для В. а. р. на алгебраич. поверхностях и проективных пространствах (см. [5]).

Лит.: [1] Нарасимхан М., Шешадри К., «Математика», 1969, т. 13, вып. 1, с 27-52; [2] Тюрин А. Н., «Изв. АН СССР. Сер. матем.», 1966, т. 30. в. 6, с. 1353-66; [3] Atiуah М., «Рrос. London Math. Soc.», 1957, v. 7, p. 414-52; [4] Басc X., Алгебраическая K-теория, пер. с англ., М., 1973; [5] Долгачев И. В., Псковских В. А., в кн.: Итоги науки и техники. Алгебра. Топология. Геометрия, т. 12, М., 1974, с. 77-170.

В. И. Данилов.


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru