Arithmetic level raising on triple product of Shimura curves and Gross--Kudla--Schoen Diagonal cycles II: Bipartite Euler system

ملخص تقني: رفع المستوى الحسابي على الضرب الثلاثي لمنحنيات شيمورا ودورات غروس–كودلا–شونن القطرية II: نظام أويلر ثنائي التجزئة

بيان المشكلة
يبحث هذا المقال في الخصائص الحسابية لدورة غروس–كودلا–شونن (Gross–Kudla–Schoen) القطرية على الضرب الثلاثي لمنحنيات شيمورا. الهدف الأساسي هو إرساء بنية "نظام أويلر ثنائي التجزئة" (bipartite Euler system) لهذه الدورات، وتحديداً في سياق الدافع (motive) للمكعب المتماثل لشكل مودولار (modular form). وبناءً على عمل المؤلف السابق [Wang]، الذي تحقق من قانون التبادل الأول، يهدف هذا البحث إلى إثبات قانون التبادل الثاني. الهدف النهائي هو استخدام قوانين التبادل هذه لتقديم دليل على حالة الرتبة الواحدة لتخمين بلوخ–كاتو (Bloch–Kato conjecture) للمكعب المتماثل.

تتضمن المشكلة فهم العلاقة بين صورة الدورة القطرية تحت خريطة أبيل–جابي (Abel–Jacobi map) وتكاملات الفترة المعينة (من نوع غروس–كودلا) عبر علاقات رفع المستوى (level-raising congruences). وبينما لا تشكل دورات غروس–كودلا–شونن على الضرب الثلاثي الكامل نظام أويلر ثنائي التجزئة بالمعنى الصارم الذي حدده هوارد [How] (لأسباب تتعلق بالرتبة، حيث أن مجموعات الكوهمولوجيا المحلية رتبتها 3 وليست 1)، فإن الورقة توضح أن إسقاطها على مكون المكعب المتماثل يستوفي الشروط اللازمة لتشكيل مثل هذا النظام.

المنهجية
تعتمد المنهجية بشكل كبير على التفاعل بين الهندسة الحسابية، وكوهمولوجيا غالو، ونظرية منحنيات شيمورا.

1. رفع المستوى الحسابي: الأداة التقنية الجوهرية هي تطوير نظرية رفع مستوى حسابي غير متفرع للضرب الثلاثي لمنحنيات شيمورا. ويتضمن ذلك دراسة كوهمولوجيا منحنيات شيمورا $X_d$ ونظيراتها المرفوعة المستوى $X_d(p)$ عند أولي $p$ مسموح به لـ $n$. يستخدم المؤلف تسلسل الوزن (weight spectral sequence) وترشيح المونودرومي (monodromy filtration) للدورات المجاورة لتحليل كوهمولوجيا الألياف الخاصة.
2. النماذج شبه المستقرة: للتعامل مع رفع المستوى عند أولي ذي تقليل جيد، تبني الورقة نموذجاً شبه مستقر صارماً للضرب الثلاثي $X_d(p)^3$. يتضمن ذلك نفخ (blowing up) الضرب الثلاثي على طول طبقات محددة لحل التفرّدات، باتباع الإجراء الموضح في أعمال غروس وشونن [GS] وليو [Liu2]. يتم وصف هندسة الليف الخاص عبر مكعب من الطبقات، مما يسمح بحساب صريح لترشيح المونودرومي.
3. قوانين التبادل: تضع الورقة قانونين مختلفين للتبادل:
   • قانون التبادل الأول: يربط الباقي المنفرد لفئة الدورة القطرية عند أولي متفرع $q$ بتكامل فترة من نوع غروس–كودلا. وقد تم إثبات هذا القانون في [Wang] ويتم مراجعته هنا.
   • قانون التبادل الثاني: يربط تموضع فئة الدورة القطرية عند أولي غير متفرع $p$ (تحديداً جزئها المحدود) بتكامل الفترة نفسه (من نوع غروس–كودلا). وهذا هو النتيجة الجديدة الرئيسية للمقال الحالي.
4. بناء نظام أويلر ثنائي التجزئة: من خلال الجمع بين قانوني التبادل، يبني المؤلف نظاماً من فئات الكوهمولوجيا $(\Theta_n(f, d), \Theta^{[pq]}_n(f, d))$ المرتبطة بأزواج من الأعداد الأولية المسموح بها. وتتحقق الورقة من أن هذه الفئات تستوفي شروط التوافق (قوانين التبادل) لتشكيل نظام أويلر ثنائي التجزئة، وإن كان ذلك "بمعنى أضعف" فيما يتعلق برتب مجموعات الكوهمولوجيا المحلية.
5. إسقاط المكعب المتماثل: يتم تخصيص النتائج لحالة يكون فيها الضرب الثلاثي مكوناً من شكل مودولار واحد (أي $f = (f, f, f)$). يقوم المؤلف بإسقاط فئات الدورة القطرية على مكون المكعب المتماثل لتمثيل الضرب التنسوري الثلاثي، ويرمز له بـ $V^\diamond(f)(-1)$.

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

