Classification and nonexistence for $t$-structures on derived categories of schemes

ملخص تقني: التصنيف وعدم الوجود للبنى t (t-structures) على الفئات المشتقة للمخططات

بيان المشكلة
تتناول الورقة تصنيف البنى t التنسورية (tensor t-structures) على الفئات المشتقة للمجموعات المتماسكة ($D^b_{\text{coh}}(X)$) والمجمعات المثالية ($\text{Perf}(X)$) فوق المخططات النويثرية (Noetherian schemes)، لا سيالما تلك ذات الدعم المحدد في مجموعة مغلقة $Z$. وبينما يُعد تصنيف البنى t التنسورية المولدة كمتراصة (compactly generated) على الفئة المشتقة غير المحدودة للمجموعات شبه المتماسكة ($D_{\text{qc}}(X)$) أمراً مفهوماً جيداً عبر ترشيحات ثومسون (Thomason filtrations) (كما تم إثباته في أعمال مثل [ATJLS10], [DS23], [Lan25])، فإن مسألة تحديد متى تتقيد هذه البنى إلى الفئات الجزئية من المجمعات المتماسكة أو المثالية تظل مسألة دقيقة.

إن الدافع المركزي هو حدسية "أنتي-غيبنر-هيلر" (Antieau–Gepner–Heller conjecture)، التي تفترض أن $\text{Perf}(X)$ تقبل بنية t محدودة إذا وفقط إذا كان $X$ منتظماً (regular). وقد تم حل هذه الحدسية مؤخراً من قبل "نيمن" [Nee24] في الحالة العامة، و"سميث" [Smi22] في الحالة الأفينية. تسعى هذه الورقة إلى توسيع هذه النتائج لتشمل أي مجموعات مغلقة $Z$، وتوفير توصيف طوبولوجي لمتى تتقيد البنى t الموجودة على $D_{\text{qc}}(X)$ بـ $D^b_{\text{coh}, Z}(X)$ و $\text{Perf}_Z(X)$.

المنهجية
يستخدم المؤلفون استراتيجية "من المحلي إلى العالمي" (local-to-global)، مستفيدين من حقيقة أن العديد من خصائص البنى t على المخططات يمكن اكتشافها محلياً على المخططات الأفينية المفتوحة أو عند الجذور (stalks). تشمل الأدوات التقنية الأساسية ما يلي:

1. ترشيحات ثومسون (Thomason Filtrations): يعتمد التصنيف على التناظر الحيوي بين البنى t التنسورية المولدة كمتراصة على $D_{\text{qc}}(X)$ وترشيحات ثومسون (متتاليات من المجموعات المغلقة تحت التخصص).
2. شرط كوزين الضعيف النسبي (Relative Weak Cousin Condition): يقدم المؤلفون ويستخدمون شرط "كوزين الضعيف النسبي" لترشيحات ثومسون عبر مجموعة مغلقة $Z$. هذا يعمم شرط كوزين الضعيف الكلاسيكي من [ATJLS10] إلى السياق النسبي.
3. التقييد والتوطين (Restriction and Localization): تثبت الورقة أن تقييد بنية t إلى مجموعة مغلقة $Z$ (أو مخطط مفتوح جزئي) يتوافق مع تقييد ترشيح ثومسون المرتبط بها. توضح اللمات (Lemmas) 3.5، 3.6، و3.17 أن مؤثرات القطع (truncation functors) تتبادل مع التقييد إلى الأجزاء الأفينية المفتوحة والجذور المحلية، مما يسمح باختزال الأسئلة العالمية إلى شروط جبرية محلية.
4. نظرية الدعم والانتظام (Support Theory and Regularity): تعتمد نتائج عدم الوجود على تحليل سلوك مجمعات كوسزول (Koszul complexes) والتماثل المحلي (local cohomology). وتحديداً، يستخدم المؤلفون أبعاد الدعم وخصائص الحلقات المحلية (المنتظمة مقابل غير المنتظمة) لاستنباط تناقضات عندما يُفترض أن البنى t تتقيد بالمجمعات المثالية في الإعدادات غير المنتظمة.

