Uniform stratified vanishing and equidistribution on $\mathbb{G}_m^d$

ملخص تقني: التلاشي الطبقي الموحد والتوزيع المتساوي على $\mathbb{G}_m^d$

بيان المشكلة
تتناول الورقة مشكلة وضع حدود موحدة لـ "المواضع السيئة" (bad loci) لمجموعات الخصائص (character sums) المرتبطة بالطبقات المقلوبة (perverse sheaves) على التوروس المنفصلة ذات البعد $d$ ($\mathbb{G}_m^d$) فوق الحقول المنتهية. وتحديداً، تسعى الورقة إلى إثبات نظرية تلاشٍ عام طبقي موحد حيث تعتمد الحدود فقط على البعد $d$ وتعقيد الطبقة (بمعنى Sawin)، بدلاً من الاعتماد على حقل أو خصائص معينة أو $\ell$ محدد.

تصف نظريات التلاشي هذه مواضع الخصائص $\chi$ التي يفشل فيها مورتفيزم نسيان الدعامات (forget-supports morphism) $R\Gamma_c(\mathbb{G}_m^d, M_\chi) \to R\Gamma(\mathbb{G}_m^d, M_\chi)$ في أن يكون تماثلاً (isomorphism). وبينما تم إثبات التلاشي العام سابقاً بواسطة Gabber–Loeser (بشرط حل التفردات/resolution of singularities) ولاحقاً بشكل غير مشروط بواسطة Forey–Fresán–Kowalski (FFK)، إلا أن تلك النتائج لم توفر حدوداً كمية موحدة لعدد خصائص الحقل المنتهي في هذه المواضع السيئة مع نمو حجم الحقل.

يهدف المؤلفون إلى توسيع نظريات التوزيع المتساوي لهذه المجموعات الخصائصية لتشمل أي متتاليات من الحقول المنتهية ذات الحجم المتزايد، مما يسمح بتغير الخاصية (characteristic). وكانت النتائج السابقة بواسطة Katz (للحالة $d=1$) وFFK (للمجموعات التبديلية المتصلة) إما مقيدة بكائنات ثابتة عبر امتدادات متغيرة أو مشروطة بحدود موحدة لتوروس ذات أبعاد أعلى ($d \ge 2$).

المنهجية
تعتمد استراتيجية الإثبات على ثلاثة مكونات رئيسية: تقدير "مـيلين" (Mellin estimate) أحادي الإحداثي موحد، والاستقراء على البعد، والاستنتاج التاناكي (Tannakian deduction) للتوزيع المتساوي.

1. تقدير "مـيلين" أحادي الإحداثي الموحد:
   الابتكار التقني الجوهري هو وضع حد كمي لمجموعة الخصائص "الاستثنائية" لمتغير ضربي واحد. من خلال تفكيك $\mathbb{G}_m^d = \mathbb{G}_m \times \mathbb{G}_m^{d-1}$، يحلل المؤلفون الصور المباشرة النسبية لطبقة مقلوبة (perverse sheaf) ملوّنة (twisted) بخصيصة للعامل الأول.

