Searcharxiv⌕ Search

arXiv subjects

Ben Elias

Publications and source records attributed to Ben Elias.

52 records · Page 3Linked to original sources
arXiv2016

The Kazhdan-Lusztig polynomial of a matroid

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 Poincare polynomials. We also introduce a q-deformation of the Mobius 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.

math.CO↗
arXiv2016

Folding with Soergel bimodules

We give a gentle introduction to the concept of folding. That is, we provide an elementary discussion of equivariant categories, their weighted Grothendieck groups, and the technical aspects of computing with them. We then perform the computations required to confirm that quasi-split Hecke algebras with unequal parameters are categorified by equivariant Soergel bimodules, in almost every case.

math.RT↗
arXiv2016

Thick Soergel calculus in type A

Let R be the polynomial ring in n variables, acted on by the symmetric group S_n. 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 S_n, and the semi-orientation on this graph given by the higher Bruhat order of Manin and Schechtman.

math.RT↗
arXiv2016

The two-color Soergel calculus

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 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 .

math.RT↗
arXiv2016

A Diagrammatic Temperley-Lieb Categorification

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 cell modules of the Temperley-Lieb algebra.

math.RT↗
arXiv2016

Diagrammatics for Soergel categories

The monoidal category of Soergel bimodules can be thought of as a categorification of the Hecke algebra of a finite Weyl group. We present this category, when the Weyl group is the symmetric group, in the language of planar diagrams with local generators and local defining relations.

math.RT↗
arXiv2016

On the computation of torus link homology

We introduce a new method for computing triply graded link homology, which is particularly well-adapted to torus links. Our main application is to the (n,n)-torus links, for which we give an exact answer for all n. In several cases, our computations verify conjectures of Gorsky et al relating homology of torus links with Hilbert schemes.

math.GT↗
arXiv2015

Light ladders and clasp conjectures

Morphisms between tensor products of fundamental representations of the quantum group of sl(n) are described by the sl(n)-webs of Cautis-Kamnitzer-Morrison. Using these webs, we provide an explicit, root-theoretic formula for the local intersection forms attached to each summand of the tensor product of an irreducible representation with a fundamental representation. We prove this formula for n at most 4, and conjecture that it holds for all n. Given two sequences of fundamental weights which sum to the same dominant weight, the clasp is the morphism between the corresponding tensor products which projects to the top indecomposable summand. Using our computation of intersection forms, we provide a recursive, ``triple-clasp expansion'' formula for clasps. In addition, we describe the cellular structure on sl(n)-webs, and prove that sl(n)-webs are an integral form for tilting modules of quantum groups.

math.RT↗
arXiv2015

Trace decategorification of the Hecke category

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.

math.RT↗
arXiv2014

On cubes of Frobenius extensions

Given a hypercube of Frobenius extensions between commutative algebras, we provide a diagrammatic description of some natural transformations between compositions of induction and restriction functors, in terms of colored transversely-intersecting planar 1-manifolds. The relations arise in the first and third authors' work on (singular) Soergel bimodules.

math.RT↗
arXiv2014

Kazhdan-Lusztig conjectures and shadows of Hodge theory

We give an informal introduction to the authors' work on some conjectures of Kazhdan and Lusztig, building on work of Soergel and de Cataldo-Migliorini. This article is an expanded version of a lecture given by the second author at the Arbeitstagung in memory of Friedrich Hirzebruch.

math.RT↗
arXiv2014

The Hodge theory of Soergel bimodules

We prove Soergel's conjecture on the characters of indecomposable Soergel bimodules. We deduce that Kazhdan-Lusztig polynomials have positive coefficients for arbitrary Coxeter systems. Using results of Soergel one may deduce an algebraic proof of the Kazhdan-Lusztig conjecture.

math.RT↗
arXiv2013

Soergel Calculus

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 of Soergel's classification of the indecomposable Soergel bimodules.

math.QA↗
arXiv2013

Finding Minimal Permutation Representations of Finite Groups

A minimal permutation representation of a finite group G is a faithful G-set with the smallest possible size. We study the structure of such representations and show that for certain groups they may be obtained by a greedy construction. In these situations (except when central involutions intervene) all minimal permutation representations have the same set of orbit sizes. Using the same ideas we also show that if the size d(G) of a minimal faithful G-set is at least c|G| for some c>0 then d(G) = |G|/m + O(1) for an integer m, with the implied constant depending on c.

math.GR↗
arXiv2009

Rouquier Complexes are Functorial over Braid Cobordisms

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.

math.RT↗