No Arabic abstract
We continue investigating the generalisations of geometrical statistical models introduced in [13], in the form of models of webs on the hexagonal lattice H having a U_q(sl_n) quantum group symmetry. We focus here on the n=3 case of cubic webs, based on the Kuperberg A_2 spider, and illustrate its properties by comparisons with the well-known dilute loop model (the n=2 case) throughout. A local vertex-model reformulation is exhibited, analogous to the correspondence between the loop model and a three-state vertex model. The n=3 representation uses seven states per link of H, displays explicitly the geometrical content of the webs and their U_q(sl_3) symmetry, and permits us to study the model on a cylinder via a local transfer matrix. A numerical study of the central charge reveals that for each q $in mathbb{C}$ in the critical regime, |q|=1, the web model possesses a dense and a dilute critical point, just like its loop model counterpart. In the dense $q=-e^{i pi/4}$ case, the n=3 webs can be identified with spin interfaces of the critical three-state Potts model defined on the triangular lattice dual to H. We also provide another mapping to a $mathbb{Z}_3$ spin model on H itself, using a high-temperature expansion. We then discuss the sector structure of the transfer matrix, for generic q, and its relation to defect configurations in both the strip and the cylinder geometries. These defects define the finite-size precursors of electromagnetic operators. This discussion paves the road for a Coulomb gas description of the conformal properties of defect webs, which will form the object of a subsequent paper. Finally, we identify the fractal dimension of critical webs in the $q=-e^{i pi/3}$ case, which is the n=3 analogue of the polymer limit in the loop model.
We use analogues of Enrights and Arkhipovs functors to determine the quiver and relations for a category of $mathfrak{sl}_2 ltimes L(4)$-modules which are locally finite (and with finite multiplicities) over $mathfrak{sl}_2$. We also outline serious obstacles to extend our result to $mathfrak{sl}_2 ltimes L(k)$, for $k>4$.
We classify the simple bounded weight modules of ${mathfrak{sl}(infty})$, ${mathfrak{o}(infty)}$ and ${mathfrak{sp}(infty)}$, and compute their annihilators in $U({mathfrak{sl}(infty}))$, $U({mathfrak{o}(infty))}$, $U({mathfrak{sp}(infty))}$, respectively.
The $q$-analog of Kostants weight multiplicity formula is an alternating sum over a finite group, known as the Weyl group, whose terms involve the $q$-analog of Kostants partition function. This formula, when evaluated at $q=1$, gives the multiplicity of a weight in a highest weight representation of a simple Lie algebra. In this paper, we consider the Lie algebra $mathfrak{sl}_4(mathbb{C})$ and give closed formulas for the $q$-analog of Kostants weight multiplicity. This formula depends on the following two sets of results. First, we present closed formulas for the $q$-analog of Kostants partition function by counting restricted colored integer partitions. These formulas, when evaluated at $q=1$, recover results of De Loera and Sturmfels. Second, we describe and enumerate the Weyl alternation sets, which consist of the elements of the Weyl group that contribute nontrivially to Kostants weight multiplicity formula. From this, we introduce Weyl alternation diagrams on the root lattice of $mathfrak{sl}_4(mathbb{C})$, which are associated to the Weyl alternation sets. This work answers a question posed in 2019 by Harris, Loving, Ramirez, Rennie, Rojas Kirby, Torres Davila, and Ulysse.
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 (like, 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, that 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. 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. 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$.
We prove a functorial correspondence between a category of logarithmic $mathfrak{sl}_2$-connections on a curve $X$ with fixed generic residues and a category of abelian logarithmic connections on an appropriate spectral double cover $pi : Sigma to X$. The proof is by constructing a pair of inverse functors $pi^{text{ab}}, pi_{text{ab}}$, and the key is the construction of a certain canonical cocycle valued in the automorphisms of the direct image functor $pi_ast$.