(Co)Minuscule Hecke categories

Joseph Baine
2024-09-24
Abstract:We determine the p-Kazhdan-Lusztig bases for antispherical (co)minuscule Hecke categories in all characteristics, and for spherical (co)minuscule Hecke categories in good characteristic. This is achieved using geometric and diagrammatic methods. The 2-Kazhdan-Lusztig bases of antispherical cominuscule Hecke categories exhibit extremely pathological behaviour. The notions of p-small resolutions and p-tight elements are introduced and conjecturally explain this behaviour.
Representation Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the p - Kazhdan - Lusztig basis of the (anti - )spherical Hecke categories on (co - )minimal flag varieties. Specifically, the author uses geometric and diagrammatic methods to study the behavior of these categories under different characteristics, and pays special attention to the extremely pathological behavior in characteristic 2. ### Main problem decomposition 1. **Determine the p - Kazhdan - Lusztig basis**: - The author aims to determine the p - Kazhdan - Lusztig basis in the (anti - )spherical (co - )minimal Hecke categories, especially its performance under different characteristics. - For the anti - spherical co - minimal Hecke category, the author finds that when the characteristic \( p = 2 \), the p - Kazhdan - Lusztig basis is the Bott - Samelson basis; when \( p\neq2 \), it is the Kazhdan - Lusztig basis. 2. **Explain the pathological behavior in characteristic 2**: - In characteristic 2, the 2 - Kazhdan - Lusztig basis exhibits extremely pathological behavior. The author introduces the concepts of p - small resolution and p - compact elements to explain this phenomenon geometrically. 3. **Generalize to other types**: - The author also determines the p - Kazhdan - Lusztig basis of the anti - spherical minimal Hecke category, which is the Kazhdan - Lusztig basis for all characteristics \( p \). - For the spherical (co - )minimal Hecke category, in good characteristics, the p - Kazhdan - Lusztig basis is also the Kazhdan - Lusztig basis. ### Formula representation To express more clearly, the following are the key formulas involved: - **Kazhdan - Lusztig basis**: \[ b_x=\sum_{y\leq x}h_{y,x}\delta_y \] where \( h_{y,x} \) is the Kazhdan - Lusztig polynomial. - **p - Kazhdan - Lusztig basis**: \[ pb_x=\sum_{y\leq x}ph_{y,x}\delta_y \] where \( ph_{y,x} \) is the p - Kazhdan - Lusztig polynomial. - **Bott - Samelson basis**: \[ b_x = b_{s_1}\cdots b_{s_k} \] where \( x=(s_1,\ldots,s_k) \) is an expression. ### Summary This paper, through geometric and diagrammatic methods, has studied in detail the p - Kazhdan - Lusztig basis of the (anti - )spherical Hecke categories on (co - )minimal flag varieties and explained the extremely pathological behavior in characteristic 2. These results provide new insights into important objects in modular representation theory.