Ribet Points, geometric divisibility sequence and order of reductions on semiabelian varieties

ملخص تقني: نقاط ريبت، متتاليات القسمة الهندسية، ورتب الاختزال على المتنوعات شبه الأبيلية

بيان المشكلة
تتناول الورقة مسألة مفتوحة منذ فترة طويلة تتعلق بسلوك متتاليات القسمة الهندسية المرتبطة بنقاط كثيفة زاريسكي (Zariski-dense) على مجموعات جبرية تبادلية غير منقسمة ذات بُعد لا يقل عن اثنين. وتحديداً، تستقصي الورقة حدسية سيلفرمان 1.2 (Silverman's Conjecture 1.2)، التي تفترض أنه بالنسبة لمخطط مجموعة $G/\mathbb{Z}$ يكون فيه الألياف العامة $G_{\mathbb{Q}}$ عبارة عن مجموعة جبرية تبادلية غير منقسمة ذات بُعد $\ge 2$ ولا تحتوي على جزء غير متجانس (unipotent part)، ولنقطة $P \in G(\mathbb{Z})$ ذات مدار دوري كثيف زاريسكي، فإن التساوي $D_{nP} = D_P$ (حيث $D_P$ هو مثالي المقام) يتحقق لعدد لا نهائي من الأعداد الصحيحة الموجبة $n$.

تقف هذه الحدسية في توتر منطقي مع مبرهنة سيلفرمان-تشيون-هان (Silverman–Cheon–Hahn Theorem) (المبرهنة 1.1)، التي تثبت أنه بالنسبة للمنحنيات الإهليلجية (البعد 1)، يظهر كل عدد صحيح كبير بما يكفي كأمر اختزال دقيق لبعض الأعداد الأولية. وبينما تكتمل الحالة ذات البعد الواحد، ظل سلوك الأبعاد الأعلى، وخاصة للمتنوعات شبه الأبيلية، مجهولاً. تسعى الورقة لتحديد ما إذا كان نظير مبرهنة سيلفرمان-تشيون-هان ينطبق على المتنوعات شبه الأبيلية ذات الأبعاد الأعلى، أم أن التكرار الدقيق المتوقع في حدسية سيلفرمان هو ما يحدث.

المنهجية
يقوم المؤلف ببناء أمثلة غير مشروطة لمتنوعات شبه أبيلية غير منقسمة هندسياً فوق حقول الأعداد حيث تعود متالية القسمة الهندسية إلى قيمتها الأولية لعدد لا نهائي من المرات. تعتمد المنهجية على الخصائص الحسابية لـ نقاط ريبت (Ribet points) على امتدادات المتنوعات الأبيلية بواسطة المجموعة الضربية $\mathbb{G}_m$.

1. الإعداد الهندسي: تنظر الورقة في متنوع شبه أبیلي $G_q$ معرف بواسطة امتداد $1 \to \mathbb{G}_m \to G_q \to A \to 0$، ممثلاً بنقطة $q \in A^\vee(K)$.
2. مقاطع ريبت (Ribet Sections): باستخدام ثنائي الامتداد (Poincaré biextension) المعياري، يعرّف المؤلف نقطة ريبت $R_\beta(q) \in G_q(K)$ مرتبطة بمتجانس (homomorphism) $\beta: A^\vee \to A$. ويلعب الجزء غير المتماثل $\delta = \beta - \hat{\beta}$ دوراً حاسماً.
3. ترجمة التورشن (Torsion Translation): يعتمد البناء الجوهري على ترجمة نقطة ريبت بواسطة نقطة تورشن (torsion point) ثابتة $t$ في النواة الطورية (toric kernel): $P = R_\beta(q) + \iota(t)$.
4. التضخيم الحسابي: توضح لِمّة تقنية رئيسية (اللِمّة 3.3) أنه إذا كان أمر نقطة ريبت محدوداً تربيعياً بأمر إسقاطها (وهي خاصية مشتقة من اقتران ويل/Weil pairing)، فإن الترجمة بواسطة نقطة تورشن تفرض شرط قسمة محدداً على أمر النقطة $P$ الناتجة.
5. الحجة من المحلي إلى العالمي (Local-to-Global): من خلال الجمع بين تضخيم المجموعات المنتهية وخصائص مثالات المقام على نماذج نيرون (Néron models)، يثبت المؤلف أنه بالنسبة لعدد صحيح محدد $N_{\delta, t}$، فإن رتبة الاختزال $d_v(P)$ تقبل القسمة على $N_{\delta, t}$ لجميع المواضع $v$ باستثناء عدد منتهٍ منها.
6. الهبوط (Descent): للحصول على أمثلة فوق $\mathbb{Q}$، تستخدم الورقة تقنية الهبوط التربيعي (quadratic descent) (المبرهنة 4.3). يتضمن ذلك بناء الامتداد فوق حقل تربيعي $L$ حيث توجد المتجانسات غير المتماثلة اللازمة، ثم إنزال الامتداد والنقطة إلى $\mathbb{Q}$ عبر إقران فعل غالو على المتجانس مع رمز الإشارة لـ torus ذي معيار واحد.

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

• أمثلة غير مشروطة: تقدم الورقة أول أمثلة غير مشروطة لمتنوعات شبه أبيلية غير منقسمة هندسياً فوق حقول الأعداد حيث تعود متالية القسمة الهندسية إلى قيمتها الأولية لعدد لا نهائي من المرات.
• المبرهنة 1.4 (بناء عام): لمتنوع أبیلي موجب البعد $A$، ومتجانس $\beta$ بحيث يكون $\delta = \beta - \hat{\beta}$ هو isogeny، ونقطة تورشن $t$، فإن النقطة $P = R_\beta(q) + \iota(t)$ تمتلك الخاصية التي بموجبها يقسم عدد صحيح محدد $N_{\delta, t}$ رتبة الاختزال $d_v(P)$ لجميع المواضع تقريباً. وبناءً عليه، إذا كان $(n, Q) = 1$ لعدد صحيح خالٍ من المربعات $Q$ يقبل القسمة على جذر $N_{\delta, t}$، فإن مثالي المقام يحقق $\mathfrak{d}_{\mathbb{N}}(nP) = \mathfrak{d}_{\mathbb{N}}(P)$.
• المبرهنة 1.5 (سطح فوق $\mathbb{Q}$): يبني المؤلف صراحةً سطحاً شبه أبیلياً غير منقسم هندسياً $G_{surf}/\mathbb{Q}$ (امتداد لمنحنى إهليلجي $E: y^2 = x^3 - 2$ بواسطة الـ norm-one torus $R^1_{L/\mathbb{Q}}\mathbb{G}_m$ حيث $L=\mathbb{Q}(\sqrt{-3})$) ونقطة $P_{surf} \in G_{surf}(\mathbb{Q})$ ذات مدار دوري كثيف زاريسكي. بالنسبة لهذه النقطة، يكون مقسوم الاختزال النهائي هو $U(P_{surf}) = 2$. وهذا يعني أنه لجميع قيم $n$ غير المرتبطة بـ عدد صحيح ثابت، فإن $D_{nP_{surf}} = D_{P_{surf}}$.
• المبرهنة 4.9 (ثلاثي الأبعاد فوق $\mathbb{Q}$): تم بناء متنوع ثلاثي الأبعاد شبه أبیلي غير منقسم هندسياً فوق $\mathbb{Q}$ باستخدام المنحنى الإهليلجي $E: y^2 + y = x^3 + x^2 - 2x$ (ذو الموصل 389). النقطة الناتجة $P$ تحقق $D_P = 1$ و $U(P) = 2$.
• عمومية البعد: توسع المبرهنة 4.16 هذه النتائج لتشمل كل الأبعاد $d \ge 2$ فوق $\mathbb{Q}$ عبر أخذ جداءات مع split tori، مما يظهر أن الظاهرة ليست مقتصرة على الأبعاد المنخفضة.
• نتائج الكثافة: تثبت الورقة أن مجموعة المؤشرات $n$ التي تحقق $D_{nP} = D_P$ لها كثافة طبيعية دنيا لا تقل عن $1 - 1/N_{\delta, t}$. وعلى العكس من ذلك، فإن مجموعة أوامر الاختزال الدقيقة (indices of primitive divisors) لها كثافة عليا لا تتجاوز $1/N_{\delta, t}$.

الأهمية والادعاءات
توضح الورقة أن نظير مبرهنة سيلفرمان-تشيون-هان يفشل بشكل حاد في فئة المتنوعات شبه الأبيلية، بينما تبني في الوقت نفسه حالات صريحة تتحقق فيها حدسية سيلفرمان 1.2. وتحديداً:

1. الفشل في تحقيق الرتبة الدقيقة: على عكس حالة المنحنيات الإهليلجية، توجد نقاط كثيفة على المتنوعات شبه الأبيلية حيث تكون مجموعة أوامر الاختزال الدقيقة (exact reduction orders) شحيحة (كثافتها $\le 1/N$)، مما يعني أن العديد من الأعداد لا تظهر أبداً كأوامر اختزال دقيقة.
2. التحقق من صحة حدسية سيلفرمان لحالات محددة: النقاط المبنية تحقق شروط حدسية سيلفرمان 1.2، مما يثبت أن ظاهرة "العودة الدقيقة" ($D_{nP} = D_P$) تحدث لعدد لا نهائي من المرات، بل ولطقم من المؤشرات ذات كثافة موجبة. وتشير الورقة إلى أنه بينما تظل الحدسية مفتوحة في عموميتها الكاملة فوق حقول الأعداد، فإن هذه الأمثلة توفر أول تحقق غير مشروط للمتنوعات شبه الأبية غير المنقسمة هندسياً.
3. دور نقاط ريبت: تسلط الورقة الضوء على أن مقاطع ريبت (وتحديداً النسخ المترجمة بالتورشن منها) تعمل كعائق أمام وجود مقسمات أولية لجميع قيم $n$ الكبيرة. وهذا يتناقض مع المتنوعات شبه الأبية المنقسمة (جداءات المتنوعات الأبيلية والـ tori)، حيث تشير مبرهنة بيروکا (Perucca) إلى أن رقم المكون (component number) لإغلاق المدار هو الذي يحدد القاسم العام، وهو 1 بالنسبة للمدارات المتصلة.
4. عدم الانقسام الهندسي: ترتبط هذه الظاهرة جوهرياً بـ الامتدادات غير المنقسمة هندسياً. وتلاحظ الورقة أنه بالنسبة للمنتجات المنقسمة، فإن رقم مكون إغلاق المدار يساوي أكبر عدد صحيح يقسم تقريباً كل رتبة اختزال، مما يمنع بناء مثل هذه المجموعات "المفقودة الرتبة". أما الطبيعة غير المنقسمة للامتداد، وبالاقتران مع الحسابات المحددة لنقطة ريبت، فتسمح بأن يكون مقسوم الاختزال النهائي $U(P)$ أكبر تماماً من 1 (على سبيل المثال $U(P)=2$)، حتى عندما يكون إغلاق المدار متصلاً.

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