We develop the notion of crystal in the context of derived algebraic geometry, and to connect crystals to more classical objects such as D-modules.
生成讲解博客的中文版本
生成AI智能校验的中文版本