🔢 mathematics

The Eichler--Selberg trace formula for Hilbert cusp forms, the class numbers of quartic CM fields, and their distributions

सू के कोहेन-प्रकार के आइजनस्टीन श्रेणियों पर आधारित कार्य से प्रेरित होकर, यह शोध पत्र क्वार्टिक सीएम क्षेत्रों (quartic CM fields) के माध्यम से परिभाषित सामान्यीकृत हूर्विट्ज़ क्लास संख्याओं (generalized Hurwitz class numbers) को प्रस्तुत करता है ताकि नैरो क्लास नंबर एक वाले वास्तविक द्विघाती क्षेत्रों पर हिल्बर्ट कस्प रूपों (Hilbert cusp forms) के लिए एक आइचलर-सेलबर्ग ट्रेस फॉर्मूला स्थापित किया जा सके, और तत्पश्चात वितरणों का अध्ययन करने, क्लास नंबर संबंधों को सिद्ध करने और हेके ऑपरेटर ट्रेसेस की गणना करने के लिए इस ढांचे को लागू करता है।

मूल लेखक: Seiji Kuga, Andrei Seymour-Howell, Satoshi Wakatsuki

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

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

CC0 1.0

मूल लेखक: Seiji Kuga, Andrei Seymour-Howell, Satoshi Wakatsuki

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

कल्पना कीजिए कि आप एक मास्टर आर्किटेक्ट (मुख्य वास्तुकार) हैं जो एक बहुत ही जटिल, बहु-आयामी इमारत के छिपे हुए ब्लूप्रिंट (खाके) को समझने की कोशिश कर रहे हैं। गणित की दुनिया में, यह इमारत "हिल्बर्ट कस्प फॉर्म्स" (Hilbert cusp forms) से बनी है—जो जटिल, उच्च-आयामी आकृतियाँ हैं जो सख्त नियमों का पालन करती हैं। आर्किटेक्ट्स (गणितज्ञों) को यह जानना है: इस इमारत में कितने कमरे हैं? और इसके भीतर विशिष्ट पैटर्न क्या हैं?

कुगा, सेयमूर-हावेल और वकात्सुकी का यह शोध पत्र इन प्रश्नों का उत्तर देने के लिए एक नया, शक्तिशाली उपकरण प्रदान करता है। यहाँ उनके कार्य का रोजमर्रा के उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. पुराना ब्लूप्रिंट बनाम नया उपकरण

लंबे समय तक, गणितज्ञों के पास एक प्रसिद्ध उपकरण था जिसे आइचलर-सेलबर्ग ट्रेस फॉर्मूला (Eichler–Selberg Trace Formula) कहा जाता था। इसे एक मास्टर की (चाबी) के रूप में सोचें जो एक मानक, द्वि-आयामी इमारत (नियमित संख्याओं से संबंधित) में कमरों को गिन सकती थी। यह "हर्विट्ज़ क्लास नंबर्स" (Hurwitz class numbers) को गिनकर काम करता था।

उपमा: कल्पना करें कि "हर्विट्ज़ क्लास नंबर्स" फर्श बनाने के लिए उपयोग किए जाने वाले विभिन्न प्रकार के अद्वितीय टाइल्स (tiles) को गिनने जैसा है। पुराने विश्व में, ये टाइल्स सरल, काल्पनिक द्विघाती क्षेत्रों (imaginary quadratic fields - एक विशिष्ट संख्या प्रणाली) पर आधारित थे।

लेखकों ने महसूस किया कि इस नए, अधिक जटिल "हिल्बर्ट" भवन को बनाने के लिए (जो वास्तविक द्विघाती क्षेत्रों, जैसे $\mathbb{Q}(\sqrt{5})$ या $\mathbb{Q}(\sqrt{2})$ पर मौजूद है), पुराने टाइल्स फिट नहीं होंगे। उन्हें नए सेट के टाइल्स की आवश्यकता थी।

2. नए टाइल्स: सामान्यीकृत हर्विट्ज़ क्लास नंबर्स (Generalized Hurwitz Class Numbers)

लेखकों ने सामान्यीकृत हर्विट्ज़ क्लास नंबर्स नामक एक नए प्रकार के टाइल का आविष्कार किया।

