Fundamental Fourier coefficients of Siegel modular forms of higher degrees and levels

यह शोध पत्र, जिसका शीर्षक "Fundamental Fourier Coefficients of Siegel Modular Forms of Higher Degrees and Levels" है, प्रमत अनामबी और सौम्या दास द्वारा लिखा गया है। यह सीगल मॉड्यूलर फॉर्म्स (Siegel modular forms) के विश्लेषणात्मक और अंकगणितीय सिद्धांत की एक केंद्रीय समस्या को संबोधित करता है: उन मैट्रिसेस (matrices) द्वारा अनुक्रमित (indexed) फूरियर गुणांकों (Fourier coefficients) का अस्तित्व और वितरण, जिनमें "अंकगणितीय रूप से दिलचस्प" गुण (विशेष रूप से, मौलिक विविक्तता/fundamental discriminants) होते हैं।

नीचे इस कार्य का विस्तृत तकनीकी सारांश दिया गया है।

---

1. समस्या

लेखक डिग्री $n$ और स्तर $N$ के एक सीगल मॉड्यूलर फॉर्म $F$ के फूरियर गुणांक $A(F, T)$ की गैर-शून्यता (non-vanishing) की जांच करते हैं। $L$-फंक्शन्स के सिद्धांत में, अक्सर यह जानना आवश्यक होता है कि एक मॉड्यूलर फॉर्म के गुणांक वहां गैर-शून्य हों जहाँ सूचकांक $T$ एक मौलिक विविक्तता (fundamental discriminant) (या प्राइम, या वर्ग-मुक्त/square-free) रखता हो।

जबकि ऐसे परिणाम स्तर $N=1$ (डिग्री 2 और 3) के लिए ज्ञात थे, स्वतंत्र स्तर $N > 1$ और उच्च डिग्री $n \geq 3$ के लिए इन परिणामों का विस्तार करना महत्वपूर्ण तकनीकी बाधाएं प्रस्तुत करता है। विशेष रूप से, उच्च-स्तर के कॉंग्रुएंस सबग्रुप्स (congruence subgroups) की "ओल्डफॉर्म" (oldform) संरचना और फूरियर-जैकोबी विस्तार (Fourier-Jacobi expansion) की जटिलताएं यह सुनिश्चित करना कठिन बना देती हैं कि इंडक्टिव प्रक्रियाओं (inductive processes) के दौरान "मौलिक" गुण सुरक्षित रहे।

2. कार्यप्रणाली (Methodology)

लेखक मॉड्यूलर फॉर्म की डिग्री पर आधारित एक परिष्कृत इंडक्टिव दृष्टिकोण (inductive approach) का उपयोग करते हैं। प्रमाण की संरचना को कई तकनीकी चरणों में व्यवस्थित किया गया है:

• कॉंग्रुएंस सबग्रुप्स का चयन: इंडक्शन को कार्यशील बनाने के लिए, लेखक सीधे मानक हेके कॉंग्रुएंस सबग्रुप्स $\Gamma_0^{(n)}(N)$ के साथ काम नहीं करते हैं। इसके बजाय, वे एक विशिष्ट मध्यवर्ती समूह $\Gamma_{\pm}^{(n)}(N, L)$ के साथ काम करने के लिए एक विशेष समूह को परिभाषित करते हैं, जहाँ $L$, $N$ का वर्ग-मुक्त भाग (square-free part) है। यह समूह एक साइन-मैट्रिक्स समूह $E$ के साथ एक सेमी-डायरेक्ट प्रोडक्ट है, जो गाउस सम (Gauss sum) गणनाओं के लिए आवश्यक एक "सममिति" (symmetry) गुण सुनिश्चित करता है।
• फूरियर-जैकोबी (FJ) मॉडल: इंडक्शन का मुख्य केंद्र डिग्री $n$ से $n-1$ तक उतरना है। लेखक एक वेक्टर-वैल्यूड जैकोबी फॉर्म से सीगल मॉड्यूलर फॉर्म को संबंधित करने के लिए फूरियर-जैकोबी विस्तार का उपयोग करते हैं।
• थीटा अपघटन (Theta Decomposition): वे जैकोबी फॉर्म के थीटा अपघटन का उपयोग करके समस्या को "थीटा घटकों" $h_\mu$ के अध्ययन तक सीमित करने के लिए करते हैं। शोध पत्र का एक बड़ा हिस्सा यह सिद्ध करने के लिए समर्पित है कि यदि एक जैकोबी फॉर्म गैर-शून्य है, तो कम से कम एक उसका प्रिमिटिव (primitive) थीटा घटक गैर-शून्य होना चाहिए।
• गाउस सम और मैक्सिमल रैंक तर्क: इन घटकों की गैर-शून्यता को सिद्ध करने के लिए, लेखक उच्च-आयामी द्विघातीय गाउस सम (higher-dimensional quadratic Gauss sums) से संबंधित जटिल गणनाएं करते हैं। वे प्रदर्शित करते हैं कि इन गणों से उत्पन्न होने वाले कुछ मैट्रिसेस का रैंक मैक्सिमल होता है, जो उन्हें फूरियर गुणांकों को "अनटैंगल" (untangle) करने और मौलिक विविक्तताओं वाले गुणांकों को अलग करने की अनुमति देता है।

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