المساهمات والنتائج الرئيسية

• التصنيف على المجموعات المتماسكة ذات الدعم (Theorem 1.2 & Proposition 1.1):
  لأي مخطط CM-excellent شبه متراص (quasi-compact) ذي بُعد كريل (Krull dimension) منتهٍ ومجموعة مغلقة $Z$، تثبت الورقة وجود تناظر واحد لواحد بين:
  • البنى t التنسورية (أو $\otimes$-aisles) على $D^b_{\text{coh}, Z}(X)$.
  • ترشيحات ثومسون على $X$ التي هي "كوزين ضعيفة عبر $Z$".

يكون الترشيح $\phi$ "كوزين ضعيف عبر $Z$" إذا كان، لأي تعميم مباشر $p \leadsto q$ في $Z$، فإن $q \in \phi(n)$ تستلزم $p \in \phi(n-1)$. تعمم هذه النتيجة نتائج التصنيف الأفيني [ATJLS10, Tak23] إلى السياق العالمي وتوفر معياراً طوبولوجياً لوجود مثل هذه القيود.

• عدم الوجود وكشف الانتظام (Theorem 1.3):
  تثبت الورقة أن المجموعة المغلقة غير الفارغة $Z$ من مخطط نويثري $X$ تقع ضمن المجال المنتظم (regular locus) لـ $X$ إذا وفقط إذا وجد ترشيح ثومسون غير ثابت على $X$ ترتبط به بنية t تتقيد بـ $\text{Perf}_Z(X)$.

  • إذا كانت $Z$ تحتوي على نقطة منفردة (singular point)، فلا يمكن لأي بنية t غير ثابتة أن تتقيد بـ $\text{Perf}_Z(X)$.
  • هذا يستعيد نظرية نيمن [Nee24] في الحالة الأفينية ($Z=X$) ويوسع نتيجة سميث [Smi22] إلى أبعاد كريل التعسفية.
  • يستخدم البرهان تقنيات الجبر المحلي (تحديداً خصائص التماثل المحلي ومجمعات كوسزول) بدلاً من طرق الفئات المثلثية القابلة للتقريب (approximable triangulated categories) المستخدمة من قبل نيمن.

• التصنيف على المجمعات المثالية ذات الدعم (Corollary 1.4):
  بالجمع بين النتائج أعلاه، يصنف المؤلفون البنى t التي تتقيد بـ $\text{Perf}_Z(X)$. ينتج عن ترشيح ثومسون $\phi$ بنية t تتقيد بـ $\text{Perf}_Z(X)$ إذا وفقط إذا كان، لكل مكون متصل $Z_t$ من $Z$:

  • إذا كانت $Z_t$ تقع في المجال المنتظم، فإن $\phi \cap Z_t$ يحقق شرط كوزين الضعيف.
  • إذا كانت $Z_t$ ليست في المجال المنتظم، فيجب أن يكون $\phi \cap Z_t$ ثابتاً.

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

علاوة على ذلك، تقدم نتائج عدم الوجود منظوراً جديداً للعلاقة بين الجبر الهومولوجي والانتظام الهندسي. يشير المؤلفون إلى أن مناهجهم توفر برهاناً بديلاً للحالة الأفينية من حدسية "أنتي-غيبنر-هيلر" وتوسعها إلى أبعاد كريل اللانهائية، مطبقة ذلك على أمثلة محددة من النطاقات الصحيحة النويثرية غير المنتظمة التي بناها "هوخستر" [Hoc73]. كما أن للنتائج تداعيات على تصنيف البنى t الناشئة عن دوال التدرج (perversity functions)، مما يقدم خاتمة فعالة لمسألة التصنيف هذه على $D^b_{\text{coh}}(X)$.