Semiorthogonal decompositions for stacks

ملخص تقني: التفككات شبه المتعامدة للمتراكمات (Stacks)

بيان المشكلة
يتناول البحث بناء تفككات شبه متعامدة (Semiorthogonal Decompositions - SODs) منهجية لفئات الحزم المتماسكة المشتقة، $\text{Coh}(X)$، على متراكمات جبرية مشتقة شبه ملساء (quasi-smooth) $X$ فوق $\mathbb{C}$. وبينما تم إثبات تفككات SOD للمتراكمات الكسرية الخطية (linear quotient stacks) وفضاءات المودلي (moduli spaces) محددة (مثل تلك الخاصة بتمثيلات الكوير أو حزم المتجهات على المنحنيات) في أعمال سابقة لـ Ballard–Favero–Katzarkov وHalpern-Leistner وŠpenko–Van den Bergh وPădurariu–Toda، إلا أن هذه البناءات كانت تعتمد غالباً على بنى خطية محددة أو تتطلب شروط استقرار مقيدة. ويكمن التحدي في تعميم هذه التفككات لتشمل فئة واسعة من المتراكمات غير الخطية، شبه الملساء، والناشئة في نظرية دونالدسون–توماس (DT) الجوهرية، بما في ذلك موديلات حزم $G$-bundles، وحزم Higgs، والاتصالات (connections)، والأنظمة المحلية (local systems) للمجموعات المختزلة العامة $G$ (ليس فقط النوع $A$).

المنهجية
يستخدم المؤلفون إطار عمل نظرية دونالدسون–توماس الجوهرية (التي طُورت في [17–19]) لتعريف بنية توافقية تسمى شبكة المكونات (component lattice)، ويُرمز لها بـ $\text{CL}_\mathbb{Q}(X)$. هذه الشبكة تشفر الرموز المتعامدة (cocharacters) ومجموعات وايل (Weyl groups) لمجموعات التماثل للنقاط في $X$.

تجري المنهجية عبر الخطوات التالية:

1. شبكة المكونات والنقاط المدرجة: يتم فهرسة التفكك بواسطة شبكة المكونات العقلانية $|\text{CL}_\mathbb{Q}(X)| = \pi_0 \text{Map}(\ast/\mathbb{G}_m, X)$. كل عنصر $\lambda$ يقابل متراكم النقاط المدرجة $X_\lambda$ ومتراكم النقاط المفلترة $X^+_\lambda$.
2. الحث الهالوي (Hall Induction): يستخدم المؤلفون دالة الحث الهالوي $\star_\lambda: \text{Coh}(X_\lambda) \to \text{Coh}(X)$، المعرفة عبر المراسلة $X_\lambda \xleftarrow{\text{gr}_\lambda} X^+_\lambda \xrightarrow{\text{ev}_\lambda} X$. هذه الدالة تعمم دالة الحث البارابولي (parabolic induction).
3. الفئات الجزئية للنافذة (Window Subcategories): لكل $\lambda$، يتم تعريف "فئة نافذة جزئية" $W_{X_\lambda}(\delta_\lambda) \subset \text{Coh}(X_\lambda)$. هذه الفئات الجزئية الكاملة تُحدد بواسطة شروط الأوزان بالنسبة لفعل $\mathbb{G}_m$ على $X_\lambda$، وتتمركز حول دالة خطية $\delta: \text{CL}_\mathbb{Q}(X) \to \mathbb{Q}$ ومعيار تربيعي $q$ على الشبكة.
4. حجة من المحلي إلى العالمي:
   • الحالة الخطية: يتم إثبات التفكك أولاً للحالات الكسرية الخطية $V/G$ حيث $V$ تمثيل شبه متماثل (Theorem 2.1.6).
   • الحالة الملساء: باستخدام حقيقة أن المتراكمات الملساء ذات فضاءات المودلي الجيدة هي محلياً (étale locally) نماذج لكسور خطية، يتم تعميم النتيجة عالمياً عبر حجج النزول (descent arguments) (Theorem 3.2.3).
   • الحالة شبه الملساء: بالنسبة للمتراكمات شبه الملساء (التي تعد نماذج محلية لمتراكمات $(-1)$-shifted symplectic)، يستخدم المؤلفون ثنائية كوزول (Koszul duality) لربط $\text{Coh}(X)$ بفئات عوامل المصفوفات (matrix factorizations) $\text{MF}(Y, f)$ على المتراكمات الملساء. ثم يتم نقل التفكك الخاص بعوامل المصفوفات (Theorem 3.5.4) إلى الإطار شبه الأملس (Theorem 4.1.3).
5. الدعم المنفرد (Singular Supports): يتم تنقيح البناء ليشمل الفئات الجزئية من الكائنات ذات الدعم المنفرد المحتوى في مجموعة مغلقة مشبعة $Z \subset |T^*[-1]X|$ (Theorem 4.3.3).

