2025-11-10T03:00:54.098960

Greenberg's conjecture and Iwasawa module of Real biquadratic fields I

Chems-Eddin
The main aim of this paper is to investigate Greenberg's conjecture for real biquadratic fields. More precisely, we propose the following problem: What are real biquadratic number fields $k$ such that ${\rm rank}(A(k_\infty)) = {\rm rank}(A(k_1))$?, where $A(k_\infty)$ is the $2$-Iwasawa module of $k$ and $A(k_1)$ is the $2$-class group of $k_1$ the first layer of the cyclotomic $\mathbb Z_2$-extension of $k$. Moreover, we give several families of real biquadratic fields $k$ such that $A(k_\infty)$ is trivial or isomorphic to $\mathbb Z/2^{n} \mathbb Z$ or $\mathbb Z/2\mathbb Z \times\mathbb Z/2^n \mathbb Z$, where $n$ is a given positive integer. The reader can also find some results concerning the $2$-rank of the class group of certain real triquadratic fields.
academic

ग्रीनबर्ग का अनुमान और वास्तविक द्विघात क्षेत्रों का इवासावा मॉड्यूल I

मूल जानकारी

  • पेपर ID: 2503.15727
  • शीर्षक: ग्रीनबर्ग का अनुमान और वास्तविक द्विघात क्षेत्रों का इवासावा मॉड्यूल I
  • लेखक: मोहम्मद महमूद चेम्स-एद्दीन
  • वर्गीकरण: math.NT (संख्या सिद्धांत)
  • प्रकाशन समय: 25 अक्टूबर 2025 (arXiv v2)
  • पेपर लिंक: https://arxiv.org/abs/2503.15727

सारांश

यह पेपर वास्तविक द्विघात द्विघात क्षेत्रों के ग्रीनबर्ग अनुमान का अध्ययन करने का उद्देश्य रखता है। विशेष रूप से, लेखक निम्नलिखित प्रश्न प्रस्तुत करते हैं: कौन से वास्तविक द्विघात संख्या क्षेत्र kk संतुष्ट करते हैं rank(A(k∞))=rank(A(k1))\text{rank}(A(k_\infty)) = \text{rank}(A(k_1))? जहाँ A(k∞)A(k_\infty) kk का 2-इवासावा मॉड्यूल है, और A(k1)A(k_1) kk के चक्रीय Z2\mathbb{Z}_2-विस्तार के पहली परत k1k_1 का 2-वर्ग समूह है। इसके अतिरिक्त, लेखक कई वास्तविक द्विघात द्विघात क्षेत्र परिवारों को प्रस्तुत करते हैं, जहाँ A(k∞)A(k_\infty) तुच्छ है या Z/2nZ\mathbb{Z}/2^n\mathbb{Z} या Z/2Z×Z/2nZ\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^n\mathbb{Z} के समरूप है, जहाँ nn एक दिया गया धनात्मक पूर्णांक है।

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

समस्या की महत्ता

  1. ग्रीनबर्ग अनुमान की केंद्रीय स्थिति: 1976 में ग्रीनबर्ग का अनुमान यह दावा करता है कि पूर्ण वास्तविक संख्या क्षेत्रों के चक्रीय Zℓ\mathbb{Z}_\ell-विस्तार के लिए, इवासावा अपरिवर्तनीय μ\mu और λ\lambda दोनों शून्य के बराबर होने चाहिए। यह बीजगणितीय संख्या सिद्धांत में एक महत्वपूर्ण खुली समस्या है।
  2. पहले से प्राप्त प्रगति की सीमाएं: हालांकि फेरेरो और वाशिंगटन ने सिद्ध किया है कि परिमेय संख्याओं पर एबेलियन संख्या क्षेत्रों के लिए μ\mu-अपरिवर्तनीय हमेशा लुप्त हो जाता है, लेकिन सामान्य पूर्ण वास्तविक संख्या क्षेत्रों के लिए यह अनुमान अभी भी खुला है।
  3. विशेष मामलों के अध्ययन का मूल्य: विशिष्ट संख्या क्षेत्र परिवारों (जैसे वास्तविक द्विघात द्विघात क्षेत्र) का अध्ययन करके, सामान्य मामले को समझने के लिए महत्वपूर्ण अंतर्दृष्टि प्रदान की जा सकती है।

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

लेखक rank(A(k∞))=rank(A(k1))\text{rank}(A(k_\infty)) = \text{rank}(A(k_1)) समानता के सत्य होने की शर्तों का अध्ययन करने का प्रस्ताव देते हैं, जो पहली परत के 2-वर्ग समूह के माध्यम से संपूर्ण इवासावा मॉड्यूल के आकार को नियंत्रित करने की संभावना प्रदान करता है, जिसका महत्वपूर्ण सैद्धांतिक और अनुप्रयोग मूल्य है।

