Quasi-coherent Hecke category and Demazure Descent

Для редуктивной группы $G$ и ее борелевской подгрупnы $B$ мы определяем квазикогерентную категорию Гекке. Пусть $X$ – регулярная нётерова схема с действием группы $G$. Мы определяем моноидальное действие категории Гекке на производной категории $B$-эквивариантных квазикогерентных пучков на $X$. Используя построенное действие, мы строим данные спуска Демазюра на этой категории. Соответствующая категория спуска эквивалентна производной категории $G$-эквивариантных квазикогерентных пучков на $X$.