Decorated tangles and canonical bases

R.M. Green

DOI: https://doi.org/10.48550/arXiv.math/0108076

2001-08-10

Abstract:We study the combinatorics of fully commutative elements in Coxeter groups of type $H_n$ for any $n > 2$. Using the results, we construct certain canonical bases (i.e., IC bases) for non-simply-laced generalized Temperley--Lieb algebras and show how to relate them to morphisms in the category of decorated tangles.

Quantum Algebra

What problem does this paper attempt to address?

Tame quivers and affine bases II: nonsimply-laced cases

Jie Xiao,Han Xu

2024-02-06

Abstract:In [Tame_quivers_and_affine_bases_I], we give a Ringel-Hall algebra approach to the canonical bases in the symmetric affine cases. In this paper, we extend the results to general symmetrizable affine cases by using Ringel-Hall algebras of representations of a valued quiver. We obtain a bar-invariant basis $\mathbf{B}'=\{C(\mathbf{c},t_\lambda)|(\mathbf{c},t_\lambda)\in\mathcal{G}^a\}$ in the generic composition algebra $\mathcal{C}^*$ and prove that $\mathcal{B}'=\mathbf{B}'\sqcup(-\mathbf{B}')$ coincides with Lusztig's signed canonical basis $\mathcal{B}$. Moreover, in type $\tilde{B}_n,\tilde{C}_n$, $\mathbf{B}'$ is the canonical basis $\mathbf{B}$.

Representation Theory,Quantum Algebra,Rings and Algebras
Combinatorial bases in quantum toroidal $\mathfrak{gl}_2$ modules

Michio Jimbo,Evgeny Mukhin

2024-03-25

Abstract:We show that many tame modules of the quantum toroidal $\mathfrak{gl}_2$ algebra can be explicitly constructed in a purely combinatorial way using the theory of $q$-characters. The examples include families of evaluation modules obtained from analytic continuation and automorphism twists of Verma modules of the quantum affine $\mathfrak{gl}_2$ algebra. The combinatorial bases in the modules are labeled by colored plane partitions with various properties.

Quantum Algebra,Mathematical Physics,Combinatorics,Representation Theory
Extensions of tautological rings and motivic structures in the cohomology of $\overline{\mathcal{M}}_{g,n}$

Samir Canning,Hannah Larson,Sam Payne

2024-10-26

Abstract:We study collections of subrings of $H^*(\overline{\mathcal{M}}_{g,n})$ that are closed under the tautological operations that map cohomology classes on moduli spaces of smaller dimension to those on moduli spaces of larger dimension and contain the tautological subrings. Such extensions of tautological rings are well-suited for inductive arguments and flexible enough for a wide range of applications. In particular, we confirm predictions of Chenevier and Lannes for the $\ell$-adic Galois representations and Hodge structures that appear in $H^k(\overline{\mathcal{M}}_{g,n})$ for $k = 13$, $14$, and $15$. We also show that $H^4(\overline{\mathcal{M}}_{g,n})$ is generated by tautological classes for all $g$ and $n$, confirming a prediction of Arbarello and Cornalba from the 1990s. In order to establish the final bases cases needed for the inductive proofs of our main results, we use Mukai's construction of canonically embedded pentagonal curves of genus 7 as linear sections of an orthogonal Grassmannian and a decomposition of the diagonal to show that the pure weight cohomology of $\mathcal{M}_{7,n}$ is generated by algebraic cycle classes, for $n \leq 3$.

Algebraic Geometry
Finite Coxeter Groups and Generalized Elnitsky Tilings

Robert Nicolaides,Peter Rowley

2024-07-21

Abstract:In [5], Elnitsky constructed three elegant bijections between classes of reduced words for Type $\mathrm{A}$, $\mathrm{B}$ and $\mathrm{D}$ families of Coxeter groups and certain tilings of polygons. This paper offers a particular generalization of this concept to all finite Coxeter Groups in terms of embeddings into the Symmetric Group. [5] Elnitsky, Serge. Rhombic tilings of polygons and classes of reduced words in Coxeter groups. PhD dissertation, University of Michigan, 1993.

