2025-11-22T07:07:16.652981

Comparing Galois representations in the residually reducible case

Freitas, Sánchez-Rodríguez
Let $n \geq 2$ and $p$ be a prime. Let $K$ be a number field and consider two Galois representations $ρ_1, ρ_2 : \operatorname{Gal}(\overline{K} / K) \to \operatorname{GL}_n(\mathbb{Z}_p)$ having residual image a $p$-group. We explain and implement an algorithm that makes effective a result of Loïc Grenié to decide wether the semisimplifications of $ρ_1$ and $ρ_2$ are isomorphic. As an application, we show that an irreducible representation $ρ: G_{\mathbb{Q}(\sqrt{-3})} \to \operatorname{GL}_2(\mathbb{Z}_3)$ unramified outside 3 is determined by the characteristic polynomials of Frobenius elements at five primes of small norm. As an additional check, we apply it to a 2-adic example studied by Grenié, recovering Grenié's result in a fully automated way.
academic

अवशिष्ट रूप से अपचनीय स्थिति में गैलोइस निरूपण की तुलना

मूल जानकारी

  • पेपर ID: 2510.12956
  • शीर्षक: अवशिष्ट रूप से अपचनीय स्थिति में गैलोइस निरूपण की तुलना
  • लेखक: नूनो फ्रीटास, इग्नासी सांचेज़-रोड्रिग्ज़
  • वर्गीकरण: math.NT (संख्या सिद्धांत)
  • प्रकाशन समय: 14 अक्टूबर 2025
  • पेपर लिंक: https://arxiv.org/abs/2510.12956v1

सारांश

मान लीजिए n≥2n \geq 2 और pp एक अभाज्य संख्या है, KK एक संख्या क्षेत्र है। दो गैलोइस निरूपणों ρ1,ρ2:Gal(K‾/K)→GLn(Zp)\rho_1, \rho_2 : \text{Gal}(\overline{K}/K) \to \text{GL}_n(\mathbb{Z}_p) पर विचार करें, जिनके अवशिष्ट प्रतिबिंब pp-समूह हैं। यह पेपर लोइक ग्रेनी के परिणाम को प्रभावी बनाने वाले एक एल्गोरिदम को समझाता और कार्यान्वित करता है, जो यह निर्धारित करने के लिए है कि क्या ρ1\rho_1 और ρ2\rho_2 के अर्धसरल रूप समरूपी हैं। अनुप्रयोग के रूप में, यह साबित किया गया है कि 3 के बाहर अपरिवर्तनीय निरूपण ρ:GQ(−3)→GL2(Z3)\rho: G_{\mathbb{Q}(\sqrt{-3})} \to \text{GL}_2(\mathbb{Z}_3) पाँच छोटे मानदंड अभाज्य संख्याओं पर फ्रोबेनियस तत्वों की विशेषता बहुपद द्वारा पूरी तरह निर्धारित है। अतिरिक्त सत्यापन के रूप में, एल्गोरिदम को ग्रेनी द्वारा अध्ययन किए गए 2-एडिक उदाहरण पर लागू किया गया है, पूरी तरह स्वचालित तरीके से ग्रेनी के परिणाम को पुनः प्राप्त किया गया है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

यह अनुसंधान गैलोइस निरूपण की तुलना की समस्या से संबंधित है, जो बीजगणितीय संख्या सिद्धांत में एक मूल समस्या है। फाल्टिंग्स के मौलिक कार्य के अनुसार, दो सतत निरूपण ρ1,ρ2:GK→GLn(E)\rho_1, \rho_2 : G_K \to \text{GL}_n(E) समरूपी हैं यदि और केवल यदि वे समुच्चय SS के बाहर अपरिवर्तनीय हैं और परिमित समुच्चय TT के फ्रोबेनियस तत्वों पर समान ट्रेस रखते हैं।

मौजूदा विधियों की सीमाएँ

  1. फाल्टिंग्स-सेरे विधि: GL2(Q2)\text{GL}_2(\mathbb{Q}_2) में मान रखने वाले और पूर्णतः अपचनीय अवशिष्ट प्रतिबिंब वाले निरूपणों के लिए उपयुक्त
  2. लिवने का विस्तार: 2-समूह अवशिष्ट प्रतिबिंब वाले 2-एडिक 2-आयामी निरूपणों को संभालता है
  3. ग्रेनी का सामान्यीकरण: किसी भी pp-एडिक nn-आयामी निरूपण तक विस्तारित, लेकिन अभी भी pp-समूह अवशिष्ट प्रतिबिंब की आवश्यकता है

