2025-11-26T13:34:17.913044

Equivariant Koszul Duality, Modular Category $\mathcal{O}$, and Periodic Kazhdan--Lusztig Polynomials

Riche, Situ

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in the principal block of the category of strongly $B$-equivariant $\mathfrak{g}$-modules (also called modular category $\mathcal{O}$), from a simple object to a costandard object, under the assumption that Lusztig's conjecture holds (which is known in large characteristic). The answer is given by a coefficient of a periodic Kazhdan--Lusztig polynomial associated with the corresponding affine Weyl group. Among other things, the proof uses a torus-equivariant version of the Koszul duality for $\mathfrak{g}$-modules constructed by the first author.

academic

ازدواجية كوزول المتباينة، الفئة المعيارية $\mathcal{O}$ ، ومتعددات حدود كازدان-لوشتيغ الدورية

معلومات أساسية

معرف الورقة: 2511.18518
العنوان: ازدواجية كوزول المتباينة، الفئة المعيارية $\mathcal{O}$ ، ومتعددات حدود كازدان-لوشتيغ الدورية
المؤلفون: سيمون ريشي، كوان سيتو
التصنيف: math.RT (نظرية التمثيل)، math.AG (الهندسة الجبرية)
تاريخ النشر: 23 نوفمبر 2025 (تقديم arXiv)
رابط الورقة: https://arxiv.org/abs/2511.18518

الملخص

تدرس هذه الورقة مجموعات الجبر المتصلة المختزلة $G$ على مجالات مغلقة مميزة موجبة، وجبر لي $\mathfrak{g}$ ، والمجموعات الفرعية بوريل $B$ . يثبت المؤلفون تحت افتراض صحة تخمين لوستيغ (المعروف صحته في حالة الأعداد المميزة الكبيرة)، صيغة أبعاد مجموعات التمديد من الأجسام البسيطة إلى الأجسام شبه المعيارية في الكتلة الرئيسية لفئة $\mathfrak{g}$ -النماذج القوية $B$ -المتباينة (المعروفة أيضًا بالفئة المعيارية $\mathcal{O}$ ). يتم إعطاء الحل بواسطة معاملات متعددات حدود كازدان-لوشتيغ الدورية للمجموعة الويلية الأفينية المرتبطة. يستخدم البرهان نسخة متباينة من ازدواجية كوزول للنماذج $\mathfrak{g}$ التي بناها المؤلف الأول.

خلفية البحث والدوافع

1. المشكلة الأساسية

المشكلة الأساسية التي تهدف الورقة إلى حلها هي: حساب أبعاد مجموعات التمديد من النماذج البسيطة إلى النماذج شبه المعيارية في الفئة المعيارية $\mathcal{O}$ على مجالات مميزة موجبة.

2. أهمية المشكلة

تتمتع هذه المشكلة بأهمية متعددة:

مشكلة أساسية في نظرية التمثيل: مجموعات التمديد هي متغيرات أساسية في نظرية التمثيل، وتشفّر معلومات البنية المثلية للفئة.
الارتباط التوافقي: تربط هذه المشكلة نظرية التمثيل بتوافقيات كازدان-لوشتيغ، والتي لها تطبيقات مهمة في مجالات رياضية متعددة.
استنتاجات تخمين لوستيغ: نتائج الورقة هي استنتاجات طبيعية لتخمين لوستيغ حول نظرية التمثيل في المميزات الموجبة، وتتحقق من اتساق إطار هذا التخمين.
الارتباط الهندسي: من خلال ازدواجية كوزول، ترتبط هذه المشكلة ارتباطًا عميقًا بالطبقات المتماسكة على الأصناف الجبرية.

المساهمات الرئيسية

تشمل المساهمات الرئيسية لهذه الورقة ما يلي:

1. النظرية الرئيسية (النظرية 1.1)

نص النظرية: افترض أن $p > h$ (حيث $h$ هو عدد كوكسيتر) وأن تخمين لوستيغ صحيح. لأي $y, w \in W_{\text{aff}}$ ، لدينا: $\sum_m \dim_k \text{Ext}^m_{\text{Mod}(g,B)}(L(w \bullet 0), \nabla(y \bullet 0)) \cdot v^m = p_{y,w}(v)$ حيث $p_{y,w}$ هي متعددات حدود كازدان-لوشتيغ الدورية.

2. نظرية ازدواجية كوزول المتباينة

بناء نسخة متباينة من ازدواجية كوزول للنماذج $\mathfrak{g}$ (القسم 6)، بما في ذلك:

بناء حزم متجهة متباينة الانقسام
المعادلات بين الفئات المشتقة المتباينة
التوافق مع الأجسام المعيارية والأجسام المقذوفة

3. نظرية الطبقات المتباينة على الإكمالات

تطوير نظرية الطبقات المتماسكة المتباينة على "الإكمالات الشكلية" في الملحق A:

تعريف فئة الطبقات المتباينة المتماسكة تحت مفهوم الإكمال
إنشاء فونكتورات الدفع والسحب ومنشوراتها
إثبات خصائص أساسية مثل الترافق

تفاصيل المنهجية

تعريف المهمة

المدخلات: عنصران من المجموعة الويلية الأفينية $y, w \in W_{\text{aff}}$

المخرجات: أبعاد مجموعات التمديد $\text{Ext}^m_{\text{Mod}(g,B)}(L(w \bullet 0), \nabla(y \bullet 0))$ (لجميع $m \geq 0$ )

القيود:

العدد المميز $p > h$ (حيث $h$ هو عدد كوكسيتر)
صحة تخمين لوستيغ (المعروف في الأعداد المميزة الكبيرة بما فيه الكفاية)

التحقق النظري

1. التحقق من الشروط

شرط العدد المميز: $p > h$ (عدد كوكسيتر)
تخمين لوستيغ: الشروط المكافئة موجودة في 22, Proposition II.C.17(a)

2. نطاق التحقق

الكتلة الرئيسية: الأوزان من الشكل $w \bullet 0$ ( $w \in W_{\text{aff}}$ )
الكتل العادية: يمكن تعميمها عبر فونكتورات الترجمة
الكتل الشاذة: لم يتم تناولها في هذه الورقة

النتائج الرئيسية

النظرية 1.1 كاملة:

افترض أن $p > h$ وأن تخمين لوستيغ صحيح. لأي $y, w \in W_{\text{aff}}$ : $\sum_m \dim_k \text{Ext}^m_{\text{Mod}(g,B)}(L(w \bullet 0), \nabla(y \bullet 0)) \cdot v^m = p_{y,w}(v)$