🔢 mathematics

An Analogue of the Dedekind Eta Function for Hecke Groups $H(\sqrt{D})$

यह शोधपत्र वास्तविक द्विघात क्षेत्रों (real quadratic fields) से संबद्ध हेके समूहों $H(\sqrt{D})$ के लिए डेडेकइंड एटा फलन (Dedekind eta function) का एक सादृश्य निर्मित करता है, नए होलोमॉर्फिक मॉड्यूलर फलनों को स्थापित करता है और उनके फूरियर गुणांकों (Fourier coefficients) की स्पर्शोन्मुखी वृद्धि (asymptotic growth) और चिह्न पैटर्न का विश्लेषण करता है।

मूल लेखक: Debmalya Basak, Dorian Goldfeld, Winston Heap, Nicolas Robles, Alexandru Zaharescu

प्रकाशित 2026-03-17

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Debmalya Basak, Dorian Goldfeld, Winston Heap, Nicolas Robles, Alexandru Zaharescu

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक संगीतकार हैं जो एक नया सिम्फनी (symphony) रचने की कोशिश कर रहे हैं। आपके पास अतीत का एक प्रसिद्ध, पूर्ण संगीत है जिसे डेडेकिंड एटा फलन (Dedekind Eta function) कहा जाता है। यह एक "स्वर्ण मानक" (Golden Standard) धुन की तरह है जिसका एक सदी से अधिक समय से अध्ययन किया जा रहा है। इस धुन का एक विशेष गुण है: यदि आप इसे एक निश्चित तरीके से बजाते हैं (परिवर्तित करते हैं), तो यह थोड़ा बदल जाती है लेकिन इसकी आत्मा बरकरार रहती है। गणितज्ञ इसे मॉड्यूलरिटी (modularity) कहते हैं।

लंबे समय तक, यह "स्वर्ण मानक" केवल एक विशिष्ट प्रकार के संख्यात्मक समूह (मॉड्यूलर ग्रुप, जो संख्या 1 से संबंधित है) के लिए ही काम करता था। लेकिन क्या होगा अगर आप एक अलग, अधिक जटिल संख्यात्मक समूह के लिए एक समान उत्कृष्ट कृति बनाना चाहें? विशेष रूप से, वे समूह जो 5, 13 या 17 जैसी संख्याओं के वर्गमूलों से संबंधित हैं?

यही वह काम है जो इस शोध पत्र के लेखकों ने किया। उन्होंने एक नया वाद्य यंत्र (एक नया गणितीय फलन) बनाया जो डेडेकिंड एटा फलन की तरह कार्य करता है, लेकिन इन नए, अधिक जटिल समूहों के लिए।

यहाँ उनके सफर का विवरण दिया गया है, जिसमें सरल उपमाओं का उपयोग किया गया है:

1. नया वाद्य यंत्र (The Analogue)

लेखकों ने एक फलन बनाया जिसे वे $\eta_D(z)$ कहते हैं।

पुराना तरीका: मूल डेडेकिंड फलन संख्याओं की एक अनंत श्रृंखला को आपस में गुणा करके बनाया जाता है, जैसे कि एक जंजीर: $(1-q)(1-q^2)(1-q^3)...$
नया तरीका: अपने नए फलन को "हीके ग्रुप्स" (नए संगीत समूहों) के लिए काम करने योग्य बनाने के लिए, उन्हें इस जंजीर को मोड़ना पड़ा। उन्होंने $D$ (जैसे 5 या 13) के गुणों पर आधारित एक विशेष "फ़िल्टर" जोड़ा। जंजीर के कुछ लिंकों को धनात्मक चिह्न मिला, कुछ को ऋणात्मक, और कुछ को जटिल "रूट्स ऑफ यूनिटी" (सोचिए कि ये एक पहिये पर सुरों को घुमा रहे हैं) से गुणा किया गया।
परिणाम: यह नई जंजीर, $\eta_D(z)$ , खूबसूरती से व्यवहार करती है। यदि आप इस पर नए समूह के नियम लागू करते हैं, तो यह बिल्कुल उसी तरह रूपांतरित होती है जैसे मूल फलन हुआ था। उन्होंने यहाँ तक कि इसका एक "सुपर-वर्जन" बनाया जिसे $\Delta_D(z)$ ( $\eta_D$ की घात बढ़ाकर) कहा जाता है, जो इस नई दुनिया के लिए प्रसिद्ध रामानुजन फलन की तरह ही कार्य करता है।

