Rings of definition of smooth and proper dg-algebras

Abstract

This is a companion paper to math.AT/0609762. For a filtered colimit of commutative rings k=colim ki, we prove that the homotopy theory of smooth and proper dg-algebras over k is the colimit of the homotopy theories of smooth and proper dg-algebras over ki. As a consequence, we deduce that any smooth and proper dg-algebra can be defined over a commutative Z-algebra of finite type.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…