المساهمات والنتائج الرئيسية
يقدم البحث بناءً موحداً لمجموعة واسعة من موديلات المودلي. النتائج الرئيسية هي:

• التفكك العام (Theorem 4.1.3): لأي متراكم مشتق quasi-symmetric، quasi-smooth، qca مع فضاء مودلي جيد، يوجد تفكك SOD:
  $$\text{Coh}(X) = \left\langle \star_\lambda W_{X_\lambda}(\delta_\lambda) \mid \lambda \in |\text{CL}_\mathbb{Q}(X)| \right\rangle$$
  تُفهرس الحدود (summands) بواسطة شبكة المكونات، مرتبة حسب معيار $q$ لـ $\lambda$. الدوال $\star_\lambda$ هي دوال حقانية (fully faithful)، وصورها قابلة للاستيعاب (admissible) و$\text{Perf}(X)$-خطية.

• تفكك الدعم المنفرد (Theorem 4.3.3): يوجد تفكك موازٍ لـ $\text{Coh}_Z(X)$، وهي الفئة الجزئية من الحزم المتماسكة ذات الدعم المنفرد في مجموعة مشبعة $Z$. هذا الأمر ذو أهمية خاصة لمخروط النيتروجين (nilpotent cone).

• عوامل المصفوفات (Theorem 3.5.4): يتم بناء SOD لفئة عوامل المصفوفات $\text{MF}(X, f)$ على متراكم أملس، والتي تعمل كنماذج محلية للفئات الحرجة في نظرية DT.

• تطبيقات ملموسة: تُطبق النظرية للحصول على SOD صريحة لـ:

  • موديلات حزم $G$-bundles شبه المستقرة ($\text{Bun}^{ss}_G$)، وحزم $G$-Higgs شبه المستقرة ($\text{Higgs}^{ss}_G$)، واتصالات $G$ ($\text{Conn}_G$) على المنحنيات.
  • موديلات الأنظمة المحلية $G$ ($\text{Loc}_G$) على ثنائيات الأبعاد (2-manifolds).
  • موديلات التمثيلات شبه المستقرة للكوير (quivers) والجبر قبل الإسقاطي (preprojective algebras).
  • موديلات الحزم المتماسكة شبه المستقرة على الأسطح.

في هذه الأمثلة، تُفهرس الحدود بواسطة المجموعات الفرعية لـ Levi ($L \subset G$) ومعاملات وزن محددة، مما يعمم النتائج السابقة التي كانت غالباً مقيدة بـ $GL(n)$ أو تتطلب شروط ترتيب معقدة.

الأهمية والادعاءات
يدعي البحث تقديم بناء منهجي وعام يزيل القيود السابقة على نوع المجموعة المختزلة (مما يسمح بمجموعات غير من النوع $A$) وطبيعة المتراكم (بالانتقال من الفئات الخطية إلى متراكمات DT الجوهرية).

• تبسيط الترتيب: يشير المؤلفون إلى أن نهجهم يعطي وصفاً أبسط بكثير لترتيب الحدود مقارنة بالأعمال السابقة (مثل [64; 68; 71]). يتم تحديد الترتيب بواسطة معيار $q$ لعناصر الشبكة، بينما تطلبت الطرق السابقة غالباً تحسينات استقرار معقدة أو متباينات صعبة.
• نظرية DT الفئوية: تُقدم التفككات كأشباه فئوية لـ التكامل الكوهومولوجي (cohomological integrality). الحدود، المشار إليها باسم فئات quasi-BPS، تهدف إلى تصنيف (categorify) ثوابت BPS. يشير البحث إلى أنه بينما لا تستعيد الثوابت الجمعية (مثل الهومولوجيا الدورية الحلقية) تفكيك التكامل الكوهومولوجي مباشرة، إلا أنه من المتوقع أن يكون هيكل هذه الفئات أساسياً لفهم بنى BPS ونظرية DT الفئوية.
• لاندا-جيومتريك (Geometric Langlands): ترتبط التفككات لمتراكمات مثل $\text{Conn}_G$ و$\text{Loc}_G$ ببرنامج لاندا-جيومتريك. يصيغ المؤلفون نسخة منقحة من حدسية دولبو (Dolbeault) لاندا-جيومتريك وحدسية مماثلة لإعداد دي رام (de Rham) (Conjecture 4.4.9)، مما يشير إلى أن فئات النافذة تقابل فئات ميكرو-محلية محددة لـ D-modules تحت تكافؤ لاندا.
• القيود: يذكر المؤلفون بتواضع أنهم لا يثبتون تكافؤ هذه التفككات الفئوية مع تفكيك BPS الكوهومولوجي عبر الثوابت الجمعية، كما أنهم لا يصفون بشكل كامل هيكل فئات quasi-BPS (على سبيل المثال، ما إذا كانت تمثيلات حلول غير تبادلية/non-commutative resolutions). هذه النقاط تم تحديدها كآفاق للعمل المستقبلي.

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