मुख्य योगदान

  1. संपूर्ण वर्गीकरण परिणाम: रूप A), B), C) के वास्तविक द्विघात द्विघात क्षेत्रों KK का संपूर्ण वर्गीकरण दिया गया है जो rank(A(K∞))≤2\text{rank}(A(K_\infty)) \leq 2 और rank(A(K∞))=rank(A(K))\text{rank}(A(K_\infty)) = \text{rank}(A(K)) को संतुष्ट करते हैं (मुख्य प्रमेय 1.4)।
  2. संरचना प्रमेय: विशिष्ट वास्तविक द्विघात द्विघात क्षेत्र परिवारों के इवासावा मॉड्यूल की सटीक संरचना निर्धारित की गई है, जिसमें तुच्छ मामले और ठोस परिमित एबेलियन समूह संरचनाएं शामिल हैं।
  3. गणना विधि: कुछ द्विघात द्विघात क्षेत्रों के इवासावा मॉड्यूल के आकार की प्रभावी गणना के लिए प्रक्रियात्मक विधि प्रदान की गई है।
  4. नए संख्या क्षेत्र परिवारों का निर्माण: अनंत कई वास्तविक द्विघात द्विघात संख्या क्षेत्रों और वास्तविक द्विघात क्षेत्रों का निर्माण किया गया है, जिनके 2-इवासावा मॉड्यूल की रैंक 2 के बराबर है और 4-रैंक 1 के बराबर है।

विधि विवरण

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

वास्तविक द्विघात द्विघात क्षेत्रों K=Q(d1,d2)K = \mathbb{Q}(\sqrt{d_1}, \sqrt{d_2}) का अध्ययन करें, जहाँ K1/KK_1/K QO-क्षेत्र का शाखित विस्तार है, यह निर्धारित करें कि कब rank(A(K∞))=rank(A(K1))\text{rank}(A(K_\infty)) = \text{rank}(A(K_1))।

मुख्य रणनीति

लेखक निम्नलिखित व्यवस्थित विधि अपनाते हैं:

  1. पूर्व-छनन: सबसे पहले सभी ऐसे क्षेत्रों को बाहर निकालें जहाँ KK और K1K_1 QO-क्षेत्र नहीं हैं या K1/KK_1/K 2 पर शाखित नहीं है।
  2. वर्गीकरण ढांचा: कॉनर-हरेलब्रिंक और कुचेरा के परिणामों के आधार पर, शर्तों को संतुष्ट करने वाले क्षेत्रों को छह रूपों A)-F) में विभाजित करें।
  3. रैंक विश्लेषण: प्रत्येक रूप के लिए, rank(A(K))≤2\text{rank}(A(K)) \leq 2 की शर्तें निर्धारित करें, फिर समानता rank(A(K))=rank(A(K1))\text{rank}(A(K)) = \text{rank}(A(K_1)) का अध्ययन करें।

तकनीकी उपकरण

QO-क्षेत्र सिद्धांत

परिभाषा 1.1: एक संख्या क्षेत्र kk को QO-क्षेत्र कहा जाता है, यदि यह किसी संख्या क्षेत्र k′k' का द्विघात विस्तार है जिसकी वर्ग संख्या विषम है।

इस अवधारणा का परिचय 2-वर्ग समूह की रैंक के विश्लेषण को सरल बनाता है, क्योंकि QO-विस्तार k/k′k/k' के लिए: rank(A(k))=tk/k′−1−ek/k′\text{rank}(A(k)) = t_{k/k'} - 1 - e_{k/k'} जहाँ tk/k′t_{k/k'} शाखित अभाज्य आदर्शों की संख्या है, ek/k′e_{k/k'} इकाई समूह से संबंधित है।

मानदंड अवशेष प्रतीक तकनीक

लेखक मानदंड अवशेष प्रतीक (⋅,⋅)(\cdot, \cdot) का व्यापक उपयोग करते हैं इकाई समूह की भागफल संरचना की गणना के लिए, जो ek/k′e_{k/k'} निर्धारित करने का मुख्य उपकरण है।

फुकुडा प्रमेय का अनुप्रयोग

लेम्मा 2.3: यदि कोई पूर्णांक n≥n0n \geq n_0 मौजूद है जैसे कि rank(A(kn))=rank(A(kn+1))\text{rank}(A(k_n)) = \text{rank}(A(k_{n+1})), तो सभी m≥nm \geq n के लिए rank(A(km))=rank(A(kn))\text{rank}(A(k_m)) = \text{rank}(A(k_n))।

यह स्थिरता सुनिश्चित करता है, जिससे सीमित चरणों की गणना के माध्यम से संपूर्ण टावर के व्यवहार को निर्धारित किया जा सकता है।

मुख्य परिणाम

मुख्य प्रमेय 1.4 की मूल सामग्री

रूप A), B), C) के वास्तविक द्विघात द्विघात क्षेत्रों KK के लिए (K≠LK \neq L), rank(A(K∞))≤2\text{rank}(A(K_\infty)) \leq 2 और rank(A(K∞))=rank(A(K))\text{rank}(A(K_\infty)) = \text{rank}(A(K)) यदि और केवल यदि KK निम्नलिखित 29 रूपों में से एक है:

विशिष्ट परिणाम उदाहरण

  1. तुच्छ इवासावा मॉड्यूल:
    • K=Q(q,r)K = \mathbb{Q}(\sqrt{q}, \sqrt{r}), जहाँ q≡3(mod4)q \equiv 3 \pmod{4}, rr अभाज्य है और संतुष्ट करता है:
      • r≡3,5(mod8)r \equiv 3, 5 \pmod{8}, या
      • r≡7(mod8)r \equiv 7 \pmod{8} और q≡3(mod8)q \equiv 3 \pmod{8}
    • इस स्थिति में A(K∞)=0A(K_\infty) = 0
  2. रैंक 1 के मामले:
    • K=Q(q,rs)K = \mathbb{Q}(\sqrt{q}, \sqrt{rs}), जहाँ q≡3(mod4)q \equiv 3 \pmod{4}, r,sr, s अभाज्य हैं और (qs)=(qr)=−1(\frac{q}{s}) = (\frac{q}{r}) = -1, विशिष्ट सर्वांगसमता शर्तों को संतुष्ट करते हैं
    • इस स्थिति में rank(A(K∞))=1\text{rank}(A(K_\infty)) = 1
  3. रैंक 2 के मामले:
    • K=Q(q,rs)K = \mathbb{Q}(\sqrt{q}, \sqrt{rs}), जहाँ q≡3(mod4)q \equiv 3 \pmod{4}, r,sr, s अभाज्य हैं और (qr)=(qs)=1(\frac{q}{r}) = (\frac{q}{s}) = 1, r≡s≡3,5(mod8)r \equiv s \equiv 3, 5 \pmod{8}
    • इस स्थिति में rank(A(K∞))=2\text{rank}(A(K_\infty)) = 2

संरचना प्रमेय

प्रमेय 4.2

K=Q(q,rs)K = \mathbb{Q}(\sqrt{q}, \sqrt{rs}) के लिए (r≡s≡q≡3(mod4)r \equiv s \equiv q \equiv 3 \pmod{4} तीन भिन्न अभाज्य हैं), A(K∞)≅Z/2ZA(K_\infty) \cong \mathbb{Z}/2\mathbb{Z} यदि और केवल यदि विशिष्ट लेजेंड्रे प्रतीक शर्तें संतुष्ट होती हैं।

प्रमेय 4.4

विशिष्ट शर्तों के तहत, A(K∞)≅A(K)≅Z/2m−1ZA(K_\infty) \cong A(K) \cong \mathbb{Z}/2^{m-1}\mathbb{Z}, जहाँ mm को h2(qrs)=2mh_2(qrs) = 2^m द्वारा निर्धारित किया जाता है।

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

1. व्यवस्थित वर्गीकरण विधि

लेखक ने पहली बार वास्तविक द्विघात द्विघात क्षेत्रों का इतना संपूर्ण और व्यवस्थित वर्गीकरण किया है, जो सभी संभावित मामलों को शामिल करता है।

2. मानदंड अवशेष प्रतीक का सूक्ष्म अनुप्रयोग

