Шесть операций
- Шесть операций Гротендика в гомологической алгебре представляют собой формализм, основанный на соотношениях в конечных когомологиях.
- Аксиомы, лежащие в основе формализма, справедливы во многих контекстах, включая D-модули, пучки на топологических пространствах и мотивы.
- Операции состоят из шести функторов, обычно между производными категориями.
- Функторы образуют сопряженную пару и связаны с внутренним тензорным произведением и внутренним Hom.
- Морфизм схем f индуцирует несколько функторов, включая сопряженные функторы f* и f*.
- В производной категории существуют соответствующие функторы, такие как Lf*, Rf*, Rf!, f!, ⊗L и RHom.
- В статье рассматриваются изоморфизмы и треугольники в производной категории, связанные с морфизмами схем и различными категориями.
Полный текст статьи: