Search

We equip the type A diagrammatic Hecke category with a special derivation, so that after specialization to characteristic p it becomes a p-dg category. We prove that the defining relations of the Hecke algebra are satisfied in the p-dg Grothendieck group. We conjecture that the p-dg Grothendieck group is isomorphic to the Iwahori-Hecke algebra, equipping it with a basis which may differ from both the Kazhdan-Lusztig basis and the p-canonical basis. More precise conjectures will be found in the sequel. Here are some other results contained in this paper. We provide an incomplete proof of the classification of all degree +2 derivations on the diagrammatic Hecke category, and a complete proof of the classification of those derivations for which the defining relations of the Hecke algebra are satisfied in the p-dg Grothendieck group. In particular, our special derivation is unique up to duality and equivalence. We prove that no such derivation exists in simply-laced types outside of finite and affine type A. We also examine a particular Bott-Samelson bimodule in type A_7, which is indecomposable in characteristic 2 but decomposable in all other characteristics. We prove that this Bott-Samelson bimodule admits no nontrivial fantastic filtrations in any characteristic, which is the analogue in the p-dg setting of being indecomposable. [ABSTRACT FROM AUTHOR]

We enlarge a Coxeter group into a category, with one object for each finite parabolic subgroup, encoding the combinatorics of double cosets. This category, the singular Coxeter monoid, is connected to the geometry of partial flag varieties. Our main result is a presentation of this category by generators and relations. We also provide a new description of reduced expressions for double cosets. We describe all the braid relations between such reduced expressions, and prove an analogue of Matsumoto's theorem. This gives a proper development of ideas first introduced by Geordie Williamson. In type A$A$, we also equip the singular Coxeter monoid with a diagrammatic presentation using webs. [ABSTRACT FROM AUTHOR]

In this paper we give a version of Bergman's diamond lemma which applies to certain monoidal categories presented by generators and relations. In particular, it applies to: the Coxeter presentation of the symmetric groups, the quiver Hecke algebras of Khovanov-Lauda-Rouquier, the Webster tensor product algebras, and various generalizations of these. We also give an extension of Manin-Schechtmann theory to non-reduced expressions. [ABSTRACT FROM AUTHOR]

We prove the relative hard Lefschetz theorem for Soergel bimodules. It follows that the structure constants of the Kazhdan-Lusztig basis are unimodal. We explain why the relative hard Lefschetz theorem implies that the tensor category associated by Lusztig to any two-sided cell in a Coxeter group is rigid and pivotal. [ABSTRACT FROM AUTHOR]

We produce an explicit recursive formula which computes the idempotent projecting to any indecomposable Soergel bimodule for a universal Coxeter system. This gives the exact set of primes for which the positive characteristic analogue of Soergel's conjecture holds. Along the way, we introduce the multicolored Temperley-Lieb algebra. [ABSTRACT FROM AUTHOR]

The monoidal category of Soergel bimodules is an incarnation of the Hecke category, a fundamental object in representation theory. We present this category by generators and relations, using the language of planar diagrammatics. We show that Libedinsky's light leaves give a basis for morphism spaces and give a new proof and a generalization of Soergel's classification of the indecomposable Soergel bimodules. [ABSTRACT FROM AUTHOR]

We categorify the Beilinson–Lusztig–MacPherson integral form of quantum sl ( 2 ) specialized at a prime root of unity. [ABSTRACT FROM AUTHOR]

We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan–Lusztig polynomial of M , in analogy with Kazhdan–Lusztig polynomials in representation theory. We conjecture that the coefficients are always non-negative, and we prove this conjecture for representable matroids by interpreting our polynomials as intersection cohomology Poincaré polynomials. We also introduce a q -deformation of the Möbius algebra of M , and use our polynomials to define a special basis for this deformation, analogous to the canonical basis of the Hecke algebra. We conjecture that the structure coefficients for multiplication in this special basis are non-negative, and we verify this conjecture in numerous examples. [ABSTRACT FROM AUTHOR]

Let R be the polynomial ring in n variables, acted on by the symmetric group Sn. Soergel constructed a full monoidal subcategory of R-bimodules which categorifies the Hecke algebra, whose objects are now known as Soergel bimodules. Soergel bimodules can be described as summands of Bott-Samelson bimodules (attached to sequences of simple reflections), or as summands of generalized Bott-Samelson bimodules (attached to sequences of parabolic subgroups). A diagrammatic presentation of the category of Bott-Samelson bimodules was given by the author and Khovanov in previous work. In this paper, we extend it to a presentation of the category of generalized Bott-Samelson bimodules. We also diagrammatically categorify the representations of the Hecke algebra which are induced from trivial representations of parabolic subgroups. The main tool is an explicit description of the idempotent which picks out a generalized Bott-Samelson bimodule as a summand inside a Bott-Samelson bimodule. This description uses a detailed analysis of the reduced expression graph of the longest element of Sn, and the semi-orientation on this graph given by the higher Bruhat order of Manin and Schechtman. This paper relies extensively on color figures. Some references to color may not be meaningful in the printed version, and we refer the reader to the online version which includes the color figures. [ABSTRACT FROM AUTHOR]

We compute the trace decategorification of the Hecke category for an arbitrary Coxeter group. More generally, we introduce the notion of a strictly object-adapted cellular category and calculate the trace for such categories. [ABSTRACT FROM AUTHOR]

We give a diagrammatic presentation for the category of Soergel bimodules for the dihedral group $W$. The (two-colored) Temperley–Lieb category is embedded inside this category as the degree $0$ morphisms between color-alternating objects. The indecomposable Soergel bimodules are the images of Jones–Wenzl projectors. When $W$ is infinite, the parameter $q$ of the Temperley–Lieb algebra may be generic, yielding a quantum version of the geometric Satake equivalence for $\mathfrak{sl}_{2}$. When $W$ is finite, $q$ must be specialized to an appropriate root of unity, and the negligible Jones–Wenzl projector yields the Soergel bimodule for the longest element of $W$. [ABSTRACT FROM AUTHOR]

We categorify an idempotented form of quantum sl 2 and some of its simple representations at a prime root of unity. [ABSTRACT FROM AUTHOR]

Using the diagrammatic calculus for Soergel bimodules developed by B. Elias and M. Khovanov, we show that Rouquier complexes are functorial over braid cobordisms. We explicitly describe the chain maps which correspond to movie move generators. [ABSTRACT FROM AUTHOR]

The monoidal category of Soergel bimodules categorifies the Hecke algebra of a finite Weyl group. In the case of the symmetric group, morphisms in this category can be drawn as graphs in the plane. We define a quotient category, also given in terms of planar graphs, which categorifies the Temperley-Lieb algebra. Certain ideals appearing in this quotient are related both to the 1- skeleton of the Coxeter complex and to the topology of 2D cobordisms. We demonstrate how further subquotients of this category will categorify the irreduciblemodules of the Temperley-Lieb algebra. [ABSTRACT FROM AUTHOR]