इन विधियों की मुख्य सीमा यह है कि भले ही nn, pp और SS छोटे हों, बड़े संख्या क्षेत्रों के निर्माण की आवश्यकता होती है, जिससे गणना अव्यावहारिक हो जाती है।

अनुसंधान की प्रेरणा

इस पेपर की मूल प्रेरणा है:

  1. एल्गोरिदम कार्यान्वयन: ग्रेनी के सैद्धांतिक परिणामों को गणनीय एल्गोरिदम में परिवर्तित करना
  2. सार्वभौमिकता: सामान्य स्थिति के लिए लागू एल्गोरिदम डिजाइन करना, विशिष्ट निरूपण की अतिरिक्त जानकारी पर निर्भर नहीं
  3. डेटाबेस संभावना: प्रत्येक पैरामीटर सेट के लिए एल्गोरिदम को केवल एक बार चलाना, संभवतः डेटाबेस बनाना
  4. व्यावहारिक अनुप्रयोग: एबेलियन सतहों की मॉड्यूलरिटी साबित करना

मूल योगदान

  1. एल्गोरिदम कार्यान्वयन: ग्रेनी प्रमेय के एक प्रकार (प्रमेय 4.1) को कार्यान्वित किया, पूरी तरह स्वचालित एल्गोरिदम प्रदान किया
  2. सैद्धांतिक सुधार: विस्तार क्षेत्र KSK_S के निर्माण के लिए एक छोटी विधि प्रस्तावित की, गणनात्मक जटिलता को महत्वपूर्ण रूप से कम किया
  3. ठोस अनुप्रयोग परिणाम:
    • 3-एडिक स्थिति में ठोस परिणाम साबित किए (अनुपात 1.1)
    • ग्रेनी के 2-एडिक परिणाम को पुनः प्राप्त किया (अनुपात 1.2)
  4. मॉड्यूलरिटी प्रमाण: अवशिष्ट अपचनीय स्थिति में मॉड्यूलरिटी साबित करने के लिए पहली बार 3-एडिक फाल्टिंग्स-सेरे प्रकार की विधि का सफल अनुप्रयोग
  5. ओपन सोर्स कार्यान्वयन: पूर्ण मैग्मा कोड कार्यान्वयन प्रदान किया

विधि विवरण

कार्य परिभाषा

इनपुट: दो सतत गैलोइस निरूपण ρ1,ρ2:GK→GLn(E)\rho_1, \rho_2 : G_K \to \text{GL}_n(E), समुच्चय SS के बाहर अपरिवर्तनीय, pp-समूह अवशिष्ट प्रतिबिंब आउटपुट: यह निर्धारित करना कि क्या ρ1\rho_1 और ρ2\rho_2 के अर्धसरल रूप समरूपी हैं बाधाएँ: n≥2n \geq 2, pp अभाज्य, KK संख्या क्षेत्र

मूल एल्गोरिदम आर्किटेक्चर

1. सुधारा हुआ विस्तार क्षेत्र निर्माण

पारंपरिक KSK_S निर्माण को λ+ε+m\lambda + \varepsilon + m स्तरों की आवश्यकता है, जहाँ:

  • λ\lambda को 2λ≥r=N2(1+ε)N(N−1)/22^\lambda \geq r = N^2(1+\varepsilon)^{N(N-1)/2} को संतुष्ट करता है
  • ε=0\varepsilon = 0 (यदि p≠2p \neq 2) या ε=1\varepsilon = 1 (यदि p=2p = 2)
  • mm को pm≥np^m \geq n को संतुष्ट करता है

इस पेपर द्वारा प्रस्तावित सुधारी विधि:

K₀ = K
i ≥ 0 के लिए:
  Kᵢ₊₁ = Kᵢ का अधिकतम p-प्राथमिक विस्तार, संतुष्ट करता है:
    1. S के बाहर अपरिवर्तनीय
    2. Kᵢ₊₁/K गैलोइस विस्तार है
    3. Gal(Kᵢ₊₁/K) का घातांक pᵐ को विभाजित करता है
