arXiv subjects

Ian Le

Publications and source records attributed to Ian Le.

14 recordsLinked to original sources

arXiv2024

Cluster Categorification of Rank 2 Webs

The homogeneous coordinate ring of the Grassmannian $\rm{Gr}(k,n)$ has a well-known cluster structure. There is a categorification of this cluster structure via a category of modules for a ring $A_{k,n}$ due to Jensen-King-Su, building on work of Geiss-Leclerc-Schr\"oer, in which cluster variables correspond to indecomposable rigid modules. We give a combinatorial description of modules that correspond to rank $2$ cluster variables by using webs. This conjecturally gives the categorification of all rank $2$ cluster variables.

math.RT↗

arXiv2024

Degenerate conformal blocks for the $W_3$ algebra at c=2 and connection probabilities in the triple dimer model

We study a homogeneous system of $d+8$ linear partial differential equations (PDEs) in $d$ variables arising from two-dimensional Conformal Field Theories (CFTs) with a $W_3$-symmetry algebra. In the CFT context, $d$ PDEs are third-order and correspond to the null-state equations, whereas the remaining 8 PDEs (five being second-order and three being first-order) correspond to the $W_3$ global Ward identities. In the case of central charge $c=2$, we construct a subspace of the space of all solutions which grow no faster than a power law. We call this subspace the space of $W_3$ conformal blocks, and we provide a basis expressed in terms of Specht polynomials associated with column-strict, rectangular Young tableaux with three columns. The dimension of this space is a Kostka number which coincides with CFT predictions, hence we conjecture that it exhausts the space of all solutions having a power law bound. Moreover, we prove that the space of $W_3$ conformal blocks is an irreducible representation of a certain diagram algebra defined from $\mathfrak{sl}_3$ webs that we call Kuperberg algebra. Finally, we prove a formula relating the $W_3$ conformal blocks at $c=2$ we constructed to Kenyon and Shi's scaling limits of connection probabilities in the triple dimer model. For more general central charges, we expect that $W_3$ conformal blocks are related to scaling limits of probabilities in lattice models based on $\mathfrak{sl}_3$ webs.

math-ph↗

arXiv2023

Demazure weaves for reduced plabic graphs (with a proof that Muller-Speyer twist is Donaldson-Thomas)

First, this article develops the theory of weaves and their cluster structures for the affine cones of positroid varieties. In particular, we explain how to construct a weave from a reduced plabic graph, show it is Demazure, compare their associated cluster structures, and prove that the conjugate surface of the graph is Hamiltonian isotopic to the Lagrangian filling associated to the weave. The T-duality map for plabic graphs has a surprising key role in the construction of these weaves. Second, we use the above established bridge between weaves and reduced plabic graphs to show that the Muller-Speyer twist map on positroid varieties is the Donaldson-Thomas transformation. This latter statement implies that the Muller-Speyer twist is a quasi-cluster automorphism. An additional corollary of our results is that target labeled seeds and the source labeled seeds are related by a quasi-cluster transformation.

math.CO↗

arXiv2022

Cluster structures on braid varieties

We show the existence of cluster $\mathcal{A}$-structures and cluster Poisson structures on any braid variety, for any simple Lie group. The construction is achieved via weave calculus and a tropicalization of Lusztig's coordinates. Several explicit seeds are provided and the quiver and cluster variables are readily computable. We prove that these upper cluster algebras equal their cluster algebras, show local acyclicity, and explicitly determine their DT-transformations as the twist automorphisms of braid varieties. The main result also resolves the conjecture of B. Leclerc on the existence of cluster algebra structures on the coordinate rings of open Richardson varieties.

math.RT↗

arXiv2021

Mirror Symmetry for Truncated Cluster Varieties

In the algebraic setting, cluster varieties were reformulated by Gross-Hacking-Keel as log Calabi-Yau varieties admitting a toric model. Building on work of Shende-Treumann-Williams-Zaslow in dimension 2, we describe the mirror to the GHK construction in arbitrary dimension: given a truncated cluster variety, we construct a symplectic manifold and prove homological mirror symmetry for the resulting pair. We also describe how our construction can be obtained from toric geometry, and we relate our construction to various aspects of cluster theory which are known to symplectic geometers.

math.SG↗

arXiv2021

Quantum decorated character stacks

We initiate the study of decorated character stacks and their quantizations using the framework of stratified factorization homology. We thereby extend the construction by Fock and Goncharov of (quantum) decorated character varieties to encompass also the stacky points, in a way that is both compatible with cutting and gluing and equivariant with respect to canonical actions of the modular group of the surface. In the cases $G=SL_2,PGL_2$ we construct a system of categorical charts and flips on the quantum decorated character stacks which generalize the well--known cluster structures on the Fock--Goncharov moduli spaces.

math.QA↗

arXiv2019

Generalized Minors and Tensor Invariants

Berenstein, Fomin and Zelevinsky defined functions on double Bruhat cells which they called generalized minors. By relating certain double Bruhat cells to configuration spaces of flags, we give formulas for these generalized minors as tensor invariants. This allows us to verify certain weight identities. The weights of the tensor invariants can then be used to construct the quiver for the cluster structure on the configuration space of three flags. We also show a converse statement--that the weights of tensor invariants can by computed from the structure of the quiver. The weight identities are important because they are necessary for the existence of cluster structures on the moduli space of framed local systems.

math.CO↗

arXiv2017

Tropicalization of Positive Grassmannians

