Local Hodge theory of Soergel bimodules (Q2407502): Difference between revisions

Let \((W,S)\) be a Coxeter system, \(\mathfrak{h}\) the reflection faithful representation of \((W,S)\) over \(\mathbb{R}\) and let \(\{\alpha_{s} \} \subset \mathfrak{h}\) and \(\{\alpha_{s}^{\vee} \} \subset \mathfrak{h}^{\ast}\) be the simple roots and coroots (as described in \S 3.2 of the paper). If \(R\) is the symmetric algebra on \(\mathfrak{h}^{\ast}\) with \(\mathrm{deg} (\mathfrak{h}^{\ast})=2\) and \(\mathcal{B}\) is the category of Soergel bimodules (as described in \S 6.2) let \(\mathcal{B}(y)\), \(y\in W\), denote the indecomposable self-dual Soergel bimodule parameterised by \(y\). If \(B\) is a Soergel bimodule and \(x\in W\), let \(B_{x}^{!}\) (resp. \(B_{x}\)) be the largest submodule (resp. largest quotient) of \(B\) on which the relation \(b\cdot r =x(r)\cdot b\) holds for all \(r \in R\). Inclusion followed by projection gives a canonical map \(i_{x} \!: B_{x}^{!} \hookrightarrow B \twoheadrightarrow B_{x}\) and \(i_{x}\) is an isomorphism over \(Q\), the localization of \(R\) at all roots. Any \(\zeta^{\vee} \in \mathfrak{h}\) yields a specialisation \(R \rightarrow \mathbb{R}[z]\) given on degree-2 elements by \(\alpha \mapsto (\alpha,\zeta^{\vee})\). An element \(\rho^{\vee} \in \mathfrak{h}\) is dominant if \((\alpha_{s},\rho^{\vee}) >0\) for all \(s \in S\). Set \(N^{!}= R[z] \otimes_{B} B_{x}^{!}\), \(N= R[z] \otimes_{B} B_{x}\) and \(P^{-i}:=\big ( \mathrm{deg}_{<-i}(N) \big )^{\bot} \cap N^{-i} \). For a complete explanation of the notation, the reader must consult the paper, in particular the useful list of symbols placed in the last paragraph. A first result proved in this article is Theorem 1.1: Suppose that \(\rho^{\vee} \in \mathfrak{h}\) is dominant and that \(B\) is indecomposable and self-dual. Define \(H [1]\) as the cokernel of the inclusion: \[ 0 \rightarrow N^{!} \rightarrow{i_{x}} N \rightarrow H[1] \rightarrow 0. \] Then, \(H\) satisfies the hard Lefschetz theorem: multiplication by \(z^{i}\) yields an isomorphism \(H^{-i} \rightarrow H^{i}\) for all \(i \geq 0\). Another result is Theorem 1.2: For any \(i>0\), the restriction of the \(\mathbb{R}\)-valued form \((n,n'):=z^{i} \langle n,n' \rangle\) on \(N^{-i}\) to \(P^{-i}\) is \((-1)^{\ell(x)}(-1)^{d}\)-definite, where \(d=\frac{1}{2}(-i - \mathrm{min})\) (\(\ell\) is the length function and \(\mathrm{min}\) denote the minimal non-zero degree of \(N\)).