ЗАМЕНА БАЗЫ
- теоретико-категорная конструкция, частными случаями которой являются понятие индуцированного расслоения в топологии, а также понятие расширения кольца скаляров в теории модулей.
Пусть С- категория с расслоенными произведениями и g: - морфизм этой категории. 3. б. при помощи морфизма gесть функтор из категории S-объектов (т. е. из категории морфизмов f: где X- объект из С)в категорию S'-объектов, сопоставляющий S-объекту f: S'-объект f': где а морфизм f' есть проекция на второй сомножитель. Морфизм gпри этом наз. морфизмом замены базы. Говорят также, что объектX'получен З. б. из объектаX.
Частным случаем понятия З. б. является понятие слоя морфизма f: схемыS.А именно, слой морфизма fнад точкой есть схема
т. е. схема, получаемая изX З. б. при помощи естественного морфизма Аналогично определяется геометрический слойXs,он получается З. б. при помощи морфизма Specсвязанного с точкойS,где К- алгебраически замкнутое поле.Многие свойства S-схемы Xсохраняются при 3. б. Обратная задача - восстановление свойств схемы Xпо свойствам схемы, полученной из X3. б., рассматривается в теории спуска (см. также [3]).
Пусть морфизм f': получен 3. б. при помощи g:из морфизма f: т. е. задан декартов квадрат
И пусть F- пучок множеств наX.Тогда существует естественное отображение пучков Если F- пучок абелевых групп, то для каждого существует естественный гомоморфизм пучков
При этом y и yqтакже наз. морфизмам и замены базы. Принято говорить, что справедлива теорема о замене базы, если yили, соответственно, yqявляются изоморфизмами. Иначе говоря, теорема о 3. б. это - утверждение о согласованности (коммутировании) функторовRqf*с функтором замены базы. В частности, если gесть вложение точки то теорема о 3. б. означает существование естественного изоморфизма: между слоемq-гопрямого образа пучка Fи q-мерной группой когомологий слоя морфизма f. Теорема о 3. б. справедлива в следующих ситуациях: 1) f - собственное отображение паракомпактных топологич. пространств, S- локально компактное пространство[1];2) f - отделимый квазикомпактный морфизм схем, g- плоский морфизм, F- квазикогерентный пучокОX-модулей (теорему о сравнении когомологий обычных и формальных схем (см. [2]) также можно интерпретировать как теорему о 3. б.); 3) f - собственный морфизм схем, F- пучок кручения в этальной топологии. Некоторые другие случаи, в к-рых справедлива теорема о 3. б., рассмотрены в [3].
Лит.:[1] Годеман Р., Алгебраическая топология и теория пучков, пер. с франц., М., 1961; [2] Grothendieck A., Dieudonne J., Elements degeometrie algebrique, P., 1961, (Publ. math. IHES, № 11); [3] Theorie des topos et cohomologie etale des schemes, В., 1973.
В. И. Данилов.