Group Theory,Combinatorics
Catalan numbers: from FC elements to classical diagram algebras

Sadek Al Harbat

2024-01-17

Abstract:Let $W^c(A_n)$ be the set of fully commutative elements in the $A_n$-type Coxeter group. Using only the settings of their canonical form, we recount $W^c(A_n)$ by the recurrence that is taken as a definition of the Catalan number $C_{n+1}$ and we find the Narayana numbers as well as the Catalan triangle via suitable set partitions of $W^c(A_n)$. We determine the unique bijection between $W^c(A_n)$ and the set of non-crossing diagrams of $n+1$ strings that respects the diagrammatic multiplication by concatenation in the $A_n$-type Temperley-Lieb algebra, along with the two algorithms implementing this bijection and its inverse.

Combinatorics,Representation Theory
Diagrammatics for Coxeter groups and their braid groups

Ben Elias,Geordie Williamson

DOI: https://doi.org/10.48550/arXiv.1405.4928

2017-01-10

Abstract:We give a monoidal presentation of Coxeter and braid 2-groups, in terms of decorated planar graphs. This presentation extends the Coxeter presentation. We deduce a simple criterion for a Coxeter group or braid group to act on a category.

Representation Theory,Geometric Topology
Tame quivers and affine bases I: a Hall algebra approach to the canonical bases

Jie Xiao,Han Xu,Minghui Zhao

DOI: https://doi.org/10.1016/j.jalgebra.2023.06.023

2023-08-28

Abstract:For quantum group of affine type, Lusztig gave an explicit construction of the affine canonical basis by simple perverse sheaves. In this paper, we construct a bar-invariant basis by using a PBW basis arising from representations of the corresponding tame quiver. We prove that this bar-invariant basis coincides with Lusztig's canonical basis and obtain a concrete bijection between the elements in theses two bases. The index set of these bases is listed orderly by modules in preprojective, regular non-homogeneous, preinjective components and irreducible characters of symmetric groups. Our results are based on the work of Lin-Xiao-Zhang and closely related with the work of Beck-Nakajima. A crucial method in our construction is a generalization of that by Deng-Du-Xiao.

Representation Theory,Quantum Algebra,Rings and Algebras
Cotilting with balanced big Cohen-Macaulay modules

Isaac Bird

DOI: https://doi.org/10.1016/j.jalgebra.2022.11.019

2024-01-30

Abstract:Over $d$-dimensional Cohen-Macaulay rings with a canonical module, $d$-cotilting classes containing the maximal and balanced big Cohen-Macaulay modules are classified. Particular emphasis is paid to the direct limit closure of the balanced big Cohen-Macaulay modules, and the class of modules of depth $d$, which are shown to respectively be the smallest and largest such cotilting classes. Considerations are then given to the interplay between local cohomology, canonical duality and cotilting modules for the class of Gorenstein flat modules over Gorenstein local rings.

Commutative Algebra,Representation Theory
Invariants of Tangles with Flat Connections in Their Complements

R. Kashaev,N. Reshetikhin

2010-01-01

Abstract:Let G be a simple complex algebraic group. By using a notion of a G-category we define invariants of tangles with flat G-connections in their complements. We also show that quantized universal enveloping algebras at roots of unity provide examples of G-categories.
Higher Specht bases and $q$-series for the cohomology rings of certain Hessenberg varieties

Kyle Salois

2024-10-11