यदि कोई i < λ + ε + m पर Kᵢ₊₁ = Kᵢ है, तो रुकें और K_S = Kᵢ लें

2. मुख्य प्रमेय (प्रमेय 4.1)

मान लीजिए Σ⊂GK\Sigma \subset G_K एक समुच्चय है, Σ′={σk:σ∈Σ,k∈Z≥0}\Sigma' = \{\sigma^k : \sigma \in \Sigma, k \in \mathbb{Z}_{\geq 0}\} को परिभाषित करें। यदि:

  1. Σ′\Sigma' Gal(KS/K)\text{Gal}(K_S/K) के प्रत्येक अधिकतम चक्रीय उपसमूह के जनक को कवर करता है
  2. सभी σ∈Σ\sigma \in \Sigma के लिए, CharPoly(ρ1(σ))=CharPoly(ρ2(σ))\text{CharPoly}(\rho_1(\sigma)) = \text{CharPoly}(\rho_2(\sigma))

तब ρ1\rho_1 और ρ2\rho_2 के अर्धसरल रूप समरूपी हैं।

3. एल्गोरिदम कार्यान्वयन विवरण

भाग A: पहले m स्तर का निर्माण

K₀ = K
0 ≤ i ≤ m-1 के लिए:
  Kᵢ₊₁ = Kᵢ(ᵖ√α₁, ..., ᵖ√αₐ)
  जहाँ αᵢ Selₚ(Kᵢ, S) के जनक हैं

भाग B: बाद के स्तर का निर्माण (i ≥ m)

  1. Gal(Kᵢ/K)-उप-मॉड्यूल की गणना: Selₚ(Kᵢ, S) के सभी गैलोइस उप-मॉड्यूल की गणना करें
  2. 1-आयामी उप-मॉड्यूल को समाप्त करें: अवशिष्ट डिग्री शर्त f(Q∣Q∩OK)≤pmf(Q|Q \cap O_K) \leq p^m की जाँच करें
  3. उच्च-आयामी उप-मॉड्यूल को समाप्त करें: लेम्मा 3.4 को पुनरावर्ती रूप से लागू करें
  4. क्षेत्र Kᵢ₊₁ का निर्माण: शर्त को संतुष्ट करने वाले अद्वितीय उप-मॉड्यूल को चुनें

तकनीकी नवाचार बिंदु

  1. मेमोरी अनुकूलन: सभी उप-मॉड्यूल को संग्रहीत करने से बचें, प्रासंगिक उप-मॉड्यूल की गणना के लिए आगमनात्मक विधि का उपयोग करें
  2. अवशिष्ट डिग्री सीमा: अवशिष्ट डिग्री ≤pm\leq p^m को नियंत्रित करके विस्तार क्षेत्र के आकार को सीमित करें
  3. प्रारंभिक रुकने की कसौटी: प्रमेय 8.1 एल्गोरिदम के लिए प्राकृतिक रुकने की शर्त प्रदान करता है
  4. GRH से बचना: विशिष्ट शर्तों के तहत सामान्यीकृत रीमैन परिकल्पना से बचा जा सकता है

प्रायोगिक सेटअप

गणनात्मक वातावरण

  • सॉफ्टवेयर: मैग्मा V2.28-20
  • हार्डवेयर: 4-थ्रेड सेटअप
  • कोड: पूर्ण कार्यान्वयन GitHub पर उपलब्ध है

परीक्षण मामले

मामला 1: ग्रेनी का उदाहरण

  • पैरामीटर: n=3n = 3, p=2p = 2, K=QK = \mathbb{Q}, S={2}S = \{2\}
  • विस्तार क्षेत्र स्तर: KS=K3K_S = K_3 (64 गुना विस्तार)
  • चलने का समय: लगभग 30 घंटे (GRH मानते हुए)

मामला 2: 3-एडिक अनुप्रयोग

  • पैरामीटर: n=2n = 2, p=3p = 3, K=Q(−3)K = \mathbb{Q}(\sqrt{-3}), S={q3}S = \{q_3\}
  • विस्तार क्षेत्र स्तर: KS=K2K_S = K_2 (54 गुना विस्तार)
  • चलने का समय: लगभग 17 घंटे (GRH मानते हुए)

