Текущая версия -- http://positselski.narod.ru/reduction.pdf (22 страницы). Тут тем временем немножко проходит такой подводный процесс переосмысления концепции в разделе 1. Может быть, максимальной естественной общностью для длинной точной последовательности Бокштейна нужно считать не пару точных функторов η s , η t : F st → F s , F t плюс естественное преобразование s: Id → (1) на F st , а тройку таких функторов ρ st , ρ s , ρ t : F → F st , F s , F t плюс, может быть, какие-то естественные преобразования s и t между функтором ρ st и его сдвигами, что-то такое. А то, что в нынешней версии прописано -- это частный случай, когда F = F st . А, например, длинная точная последовательность для проективного предела цепочки функторов редукции (перехода от совокупности категорий с Z /l r -коэффициентами к категории с Z l -коэффициентами) -- это мог бы быть частный случай, когда F = F t и F st = F s (в контексте обозначений для длинной точной последовательности в разделе 1 по ссылке). Только при этом естественное преобразование t нужно нетривиальное. И еще бывает ситуация, когда F -- категория с l-адическими коэффициентами, а F s , F t и F st -- три ее редукции (по числам s, t и st, являющимся степенями l), то есть все четыре категории разные (тогда длинная последовательность Бокштейна оказывается определенной для пары объектов из F, а не из F st , что слабее, но может быть и выводимо при более слабых предположениях). Такой примерно замысел. Но доедет ли новая концепция до первой архивной версии, или только до второй, это я не знаю еще пока. Как будет со временем.