2025-11-16T01:40:18.695621

Non-commutative Iwasawa theory of abelian varieties over global function fields

Deng, Kezuka, Li et al.

Let $A$ be an abelian variety defined over a global function field $F$, and let $p$ be a prime distinct from the characteristic of $F$. Let $F_\infty$ be a $p$-adic Lie extension of $F$ that contains the cyclotomic $\mathbb{Z}_p$-extension $F^{\mathrm{cyc}}$ of $F$. In this paper, we investigate the structure of the $p$-primary Selmer group $\mathrm{Sel}(A/F_\infty)$ of $A$ over $F_\infty$. We prove the $\mathfrak{M}_H(G)$-conjecture for $A/F_\infty$. Furthermore, we show that both the $Î¼$-invariant of the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F^\mathrm{cyc})$ and the generalised $Î¼$-invariant of the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F_\infty)$ are zero, therby proving Mazur's conjecture for $A/F$. We then relate the order of vanishing of the characteristic elements, evaluated at Artin representations, to the corank of the Selmer group of the corresponding twist of $A$ over the base field $F$. Assuming the finiteness of the Tate-Shafarevich group, we establish that this corank equals the order of vanishing of the $L$-function of $A/F$ at $s=1$. Finally, we extend a theorem of Sechi - originally proved for elliptic curves without complex multiplication - to abelian varieties over global function fields. This is achieved by adapting the notion of generalised Euler characteristic, introduced by Zerbes for elliptic curves over number fields. This new invariant allows us, via Akashi series, to relate the generalised Euler characteristic of $\mathrm{Sel}(A/F_\infty)$ to the Euler characteristic of $\mathrm{Sel}(A/F^{\mathrm{cyc}})$.

academic

نظرية إيواساوا غير التبديلية للأصناف الأبيلية على حقول الدوال العامة

المعلومات الأساسية

معرّف الورقة: 2405.20963
العنوان: Non-commutative Iwasawa theory of abelian varieties over global function fields
المؤلفون: Li-Tong Deng, Yukako Kezuka, Yong-Xiong Li, Meng Fai Lim
التصنيف: math.NT (نظرية الأعداد)
تاريخ النشر: مايو 2024 (arXiv v2: 16 أكتوبر 2025)
رابط الورقة: https://arxiv.org/abs/2405.20963

الملخص

تدرس هذه الورقة نظرية إيواساوا غير التبديلية للأصناف الأبيلية $A$ المعرّفة على حقول دوال عامة $F$ ، حيث $p$ عدد أولي مختلف عن خاصية $F$ . يدرس المؤلفون بنية مجموعة سيلمر $p$ -الأساسية $\mathrm{Sel}(A/F_\infty)$ على امتدادات $p$ -adic Lie التي تحتوي على الامتداد الحلقي $\mathbb{Z}_p$ الحلقي $F^{\mathrm{cyc}}$ . يثبتون حدسية $\mathfrak{M}_H(G)$ ويؤسسون علاقة بين رتبة أصفار العناصر المميزة ورتبة مجموعة سيلمر.

السياق البحثي والدافع

خلفية المشكلة

تطور نظرية إيواساوا غير التبديلية: تمثل نظرية إيواساوا غير التبديلية إطاراً قوياً لفهم الخصائص الحسابية العميقة لامتدادات $p$ -adic Lie على حقول الأعداد وعلاقتها بالقيم الخاصة لدوال $L$ المعقدة.
التناظر بين حقول الأعداد وحقول الدوال: نظراً للتناظر الشهير بين حقول الأعداد والحقول الدالية العامة، يجب أن تظهر ظواهر نظرية إيواساوا في إطار حقول الدوال.
القيود الموجودة:
- في حالة حقول الأعداد، قد تمتلك مجموعات سيلمر ثنائية بونترياجين $\mu$ -ثوابت موجبة
- بالنسبة لحقول الدوال، خاصة عندما $\mathrm{char}(F) \neq p$ ، لم تكتمل النظرية ذات الصلة

