2025-11-24T13:07:17.437469

Fundamental domains for quaternionic S-arithmetic groups over totally real fields

Masdeu, Torrents
Let $B$ be a totally-definite quaternion algebra over a totally real field $F$, let $\mathfrak{p}$ be a prime ideal of $F$, and let $Γ$ be the group of reduced norm-$1$ elements of an Eichler $\mathcal{O}_F[1/\mathfrak{p}]$-order $R$ inside $B$. We give an algorithm to compute the fundamental domain for the action of $Γ$ on the Bruhat-Tits tree of $\operatorname{GL}_2(F_\mathfrak{p})$. Using this, we tabulate Shimura curves of genus up to $3$ over any totally real field which can be $\mathfrak{p}$-adically uniformized for some prime $\mathfrak{p}$.
academic

المجالات الأساسية لمجموعات S-حسابية رباعية على حقول تماماً حقيقية

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

  • معرّف الورقة: 2510.09356
  • العنوان: Fundamental domains for quaternionic S-arithmetic groups over totally real fields
  • المؤلفون: Marc Masdeu, Eloi Torrents
  • التصنيف: math.NT (نظرية الأعداد)
  • تاريخ النشر: 13 أكتوبر 2025
  • رابط الورقة: https://arxiv.org/abs/2510.09356

الملخص

لتكن BB جبراً رباعياً تماماً موجباً محدداً على حقل تماماً حقيقي FF، وp\mathfrak{p} مثالاً أولياً من FF، وΓ\Gamma مجموعة العناصر ذات الحاصل المختزل للوحدة من رتبة Eichler OF[1/p]\mathcal{O}_F[1/\mathfrak{p}] RR داخل BB. تقدم هذه الورقة خوارزمية لحساب المجال الأساسي لتأثير Γ\Gamma على شجرة Bruhat-Tits في GL⁡2(Fp)\operatorname{GL}_2(F_\mathfrak{p}). باستخدام هذه الخوارزمية، قام المؤلفون بجدولة جميع منحنيات Shimura على حقول تماماً حقيقية بجنس لا يتجاوز 3 والتي يمكن تحسينها بشكل إضافي بواسطة عدد أولي معين p\mathfrak{p}.

خلفية البحث والدافع

  1. المشكلة الأساسية: تتمثل المشكلة الأساسية التي تعالجها هذه الورقة في حساب المجال الأساسي لتأثير مجموعات S-حسابية رباعية على شجرة Bruhat-Tits. وهذه مشكلة حسابية مهمة في نظرية الأعداد الجبرية ونظرية الأشكال الذاتية.
  2. الأهمية:
    • بالنسبة لمنحنيات Shimura ذات الاختزال السيء، يتم ترميز بنية الألياف الخاصة السيئة بواسطة هذه المجالات الأساسية
    • حساب المجالات الأساسية حاسم لفهم تحسين p-adic لمنحنيات Shimura
    • يمكن استخدام نتائج الحساب هذه لتحديد جميع منحنيات Shimura في نطاق جنس معين
  3. قيود الطرق الموجودة:
    • كانت الخوارزميات السابقة موجهة بشكل أساسي للحالات على الحقل الكسري Q\mathbb{Q}
    • هناك نقص في الطرق الحسابية الفعالة للحالة العامة للحقول تماماً الحقيقية
    • الطرق الموجودة غير فعالة عند التعامل مع حالات الجنس العالي
  4. دافع البحث:
    • تعميم خوارزمية Franc-Masdeu على حالة الحقول تماماً الحقيقية
    • توفير طريقة منهجية لحساب وتصنيف منحنيات Shimura منخفضة الجنس
    • توفير أدوات حسابية لنظرية p-adic لمنحنيات Shimura

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

  1. الابتكار الخوارزمي: تعميم خوارزمية Franc-Masdeu على حالة الجبر الرباعي على الحقول تماماً الحقيقية، مع تقديم خوارزمية كاملة لحساب المجالات الأساسية
  2. التطور النظري:
    • توفير طريقة فعالة للحكم على ما إذا كان رأسان أو حافتان على شجرة Bruhat-Tits متكافئتان تحت تأثير المجموعة
    • تقديم طريقة معيارية لتمثيل رؤوس وحواف شجرة Bruhat-Tits باستخدام المصفوفات
  3. النتائج الحسابية: حساب وجدولة منهجية لجميع منحنيات Shimura القابلة للتحسين p-adic بجنس لا يتجاوز 3 على حقول تماماً حقيقية من الدرجة 2-7
  4. التطبيق البرمجي: توفير تطبيق SageMath يسمح للباحثين الآخرين باستخدام والتحقق من الخوارزمية

