морфизм пучков
Смотреть что такое "морфизм пучков" в других словарях:
СОБСТВЕННЫЙ МОРФИЗМ — морфизм схем, отделимый, универсально замкнутый и имеющий конечный тип. Морфизм схем f : наз. замкнутым, если для любого замкнутого множество f(Z) замкнуто в Y, и универсально замкнутым, если для любой замены базы замкнут морфизм Свойство быть С … Математическая энциклопедия
АФФИННЫЙ МОРФИЗМ — морфнзм схем f: такой, что прообраз любой открытой аффинной подсхемы в является аффинной схемой; при этом схема X наз. аффинной схемой. Пусть схема, квазикогерентный пучок алгебр и пусть открытые аффинные подсхемы в , образующие … Математическая энциклопедия
Пучок (математика) — У этого термина существуют и другие значения, см. Пучок. Пучки используются для установления отношений между локальными и глобальными данными. По этой причине они играют значительную роль в топологии, дифференциальной геометрии и алгебраической… … Википедия
АЛГЕБРАИЧЕСКОЕ ПРОСТРАНСТВО — обобщение понятия схемы и алгебраического многообразия. К этому обобщению приводят нек рые конструкции алгебраич. геометрии: схемы Гильберта, схемы Пикара, мнoгообразия модулей, стягивания, не выполнимые зачастую в категории схем и требующие… … Математическая энциклопедия
ЛИНЕЙНЫЙ ДИФФЕРЕНЦИАЛЬНЫЙ ОПЕРАТОР — в узком смысле оператор, действующий на функции, заданные на открытом множестве и принимающий значения в поле или по формуле где функции со значениями в том же поле, наз. коэффициентами А. Если коэффициенты принимают значения во множестве матриц… … Математическая энциклопедия
ВЕКТОРНОЕ АЛГЕБРАИЧЕСКОЕ РАССЛОЕНИЕ — морфизм многообразий , локально (в Зариского топологии).устроенный как проекция прямого произведения на , причем склейка сохраняет послойно структуру векторного пространства. При этом Еназ. пространством расслоения, базой, а п рангом (или… … Математическая энциклопедия
ГОМОМОРФИЗМ — морфизм в категории алгебраических систем. Г. отображение алгебраич. системы , сохраняющее основные операции и основные отношения; точнее, пусть алгебраич. система с основными операциями и основными отношениями , Г. системы в однотипную ей… … Математическая энциклопедия
СХЕМА — окольцованное пространство, локально изоморфное аффинной схеме. Подробнее, С. состоит из топологич. пространстна X (базисного пространства схемы) и пучка коммутативных колец с единицей на Х (структурного пучка схемы); при этом должно существовать … Математическая энциклопедия
ЗАМЕНА БАЗЫ — теоретико категорная конструкция, частными случаями которой являются понятие индуцированного расслоения в топологии, а также понятие расширения кольца скаляров в теории модулей. Пусть С категория с расслоенными произведениями и g: морфизм этой… … Математическая энциклопедия
ЭТАЛЬНЫЕ КОГОМОЛОГИИ — когомологии пучков в эталъной топологии. Они определяются стандартным образом при помощи производных функторов. А именно, пусть X схема и Xet этальная топология на X. Тогда категория пучков абелевых групп на Xet является абелевой категорией с… … Математическая энциклопедия
КОМПЛЕКС — одно из основных, понятий гомологической алгебры. Пусть А абелева категория. Градуированным объектом наз. последовательность объектов К n из А. Последовательность а=( а п). морфизмов а n: нез. морфизмом а: градуированых объектов. Полагая K(h)n=… … Математическая энциклопедия