SearcharxivSearch

arXiv subjects

Amit Hazi

Publications and source records attributed to Amit Hazi.

13 recordsLinked to original sources

Some remarks on realizations defining diagrammatic Hecke categories

Every diagrammatic Hecke category is constructed from a realization, which generalizes the notion of a reflection representation of a Coxeter group. Common assumptions on realizations to ensure that the resulting categories are well behaved include Demazure surjectivity and the parabolic property (for anti-spherical quotients). We show that these assumptions are in fact unnecessary. We also give a non-inductive description of the rotational scalars for unbalanced realizations, as well as a simpler criterion to check for balancedness.

math.RT

The anti-spherical Hecke categories for Hermitian symmetric pairs

We calculate the $p$-Kazhdan--Lusztig polynomials for Hermitian symmetric pairs and prove that the corresponding anti-spherical Hecke categories categories are standard Koszul. We prove that the combinatorial invariance conjecture can be lifted to the level of graded Morita equivalences between subquotients of these Hecke categories.

math.RT

Matrix recursion for positive characteristic diagrammatic Soergel bimodules for affine Weyl groups

Let $W$ be an affine Weyl group, and let $\Bbbk$ be a field of characteristic $p>0$. The diagrammatic Hecke category $\mathcal{D}$ for $W$ over $\Bbbk$ is a categorification of the Hecke algebra for $W$ with rich connections to modular representation theory. We explicitly construct a functor from $\mathcal{D}$ to a matrix category which categorifies a recursive representation $ξ: \mathbb{Z}W \rightarrow M_{p^r}(\mathbb{Z}W)$, where $r$ is the rank of the underlying finite root system. This functor gives a method for understanding diagrammatic Soergel bimodules in terms of other diagrammatic Soergel bimodules which are ``smaller'' by a factor of $p$. It also explains the presence of self-similarity in the $p$-canonical basis, which has been observed in small examples. By decategorifying we obtain a new lower bound on the $p$-canonical basis, which corresponds to new lower bounds on the characters of the indecomposable tilting modules by the recent $p$-canonical tilting character formula due to Achar-Makisumi-Riche-Williamson.

math.RT

Existence and rotatability of the two-colored Jones-Wenzl projector

The two-colored Temperley-Lieb algebra $2\mathrm{TL}_R({}_s {n})$ is a generalization of the Temperley-Lieb algebra. The analogous two-colored Jones-Wenzl projector $\mathrm{JW}_R({}_s {n}) \in 2\mathrm{TL}_R({}_s {n})$ plays an important role in the Elias-Williamson construction of the diagrammatic Hecke category. We give conditions for the existence and rotatability of $\mathrm{JW}_R({}_s {n})$ in terms of the invertibility and vanishing of certain two-colored quantum binomial coefficients. As a consequence, we prove that Abe's category of Soergel bimodules is equivalent to the diagrammatic Hecke category in complete generality.

math.RT

Path isomorphisms between quiver Hecke and diagrammatic Bott-Samelson endomorphism algebras

We construct an explicit isomorphism between (truncations of) quiver Hecke algebras and Elias-Williamson's diagrammatic endomorphism algebras of Bott-Samelson bimodules. As a corollary, we deduce that the decomposition numbers of these algebras (including as examples the symmetric groups and generalised blob algebras) are tautologically equal to the associated $p$-Kazhdan-Lusztig polynomials, provided that the characteristic is greater than the Coxeter number. We hence give an elementary and more explicit proof of the main theorem of Riche-Williamson's recent monograph and extend their categorical equivalence to cyclotomic Hecke algebras, thus solving Libedinsky-Plaza's categorical blob conjecture.

math.RT

The modular Weyl-Kac character formula

We classify and explicitly construct the irreducible graded representations of anti-spherical Hecke categories which are concentrated in one degree. Each of these homogeneous representations is one-dimensional and can be cohomologically constructed via a BGG resolution involving every (infinite dimensional) standard representation of the category. We hence determine the complete first row of the inverse parabolic $p$-Kazhdan--Lusztig matrix for an arbitrary Coxeter group and an arbitrary parabolic subgroup. This generalises the Weyl--Kac character formula to all Coxeter systems (and their parabolics) and proves that this generalised formula is rigid with respect to base change to an arbitrary field.

math.RT

Indecomposable tilting modules for the blob algebra

The blob algebra is a finite-dimensional quotient of the Hecke algebra of type $B$ which is almost always quasi-hereditary. We construct the indecomposable tilting modules for the blob algebra over a field of characteristic $0$ in the doubly critical case. Every indecomposable tilting module of maximal highest weight is either a projective module or an extension of a simple module by a projective module. Moreover, every indecomposable tilting module is a submodule of an indecomposable tilting module of maximal highest weight. We conclude that the graded Weyl multiplicities of the indecomposable tilting modules in this case are given by inverse Kazhdan-Lusztig polynomials of type $\tilde{A}_1$.

math.RT

Balanced semisimple filtrations for tilting modules

Let $U_l$ be a quantum group at an $l$th root of unity. Many tilting modules for $U_l$ have been shown to have what we call a balanced semisimple filtration, or a Loewy series whose semisimple layers are symmetric about some middle layer. The existence of such filtrations suggests a remarkably straightforward algorithm for calculating these characters if the irreducible characters are already known. We first show that the results of this algorithm agree with Soergel's character formula for the regular tilting modules. We then show that these balanced semisimple filtrations really do exist for these tilting modules.

math.RT

Radically filtered quasi-hereditary algebras and rigidity of tilting modules

Let $A$ be a quasi-hereditary algebra. We prove that in many cases, a tilting module is rigid (i.e. has identical radical and socle series) if it does not have certain subquotients whose composition factors extend more than one layer in the radical series or the socle series. We apply this theorem to give new results about the radical series of some tilting modules for $SL_4(K)$, where $K$ is a field of positive characteristic.

math.RT