شرح الطريقة

تعريف المهمة

بالنظر إلى جبر رباعي تماماً موجب محدد BB على حقل تماماً حقيقي FF، ومثال أولي p\mathfrak{p}، ورتبة Eichler RR، احسب المجال الأساسي لتأثير مجموعة العناصر ذات الحاصل المختزل للوحدة Γ=ι(R[1/p]×1)⊆SL2(Fp)\Gamma = \iota(R[1/\mathfrak{p}]^{\times 1}) \subseteq \text{SL}_2(F_\mathfrak{p}) على شجرة Bruhat-Tits TpT_\mathfrak{p}.

البنية الخوارزمية الأساسية

1. تمثيل شجرة Bruhat-Tits

  • تمثيل الرؤوس: الفئات المتماثلة [Λ][Λ]، حيث Λ⊆Fp2Λ \subseteq F_\mathfrak{p}^2 هي شبكة
  • التمثيل المعياري: استخدام مصفوفات 2×22 \times 2 في OF\mathcal{O}_F لتمثيل الرؤوس والحواف

اللمة 2.2: يمكن تمثيل الرؤوس بمصفوفات من الشكل (πm0rπn)\begin{pmatrix} \pi^m & 0 \\ r & \pi^n \end{pmatrix} أو (0πmπnr)\begin{pmatrix} 0 & \pi^m \\ \pi^n & r \end{pmatrix}، حيث r∈Snr \in S_n.

2. خوارزمية الحكم على التكافؤ

المشكلة الأساسية هي الحكم على ما إذا كان رأسان/حافتان u,vu, v متكافئتان تحت ΓΓ، أي ما إذا كان هناك γ∈Γγ \in Γ بحيث ι(γ)u=v\iota(γ)u = v.

اللمة 3.2: لتكن 2m=a+b2m = a + b، حيث a=valπ(det⁡u)a = \text{val}_\pi(\det u)، b=valπ(det⁡v)b = \text{val}_\pi(\det v)، إذن HomΓ(u,v)=Γ∩π−mv∗Λ0u\text{Hom}_Γ(u,v) = Γ \cap π^{-m}v^*Λ_0u

الخطوات الأساسية للخوارزمية:

  1. بناء الشبكة Λu,v=ι−1(πhv∗Λ0u)∩R+pd⌈m/d⌉+1RΛ_{u,v} = \iota^{-1}(π^h v^* Λ_0 u) \cap R + \mathfrak{p}^{d⌈m/d⌉+1}R
  2. البحث عن عناصر بحاصل مختزل δ2⌈m/d⌉δ^{2⌈m/d⌉}
  3. استخدام خوارزمية LLL لحل مشكلة أقصر متجه

3. خوارزمية حساب المجال الأساسي