الدافع البحثي

حل الحدسيات المهمة بشكل كامل: حل حدسية مازور وحدسية $\mathfrak{M}_H(G)$ بشكل كامل في إطار حقول الدوال العامة
تأسيس إطار نظري جديد: تعميم مفهوم الخاصية أويلر المعممة لزيربس على الأصناف الأبيلية على حقول الدوال
توفير طرق متماسكة نقية: تطوير طرق إثبات متماسكة نقية مختلفة عن الأعمال السابقة

المساهمات الأساسية

إثبات كامل لحدسية $\mathfrak{M}_H(G)$ وحدسية مازور: للأصناف الأبيلية على حقول دوال عامة بخاصية مختلفة عن $p$
$\mu$ -ثابت يساوي صفراً: إثبات أن $\mu$ -ثابت $X(A/F^{\mathrm{cyc}})$ و $\mu$ -ثابت المعمم $X(A/F_\infty)$ كلاهما يساوي صفراً
صيغة رتبة أصفار العنصر المميز: تأسيس العلاقة بين رتبة أصفار العنصر المميز عند التمثيلات الفنية ورتبة مجموعة سيلمر
نظرية الخاصية أويلر المعممة: تعميم نظرية سيكي على الأصناف الأبيلية على حقول الدوال، وتأسيس العلاقة بين الخصائص أويلر المعممة لـ $\mathrm{Sel}(A/F_\infty)$ و $\mathrm{Sel}(A/F^{\mathrm{cyc}})$

شرح الطرق

تعريف المهمة

دراسة الخصائص البنيوية لمجموعة سيلمر $p$ -الأساسية للصنف الأبيلي $A$ على حقل دالة عام $F$ (حيث $\mathrm{char}(F) \neq p$ ) تحت امتدادات $p$ -adic Lie المقبولة $F_\infty/F$ .

الإطار التقني الأساسي

1. تعريف مجموعات سيلمر

بالنسبة لأي امتداد $K \subset \bar{F}$ ، تُعرّف مجموعة سيلمر $p$ -الأساسية كما يلي: $\mathrm{Sel}(A/K) = \ker\left(H^1(K, A_{p^\infty}) \to \prod_w H^1(K_w, A)\right)$

2. اللمة الأساسية: البعد المتماسك

اللمة 3.2: $\mathrm{cd}_p(G_S(F^{\mathrm{cyc}})) = 1$

هذه هي أساس الإثبات بالكامل، وتستخدم شرط أن $S$ غير فارغة و $\mathrm{char}(F) \neq p$ .

3. الابتكارات التقنية الرئيسية

الطريقة المتماسكة النقية:

الملاحظة الأساسية: البعد المتماسك لـ $\mathrm{Gal}(\bar{F}/F^{\mathrm{cyc}})$ يساوي 1
استخدام تنحل متسلسلة Hochschild-Serre الطيفية
الحساب المباشر لسلاسل Akashi لمجموعات المتماسك العامة والمحلية

الحقن الموضعي: تأسيس حقنية خريطة التوضيع $\lambda_S(A/F_\infty)$ من خلال متسلسلة Jannsen الطيفية ونظرية ثنائية Nekovář.

معمارية النموذج

1. نظرية جبر إيواساوا

بالنسبة لمجموعة $p$ -adic Lie المضغوطة $G$ ، يُعرّف جبر إيواساوا كما يلي: $\Lambda(G) = \lim_{\leftarrow} \mathbb{Z}_p[G/U]$

2. فئة $\mathfrak{M}_H(G)$

تحتوي $\mathfrak{M}_H(G)$ على جميع $\Lambda(G)$ -وحدات منتهية التوليد $M$ بحيث يكون الحاصل $M/M_{(p)}$ وحدة $\Lambda(H)$ منتهية التوليد.

3. حساب سلسلة Akashi

