Квантование по Федосову алгебраических многообразий положительной характеристики

Некоторое время назад на семинаре докладчик рассказывал о том, как перенести процедуру деформационного квантования по Федосову из ситуации $C^\infty$ симплектических многообразий в алгебраическую геометрию. В этот раз будет рассказано, как то же самое сделать для многообразий положительной характеристики. В этом случае картинка усложняется; однако же достаточно хорошие аналоги всех теорем по-прежнему можно доказать. Будет также кратко рассказано, зачем нужно квантование в положительной характеристике — а именно, как применять его к описанию производной категории когерентных пучков на симплектических алгебраических многообразиях.