Abstract:In this manuscript we study braid varieties, a class of affine algebraic varieties associated to positive braids. Several geometric constructions are presented, including certain torus actions on braid varieties and holomorphic symplectic structures on their respective quotients. We also develop a diagrammatic calculus for correspondences between braid varieties and use these correspondences to obtain interesting stratifications of braid varieties and their quotients. It is shown that the maximal charts of these stratifications are exponential Darboux charts for the holomorphic symplectic structures, and we relate these strata to exact Lagrangian fillings of Legendrian links.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the following aspects:
1. **Studying Braid Varieties**: The paper studies a class of affine algebraic varieties related to positive braids - braid varieties. These varieties have rich geometric properties, including specific torus actions and holomorphic symplectic structures on their quotient spaces.
2. **Constructing Correspondences**: By using certain moduli spaces related to weaves, the paper constructs correspondences between these braid varieties. These geometric correspondences not only provide valuable decompositions of braid varieties and their quotient spaces but also unify the known constructions of P. Boalch and A. Mellit on character varieties and those of M. Henry and D. Rutherford on augmentation varieties.
3. **Developing Diagrammatic Calculus**: The paper introduces a diagrammatic calculus based on weaves, which allows for direct and explicit calculations and constructs exact Lagrangian fillings of Legendrian links by combinatorial methods.
4. **Proving Main Theorems**: The paper proves several important theorems, including:
- **Theorem 1.1**: It discusses the basic properties of braid varieties, including the existence of torus actions and their relationships with augmentation varieties defined by Floer theory.
- **Theorem 1.3**: It shows that braid varieties and their correspondences provide a realization of the weaving category \( W_n \).
- **Theorem 1.7**: It establishes the relationships between different crossing - opening orders and Demazure weaves, as well as the properties of the open - torus - graph coverings of braid varieties defined by these weaves.
Specifically, the main contributions of the paper are:
- **Geometric Properties**: It studies in detail the geometric properties of braid varieties, including torus actions and holomorphic symplectic structures.
- **Correspondences**: It constructs correspondences between braid varieties through weaves, providing new decomposition methods.
- **Diagrammatic Calculus**: It introduces a new diagrammatic calculus method, making calculations more direct and explicit.
- **Theoretical Connections**: It links these results with existing mathematical theories (such as character varieties and augmentation varieties), enriching the theoretical basis in related fields.
In conclusion, through in - depth research on braid varieties and their related properties, this paper provides new perspectives and tools for the fields of contact geometry and symplectic geometry.