بالنسبة لـ $M \in \mathfrak{M}_H(G)$ ، تُعرّف سلسلة Akashi كما يلي: $\mathrm{Ak}(M) = \prod_{i \geq 0} f_{M,i}^{(-1)^i}$ حيث $f_{M,i}$ هي سلسلة القوة المميزة لـ $H^i(H,M)$ .

إعداد التجارب

إطار التحقق النظري

نظراً لأن هذه ورقة رياضيات نظرية بحتة، تتجلى "التجارب" بشكل أساسي في:

التحقق من النظريات: التحقق من النظريات الرئيسية من خلال الإثبات الرياضي الصارم
فحص الحالات الخاصة: التحقق من توافق النتائج مع الحالات المعروفة للمنحنيات الإهليلجية
حل الحدسيات الكامل: توفير إثبات كامل لحدسية مازور وحدسية $\mathfrak{M}_H(G)$

الشروط التقنية

الشرط (G): $H^i(G, A_{p^\infty}(F_\infty))$ منتهية لجميع $i \geq 1$
الشرط (H): $H^i(H, A_{p^\infty}(F_\infty))$ منتهية لجميع $i \geq 0$

النتائج الرئيسية

النظرية 1.3 (النتيجة الرئيسية)

لتكن $A$ صنفاً أبيلياً على حقل دالة عام $F$ بخاصية أولية مع $p$ ، و $F_\infty/F$ امتداد $p$ -adic Lie مقبول. إذاً:

حدسية $\mathfrak{M}_H(G)$ صحيحة لـ $X(A/F_\infty)$
$\mu$ -ثابت $X(A/F^{\mathrm{cyc}})$ يساوي صفراً
$\mu$ -ثابت المعمم $X(A/F_\infty)$ يساوي صفراً
على وجه الخصوص، حدسية مازور صحيحة لـ $A/F$

النظرية 1.4 (صيغة رتبة الأصفار)

تحت الشرط (G): $\mathrm{ord}_{T=0}(\Phi_{\mathrm{reg}_F}(\xi_A)) \geq \mathrm{corank}_{\mathbb{Z}_p}(\mathrm{Sel}(A/F))$ وتحت حدسية Greenberg شبه البسيطة يكون المساواة صحيحة. إذا كانت مجموعة Tate-Shafarevich منتهية، إذاً: $\mathrm{ord}_{T=0}(\Phi_{\mathrm{reg}_F}(\xi_A)) = \mathrm{ord}_{s=1} L(A/F, s)$

النظرية 1.5 (الخاصية أويلر المعممة)