• النظرية 2 (رفع المستوى غير المتفرع): تثبت وجود تماثل بين كوهمولوجيا الضرب الثلاثي لمنحنيات شيمورا عند المستوى $N$ و"الجزء الجديد" من الكوهمولوجيا عند المستوى $Np$ (حيث $p$ هو أولي مسموح به لـ $n$). يربط هذا التماثل الكوهمولوجيا بمجموع مباشر من نواتج تنسور فضاءات الدوال على مجموعات شيمورا.
• النظرية 3 (قانون التبادل الثاني): تثبت أنه بالنسبة لأولي $p$ مسموح به لـ $n$، فإن تموضع فئة الدورة القطرية $\Theta_n(f, d)$ عند $p$ يحقق صيغة ازدواج محددة مع فترات غروس–كودلا. وتحديداً، فإن ازدواج المكون رقم $j$ للفئة المتموضعة مع ناتج تنسور الدوال يساوي مجموع حاصل ضرب هذه الدوال عبر مجموعة شيمورا القطرية $\Delta_d(B)$:
  $$(\text{loc}^{(j)}_p(\Theta_n(f, d)), \phi_1 \otimes \phi_2 \otimes \phi_3) = \sum_{z \in \Delta_d(B)} \phi_1(z) \otimes \phi_2(z) \otimes \phi_3(z)$$
• النظرية 4 (دليل على تخمين بلوخ–كاتو): تطبق نظام أويلر ثنائي التجزئة المبني على المكعب المتماثل للدافع. تثبت الورقة أنه إذا كانت فئة الدورة القطرية المسقطة $\Theta^\diamond(f, d)$ غير صفرية، فإن مجموعة سيلمر (Selmer group) لـ بلوخ–كاتو $H^1_f(\mathbb{Q}, V^\diamond(f)(-1))$ تكون ذات بُعد 1 فوق حقل المعاملات. وهذا يقدم إثباتاً مشروطاً لحالة الرتبة الواحدة من تخمين بلوخ–كاتو للمكعب المتماثل.

الأهمية والادعاءات
تدعي الورقة أنها أكملت التحقق من حدس هوارد [How] بشأن دورات غروس–كودلا–شونن القطرية كمصدر لنظام أويلر ثنائي التجزئة. وبينما لا ينتج عن دافع الضرب الثلاثي الكامل نظام أويلر ثنائي التجزئة بالمعنى الصارم بسبب قيود الرتبة، فإن تقييده بمكون المكعب المتماثل ينجح في إنتاج مثل هذا النظام.

تكمن أهمية العمل في:

1. توسيع طريقة بيرتوليني–دارمون: فهي تكيف الطريقة المتمثلة في بناء أنظمة أويلر عبر رفع المستوى وقوانين التبادل (التي طُورت أصلاً لنقاط هيجنر) في سياق الدورات القطرية على الضرب الثلاثي لمنحنيات شيمورا.
2. الربط بين الهندسة والدوال $L$: تربط قوانين التبادل الجزء الجبري للمشتقة الأولى للدالة $L$ (عبر صورة أبيل–جابي للدورة) بالجزء الجبري للقيمة المركزية الحرجة (عبر فترة غروس–كودلا). وهذا يحاكي صيغة غروس–زاغير وعمل بيرتوليني–دارمون.
3. التقدم في بلوخ–كاتو: توفر النتائج دليلاً ملموساً على حالة الرتبة الواحدة لتخمين بلوخ–كاتو للمكعب المتماثل، وهي مسألة مفتوحة هامة في حساب الأشكال التلقائية.

يشير المؤلف إلى أن المناهج قوية بما يكفي للتعامل مع دافع الضرب الثلاثي الأكثر عمومية واحتمالية التوسع في إطار نظرية إيواساوا، رغم أن هذه التوسعات مؤجلة لأعمال مستقبلية. كما تضع الورقة نتائجها كجانب "رفع المستوى" المقابل لقوانين التبادل $p$-الآدية التي أثبتها دارمون وروتر وغيرهما [DR1, DR2]، وتُقر بالتطورات الموازية من قبل ليو، وتيان، وشياو، وتشانغ، وزو [LTX, LTXZZZ] للدوافع الأخرى.