Integral Artin motives II: Perverse motives and Artin Vanishing Theorem

ملخص تقني: الموتيفات الآرتينية التكاملية II: الموتيفات المنحرفة ونظرية آرتين للتبدد

بيان المشكلة
يتناول البحث بناء البنية الزمنية (t-structure) الموتيفية المنحرفة (perverse) على فئة الموتيفات الآرتينية الإيتالية، ويرمز لها بـ $\text{DM}^A_{\text{ét}}(S, R)$، حيث $S$ هو مخطط و $R$ هي حلقة المعاملات. وبينما تُعد البنية الزمنية الموتيفية العادية مفهومة جيداً في الفئات الفرعية مثل الموتيفات الآرتينية والموتيفات أحادية الموتيف (عبر أعمال مثل [Org04, Ayo11, Vai19])، فإن وجود بنية زمنية موتیفية "منحرفة" (perverse) يظل مشكلة مفتوحة مركزية في نظرية الموتيفات. الهدف هو تعريف بنية زمنية يكون قلبها عبارة عن فئة أبيلية من "الأغلفة الموتيفية المختلطة" وتكون دوال التحقيق (مثل $\ell$-adic) دقيقة زمنياً (t-exact) بالنسبة لها. ويتمثل المكون الحرج في هذه النظرية في صحة نظرية آرتين للتبدد، والتي تؤكد أن الدالة $f_!$ هي دقيقة زمنياً من جهة اليمين للمورفيزمات الأفينية.

التحدي المحدد يكمن في التمييز بين المعاملات النسبية ($R=\mathbb{Q}$) والمعاملات التكاملية ($R=\mathbb{Z}$). فبينما البنية الزمنية المنحرفة للأغلفة الإيتالية مستقرة تماماً، فإن نظيرتها الموتيفية تعوقها سلوكيات دالة التقطيع الآرتيني $\omega_0$ والإنشاء (constructibility) للكائنات في الأبعاد العليا.

المنهجية
يستخدم المؤلف مزيجاً من الصورية (formalism) لـ $\infty$-category، وتقنيات اللصق (gluing)، والحسابات الصريحة لدالة التقطيع الآرتيني $\omega_0$.

1. تعريف البنية الزمنية الهوموتوبية المنحرفة:
   يقدم البحث "البنية الزمنية الهوموتوبية المنحرفة" ($t_{hp}$) على فئة الموتيفات الآرتينية. هذه البنية مولدة بواسطة موتيفات بوريل-موار (Borel-Moore) $M^{BM}_S(X)[\delta(X)]$ حيث $X$ شبه منتهٍ (quasi-finite) فوق $S$ و $\delta$ هي دالة البعد. الدافع وراء التعريف هو الرغبة في استعادة البنية الزمنية المنحرفة القياسية للأغلفة $\ell$-adic عبر دوال التحقيق.

2. الوصف النقطي:
   أداة تقنية رئيسية هي التوصيف النقطي لـ $t_{hp}$. يكون الكائن $M$ غير سالب بالنسبة لـ $t_{hp}$ إذا وفقط إذا كان محدوداً من الأسفل في البنية الزمنية الهوموتوبية العادية، ولأي نقطة $x \in S$، يحقق التقطيع الآرتيني للسحب الاستثنائي $\omega_0 i^!_x M$ حدود درجات محددة بالنسبة لـ $\delta(x)$.

3. تحليل دالة التقطيع الآرتيني ($\omega_0$):
   يتقصى البحث بدقة الدالة $\omega_0: \text{DM}^{\text{coh}}_{\text{ét}} \to \text{DM}^A_{\text{ét}}$، وهي الملحق الأيمن للاشتمال الخاص بالموتيفات الآرتينية داخل الموتيفات الكوهمولوجية.

• الحالة النسبية: ثبت أن $\omega_0$ تحافظ على الكائنات المنشأة (constructible) عندما $R=\mathbb{Q}$ (امتداداً لنتائج [AZ12, Pep19b]).
• الحالة التكاملية: يوضح البحث أن $\omega_0$ تفشل في الحفاظ على الإنشاء (constructibility) تكاملياً عندما لا يكون المورفيزم شبه منتهٍ. على وجه التحديد، بالنسبة لمورفيزم متراص (proper) $f: X \to \text{Spec}(k)$ حيث $X$ منتظم، قد يحتوي $\omega_0 f_* \mathbf{1}_X$ على مكونات غير منشأة (مثل نسخ من $\mathbb{Q}/\mathbb{Z}$)، مما يعيق وجود بنية زمنية في الموتيفات المنشأة في الأبعاد العليا.

4. اللصق والطبقية (Stratification):
   يعتمد البناء على لصق البنى الزمنية عبر طبقيات المخطط الأساسي $S$. يستخدم المؤلف حقيقة أن الموتيفات الآرتينية المنشأة تصبح ملساء (وبالتالي يمكن تحديدها كأغلفة إيتالية ملساء/lisse) على طبقة معينة.

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

