Relative Fukaya Categories via Gentle Algebras

Jasper van de Kreeke
2023-08-17
Abstract:Relative Fukaya categories are hard to construct. In this paper, we provide a very explicit construction in the case of punctured surfaces. The starting point is the gentle algebra $ \operatorname{Gtl} Q $ associated with a punctured surface $ Q $. Our model for the relative Fukaya category is a deformation $ \operatorname{Gtl}_q Q $ which has one formal deformation parameter per puncture. We verify that $ \operatorname{Gtl}_q Q $ is a model for the relative Fukaya category by computing a large part of the $ A_\infty $-structure on the derived category $ \operatorname{H}\operatorname{Tw}\operatorname{Gtl}_q Q $. The core method is the deformed Kadeishvili theorem from <a class="link-https" data-arxiv-id="2308.08026" href="https://arxiv.org/abs/2308.08026">arXiv:2308.08026</a>. The paper's technical contributions include (1) a construction for removing curvature from band objects, (2) a method for analyzing Kadeishvili trees, (3) a matching between deformed Kadeishvili trees and relative Fukaya disks. This paper is the second in a series of three, whose aim it is to deform mirror symmetry for punctured surfaces.
Representation Theory,Rings and Algebras,Symplectic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to construct the relative Fukaya category in the case of punctured surfaces. Specifically, the paper proposes an explicit construction method to achieve this goal by deforming gentle algebras. The core contributions of the paper include: 1. **Removing the curvature of ribbon objects**: The paper provides a method for removing the curvature in ribbon objects. 2. **Analyzing Kadeishvili trees**: The paper analyzes Kadeishvili trees in detail and matches them with relative Fukaya disks. 3. **Matching deformed Kadeishvili trees and relative Fukaya disks**: The paper establishes a method to correspond the results of Kadeishvili trees to relative Fukaya disks. ### Main content of the paper #### 1. Introduction - **Background**: The Fukaya category is used to capture the global geometric structure of manifolds, but its definition and study are very complex. For punctured surfaces, Bocklandt introduced gentle algebras as a discrete version of the Fukaya category, which has been successfully used in the study of mirror symmetry. - **Problem**: The paper aims to prove the equivalence of smooth and discrete deformations on punctured surfaces, especially that their A∞ -structures are the same on the subcategory of zigzag curves. #### 2. Basic knowledge - **A∞ -category**: The basic concepts of A∞ -category and its deformation are introduced. - **Deformed Kadeishvili theorem**: The deformed Kadeishvili theorem, which is a key tool for calculating the minimal model in the paper, is reviewed. #### 3. Basic knowledge of gentle algebras - **Punctured surfaces**: The basic concept of punctured surfaces is introduced. - **Arc systems and dimers**: The concepts of arc systems and dimers are discussed. - **Gentle algebras**: The definition and properties of gentle algebras are introduced in detail. - **Deformed gentle algebras**: The concept of deformed gentle algebras is proposed, and their A∞ -structures are discussed. #### 4. Basic knowledge of Fukaya categories - **Exact Fukaya pre -categories and categories**: The definitions of exact Fukaya pre -categories and categories are introduced. - **Relative exact Fukaya pre -categories and categories**: The concepts of relative exact Fukaya pre -categories and categories are discussed. - **Zigzag paths as Lagrangians**: It is explained how to regard zigzag paths as Lagrangians. #### 5. Removing the curvature of strings and ribbon objects - **Strings and ribbon objects**: Strings and ribbon objects are classified. - **Complementary angle technique**: A method for removing curvature, namely the "complementary angle technique", is introduced. - **Objects with non -removable curvature**: Which objects cannot have their curvature removed is discussed. #### 6. Category of zigzag paths - **Category of zigzag paths**: The category of zigzag paths is defined. - **ABCD cases**: The treatment methods in four specific cases are discussed. - **Homological splitting**: The concept of homological splitting is introduced. #### 7. Deformed category of zigzag paths - **Deformed zigzag paths**: The deformed zigzag paths are discussed. - **EFGH disks**: The concept of EFGH disks is introduced. - **Deformed differential**: The deformed differential is calculated. - **Deformed cohomology basis elements**: The deformed cohomology basis elements are discussed. - **Deformed codifferential and projection**: The deformed codifferential and projection are calculated. #### 8. Result components of Kadeishvili trees - **Kadeishvili trees**: The concept of Kadeishvili trees is introduced. - **Possible tree outputs**: The possible output results of Kadeishvili trees are discussed. - **Result components**: The concept of result components is defined. - **Classification of result components**: The result components are classified. #### 9. From trees to disks - **Sub -disk protocol**: The method for constructing sub -disks is introduced. - **Shape -less disks**: The concept of shape -less disks is discussed. - **Constructing sub -disks**: The specific steps for constructing sub -disks are provided. - **Four types of disks**: Classification