2. सुरों का रहस्य (The Coefficients)

प्रत्येक संगीत रचना को व्यक्तिगत सुरों में तोड़ा जा सकता है। गणित में, इन सुरों को फूरियर गुणांक (Fourier coefficients) (आइए हम इन्हें $a_D(N)$ कहें) कहा जाता है।

प्रश्न: जब आप यह नया सिम्फनी बजाते हैं, तो इसके सुर कैसे दिखते हैं? क्या वे एक अनुमानित तरीके से बढ़ते जाते हैं? क्या वे बेतरतीब ढंग से ऊपर-नीचे होते हैं?
खोज: लेखकों ने पाया कि ये सुर अविश्वसनीय रूप से तेजी से बढ़ते हैं—घातांकीय रूप से (exponentially)—जैसे बैक्टीरिया की आबादी। लेकिन यह केवल यादृच्छिक शोर (random noise) नहीं है। इन सुरों की एक बहुत ही विशिष्ट लय है।
- वृद्धि (Growth): नोट का आकार $N$ लगभग $\sqrt{N}$ वाले सूत्र द्वारा निर्धारित होता है। यह एक लहर की तरह है जो आगे बढ़ने के साथ ऊँची और ऊँची होती जाती है।
- चिह्न पैटर्न (Sign Pattern): ये सुर केवल बड़े ही नहीं होते; वे धनात्मक और ऋणात्मक के बीच बदलते रहते हैं। यह "चिह्न पैटर्न" है। लेखकों ने खोजा कि यह बदलाव यादृच्छिक अराजकता नहीं है। यह एक सख्त, दोहराते चक्र का पालन करता है जो उस विशिष्ट समूह में सबसे छोटी संख्या द्वारा निर्धारित होता है जिसे वर्ग (square) नहीं माना जा सकता (जिसे "लीस्ट क्वाड्रेटिक नॉन-रेसिड्यू" कहा जाता है)।
- उपमा: कल्पना कीजिए कि एक पेंडुलम झूल रहा है। कुछ संख्याओं (जैसे $D=17$ ) के लिए, पेंडुलम एक सरल "बाएँ, दाएँ, दाएँ" पैटर्न में झूलता है। अन्य के लिए, जैसे $D=5$ , यह बहुत अधिक टेढ़ा-मेढ़ा और जटिल है क्योंकि इसमें "द्वितीयक लहरें" (secondary waves) मुख्य झूल में हस्तक्षेप कर रही हैं।

3. "द्वितीयक लहरें" ( $D=5$ क्यों विशेष है)

लेखकों ने $D=5$ के मामले में एक दिलचस्प बात देखी।

अधिकांश मामलों में, एक विशाल "मुख्य लहर" होती है जो सुरों के आकार को नियंत्रित करती है।
लेकिन $D=5$ के लिए, एक दूसरी लहर है जो पहली लहर के लगभग बराबर बड़ी है। यह ऐसा है जैसे दो ड्रमर लगभग एक ही वॉल्यूम पर बज रहे हों। वे एक-दूसरे के साथ हस्तक्षेप करते हैं, जिससे एक "टेढ़ा-मेढ़ा" या "उबड़-खाबड़" स्वर (गणितीय रूप से, एक जगड ग्राफ) उत्पन्न होता है।
लेखकों ने इस उबड़-खाबड़ व्यवहार को समझाने के लिए एक विस्तृत "दो-पद" (two-term) सूत्र लिखा, जो दिखाता है कि ये दो लहरें वास्तव में कैसे परस्पर क्रिया करती हैं। यह संगीत के "शोर" को देखने का एक दुर्लभ और विस्तृत दृष्टिकोण है।

4. विभाजनों (Partitions) से जुड़ाव