उपमा: यदि पुराने टाइल्स सरल काल्पनिक उद्यानों पर आधारित थे, तो ये नए टाइल्स क्वार्टिक सीएम फील्ड्स (Quartic CM fields) पर आधारित हैं। इन्हें चार-आयामी उद्यानों के रूप में सोचें—जिनमें जटिल और सममित (symmetrical) संरचनाएँ होती हैं।
खोज: लेखकों ने दिखाया कि इन नए टाइल्स का "भार" या "मूल्य" इन चार-आयामी उद्यानों के क्लास नंबर्स (class numbers) द्वारा निर्धारित होता है। सरल शब्दों में, उन्होंने इन चार-आयामी उद्यानों की अद्वितीय सममिति (symmetries) को गिनने का एक तरीका खोजा और उस गणना का उपयोग अपने उच्च-आयामी भवन के बारे में समस्याओं को हल करने के लिए किया।

3. मास्टर की: नया ट्रेस फॉर्मूला

इस शोध पत्र की मुख्य उपलब्धि एक नया ट्रेस फॉर्मूला है।

उपमा: कल्पना करें कि आप एक विशाल दीवार में ईंटों की कुल संख्या जानना चाहते हैं, लेकिन आप उन्हें एक-एक करके नहीं गिन सकते। इसके बजाय, आपके पास एक विशेष स्कैनर (ट्रेस फॉर्मूला) है जो दीवार द्वारा डाली गई छायाओं को देखकर कुल संख्या बता देता है।
यह कैसे काम करता है: लेखकों ने अपने हिल्बर्ट भवन के लिए विशेष रूप से एक स्कैनर बनाया है। यह स्कैनर कहता है: "कमरों (कस्प फॉर्म्स के स्थान) को गिनने के लिए, आपको सीधे कमरों को देखने की आवश्यकता नहीं है। इसके बजाय, नए 4D गार्डन टाइल्स (सामान्यीकृत हर्विट्ज़ क्लास नंबर्स) द्वारा डाली गई छायाओं को देखें।"
परिणाम: उन्होंने सिद्ध किया कि यदि आप इन नए क्लास नंबर्स को एक विशिष्ट तरीके से जोड़ते हैं, तो आपको उन गणितीय वस्तुओं की सटीक गणना प्राप्त होती है जिनका वे अध्ययन कर रहे हैं।

4. उन्होंने क्या पाया (कोरोलरीज़/परिणाम)

एक बार जब उनके पास यह नया स्कैनर आ गया, तो वे उन चीजों को देख सके जिन्हें वे पहले नहीं देख सकते थे:

खाली कमरों की गिनती: उन्होंने सिद्ध किया कि कुछ विशिष्ट भारों (जैसे वेट 2,2) के लिए, अधिकांश प्रकार के क्षेत्रों के लिए यह इमारत पूरी तरह खाली है, लेकिन $\mathbb{Q}(\sqrt{5})$ और $\mathbb{Q}(\sqrt{29})$ जैसे विशिष्ट क्षेत्रों के लिए इसमें ठीक एक कमरा है।
क्लास नंबर संबंध: उन्होंने इन 4D उद्यानों की गणनाओं को जोड़ने वाला एक नया नियम खोजा। यह ऐसा है जैसे यह खोजना कि यदि आपके पास एक निश्चित संख्या में लाल टाइल्स हैं, तो फर्श को संतुलित रखने के लिए आपके पास नीले टाइल्स की एक विशिष्ट संख्या होनी ही चाहिए।
वितरण पैटर्न: उन्होंने अध्ययन किया कि ये नए क्लास नंबर्स कैसे फैले हुए हैं। उन्होंने सिद्ध किया कि यदि आप इन 4D उद्यानों की एक बड़ी संख्या को देखते हैं, तो उनकी सममिति के पैटर्न एक अनुमानित, सुचारू वक्र (smooth curve) में स्थिर हो जाते हैं (यह सांख्यिकी में दिखने वाले 'बेल कर्व' के समान है)। इसे इक्विडिस्ट्रिब्यूशन थ्योरम (equidistribution theorem) कहा जाता है।

5. कंप्यूटर टेस्ट (प्रूफ ऑफ कॉन्सेप्ट)

गणितज्ञ अक्सर सैद्धांतिक उपकरण बनाते हैं और फिर यह सुनिश्चित करने के लिए कि वे काम करते हैं, उन्हें कंप्यूटर पर परीक्षण करते हैं।

