Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН
ПРЕПРИНТ 08/2014
А. Э. ДРУЖИНИН
СОХРАНЕНИЕ ГОМОТОПИЧЕСКОЙ ИНВАРИАНТНОСТИ ПРЕДПУЧКОВ С
$Witt$-ТРАНСФЕРАМИ ПРИ ПУЧКОВАНИИ В ТОПОЛОГИИ НИСНЕВИЧА
Санкт-Петербургский Государственный Университет,
мат-мех ф-т., Университетский пр. 28,
Ст.Петергоф, С.-Петербург 198504, Россия
andrei.druzh@gmail.com
This preprint was accepted May 5, 2014
АННОТАЦИЯ:
В статье рассматриваются предпучки абелевых групп с
$Witt$-трансферами. Такие трансферы являются некоторым вариантом
ориентированных трансферов, а предпучки с этими трансферами
определяются как функторы из категории $Wor$, которая является
некоторым расширением категории гладких аффинных схем.
В данной статье доказан изоморфизм этального вырезания в размерности 1
для гомотопически инвариантных предпучков с $Witt$-трансферами.
Из этого изоморфизма вместе с изоморфизмом вырезания по Зарисскому
на аффинной прямой выведено, что пучок в топологии Нисневича
ассоциированный с гомотопически инвариантным предпучком с
$Witt$-трансферами гомотопически инвариантен.
Доказательство изоморфизма вырезания осуществляется посредством
построения специальных морфизмов в категории $Wor$, действующих
в сторону противоположную заданным морфизмам схем.
Ключевые слова: предпучок с трансферами,
гомотопическая инвариантность,
изоморфизм вырезания
A. E. Drujhinin
The preservation of homotopy invariance of presheaves with $Witt$-transfers
under Nisnevich sheafication
ABSTRACT:
The presheaves with $Witt$-transfers are considered.
This transfers is some kind of oriented transfers,
and presheaves with $Witt$-transfers are defined as functors
from the category $Wor$, that is an extention of the category
of smooth affine schemes. The etale excision isomorphism
in dimension 1 for homotopy invariant presheaves with $Witt$-transfers
is proved, and the homotopy invariance of the sheaf associated
in Nisnevich topology to homotopy invariant presheaf
with $Witt$-transfers is deduced from the etale excision isomorphism
and Zariski excision isomorphism on the affine line.
The proof of the excision isomorphism is implemented by
construction of special morphisms in the $Wor$ category acting
backwards to the given schemes morphisms.
Key words: presheave with transfers, homotopy invariance,
excision isomorphism.
[Full text:
Preprint in Russian (.pdf.gz)]
Back to all preprints
Back to the Steklov
Institute of Mathematics at St.Petersburg