अंत में, लेखकों ने अपने नए संगीत सुरों और विभाजनों (partitions) के बीच एक आश्चर्यजनक संबंध पाया।

"विभाजन" केवल एक संख्या को छोटी संख्याओं के योग के रूप में तोड़ने का एक तरीका है (उदाहरण के लिए, 4 को 1+1+1+1, या 2+2, या 3+1, आदि के रूप में लिखा जा सकता है)।
लेखकों ने दिखाया कि उनके जटिल नए सुर ( $a_D(N)$ ) को विशिष्ट प्रकार के विभाजनों को गिनकर निकाला जा सकता है, लेकिन एक ट्विस्ट के साथ: वे केवल उन विभाजनों को गिनते हैं जहाँ टुकड़े विशिष्ट नियमों का पालन करते हैं (जैसे केवल वे संख्याएँ जिनका उपयोग किया जा सकता है जो $D$ के modulo में "नॉन-रेसिड्यू" हैं)।
उपमा: यह कहने जैसा है कि, "इस नए सिम्फनी की ध्वनि वास्तव में लेगो (Lego) ईंटों से टावर बनाने के कुल तरीकों की संख्या है, लेकिन आप केवल लाल और नीली ईंटों का उपयोग कर सकते हैं, और आप ऐसी किसी भी ईंट का उपयोग नहीं कर सकते जो 5 का गुणज हो।"

सारांश

संक्षेप में, यह शोध पत्र एक पुराने, प्रसिद्ध यंत्र पर आधारित एक नया, जटिल वाद्य यंत्र बनाने के बारे में है। लेखकों ने:

यंत्र का निर्माण किया (नया फलन)।
सिद्ध किया कि यह सही सुर बजाता है (modularity)।
ध्वनि तरंगों का विश्लेषण किया (गुणांकों की वृद्धि और चिह्न पैटर्न)।
खोजा कि ध्वनि एक विशाल लहर और एक थोड़ी छोटी हस्तक्षेप करने वाली लहर का मिश्रण है (विशेष रूप से $D=5$ के लिए)।
ध्वनि को पहेली के टुकड़ों को गिनने की कला (partitions) से जोड़ा।

उन्होंने गणितज्ञों को इन जटिल समूहों में संख्याओं की छिपी हुई लय को समझने के लिए एक नया उपकरण दिया है, यह प्रकट करते हुए कि संख्याओं के इन अराजक दिखने वाले अनुक्रमों में भी, सुनने के लिए एक सुंदर, अनुमानित संरचना मौजूद है।

यहाँ बासक, गोल्डफेल्ड, हीप, रोबल्स और ज़ाहारेसकु के शोध पत्र "An Analogue of the Dedekind Eta Function for Hecke Groups $H(\sqrt{D})$ " का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और प्रेरणा

यह शोध पत्र हीके समूहों (Hecke groups) $H(\lambda)$ के लिए होलोमॉर्फिक मॉड्यूलर फॉर्म के निर्माण को संबोधित करता है, विशेष रूप से जहाँ $\lambda = \sqrt{D}$ और $D \equiv 1 \pmod 4$ एक वास्तविक द्विघाती क्षेत्र (real quadratic field) का मौलिक विविक्ततांक (fundamental discriminant) है।