मूल्यांकन मेट्रिक्स

  1. सही: ज्ञात सैद्धांतिक परिणामों के साथ सामंजस्य
  2. दक्षता: गणना समय और मेमोरी उपयोग
  3. व्यावहारिकता: क्या वास्तविक मॉड्यूलरिटी समस्याओं को संभाल सकते हैं

प्रायोगिक परिणाम

मुख्य परिणाम

अनुपात 1.1 (3-एडिक स्थिति)

मान लीजिए K=Q(−3)K = \mathbb{Q}(\sqrt{-3}), ρ1,ρ2:GK→GL2(Z3)\rho_1, \rho_2 : G_K \to \text{GL}_2(\mathbb{Z}_3) q3q_3 के बाहर अपरिवर्तनीय सतत निरूपण हैं, समान निर्धारक के साथ और निर्धारक मॉड्यूलो 3 में तुच्छ है। तब ρ1\rho_1 और ρ2\rho_2 के पास समरूपी अर्धसरल रूप हैं यदि और केवल यदि अभाज्य समुच्चय T={2OK,p71,p72,p19∗,p73∗}T = \{2O_K, p_7^1, p_7^2, p_{19}^*, p_{73}^*\} में सभी t∈Tt \in T के लिए, ρ1(Frobt)\rho_1(\text{Frob}_t) और ρ2(Frobt)\rho_2(\text{Frob}_t) के पास समान ट्रेस है।

अनुपात 1.2 (ग्रेनी परिणाम को पुनः प्राप्त करना)

n=3n = 3 या n=4n = 4 के लिए, ρ1,ρ2:GQ→GLn(Z2)\rho_1, \rho_2 : G_{\mathbb{Q}} \to \text{GL}_n(\mathbb{Z}_2) 2 के बाहर अपरिवर्तनीय सतत निरूपण, 2-समूह अवशिष्ट प्रतिबिंब के साथ। अभाज्य समुच्चय T={5,7,11,17,23,31},T′={5,7,11,17,19,23,31,73,137,257,337}T = \{5,7,11,17,23,31\}, \quad T' = \{5,7,11,17,19,23,31,73,137,257,337\} समरूपता को निर्धारित करने के लिए उपयोग किया जा सकता है।

मॉड्यूलरिटी अनुप्रयोग

निर्देशक 37 की एबेलियन सतह

एल्गोरिदम ने LMFDB में लेबल 2187.a.6561.1 वाले जीनस 2 वक्र के जैकोबियन की मॉड्यूलरिटी को सत्यापित किया।

निर्देशक 3¹⁰ की एबेलियन सतह

लेबल 59049.a.177147.1 वाले जीनस 2 वक्र के जैकोबियन की मॉड्यूलरिटी को सत्यापित किया।

गणनात्मक दक्षता

  1. मेमोरी उपयोग: 52GB से 600MB तक कम किया गया (अनुकूलित उप-मॉड्यूल गणना के माध्यम से)
  2. विस्तार क्षेत्र आकार: सैद्धांतिक सीमा से महत्वपूर्ण रूप से छोटा
  3. व्यावहारिक व्यवहार्यता: 3-एडिक फाल्टिंग्स-सेरे विधि के स्वचालित अनुप्रयोग को पहली बार कार्यान्वित किया

संबंधित कार्य

ऐतिहासिक विकास

  1. फाल्टिंग्स (1983): मूल सैद्धांतिक ढाँचा स्थापित किया
  2. सेरे: GL₂(ℚ₂) स्थिति के लिए गणनात्मक विधि प्रस्तावित की
  3. लिवने (1987): 2-एडिक 2-आयामी अवशिष्ट अपचनीय स्थिति तक विस्तारित
  4. ग्रेनी (2007): किसी भी p-एडिक n-आयामी स्थिति तक सामान्यीकृत
  5. दुआन (2021): विशेष संरचना के भिन्न विधि का उपयोग

इस पेपर की स्थिति

