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

[posic]

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