संदर्भ: जबकि शास्त्रीय डेडेकइंड एटा फलन $\eta(z)$ और रामानुजन कस्प फॉर्म $\Delta(z)$ मॉड्यूलर समूह $SL(2, \mathbb{Z})$ के सिद्धांत के लिए मौलिक हैं, $\lambda > 2$ वाले हीके समूहों (जो अनंत क्षेत्रफल वाले दूसरे प्रकार के फुक्सियन समूह हैं) के लिए इसी तरह के निर्माण अत्यंत कठिन रहे हैं।
चुनौती: इन समूहों के लिए मानक वर्ग-समावेशी (square-integrable) कस्प फॉर्म होलोमॉर्फिक श्रेणी में अस्तित्व में नहीं होते क्योंकि इनका फंडामेंटल डोमेन अनंत क्षेत्रफल का होता है। लेखक इन विशिष्ट समूहों के लिए एक नए परिवार की होलोमॉर्फिक मॉड्यूलर फलनों का निर्माण करने का लक्ष्य रखते हैं जो अनंत के कस्प (cusp) पर शून्य होते हैं लेकिन वर्ग-समावेशी नहीं होते, जो $\eta(z)$ और $\Delta(z)$ के एनालॉग के रूप में कार्य करते हैं।
विशिष्ट अंतराल: पिछला कार्य गैर-होलोमॉर्फिक आइजनश्टाइन सीरीज़ और मास कस्प फॉर्म्स (Maass cusp forms) पर केंद्रित था। यह शोध पत्र इन विशिष्ट समूहों के लिए होलोमॉर्फिक सिद्धांत के अंतराल को भरने का प्रयास करता है।

2. कार्यप्रणाली

लेखक विश्लेषणात्मक संख्या सिद्धांत, जटिल विश्लेषण (complex analysis) और मॉड्यूलर फॉर्म के सिद्धांत को संयोजित करते हुए एक बहुआयामी दृष्टिकोण अपनाते हैं:

एटा एनालॉग का निर्माण:
वे $D \equiv 1 \pmod 4$ के लिए एक प्रिमिटिव रियल डिरिचलेट कैरेक्टर $\chi_D$ द्वारा ट्विस्ट किए गए अनंत उत्पाद (infinite product) का उपयोग करके $\eta_D(z)$ को परिभाषित करते हैं।
$\eta_D(z) := q^{m_D} \prod_{n=1}^\infty \left( (1-q^n)^{\chi_D(n)} \prod_{a=1}^D (1 - e^{2\pi i a/D} q^n)^{\chi_D(a)} \right)$
जहाँ $q = e^{2\pi i z / \sqrt{D}}$ है और $m_D$ को $L(-1, \chi_D)$ से प्राप्त किया गया है।
$D=5$ के लिए, वे एक विशिष्ट एनालॉग $\eta_5(z)$ और उसका पाँचवाँ घात $\Delta_5(z) = \eta_5(z)^5$ परिभाषित करते हैं।
मॉड्यूलरिटी प्रमाण (वेइल की विधि):
मॉड्यूलरिटी सिद्ध करने के लिए, लेखक शास्त्रीय एटा फलन के लिए वेइल के प्रमाण का सामान्यीकरण करते हैं। वे एक "ड्यूल" प्रोडक्ट फंक्शन $\Phi_D^\#(z)$ पेश करते हैं और इनवर्जन $z \mapsto -1/z$ के तहत $\Phi_D(z)$ और $\Phi_D^\#(z)$ के बीच एक मॉड्यूलर संबंध स्थापित करते हैं। इसमें शामिल हैं:
- उत्पादों के लघुगणक (logarithms) के रूप में सहायक फलन $F_D(z)$ और $F_D^\#(z)$ को परिभाषित करना।
- इन फलनों को डिरिचलेट $L$ -फंक्शन्स और रीमैन ज़ेटा फलन से जोड़ने के लिए मेलिन ट्रांसफॉर्म (Mellin transforms) का उपयोग करना।
- कार्यात्मक समीकरणों (functional equations) को व्युत्पन्न करने के लिए जटिल तल (complex plane) में कंटूर को शिफ्ट करना, जिससे अंततः यह सिद्ध होता है कि $\eta_D(z)$ , $H(\sqrt{D})$ के जनरेटरों के तहत एक विशिष्ट मल्टीप्लायर सिस्टम (एक रूट ऑफ यूनिटी) के साथ रूपांतरित होता है।
एसिम्प्टोटिक विश्लेषण (सर्कल मेथड):
$\eta_D(z)$ के फूरियर गुणांकों $a_D(N)$ का अध्ययन करने के लिए, लेखक हार्डी-लिटिलवुड सर्कल मेथड (विशेष रूप से कॉशी इंटीग्रल फॉर्मूला) के एक रूपांतर का उपयोग करते हैं।
- वे यूनिट सर्कल पर अपने प्रमुख सिंगुलैरिटीज़ के पास जनरेटिंग फंक्शन $G(q)$ का विश्लेषण करते हैं।
- वे रूट्स ऑफ यूनिटी $e(u/v)$ पर सिंगुलैरिटीज़ की पहचान करते हैं, यह निर्धारित करते हुए कि प्रमुख सिंगुलैरिटी $v = n_D$ पर होती है, जो $D$ modulo $n_D$ का न्यूनतम द्विघाती गैर-अवशेष (least quadratic non-residue) है।
- वे ऑसिलेटरी टर्म्स से अग्रणी एक्सपोनेंशियल ग्रोथ को अलग करने के लिए स्टेशनरी फेज एप्रोक्सिमेशन का उपयोग करते हैं।
पार्टिशन के साथ संबंध:
यह शोध पत्र यूलर के पेंटागोनल नंबर थ्योरम और क्वाड्रेटिक रेसिड्यू/नॉन-रेसिड्यू के गुणों का उपयोग करते हुए, $a_D(N)$ को ट्विस्टेड पार्टीशन फंक्शन्स और शास्त्रीय पार्टीशन थ्योरी से जोड़ने वाली सटीक पहचान स्थापित करता है।

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