A. मुख्य अस्तित्व प्रमेय (Main Existence Theorems)

• प्रमेय 1.1 (मात्रात्मक परिणाम): एक गैर-शून्य सीगल मॉड्यूलर फॉर्म $F$ के लिए, जिसकी डिग्री $n$ और विषम स्तर $N$ है, यदि कम से कम एक गैर-शून्य गुणांक $A(F, T_0)$ मौजूद है जहाँ $(T_0(n,n), N)=1$, तो अनंत $T$ मौजूद हैं कि $A(F, T) \neq 0$ और $d(T)$ विषम और वर्ग-मुक्त (fundamental) है। वे $X$ तक ऐसे गुणांकों की संख्या के लिए मात्रात्मक निचली सीमाएं प्रदान करते हैं।
• प्रमेय 1.3 (परिष्कृत इंडक्शन): वे एक अधिक सशक्त संस्करण सिद्ध करते हैं जहाँ सूचकांक $T$ न केवल मौलिक है बल्कि $L$ के मॉड्यूल में विकर्ण (diagonal modulo $L$) भी है। यह एक महत्वपूर्ण तकनीकी कदम है।
• प्राइम विविक्तता (विषम डिग्री): विषम डिग्री $n$ के लिए, लेखक एक मजबूत परिणाम सिद्ध करते हैं: अनंत $T$ मौजूद हैं कि $d(T)$ एक विषम अभाज्य संख्या (odd prime) है।

B. मौलिक गुणांकों का लक्षण वर्णन (Characterization of Fundamental Coefficients)

• प्रमेय 1.4: वे मौलिक गुणांकों के अस्तित्व के लिए एक मानदंड स्थापित करते हैं: एक फॉर्म में एक गैर-शून्य मौलिक फूरियर गुणांक तब होता है यदि और केवल यदि उसमें एक गैर-शून्य "प्रिमिटिव" फूरियर गुणांक हो। यह मौलिक गुणांकों की खोज को प्रिमिटिविटी की जांच तक सरल बना देता है।

C. $L$-फंक्शन परिणामों की बिना शर्त प्रकृति (Unconditionality of $L$-function Results)

• प्रमेय 1.5: एक प्रमुख परिणाम यह है कि $\Gamma_0^{(3)}(N)$ पर होलोमॉर्फिक न्यूफॉर्म्स के लिए स्पिनर $L$-फंक्शन्स (spinor $L$-functions) के कुछ क्रिटिकल मानों की बीजगणितीयता (algebraicity)—जो पहले कुछ क्वाटरनियन बीजगणित ऑर्डर्स की उपस्थिति पर सशर्त थी—अब बिना शर्त (unconditional) है।

4. महत्व

यह शोध पत्र कई कारणों से महत्वपूर्ण है:

1. सिद्धांत और अनुप्रयोग को जोड़ना: यह सीगल मॉड्यूलर फॉर्म्स की आंतरिक फूरियर संरचना को $L$-फंक्शन्स के विश्लेषणात्मक गुणों और द्विघातीय रूपों (quadratic forms) के सिद्धांत (प्रतिनिधित्व संख्या) से जोड़ता है।
2. "लेवल" बाधा को पार करना: अपने कॉंग्रुएंस सबग्रुप्स को सावधानीपूर्वक चुनकर और जैकोबी फॉर्म के "लैटिस-लेवल" को संभालकर, लेखकों ने सफलतापूर्वक उन बाधाओं को दूर किया जिन्होंने पिछले शोधकर्ताओं को स्तर-एक के परिणामों को उच्च स्तरों तक विस्तारित करने से रोका था।
3. गणितीय पूर्णता: यह कार्य उच्च-डिग्री फॉर्म्स के लिए अनिश्चित विषम स्तरों पर मौलिक गुणांकों के अस्तित्व के संबंध में लंबे समय से चले आ रहे प्रश्नों को हल करता है, और एक मजबूत ढांचा प्रदान करता है जिसे भविष्य में अन्य समूहों (जैसे पैरामॉड्यूलर या यूनिटरी समूहों) के लिए विस्तारित किया जा सकता है।