تحت الشرط (H)، تمتلك $\mathrm{Sel}(A/F_\infty)$ خاصية أويلر معممة $G$ منتهية إذا وفقط إذا امتلكت $\mathrm{Sel}(A/F^{\mathrm{cyc}})$ خاصية أويلر معممة $\Gamma$ منتهية، و: $\chi(G, \mathrm{Sel}(A/F_\infty)) = \chi(\Gamma, \mathrm{Sel}(A/F^{\mathrm{cyc}})) \prod_{v \in S'} \frac{\#A^*_{p^\infty}(F_v)}{\#H^1(\Gamma_w, A_{p^\infty}(F^{\mathrm{cyc}}_w))}$

نقاط الابتكار التقني

1. الطريقة المتماسكة النقية

الابتكار: مبني بالكامل على ملاحظة أن البعد المتماسك يساوي 1، مما يتجنب الحجج المعقدة للمتسلسلة الثعبانية
الميزة: إثبات مباشر أن مجموعات المتماسك العامة والمحلية هي $\Lambda(H)$ -منتهية التوليد بشكل متبادل

2. الحساب المباشر لسلسلة Akashi

الطريقة: استخدام الخصائص الخاصة لحقول الدوال، حساب مباشر لسلسلة Akashi
المقارنة: حالة حقول الأعداد تتطلب طرقاً غير مباشرة معقدة

3. إثبات أن $\mu$ -ثابت المعمم يساوي صفراً

النتيجة: في حالة $\mathrm{char}(F) \neq p$ ، $\mu$ -ثابت المعمم يساوي دائماً صفراً
الأهمية: يشكل تناقضاً حاداً مع حالة حقول الأعداد

الأعمال ذات الصلة

التطور التاريخي

مازور (1972): طرح الحدسية الأساسية حول مجموعات سيلمر للمنحنيات الإهليلجية
كويتس وآخرون (2005): تطوير نظرية إيواساوا غير التبديلية على حقول الأعداد
سيكي (2006): نتائج حقول الدوال للمنحنيات الإهليلجية بدون الضرب المعقد
زيربس (2009): إدخال مفهوم الخاصية أويلر المعممة

موضع مساهمة هذه الورقة

الاكتمال: حل كامل للحدسيات الرئيسية في حالة حقول الدوال
العمومية: تعميم من المنحنيات الإهليلجية إلى الأصناف الأبيلية العامة
المنهجية: توفير طريقة إثبات متماسكة نقية جديدة تماماً

الخلاصة والنقاش

الاستنتاجات الرئيسية

اكتمال النظرية: تأسيس كامل لإطار نظرية إيواساوا غير التبديلية في إطار حقول الدوال
النتائج البنيوية: ظاهرة أن $\mu$ -ثابت يساوي صفراً دائماً تكشف عن الخصوصية الفريدة لحقول الدوال
القيمة التطبيقية: توفير أدوات لدراسة حدسية Birch-Swinnerton-Dyer على حقول الدوال

القيود

قيود الخاصية: يتطلب $\mathrm{char}(F) \neq p$ ، والحالة عندما $\mathrm{char}(F) = p$ أكثر تعقيداً
الشروط التقنية: بعض النتائج تتطلب افتراضات منتهية إضافية
التعقيد الحسابي: حساب الخاصية أويلر المعممة بشكل فعلي لا يزال صعباً

الاتجاهات المستقبلية

حالة الخاصية $p$ : دراسة النظرية المقابلة عندما $\mathrm{char}(F) = p$
الحدسية الرئيسية: تأسيس الحدسية الرئيسية غير التبديلية الكاملة
الطرق الحسابية: تطوير أدوات حسابية فعالة

التقييم المتعمق

المميزات

اكتمال النظرية: حل كامل للحدسيات الأساسية في إطار حقول الدوال
ابتكار الطريقة: الطريقة المتماسكة النقية تبسط الإثبات وتوفر رؤى جديدة
عمق النتائج: الكشف عن الفروقات الجوهرية بين حقول الأعداد وحقول الدوال
الصرامة التقنية: الإثبات مفصل وصارم

أوجه القصور

نطاق التطبيق: النتائج الرئيسية محصورة في حالة $\mathrm{char}(F) \neq p$
الجدوى الحسابية: تطبيق النتائج النظرية بشكل عملي لا يزال يواجه تحديات
القابلية للتعميم: التعميم على إطارات أكثر عمومية يتطلب التغلب على عقبات تقنية

التأثير

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

السيناريوهات المناسبة

البحث النظري: التطور النظري في الهندسة الحسابية ونظرية الأعداد الجبرية
المشاكل ذات الصلة: دراسة القيم الخاصة لدوال $L$ وبنية مجموعات سيلمر
التطبيقات المعممة: دراسة نظرية إيواساوا للأجسام الحسابية الأخرى

المراجع

تستشهد الورقة بـ 51 مرجعاً مهماً، تغطي:

أدبيات نظرية إيواساوا الأساسية (Iwasawa, Mazur, Coates وآخرون)
نظرية إيواساوا غير التبديلية (سلسلة أعمال Coates-Fukaya-Kato-Sujatha-Venjakob)
الهندسة الحسابية لحقول الدوال (Ulmer, Kato-Trihan وآخرون)
نظرية المتماسك (Jannsen, Nekovář وآخرون)

تشكل هذه المراجع أساساً نظرياً متيناً للبحث، وتعكس فهماً عميقاً وإتقاناً شاملاً للمؤلفين للمجالات ذات الصلة.