प्रयोग: लेखकों ने $\mathbb{Q}(\sqrt{5})$ और $\mathbb{Q}(\sqrt{29})$ के क्षेत्रों के लिए इन नए क्लास नंबर्स की गणना करने के लिए एक कंप्यूटर प्रोग्राम लिखा।
जांच: उन्होंने अपने नए फॉर्मूले का उपयोग करके इन क्षेत्रों के लिए "ट्रेस" (कमरों की संख्या) की भविष्यवाणी की।
- $\mathbb{Q}(\sqrt{5})$ के लिए, फॉर्मूले ने भविष्यवाणी की कि इमारत खाली होनी चाहिए। कंप्यूटर ने पुष्टि की: शून्य कमरे।
- $\mathbb{Q}(\sqrt{29})$ के लिए, फॉर्मूले ने एक विशिष्ट पैटर्न की भविष्यवाणी की। कंप्यूटर ने पुष्टि की कि यह एलिप्टिक कर्व्स (गणितीय वस्तुओं का एक अन्य प्रकार) से ज्ञात डेटा के साथ पूरी तरह मेल खाता है।
पैमाना: उन्होंने 1,48,000 से अधिक अलग-अलग अभाज्य संख्याओं (prime numbers) के लिए यह किया, जिससे लाखों क्लास नंबर्स की गणना हुई। यह तथ्य कि संख्याएं पूरी तरह से मेल खाती थीं, यह सिद्ध करता है कि उनका नया "स्कैनर" काम करता है।

सारांश

संक्षेप में, यह शोध पत्र:

आविष्कार किया: चार-आयामी संख्या क्षेत्रों पर आधारित जटिल गणितीय वस्तुओं (सामान्यीकृत हर्विट्ज़ क्लास नंबर्स) को गिनने का एक नया तरीका।
एक नया फॉर्मूला बनाया (ट्रेस फॉर्मूला): जो इन गणनाओं का उपयोग हिल्बर्ट कस्प फॉर्म्स के स्थानों के आकार को निर्धारित करने के लिए करता है।
सिद्ध किया: कि ये नए काउंट्स अनुमानित सांख्यिकीय पैटर्न का पालन करते हैं।
सत्यापित किया: विशाल कंप्यूटर गणनाओं के साथ सब कुछ, यह दिखाते हुए कि उनका नया गणितीय "ब्लूप्रिंट" सटीक है।

उन्होंने केवल एक नई संख्या नहीं खोजी; उन्होंने इन जटिल गणितीय दुनियाओं के छिपे हुए आर्किटेक्चर का वर्णन करने के लिए एक नई भाषा खोजी है।

तकनीकी सारांश: हिल्बर्ट कस्प फॉर्म्स के लिए आइचलर-सेलबर्ग ट्रेस फॉर्मूला, क्वार्टिक CM क्षेत्रों के क्लास नंबर और उनका वितरण

समस्या विवरण
यह शोध पत्र वास्तविक द्वि-वर्ग क्षेत्रों (real quadratic fields) के नैरो क्लास नंबर एक (narrow class number one) के लिए होलोमॉर्फिक हिल्बर्ट कस्प फॉर्म्स के स्थान हेतु एक स्पष्ट आइचलर-सेलबर्ग ट्रेस फॉर्मूला की आवश्यकता को संबोधित करता है। जबकि $\mathbb{Q}$ पर मॉड्यूलर फॉर्म्स के लिए शास्त्रीय ट्रेस फॉर्मूला हुरविट्ज़ क्लास नंबरों (जो काल्पनिक द्वि-वर्ग क्षेत्रों से संबंधित हैं) से हेके ऑपरेटरों के ट्रेस को जोड़ते हैं, हिल्बर्ट मॉड्यूलर फॉर्म्स के लिए एक प्रत्यक्ष एनालॉग हेतु इन सामान्यीकृत क्लास नंबरों के सामान्यीकरण की आवश्यकता है। विशेष रूप से, लेखक क्वार्टिक CM क्षेत्रों (विशेष रूप से विस्तार $F(\sqrt{-n})$ जहाँ $F$ एक वास्तविक द्वि-वर्ग क्षेत्र है) के अंकगणितीय इनवैरिएंट्स के रूप में हिल्बर्ट कस्प फॉर्म्स पर हेके ऑपरेटरों के ट्रेस को व्यक्त करने का प्रयास करते हैं। इसके अतिरिक्त, यह शोध पत्र इन सामान्यीकृत क्लास नंबरों के वितरण और अनंत व्यवहार (asymptotic behavior) की जांच करता है।

कार्यप्रणाली
लेखक एडेलिक ऑटोमॉर्फिक फॉर्म्स थ्योरी, ऑर्बिटल इंटीग्रल गणनाओं और बीजगणितीय संख्या सिद्धांत के संयोजन का उपयोग करते हैं।

