On the rank of Leopoldt's and Gross's regulator maps

ملخص تقني: حول رتب خرائط المنظم لـ "ليوبولدت" و"غروس"

بيان المشكلة
تتناول الورقة فرضيتين مركزيتين في نظرية إيواساوا ونظرية التسامي الـ $p$-أدية: فرضية ليوبولدت وفرضية غروس-كوزمين.

• فرضية ليوبولدت (Leopoldt's Conjecture): تفترض أن خريطة المنظم الـ $p$-أدية $\iota_K$ من الوحدات العالمية لحقل أعداد $K$ إلى حاصل ضرب الوحدات المحلية عند المواضع الـ $p$-أدية هي خريطة تباينية (injective). ويُفترض أن العيب $\delta^L_K = \dim_{\mathbb{Q}_p} \ker \iota_K$ يساوي صفرًا.
• فرضية غروس-كوزمين (Gross-Kuz'min Conjecture): تفترض أن خريطة منظم غروس $L_K$، التي تنقل الوحدات الـ $p$-أدية إلى مستوٍ فرعي محدد في حاصل ضرب المعايير المحلية، هي خريطة شاملة (surjective). ويُفترض أن العيب $\delta^G_K = \dim_{\mathbb{Q}_p} \operatorname{coker} L_K$ يساوي صفرًا.

بينما تُعرف هذه الفرضيات في الامتدادات الآبلية لـ $\mathbb{Q}$ أو للحقول التربيعية التخيلية، أو للحقول التي تمتلك موضعين $p$-أديين على الأكثر، إلا أنها تظل مفتوحة للحقول العددية العامة. تسعى الورقة إلى وضع حدود عليا لهذه العيوب وإثبات حالات جديدة للفرضيات، لا سيما للامتدادات غير الآبلية وامتدادات $\mathbb{Z}_p$ غير الدائرية.

المنهجية
يستخدم المؤلف مزيجًا من نظرية التسامي الـ $p$-أدية وصيغة أرتين (Artin formalism).

1. صيغة أرتين (Artin Formalism): يتم تفكيك العيوب $\delta^L_K$ و $\delta^G_K$ إلى مكونات نوعية مرتبطة بالتمثيلات غير القابلة للاختزال لزمرة غالوا. تُعرف الورقة ثوابت العيب $\delta^L_k(\rho)$ و $\delta^G_k(\rho)$ التي تحقق الخصائص القياسية لصيغة أرتين (الاستحثاث، الرفع، والإضافة). يسمح هذا باختزال المسائل العالمية إلى أسئلة حول تمثيلات محددة فوق $\mathbb{Q}$.
2. نظرية التسامي الـ $p$-أدية: الأداة التحليلية الجوهرية هي تطبيق نظريات فالدشوايد، روي، ونظرية باكر-برومر المتعلقة بالاستقلال الخطي للوغاريتمات الـ $p$-أدية للأعداد الجبرية. وتحديدًا، تستخدم الورقة صقل روي لنظرية فالدشوايد (النظرية 2.2.1) لإرساء حدود دنيا لرتب المصفوفات ذات المعاملات في الفضاء الخطي $\mathbb{Q}$ للوغاريتمات الـ $p$-أدية ($\Lambda$).
3. كوهومولوجيا غالوا ونظرية المجال الحلقي: يُعاد تفسير العيوب عبر كوهومولوجيا غالوا ونظرية ثنائية بوات-تيت (Poitou-Tate duality). ويُحدد عيب غروس كبعد لصور التماثل (cokernel) لخريطة التوطين التي تتضمن الوحدات الـ $p$-أدية ومعادلات التناظر المحلية. يسهل هذا الإطار تحليل امتدادات $\mathbb{Z}_p$ غير الدائرية.

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

1. الحدود المعممة للعيوب
تعمم الورقة حد فالدشوايد لعيب ليوبولدت وتضع حداً موازياً لعيب غروس.

• النظرية 1.4: بالنسبة لامتداد الحقول العددية $K/k$، تحقق العيوب ما يلي:
  $$\delta^L_K \leq \delta^L_k + \frac{|S_\infty(K)| - |S_\infty(k)|}{2}$$
  $$\delta^G_K \leq \delta^G_k + \frac{|S_p(K)| - |S_p(k)|}{2}$$
  هذا الحد الثاني يكون صارمًا إذا كان لـ $K$ موضع حقيقي وتغير عدد المواضع الـ $p$-أدية. وهذا يعني أن فرضية غروس-كوزمين تتحقق لجميع الحقول التكعيبية.

2. الحدود المعتمدة على التمثيل (النظرية 1.5)
لتمثيل غير قابل للاختزال $\rho \in \operatorname{Art}_{\mathbb{Q}_p}(G_{\mathbb{Q}})$ مع الثوابت $d = [K:\mathbb{Q}]$، $d_+ = |S_\infty(K)|$، و $f = |S_p(K)|$، تثبت الورقة:

• $\delta^L_{\mathbb{Q}}(\rho) \leq \frac{d_+^2}{d + d_+}$
• $\delta^G_{\mathbb{Q}}(\rho) \leq \frac{f^2}{d_+ + 2f}$ (بشرط ألا يكون $d_+$ و $f$ كلاهما صفرًا).
  هذه الحدود مشتقة باستخدام لمة حول التمثيلات المحلية لغالوا ونظرية روي حول رتب المصفوفات.

3. التطبيقات على الفرضيات

• رتبة منظم غروس: توضح النتيجة 1.6 أن مصفوفة منظم غروس الـ $p$-أدية $R_p(V)$ لحقل حقيقي كلي وتمثيل أرتين فردي كلي، تمتلك رتبة لا تقل عن نصف حجمها. وهذا يعزز نتيجة غروس الكلاسيكية بأن الرتبة موجبة.
• حالات جديدة لغروس-كوزمين: تثبت النتيجة 1.7 والنظرية 4.3.2 فرضية غروس-كوزمين (أي $\delta^G_K = 0$) لـ:
  • الامتدادات الآبلية للحقول التربيعية التخيلية.
  • الامتدادات الآبلية للحقول التربيعية الحقيقية التي تمتلك موضعًا حقيقيًا واحدًا على الأقل.
  • حالات أخرى تتضمن امتدادات غالوا مع قيود على عدد المواضع الـ $p$-أدية (مثل $|S_p(K)| \leq 6$ للامتدادات الحقيقية).

4. النظائر غير الدائرية والاستقلال الجبري
تتقصى الورقة تلاشي العيب للامتدادات غير الدائرية لـ $\mathbb{Z}_p$.

• النظرية 1.8: بالنسبة لحقل تربيعي تخيلي $k$ وامتداد أبل $K$ حيث يتوزع $p$ بشكل كامل، يوجد عدد محدود على الأكثر من امتدادات $\mathbb{Z}_p$ (المشار إليها بـ $k_\infty$) لـ $k$ والتي يكون فيها $\delta^G_{K k_\infty/K} > 0$.
• عدم الوجود المشروط: إذا لم يتلاشى متعدد الحدود $XYZ^2 - (AX - BY)(CX - DY)$ على أي سباعية مستقلة خطيًا فوق $\mathbb{Q}$ في فضاء اللوغاريتمات الـ $p$-أدية (وهو شرط تقتضيه فرضية شانويل الـ $p$-أدية الضعيفة)، فلا وجود لمثل هذه الامتدادات $\mathbb{Z}_p$.
• تحليل الميل (Slope Analysis): تقوم الورقة بتمثيل امتدادات $\mathbb{Z}_p$ كنقاط في فضاء جزئي خطي من $\mathbb{P}^{n-1}(\mathbb{Q}_p)$. وتوضح أنه إذا كان العيب غير صفري، فإن "الميل" المقابل للامتداد يجب أن يكون متساميًا (النظرية 5.1.1).

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