Fourier Coefficients of Siegel--Eisenstein Series of Degree $2m$ and Weight $m+1$

तकनीकी सारांश: $2m$ घात और $m+1$ भार वाले सीगल-आइजनस्टीन श्रेणी के फूरियर गुणांक

समस्या विवरण
यह शोध पत्र $n = 2m$ घात और $k = m+1$ भार वाली सीगल-आइजनस्टीन श्रेणी $E^{(n)}_k(Z)$ के फूररल विस्तार (Fourier expansion) की जांच करता है, विशेष रूप से उस स्थिति में जहाँ $m \equiv 1 \pmod 4$ और $m \ge 5$ है। भार $k = (n+2)/2$ सीगल मॉड्यूलर रूपों के सिद्धांत में एक सीमावर्ती मामला (boundary case) है। जबकि शिमुरा और वीज़ौएर ने यह स्थापित किया है कि $k \ge (n+1)/2$ भारों के लिए सीगल-आइजनस्टीन श्रेणियाँ होलोमॉर्फिक (holomorphic) होती हैं (कुछ विशिष्ट अपवादों को छोड़कर), $k = (n+2)/2 \equiv 2 \pmod 4$ वाला मामला चर $Z = X + \sqrt{-1}Y$ के काल्पनिक भाग $Y$ पर गैर-होलोमॉर्फिक निर्भरता उत्पन्न करने के लिए जाना जाता है।

प्राथमिक उद्देश्य इस विशिष्ट भार और घात के लिए फूरियर गुणांक फलनों $A^{(n)}_T(Y)$ को स्पष्ट रूप से निर्धारित करना है। इसमें स्थिर पद (constant term) और गैर-शून्य सूचकांकों (indices) के गुणांकों की गणना करना, गैर-होलोमॉर्फिक पदों की सटीक प्रकृति (विशेष रूप से $\sqrt{\det Y}$ पर उनकी निर्भरता) की पहचान करना, और उन अपवादों को अलग करना शामिल है जहाँ $L$-फंक्शन्स या सीगल श्रेणियों के ध्रुव (poles), गामा कारकों के शून्य (zeros) के साथ परस्पर क्रिया करते हैं।

कार्यप्रणाली
यह विश्लेषण मौलिक रूप से मिज़ुमोतो द्वारा स्थापित सीगल-आइजनस्टीन श्रेणी के सामान्य फूररल विस्तार सूत्र पर आधारित है। शोध पत्र विभिन्न रैंक $\nu$ के ब्रुहाट सेल्स (Bruhat cells) के योगदान को विघटित करके और $s$ के $0$ (जहाँ श्रेणी का मूल्यांकन किया जाता है) की ओर जाने वाले व्यवहार का विश्लेषण करके आगे बढ़ता है।

मुख्य कार्यप्रणाली घटक निम्नलिखित हैं:

1. मिज़ुमोतो का विस्तार: श्रेणी को $\nu$ (सेल की रैंक) और $\lambda$ (सूचकांक मैट्रिक्स $T$ की रैंक) पर योग के रूप में व्यक्त किया जाता है। प्रत्येक पद में सीगल श्रेणियाँ, कोचर-मास ज़ेटा फलन और कॉन्फ्लुएंट हाइपरजियोमेट्रिक फलन शामिल होते हैं।
2. $s=0$ पर लॉरेंट विस्तार (Laurent Expansion): चूंकि श्रेणी $s=0$ पर परिभाषित है, इसलिए लेखक प्रत्येक घटक के लॉरेंट विस्तार के परिमित भाग की गणना करते हैं। इसके लिए निम्नलिखित से उत्पन्न होने वाले शून्य और ध्रुवों का सावधानीपूर्वक पता लगाना आवश्यक है:
   • गामा कारक $\Gamma_\nu(s)$।
   • सीगल श्रेणी $S_\nu(T, s)$।
   • कोचर-मास ज़ेटा फलन $\zeta^{(n)}_\nu(g, s)$।
   • पूर्ण रीमान ज़ेटा फलन $\xi(s)$।
3. रैंक द्वारा मामला विश्लेषण:
   • स्थिर पद ($T=0$): गणना में $\nu = 0, 1, 2, 2m-1, 2m$ के योगदान को जोड़ना शामिल है। लेखक एपस्टीन ज़ेटा फलनों के कार्यात्मक समीकरणों (functional equations) और अवशेष सूत्रों (residue formulas) का उपयोग करके योग को सरल बनाने के लिए उनका उपयोग करते हैं।
   • गैर-शून्य सूचकांक ($T \neq 0$): विश्लेषण धनात्मक अर्ध-निश्चित (positive semi-definite) ($T \ge 0$) और गैर-धनात्मक अर्ध-निश्चित ($T \not\ge 0$) सूचकांकों के बीच अंतर करता है।
   • अपवाद स्वरूप जोड़े (Exceptional Pairs): लेखक विशिष्ट सूचकांक सेट $J^{(n)}_\lambda$ को परिभाषित करते हैं जहाँ मिज़ुमोतो के सूत्र के अदिश कारक (scalar factors) का $s=0$ पर गैर-धनात्मक क्रम होता है। केवल यही पद अंतिम फूररल गुणांकों में योगदान देते हैं।
   • वर्ग-विभेदक ध्रुव (Square-Discriminant Poles): विशेष ध्यान उन मामलों पर दिया गया है जहाँ सीगल श्रेणी में एक सरल ध्रुव होता है (जो तब होता है जब रैंक $\lambda$ सम हो और संबद्ध मैट्रिक्स का विभेदक एक वर्ग हो)। इन ध्रुवों और गामा कारकों के शून्य के बीच की परस्पर क्रिया यह निर्धारित करती है कि क्या एक गैर-शून्य गुणांक मौजूद है।

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