सामान्यीकृत हुरविट्ज़ क्लास नंबर: सु (Su) द्वारा पूर्णतः वास्तविक क्षेत्रों (totally real fields) पर हाफ-इंटीजर वेट वाले कोहेन-प्रकार के आइजन सीरीज़ के निर्माण से प्रेरित होकर, लेखक सामान्यीकृत हुरविज़ क्लास नंबर $H_F(n)$ को परिभाषित करते हैं। शास्त्रीय मामले में जहाँ $H(n)$ काल्पनिक द्वि-वर्ग क्षेत्रों से संबंधित है, $H_F(n)$ को क्वार्टिक CM क्षेत्रों $F(\sqrt{-n})$ के क्लास नंबरों के माध्यम से परिभाषित किया गया है। इसकी परिभाषा विस्तार के क्लास नंबर, यूनिट समूहों के इंडेक्स और आर्टिन सिम्बल्स (Artin symbols) से जुड़े डिवीज़र सम (divisor sums) पर आधारित है।
ट्रेस फॉर्मूला व्युत्पत्ति: मुख्य कार्य आइचलर-सेलबर्ग ट्रेस फॉर्मूला (प्रमेय 1.1) की व्युत्पत्ति है।
- लेखक हेके ऑपरेटरों के एडेलिक सूत्रीकरण और एक पूर्णतः वास्तविक क्षेत्र पर $GL(2)$ के लिए ट्रेस फॉर्मूला का उपयोग करते हैं।
- वे पिछले सामान्य सूत्रों (जैसे साइतो [Sai84]) में पाए जाने वाले व्यक्तिगत $p$ -एडिक क्षेत्रों पर जटिल ऑर्बिटल इंटीग्रल गणनाओं से बचते हैं और कोयामा और लिम [KL06] की विधि को अपनाकर इसे अनुकूलित करते हैं। यह दृष्टिकोण वैश्विक ऑर्बिटल इंटीग्रल्स और सामान्यीकृत हुरविट्ज़ क्लास नंबरों के बीच एक सीधा संबंध स्थापित करने की अनुमति देता है।
- प्रमाण इस धारणा पर निर्भर करता है कि वास्तविक द्वि-वर्ग क्षेत्र $F$ का नैरो क्लास नंबर 1 है, जो अंकगणितीय कोटि (arithmetic quotient) की संरचना और यूनिट ग्रुप के कार्यों को सरल बनाता है।
रिजॉलवेंट और वितरण विश्लेषण: क्लास नंबरों के वितरण का अध्ययन करने के लिए, लेखक हेके ऑपरेटरों के लिए एक रिजॉलवेंट ट्रेस फॉर्मूला व्युत्पन्न करते हैं। इसमें ट्रेस के जनरेटिंग फंक्शन का विश्लेषण करना और इक्विडिस्ट्रीब्यूशन परिणामों को स्थापित करने के लिए टेबरियन थीम्स (Tauberian theorems) और चेबिशेव बहुपदों के गुणों को लागू करना शामिल है।
संख्यात्मक सत्यापन: उनके सैद्धांतिक परिणामों को $F = \mathbb{Q}(\sqrt{5})$ और $F = \mathbb{Q}(\sqrt{29})$ के लिए संख्यात्मक रूप से लागू किया गया है। लेखक PARI/GP का उपयोग करके अनकंडीशनली (बिना GRH की धारणा के) क्लास नंबरों की गणना करते हैं और ज्ञात कस्प फॉर्म स्पेस के आयामों और सातो-टेट (Sato-Tate) वितरण के विरुद्ध ट्रेस फॉर्मूला का सत्यापन करते हैं।

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

