Vector-Valued Period Polynomials and Zeta Values of Quadratic Fields

तकनीकी सारांश: सदिश-मान वाले आवर्त बहुपद और द्विघात क्षेत्रों के ज़ेटा मान (Vector-Valued Period Polynomials and Zeta Values of Quadratic Fields)

समस्या विवरण
यह शोध पत्र विशेष ज़ेटा फलनों के अंकगणित, विशेष रूप से वास्तविक द्विघात क्षेत्रों (real quadratic fields) के डेडिकेंड ज़ेटा फलन $\zeta_{\mathbb{Q}(\sqrt{D})}(s)$ पर केंद्रित है। हालांकि मॉड्यूलर रूपों और ज़ेटा मानों के बीच का संबंध (विशेष रूप से हीके के आधारभूत कार्य के माध्यम से) अच्छी तरह से स्थापित है, लेखक स्तर संरचना ($\Gamma_0(N)$) की उपस्थिति में इन संबंधों को स्पष्ट रूप से व्यक्त करने का लक्ष्य रखते हैं। केंद्रीय समस्या पूर्णांक तर्कों पर ज़ेटा मानों के लिए बंद-रूप (closed-form) अभिव्यक्तियों को व्युत्पन्न करना है, जिसके लिए बाइनरी द्विघात रूपों से निर्मित सदिश-मान वाले आवर्त बहुपदों (vector-valued period polynomials) के सिद्धांत का उपयोग किया जाता है। विशेष रूप से, यह शोध पत्र $4N$ के वर्गमूल $\pmod{4N}$ के विभिन्न विकल्पों के लिए ज़ेटा मानों के बीच के अंतर और उनके बीजगणितीय एवं अपरिमेय घटकों को अलग करने का प्रयास करता है।

कार्यप्रणाली (Methodology)
लेखक मॉड्यूलर रूपों, बाइनरी द्विघात रूपों और आवर्त बहुपदों के सिद्धांत के संश्लेषण का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. कस्प फॉर्म का निर्माण (Construction of Cusp Forms): पूर्णांक $k \ge 2$, $N \ge 1$, और एक धनात्मक पूर्णांक $D$ (जो $4N$ के वर्ग के तुल्य हो, जिसमें एक निश्चित वर्गमूल $\rho$ निर्धारित हो) के लिए, लेखक $\Gamma_0(N)$ पर स्पष्ट भार $2k$ वाले कस्प फॉर्म $f^{\pm}_{k,N,D,\rho}$ को परिभाषित करते हैं। ये रूप $Q_{N,D,\rho}$ के सेट पर भारित योग के रूप में परिभाषित किए गए हैं, जो कि विवधता (discriminant) $D$ वाले और मध्य गुणांक पर विशिष्ट सर्वांगसमता शर्तों ($b \equiv \rho \pmod{2N}$) वाले $[Na, b, c]$ बाइनरी द्विघात रूपों का समूह है।
2. सदिश-मान वाले आवर्त बहुपद (Vector-Valued Period Polynomials): लेखक इन कस्प फॉर्मों से जुड़े सदिश-मान वाले आवर्त बहुपद $r_f$ की जांच करते हैं। स्केलर आवर्त बहुपदों के विपरीत, सदिश-मान वाला संस्करण $\Gamma_0(N) \backslash \text{SL}_2(\mathbb{Z})$ के कोसेट्स (cosets) को ट्रैक करता है, जिससे उन अंकगणितीय योगदानों को अलग किया जा सकता है जो स्केलर सेटिंग में अदृश्य रहते हैं। इस विश्लेषण में इन बहुपदों को सम (even) और विषम (odd) भागों ($r_f^+$ और $r_f^-$) में विभाजित करना शामिल है।
3. समाकल निरूपण और सीमाएँ (Integral Representations and Limits): मुख्य तकनीकी तंत्र $\int (f|_{2k}A)(z)(X-z)^{2k-2} dz$ जैसे समाकलों के मूल्यांकन में निहित है। कस्प फॉर्मों को द्विघात रूपों के योग के रूप में व्यक्त करके, लेखक इन समाकलों को द्विघात रूपों के मापदंडों (जैसे $a>0>c$ बनाम $a<0<c$) के विशिष्ट क्षेत्रों से योगदान को अलग करने के लिए सीमाओं (limits) में परिवर्तित करते हैं। वे विशिष्ट क्षेत्रों से योगदान को अलग करने के लिए कॉन्टूर इंटीग्रेशन और रेसिड्यू कैलकुलस का उपयोग करते हैं।
4. सममिति और फलन समीकरण (Symmetry and Functional Equations): शोध पत्र फ्रिके इनवोल्यूशन (Fricke involution) $W_N$ और $L$-फलनों के संबद्ध फलन समीकरणों का लाभ उठाता है। विषम और सम भारों के लिए आवर्त बहुपदों के व्यवहार का विश्लेषण करके, लेखक आवर्त बहुपदों के गुणांकों और ज़ेटा फलनों के बीच संबंध व्युत्पन्न करते हैं।

प्रमुख योगदान और परिणाम