1. स्थिर पद सूत्र (प्रमेय 4.1 और 6.1):
   शोध पत्र $A^{(2m)}_0(Y)$ के लिए एक स्पष्ट सूत्र व्युत्पन्न करता है।

   • यदि $m \equiv 3 \pmod 4$ है, तो स्थिर पद $1$ है, जो उस मामले में श्रेणी की होलोमॉर्फिसिटी के अनुरूप है।
   • यदि $m \equiv 1 \pmod 4$ है, तो स्थिर पद $Y$ पर गैर-तुच्छ निर्भरता प्रदर्शित करता है:
     $$A^{(2m)}_0(Y) = 1 + \frac{(\epsilon_m - 1)\pi^{m+1}}{\zeta(m+1)\zeta(2m)\sqrt{\det Y}} \left( \frac{\zeta(m)}{2^{m+1}m!} + \frac{(m-2)!\zeta(m-1)}{(2m)!} \zeta^{(2m)}_1(Y, m-1) \right)$$
     जहाँ $\epsilon_m = (-1)^{(m+1)/2}$ है और $\zeta^{(2m)}_1(Y, m-1)$ एक कोचर-मास ज़ेटा फलन है जिसे मेरोमॉर्फिक निरंतरता (meromorphic continuation) के माध्यम से समझा गया है। यह परिणाम कोहेन, नागाओका और हारुकी के घात-दो के सूत्रों को उच्च घातों तक विस्तारित करता है।

2. गैर-शून्य सूचकांक पद (प्रस्ताव 5.3 और 5.5):
   शोध पत्र $T \neq 0$ के लिए $A^{(n)}_T(Y)$ का पूर्ण लक्षण वर्णन प्रदान करता है।

   • धनात्मक अर्ध-निश्चित $T$: गुणांक विशिष्ट रैंक $\nu \in J^{(n)}_\lambda$ के ऊपर एक परिमित योग है। पदों को विशिष्ट बिंदुओं पर सीगल श्रेणी $S_\lambda(h, u)$ और कॉन्फ्लुएंट हाइपरजियोमेट्रिक फलन (या उसके डेरिवेटिव) के मानों का उपयोग करके व्यक्त किया जाता है।
   • गैर-धनात्मक अर्ध-निश्चित $T$: शोध पत्र यह पहचान करता है कि गैर-शून्य गुणांक केवल विशिष्ट रैंक $\lambda$ और सेल रैंक $\nu$ के जोड़ों के लिए उत्पन्न होते हैं, जो मैट्रिक्स $h$ के हस्ताक्षर (signature) $(p, q)$ और विभेदक की समता (parity) द्वारा निर्धारित होते हैं।
   • अपवाद स्वरूप मामले: लेखक स्पष्ट रूप से उन मामलों को संभालते हैं जहाँ अदिश कारक का एक शून्य, सीगल श्रेणी के एक ध्रुव को रद्द कर देता है (विशेष रूप से $(\lambda, \nu) = (n-2, n)$ और वर्ग-विभेदक मामलों के लिए)। इन उदाहरणों में, गुणांकों में सीगल श्रेणी या संबद्ध $L$-फंक्शन्स के डेरिवेटिव शामिल होते हैं।

3. घात 6 रद्दीकरण (परिशिष्ट A):
   शोध पत्र नोट करता है कि $m=3$ (घात 6) के लिए, स्थिर पद गणना में अतिरिक्त मध्य-रैंक पद ($\nu=3, 4$) दिखाई देते हैं। हालांकि, यह दिखाया गया है कि ये पद एक-दूसरे को रद्द कर देते हैं, जिससे $m \ge 5$ के लिए स्थिर पद हेतु सामान्य सूत्र समान रूप से लागू हो पाता है।

महत्व
शोध पत्र का दावा है कि यह अपवाद भार $k=2$ (जहाँ $n=2$) के लिए घात-दो के सूत्रों का उच्च-घात वाला एनालॉग प्रदान करता है। मिज़ुमोतो के सामान्य विस्तार सूत्र का उपयोग करके, लेखक $m \equiv 1 \pmod 4$ के साथ घात $n=2m$ के लिए स्थिर पद और गैर-शून्य सूचकांकों के उपचार को एकीकृत करता है। यह कार्य इस सीमावर्ती भार में $Y$ पर गैर-होलोमॉर्फिक निर्भरता की संरचना को स्पष्ट करता है, यह दिखाते हुए कि यह सीगल श्रेणियों के ध्रुवों और गामा तथा ज़ेटा कारकों के शून्य के बीच विशिष्ट अंतःक्रियाओं से उत्पन्न होता है। परिणाम भारों की क्रिटिकल रेंज में लगभग-होलोमॉर्फिक (nearly holomorphic) मॉड्यूलर रूपों और आइजनस्टीन श्रेणियों के फूररल विस्तार की समझ को विस्तृत करते हैं।