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
  • শিরোনাম: সম্পূর্ণ বাস্তব ক্ষেত্রের উপর কোয়াটার্নিয়নিক S-পাটিগণিত গোষ্ঠীর জন্য মৌলিক ডোমেইন
  • লেখক: Marc Masdeu, Eloi Torrents
  • শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব)
  • প্রকাশনার সময়: ২০২৫ সালের ১৩ অক্টোবর
  • পেপার লিঙ্ক: https://arxiv.org/abs/2510.09356

সারসংক্ষেপ

ধরুন BB সম্পূর্ণ বাস্তব ক্ষেত্র FF এর উপর একটি সম্পূর্ণ সংজ্ঞায়িত ধনাত্মক কোয়াটার্নিয়ন বীজগণিত, p\mathfrak{p} হল FF এর একটি মৌলিক আদর্শ, এবং Γ\Gamma হল BB এর মধ্যে Eichler OF[1/p]\mathcal{O}_F[1/\mathfrak{p}]-ক্রম RR এর হ্রাসকৃত নর্ম একের উপাদান গোষ্ঠী। এই পেপারটি Γ\Gamma এর GL⁡2(Fp)\operatorname{GL}_2(F_\mathfrak{p}) এর Bruhat-Tits বৃক্ষে ক্রিয়াকলাপের মৌলিক ডোমেইন গণনা করার জন্য একটি অ্যালগরিদম প্রদান করে। এই অ্যালগরিদম ব্যবহার করে, লেখকরা সমস্ত সম্পূর্ণ বাস্তব ক্ষেত্রের উপর Shimura বক্ররেখা সারণীভুক্ত করেছেন যেখানে কোনো মৌলিক p\mathfrak{p} দ্বারা আরও সামঞ্জস্যপূর্ণ করা যায় এবং যার গণ তিনের বেশি নয়।

গবেষণা পটভূমি এবং প্রেরণা

  1. মূল সমস্যা: এই পেপারটি যে মূল সমস্যাটি সমাধান করে তা হল Bruhat-Tits বৃক্ষে কোয়াটার্নিয়নিক S-পাটিগণিত গোষ্ঠীর ক্রিয়াকলাপের মৌলিক ডোমেইন গণনা করা। এটি বীজগণিত সংখ্যা তত্ত্ব এবং স্বয়ংরূপ রূপ তত্ত্বে একটি গুরুত্বপূর্ণ গণনামূলক সমস্যা।
  2. গুরুত্ব:
    • খারাপ হ্রাসের সাথে Shimura বক্ররেখার জন্য, এর খারাপ বিশেষ ফাইবারের কাঠামো এই মৌলিক ডোমেইনগুলি দ্বারা এনকোড করা হয়
    • মৌলিক ডোমেইনের গণনা Shimura বক্ররেখার p-প্রাডিক সামঞ্জস্যতা বোঝার জন্য অত্যন্ত গুরুত্বপূর্ণ
    • এই গণনা ফলাফলগুলি নির্দিষ্ট গণ পরিসরের মধ্যে সমস্ত Shimura বক্ররেখা নির্ধারণ করতে ব্যবহার করা যেতে পারে
  3. বিদ্যমান পদ্ধতির সীমাবদ্ধতা:
    • পূর্ববর্তী অ্যালগরিদমগুলি প্রধানত মূলদ সংখ্যা ক্ষেত্র Q\mathbb{Q} এর উপর ক্ষেত্রে কেন্দ্রীভূত ছিল
    • সাধারণ সম্পূর্ণ বাস্তব ক্ষেত্রের ক্ষেত্রে, কার্যকর গণনামূলক পদ্ধতির অভাব রয়েছে
    • উচ্চ গণের ক্ষেত্রে বিদ্যমান পদ্ধতিগুলি দক্ষতার সাথে কাজ করে না
  4. গবেষণা প্রেরণা:
    • Franc-Masdeu অ্যালগরিদমকে সম্পূর্ণ বাস্তব ক্ষেত্রের ক্ষেত্রে সাধারণীকরণ করা
    • নিম্ন গণ Shimura বক্ররেখা গণনা এবং শ্রেণীবদ্ধ করার জন্য একটি পদ্ধতিগত পদ্ধতি প্রদান করা
    • Shimura বক্ররেখার p-প্রাডিক তত্ত্বের জন্য গণনামূলক সরঞ্জাম প্রদান করা

