Related papers: Relative hard Lefschetz for Soergel bimodules

We study Soergel modules for arbitrary Coxeter groups. For infinite Coxeter groups, we show that the homomorphisms between Soergel modules are in general more than those coming from morphisms of Soergel bimodules. This result provides a…

In this paper, we study the Kazhdan--Lusztig cells of a Coxeter group $W$ in a ``relative'' setting, with respect to a parabolic subgroup $W_I \subseteq W$. This relies on a factorization of the Kazhdan--Lusztig basis $\{C_w\}$ of the…

Statements analogous to the Hard Lefschetz Theorem (HLT) and the Hodge-Riemann bilinear relations (HRR) hold in a variety of contexts: they impose restrictions on the cohomology algebra of a smooth compact K\"ahler manifold or on the…

We show that certain category of bimodules over a finite dimensional quiver algebra known as type B zigzag algebra is a quotient category of the category of type B Soergel bimodules. This leads to an alternate proof of Rouquier's conjecture…

We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…

We show that in positive characteristic special loci of deformation spaces of rank one $\ell$-adic local systems are quasilinear. From this we deduce the Hard Lefschetz theorem for rank one $\ell$-adic local systems and a generic vanishing…

We give an abstract version of the hard Lefschetz theorem, the Lefschetz decomposition and the Hodge-Riemann theorem for compact Kaehler manifolds.

Let $f:X\to Y$ be a morphism of complex manifolds. Suppose that $X$ is a K\"ahler manifold. Let $(\mathcal{T},\mathcal{S})$ be a regular polarized pure twistor $\mathcal{D}$-module of weight $w$ on $X$ whose support is proper over $Y$. We…

We incorporate a category of certain modules for an affine Lie algebra, of a certain fixed non-positive-integral level, considered by Kazhdan and Lusztig, into the representation theory of vertex operator algebras, by using the logarithmic…

The Arakelov--Parshin rigidity theorem implies that a holomorphic Lefschetz fibration $\pi: M \to S^2$ of genus $g \geq 2$ admits only finitely many holomorphic sections $\sigma:S^2 \to M$. We show that an analogous finiteness theorem does…

Using a connection to lozenge tilings of triangular regions, we establish an easily checkable criterion that guarantees the weak Lefschetz property of a quotient by a monomial ideal. It is also shown that each such ideal also has a…

For a field of characteristic $\ne 2$ we study vector spaces that are graded by the weight lattice of a root system, and are endowed with linear operators in each simple root direction. We show that these data extend to a graded semisimple…

George Lusztig conjectured that asymptotic affine Hecke algebra of a simply connected group can be explicitly described in terms of convolution algebras. Main Theorem of this note (which is a continuation of RT/0010089) is a weak version of…

For the universal family of cyclic covers of projective spaces branched along hyperplane arrangements in general position, we consider its monodromy group acting on an eigen linear subspace of the middle cohomology of the fiber. We prove…

A class of topological spaces is topologically rigid if any two spaces with the same fundamental group are also homeomorphic. Topological rigidity, in addition to its intrinsic interest, has been useful for solving abstract commensurability…

Let $U_q$ denote the quantum group associated with a finite dimensional semisimple Lie algebra. Assume that $q$ is a complex root of unity of odd order and that $U_q$ is %the quantum group version obtained via Lusztig's $q$-divided powers…

In this paper we prove that a deformed tensor product of two Lefschetz algebras is a Lefschetz algebra. We then use this result in conjunction with some basic Schubert calculus to prove that the coinvariant ring of a finite reflection has…

Soergel bimodule category B is a categorification of the Hecke algebra of a Coxeter system (W,S). We find a presentation of B (as a tensor category) by generators and relations when W is a right-angled Coxeter group.

Let $W$ be a finitely generated right-angled Coxeter group with group von Neumann algebra $\mathcal{L}(W)$. We prove the following dichotomy: either $\mathcal{L}(W)$ is strongly solid or $W$ contains $\mathbb{Z} \times \mathbb{F}_2$ as a…

We prove Lusztig's conjectures P1-P15 for Coxeter groups with complete graph, using deceasing induction on $ \mathbf{a} $-values and a kind of decomposition formula of Kazhdan-Lusztig basis elements. As a byproduct, we give a description of…