A Computational Approach to the Homotopy Theory of DG categories

Dogancan Karabas,Sangjin Lee

2024-05-06

Abstract:We give a specific cylinder functor for semifree dg categories. This allows us to construct a homotopy colimit functor explicitly. These two functors are "computable", specifically, the constructed cylinder functor sends a dg category of finite type, i.e., a semifree dg category having finitely many generating morphisms, to a dg category of finite type. The homotopy colimit functor has a similar property. Moreover, using the cylinder functor, we give a cofibration category of semifree dg categories and that of dg categories of finite type, independently from the work of Tabuada. All the results similarly work for semifree dg algebras. We also describe an application to symplectic topology and provide a toy example.

Category Theory,K-Theory and Homology,Symplectic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to provide a computational method in the homotopy theory of differential graded (dg) categories. Specifically, the authors propose a specific cylinder functor for semi - free dg categories and construct a homotopy colimit functor based on this. These functors are "computable", that is, they can handle semi - free dg categories of strictly finite type (i.e., semi - free dg categories where both objects and generating morphisms are finite) and preserve the properties of these categories. In addition, through the cylinder functor, the authors also define a cofibration category of semi - free dg categories, which is independent of Tabuada's work. These results also apply to semi - free dg algebras.

### Main contributions:
1. **Construction of the cylinder functor**:
- A new cylinder functor is proposed, which is simpler and more computable when dealing with semi - free dg categories.
- Compared with Tabuada's method, the new cylinder functor is more effective when dealing with finitely - generated semi - free dg categories, because Tabuada's method involves complex transfinite constructions.

2. **Homotopy colimit functor**:
- Based on the new cylinder functor, a homotopy colimit functor is constructed, which preserves the properties of semi - free dg categories when dealing with the homotopy colimit of diagrams.
- This homotopy colimit functor is computationally simpler than the Grothendieck construction, which usually requires the localization of non - semi - free dg categories, leading to computational difficulties.

3. **Cofibration category structure**:
- Using the cylinder functor, a cofibration category structure of semi - free dg categories is defined, which is different from Tabuada's method because the new method provides a simpler functor decomposition.
- It is further proved that semi - free dg categories of strictly finite type also form a cofibration category, which does not hold in Tabuada's method because its factorization does not preserve finiteness.

### Applications:
- **Symplectic topology**:
- The results in the paper can be directly applied to symplectic topology, especially in calculating the Fukaya category of Weinstein manifolds.
- By regarding the wrapped Fukaya category of each covering element as a semi - free dg category, the homotopy colimit functor can be used to calculate the Fukaya category of the entire manifold.

### Conclusion:
This paper provides a computational method for the homotopy theory of differential graded categories by proposing new cylinder and homotopy colimit functors. These methods are not only innovative in theory but also more effective in practical applications, especially in the field of symplectic topology.