On the Argument of the Lerch, Chowla--Selberg Formula and CM Values of $\eta(\tau)$

तकनीकी सारांश: लेरच, चावला-सेलबर्ग सूत्र के तर्क (Argument) और $\eta(\tau)$ के CM मानों पर

समस्या विवरण
यह शोध पत्र कॉम्प्लेक्स मल्टीप्लिकेशन (CM) बिंदुओं पर डेडिकेड डेडेकिंड एटा फलन $\eta(\tau)$ के स्पष्ट मूल्यांकन को संबोधित करता है। जबकि शास्त्रीय लेरच-चावला-सेलबर्ग सूत्र एक दिए गए विविक्तता (discriminant) $D$ के CM बिंदुओं के एक सेट पर मॉडुलि (moduli) $|\eta(\tau)|$ के गुणनफल के लिए एक स्पष्ट अभिव्यक्ति प्रदान करता है, यह व्यक्तिगत मानों के तर्क (argument/phase) या व्यक्तिगत मानों के स्वयं के गुणनफल को बिना निरपेक्ष मानों (absolute values) के निर्धारित नहीं करता है। लेखक $\eta(\tau)^4$ के गुणनफल (चावला-सेलबर्ग गामा कोटिएंट द्वारा सामान्यीकृत) को बिना निरपेक्ष मानों के पूरी तरह से स्पष्ट रूप से प्रदान करने का प्रयास करते हैं, जिससे इन मानों के तर्क (phase) को अलग किया जा सके। इसके अतिरिक्त, यह शोध पत्र $\eta(\tau)$ के व्यक्तिगत CM मानों की बीजगणितीय प्रकृति की जांच करता है और उनके न्यूनतम बहुपदों (minimal polynomials) और डिग्री के संबंध में सटीक अनुमान (conjectures) तैयार करता है।

कार्यप्रणाली (Methodology)
यह दृष्टिकोण मॉड्यूलर फॉर्म सिद्धांत, बाइनरी क्वाड्रेटिक फॉर्म्स की अंकगणित और स्पष्ट गणना को संयोजित करता है।

1. मॉड्यूलर इनवेरिएंस और प्रतिनिधि (Representatives): लेखक विविक्तता $D$ के क्लास ग्रुप के प्रतिनिधियों $F(D)$ के एक मानक सेट पर एक गुणनफल $P(D)$ को परिभाषित करते हैं। चूंकि $\Im(\tau)|\eta(\tau)|^4$ का पद $SL_2(\mathbb{Z})$-इनवेरिएंट है, इसलिए $P(D)$ का मॉडुलस चावला-सेलबर्ग सूत्र के माध्यम से ज्ञात है। चुनौती गैर-इनवेरिएंट पद $\eta(\tau)^4$ में निहित है।
2. सीमा विश्लेषण (Boundary Analysis): मुख्य प्रमेय का प्रमाण मौलिक डोमेन (fundamental domain) के उन सीमा मामलों के विश्लेषण पर आधारित है जहाँ $\eta(\tau)$ का तर्क गैर-तुच्छ (non-trivial) होता है। विशेष रूप से, लेखक उन क्वाड्रेटिक फॉर्म्स $(a, b, c)$ का परीक्षण करते हैं जहाँ $a=c$ या $a=b$ हो। $\eta(\tau)$ के रूपांतरण गुणों (विशेष रूप से $\eta(-1/\tau)$ और $\eta(\tau+1)$) का उपयोग करते हुए, लेखक इन सीमा रूपों के तर्कों को विशिष्ट रूट्स ऑफ यूनिटी और $\sqrt{D}$ से जुड़े बीजगणितीय कारकों से जोड़ते हैं।
3. अंकगणितीय स्थितियाँ: शोध पत्र $|D|$ के भाजकों (divisors) पर सटीक अंकगणितीय स्थितियाँ स्थापित करता है (जिसे $U(D)$ द्वारा दर्शाया गया है) जो यह निर्धारित करती हैं कि कौन से सीमा मामले तर्क में योगदान देते हैं। इसमें $D$ के 2-एडिक वैल्युएशन (2-adic valuation) का विस्तृत विश्लेषण और 16 और 32 के मॉड्यूल में कॉंग्रुएंस (congruence) की शर्तें शामिल हैं।
4. बीजगणितीय पहचान (Algebraic Recognition): व्यक्तिगत मानों का अध्ययन करने के लिए, लेखक एक बीजगणितीय संख्या $\alpha(\tau)$ को परिभाषित करते हैं ताकि $\eta(\tau)^4$, चावला-सेलबर्ग स्थिरांक और ज्यामितीय कारकों के गुणनफल के समान हो। उच्च-परिशुद्धता संख्यात्मक गणना और बीजगणितीय पहचान एल्गोरिदम (विशेष रूप से Pari/GP में algdep) का उपयोग करके, लेखक $\alpha(\tau)$ के न्यूनतम बहुपदों और डिग्री में पैटर्न की पहचान करने के लिए व्यापक रेंज के विविक्तताओं (discriminants) के लिए $\alpha(\tau)$ की गणना करते हैं।

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