Abstract:It is conjectured (following the Stanley-Stembridge conjecture) that the cohomology rings of regular semisimple Hessenberg varieties yield permutation representations, but the decompositions of the modules are only known in some cases. For the Hessenberg function $h=(h(1),n,\ldots,n)$, the structure of the cohomology ring was determined by Abe, Horiguchi, and Masuda in 2017. We define two new bases for this cohomology ring, one of which is a higher Specht basis, and the other of which is a permutation basis. We also examine the transpose Hessenberg variety, indexed by the Hessenberg function $h' = ((n-1)^{n-m},n^m)$, and show that analogous results hold. Further, we give combinatorial bijections between the monomials in the new basis and sets of $P$-tableaux, motivated by the work of Gasharov, illustrating the connections between the $\mathfrak{S}_n$ action on these cohomology rings and the Schur expansion of chromatic symmetric functions.

Combinatorics
Decorations on Geometric Crystals and Monomial Realizations of Crystal Bases for Classical Groups

Toshiki Nakashima

DOI: https://doi.org/10.48550/arXiv.1301.7301

2013-01-31

Abstract:We shall describe explicitly the decoration functions for certain decorated geometric crystals of classical groups and we shall show that they are represented in terms of monomial realizations of crystal bases.

Quantum Algebra,Representation Theory
Hennings TQFTs for Cobordisms Decorated With Cohomology Classes

Marco De Renzi,Jules Martel,Bangxin Wang

2024-02-08

Abstract:Starting from an abelian group $G$ and a factorizable ribbon Hopf $G$-bialgebra $H$, we construct a TQFT $J_H$ for connected framed cobordisms between connected surfaces with connected boundary decorated with cohomology classes with coefficients in $G$. When restricted to the subcategory of cobordisms with trivial decorations, our functor recovers a special case of Kerler-Lyubashenko TQFTs, namely those associated with factorizable ribbon Hopf algebras. Our result is inspired by the work of Blanchet-Costantino-Geer-Patureau, who constructed non-semisimple TQFTs for admissible decorated cobordisms using the unrolled quantum group of $\mathfrak{sl}_2$, and by that of Geer-Ha-Patureau, who reformulated the underlying invariants of admissible decorated $3$-manifolds using ribbon Hopf $G$-coalgebras. Our work represents the first step towards a homological model for non-semisimple TQFTs decorated with cohomology classes that appears in a conjecture by the first two authors.

Geometric Topology,Quantum Algebra
Generic Extensions and Canonical Bases for Cyclic Quivers

Bangming Deng,Jie Du,Jie Xiao

DOI: https://doi.org/10.4153/cjm-2007-054-7

2007-01-01

Abstract:We use the monomial basis theory developed by Deng and Du to present an elementary algebraic construction of the canonical bases for both the Ringel-Hall algebra of a cyclic quiver and the positive part U+ of the quantum affine sl(n). This construction relies on analysis of quiver representations and the introduction of a new integral PBW-like basis for the Lusztig Z[v, v(-1)] -form of U+.
Perfect bases in representation theory: three mountains and their springs

Joel Kamnitzer

DOI: https://doi.org/10.48550/arXiv.2201.02289

2022-05-24

Abstract:In order to give a combinatorial descriptions of tensor product multiplicites for semisimple groups, it is useful to find bases for representations which are compatible with the actions of Chevalley generators of the Lie algebra. There are three known examples of such bases, each of which flows from geometric or algebraic mountain. Remarkably, each mountain gives the same combinatorial shadow: the crystal B(infty) and the Mirkovic-Vilonen polytopes. In order to distinguish between the three bases, we introduce measures supported on these polytopes. We also report on the interaction of these bases with the cluster structure on the coordinate ring of the maximal unipotent subgroup.

Representation Theory
Explicit description of a basis for derivations of a Coxeter multiarrangement of type $B_2$

Shota Maehara,Yasuhide Numata

2023-12-11

Abstract:In this article, we consider the multiarrangements whose underlying arrangements are the Coxeter arrangement of type $B_2$. For some special multiplicities, we give an explicit description of bases for the derivation modules. As an application, we also describe the lower derivations of bases for the derivation modules of some Coxeter multiarrangements of type $A_2$, which are different from ones given by Wakamiko.

