Аннотация:
Я расскажу о некоторой конструкции, которая связывает с
каждой собственной DG алгеброй A дуализируемую представимую DG
категорию Nuc(A) т.н. "ядерных модулей" над A. В качестве частного случая эта
конструкция дает категорию ядерных модулей на аффинной формальной схеме
(точнее, ее "неограниченную" версию), построенную недавно Клаузеном и
Шольце. Для гладкой собственной DG алгебры A категория Nuc(A) эквивалентна
обычной категории A-модулей.
Также будет объяснено, что эта конструкция является частным случаем
внутреннего Hom в подходящей симметрической моноидальной категории
(где объекты – дуализируемые представимые DG категории, а морфизмы –
сильно непрерывные функторы).
