On generalized Iwasawa main conjectures and $p$-adic Stark conjectures for Artin motives

ملخص تقني: الحدسيات الرئيسية المعممة وحدسيات ستارك الـ $p$-آدية لـ "موتيفات" أرتين (Artin Motives)

1. بيان المشكلة والسياق
تتناول الورقة صياغة حدسيات إيواساوا الرئيسية وحدسيات ستارك الـ $p$-آدية لـ "موتيفات" أرتين (Artin motives)، وتحديداً تلك الناشئة عن تمثيلات أرتين $\rho$ لزمرة غالوا المطلقة $G_{\mathbb{Q}}$. في حين أن نظرية إيواساوا قد تطورت بشكل جيد للموتيفات التي تكون "حرجة" (critical) و"عادية" (ordinary) عند $p$ (على سبيل المثال، عبر أعمال مازور، وويلز، وبيرين-ريو)، فإن موتيفات أرتين عادة ما تكون غير حرجة وغير عادية، وتخضع حساباتها عند $s=0$ لـ "حدسيات ستارك المنقحة" (Stark, Rubin, Gross).

تشمل المقاربات الحالية لهذه الحالات غير الحرجة ما يلي:

• بيرين-ريو وبينوا (Perrin-Riou and Benois): اللذان صاغا حدسيات للدوال $L$ الـ $p$-آدية ومجموعات سيلمر باستخدام خرائط اللوغاريتم الممتدة ومعقدات سيلمر، خاصة في التعامل مع "الأصفار التافهة" (trivial zeros) وثوابت $L$ (L-invariants).
• بويوكبودوك، ساكاموتو، وآخرون (BKS17, BS22): الذين طوروا نظرية إيواساوا ذات "الرتبة الأعلى" بناءً على عناصر روبين-ستارك، متجنبين الدوال $L$ الـ $p$-آدية الصريحة وثوابت $L$ لصالح بناءات جبرية.

المشكلة المركزية هي توحيد هذه المنظورات. يسعى المؤلف إلى بناء إطار عمل يدمج صراحةً الدوال $L$ الـ $p$-آدية وثوابت $L$ (كما في بيرين-ريو/بينوا) مع تعميم النتائج الجبرية المتعلقة بعناصر روبين-ستارك (كما في BKS17/BS22) لموتيفات أرتين العامة، بما في ذلك تلك غير الحرجة وغير العادية.

2. المنهجية وإطار العمل
يقدم المؤلف عائلة من تمثيلات أرتين المستقرة بـ $p$ ($p$-stabilized Artin representations). بالنظر إلى تمثيل أرتين $\rho$ والعدد الأولي $p$، فإن الاستقرار بـ $p$ هو اختيار لفضائية جزئية $W_p^+ \subset W_p$ مستقرة تحت تأثير $G_{\mathbb{Q}_p}$ ذات بُعد $d_+ = \dim H^0(\mathbb{R}, W)$. يُعامل هذا الاختيار كمعلمة (parameter) إضافية، حتى عندما لا يوجد اختيار كانوني للموتيفات غير الحرجة.

الأدوات المنهجية الرئيسية تشمل:

• خرائط كوليمان المعدلة (Modified Coleman Maps): يبني المؤلف خرائط كوليمان ممتدة لربط كوهومولوجيا إيواساوا للوحدات العالمية بمجموعات سيلمر.
• مجموعات سيلمر (Selmer Groups): تركز الدراسة على مجموعة سيلمر من نمط غرينبيرغ $X_\infty(\rho, \rho^+)$، والمعرفة عبر شرط محلي عند $p$ يحدده الاستقرار بـ $p$ (أي $\rho^+$).
• المنظمات (Regulators) وثوابت $L$: يتم تعريف منظمات ستارك الـ $p$-آدية الجديدة وثابت $L(\rho, \rho^+)$، وهي تعمم المنظمات المعروفة (مثل منظم غروس وثابت $L$ الخاص بـ بينوا) وتستعيدها في حالات خاصة (مثل الموتيفات البلورية/crystalline).
• الثنائية والنزول (Duality and Descent): تستخدم البراهين ثنائية بواتو-تيت (Poitou-Tate duality)، وبنية مجموعات الوحدات العالمية في أبراج $\mathbb{Z}_p$ (كوزمين، بيليارد)، وحجج النزول لتعقيدات سيلمر (نيكافار، بينوا).

3. الحدسيات الرئيسية
تصيغ الورقة الحدسية أ (Conjecture A)، والتي تتكون من ثلاثة أجزاء:

1. الوجود ($EX_{\rho, \rho^+}$): يوجد مقياس $p$-آدي $\theta_{\rho, \rho^+}$ في حقل كسر جبر $\Lambda$ يقوم باستكمال الأجزاء الجبرية لقيم $L$ الخاصة بأرتين عند $s=0$، مصححة بمنظمات ستارك المعقدة والـ $p$-آدية.
2. الحدسية الرئيسية ($IMC_{\rho, \rho^+}$): المقياس $\theta_{\rho, \rho^+}$ يولد المثالي المميز لمجموعة سيلمر $X_\infty(\rho, \rho^+)$.
3. حدسية الصفر الإضافي ($EZC_{\rho, \rho^+}$): إذا كان الاستقرار مقبولاً، فإن $\theta_{\rho, \rho^+}$ يتلاشى عند الشخصية التافهة بتعددية محددة ترتبط ببُعد الثوابت المحلية. ويُعبر عن الحد الأسي لهذا التلاشي عبر ثابت $L(\rho, \rho^+)$ وعامل أويلر معدل.

