skip to main content


Title: The Transition Matrix Between the Specht and đ”°đ”©3 Web Bases is Unitriangular With Respect to Shadow Containment
Abstract Webs are planar graphs with boundary that describe morphisms in a diagrammatic representation category for $\mathfrak{sl}_k$. They are studied extensively by knot theorists because braiding maps provide a categorical way to express link diagrams in terms of webs, producing quantum invariants like the well-known Jones polynomial. One important question in representation theory is to identify the relationships between different bases; coefficients in the change-of-basis matrix often describe combinatorial, algebraic, or geometric quantities (e.g., Kazhdan–Lusztig polynomials). By ”flattening” the braiding maps, webs can also be viewed as the basis elements of a symmetric group representation. In this paper, we define two new combinatorial structures for webs: band diagrams and their one-dimensional projections, shadows, which measure depths of regions inside the web. As an application, we resolve an open conjecture that the change of basis between the so-called Specht basis and web basis of this symmetric group representation is unitriangular for $\mathfrak{sl}_3$-webs ([ 33] and [ 29].) We do this using band diagrams and shadows to construct a new partial order on webs that is a refinement of the usual partial order. In fact, we prove that for $\mathfrak{sl}_2$-webs, our new partial order coincides with the tableau partial order on webs studied by the authors and others [ 12, 17, 29, 33]. We also prove that though the new partial order for $\mathfrak{sl}_3$-webs is a refinement of the previously studied tableau order, the two partial orders do not agree for $\mathfrak{sl}_3$.  more » « less
Award ID(s):
1800773
NSF-PAR ID:
10366179
Author(s) / Creator(s):
;
Date Published:
Journal Name:
International Mathematics Research Notices
Volume:
2022
Issue:
5
ISSN:
1073-7928
Page Range / eLocation ID:
3371 to 3416
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. This is the first of our papers on quasi-split affine quantum symmetric pairs(U~<#comment/>(g^<#comment/>),U~<#comment/>ı<#comment/>)\big (\widetilde {\mathbf U}(\widehat {\mathfrak g}), \widetilde {{\mathbf U}}^\imath \big ), focusing on the real rank one case, i.e.,g=sl3\mathfrak g = \mathfrak {sl}_3equipped with a diagram involution. We construct explicitly a relative braid group action of typeA2(2)A_2^{(2)}on the affineı<#comment/>\imathquantum groupU~<#comment/>ı<#comment/>\widetilde {{\mathbf U}}^\imath. Real and imaginary root vectors forU~<#comment/>ı<#comment/>\widetilde {{\mathbf U}}^\imathare constructed, and a Drinfeld type presentation ofU~<#comment/>ı<#comment/>\widetilde {{\mathbf U}}^\imathis then established. This provides a new basic ingredient for the Drinfeld type presentation of higher rank quasi-split affineı<#comment/>\imathquantum groups in the sequels.

     
    more » « less
  2. Abstract Kreweras words are words consisting of n $$\mathrm {A}$$ A ’s, n $$\mathrm {B}$$ B ’s, and n $$\mathrm {C}$$ C ’s in which every prefix has at least as many $$\mathrm {A}$$ A ’s as $$\mathrm {B}$$ B ’s and at least as many $$\mathrm {A}$$ A ’s as  $$\mathrm {C}$$ C ’s. Equivalently, a Kreweras word is a linear extension of the poset $$\mathsf{V}\times [n]$$ V × [ n ] . Kreweras words were introduced in 1965 by Kreweras, who gave a remarkable product formula for their enumeration. Subsequently they became a fundamental example in the theory of lattice walks in the quarter plane. We study SchĂŒtzenberger’s promotion operator on the set of Kreweras words. In particular, we show that 3 n applications of promotion on a Kreweras word merely swaps the $$\mathrm {B}$$ B ’s and $$\mathrm {C}$$ C ’s. Doing so, we provide the first answer to a question of Stanley from 2009, asking for posets with ‘good’ behavior under promotion, other than the four families of shapes classified by Haiman in 1992. We also uncover a strikingly simple description of Kreweras words in terms of Kuperberg’s $$\mathfrak {sl}_3$$ sl 3 -webs, and Postnikov’s trip permutation associated with any plabic graph. In this description, SchĂŒtzenberger’s promotion corresponds to rotation of the web. 
    more » « less
  3. Abstract

    Let $k \leq n$ be positive integers, and let $X_n = (x_1, \dots , x_n)$ be a list of $n$ variables. The Boolean product polynomial$B_{n,k}(X_n)$ is the product of the linear forms $\sum _{i \in S} x_i$, where $S$ ranges over all $k$-element subsets of $\{1, 2, \dots , n\}$. We prove that Boolean product polynomials are Schur positive. We do this via a new method of proving Schur positivity using vector bundles and a symmetric function operation we call Chern plethysm. This gives a geometric method for producing a vast array of Schur positive polynomials whose Schur positivity lacks (at present) a combinatorial or representation theoretic proof. We relate the polynomials $B_{n,k}(X_n)$ for certain $k$ to other combinatorial objects including derangements, positroids, alternating sign matrices, and reverse flagged fillings of a partition shape. We also relate $B_{n,n-1}(X_n)$ to a bigraded action of the symmetric group ${\mathfrak{S}}_n$ on a divergence free quotient of superspace.

     
    more » « less
  4. Abstract The superspace ring $\Omega _n$ is a rank n polynomial ring tensored with a rank n exterior algebra. Using an extension of the Vandermonde determinant to $\Omega _n$ , the authors previously defined a family of doubly graded quotients ${\mathbb {W}}_{n,k}$ of $\Omega _n$ , which carry an action of the symmetric group ${\mathfrak {S}}_n$ and satisfy a bigraded version of PoincarĂ© Duality. In this paper, we examine the duality modules ${\mathbb {W}}_{n,k}$ in greater detail. We describe a monomial basis of ${\mathbb {W}}_{n,k}$ and give combinatorial formulas for its bigraded Hilbert and Frobenius series. These formulas involve new combinatorial objects called ordered set superpartitions . These are ordered set partitions $(B_1 \mid \cdots \mid B_k)$ of $\{1,\dots ,n\}$ in which the nonminimal elements of any block $B_i$ may be barred or unbarred. 
    more » « less
  5. This paper unites the gauge-theoretic and hyperbolic-geometric perspectives on the asymptotic geometry of the character variety of SL(2, C) representations of a surface group. Specifically, we find an asymptotic correspondence between the analytically defined limiting configuration of a sequence of solutions to the SU(2) self-duality equations on a closed Riemann surface constructed by Mazzeo-Swoboda-Weiß-Witt, and the geometric topological shear-bend parameters of equivariant pleated surfaces in hyperbolic three-space due to Bonahon and Thurston. The geometric link comes from the nonabelian Hodge correspondence and a study of high energy degenerations of harmonic maps. Our result has several applications. We prove: (1) the local invariance of the partial compactification of the moduli space of solutions to the self-duality equations by limiting configurations; (2) a refinement of the harmonic maps characterization of the Morgan-Shalen compactification of the character variety; and (3) a comparison between the family of complex projective structures defined by a quadratic differential and the realizations of the corresponding flat connections as Higgs bundles, as well as a determination of the asymptotic shear-bend cocycle of Thurston’s pleated surface. 
    more » « less