Skip to main content
2 of 6
added 50 characters in body
Dylan Thurston
  • 10.1k
  • 1
  • 44
  • 66

Intrinsic characterization of Soergel bimodules?

A Soergel bimodule (for $S_n$) is a bimodule over $R = \mathbb{Q}[x_1,\dots,x_n]$ which appears as a summand/grading shift of tensor products of the basic bimodules $$B_{i,i+1} = R \otimes_{i,i+1} R$$ where $\otimes_{i,i+1}$ means the tensor product over the subring of polynomials invariant under permuting $i$ and $i+1$. It follows immediately that every Soergel bimodule $M$ has the following properties:

  1. $M$ is free as a left module or as a right module, although not necessarily as a bimodule.

  2. $M$ commutes with invariant polynomials, in the sense that for every invariant polynomial $p \in \mathbb{Q}[x_1,\dots,x_n]$ and $m \in M$, we have $$ pm = mp. $$

I think they also have the following property:

  1. There is an invariant vector, an element $m_0 \in M$ so that $$ x_i m_0 = m_0 x_i $$ for every $i=1,\dots,n$.

Do these properties characterize Soergel bimodules? Without the third condition, you could have, for instance, a bimodule that just permuted the $x_i$: a one-dimensional module with a single generator $a$ as a right module, so that $ x_i a = a x_{\sigma(i)} $ for some permutation $\sigma$.

Dylan Thurston
  • 10.1k
  • 1
  • 44
  • 66