В общем

[posic]

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

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

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