মূল অবদান

  1. অ্যালগরিদমিক উদ্ভাবন: Franc-Masdeu অ্যালগরিদমকে সম্পূর্ণ বাস্তব ক্ষেত্রের উপর কোয়াটার্নিয়ন বীজগণিতের ক্ষেত্রে সাধারণীকরণ করা, মৌলিক ডোমেইন গণনার জন্য একটি সম্পূর্ণ অ্যালগরিদম প্রদান করা
  2. তাত্ত্বিক উন্নয়ন:
    • Bruhat-Tits বৃক্ষে দুটি শীর্ষবিন্দু বা প্রান্ত গোষ্ঠী ক্রিয়াকলাপের অধীনে সমতুল্য কিনা তা নির্ধারণের জন্য কার্যকর পদ্ধতি প্রদান করা
    • ম্যাট্রিক্স প্রতিনিধিত্ব ব্যবহার করে Bruhat-Tits বৃক্ষ শীর্ষবিন্দু এবং প্রান্তের জন্য মানককরণ পদ্ধতি প্রদান করা
  3. গণনামূলক ফলাফল: ডিগ্রি 2-7 এর সম্পূর্ণ বাস্তব ক্ষেত্রের উপর গণ তিনের বেশি নয় এমন সমস্ত p-প্রাডিক সামঞ্জস্যপূর্ণ Shimura বক্ররেখা পদ্ধতিগতভাবে গণনা এবং সারণীভুক্ত করা
  4. সফটওয়্যার বাস্তবায়ন: SageMath বাস্তবায়ন প্রদান করা, যা অ্যালগরিদমকে অন্যান্য গবেষকদের দ্বারা ব্যবহার এবং যাচাই করা সম্ভব করে

পদ্ধতি বিস্তারিত

কাজের সংজ্ঞা

সম্পূর্ণ বাস্তব ক্ষেত্র FF এর উপর একটি সম্পূর্ণ সংজ্ঞায়িত ধনাত্মক কোয়াটার্নিয়ন বীজগণিত BB, মৌলিক আদর্শ 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 একটি জালক
  • মানককৃত প্রতিনিধিত্ব: শীর্ষবিন্দু এবং প্রান্ত প্রতিনিধিত্ব করতে OF\mathcal{O}_F এ 2×22 \times 2 ম্যাট্রিক্স ব্যবহার করা

লেম্মা 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-প্রাডিক ম্যাট্রিক্স গণনাকে পূর্ণসংখ্যা বলয়ে গণনায় রূপান্তরিত করা, বাস্তবায়ন জটিলতা উল্লেখযোগ্যভাবে সরল করা
  2. জালক পদ্ধতির প্রয়োগ: সমতুল্যতা নির্ধারণ সমস্যাকে নির্দিষ্ট জালকে নির্দিষ্ট নর্মের উপাদান খুঁজে বের করার সমস্যায় রূপান্তরিত করা, LLL অ্যালগরিদম ব্যবহার করে দক্ষতার সাথে সমাধান করা
  3. সীমানা ডেটা পূর্ব-গণনা: সীমানা স্তরের হ্রাসকৃত তথ্য পূর্ব-গণনা করে, যেকোনো শীর্ষবিন্দুর হ্রাসকৃত জটিলতা O(dist(v))O(\text{dist}(v)) এ হ্রাস করা
  4. গণ নিয়ন্ত্রণ: অ্যালগরিদম সর্বাধিক গণ সীমা নির্ধারণ করতে পারে, অত্যধিক জটিল পরিস্থিতি গণনা এড়ানো