1. الوجود مع المعاملات النسبية:
   لأي مخطط ممتاز $S$، توجد البنية الزمنية الهوموتوبية المنحرفة في $\text{DM}^A_{\text{ét}, c}(S, \mathbb{Q})$. علاوة على ذلك، فإن دالة التحقيق $\ell$-adic دقيقة زمنياً. هذا يؤسس لنظرية قوية للموتيفات الآرتينية المنحرفة فوق $\mathbb{Q}$.

2. نظريات آرتين للتبدد (الحالة النسبية):
   يثبت البحث ثلاثة نماذج لنظرية آرتين للتبدد للموتيفات الآرتينية ذات المعاملات النسبية:

• شبه منتهٍ أفيني: إذا كان $f: X \to S$ مورفيزم أفيني شبه منتهٍ و $X$ منتظم (nil-regular)، فإن $f_!$ دقيقة زمنياً بالنسبة لـ $t_{hp}$ (مبرهنة 2.2.1). وهذا ينطبق إذا كان $\dim(S) \leq 2$ أو إذا كان $S$ من نوع منتهي فوق حقل منتهي.
• المورفيزمات المتراصة: إذا كان $f: X \to S$ متراصاً و $S$ يسمح بالحل عن طريق التغييرات (alterations)، فإن $\omega_0 f_*$ دقيقة زمنياً من جهة اليمين بالنسبة لـ $t_{hp}$ (مبرهنة 2.3.1).
• الاشتمالات المفتوحة: إذا كان $j: U \to S$ اشتمالاً مفتوحاً مع $U$ منتظم (nil-regular)، فإن $\omega_0 j_*$ دقيقة زمنياً بالنسبة ل $\text{t}_{hp}$ (مبرهنة 2.4.2).

3. بنية القلب (الحالة النسبية):
   يُظهر أن قلب البنية الزمنية الهوموتوبية المنحرفة، ويرمز له بـ $\mathcal{M}^A_{\text{perv}}(S, \mathbb{Q})$، هو فئة أبيلية أرطينية (Artinian) ونويذرية (Noetherian). وتُصنف الكائنات البسيطة كإمتدادات وسيطة لأغلفة lisse بسيطة (مقيدة بدالة البعد)، مما يحاكي بنية الأغلفة المنحرفة.

4. المعاملات التكاملية والقيود البعدية:

• البعد $\leq 2$: بالنسبة للمخططات الممتازة التي لا يتجاوز بعدها 2، تُحدث البنية الزمنية الهوموتوبية المنحرفة بنية زمنية على الفئة الفرعية للموتيفات الآرتينية المنشأة $\text{DM}^A_{\text{ét}, c}(S, \mathbb{Z})$. ويكون التحقيق $\ell$-adic دقيقاً زمنياً في هذا السياق (مبرهنة 3.3.6، مبرهنة 3.4.3).
• البعد $\geq 4$: يقدم البحث مثالاً مضاداً يوضح أنه بالنسبة لـ $S = \mathbb{A}^4_k$ (الفضاء الأفيني رباعي الأبعاد)، فإن البنية الزمنية الهوموتوبية المنحرفة لا تُحدث بنية زمنية على الموتيفات المنشأة ذات المعاملات التكاملية. ينشأ العائق لأن كوهمولوجيا التقطيع الآرتيني للموتيف الثابت على حل التغييرات يتضمن وحدات غير منشأة (تحديداً ما يتعلق بـ $H^1$ للمقسم الاستثنائي).
• البعد 3: تظل حالة المخططات ثلاثية الأبعاد مفتوحة.

الأهمية والادعاءات
يزعم البحث حل مسألة وجود البنية الزمنية الموتيفية المنحرفة على الموتيفات الآرتينية في الأبعاد الدنيا ومع المعاملات النسبية، مما يوفر أول بناء غير مشروط لهذه البنية في السياق التكاملي عندما يكون $\dim(S) \leq 2$.

تكمن الأهمية الأساسية في عكس النهج الفلسفي التقليدي: فبدلاً من افتراض وجود البنية الزمنية لإثبات نظريات التبدد، يقوم المؤلف أولاً بإثبات نظريات التبدد (تحديداً لـ $f_!$) كأداة لإثبات وجود البنية الزمنية.

يسلط العمل الضوء على اختلاف جوهري بين المعاملات النسبية والتكاملية في السياق الموتيفي. فبينما تسمح المعاملات النسبية بنظرية "نظيفة" حيث تحافظ $\omega_0$ على الإنشاء، فإن المعاملات التكاملية تُدخل سلوكيات مرضية (التوسل غير المنشأ) تمنع وجود البنية الزمنية في الأبعاد 4 وما فوق. ويخلص البحث إلى أن البنية الزمنية الهوموتوبية المنحرفة هي "أفضل تقريب ممكن" لبنية زمنية منحرفة، حيث تتطابق مع البنية الزمنية الموتيفية الحقيقية كلما كانت الأخيرة معرفة (أي عندما تكون دوال التحقيق دقيقة زمنياً).

تُقدم النتائج كأدوات مثالية: حيث تم إثبات الوجود في البعد 2، وتم إثبات عدم الوجود في البعد 4، مما يترك الحالة ثلاثية الأبعاد كأفق متبقٍ.