यह पेपर ग्रेनी के सामान्य सिद्धांत को कार्यान्वित करने वाला पहला पूरी तरह स्वचालित एल्गोरिदम है, और वास्तविक मॉड्यूलरिटी समस्याओं में सफलतापूर्वक लागू किया गया है।

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. सैद्धांतिक योगदान: अवशिष्ट अपचनीय स्थिति में गैलोइस निरूपण तुलना के स्वचालन को सफलतापूर्वक कार्यान्वित किया
  2. गणनात्मक सफलता: सुधारे हुए विस्तार क्षेत्र निर्माण के माध्यम से गणनात्मक जटिलता को महत्वपूर्ण रूप से कम किया
  3. व्यावहारिक अनुप्रयोग: पहली बार 3-एडिक विधि को एबेलियन सतहों की मॉड्यूलरिटी साबित करने के लिए सफलतापूर्वक लागू किया

सीमाएँ

  1. GRH निर्भरता: अधिकांश गणना अभी भी सामान्यीकृत रीमैन परिकल्पना को मानती है
  2. पैरामीटर प्रतिबंध: केवल p-समूह अवशिष्ट प्रतिबिंब वाली स्थितियों के लिए लागू
  3. गणनात्मक जटिलता: बड़े पैरामीटर के लिए अभी भी बहुत अधिक गणना की आवश्यकता है

भविष्य की दिशाएँ

  1. GRH से बचना: अधिक स्थितियाँ खोजना जहाँ GRH की आवश्यकता नहीं है
  2. एल्गोरिदम अनुकूलन: गणनात्मक जटिलता को और कम करना
  3. अनुप्रयोग विस्तार: अधिक मॉड्यूलरिटी समस्याओं में लागू करना
  4. डेटाबेस निर्माण: सामान्य पैरामीटर के लिए पूर्व-गणना डेटाबेस बनाना

गहन मूल्यांकन

शक्तियाँ

  1. सिद्धांत और व्यवहार का संयोजन: गहरे सैद्धांतिक परिणामों को व्यावहारिक एल्गोरिदम में परिवर्तित करना
  2. तकनीकी नवाचार: मेमोरी अनुकूलन और एल्गोरिदम डिजाइन में महत्वपूर्ण नवाचार
  3. व्यावहारिक मूल्य: ठोस मॉड्यूलरिटी समस्याओं को हल करना, विधि की व्यावहारिकता साबित करना
  4. ओपन सोर्स योगदान: पूर्ण कोड कार्यान्वयन प्रदान करना, अनुसंधान पुनरुत्पादन को बढ़ावा देना

कमजोरियाँ

  1. गणनात्मक सीमाएँ: बड़े पैरामीटर के लिए अभी भी अव्यावहारिक
  2. सैद्धांतिक धारणाएँ: GRH जैसी अप्रमाणित धारणाओं पर बहुत अधिक निर्भरता
  3. लागू क्षेत्र: केवल विशिष्ट प्रकार के गैलोइस निरूपणों तक सीमित

प्रभाव

  1. शैक्षणिक मूल्य: बीजगणितीय संख्या सिद्धांत में गणनात्मक समस्याओं के लिए नए उपकरण प्रदान करता है
  2. व्यावहारिक मूल्य: दीर्घवृत्ताकार वक्र और एबेलियन सतहों की मॉड्यूलरिटी सत्यापन के लिए उपयोग किया जा सकता है
  3. पद्धति योगदान: सैद्धांतिक परिणामों को कैसे एल्गोरिदमीकृत किया जाए इसका उदाहरण प्रदान करता है

लागू परिदृश्य

  1. मॉड्यूलरिटी सत्यापन: दीर्घवृत्ताकार वक्र और एबेलियन सतहों की मॉड्यूलरिटी प्रमाण
  2. गैलोइस निरूपण तुलना: विशिष्ट पैरामीटर के तहत निरूपण समरूपता निर्धारण
  3. सैद्धांतिक सत्यापन: ज्ञात परिणामों का गणनात्मक सत्यापन

संदर्भ

पेपर 17 महत्वपूर्ण संदर्भों का हवाला देता है, जिसमें फाल्टिंग्स का मौलिक कार्य, ग्रेनी का सैद्धांतिक योगदान, और संबंधित गणनात्मक विधि विकास शामिल हैं। विशेष रूप से महत्वपूर्ण ग्रेनी (2007) का मूल सिद्धांत और वैन गीमन-टॉप (1994) द्वारा प्रदान किए गए परीक्षण उदाहरण हैं।