• सदिश-मान वाले आवर्त बहुपदों के लिए बंद सूत्र (Theorem 2.1): प्राथमिक परिणाम सदिश-मान वाले आवर्त बहुपद $r^+_{f^+} + r^-_{f^-}$ के लिए एक स्पष्ट बंद सूत्र है। इस सूत्र का पहचान घटक (identity component) विशेष रूप से महत्वपूर्ण है क्योंकि यह दो अलग-अलग भागों में विभाजित होता है:

  • एक बीजगणितीय भाग जो बाइनरी द्विघात रूपों के परिमित योगों से उत्पन्न होता है जहाँ गुणांक विशिष्ट चिह्न स्थितियों ($a>0>c$ और $a<0<c$) को संतुष्ट करते हैं।
  • एक ज़ेटा भाग जिसमें $\Gamma_0(N)$-तुल्यता वर्गों से निर्मित आंशिक ज़ेटा फलनों $\zeta_{N,D,\rho}(s)$ के $s=k$ पर मान शामिल हैं।
    यह एक "लेवल-$N$ आवर्त-ज़ेटा संबंध" स्थापित करता है, जो आवर्त बहुपद गुणांकों को द्विघात-रूप योगों और स्पष्ट रूप से सामान्यीकृत ज़ेटा मानों के रूप में व्यक्त करता है।

• ज़ेटा मानों के अंतर का मूल्यांकन (Theorem 2.2): विषम पूर्णांक $k$ के लिए, लेखक $\zeta_{N,D,\rho}(k) - \zeta_{N,D,-\rho}(k)$ के अंतर के लिए एक बंद सूत्र व्युत्पन्न करते हैं। यह परिणाम सर्वांगसमता शर्त $\rho$ के योगदान को अलग करता है और प्रदर्शित करता है कि कैसे फ्रिके सममिति और सम/विषम अपघटन, आवर्तों के बीच एक गैर-तुच्छ अंकगणितीय पहचान में परिवर्तित होते हैं। इस अंतर को बर्नौली संख्याओं, द्विघात रूपों के एक परिमित योग, और $N$ तथा $D$ की घातों के रूप में स्पष्ट रूप से व्यक्त किया गया है।

• डेडिकेंड ज़ेटा फलनों के लिए परिमित भाजक-योग सूत्र (Theorem 2.3): निचले स्तरों पर फ्रिके-अपरिवर्तनीय कस्प फॉर्मों पर एक लुप्त होने की स्थिति (विशेष रूप से, यह मानते हुए कि सभी विभाजकों $d$ के लिए $S^+_{2k}(N/d) = \{0\}$ है) के तहत, शोध पत्र सम पूर्णांकों $k$ के लिए डेडिकेंड ज़ेटा मान $\zeta_{\mathbb{Q}(\sqrt{D})}(k)$ के लिए एक स्पष्ट परिमित भाजक-योग सूत्र प्रदान करता है। यह सूत्र स्तर संरचना और सर्वांगसमता प्रतिबंधों को शामिल करते हुए, विभाजक फलनों $\sigma_{k-1}$ और द्विघात रूपों के मध्य गुणांक पर सर्वांगसमता स्थितियों के साथ हेके-प्रकार के मूल्यांकनों को परिष्कृत करता है।

महत्व और दावे
शोध पत्र का दावा है कि यह मॉड्यूलर रूपों, बाइनरी द्विघात रूपों और संख्या क्षेत्रों के बीजगणितीय इनवेरिएंट्स के बीच के संबंधों को स्पष्ट बनाता है। सदिश-मान वाले आवर्त बहुपदों को बंद रूप में गणना करके, लेखक ज़ेटा मानों के लिए स्पष्ट अभिव्यक्तियाँ उत्पन्न करने के लिए एक तंत्र प्रदान करते हैं जो उनकी सममिति को प्रकट करती हैं।

लेखक अपने कार्य को मौजूदा सिद्धांतों के परिशोधन के रूप में प्रस्तुत करते हैं:

• वे स्तर संरचनाओं को प्रभावी ढंग से संभालने के लिए शास्त्रीय आवर्त बहुपदों के सिद्धांत को सदिश-मान वाले परिवेश में विस्तारित करते हैं।
• वे प्रदर्शित करते हैं कि कैसे निश्चित विवधता वाले द्विघात रूपों के योगों का उपयोग करके अंकगणितीय मात्राओं के स्पष्ट सूत्र प्राप्त किए जा सकते हैं, जो ज़ागियर (Zagier) के कार्य पर आधारित है।
• $\zeta_{\mathbb{Q}(\sqrt{D})}(k)$ के लिए व्युत्पन्न सूत्रों को गणना योग्य अभिव्यक्तियों के रूप में प्रस्तुत किया गया है जो दर्शाते हैं कि जब स्तर संरचना मौजूद होती है तो आवर्त विधियों की शक्ति क्या होती है।

शोध पत्र प्रस्तावित परिमित भाजक-योग सूत्रों का उपयोग करके इन मानों की स्पष्ट गणना करने के लिए प्रस्तावित सिद्धांतों की प्रयोज्यता की पुष्टि करने हेतु $\zeta_{\mathbb{Q}(\sqrt{17})}(2)$ और $\zeta_{\mathbb{Q}(\sqrt{145})}(2)$ के मूल्यांकन के ठोस उदाहरण प्रदान करके समाप्त होता है।