A. मॉड्यूलर फॉर्म का निर्माण

थ्योरम 1.6 और 1.10: लेखक सिद्ध करते हैं कि $\Delta_5(z)$ (के लिए $D=5$ ) और $\eta_D(z)$ (के लिए $D > 5$ ) हीके समूह $H(\sqrt{D})$ के होलोमॉर्फिक मॉड्यूलर फॉर्म हैं।
वे स्पष्ट रूप से मल्टीप्लायर सिस्टम $u_\gamma$ (एक रूट ऑफ यूनिटी) की गणना करते हैं ताकि $\eta_D(\gamma z) = u_\gamma \eta_D(z)$ हो सके।
वे दिखाते हैं कि ये फलन कस्प $\infty$ पर शून्य होते हैं।

B. फूरियर गुणांकों की एसिम्प्टोटिक ग्रोथ

शोध पत्र $\eta_D(z)$ के फूरियर गुणांकों $a_D(N)$ के लिए एक सटीक एसिम्प्टोटिक फॉर्मूला प्रदान करता है (थ्योरम 1.17)।

ग्रोथ रेट: गुणांक $\exp(2\sqrt{c_D N})$ के रूप में एक्सपोनेंशियल ग्रोथ प्रदर्शित करते हैं, जहाँ $c_D = \frac{\sqrt{D} L(2, \chi_D)}{n_D^2}$ है। यह उन्हें $\Delta(z)$ की बहुपद वृद्धि (polynomial growth) और पार्टीशन फंक्शन $p(N)$ की एक्सपोनेंशियल वृद्धि के बीच एक मध्यवर्ती शासन (regime) में रखता है।
चिह्न पैटर्न (Sign Patterns): $a_D(N)$ $a_{D} (N)$ का चिह्न एक सिंगुलर सीरीज़ $S_D(N)$ $S_{D} (N)$ द्वारा नियंत्रित होता है, जो $n_D$ $n_{D}$ modulo $D$ $D$ के सापेक्ष आवधिक (periodic) है।
- यदि $n_D = 2$ है, तो चिह्न वैकल्पिक होते हैं: $(-1)^N$ ।
- यदि $n_D = 3$ है, तो चिह्न $N \pmod 3$ के आधार पर $2, -1, -1$ (या समान) का पैटर्न का पालन करते हैं।
- शोध पत्र $L$ -वैल्यूज़ को शामिल करते हुए फेज शिफ्ट $\beta_D(u, n_D)$ के लिए स्पष्ट सूत्र प्रदान करता है।

C. दो-पद एसिम्प्टोटिक एक्सपेंशन (केस $D=5$ )

$D=5$ के विशिष्ट मामले के लिए, लेखक एक दो-पद एसिम्प्टोटिक एक्सपेंशन (थ्योरम 1.25) प्राप्त करते हैं।

