Skip to main content
edited title
Link
OOOOOO
  • 349
  • 1
  • 4

A proper smooth dg-categorycategories and colimit

Source Link
OOOOOO
  • 349
  • 1
  • 4

A proper smooth dg-category and colimit

Let $I$ be a filtered category and $\{k_i\}_{i\in I}$ be a system of commutative rings over $I$. Toen proved that there is an equivalence of categories $$ \text{Colim}-\otimes^{\mathbb{L}}_{k_i} k:\text{Colim}_{i\in I}\text{Ho}(\text{smooth proper dg-alg}/k_i) \simeq \text{Ho}(\text{smooth proper dg-alg}/k). $$ (see https://www.semanticscholar.org/paper/Anneaux-de-d%C3%A9finition-des-dg%E2%80%90alg%C3%A8bres-propres-et-To%C3%ABn/72decd287a7bb55e4ee1a49e23022200073a6f35)

Does this theorem still hold if we replace dg-algebras with dg-categories? That is, is there an equivalence of categories $$ \text{Colim}-\otimes^{\mathbb{L}}_{k_i} k:\text{Colim}_{i\in I}\text{Ho}(\text{smooth proper dg-cat}/k_i) \simeq \text{Ho}(\text{smooth proper dg-cat}/k)? $$