आइचलर-सेलबर्ग ट्रेस फॉर्मूला (प्रमेय 1.1): लेखक $S_\kappa(SL_2(\mathfrak{o}_F))$ के लिए एक ट्रेस फॉर्मूला स्थापित करते हैं जहाँ $\kappa = (\kappa_1, \kappa_2)$ सम पूर्णांक $>1$ हैं। हेके ऑपरेटर $T_{n,F}$ का ट्रेस $t \in \mathfrak{o}_F$ के ऊपर $H_F(4n - t^2)$ के उत्पाद और चेबिशेव बहुपदों के योग के रूप में व्यक्त किया जाता है।
$\text{tr } T_{n,F} | S_\kappa = \frac{1}{2} \sum_{t \in \mathfrak{o}_F} H_F(4n - t^2) P_{\kappa_1}(t, n) P_{\kappa_2}(\sigma(t), \sigma(n)) + \text{correction terms}$
यह सूत्र स्पेक्ट्रल साइड (traces) को ज्यामितीय साइड (क्वाटिक CM क्षेत्रों के क्लास नंबर) से स्पष्ट रूप से जोड़ता है।
डायमेंशन फॉर्मूला और क्लास नंबर संबंध: उप-परिणामों के रूप में, शोध पत्र हिल्बर्ट कस्प फॉर्म्स के स्थानों के लिए डायमेंशन फॉर्मूला (उप-परिणाम 1.3) व्युत्पन्न करता है। उन मामलों में जहाँ डायमेंशन शून्य है (जैसे विशिष्ट डिस्क्रिमिनेन्ट्स के लिए वेट $(2,2)$ ), ट्रेस फॉर्मूला नए क्लास नंबर संबंधों (उप-परिणाम 1.5) को जन्म देता है, जो हुरविट्ज़ और क्रोनेकर के शास्त्रीय संबंधों के समान है।
वितरण और इक्विडिस्ट्रीब्यूशन: लेखक सामान्यीकृत हुरविट्ज़ क्लास नंबरों के भारित औसत (weighted averages) के लिए एक इष्टतम अनुमान सिद्ध करते हैं (उप-परिणाम 1.11) और एक इक्विडिस्ट्रीब्यूशन प्रमेय (प्रमेय 1.12) स्थापित करते हैं। यह दर्शाता है कि जैसे-जैसे एक अभाज्य $p$ का नॉर्म बढ़ता है, सामान्यीकृत ट्रेस (और इस प्रकार संबद्ध क्लास नंबर सम) $[-1, 1] \times [-1, 1]$ पर एक विशिष्ट माप (measure) के सापेक्ष इक्विडिस्ट्रिब्यूट होते हैं, जो सातो-टेट वितरण से संबंधित है।
संख्यात्मक गणनाएँ: लेखक $\mathbb{Q}(\sqrt{5})$ और $\mathbb{Q}(\sqrt{29})$ के लिए व्यापक संख्यात्मक डेटा प्रदान करते हैं।
- $\mathbb{Q}(\sqrt{5})$ के लिए, वे सत्यापित करते हैं कि वेट $(2,2)$ के लिए ट्रेस शून्य है (क्योंकि स्पेस खाली है) और वेट $(8,8)$ तथा $(4,8)$ के लिए हेके आइगेनवैल्यूज की गणना करते हैं, जो सातो-टेट अनुमान की पुष्टि करते हैं।
- $\mathbb{Q}(\sqrt{29})$ के लिए, वे वेट $(2,2)$ के लिए एक विशिष्ट एलिप्टिक कर्व की मोडुलैरिटी के विरुद्ध ट्रेस का सत्यापन करते हैं और वेट $(2,6)$ के लिए आइगेनवैल्यूज की गणना करते हैं।
- गणनाओं में लाखों सामान्यीकृत हुरविट्ज़ क्लास नंबरों की गणना शामिल थी, जो इन संख्यात्मक गणनाओं के लिए फॉर्मूले की व्यवहार्यता को प्रदर्शित करती है।

महत्व
यह शोध पत्र दावा करता है कि यह ट्रेस फॉर्मूला का एक "पारदर्शी वैकल्पिक प्रमाण" प्रदान करके महत्वपूर्ण है, जो सीधे वैश्विक ऑर्बिटल इंटीग्रल्स को सामान्यीकृत हुरविट्ज़ क्लास नंबरों से जोड़ता है, और पिछले कार्यों में पाए जाने वाले स्थानीय ऑर्बिटल इंटीग्रल्स की तकनीकी जटिलता से बचता है। क्वार्टिक CM क्षेत्रों के क्लास नंबरों के रूप में ट्रेस को व्यक्त करके, लेखक इन क्लास नंबरों के वितरण का अध्ययन करने के लिए एक उपकरण प्रदान करते हैं, जिनका विश्लेषण सीधे करना कठिन है। यह कार्य हिल्बर्ट मॉड्यूलर फॉर्म्स के लिए हेके आइगेनवैल्यूज के अध्ययन करने और क्लास नंबर गणनाओं को सत्यापित करने के लिए एक कम्प्यूटेशनल ढांचा भी प्रदान करता है, जो संभावित रूप से जनरलाइज्ड रीमैन हाइपोथीसिसिस (GRH) पर निर्भर किए बिना क्लास नंबर डेटा उत्पन्न करने की एक विधि के रूप में कार्य कर सकता है। लेखक नोट करते हैं कि हालांकि फॉर्मूला का अस्तित्व स्वयं मौलिक रूप से नया नहीं है (साइतो के कार्य का अनुसरण करते हुए), लेकिन इसका विशिष्ट रूप और क्वार्टिक CM क्लास नंबरों के वितरण पर इसका अनुप्रयोग नवीन योगदान है।