4. النتائج الرئيسية والنظريات
تثبت الورقة عدة نتائج غير مشروطة ومشروطة:

• النظرية أ (بنية مجموعات سيلمر): بافتراض أن $\rho$ غير متفرعة عند $p$، يثبت المؤلف أن $X_\infty(\rho, \rho^+)$ هي $\Lambda$-module تورشن (torsion) إذا وفقط إذا كان الاستقرار بـ $p$ مقبولاً بالنسبة لـ $\eta$ (أي لـ $\eta$ أو لمعظم $\eta$ باستثناء عدد منتهي) لبعض أو كل الشخصيات $\eta$. علاوة على ذلك، يمكن بناء مولد للمثالي المميز صراحةً باستخدام خرائط كوليمان المعدلة وعائلات من "العناصر الخاصة" المرتبطة بقيم $L$ الخاصة بأرتين.
• النظرية ب (حدسية أرقام تاماجاوا): بافتراض وجود استقرار بـ $p$ مقبول مع ثابت $L$ غير منعدم وصحة الحدسية أ، تثبت الورقة الجزء $p$ من حدسية تاماجاوا بلوخ-كاتو لموتيفات أرتين عند $s=0$. وهذا يربط الحد الأسي لدالة $L$ بحجم زمرة تات-شافاريفيه (Tate-Shafarevich) ومجموعات الفئات المثالية.
• النظرية ج (التكافؤ للتمثيلات المونومية): بالنسبة للتمثيلات المونومية (المستحثة من شخصية $\chi$ لحقل عدد $k$)، يثبت المؤلف أن الحدسية أ تكافئ جوهرياً "حدسية إيواساوا الرئيسية ذات الرتبة الأعلى" و"حدسية مازور-روبين-سانو الإيواساوية" المصاغة بدلالة عناصر روبين-ستارك. وتحديداً:
  • وجود دالة $L$ الـ $p$-آدية ($EX$) يتبع من حدسية روبين-ستارك فوق $\mathbb{Z}_p$.
  • الحدسية الرئيسية ($IMC$) تكافئ حدسية إيواساوا ذات الرتبة الأعلى.
  • حدسية الصفر الإضافي ($EZC$) تتبع من حدسية مازور-روبين-سانو.
• النتيجة أ (الحقول التربيعية التخيلية): في حالة كون $k$ حقلاً تربيعياً تخيلياً و$p$ عدداً أولياً غير منقسم (inert)، تستنتج الورقة صيغة بيلينسون $p$-آدية جديدة للشخصيات ذات الرتبة المحدودة. تعبر هذه الصيغة عن مشتق دالة $L$ الـ $p$-آدية بدلالة محدد لوغاريتمات الوحدات الـ $p$-آدية ونظير وحدة غروس-ستارك.
• النظرية د (حدسية غروس-كوزمين): تثبت الورقة حدسية غروس-كوزمين (تناهي المجموعات المرافقة للمجموعة الفئوية ذات الـ $p$-split) بشكل غير مشروط للحقول التبادلية للحقول التربيعية التخيلية. ويتم تحقيق ذلك من خلال إثبات عدم انعدام ثوابت $L$ محددة، باستخدام نظرية الأس الستة القوية لروي (Roy's strong six exponential theorem).

5. الأهمية والادعاءات
تدعي الورقة تقديم نهج موحد لنظرية إيواساوا السيكلوطومية لموتيفات أرتين. وتكمن أهميتها في:

• الربط بين المقاربات: تربط بين النهج التحليلي (بيرين-ريو/بينوا، الذي يتضمن الدوال $L$ الـ $p$-آدية وثوابت $L$) والنهج الجبري (عناصر روبين-ستارك، كما في BKS17/BS22).
• التعميم: تعمم النتائج السابقة لـ $p$-adic $L$-functions الخاصة بـ ديلينج-ريبيرت وكاتز، وكذلك البناءات الحديثة للأشكال النمطية (modular forms) ذات الوزن الواحد وأدلاتها.
• الصيغ الصريحة: توفر صيغ استكمال صريحة وصيغ بيلينسون $p$-آدية في سياقات كانت غير معروفة أو مجرد تخمينية سابقاً (مثل الأعداد الأولية غير المنقسمة في الحقول التربيعية التخيلية).
• النتائج غير المشروطة: تثبت تناهي (torsionness) مجموعات سيلمر وصحة حدسية غروس-كوزمين لفئة واسعة من الحقول دون الاعتماد على فرضيات غير مثبتة بخلاف الحدسيات القياسية (مثل روبين-ستارك) للنتائج المشروطة.

يشير المؤلف إلى أنه بالنسبة للموتيفات غير الحرجة، فإن اختيار الاستقرار بـ $p$ ليس كانونياً، وأن الحدسيات تُصاغ بالنسبة لهذا الاختيار. ويشير العمل إلى أن ظواهر "الصفر الإضافي" في هذا السياق محكومة بثوابت $L$ الجديدة، والتي تستعيد الثوابت المعروفة (مثل منظم غروس) في حالات محددة.