Combinatorics
An elaborate new proof of Cayley's formula

Esther Banaian,Anh Trong Nam Hoang,Elizabeth Kelley,Weston Miller,Jason Stack,Carolyn Stephen,Nathan Williams

2024-02-13

Abstract:We construct a bijection between certain Deodhar components of a braid variety constructed from an affine Kac-Moody group of type $A_{n-1}$ and vertex-labeled trees on $n$ vertices. By an argument of Galashin, Lam, and Williams using Opdam's trace formula in the affine Hecke algebra and an identity due to Haglund, we obtain an elaborate new proof for the enumeration of the number of vertex-labeled trees on $n$ vertices.

Combinatorics
Higher-Dimensional Algebra IV: 2-Tangles

John C. Baez,Laurel Langford

DOI: https://doi.org/10.48550/arXiv.math/9811139

2000-10-15

Abstract:Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the `free semistrict braided monoidal 2-category with duals on one unframed self-dual object'. By this universal property, any unframed self-dual object in a braided monoidal 2-category with duals determines an invariant of 2-tangles in 4 dimensions.

Quantum Algebra,Algebraic Topology,Category Theory
The cohomology of the connective spectra for {K}-theory revisited

Donald M. Davis,W. Stephen Wilson

2024-04-18

Abstract:The stable mod 2 cohomologies of the spectra for connective real and complex K-theories are well known and easy to work with. However, the known bases are in terms of the anti-automorphism of Milnor basis elements. We offer simple bases in terms of admissible sequences of Steenrod operations that come from the Adem relations. In particular, the basis for the complex case is that you don't use any Steenrod operations in degree one or $2^n+1$, $n > 0$.

K-Theory and Homology,Algebraic Topology
Positroids, knots, and $q,t$-Catalan numbers

Pavel Galashin,Thomas Lam

2023-09-08

Abstract:We relate the mixed Hodge structure on the cohomology of open positroid varieties (in particular, their Betti numbers over $\mathbb{C}$ and point counts over $\mathbb{F}_q$) to Khovanov--Rozansky homology of associated links. We deduce that the mixed Hodge polynomials of top-dimensional open positroid varieties are given by rational $q,t$-Catalan numbers. Via the curious Lefschetz property of cluster varieties, this implies the $q,t$-symmetry and unimodality properties of rational $q,t$-Catalan numbers. We show that the $q,t$-symmetry phenomenon is a manifestation of Koszul duality for category $\mathcal{O}$, and discuss relations with open Richardson varieties and extension groups of Verma modules.

Combinatorics,Algebraic Geometry,Geometric Topology,Representation Theory

Decorated tangles and canonical bases

Tame quivers and affine bases II: nonsimply-laced cases

Combinatorial bases in quantum toroidal $\mathfrak{gl}_2$ modules

Extensions of tautological rings and motivic structures in the cohomology of $\overline{\mathcal{M}}_{g,n}$

Finite Coxeter Groups and Generalized Elnitsky Tilings

Catalan numbers: from FC elements to classical diagram algebras

Diagrammatics for Coxeter groups and their braid groups

Tame quivers and affine bases I: a Hall algebra approach to the canonical bases

Cotilting with balanced big Cohen-Macaulay modules

Invariants of Tangles with Flat Connections in Their Complements

Higher Specht bases and $q$-series for the cohomology rings of certain Hessenberg varieties

Decorations on Geometric Crystals and Monomial Realizations of Crystal Bases for Classical Groups

Hennings TQFTs for Cobordisms Decorated With Cohomology Classes

Generic Extensions and Canonical Bases for Cyclic Quivers

Perfect bases in representation theory: three mountains and their springs

Explicit description of a basis for derivations of a Coxeter multiarrangement of type $B_2$

An elaborate new proof of Cayley's formula

Higher-Dimensional Algebra IV: 2-Tangles

The cohomology of the connective spectra for {K}-theory revisited

Positroids, knots, and $q,t$-Catalan numbers