Математическая энциклопедия - квазикогерентный пучок

пучок модулей, локально задаваемый образующими и соотношениями. Точнее, пусть X топологич. пространство и пучок колец на X, пучок -модулей наз. квазикогерентным, если для любой точки найдется открытая окрестность Uи точная последовательность пучков (A|U )-модулей

где Iи J некоторые множества, |U означает ограничение пучка на U, а есть прямая сумма I экземпляров Аналогично определяется К. п. на топологизированной категории с пучком колец.

Если (X,).аффинная схема, то сопоставление осуществляет эквивалентность категории квазикогерентных пучков -модулей с категорией Г( Х, )-модулей. Благодаря этому К. п. находят широкое применение в теории схем. См. также Когерентный пучок.

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

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

И. М. Виноградов

1977—1985