Geometric Shafarevich boundedness conjecture for families of polarized varieties

ملخص تقني: حدّية شافاريفيتش الهندسية لعائلات المتنوعات المستقطبة

بيان المشكلة
تتناول هذه الورقة التعميم عالي الأبعاد لفرضية شافاريفيتش الهندسية فوق حقل الأعداد المركبة. بينما تؤكد الفرضية الكلاسيكية للمنحنيات (التي أثبتها بارسين وأراكيلوف) ندرة عائلات المنحنيات الجذيرة (smooth projective curves) ذات النوع $g > 1$ فوق قاعدة شبه إيجابية (quasi-projective base)، فإن هذه الخاصية تفشل بالنسبة للمتنوعات ذات الأبعاد الأعلى بسبب وجود عائلات سلسة غير صلبة (non-rigid). وقد أظهرت الأعمال السابقة لـ فالتينغز، وليو-تودوروف-ياو-زو، وآخرين، أن العائلات السلسة من المتنوعات الآبلية المستقطبة قطعيًا ومنوعات كالابي-ياو المستقطبة يمكن أن تسمح بتشوهات غير تافهة فوق القاعدة.

وبناءً على ذلك، فإن العلاقة التكافؤية المناسبة للعائلات ذات الأبعاد الأعلى ليست مجرد التماثل (isomorphism) فوق القاعدة، بل هي "تكافؤ التشوه" (deformation equivalence). وتتمثل المشكلة المركزية في إثبات الحدّية (boundedness) لهذه العائلات: وتحديداً، ما إذا كانت مجموعة فئات تكافؤ التشوه لعائلات النماذج الدنيا المستقرة (stable minimal models) فوق قاعدة ثابتة هي مجموعة منتهية، أو ما يعادل كون "مكدس الهوم" (Hom-stack) المرتبط بها من نوع منتهي (finite type). هذا الاستقصاء مرتبط جوهريًا ببناء فضاءات المودولي (moduli spaces) القابلة للرص (compactifiable)، وتحديدًا مكدس المودولي للنماذج الدنيا المستقرة الذي قدمه بيركار، والذي يعمم مودولي أزواج KSB ومنحنيات دليم-نموذج-دالمونت المستقرة.

المنهجية
تعتمد استراتيجية الإثبات على إرساء متراجحة من نوع أراكيلوف (Arakelov-type inequality) موحدة لدرجة المورفيزم التصنيفي لعائلة ما بالنسبة لربط خطي $\mathbb{Q}$ أمثل (ample) على مكدس المودولي الخشن. وتتقدم المنهجية عبر الخطوات التقنية التالية:

1. المودولي والاستقطاب: تستخدم الورقة مكدس دليم-نموذج-دالمونت (Deligne-Mumford stack) المنتهي $\mathcal{M}_{slc}(d, \Phi_c, \Gamma, \sigma)$ الذي يحدّد النماذج الدنيا المستقرة. وتتمثل الأداة التقنية الرئيسية في بناء ربط خطي $\mathbb{Q}$ أمثل $\lambda_{a,r}$ على مودولي الخشن، مشتق من محدد شعاع الصورة المباشرة $f_*(r(K_{X/S} + B + aA))$.
2. شرط القابلية (Admissibility Condition): الابتكار المحوري هو تقديم العائلات المقبولة بيراخيًا (birationally admissible). يتطلب هذا الشرط أن تقبل العائلة نموذجًا بيراخيًا لوغاريتميًا بسيطًا (SNC strict log birational model). وهذا يستبعد العائلات حيث تنهار العناصر أو الاستقطابات بطريقة تمنع تطبيق الحدود الهودجية (كما هو موضح في الأمثلة المضادة التي تتضمن تدهور العناصر أو الاستقطاب).
3. البناء الهودجي: يتمثل جوهر الإثبات في بناء شعاع هيغز لوغاريتمي (logarithmic Higgs sheaf) مرتبط بعائلة مقبولة. وخلافًا للمقاربات السابقة (مثل كوفاكس-تاجي) التي استخدمت عمليات الغمر في تنوعات بنية هودج عبر حاصل ضرب فيبري $\mu$-مرتب (high-order fiber products)، تستخدم هذه الورقة بناء المجموع المتناوب (alternating sum construction). يتضمن هذا غمر محدد الصورة المباشرة للربط الكانوني النسبي في تنوع من بنية هودج مختلطة (VMHS) ذات أصل هندسي.
4. اشتقاق متراجحة أراكيلوف: من خلال الاستفادة من إيجابية حزمة الكوتانجنت اللوغاريتمية (كامبانا-بون) ومن شبه الاستقرار البارامتري (parabolic semistability) للامتداد ديلين (Deligne extension) لـ VMHS (سيمبسون)، يستنتج المؤلفون حداً علويًا موحدًا لدرجة المورفيزم التصنيفي. هذا الحد يعتمد على الثوابت العددية لمشكلة المودولي وهندسة القاعدة.

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