1. तर्क के लिए स्पष्ट सूत्र (प्रमेय 2.1):
   शोध पत्र $P(D) = \prod_{\tau \in F(D)} \eta(\tau)^4 / |\eta(\tau)|^4$ के लिए एक बंद-रूप (closed-form) अभिव्यक्ति व्युत्पन्न करता है। परिणाम इस प्रकार दिया गया है:
   $$P(D) = e^{-(i\pi/6)(|U^-(D)| - 3|U^+(D)|)} \prod_{d \in U^+(D)} \frac{d - \sqrt{D}}{d + \sqrt{D}}$$
   जहाँ $U^+(D)$ और $U^-(D)$ क्रमशः 16 या 32 के मॉड्यूल में $D$ की कॉंग्रुएंस क्लास द्वारा निर्धारित $|D|$ के भाजकों के विशिष्ट उपसमुच्चय हैं।

• अनुcorollary 2.2 विशिष्ट मामलों के लिए सरलीकृत परिणाम प्रदान करता है: यदि $D \equiv 0 \pmod 8$, तो $P(D) = 1$; यदि $D = -p$ ($p \equiv 3 \pmod 4$) या $D = -4p$ ($p \equiv 1 \pmod 4$), तो $P(D) = e^{-2i\pi/12}$।

2. व्यक्तिगत मानों की बीजगणतता (Algebraicity) (प्रमेय 3.2):
   शोध पत्र यह सिद्ध करता है कि किसी भी CM बिंदु $\tau$ के लिए, $\eta(\tau)^4$ एक बीजगणितीय संख्या $\alpha(\tau)$ के बराबर होता है जो ज्ञात चावला-सेलबर्ग स्थिरांक और ज्यामितीय कारकों से गुणा होता है। फलस्वरूप, अनुपात $\eta(\tau)/|\eta(\tau)|$ एक बीजगणितीय संख्या है। इसे बीजगणितीय फूरियर गुणांकों वाले सामान्य मॉड्यूलर फॉर्म $f$ तक विस्तारित किया गया है (प्रस्ताव 3.3)।

3. न्यूनतम बहुपदों पर अनुमान (Conjecture 4.1):
   व्यापक संख्यात्मक डेटा के आधार पर, लेखक $\alpha(\tau)$ (और $\beta(\tau)$ के एक सामान्यीकृत संस्करण) के संबंध में चार अनुमान प्रस्तावित करते हैं:

• पूर्णांकता (Integrality): $a \cdot \alpha(\tau)$ और $a/\alpha(\tau)$ बीजगणetik पूर्णांक (algebraic integers) हैं।
• मानक (Norm): $\alpha(\tau)$ का नॉर्म $\pm 1$ है (संभवतः हमेशा 1 होता है)।
• बहुपद संरचना (Polynomial Structure): $a \cdot \beta(\tau)$ का न्यूनतम बहुपद एक विशिष्ट रूप $B(x^{jm})$ रखता है, जिसका डिग्री $h(D)$ और $h(D)$ के 2-एडिक वैल्युएशन पर निर्भर करता है।
• परिभाषा का क्षेत्र (Field of Definition): $\alpha(\tau)^{\text{lcm}(6, h(D))}$ विविक्तता $D$ के क्वाड्रेटिक ऑर्डर के रिंग क्लास फील्ड में आता है।

4. अनुभवजन्य डेटा (Empirical Data):
   शोध पत्र में एक बड़ी तालिका शामिल है (विविक्तता $-3$से$-180$तक) जो$\alpha(\tau)$, $\beta(\tau)$ और उनके घातों की डिग्री सूचीबद्ध करती है। डेटा इस अनुमान का समर्थन करता है कि इन बीजगणetik संख्याओं की डिग्री लगभग $h(D)^2$ के समानुपाती रूप से बढ़ती है, जो $j(\tau)$ जैसे मॉड्यूलर फंक्शनों के डिग्री की रैखिक वृद्धि के विपरीत है।

महत्व और दावे
लेखक का दावा है कि इस कार्य का प्राथमिक महत्व लेरच-चावला-सेलबर्ग गुणनफल के तर्क के लिए एक "पूरी तरह से स्पष्ट" सूत्र प्रदान करना है, जो निरपेक्ष मानों की अस्पष्टता को दूर करता है। यह $\eta(\tau)$ के चरण (phase) के सटीक निर्धारण की अनुमति देता है।

लेखक अपने अनुमानों को कठोर प्रमाण के बजाय "डेटा की एक उचित मात्रा" से उत्पन्न होने के रूप में विनम्रतापूर्वक प्रस्तुत करते हैं, यह नोट करते हुए कि वे "शायद ज्ञात CM सिद्धांत के परिणामों का उपयोग करके सिद्ध करने में कठिन नहीं हैं।" अनुमानों का महत्व उनके संरचनात्मक विवरण में निहित है, जो $\eta(\tau)$ के मानों की डिग्री और क्लास नंबर के वर्ग के बीच गहरे संबंध का सुझाव देता है, और इन मानों के स्पष्ट भावों को कंप्यूट करने के लिए एक एल्गोरिथम मार्ग प्रदान करता है। यह कार्य शास्त्रीय चावला-सेलबर्ग सूत्र और व्यक्तिगत एटा मानों की स्पष्ट अंकगणित के बीच एक कम्प्यूटेशनल और सैद्धांतिक सेतु के रूप में कार्य करता है।