Обозначения

Поскольку i и j заняты под индексы мотивных когомологий, придумал обозначать замкнутое вложение через ι (йота), а открытое через υ (упсилон). В одной статье уже использовал, теперь в другой.

Побаловаться немножко настоящей геометрией

ужасно приятно все же. Этальные пучки! схемные точки многообразий! топология Нисневича, гензелевы локальные схемы! нормализация, основная теорема Зарисского! разрешение особенностей! нодальная кривая, нормальная поверхность! Красота.

С базисами Гребнера какими-нибудь не сравнить...

Точная категория мотивов Артина-Тейта

с конечными коэффициентами над алгебраическим многообразием (над совершенным полем характеристики, взаимно-простой с коэффициентами) вычисляется теперь здесь -- http://positselski.narod.ru/mot-sheaves.ps . В смысле, появилось доказательство теоремы вложения моей точной категории в гипотетическую триангулированную.