• النظرية 1.1 (حدّية التشوه): بالنسبة لمتنوع جبري $S$ مع موقع منفرد مدمج، وللمكدس الجزئي المحلي المغلق $\mathcal{S} \subset \mathcal{M}_{slc}(d, \Phi_c, \Gamma, \sigma)$ المقبول بيراخيًا بشكل صارم، فإن مجموعة فئات تكافؤ التشوه للعائلات المقبولة $\mathcal{S}$-فوق $S$ هي مجموعة منتهية.
• النظرية 1.2 (حدّية مكدسات الهوم): مكدس الهوم النسبي $\text{Hom}((S, Z), (\mathcal{S}, \partial\mathcal{S}))$ هو من نوع منتهي، حيث $Z$ هي حدود القاعدة و $\partial\mathcal{S}$ هي حدود مكدس المودولي.
• النظرية 1.3 (متراجحة أراكيلوف للعائلات المستقرة): تثبت الورقة متراجحة كمية دقيقة لدرجة المورفيزم التصنيفي $\xi: S \to \mathcal{M}_{slc}$. وتحديدًا، بالنسبة لعائلة مقبولة بيراخيًا، تتحقق المتراجحة:
  $$c_1(\xi^*\lambda_{a,r}) \cdot \alpha \leq \frac{1}{k(kl^r d + 1)} \sum_{p=1}^{kl^r d} p^{n p-1} (K_S + D) \cdot \alpha + \frac{2}{k} D \cdot \alpha$$
  لكلاسات المنحنيات المتحركة $\alpha$، حيث $l = \text{rank}(\Lambda_{a,r})$. وفي حالة كون $K_S + D$ أمثلًا، يتم الحصول على حد أكثر دقة.
• تحسين الحدود السابقة: تشير الورقة إلى أن بناء المجموع المتناوب المستخدم هنا يؤدي إلى متراجحة أراكيلوف أكثر دقة كميًا مقارنة بعمليات الغمر السابقة، حيث أن رتبة حاصل الضرب فيبري المطلوبة أقل بكثير ($lr \ll \mu$).

الأهمية
تدعي الورقة أنها أثبتت فرضية شافاريفيتش الهندسية لـ مكدس المودولي للنماذج الدنيا المستقرة، وهو كائن أساسي في التصنيف البيراخي للمتنوعات. ومن خلال إثبات أن العائلات المقبولة بيراخيًا صارمًا تشكل مودولي محدودًا، فإن هذا العمل يعمم النتائج الكلاسيكية للمنحنيات (مستعيدًا فرضية شافاريفيتش لـ $M_g$) ويمد نتائج الحدّية للمتنوعات الكانونية المستقطبة (بدوليف-فيوهيج، كوفاكس-ليليتش) وعائلات كالابي-ياو إلى السياق الأوسع للنماذج الدنيا المستقرة.

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