Этальная реализация геометрических мотивов

http://www.math.uiuc.edu/K-theory/0762/

Чем дополнить статью про арифметическую кошулевость

Пусть F -- (одномерное) глобальное поле, p -- его неархимедова точка с полем вычетов характеристики отличной от l. Пусть G_F,p -- группа Галуа максимального сепарабельного расширения поля F, неразветвленного над p. Тогда алгебра когомологий группы G_F,p с l-циклотомическими коэффициентами кошулева. (Если это удастся доказать, конечно.)

В общем

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

Надо собраться с мыслями и вписать подробности в постинг по ссылке.

По большому счету все это, конечно, детское упражнение, хотя небезынтересное. Что делать дальше с этой наукой, по-прежнему непонятно.