Abstract
We investigate positive braid Legendrian links via a Floer-theoretic approach and prove that their augmentation varieties are cluster K2 (aka. \(\mathcal{A}\)-) varieties. Using the exact Lagrangian cobordisms of Legendrian links in Ekholm et al. (J. Eur. Math. Soc. 18(11):2627–2689, 2016), we prove that a large family of exact Lagrangian fillings of positive braid Legendrian links correspond to cluster seeds of their augmentation varieties. We solve the infinite-filling problem for positive braid Legendrian links; i.e., whenever a positive braid Legendrian link is not of type ADE, it admits infinitely many exact Lagrangian fillings up to Hamiltonian isotopy.
Similar content being viewed by others
Notes
Here the decoration means a specific trivialization of the line bundle near the boundary of the surface. See Definition 3.6 for a precise description.
Since εij may not be integers when i,j are frozen, the map p is not necessarily algebraic. In Sect. A.3, we consider the unfrozen quotient 𝒳uf of 𝒳. The induced map p:𝒜→𝒳uf is algebraic.
References
Arnold, V.I.: Local normal forms of functions. Invent. Math. 35, 87–109 (1976). https://doi.org/10.1007/BF01390134
Baader, S.: Positive braids of maximal signature. Enseign. Math. 59(3–4), 351–358 (2013). https://doi.org/10.4171/LEM/59-3-8
Berenstein, A., Fomin, S., Zelevinsky, A.: Cluster algebras. III. Upper bounds and double Bruhat cells. Duke Math. J. 126(1), 1–52 (2005). https://doi.org/10.1215/S0012-7094-04-12611-9. arXiv:math/0305434
Casals, R.: Lagrangian skeleta and plane curve singularities. J. Fixed Point Theory Appl. 24, 34 (2022). https://doi.org/10.1007/s11784-022-00939-8. arXiv:2009.06737
Casals, R., Gao, H.: Infinitely many Lagrangian fillings. Ann. Math. 195(1), 207–249 (2022). https://doi.org/10.4007/annals.2022.195.1.3. arXiv:2001.01334
Baptiste, C.: Lagrangian concordance of Legendrian knots. Algebraic Geom. Topol. 10(1), 63–85 (2010). https://doi.org/10.2140/agt.2010.10.63. arXiv:math/0611848
Baptiste, C.: Lagrangian concordance is not a symmetric relation. Quantum Topol. 6(3), 451–474 (2015). https://doi.org/10.4171/QT/68
Chekanov, Y.: Differential algebra of Legendrian links. Invent. Math. 150(3), 441–483 (2002). https://doi.org/10.1007/s002220200212. arXiv:math/9709233
Casals, R., Ng, L.: Braid loops with infinite monodromy on the Legendrian contact DGA. J. Topol. 154, 1–82 (2022). https://doi.org/10.1112/topo.12264. arXiv:2101.02318
Casals, R., Zaslow, E.: Legendrian weaves: N-graph calculus, flag moduli and applications. Geom. Topol. 26(8), 3589–3745 (2022). https://doi.org/10.2140/gt.2022.26.3589. arXiv:2007.04943
Ekholm, T., Etnyre, J., Ng, L., Sullivan, M.: Knot contact homology. Geom. Topol. 17(2), 975–1112 (2013). https://doi.org/10.2140/gt.2013.17.975. arXiv:1109.1542
Eliashberg, Y., Givental, A., Hofer, H.: Introduction to symplectic field theory. In: Visions in Mathematics, Special Volume, Part II, Tel Aviv, 1999. GAFA 2000, pp. 560–673. Birkhäuser, Basel (2000). https://doi.org/10.1007/978-3-0346-0425-3_4. arXiv:math/0010059
Ekholm, T., Honda, K., Kálmán, T.: Legendrian knots and exact Lagrangian cobordisms. J. Eur. Math. Soc. 18(11), 2627–2689 (2016). https://doi.org/10.4171/JEMS/650. arXiv:1212.1519
Ekholm, T.: Morse flow trees and Legendrian contact homology in 1-jet spaces. Geom. Topol. 11, 1083–1224 (2007). https://doi.org/10.2140/gt.2007.11.1083. arXiv:math/0509386
Ekholm, T., Lekili, Y.: Duality between Lagrangian and Legendrian invariants. Geom. Topol. 27(6), 2049–2179 (2023). https://doi.org/10.2140/gt.2023.27.2049. arXiv:1701.01284
Etnyre, J., Ng, L.: Legendrian contact homology in \(\mathbb{R}^{3}\). Surv. Differ. Geom. 25, 103–161 (2020). https://doi.org/10.4310/SDG.2020.v25.n1.a4. arXiv:1811.10966
Etnyre, J., Ng, L., Sabloff, J.: Invariants of Legendrian knots and coherent orientations. J. Symplectic Geom. 1(2), 321–367 (2002). http://projecteuclid.org/euclid.jsg/1092316653. arXiv:math/0101145
Eliashberg, Y., Polterovich, L.: Local Lagrangian 2-knots are trivial. Ann. Math. (2) 144(1), 61–76 (1996). https://doi.org/10.2307/2118583
Etnyre, J., Vértesi, V.: Legendrian satellites. Int. Math. Res. Not. 2018(23), 7241–7304 (2018). https://doi.org/10.1093/imrn/rnx106. arXiv:1608.05695
Fock, V., Goncharov, A.: Moduli spaces of local systems and higher Teichmüller theory. Publ. Math. Inst. Hautes Études Sci. 103, 1–211 (2006). https://doi.org/10.1007/s10240-006-0039-4. arXiv:math/0311149
Fock, V., Goncharov, A.: Cluster ensembles, quantization and the dilogarithm. Ann. Sci. Éc. Norm. Supér. (4) 42(6), 865–930 (2009). https://doi.org/10.24033/asens.2112. arXiv:math/0311245
Fuchs, D., Rutherford, D.: Generating families and Legendrian contact homology in the standard contact space. J. Topol. 4(1), 190–226 (2011). https://doi.org/10.1112/jtopol/jtq033. arXiv:0807.4277
Fraser, C.: Quasi-homomorphisms of cluster algebras. Adv. Appl. Math. 81, 40–77 (2016). https://doi.org/10.1016/j.aam.2016.06.005. arXiv:1509.05385
Fuchs, D.: Chekanov-Eliashberg invariant of Legendrian knots: existence of augmentations. J. Geom. Phys. 47(1), 43–65 (2003). https://doi.org/10.1016/S0393-0440(01)00013-4
Fomin, S., Zelevinsky, A.: Cluster algebras. I. Foundations. J. Am. Math. Soc. 15(2), 497–529 (2002). https://doi.org/10.1090/S0894-0347-01-00385-X. arXiv:math/0104151
Fomin, S., Zelevinsky, A.: Cluster algebras. II. Finite type classification. Invent. Math. 154(1), 63–121 (2003). https://doi.org/10.1007/s00222-003-0302-y. arXiv:math/0208229
Fomin, S., Zelevinsky, A.: Cluster algebras. IV. Coefficients. Compos. Math. 143(1), 112–164 (2007). https://doi.org/10.1112/S0010437X06002521. arXiv:math/0602259
Gross, M., Hacking, P., Keel, S., Kontsevich, M.: Canonical bases for cluster algebras. J. Am. Math. Soc. 31(2), 497–608 (2018). https://doi.org/10.1090/jams/890. arXiv:1411.1394
Geiss, C., Leclerc, B., Schröer, J.: Kac-Moody groups and cluster algebras. Adv. Math. 228(1), 329–433 (2011)
Ganatra, S., Pardon, J., Shende, V.: Sectorial descent for wrapped Fukaya categories. J. Am. Math. Soc. 37(2), 499–635 (2024). https://doi.org/10.1090/jams/1035. arXiv:1809.03427
Gelfand, I.M., Retakh, V.S.: Determinants of matrices over noncommutative rings. Funkc. Anal. Prilozh. 25(2), 13–25 (1991). https://doi.org/10.1007/BF01079588
Goncharov, A., Shen, L.: Donaldson-Thomas transformations of moduli spaces of G-local systems. Adv. Math. 327, 225–348 (2018). https://doi.org/10.1016/j.aim.2017.06.017. arXiv:1602.06479
Goncharov, A., Shen, L.: Quantum geometry of moduli spaces of local systems and representation theory (2019). Preprint. arXiv:1904.10491
Kálmán, T.: Contact homology and one parameter families of Legendrian knots. Geom. Topol. 9, 2013–2078 (2005). https://doi.org/10.2140/gt.2005.9.2013. arXiv:math/0407347
Kálmán, T.: Braid-positive Legendrian links. Int. Math. Res. Not. 29, Article ID 14874 (2006). https://doi.org/10.1155/IMRN/2006/14874. arXiv:math/0608457
Karlsson, C.: A note on coherent orientations for exact Lagrangian cobordisms. Quantum Topol. 11(1), 1–54 (2020). https://doi.org/10.4171/QT/132. arXiv:1707.04219
Keller, B.: The periodicity conjecture for pairs of Dynkin diagrams. Ann. Math. (2) 177(1), 111–170 (2013). https://doi.org/10.4007/annals.2013.177.1.3. arXiv:1001.1531
Keller, B.: Quiver mutation and combinatorial DT-invariants. Discrete Math. Theor. Comput. Sci. (2017). arXiv:1709.03143
Kumar, S.: Kac-Moody Groups, Their Flag Varieties and Representation Theory. Progress in Mathematics, vol. 204. Birkhäuser Boston, Inc., Boston (2002). https://doi.org/10.1007/978-1-4612-0105-2
Lee, K., Li, L., Mills, M., Schiffler, R., Seceleanu, A.: Frieze varieties: a characterization of the finite-tame-wild trichotomy for acyclic quivers. Adv. Math. 367, 107130 (2020). https://doi.org/10.1016/j.aim.2020.107130. arXiv:1803.08459
Lee, K., Schiffler, R.: Positivity for cluster algebras. Ann. Math. (2) 182(1), 73–125 (2015). https://doi.org/10.4007/annals.2015.182.1.2. arXiv:1306.2415
Nadler, D.: Microlocal branes are constructible sheaves. Sel. Math. New Ser. 15(4), 563–619 (2009). https://doi.org/10.1007/s00029-009-0008-0. arXiv:math/0612399
Ng, L.: Computable Legendrian invariants. Topology 42(1), 55–82 (2003). https://doi.org/10.1016/S0040-9383(02)00010-1. arXiv:math/0011265
Ng, L., Rutherford, D., Shende, V., Sivek, S., Zaslow, E.: Augmentations are sheaves. Geom. Topol. 24(5), 2149–2286 (2020). https://doi.org/10.2140/gt.2020.24.2149. arXiv:1502.04939
Nakanishi, T., Zelevinsky, A.: On tropical dualities in cluster algebras. In: Algebraic Groups and Quantum Groups. Contemp. Math., vol. 565, pp. 217–226. Am. Math. Soc., Providence (2012). https://doi.org/10.1090/conm/565/11159. arXiv:1101.3736
Pan, Y.: Exact Lagrangian fillings of Legendrian (2,n) torus links. Pac. J. Math. 289(2), 417–441 (2017). https://doi.org/10.2140/pjm.2017.289.417. arXiv:1607.03167
Sabloff, J.: Augmentations and rulings of Legendrian knots. Int. Math. Res. Not. 2005(19), 1157–1180 (2005). https://doi.org/10.1155/IMRN.2005.1157. arXiv:math/0409032
Shen, L.: Stasheff polytopes and the coordinate ring of the cluster \(\mathcal{X}\)-variety of type An. Sel. Math. New Ser. 20(3), 929–959 (2014). arXiv:1104.3528
Sivek, S.: A bordered Chekanov-Eliashberg algebra. J. Topol. 4(1), 73–104 (2011). https://doi.org/10.1112/jtopol/jtq035. arXiv:1004.4929
Shende, V., Treumann, D., Williams, H., Zaslow, E.: Cluster varieties from Legendrian knots. Duke Math. J. 168(15), 2801–2871 (2019). https://doi.org/10.1215/00127094-2019-0027. arXiv:1512.08942
Shende, V., Treumann, D., Zaslow, E.: Legendrian knots and constructible sheaves. Invent. Math. 207(3), 1031–1133 (2017). https://doi.org/10.1007/s00222-016-0681-5. arXiv:1402.0490
Shen, L., Weng, D.: Cluster structures on double Bott-Samelson cells. Forum Math. Sigma. 9(e66), 1–89 (2021). https://doi.org/10.1017/fms.2021.59. arXiv:1904.07992
Sylvan, Z.: On partially wrapped Fukaya categories. J. Topol. 12(2), 372–441 (2019). https://doi.org/10.1112/topo.12088. arXiv:1604.02540
Weng, D.: Donaldson-Thomas transformation of Grassmannian. Adv. Math. 383, 107721 (2021). https://doi.org/10.1016/j.aim.2021.107721. arXiv:1603.00972
Acknowledgements
We would like to thank Roger Casals, Matthew Hedden, Cecilia Karlsson, Lenhard Ng, Dan Rutherford, Kevin Sackel, and Eric Zaslow for the helpful discussion on Floer theory, contact geometry, and Legendrian links. We would like to thank Alexander Goncharov, Bernhard Keller, and Michael Shapiro for the helpful discussion on the cluster theoretical aspects of the paper. We would like to thank Vladimir Retakh for the helpful discussion on quasi-determinants and non-commutative cluster algebras. HG thanks Tao Su for discussing a perspective from Morse complex families. We would also like to thank Roger Casals, Kevin Sackel, and Bernhard Keller for their valuable suggestions and comments on the first draft of this paper. We are very grateful to the referee for many valuable comments and suggestions.
Funding
LS is partially supported by the Collaboration Grant for Mathematicians from the Simons Foundation (#711926) and the NSF grant DMS-2200738.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Cluster varieties
We provide a rapid review on cluster varieties in the skew-symmetric cases. Below we set [n]+:=max{0,n} for \(n\in \mathbb{R}\).
1.1 A.1 Definitions
A quiver is a triple \(Q=\left (I,I^{\mathrm {uf}}, \varepsilon \right )\), where I is a finite set, Iuf is a subset of I, and ε is an I×I skew-symmetric matrix whose entries εij are integers when i∈I and j∈Iuf.
Let k∈Iuf. The mutation in the direction k produces a new quiver \(\mu _{k}Q = \left (I',I^{\prime \,\mathrm {uf}},\varepsilon '\right )\) where I′=I, I′ uf=Iuf, and
Two quivers are mutation equivalent if they are related by a sequence of mutations. Denote by |Q| the class of quivers that are mutation equivalent to Q.
Each Q induces a directed graph with vertex set I. For i,j∈I, the number of arrows from i to j is [εij]+. Vertices parametrized by i∈I−Iuf are called frozen vertices. In this paper, arrows among frozen vertices are allowed to be of half weight and will be illustrated by dashed arrows.
The unfrozen part of Q is the full subquiver Quf containing the unfrozen vertices.
A quiver Q is said to be acyclic if there is no directed cycle inside Quf.
A quiver Q is said to be connected if the underlying graph of Quf is connected.
A quiver Q is said to have full-rank if the submatrix \(\varepsilon |_{I^{\mathrm {uf}}\times I}\) is of full-rank.
Connectedness and being full-rank are invariant under mutations and therefore descend to properties of mutation equivalence classes of quivers.
Definition A.1
A cluster K2 variety 𝒜 is an affine variety together with a collection \(\mathcal{C}\) of triples α=(Qα,Tα,Aα), where
-
\(Q_{\alpha}=\left (I, I^{\mathrm {uf}}, \varepsilon \right )\) is a quiver;
-
Tα is a split algebraic torus of rank |I| inside 𝒜;
-
Aα={Ai;α}i∈I is a coordinate system of Tα.
We require that
-
For any unfrozen vertex k of the quiver Qα, there is an \(\alpha '=(Q_{\alpha '}, {\mathrm{T}}_{\alpha '}, \mathbf {A}_{\alpha '}) \in \mathcal{C}\), where Qα′=μkQα, and the transition map between Aα′ and Aα is
$$ A_{i; \alpha '}=\left \{ \textstyle\begin{array}{l@{\quad}l} A_{k; \alpha}^{-1}\left (\prod _{j}A_{j;\alpha}^{[-\varepsilon _{kj}]_{+}}+ \prod _{j}A_{j;\alpha}^{[\varepsilon _{kj}]_{+}}\right ) & \text{if $i=k$}, \\ A_{i;\alpha} & \text{if $i\neq k$}. \end{array}\displaystyle \right . $$We say that α′ is a mutation of α in the direction k and write α′=μkα.
-
Every pair \(\alpha , \alpha ' \in \mathcal{C}\) are related by a finite sequence of mutations.
-
The complement of the union of Tα for all α is of codimension 2 in 𝒜.
Each α is called a cluster seed, Tα is called a cluster chart, Aα is called a cluster, and Ai;α is called a cluster K2 coordinate or a cluster variable. Each Ai;α for i∈I−Iuf is invariant under mutations and is called a frozen variable. We will suppress the subscript α when the context is clear.
Remark A.2
The coordinate ring of a cluster chart Tα is a Laurent polynomial ring \(\mathbb{L}_{\alpha}\) in the variables Ai;α. The intersection \(\bigcap _{\alpha \in \mathcal{C}} \mathbb{L}_{\alpha}\) is an upper cluster algebra of [BFZ05]. A cluster K2 variety 𝒜 is an affine variety whose coordinate ring is an upper cluster algebra. It is worth mentioning that our cluster K2 varieties are different from the cluster \(\mathcal{A}\) varieties in [FG09]. The latter is defined to be the union of the tori Tα for \(\alpha \in \mathcal{C}\), and is not affine in general.
Each cluster seed α of 𝒜 encodes a 2-form on Tα:
By Corollary 6.5 of [FG09], this 2-form does not depend on the choice of cluster seeds and therefore defines a global 2-form Ω on 𝒜.
Borrowing ideas from mirror symmetry, Gross, Hacking, Keel, and Kontsevich interpreted the cluster structures in terms of wall-crossing structures called scattering diagrams [G+18]. In detail, associated to a quiver Q is a scattering diagram \(\mathfrak{D}\). Inside \(\mathfrak{D}\) is a simplicial fan consisting of cones called cluster chambers. The paper [G+18] establishes a one-to-one correspondence between the cluster seeds of 𝒜 and the cluster chambers of \(\mathfrak{D}\). The mutation from α to μkα corresponds to crossing the sharing facet (a.k.a the wall) of their corresponding cluster chambers.
The following proposition is crucial for this paper.
Proposition A.3
Let Q be a quiver of full rank and let 𝒜 be its associated cluster K2 variety over an algebraically closed field (of any characteristic). The cluster charts of distinct cluster seeds of 𝒜 do not coincide.
Remark A.4
Proposition A.3 may not hold when Q is not of full rank, e.g., if Q contains one vertex and no arrows, then its cluster variety has two cluster seeds but only one cluster chart.
Proof
Let 𝒜 be defined over an algebraically closed field of characteristic p. The characteristic 0 case follows by the same argument. Let α and α′ be two distinct cluster seeds of 𝒜. By Corollary 6.3 of [FZ07], the transition map between \(\mathbf {A}_{\alpha '}=\{A_{i}'\}\) and Aα={Ai} takes the form
where gij are integers, and each Fi is a polynomial in the variables Xk for k∈Iuf. The matrix G=(gij) is called a g-matrix. The polynomials Fi are called F-polynomials.
By [G+18], each Fi is a generating function that counts broken lines in the scattering diagram associated to Q. For distinct α and α′, there is at least one wall between their corresponding chambers. In particular, there is an i∈Iuf such that Fi≠1. By [LS15] and [G+18], we have
-
all coefficients of Fi are positive integers;
-
the constant term of Fi is 1;
-
the coefficient of the highest term of Fi is 1.
Here the highest term of Fi is the monomial \(\prod _{j} X_{j}^{a_{j}}\) such that for any other term \(\prod _{j} X_{j}^{b_{j}}\) in Fi, we have aj≥bj for all j. The above last two properties are equivalent due to [FZ07, Prop.5.3].
By the above discussion, there exists an i∈Iuf such that the polynomial Fi has at least two terms even after reducing to a polynomial with coefficients in the finite field \(\mathbb{F}_{p}\). The quiver Q is of full rank. The substitution \(X_{k}=\prod _{l}A_{l}^{\varepsilon _{kl}}\) gives rise to an injective homomorphism from the polynomial ring \(\mathbb{F}_{p}[X_{i}]_{i\in I^{\mathrm {uf}}}\) to the Laurent polynomial ring \(\mathbb{F}_{p}[A_{j}^{\pm 1}]_{j\in I}\). Therefore \(A'_{i}\) is not a Laurent monomial of Aj for j∈I. On the other hand, biregular isomorphisms between algebraic tori over an algebraically closed field are of monomial coordinate transformations. Thus Tα≠Tα′. □
1.2 A.2 Cluster ensembles
Following [FG09], cluster Poisson varieties are the cluster dual of cluster K2 varieties. Each cluster Poisson variety 𝒳 is equipped with a collection of torus charts with coordinate systems \(\mathbf {X}_{\alpha} =\{{X}_{i;\alpha}^{\pm 1}\}_{i\in I}\). The transition map between \(\mathbf {X}_{\alpha '}=\mathbf {X}_{\mu _{k}\alpha}\) and Xα is
The coordinates Xi;α are called cluster Poisson coordinates.
Let 𝒜 and 𝒳 be a pair of cluster varieties associated to a mutation equivalence class |Q|. There is a natural one-to-one correspondence between the cluster seeds of 𝒜 and the cluster seeds of 𝒳. Each pair of corresponding cluster seeds is called a cluster seed of (𝒜,𝒳). Following [FG09, §1.2], there is a canonical map p:𝒜→𝒳 such thatFootnote 4
for every cluster seed of (𝒜,𝒳). The triple (𝒜,𝒳,p) is called a cluster ensemble.
Definition A.5
Suppose σ:I′→I is an injective map such that
-
(1)
\(\sigma |_{I^{\prime \,\mathrm {uf}}}:I^{\prime \,\mathrm {uf}}\rightarrow I^{\mathrm {uf}}\) is a bijection,
-
(2)
\(\varepsilon '_{ij}=\varepsilon _{\sigma (i)\sigma (j)}\) for all i,j∈I′.
Then σ induces a morphism of algebraic tori σ:α′→α and σ:χ→χ′, which are extended to morphisms of cluster varieties σ:𝒜′→𝒜 and σ:𝒳→𝒳′, called cluster morphisms. If σ is bijective, then the induced cluster morphisms are called cluster isomorphisms.
Example A.6
Consider the inclusion of the unfrozen part \(Q^{\mathrm {uf}}=\left (I^{\mathrm {uf}},I^{\mathrm {uf}},\varepsilon |_{I^{\mathrm {uf}}\times I^{\mathrm {uf}}} \right )\) into Q. This inclusion induces cluster morphisms 𝒜uf→𝒜 and 𝒳→𝒳uf. More properties about these cluster morphisms can be found in [She14, §3].
Definition A.7
A cluster automorphism is a cluster isomorphism from a cluster variety to itself. Cluster automorphisms form a group \(\mathcal{G}\) called the cluster modular group.
Fix an initial cluster seed of (𝒜,𝒳). Every cluster automorphism maps the initial seed to another cluster seed. We can express the obtained new cluster coordinates in terms of the initial ones as in (A.2). As a consequence, one may assign the c-matrix, g-matrix, and F-polynomials of [FZ07] to each cluster automorphism with respect to a fixed initial seed.
Proposition A.8
A cluster automorphism σ is the identity map on 𝒜 if and only if it is the identity map on 𝒳.
Proof
The separation formula of Fomin-Zelevinsky [FZ07] implies that σ is the identity map on 𝒜 (resp. 𝒳) if and only if its g-matrix G (resp. c-matrix C) is the identity matrix with respect to one (equivalently any) initial seed. The proposition then follows from the tropical duality theorem [NZ12, Theorem 1.2], which says that C−1=Gt. □
Definition A.9
[GS18]
A cluster Donaldson-Thomas transformation on a cluster variety is a cluster automorphism whose c-matrix is equal to minus identity.
For any cluster ensemble, its cluster Donaldson-Thomas transformation, if exists, is a unique central element in the cluster modular group.
1.3 A.3 Quasi-cluster morphisms
Define \(N:=\bigoplus _{i\in I}\mathbb{Z}e_{i}\) for a quiver \(Q=\left (I,I^{\mathrm {uf}},\varepsilon \right )\), and let Nuf its the sub-lattice spanned by ei for i∈Iuf. The exchange matrix ε equips N with a skew-symmetric form \(\{\cdot , \cdot \}:N\times N\rightarrow \mathbb{Q}\) such that \(\left \{e_{i},e_{j}\right \}=\varepsilon _{ij}\). Let M be the dual lattice of N.
One should think of N as the character lattice of a cluster chart χ and think of M as the character lattice of the cluster chart α dual to χ. For n∈N and m∈M we denote the corresponding character functions as Xn and Am. In particular, \(X^{e_{i}}\) are precisely the cluster Poisson coordinates Xi, and the map p:𝒜→𝒳 is induced by the linear map p∗:N→M,n↦{n,⋅}. We will use this set-up to define quasi-cluster morphisms. More detailed discussions can be found in [Fra16, GS19, SW19].
Definition A.10
Let N and N′ be the lattices associated to Q and Q′ respectively. Suppose σ:N′→N is an injective linear map such that
-
(1)
\(\sigma |_{N^{\prime \,\mathrm {uf}}}\) is an isomoprhism onto Nuf;
-
(3)
for any i∈I′ uf, we have \(\sigma \left (e'_{i}\right )=e_{j}\) for some j∈Iuf,
-
(3)
σ preserves the skew-symmetric forms.
Then σ induces a morphism of algebraic tori σ:χ→χ′ which extends to a morphism σ:𝒳→𝒳′. On the dual side, σ induces a linear map σ:M→M′, which defines a morphism of algebraic tori σ:α′→α and extends to a morphism σ:𝒜′→𝒜. We call the induced morphisms σ:𝒳→𝒳′ and σ:𝒜′→𝒜 quasi-cluster morphisms.
A quasi-cluster isomorphism is a quasi-cluster morphism where σ:N′→N is an isomorphism. A quasi-cluster automorphism is a quasi-cluster isomorphism from a cluster variety to itself. Quasi-cluster automorphisms form a group \(\mathcal{QG}\) called the quasi-cluster modular group.
The cluster modular group \(\mathcal{G}\) is a subgroup of the quasi-cluster modular group \(\mathcal{QG}\). There is a natural map \(\mathcal{QG}\rightarrow \mathcal{G}^{\mathrm {uf}}\) where \(\mathcal{G}^{\mathrm {uf}}\) denotes the cluster modular group for the unfrozen part.
Remark A.11
Quasi-cluster automorphisms are also known as (quasi-)cluster transformations.
The restriction of quasi-cluster morphisms to cluster charts commute with cluster mutations. Consequently, we have the following theorem.
Theorem A.12
Let \(\mathcal{V}\) and \(\mathcal{W}\) be two cluster varieties of the same type (either K2 or Poisson). If \(\sigma :\mathcal{V}\rightarrow \mathcal{W}\) is a quasi-cluster morphism, then there is a one-to-one correspondence between their cluster seeds, and σ restricts to a morphism between the corresponding cluster charts.
Below we construct two types of quasi-cluster morphisms that are crucial for us.
Changing a frozen vertex
Recall the lattice N associated with a quiver \(Q=\left (I,I^{\mathrm {uf}},\varepsilon \right )\). Let k be a frozen vertex of Q. Let \(\left (\delta _{j}\right )_{j\in I}\) is an |I|-tuple of integers. We consider a lattice \(N'=\bigoplus _{i\in I} \mathbb{Z}e_{i}'\) and define a linear map σ:N′→N such that
The exchange matrix ε equips N with a skew-symmetric form {⋅,⋅}, whose pull-back through σ induces a skew-symmetric form {⋅,⋅}′ on N′. Let ε′ be an I×I matrix such that
Let 𝒜′ and 𝒳′ be the cluster varieties associated with the quiver \(Q'=\left (I, I^{\mathrm {uf}}, \varepsilon '\right )\). Note that σ satisfies the conditions (1) and (2) of Definition A.10. Therefore it defines quasi-cluster morphisms
Let α (resp. α′) be the K2 cluster chart associated with the quiver Q (resp. Q′). Let χ (resp. χ′) be the Poisson cluster chart associated with the quiver Q (resp. Q′). Then the pull-back maps of σ can be written in terms of these cluster charts as
Proposition A.13
With the above set-up, the following statements are true.
-
(1)
If δk=1, then the quasi-cluster morphisms σ are quasi-cluster isomorphisms.
-
(2)
If ∑jεijδj=0 for every i∈Iuf, then there is no arrow between the vertex k and the unfrozen part of Q′.
Proof
(1) is obvious. For (2), it suffices to note that for i∈Iuf,
Hence, there is no arrow between the vertex k and the unfrozen part of Q′. □
Merging frozen vertices
Let t1 and t2 be frozen vertices in a quiver \(Q=\left (I,I^{\mathrm {uf}},\varepsilon \right )\). Define the quiver \(Q'=\left (I',I^{\prime \,\mathrm {uf}},\varepsilon '\right )\), where \(I':=(I\setminus \left \{t_{1},t_{2}\right \})\sqcup \{t\}\), I′ uf:=Iuf, and
We say that Q′ is obtained from Q by merging the frozen vertices t1 and t2 into a single frozen vertex t. Let N and N′ be the lattices associated with the quivers Q and Q′ respectively. There is an injective linear map
Note that σ satisfies the conditions in Definition A.10. It defines quasi-cluster morphisms
The next proposition is direct consequence of the construction of σ.
Proposition A.14
The quasi-cluster morphism σ:𝒜′→𝒜 embeds 𝒜′ as a subvariety of 𝒜 determined by the locus \(\left \{A_{i}=A_{j}\right \}\).
Appendix B: Double Bott-Samelson cells
2.1 B.4 Definition and basic properties
Double Bott-Samelson (BS) cells, introduced in [SW19], are moduli spaces of flags with prescribed relative positions encoded by positive braids. In this section we briefly recall their definition and basic properties following loc. cit. Theorem 2.12 establishes natural isomorphisms between the augmentation varieties of positive braid closures and the double BS cells associated with SLn.
Let B± be a pair of opposite Borel subgroups of a Kac-Moody group G and let \(\mathsf {U}_{\pm}:=\left [\mathsf {B}_{\pm},\mathsf {B}_{\pm}\right ]\) be the maximal unipotent subgroups. There are flag varieties \(\mathcal{B}_{+}:=\mathsf {G}/\mathsf {B}_{+}\) and \(\mathcal{B}_{-}:=\mathsf {B}_{-}\backslash \mathsf {G}\). By replacing B± with U± we define decorated flag varieties \(\mathcal{A}_{+}:=\mathsf {G}/\mathsf {U}_{+}\) and \(\mathcal{A}_{-}:=\mathsf {U}_{-}\backslash \mathsf {G}\). There are natural projections \(\pi :\mathcal{A}_{\pm}\rightarrow \mathcal{B}_{\pm}\). If π(A)=B then we say that A is a decoration over B.
We denote elements in \(\mathcal{B}_{+}\) as Bi and elements in \(\mathcal{B}_{-}\) as Bi. The same convention is applied to \(\mathcal{A}_{\pm}\) with the letter B replaced by A.
Let T:=B+∩B− and let \(\mathsf {W}:=\left .N(\mathsf {T})\right /\mathsf {T}\) be the Weyl group. Consider the Bruhat decompositions and Birkhoff decomposition
We adopt the convention of writing
We often omit w in the notation when it is the identity. Moreover, when decorated flags are involved, the notations only concern the underlying flags; for example, means .
For a positive braid word \(\beta =s_{i_{1}}\dots s_{i_{m}}\), a chain will be abbreviated as . By Theorem 2.18 of [SW19], the chains of flags associated to different words of the positive braid [β] have a natural one-to-one correspondence. In this sense, the chain does not depend on the word β chosen.
Definition B.1
Let β and γ be positive braids. The half decorated double BS cell \(\mathrm {Conf}_{\beta}^{\gamma}(\mathcal{C})\), viewed as a \(\mathbb{Z}\)-scheme, is a moduli space parametrizes G-orbits of the chains of flags
If one forgets to choose a decoration Am over Bm, then the resulting space is denoted by \(\mathrm {Conf}_{\beta}^{\gamma}(\mathcal{B})\). Denote by π the forgetful map from \({\mathrm{Conf}}_{\beta}^{\gamma}(\mathcal{C})\) to \(\mathrm {Conf}_{\beta}^{\gamma}(\mathcal{B})\).
Remark B.2
This version of double BS cells is slightly different from those in [SW19]: first, the two chains of flags swap places with the \(\mathcal{B}_{+}\)-chain at the bottom and the \(\mathcal{B}_{-}\)-chain at the top now; second, there is only one decoration Am over Bm and the flag B0 is no longer decorated.
For , there is a unique flag B−1 such that . It then follows from that . This construction gives rise to the following reflection maps.
Definition B.3
The left reflection map \(l_{i}: \mathrm {Conf}^{\gamma}_{s_{i}\beta}(\mathcal{C})\rightarrow \mathrm {Conf}^{s_{i} \gamma}_{\beta}(\mathcal{C})\) is an isomorphism mapping
Its inverse map \(l^{i}:\mathrm {Conf}^{s_{i}\gamma}_{\beta}(\mathcal{C}) \rightarrow \mathrm {Conf}^{ \gamma}_{s_{i}\beta}(\mathcal{C})\) is defined by an analogous process.
Let φi:SL2→G be the group homomorphism associated to the simple root αi. Define
Consider a reduced expression \(w=s_{i_{1}}\ldots s_{i_{n}}\) in W. Let
The elements \(\overline{w}\) and \(\overline {\overline {w}}\) in G do not depend on the reduced expression chosen. We set
Lemma B.4
Fix a flag Bj. The space of flags Bk such that is isomorphic to \(\mathbb{A}^{1}\). In particular, if Bj=B+, then Bk=Ri(q)B+ for some unique \(q\in \mathbb{A}^{1}\).
Proof
It suffices to prove the lemma for Bj=B+. Let \(\mathsf {U}_{i}:=\left \{e_{i}(t)\ \middle | \ t\in \mathbb{A}^{1}\right \}\) be the 1-dimensional unipotent subgroup associated to the simple root αi and let Qi:=B+∩siB+si. By [Kum02, Lemma 6.1.3], we know that B+=UiQi. Therefore
Hence Bk=Ri(q)B+ for some unique \(q\in \mathbb{A}^{1}\). □
We prove an important property of the double BS cells, following [SW19, §2.4].
Proposition B.5
The space \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\) is the non-vanishing locus of a polynomial in \(\mathbb{A}^{l(\beta )+l(\gamma )}\). Consequently, it is a smooth affine variety.
Proof
It suffices to prove the lemma for \(\mathrm {Conf}^{e}_{\beta}(\mathcal{C})\); the general case will follow by using the reflections to shift the top γ to the bottom. Suppose β is of length l. Every point of \(\mathrm {Conf}^{e}_{\beta}(\mathcal{C})\) admits a unique representative as follows
Using Lemma B.4 recursively, we obtain parameters \((q_{1},\dots ,q_{l}) \in \mathbb{A}^{l}\) such that
By definition, we require that the rightmost pair (U−,Bl) is in general position.
Let ωi be the ith fundamental weight. The ith principal minor \(\Delta _{i}: \mathsf {G}\rightarrow \mathbb{A}\) is a regular function uniquely determined by the following two conditions: (1) Δi(u−gu+)=Δi(g), where u±∈U±; (2) \(\Delta _{i}(h)=h^{\omega _{i}}\) for h∈T. When G=SLn, the function Δi coincides with (2.7). Note that g∈B−B+ if and only if Δi(g)≠0 for all i. Therefore the pair (U−,Bl) is in general position if and only if
□
2.2 B.5 Cluster structures on double Bott-Samelson cells
A pair of positive braids (β,γ) can be regarded as a single braid in the product Br×Br. We shall prove that every word of (β,γ) gives rise to a cluster seed of \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\). First, each word determines a labeling of arrows and a triangulation on the configuration diagram. Then we require that every pair of flags that are connected by a diagonal in the triangulation are in general position. The subspace of \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\) that satisfy these general position conditions is an algebraic torus. The algebraic tori obtained from all words of (β,γ) form a subset of the atlas of cluster charts.
In detail, let t be a word of (β,γ). We label the arrows and draw the triangulation on the configuration diagram according to t as shown in Example B.8. On top of the triangulation, we draw rank(G) many parallel lines, each of which represents a simple root of G. Triangles in the triangulation are either upward pointing or downward pointing (as shown below), and depending on the orientation and the labeling of the base, each triangle places a node at one of the lines, cutting it into segments called strings. The segments from such cutting become the vertices of the quiver Qt, and the arrows in Qt are drawn according to the pictures below, where the dashed arrows between different levels i≠j are weighted by weights that are related to Cartan numbers (see [SW19] for more details). In particular, in the simply-laced cases (which include SLn), the dashed arrows all have weight 1/2. In the end, we delete the left most vertices (together with all incident arrows) and freeze the right most vertices on each level.
To define the cluster K2 coordinates, we first need to decorate the flags. Two decorated flags (resp. ) are said to be compatible if \(x^{-1}y\in \mathsf {U}_{+}\overline{w}\mathsf {U}_{+}\) (resp. \(xy^{-1}\in \mathsf {U}_{-}\overline {\overline {w}}\mathsf {U}_{-}\)). Two decorated flags is called a pinning if xy∈U−U+.
Lemma B.6
Given (resp. or ), for every decoration A over B, there exists a unique decoration A′ over B′, such that are compatible (resp. are compatible or is a pinning).
Using the above lemma, we can begin with the decoration Am over Bm and induce decorations one-by-one over the rest flags following the C-shape path illustrated by the dashed circles below
The next proposition presents a standard representative for every point in \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\).
Proposition B.7
Every point in \(\mathrm {Conf}_{\beta}^{\gamma}(\mathcal{C})\) admits a unique representative in the following form:
where
This gives an open embedding \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\hookrightarrow \mathbb{A}^{m}_{p_{1}, \dots , p_{m}}\times \mathbb{A}^{l}_{q_{1},\dots , q_{l}}\).
Proof
Let us first verify that adjacent decorated flags along the top chain and the bottom chain are compatible. Let x0=y0=e. Note that
Since a compatible decoration on one end of any adjacent pair of flags along either of the horizontal chains can be uniquely determined by the decoration on the other end of the pair, the existence of uniqueness of such representative automatically follows from the fact that G acts freely and transitively on the space of pinnings. □
Now for a fixed word t of (β,γ), we get a quiver Qt with vertices corresponding to strings, which necessarily cross certain diagonals (possibly more than one) in the triangulation.
The cluster K2 coordinate associated to the string a is defined to be the ith principal minor of xy:
The function Aa is independent of the choice of diagonals if a crosses more than one diagonals.
Example B.8
Let G=SL3, β=s2s1s2s1, and γ=s2s1. For Br×Br, we use negative numbers for letters in the second factor. The word t=(2,−2,1,2,−1,1) for (β,γ) gives rise to the following triangulation, string diagram, and quiver
Remark B.9
In [SW19] a cluster K2 structure is constructed on the decorated double BS cell \(\mathrm {Conf}^{\gamma}_{\beta}\left (\mathcal{A}_{\mathrm {sc}}\right )\) for a simply-connected group G, which has frozen vertices on both sides of the quiver. The cluster K2 structure on \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\) is essentially obtained from that of \(\mathrm {Conf}^{\gamma}_{\beta}\left (\mathcal{A}_{\mathrm {sc}}\right )\) by setting all the frozen variables on the left to be 1 due to the pinning condition on .
The next Proposition provides an interpretation of left reflections in terms of standard representatives in Proposition B.7. It implies that the left reflections are cluster transformations.
Proposition B.10
The left reflection \(\mathrm {Conf}^{\gamma}_{s_{i}\beta}(\mathcal{C})\rightarrow \mathrm {Conf}^{s_{i} \gamma}_{\beta}(\mathcal{C})\) can be expressed in terms of standard representatives as
Proof
The left reflection does the following.
To restore to the standard representative, we need to act on the resulting configuration by \(\left (R_{i}(q)\right )^{-1}\). Note that under the such action, \(x\mathsf {U}_{+}\mapsto \left (R_{i}(q)\right )^{-1}x\mathsf {U}_{+}\) and U−y↦U−yRi(q). It is not hard to see that such action will give the standard configuration as claimed in the proposition. □
2.3 B.6 An open embedding
In this section we construct an open embedding \(\psi :\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\times \mathbb{G}_{m} \hookrightarrow \mathrm {Conf}^{\gamma}_{s_{i}\beta}(\mathcal{C})\) whose image is the localization (freezing) at a cluster variable of the latter.
Recall from Lemma B.4 that the moduli space of B−1 that fits into the triangle in the picture on the left below is parametrized by the multiplicative group scheme \(\mathbb{G}_{m}\). Note that the base change of \(\mathbb{G}_{m}\) to any field is isomorphic to as affine schemes over .
On the other hand, consider a standard representative and let us temporarily forget about the decorations on the pinning and the bottom chain, as shown in the picture on the right above. By gluing these two figures along the pinning , we end up with a point in \(\mathrm {Conf}^{\gamma}_{s_{i}\beta}(\mathcal{C})\), which defines a morphism
It is easy to see that ψ is an open embedding.
Proposition B.11
The image of ψ in \(\mathrm {Conf}^{\gamma}_{s_{i}\beta}(\mathcal{C})\) is the distinguished open subset corresponding to the localization (freezing) at the leftmost cluster variable Ac in the picture below
Proof
There is a unique representative of (B.4) such that B0=B−, B−1=B+, and B0=Ri(d)B+. The principal minors of Ri(d) are
Hence, the left cluster variable Ac=d. By definition, (B.4) is in the image of ψ when B0 and B0 are in general position, or equivalently when d≠0. In other words, the image of ψ is precisely the non-vanishing locus of the cluster variable Ac. In cluster theory, localization of a cluster K2 variety at a cluster variable Ac is again a cluster K2 variety, which can be obtained by freezing the vertex c. Therefore the image of ψ is also a cluster K2 variety. □
Now we make \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\times \mathbb{G}_{m}\) into a cluster K2 variety by adding an extra frozen variable d corresponding to the \(\mathbb{G}_{m}\) factor. There should not be no arrows connecting c and the unfrozen variables of \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\) because the extra \(\mathbb{G}_{m}\) factor will not affect their mutations. However, there is freedom of adding arrows connecting c and the frozen variables of \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\). The next proposition shows that these arrows can be uniquely determined by requiring ψ to be a quasi-cluster isomorphism onto its image.
Proposition B.12
The space \(\mathrm {Conf}_{\beta}^{\gamma}(\mathcal{C})\times \mathbb{G}_{m}\) can be equipped with a unique cluster K2 structure which extends the cluster K2 structure on \(\mathrm {Conf}_{\beta}^{\gamma}(\mathcal{C})\) by adding one extra frozen vertex c and possibly arrows between c and the original frozen part, such that ψ becomes a quasi-cluster isomorphism onto its image.
Proof
Suppose we start with a standard representative in the image of ψ as follows.
From the last proposition we know that x0U+=Ri(d)U+ for some non-zero d.
To obtain the preimage of this representative under ψ, we need to delete the flag U+ at the lower left corner and re-scale the decorations along the bottom chain as follows.
Here hk∈T are such that (U−,x0h0U+) is a pinning and (xk−1hk−1U+,xkhkU+) are compatible.
Set \(\lambda _{0}^{\vee }= -\alpha _{i}^{\vee}\). Define co-characters \(\lambda ^{\vee}_{k}\) of T for 1≤k≤l by the recursive relation
Note that x0=Ri(d). An easy calculation shows that x0h0∈U−U+ if and only if \(h_{0}= d^{\lambda _{0}^{\vee}}\). Since (xk−1U+,xkU+) is a compatible pair, by definition we get \(x_{k-1}^{-1}x_{k}\in \mathsf {U}_{+}\overline{s}_{i_{k}}\mathsf {U}_{+}\). Therefore,
The pair (xk−1hk−1U+,xkhkU+) is compatible if and only if \(h_{k}=s_{i_{k}}(h_{k-1})\). By induction we get \(h_{k}= d^{\lambda _{k}^{\vee}}\) for 0≤k≤l.
Next we investigate the pull-back of cluster K2 coordinates of \(\mathrm {Conf}^{\gamma}_{s_{i}\beta}(\mathcal{C})\) under ψ. Fix a word t for (β,γ) and consider the word (i,t) for \(\left (s_{i}\beta ,\gamma \right )\). Let Qt be the quiver associated to t, and Qi,t the quiver associated to (i,t) with the leftmost vertex c frozen.
Recall that
We define d to be the cluster variable \(A'_{c}\) for the new frozen vertex c.
For any other string (vertex) a associated to (i,t) as the left picture below, there is a corresponding string (vertex) a associated to t as the right right below.
Let \(\delta _{a}:=-\left \langle \lambda ^{\vee}_{k},\omega _{h}\right \rangle \in \mathbb{Z}\); then
In addition we define \(\delta _{c}:=-\langle \lambda _{0}^{\vee}, \omega _{i}\rangle =1\). Let I denote the vertices of Qi,t and let εij be the exchange matrix encoded by Qi,t. The set I′=I−{c} consists of vertices of Qt and Iuf consists of unfrozen vertices of Qt. We claim that for any a∈Iuf, we have
To see this, recall that there is projection map
As in [SW19, §3], \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{B})\) is equipped with the cluster Poission variables \(\{X_{a}'\}_{a\in I^{\mathrm {uf}}}\) such that
Consider the composition
Here the second map is rational, obtained by forgetting the flag B−1. Note that B−1 only changes the decorations on the other flags. Therefore we have p=p′∘ψ. Therefore for a∈Iuf we have
Comparing it with (B.6), we arrive at the identity (B.5).
Note that identity (B.5) satisfies the assumptions stated in Proposition A.13. Therefore we know that there is a unique way to extend the quiver of \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\) so that ψ becomes a quasi-cluster isomorphism onto its image. □
Example B.13
We continue from Example B.8. Consider the map \(\phi _{1}:\mathrm {Conf}_{\beta}^{\gamma}(\mathcal{C})\times \mathbb{G}_{m} \rightarrow \mathrm {Conf}_{s_{1}\beta}^{\gamma}(\mathcal{C})\). Let \(d=A'_{c}\) be the coordinate for the \(\mathbb{G}_{m}\) factor. Then in the preimage,
The change of decorations gives rise the the pull-backs \(\phi _{1}^{*}\left (A_{c}\right )=A'_{c}\) and \(\phi _{1}^{*}\left (A_{a}\right )=A'_{a}d^{\delta _{a}}=A'_{a}A^{\prime \,\delta _{a}}_{c}\) for a≠c. The integers δa assigned to the vertices a are as follows.
Using these δa we conclude that the cluster structure on \(\mathrm {Conf}^{\gamma}_{\beta}(\mathcal{C})\times \mathbb{G}_{m}\) is given by the following quiver, where the right most vertex is the extra frozen vertex c.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Gao, H., Shen, L. & Weng, D. Augmentations, Fillings, and Clusters. Geom. Funct. Anal. (2024). https://doi.org/10.1007/s00039-024-00673-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00039-024-00673-y