الخطوات الرئيسية للخوارزمية 2:

  1. البدء من نقطة أساسية v0v_0
  2. لكل رأس قيد المعالجة، فحص جميع الحواف الخارجة منه
  3. استخدام الحكم على التكافؤ لتحديد ما إذا كانت الحافة/الرأس الجديدة موجودة بالفعل في المجال الأساسي
  4. تسجيل علاقات الحدود، حساب الجنس
  5. التكرار حتى تتم معالجة جميع الرؤوس

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

  1. معيارية تمثيل المصفوفات: من خلال اللمة 2.2، يتم تحويل حساب المصفوفات p-adic إلى حساب على حلقة الأعداد الصحيحة، مما يبسط بشكل كبير تعقيد التطبيق
  2. تطبيق طرق الشبكات: تحويل مشكلة الحكم على التكافؤ إلى مشكلة البحث عن عناصر بنطاق معين في شبكة محددة، مع الحل الفعال باستخدام خوارزمية LLL
  3. الحساب المسبق لبيانات الحدود: من خلال الحساب المسبق لمعلومات الاختزال لطبقة الحدود، يتم تقليل تعقيد اختزال أي رأس إلى O(dist(v))O(\text{dist}(v))
  4. التحكم في الجنس: تسمح الخوارزمية بتعيين حد أقصى للجنس، مما يتجنب حساب الحالات المعقدة جداً

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

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

  • درجة الحقل الرقمي: حقول تماماً حقيقية من الدرجة 2-7
  • نطاق الجنس: 0-3
  • شروط الأعداد الأولية: أعداد أولية غير متفرعة بدرجة عطالة 1

بيئة الحساب

  • الأجهزة: معالج Apple M4، ذاكرة وصول عشوائي 16GB
  • البرمجيات: تطبيق SageMath
  • تحسينات الخوارزمية: استخدام خوارزمية LLL وتقنيات اختزال الشبكات

مؤشرات التقييم

  1. كفاءة الحساب: وقت تشغيل الخوارزمية 1 على رؤوس بمسافات مختلفة
  2. اكتمال التغطية: ضمان اكتمال التصنيف من خلال حد Selberg-Zograf
  3. التحقق من النتائج: التحقق من صحة نتائج الحساب بطرق متعددة

نتائج التجارب

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

الجدول 1: إحصائيات عدد منحنيات Shimura المكتشفة

درجة الحقلالجنس 0الجنس 1الجنس 2الجنس 3
218413446
37371137
429506153
50022
627128
70000
الإجمالي56135120146

تحليل الأداء

  • كفاءة الخوارزمية: يزداد وقت تشغيل الخوارزمية 1 ببطء مع مسافة الرأس، مما يشير إلى أن الخوارزمية لها قابلية توسع جيدة
  • الحساب على نطاق واسع: تم بنجاح حساب المجال الأساسي بجنس 65 (16 رأس، 80 حافة)، مع استغراق حوالي 30 ثانية

أمثلة محددة

  1. الحقل التربيعي Q(97)\mathbb{Q}(\sqrt{97}):
    • العدد الأولي p=(10−97)\mathfrak{p} = (10-\sqrt{97})
    • بنية المجال الأساسي نسبياً بسيطة
  2. الحقل التربيعي Q(5)\mathbb{Q}(\sqrt{5}):
    • العدد الأولي p=(35−12)\mathfrak{p} = (\frac{3\sqrt{5}-1}{2})
    • حاصل التمييز للجبر الرباعي N−=(21)N^- = (21)
    • الحصول على منحنى Shimura بجنس 65

التحقق من الاكتمال

استخدام حد Selberg-Zograf: A<643(g+1)A < \frac{64}{3}(g+1) حيث صيغة المساحة هي: A=4(2π)2ndF3/2ζF(2)Φ(pN−)Ψ(N+)A = \frac{4}{(2π)^{2n}} d_F^{3/2} ζ_F(2) Φ(\mathfrak{p}N^-) Ψ(N^+)

يتم ضمان اكتمال التصنيف من خلال هذا الحد.

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

