Proxy smallness meets $t$-structures

ملخص تقني: التقارب الصغير للوكيل يلتقي مع البنى-t (t-structures)

1. المشكلة والدوافع
يتناول البحث محدودية مفهوم "التقارب الصغير للوكيل" (proxy smallness)، وهو مفهوم قدمه دواير، جرينليس، وإينغيار [DGI06a, DGI06b] كإضعاف لخاصية التراص (compactness) في الفئات ثلاثية التثليث (triangulated categories). وبينما نجح التقارب الصغير للوكيل في توصيف التفردات ذات التقاطع الكامل المحلي (LCI) في السياق المحلي (على سبيل المثال [Pol19])، وتم صقله عبر عمليات الضرب التنسوري لتوصيف مخططات LCI عالميًا ([BILP12])، إلا أنه يفشل في التصرف بشكل جيد عند التعميم العالمي إذا نظرنا إليه من منظور البنى-t. وتحديدًا، فإن النظائر العالمية البديهية للتقارب الصغير للوكيل لا تلتقط الخصائص الهندسية الصحيحة عند الانتقال من السياقات المحلية إلى السياقات العالمية.

يهدف المؤلفون إلى تقديم صقل طبيعي للتقارب الصغير للوكيل يدمج البنى-t وعمليات الضرب التنسوري. الهدف المركزي هو تطوير نظرية "للتقارب الصغير للوكيل بالنسبة للبنية-t" (تحديدًا التقارب الصغير للوكيل بالنسبة لـ t والتقارب الصغير للوكيل بالنسبة لـ t و $\otimes$) لتوفير توصيفات جديدة لمخططات LCI، وتصنيف فئات جزئية محددة (preaisles) داخل الفئة المشتقة المحدودة للمجمعات المتماسكة $D^b_{\text{coh}}(X)$.

2. المنهجية والإطار العملي
تُطور النظرية في سياق فئات الضرب التنسوري ثلاثية التثليث المولدة تراصيًا بصلابة، وبالتركيز تحديدًا على $D_{\text{qc}}(X)$ لمخطط نويثري $X$. تعتمد المنهجية على ثلاث ركائز تقنية أساسية:

• عمليات الضرب التنسوري والـ preaisles: يستخدم المؤلفون تأثير فئة المجمعات المثالية $\text{Perf}(X)$ على $D_{\text{qc}}(X)$ والفئات ذات الصلة (مثل فئة الهوموتوبي للمجانسات $K(\text{Inj}(X))$). كما يعرّفون $\otimes$-preaisles (فئات جزئية مغلقة تحت الإزاحات الموجبة، والامتدادات، والمكونات المباشرة، والضرب التنسوري مع $\text{Perf}_{\leq 0}(X)$).
• الاستعادة (Recollements): أداة حاسمة هي استعادة كراوس (Krause's recollement) التي تربط بين $D_{\text{qc}}(X)$ و $K(\text{Inj}(X))$ وفئة التفرد $D_{\text{sg}}(X)$. يستخدم المؤلفون هذا الإطار لـ "لصق" البنى-t وتحليل كيفية سلوك خصائص مثل التقارب الصغير للوكيل عبر هذه الفئات.
• التوليد شبه المتسق (Pseudocoherent Generation): يوسع البحث النتائج من الحالة الأفينية إلى المخططات النويثرية التعميمية من خلال دراسة الـ aisles المولدة بواسطة مجمعات شبه متسقة. وتؤسس نتيجة تقنية رئيسية (النظرية 3.5) أن $\otimes$-aisles المولدة بواسطة مجمعات شبه متسقة هي مولدة تراصيًا، مما يعمم [ATJLS10].

3. التعريفات والمساهمات الرئيسية

• التقارب الصغير للوكيل بالنسبة لـ t ($t$-Proxy Smallness): يُعرَّف الكائن $P$ بأنه $t$-proxy small إذا كان الـ cocomplete preaisle المولد بواسطة $P$، والذي يُرمز له بـ $\langle P \rangle^{(-\infty, 0]}$، مولدًا تراصيًا وكانت كائناته المتراصة تقع ضمن الـ preaisle المولد بواسطة الكائنات المتراصة لـ $P$. وهذا يقيد عملية "البناء" بالتعليقات الموجبة والامتدادات فقط، على عكس التقارب الصغير للوكيل الكلاسيكي الذي يسمح بعمليات ثلاثية التثليث عشوائية.
• التقارب الصغير للوكيل بالنسبة لـ t و $\otimes$ ($t$-$\otimes$-Proxy Smallness): يوسع هذا المفهوم ليشمل وجود عملية ضرب تنسوري. يكون الكائن $t$-$\otimes$-proxy small إذا كان الـ $\otimes$-preaisle المولد به يحقق شرط التقارب الصغير للوكيل بالنسبة لـ $t$.
• التوصيف الهيكلي (النظرية 4.7): يوصّف المؤلفون الكائنات $t$-proxy small عبر الاستعادات (recollements). يكون الكائن $P$ عبارة عن $t$-proxy small إذا وفقط إذا:
  1. الـ preaisle $\langle P \rangle^{(-\-\infty, 0]}$ مولد تراصيًا.
  2. دالة داخلية (endofunctor) محددة تتضمن الـ derived Hom والضرب التنسوري تحافظ على المجموعات الصغيرة (small coproducts).
  3. البنية-t القياسية لـ dg-endomorphism algebra الخاص بـ $P$ تُلحم (glues) على طول الاستعادة ذات الصلة.
• التمييز عن التقارب الصغير للوكيل الكلاسيكي: يوضح البحث أن التقارب الصغير للوكيل بالنسبة لـ $t$ هو شرط أقوى بصرامة. المثال 4.11 يبني كائنًا في $D^b_{\text{coh}}(R)$ (حيث $R$ حلقة آرتينية محلية محددة) يكون proxy small ولكنه ليس $t$-proxy small. ويعتمد هذا على أمثلة مضادة في نظرية الموديولات للتخمينات إيزنبريد وأوسلاندر الموجودة في [JŞ04] و [GP90].

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

• توصيف مخططات LCI (النظرية 1.2): يقدم البحث توصيفًا جديدًا لمخططات التقاطع الكامل المحلي. لمخطط نويثري $X$، تكون الشروط التالية متكافئة:

  1. $X$ هو تقاطع كامل محلي (LCI).
  2. كل كائن في $D^b_{\text{coh}}(X)$ هو $\otimes$-proxy small.
  3. كل كائن في $D^b_{\text{coh}}(X)$ هو $t$-$\otimes$-proxy small.
     تكمن الجدة في الشرط (3)، الذي يقدم صقلًا بنيويًا-t للتوصيفات الموجودة. يستخدم الإثبات خاصية "من المحلي إلى العالمي" التي تم إثباتها عبر Lemma 6.8، والتي تبين أن العضوية في aisle مولد تراصيًا على $K(\text{Inj}(X))$ هي شرط محلي عند الساق (stalk-local).

• تصنيف الـ preaisles (النظرية 1.1 والنظرية 5.4): يثبت المؤلفون وجود تطبيق حقني $\Theta$ من مجموعة الـ $\otimes$-suspended subcategories في $D^b_{\text{coh}}(X)$ (المولدة بواسطة كائنات $t$-$\otimes$-proxy small) إلى الضرب الديكارتي لـ:

  • $\star$-suspended subcategories في فئة التفرد $D_{\text{sg}}(X)$.
  • ترشيحات ثومسون (Thomason filtrations) على $X$.
    يتم إعطاء التطبيق عبر $A \mapsto (\langle \pi(A) \rangle^{(-\infty, 0]}, \phi_A)$، حيث $\pi$ هو توطين فيردير (Verdier localization) و $\phi_A$ هو ترشيح ثومسون المرتبط بالـ aisle المولد في $D_{\text{qc}}(X)$.

• التصنيفات الصريحة في حالات محددة:

  • تفردات الهيبر {Hypersurface Singularities} (النظرية 1.3): إذا كان $X$ يحتوي فقط على تفردات هيبر {hypersurface}، يصبح $\Theta$ تقابلًا بين $\otimes$-suspended subcategories في $D^b_{\text{coh}}(X)$ وبين أزواج $(W, \phi)$، حيث $W$ هو مجموعة مغلقة تخصصيًا من الموقع المنفرد و $\phi$ هو ترشيح ثومسون يحقق شرط احتواء محدد.
  • أصفار المقاطع (Zero Loci of Sections) (النظرية 1.5): بالنسبة للمخططات $X$ التي تنشأ كأصفار مقاطع حزم شعاعية على مخططات منتظمة (تحقق خصائص الحل/resolution properties)، يتم صقل التصنيف ليشمل الموقع المنفرد لـ hypersurface ذات صلة بـ $Y$. توفر هذه النتيجة تعميمًا غير أفيني لعملية تصنيف تاكاهاشي [Tak25] للفئات المعلقة التي تحتوي على حزمة البنية.

5. الأهمية والادعاءات
يزعم البحث تقديم "صقل طبيعي" للتقارب الصغير للوكيل يكون حساسًا للبنية-t. تكمن أهميته في جانبين:

1. التوصيف الهندسي: يقدم معيارًا بنيويًا-t جديدًا لتحديد مخططات LCI، مما يرقي النتائج السابقة للتعامل مع الحالات غير المنفصلة (non-separated) ويوفر مبدأً أكثر قوة من "المحلي إلى العالمي".
2. نظرية التصنيف: يؤدي إلى تصنيف طوبولوجي لـ $\otimes$-preaisles في $D^b_{\text{coh}}(X)$ لفئات محددة من المخططات (الهيبر {hypersurfaces} وأصفار المقاطع). يربط هذا التصنيف بين هندسة المخطط (عبر ترشيحات ثومسون) وتفرداته (عبر فئة التفرد) وبين بنية فئته المشتقة.

يؤكد المؤلفون أن نهجهم مستقل عن الطرق المستخدمة في عمل تاكاهاشي الأخير [Tak25]، مما يوفر إثباتًا بديلًا وتعميمًا للحالات غير الأفينية. علاوة على ذلك، فإن بناء الأمثلة المضادة (المثال 4.11) يسلط الضوء على الاختلافات الدقيقة بين مفاهيم الصغر الكلاسيكية والصغيرة بالنسبة لـ $t$، مستفيدًا من النتائج العميقة في الجبر التبدلي المتعلقة بسلوك الموديولات فوق حلقات غير LCI.