পরীক্ষামূলক সেটআপ

ডেটা পরিসর

  • সংখ্যা ক্ষেত্র ডিগ্রি: 2-7 ডিগ্রির সম্পূর্ণ বাস্তব ক্ষেত্র
  • গণ পরিসর: 0-3
  • মৌলিক সংখ্যা শর্ত: অবিভক্ত এবং জড়তা ডিগ্রি একের মৌলিক সংখ্যা

গণনা পরিবেশ

  • হার্ডওয়্যার: Apple M4 প্রসেসর, 16GB RAM
  • সফটওয়্যার: 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)
    • গণ 65 এর Shimura বক্ররেখা প্রাপ্ত করা

সম্পূর্ণতা যাচাইকরণ

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. Shimura বক্ররেখার p-প্রাডিক সামঞ্জস্যতা: Čerednik-Drinfel'd উপপাদ্য তাত্ত্বিক ভিত্তি প্রদান করে
  3. গণনামূলক বীজগণিত জ্যামিতি: Franc-Masdeu এর মূল অ্যালগরিদম এই পেপারের সূচনা বিন্দু

সম্পর্কিত কাজের সাথে সম্পর্ক

  • সাধারণীকরণ: এই পেপারটি FM14 এর অ্যালগরিদমকে মূলদ সংখ্যা ক্ষেত্র থেকে সাধারণ সম্পূর্ণ বাস্তব ক্ষেত্রে সাধারণীকরণ করে
  • পদ্ধতিগততা: Voight এর শ্রেণীবিভাগ কাজের তুলনায়, এই পেপারটি আরও পদ্ধতিগত গণনামূলক পদ্ধতি প্রদান করে
  • ব্যবহারিকতা: ব্যবহারযোগ্য সফটওয়্যার বাস্তবায়ন প্রদান করা, অন্যান্য গবেষকদের ব্যবহার সহজ করা

উপসংহার এবং আলোচনা

প্রধান উপসংহার

  1. Bruhat-Tits বৃক্ষ মৌলিক ডোমেইন গণনা অ্যালগরিদম সম্পূর্ণ বাস্তব ক্ষেত্রের ক্ষেত্রে সফলভাবে সাধারণীকরণ করা
  2. নিম্ন গণ Shimura বক্ররেখার সম্পূর্ণ শ্রেণীবিভাগ পদ্ধতিগতভাবে গণনা করা
  3. অ্যালগরিদমের দক্ষতা এবং স্কেলেবিলিটি যাচাই করা

সীমাবদ্ধতা

  1. গণনামূলক জটিলতা: উচ্চ গণের ক্ষেত্রে, গণনামূলক জটিলতা এখনও তুলনামূলকভাবে বেশি
  2. মৌলিক সংখ্যা সীমাবদ্ধতা: অ্যালগরিদম মৌলিক সংখ্যা অবিভক্ত এবং জড়তা ডিগ্রি একের প্রয়োজন
  3. মেমরি প্রয়োজনীয়তা: বড় আকারের গণনা উল্লেখযোগ্য মেমরি সমর্থন প্রয়োজন

ভবিষ্যত দিকনির্দেশনা

  1. সাধারণ মৌলিক সংখ্যার ক্ষেত্রে সাধারণীকরণ করা
  2. উচ্চতর গণের ক্ষেত্রে পরিচালনা করার জন্য অ্যালগরিদম অপ্টিমাইজ করা
  3. Shimura বক্ররেখা সমীকরণের স্পষ্ট গণনায় প্রয়োগ করা

গভীর মূল্যায়ন

