Abstract:The paper introduces a partial integration map from the first Hochschild cohomology of any cohomologically unital A-infinity category over a field of characteristic zero to its derived Picard group. We discuss useful properties such as injectivity, naturality and the relation with the Baker-Campbell-Hausdorff formula. Based on the image of the integration map we propose a candidate for the identity component of the derived Picard group in the case of finite-dimensional graded algebras. As a first application of the integration map it is shown that the vanishing of its domain is a necessary condition for the uniqueness of lifts of equivalences from the homotopy category to the A-infinity-level. The final part contains applications to derived Picard groups of wrapped and compact Fukaya categories of cotangent bundles and their plumbings and an outlook on applications to derived Picard groups of partially wrapped Fukaya categories after Haiden-Katzarkov-Kontsevich.
What problem does this paper attempt to address?
The problems that this paper attempts to solve can be summarized in the following aspects:
1. **The relationship between Hochschild cohomology and the derived Picard group**:
The core objective of the paper is to establish a partial integration map (integration map) from Hochschild cohomology to the derived Picard group. Specifically, the author defines a partial integration map from the first Hochschild cohomology of a cohomologically unital $A_\infty$-category over any field of characteristic zero to its derived Picard group. The properties of this map include injectivity, naturality, and its connection with the Baker - Campbell - Hausdorff formula.
- **Formula representation**:
The Baker - Campbell - Hausdorff formula has the form:
$$
\text{BCH}(x, y)=x + y-\frac{1}{2}[x, y]+\frac{1}{12}[[x, y], x]+\cdots
$$
where $[x, y]$ represents the Lie bracket.
2. **Research on uniqueness conditions**:
Based on the results of the integration map, the paper shows that in many cases, the vanishing of the first Hochschild cohomology is a necessary condition for the uniqueness of equivalence class lifting. That is, if there exists a $k$-linear equivalence $f: H_0(A)\to H_0(B)$ and all of its liftings are weakly equivalent, then it must be that $HH^1_+(A, A) = 0$.
3. **Specific applications of the derived Picard group**:
The paper further applies the above - mentioned theory to the study of the derived Picard group of Fukaya categories, especially the wrapped Fukaya category and the compact Fukaya category. For example, for the cotangent bundle $T^*M$ of a smooth manifold $M$, the paper shows how to embed it into the derived Picard group through Hochschild cohomology.
- **Specific results**:
If $M$ is a smooth compact connected manifold, then there exists a group embedding:
$$
HH^1_+(C^{-*}, C^{-*})\hookrightarrow DPic(W)
$$
If $M$ is further a simply - connected closed manifold, then there is also an embedding:
$$
HH^1_+(C^*, C^*)\hookrightarrow DPic(F)
$$
4. **Development of theoretical tools**:
In order to achieve the above - mentioned goals, the paper introduces the exponential map of pre - Lie algebras and extends it to the contexts of brace algebras and Hochschild cohomology. This involves the relationship between the homotopy classes of Maurer - Cartan elements and Hochschild cohomology.
- **Key steps**:
(1) Use the pre - Lie exponential to construct an intermediate exponential map $HH^1_+(A, A)\hookrightarrow \text{Aut}^\infty_h(A)$.
(2) Prove that the injectivity and existence of the intermediate exponential map are invariant under quasi - isomorphisms.
In summary, the core problems that this paper attempts to solve are: **How to understand the structure of the derived Picard group through Hochschild cohomology, and use this understanding to study the uniqueness conditions of equivalence class lifting and their applications in Fukaya categories**.