TL;DR
This paper extends the concept of indschemes into derived algebraic geometry, analyzing sheaf categories and formal smoothness to deepen understanding of their classical and derived relationships.
Contribution
It introduces the notion of indschemes in derived algebraic geometry and explores their sheaf categories and formal smoothness properties.
Findings
Established the framework for derived indschemes.
Analyzed the relationship between classical and derived indschemes.
Investigated formal smoothness in the derived context.
Abstract
We develop the notion of indscheme in the context of derived algebraic geometry, and study the categories of quasi-coherent sheaves and ind-coherent sheaves on indschemes. The main results concern the relation between classical and derived indschemes and the notion of formal smoothness.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCommutative Algebra and Its Applications · Algebraic structures and combinatorial models · Polynomial and algebraic computation