विभिन्न मानदंड अवशेष प्रतीकों की विस्तृत गणना के माध्यम से, लेखक इकाई समूह भागफल की संरचना को सटीक रूप से निर्धारित कर सकते हैं, जो ek/k′e_{k/k'} की गणना के लिए महत्वपूर्ण है।

3. बहु-स्तरीय आगमनात्मक विश्लेषण

लेखक न केवल आधार क्षेत्र का विश्लेषण करते हैं, बल्कि पहली परत K1K_1 की संरचना का गहराई से अध्ययन करते हैं, विभिन्न परतों के गुणों की तुलना के माध्यम से निष्कर्ष निकालते हैं।

4. रचनात्मक विधि

न केवल अस्तित्व परिणाम दिए गए हैं, बल्कि ठोस निर्माण विधि और गणना कार्यक्रम भी प्रदान किए गए हैं।

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

गणना सत्यापन

लेखक ने सैद्धांतिक परिणामों को सत्यापित करने के लिए व्यापक ठोस गणनाएं की हैं, जिनमें शामिल हैं:

  • इकाई समूह संरचना की गणना
  • वर्ग संख्या सूत्र का अनुप्रयोग
  • मानदंड अवशेष प्रतीकों का संख्यात्मक सत्यापन

ठोस उदाहरण

पेपर में कई ठोस संख्या क्षेत्र के उदाहरण दिए गए हैं, जो विभिन्न स्थितियों में इवासावा मॉड्यूल की संरचना को प्रदर्शित करते हैं।

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

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

  1. इवासावा सिद्धांत की नींव: इवासावा ने 1959 में मूल ढांचा स्थापित किया
  2. ग्रीनबर्ग अनुमान: 1976 में प्रस्तुत, आज भी खुली समस्या है
  3. फेरेरो-वाशिंगटन प्रमेय: एबेलियन क्षेत्र मामले में μ=0\mu = 0 को सिद्ध किया
  4. हाल की प्रगति: कई विद्वानों ने विशेष संख्या क्षेत्र परिवारों का अध्ययन किया है

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

यह पेपर इस क्षेत्र में महत्वपूर्ण प्रगति है, पहली बार वास्तविक द्विघात द्विघात क्षेत्रों के संपूर्ण वर्गीकरण परिणाम दिए गए हैं।

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

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

  1. शर्तों को संतुष्ट करने वाले 29 प्रकार के वास्तविक द्विघात द्विघात क्षेत्रों का संपूर्ण वर्गीकरण दिया गया है
  2. संबंधित इवासावा मॉड्यूल की सटीक संरचना निर्धारित की गई है
  3. इन मामलों में ग्रीनबर्ग अनुमान सिद्ध किया गया है (μ=λ=0\mu = \lambda = 0)

सीमाएं

  1. केवल रूप A), B), C) के क्षेत्रों को संभाला गया है, रूप D), E), F) भविष्य के कार्य के लिए छोड़े गए हैं
  2. मुख्य रूप से 2-इवासावा सिद्धांत पर केंद्रित है, विषम अभाज्य मामलों को शामिल नहीं किया गया है
  3. कुछ तकनीकी गणनाएं काफी जटिल हैं, संभवतः आगे सरलीकरण की गुंजाइश है

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

  1. रूप D), E), F) के विश्लेषण को पूरा करें
  2. अधिक सामान्य बहु-द्विघात क्षेत्रों तक विस्तार करें
  3. विषम अभाज्य मामलों में समान समस्याओं का अध्ययन करें

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

शक्तियां

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

कमियां

  1. गणना जटिलता अधिक है: कुछ प्रमाणों में बड़ी संख्या में मामलों का विश्लेषण और प्रतीकात्मक गणना शामिल है
  2. पूर्णता सीमित है: केवल आंशिक मामलों को संभाला गया है, भविष्य के कार्य की आवश्यकता है
  3. पठनीयता चुनौती: तकनीकी विवरण अधिक हैं, गैर-विशेषज्ञ पाठकों के लिए कुछ बाधा है

प्रभाव

  1. शैक्षणिक मूल्य: इवासावा सिद्धांत और वर्ग क्षेत्र सिद्धांत के लिए महत्वपूर्ण ठोस परिणाम प्रदान करता है
  2. पद्धति योगदान: प्रयुक्त विधियों को अन्य संख्या क्षेत्र परिवारों के अध्ययन में सामान्यीकृत किया जा सकता है
  3. गणना उपकरण: प्रभावी गणना ढांचा प्रदान करता है, व्यावहारिक मूल्य है

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

  1. बीजगणितीय संख्या सिद्धांत अनुसंधान, विशेष रूप से इवासावा सिद्धांत
  2. वर्ग क्षेत्र सिद्धांत के ठोस अनुप्रयोग
  3. गणनात्मक संख्या सिद्धांत में एल्गोरिदम डिजाइन

संदर्भ

पेपर 44 संबंधित संदर्भों का हवाला देता है, जो इवासावा सिद्धांत, वर्ग क्षेत्र सिद्धांत, द्विघात क्षेत्र सिद्धांत और अन्य कई पहलुओं के शास्त्रीय और नवीनतम अनुसंधान परिणामों को शामिल करता है, जो इस क्षेत्र में लेखक की गहन समझ और व्यापक ज्ञान को प्रदर्शित करता है।

समग्र मूल्यांकन: यह एक उच्च गुणवत्ता वाला संख्या सिद्धांत अनुसंधान पेपर है, जो ग्रीनबर्ग अनुमान जैसी महत्वपूर्ण समस्या पर वास्तविक प्रगति प्राप्त करता है। हालांकि तकनीकी रूप से मजबूत है, लेकिन विधि कठोर है, परिणाम स्पष्ट हैं, और इस क्षेत्र के विकास में महत्वपूर्ण प्रेरक भूमिका निभाता है।