• يستخدمون مثلث التمركز (localization triangle) لربط فشل مورتفيزم نسيان الدعامات بالركائز (stalks) عند الحدود $0$و$\infty$.
• يتم تحديد هذه الركائز الحدية بكوهومولوجيا الإنترتيا المستمرة (continuous inertia cohomology) لمركبات الدورات القريبة النسبية (relative nearby-cycle complexes).
• باستخدام تلاشي الإنترتيا (inertia cohomology) بالنسبة لـ $\ell$ (الملحق B) وحقنية الماب $\lambda \mapsto \lambda_x(\tau_x)$ (حيث $\tau_x$ هو مولد طوبولوجي للإنترتيا المعتدلة/tame inertia)، يظهر أن الخصائص الاستثنائية تقابل قيم التماثل الذاتي (monodromy eigenvalues) على مركبات الدورات القريبة هذه.
• وبشكل حاسم، يقومون بحد عدد هذه القيم الذاتية بناءً فقط على التعقيد $cu(A)$والبعد$d$، متجنبين استخدام تعديلات دي جونغ (de Jong's alterations) أو حل التفردات، والتي قد تؤدي إلى ثوابت غير موحدة.

2. الاستقراء على البعد:
   يثبت المؤلفون النظريات الرئيسية عن طريق الاستقراء على $d$.

• النظرية 1.1 (عدّ النقاط الموحد): بالنسبة لمركب $K$، فإن حجم دعم مخروط مورتفيزم "مـيلين" $\Delta(K)$ محدود بـ $O(q^{n(d-1)})$. تستخدم خطوة الاستقراء تحويل "مـيلين" النسبي لتقليل المشكلة من البعد $d$ إلى $d-1$. بالنسبة للخصائص غير الاستثنائية، تتقلص المشكلة إلى حالة البعد الأدنى؛ أما بالنسبة للخصائص الاستثنائية، فإن الحد يكون تافهاً ولكنه محكوم بالتعقيد.
• النظرية 1.2 (عدّ النقاط الطبقي ذو التعقيد المحدود): تهذب هذه النظرية النتيجة لتشمل درجات كوهومولوجيا محددة $i$. يستخدم المؤلفون المتسلسلة الطيفية المقلوبة (perverse spectral sequence) لربط قفزات الكوهومولوجيا في الدرجة $i$ على $\mathbb{G}_m^d$ بالقفزات في الدرجتين $i$ و $i-1$ على $\mathbb{G}_m^{d-1}$ لطبقات الكوهومولوجيا المقلوبة للصور المباشرة النسبية. هذا يسمح بالحفاظ على الحد الاستقرائي $O(q^{n(d-i)})$.

3. الاستنتاج التاناكي:
   يتم اشتقاق نتيجة التوزيع المتساوي (النتيجة 1.4) باستخدام الصورية التناكية (Tannakian formalism) الخاصة بـ FFK.

• يثبت المؤلفون أن الموضع غير المتفرع (unramified locus) $X(M_0)$ هو موضع عام (النظرية 1.3) من خلال ربطه بدعم $\Delta(L)$ لكائن محدد $L = M \oplus M^\vee$.
• باستخدام معيار ويل (Weyl criterion)، يظهرون أن فصول فروبينيوس (Frobenius conjugacy classes) تتوزع بالتساوي في المجموعة المدمجة العظمى (maximal compact subgroup) للمجموعة التناكية. تضمن الحدود الموحدة من النظريتين 1.2 و 1.3 أن الخصائص "السيئة" (حيث تكون الكوهومولوجيا غير صفرية في درجات غير صفرية أو حيث يحدث التفرع/ramification) هي ضئيلة العدد مقارنة بإجمالي عدد الخصائص مع توجه حجم الحقل نحو اللانهاية.

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

• النظرية 1.1 (التلاشي العام الطبقي الموحد): تثبت أنه لأي $d \ge 1$، يوجد دالة $\Phi_d^\Delta$ بحيث لأي حقل منتهٍ $k$، وأي أولي $\ell \neq \text{char}(k)$، وأي مركب $K$ ذو تعقيد محدود $C$، فإن عدد الخصائص $\chi \in \widehat{\mathbb{G}_m^d}(k_n)$ حيث لا يكون مورتفيزم نسيان الدعامات تماثلاً، محدود بـ $\Phi_d^\Delta(C) q^{n(d-1)}$.
• النظرية 1.2 (عدّ النقاط الطبقي ذو التعقيد المحدود): تثبت أنه لأي طبقة مقلوبة $A$ ذات تعقيد $C$، فإن عدد الخصائص حيث تكون الكوهومولوجيا $H^i_c$ أو $H^i$ غير صفرية هو محدود بـ $\Psi_d(C) q^{n(d-i)}$. وهذا يوفر الحدود الموحدة لمواضع التلاشي الطبقي.
• النظرية 1.3 (عد النقاط غير المتفرعة): تثبت أن متمم الموضع غير المتفرع لكائن نصف بسيط حسابياً (arithmetically semisimple object) محدود بـ $O(q^{n(d-1)})$، بشكل موحد في الخاصية و $\ell$.
• النتيجة 1.4 (التوزيع المتساوي): تثبت نظرية توزيع متساوي لتسلسلات الطبقات المقلوبة ذات التعقيد المحدود مع مجموعة مونودرومي تناكية مشتركة. مع توجه عدد عناصر الحقول المنتهية إلى اللانهاية، تتوزع فصول فروبينيوس بالتساوي في فضاء فصول التماثل للمجموعة المدمجة العظمى للمجموعة التناكية.

الأهمية
تدعي الورقة أنها تحل الحالة المفتوحة للتوزيع المتساوي الأفقي (horizontal equidistribution) للتوروس ذات البعد $d \ge 2$ التي تركتها FFK. وبينما أثبتت FFK بنية المواضع السيئة بشكل غير مشروط، إلا أن نظرية التوزيع المتساوي الخاصة بها لـ $d \ge 2$ ظلت مشروطة بحدود موحدة لهذه المواضع. توفر هذه الورقة تلك الحدود، مما يجعل نظرية التوزيع المتساوي غير مشروطة لـ $\mathbb{G}_m^d$.

علاوة على ذلك، تعمم النتائج نظرية Katz للتوزيع المتساوي (التي كانت أصلاً لـ $d=1$) لتشمل أي تسلسلات من الحقول المنتهية، بما في ذلك الحالات التي تتغير فيها الخاصية. وتعتمد الثوابت في الحدود فقط على البعد وتعقيد الطبقة (بمعنى Sawin)، مما يضمن الموحدة عبر الخصائص المتغيرة والأساليب المختلفة لـ $\ell$. وقد تحقق هذه الموحدة دون الاعتماد على حل التفردات أو تعديلات دي جونغ، والتي عادة ما تعطي ثوابت تعتمد على الهندسة المحددة للمتنوع (variety) بدلاً من مجرد تعقيدها.

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