We introduce combinatorial objects which are parameterized by the positive part of the tropical Grassmannian $Gr(k,n)$. Our method is to relate the Grassmannian to configuration spaces of flags. By work of the first author, and of Goncharov and Shen, configuration spaces of flags naturally tropicalize to give configurations of points in the affine building, which we call higher laminations. We use higher laminations to give two dual objects that are parameterized by the positive tropicalization of $Gr(k,n)$: equivalence classes of higher laminations; or certain restricted subset of higher laminations. This extends results of Speyer and Sturmfels on the tropicalization of $Gr(2,n)$, and of Speyer and Williams on the tropicalization of $Gr(3,6)$ and $Gr(3,7)$. We also analyze the $X$-variety associated to the Grassmannian, and give an interpretation of its positive tropicalization.

math.AG↗

arXiv2017

Intersection Pairings for Higher Laminations

One can realize higher laminations as positive configurations of points in the affine building. The duality pairings of Fock and Goncharov give pairings between higher laminations for two Langlands dual groups $G$ and $G^{\vee}$. These pairings are a generalization of the intersection pairing between measured laminations on a topological surface. We give a geometric interpretation of these intersection pairings in the case that $G=SL_n$. In particular, we show that they can be computed as the length of minimal weighted networks in the building. Thus we relate the intersection pairings to the metric structure of the affine building. This proves several of the conjectures from [LO] The key tools are linearized versions of well-known classical results from combinatorics, like Hall's marriage lemma, Konig's theorem, and the Kuhn-Munkres algorithm.

math.CO↗

arXiv2017

From dimers to webs

We formulate a higher-rank version of the boundary measurement map for weighted planar bipartite networks in the disk. It sends a network to a linear combination of SL$_r$-webs, and is built upon the r-fold dimer model on the network. When r equals 1, our map is a reformulation of Postnikov's boundary measurement used to coordinatize positroid strata. When r equals 2 or 3, it is a reformulation of the SL$_2$- and SL$_3$-web immanants defined by the second author. The basic result is that the higher rank map factors through Postnikov's map. As an application, we deduce generators and relations for the space of SL$_r$-webs, reproving a result of Cautis-Kamnitzer-Morrison. We establish compatibility between our map and restriction to positroid strata, and thus between webs and total positivity.

math.CO↗

arXiv2016

An Approach to Cluster Structures on Moduli of Local Systems for General Groups

Let $S$ be a surface, $G$ a simply-connected classical group, and $G'$ the associated adjoint form of the group. In \cite{FG1}, it was shown that the moduli spaces of framed local systems $\X_{G',S}$ and $\A_{G,S}$ have the structure of cluster varieties, and thus together form a cluster ensemble, when $G$ had type $A$. This was extended to classical groups in \cite{Le}. In this paper we give an algorithm for constructing the cluster structure for general reductive groups $G$. The algorithm can be carried out under some mild hypotheses, which we explain, and which we believe hold in general. We show that these hypotheses hold when $G$ has type $G_2$, and therefore we are able to construct the cluster structure in this case. We also illustrate our approach by rederiving the cluster structure for $G$ of type $A$. Our goals are to give some heuristics for the approach taken in \cite{Le}, point out the difficulties that arise for more general groups, and to record some useful calculations. Forthcoming work by Goncharov and Shen gives a different approach to constructing the cluster structure on $\X_{G',S}$ and $\A_{G,S}$. We hope that some of the ideas here complement their more comprehensive work.

math.RT↗

arXiv2016

Cluster Structures on Higher Teichmuller Spaces for Classical Groups

Let $S$ be a surface, $G$ a simply-connected classical group, and $G'$ the associated adjoint form of the group. We show that the spaces of moduli spaces of framed local systems $\X_{G',S}$ and $\A_{G,S}$, which were constructed by Fock and Goncharov (\cite{FG1}), have the structure of cluster varieties, and thus together form a cluster ensemble. This simplifies some of the proofs in \cite{FG1}, and also allows one to quantize higher Teichmuller space following the formalism of \cite{FG2}, \cite{FG3}, and \cite{FG5}, which was previously only possible when $G$ was of type $A$.

math.RT↗

arXiv2015

Geometry of Positive Configurations in Affine Buildings

Positive configurations of points in the affine building were introduced in \cite{Le} as the basic object needed to define higher laminations. We start by giving a self-contained, elementary definition of positive configurations of points in the affine building and their basic properties. Then we study the geometry of these configurations. The canonical functions on triples of flags that were defined by Fock and Goncharov in \cite{FG1} have a tropicalization that gives functions on triples of points in the affine Grassmannian. One expects that these functions, though of algebro-geometric origin, have a simple description in terms of the metric structure on the corresponding affine building. We give a several conjectures describing the tropicalized canonical functions in terms of the geometry of affine buildings, and give proofs of some of them. The statements involve minimal networks and have some resemblance to the max-flow/min-cut theorem, which also plays a role in the proofs in unexpected ways. The conjectures can be reduced to purely algebraic statements about valuations of lattices that we argue are interesting in their own right. One can view these conjectures as the first examples of intersection pairings between higher laminations. They fit within the framework of the Duality Conjectures of \cite{FG1}.

math.RT↗

arXiv2012

Higher Laminations and Affine Buildings

We give a Thurston-like definition for laminations on higher Teichmuller spaces associated to a surface $S$ and a semi-simple group $G$ for $G-SL_m$ and $PGL_m$. The case $G=SL_2$ or $PGL_2$ corresponds to the classical theory of laminations. Our construction involves positive configurations of points in the affine building. We show that these laminations are parameterized by the tropical points of the spaces $\X_{G,S}$ and $\A_{G,S}$ of Fock and Goncharov. Finally, we explain how these laminations give a compactification of higher Teichmuller spaces.

math.RT↗