Abstract:For arbitrary Coxeter systems, we prove that inverse Kazhdan-Lusztig polynomials satisfy a monotonicity property. This follows from the validity of Soergel's conjecture and the existence of injective morphisms between Rouquier complexes in the mixed perverse Hecke category. The monotonicity property is generalised to parabolic Kazhdan-Lusztig polynomials.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the monotonicity of inverse Kazhdan - Lusztig polynomials. Specifically, the author J. Baine aims to prove that for any Coxeter system, the inverse Kazhdan - Lusztig polynomials satisfy a monotonicity property. The proof of this property depends on the validity of the Soergel conjecture and the existence of injective morphisms between Rouquier complexes in the mixed perverse Hecke category.
### Core Problems of the Paper
1. **Monotonicity of Inverse Kazhdan - Lusztig Polynomials**:
The author hopes to prove that for any Coxeter system \((W, S)\), the inverse Kazhdan - Lusztig polynomials \(h_{y,x}\) satisfy the following monotonicity property:
\[
h_{z,y} \preceq v^{\ell(x)-\ell(y)}h_{z,x}
\]
where \(z \leq y \leq x\) holds in the Bruhat order, and \(\preceq\) represents coefficient - by - coefficient comparison.
2. **Monotonicity in the Generalized Case**:
For any subset \(I \subseteq S\) and the minimal - length coset representatives \(x, y, z\in W_I\) satisfying \(z \leq y \leq x\) in the induced Bruhat order, the anti - spherical inverse Kazhdan - Lusztig polynomials \(n_{z,y}\) also satisfy a similar monotonicity property:
\[
n_{z,y} \preceq v^{\ell(x)-\ell(y)}n_{z,x}
\]
### Solutions
To prove the above monotonicity, the author makes use of the following key points:
- **Validity of the Soergel Conjecture**: The Soergel conjecture states that the filtrations of certain bimodules are encoded by Kazhdan - Lusztig polynomials. Elias and Williamson proved the Soergel conjecture in [EW1].
- **Existence of Rouquier Complexes**: Rouquier complexes are natural objects related to Coxeter systems, and their existence in the bounded homotopy category provides a framework for studying inverse Kazhdan - Lusztig polynomials.
- **Existence of Injective Morphisms**: By proving the existence of injective morphisms between Rouquier complexes in the mixed perverse Hecke category, the monotonicity of inverse Kazhdan - Lusztig polynomials can be deduced.
### Conclusions
The main result of this paper is to prove the monotonicity of inverse Kazhdan - Lusztig polynomials, which is applicable not only to classical Coxeter systems but also extended to parabolic Kazhdan - Lusztig polynomials. These results deepen the understanding of Kazhdan - Lusztig theory and provide a new perspective for future research.
### Related Formulas
- Bruhat Order: \(z \leq y \leq x\)
- Monotonicity Symbol: \(\preceq\) represents coefficient - by - coefficient comparison
- Length Function: \(\ell(x)\)
- Inverse Kazhdan - Lusztig Polynomials: \(h_{z,y}, h_{z,x}\)
### References
- [BGS] A. Beilinson, V. Ginzburg and W. Soergel, Koszul duality patterns in representation theory, J. Amer. Math. Soc. 9(1996), no.2, 473 - 527.
- [EW1] B. Elias and G. Williamson, The Hodge theory of Soergel bimodules, Ann. of Math. (2) 180(2014), no. 3, 1089 - 1136