সুবিধা

  1. তাত্ত্বিক অবদান: সম্পূর্ণ বাস্তব ক্ষেত্রে কোয়াটার্নিয়নিক S-পাটিগণিত গোষ্ঠীর মৌলিক ডোমেইন গণনার এই গুরুত্বপূর্ণ সমস্যা সফলভাবে সমাধান করা
  2. অ্যালগরিদমিক উদ্ভাবন: p-প্রাডিক গণনাকে পূর্ণসংখ্যা বলয়ে গণনায় চতুরতার সাথে রূপান্তরিত করা, বাস্তবায়ন উল্লেখযোগ্যভাবে সরল করা
  3. পদ্ধতিগততা: সম্পূর্ণ শ্রেণীবিভাগ ফলাফল প্রদান করা, গুরুত্বপূর্ণ রেফারেন্স মূল্য রয়েছে
  4. ব্যবহারিকতা: খোলা উৎস বাস্তবায়ন ফলাফল যাচাই এবং আরও ব্যবহার সক্ষম করে

অপূর্ণতা

  1. মৌলিক সংখ্যা সীমাবদ্ধতা: মৌলিক সংখ্যার সীমাবদ্ধতা শর্ত শক্তিশালী, পদ্ধতির সার্বজনীনতা সীমিত করে
  2. জটিলতা বিশ্লেষণ: বিস্তারিত তাত্ত্বিক জটিলতা বিশ্লেষণের অভাব
  3. উচ্চ গণ সীমাবদ্ধতা: উচ্চ গণের ক্ষেত্রে পরিচালনার দক্ষতা উন্নত করার প্রয়োজন

প্রভাব

  1. একাডেমিক মূল্য: Shimura বক্ররেখা তত্ত্বের জন্য গুরুত্বপূর্ণ গণনামূলক সরঞ্জাম প্রদান করা
  2. প্রয়োগের সম্ভাবনা: ক্রিপ্টোগ্রাফি, কোডিং তত্ত্ব এবং সম্পর্কিত ক্ষেত্রে প্রয়োগ করা যায়
  3. পুনরুৎপাদনযোগ্যতা: সম্পূর্ণ খোলা উৎস বাস্তবায়ন প্রদান করা, যাচাইকরণ এবং সম্প্রসারণ সহজ করে

প্রযোজ্য পরিস্থিতি

  1. Shimura বক্ররেখার স্পষ্ট গণনা এবং শ্রেণীবিভাগ
  2. কোয়াটার্নিয়ন বীজগণিতের গণনামূলক গবেষণা
  3. p-প্রাডিক স্বয়ংরূপ রূপের সংখ্যাগত গণনা
  4. বীজগণিত সংখ্যা তত্ত্বে নির্দিষ্ট গণনামূলক সমস্যা

সংদর্ভ

এই পেপারটি প্রধানত নিম্নলিখিত গুরুত্বপূর্ণ সাহিত্য উল্লেখ করে:

  • FM14 Franc-Masdeu এর GL2(Qp)\text{GL}_2(\mathbb{Q}_p) মৌলিক ডোমেইন গণনার মূল কাজ
  • Ser03 Serre এর বৃক্ষ সম্পর্কিত ক্লাসিক তত্ত্ব
  • Voi09 Voight এর নিম্ন গণ Shimura বক্ররেখার শ্রেণীবিভাগ কাজ
  • Mil15 Milione এর Shimura বক্ররেখার p-প্রাডিক সামঞ্জস্যতা সম্পর্কিত তত্ত্ব

সামগ্রিক মূল্যায়ন: এটি একটি উচ্চ মানের গণনামূলক সংখ্যা তত্ত্ব পেপার, যা একটি গুরুত্বপূর্ণ তাত্ত্বিক গণনামূলক সমস্যা সফলভাবে সমাধান করে এবং পদ্ধতিগত শ্রেণীবিভাগ ফলাফল প্রদান করে। অ্যালগরিদম ডিজাইন চতুর, বাস্তবায়ন সম্পূর্ণ, এবং সম্পর্কিত ক্ষেত্রে গুরুত্বপূর্ণ অবদান রাখে।