Spiders and Generalized Confluence

From MaRDI portal



Abstract: Given a semisimple Lie algebra mathfrakg, we can represent invariants of tensor products of fundamental representations of the quantum enveloping algebra Uq(mathfrakg) using particular directed graphs called webs. In particular webs are trivalent graphs (with leaves) whose edges are labeled by fundamental representations. Picking generating morphisms and relators we can construct a presentation of the representation category. We examine the properties of this presentation in the case of rank 3 spiders and certain higher rank non-simple spiders. In particular, we prove a PBW-type theorem in the case of mathfraksl4, (mathfraksl2)n, and mathfraksl2oplusmathfraksl3 and also give counterexamples showing that no such result is true in the case of (mathfraksl2)2oplusmathfraksl3 and mathfraksl3oplusmathfraksl3. Nevertheless we rephrase the PBW-type theorem as a degeneration of a particular spectral sequence, and prove that this spectral sequence converges on the second page for (mathfraksl2)noplusmathfraksl3, giving generalized and weaker form of confluence. We then apply the above results to the geometry of the Euclidean building in the case of mathfraksl4 and (mathfraksl2)n. In particular, we prove an upper triangularity result with respect to the geometric Satake basis for mathfraksl4, improving the results of Fontaine in cite{fontaine:generating}. Finally we give a geometric interpretation of webs as minimal combinatorial disks in the Euclidean building, reinterpreting many of the combinatorial results of paper in geometric terms.














This page was built for publication: Spiders and Generalized Confluence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6307364)