$D=13$ के विपरीत जहाँ द्वितीयक पद नगण्य है, $D=5$ के लिए, द्वितीयक एक्सपोनेंशियल टर्म महत्वपूर्ण है और अग्रणी टर्म के करीब है।
यह $a_{13}(N)$ के मुकाबले $a_5(N)$ के प्लॉट्स में देखे गए "जैग्ड" (jagged) ऑसिलेशन की व्याख्या करता है।
इस विस्तार में एक कोसाइन फैक्टर शामिल है जो अग्रणी साइन फैक्टर के साथ आउट-ऑफ-फेज है, जो जटिल चिह्न परिवर्तनों की व्याख्या करता है।

D. सटीक पहचान (Exact Identities)

शोध पत्र समीकरण 7.5 के माध्यम से एक सटीक कॉम्बिनेटरियल फॉर्मूला व्युत्पन्न करता है, जो निम्नलिखित को शामिल करते हुए एक योग (sum) के रूप में $a_D(N)$ को व्यक्त करता है:

द्विघाती गैर-अवशेषों में पार्टिशन ( $p_{NR}$ )।
रूट्स ऑफ यूनिटी वेट्स के साथ सामान्यीकृत पार्टीशन फंक्शन्स ( $p_{ord}$ )।
यूलर के पेंटागोनल नंबर थ्योरम से गुणांक।

4. महत्व और निहितार्थ

मॉड्यूलर फॉर्म का नया वर्ग: यह शोध पत्र सफलतापूर्वक $D > 5$ वाले हीके समूहों $H(\sqrt{D})$ के लिए पहले ज्ञात होलोमॉर्फिक मॉड्यूलर फॉर्म के परिवार का निर्माण करता है जो कस्प पर शून्य होते हैं, जिससे $SL(2, \mathbb{Z})$ और कॉंग्रुएंस सबग्रुप्स से परे ऑटोमॉर्फिक फॉर्म्स के परिदृश्य का विस्तार होता है।
अंकगणितीय अंतर्दृष्टि: परिणाम इन रूपों के विश्लेषणात्मक व्यवहार (ग्रोथ और साइन) को सीधे गहरे अंकगणितीय इनवेरियंट्स से जोड़ते हैं: न्यूनतम द्विघाती गैर-अवशेष $n_D$ , काल्पनिक द्विघाती क्षेत्रों के क्लास नंबर्स, और डिरिचलेट $L$ -फंक्शन्स के मान।
क्षेत्रों को जोड़ना: इन गुणांकों को पार्टीशन थ्योरी से जोड़कर, यह कार्य रामानुजन के $p(n)$ पर किए गए कार्य के समान, इन गुणांकों के लिए रिकरेंस रिलेशन और कॉंग्रुएंस्स के अध्ययन के लिए नए मार्ग खोलता है।
मेथोडोलॉजिकल प्रगति: गैर-मानक मॉड्यूलर समूहों के लिए वेइल-शैली के तर्कों को विस्तृत स्टेशनरी फेज विश्लेषण के साथ संयोजित करने का उपयोग अन्य हीके समूहों और इसी तरह के अनंत-क्षेत्र डोमेन के विश्लेषण के लिए एक टेम्पलेट प्रदान करता है।

5. निष्कर्ष

लेखकों ने सफलतापूर्वक हीके समूहों $H(\sqrt{D})$ के लिए डेडेकइंड एटा फलन का सामान्यीकरण किया है। उन्होंने इन फलनों की मॉड्यूलरिटी स्थापित की, उनके फूरियर गुणांकों के लिए सटीक एसिम्प्टोटिक फॉर्मूला प्राप्त किया (जो एक्सपोनेंशियल ग्रोथ और आवधिक साइन पैटर्न के बीच एक अनूठे अंतर्संबंध को प्रकट करता है), और इन गुणांकों को पार्टीशन थ्योरी से जोड़ा। यह कार्य इन समूहों के लिए ऐसे होलोमॉर्फिक रूपों के अस्तित्व को हल करता है और उनके अंकगणितीय गुणों के अनुसंधान के लिए एक समृद्ध ढांचा प्रदान करता है।