الاتجاهات البحثية الرئيسية

  1. نظرية شجرة Bruhat-Tits: توفر النظرية الأساسية لـ Serre الإطار الرياضي لهذه الورقة
  2. تحسين p-adic لمنحنيات Shimura: توفر نظرية Čerednik-Drinfel'd الأساس النظري
  3. الهندسة الجبرية الحسابية: تعتبر الخوارزمية الأصلية لـ Franc-Masdeu نقطة انطلاق هذه الورقة

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

  • التعميم: تعمم هذه الورقة خوارزمية FM14 من حقل الأعداد الكسرية إلى حقول تماماً حقيقية عامة
  • المنهجية: مقارنة بعمل تصنيف Voight، توفر هذه الورقة طريقة حسابية أكثر منهجية
  • الفائدة العملية: توفر تطبيقاً برمجياً قابلاً للاستخدام، مما يسهل على الباحثين الآخرين الاستفادة منه

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

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

  1. تم بنجاح تعميم خوارزمية حساب المجال الأساسي لشجرة Bruhat-Tits على حالة الحقول تماماً الحقيقية
  2. تم حساب التصنيف الكامل لمنحنيات Shimura منخفضة الجنس بشكل منهجي
  3. تم التحقق من كفاءة الخوارزمية وقابليتها للتوسع

القيود

  1. تعقيد الحساب: بالنسبة لحالات الجنس العالي، لا يزال تعقيد الحساب مرتفعاً
  2. قيود الأعداد الأولية: تتطلب الخوارزمية أعداداً أولية غير متفرعة بدرجة عطالة 1
  3. متطلبات الذاكرة: يتطلب الحساب على نطاق واسع دعم ذاكرة أكبر

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

  1. التعميم على حالة الأعداد الأولية العامة
  2. تحسين الخوارزمية للتعامل مع حالات الجنس الأعلى
  3. التطبيق على الحساب الصريح لمعادلات منحنيات Shimura

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

المزايا

  1. المساهمة النظرية: حل ناجح لمشكلة مهمة في حساب المجال الأساسي لمجموعات S-حسابية رباعية على حقول تماماً حقيقية
  2. الابتكار الخوارزمي: تحويل ذكي للحساب p-adic إلى حساب على حلقة الأعداد الصحيحة، مما يبسط بشكل كبير تعقيد التطبيق
  3. المنهجية: توفير نتائج تصنيف كاملة، ذات قيمة مرجعية مهمة
  4. الفائدة العملية: يسمح التطبيق مفتوح المصدر بالتحقق والاستخدام الإضافي للنتائج

أوجه القصور

  1. قيود الأعداد الأولية: شروط الأعداد الأولية المفروضة قوية جداً، مما يحد من عمومية الطريقة
  2. تحليل التعقيد: يفتقر إلى تحليل تعقيد نظري مفصل
  3. قيود الجنس العالي: كفاءة التعامل مع حالات الجنس العالي تحتاج إلى تحسين

التأثير

  1. القيمة الأكاديمية: توفير أداة حسابية مهمة لنظرية منحنيات Shimura
  2. آفاق التطبيق: يمكن تطبيقها على التشفير ونظرية الترميز والمجالات ذات الصلة
  3. إمكانية التكرار: توفير تطبيق مفتوح المصدر كامل، مما يسهل التحقق والتوسع

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

  1. الحساب الصريح وتصنيف منحنيات Shimura
  2. البحث الحسابي للجبر الرباعي
  3. الحساب الرقمي للأشكال الذاتية p-adic
  4. مشاكل الحساب المحددة في نظرية الأعداد الجبرية

المراجع

تستند هذه الورقة بشكل أساسي إلى المراجع المهمة التالية:

  • FM14 العمل الأصلي لـ Franc-Masdeu حول حساب المجال الأساسي لـ GL2(Qp)\text{GL}_2(\mathbb{Q}_p)
  • Ser03 النظرية الكلاسيكية للأشجار لـ Serre
  • Voi09 عمل تصنيف منحنيات Shimura منخفضة الجنس لـ Voight
  • Mil15 نظرية تحسين p-adic لمنحنيات Shimura لـ Milione

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