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.
A family of new algebraic Poisson varieties will be constructed, generalising the complex character varieties of Riemann surfaces. Then the well-known (Poisson) mapping class group actions on the character varieties will be generalised.
Let $C$ be a simply laced generalized Cartan matrix. Given an element $b$ of the generalized braid semigroup related to $C$, we construct a collection of mutation-equivalent quivers with potentials. A quiver with potential in such a collection corresponds to an expression of $b$ in terms of the standard generators. For two expressions that differ by a braid relation, the corresponding quivers with potentials are related by a mutation. The main application of this result is a construction of a family of $CY_3$ $A_\infty$-categories associated to elements of the braid semigroup related to $C$. I…
Torus actions on compactified braid varieties and polytopality of subword complexes
Universidad Nacional Autónoma de México, Instituto de Matemáticas（墨西哥国立自治大学数学研究所）；Universität Hamburg, Fachbereich Mathematik（汉堡大学数学系）；Institut Camille Jordan UMR 5208, Université Jean Monnet, CNRS, Centrale Lyon, INSA Lyon, Université Claude Bernard Lyon 1（卡米尔·让数学研究所（UMR 5208），圣艾蒂安大学，法国国家科学研究中心，里昂中央理工学院，里昂国立应用科学学院，里昂第一大学）
In \cite{CVX3}, we have established a Springer theory for the symmetric pair $(\operatorname{SL}(N),\operatorname{SO}(N))$. In this setting we obtain representations of (the Tits extension) of the braid group rather than just Weyl group representations. These representations arise from cohomology of families of certain (Hessenberg) varieties. In this paper we determine the Springer correspondence explicitly for IC sheaves supported on order 2 nilpotent orbits. In this process we encounter universal families of hyperelliptic curves. As an application we calculate the cohomolgy of Fano varieties…
This work presents an approach towards the representation theory of the braid groups $B_n$. We focus on finite-dimensional representations over the field of Laurent series which can be obtained from representations of infinitesimal braids, with the help of Drinfeld associators. We set a dictionary between representation-theoretic properties of these two structures, and tools to describe the representations thus obtained. We give an explanation for the frequent apparition of unitary structures on classical representations. We introduce new objects -- varieties of braided extensions, infinitesim…
Henriques and Kamnitzer have defined a commutor for the category of crystals of a finite-dimensional complex reductive Lie algebra that gives it the structure of a coboundary category (somewhat analogous to a braided monoidal category). Kamnitzer and Tingley then gave an alternative definition of the crystal commutor, using Kashiwara's involution on Verma crystals, that generalizes to the setting of symmetrizable Kac-Moody algebras. In the current paper, we give a geometric interpretation of the crystal commutor using quiver varieties. Equipped with this interpretation we show that the commuto…
We re-examine some topics in representation theory of Lie algebras and Springer theory in a more general context, viewing the universal enveloping algebra as an example of the section ring of a quantization of a conical symplectic resolution. While some modification from this classical context is necessary, many familiar features survive. These include a version of the Beilinson-Bernstein localization theorem, a theory of Harish-Chandra bimodules and their relationship to convolution operators on cohomology, and a discrete group action on the derived category of representations, generalizing t…
Let $C$ be a symmetrizable generalized Cartan matrix. We introduce four different versions of double Bott-Samelson cells for every pair of positive braids in the generalized braid group associated to $C$. We prove that the decorated double Bott-Samelson cells are smooth affine varieties, whose coordinate rings are naturally isomorphic to upper cluster algebras. We explicitly describe the Donaldson-Thomas transformations on double Bott-Samelson cells and prove that they are cluster transformations. As an application, we complete the proof of the Fock-Goncharov duality conjecture in these cases.…
Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties. Specifically, to any twisted involutions $x$, $y$ in a Coxeter group $W$ with automorphism $*$, we associate a set of involution words $\hat{\mathcal{R}}_*(x,y)$. This set is the disjoint union of the reduced words of a set of group elements $\mathcal{A}_*(x,y)$, which we call the atoms of $y$ relative to $x$. The atoms, in turn, are contained in a larger set $\mathca…
