On the rationality of a paramodular Siegel Eisenstein series
Pierce
We consider the rationality of the Fourier coefficients of a particular paramodular Siegel Eisenstein series of level $N^2$ with weight $k\geq 4$. We show that the coefficients lie in a number field.
academic
एक पैरामॉड्यूलर सीगल आइजेंस्टीन श्रृंखला की तर्कसंगतता पर
यह पेपर एक विशेष प्रकार की पैरामॉड्यूलर सीगल आइजेंस्टीन श्रृंखला के फूरियर गुणांकों की तर्कसंगतता समस्या का अध्ययन करता है। स्तर N2 और भार k≥4 वाली पैरामॉड्यूलर सीगल आइजेंस्टीन श्रृंखला के लिए, लेखक सिद्ध करता है कि इसके फूरियर गुणांक एक संख्या क्षेत्र में स्थित हैं, और उस संख्या क्षेत्र का सटीक लक्षण वर्णन प्रदान करता है।
इस पेपर की मूल समस्या यह है: पैरामॉड्यूलर सीगल आइजेंस्टीन श्रृंखला के फूरियर गुणांक किस संख्या क्षेत्र में स्थित हैं? यह मॉड्यूलर रूपों के सिद्धांत में एक मौलिक समस्या है।
सैद्धांतिक महत्व: फूरियर गुणांकों के अंकगणितीय गुण मॉड्यूलर रूपों के सिद्धांत के मूल अनुसंधान विषय हैं, जो L-फलन, गैलोइस निरूपण आदि गहन सिद्धांतों से घनिष्ठ रूप से संबंधित हैं
ऐतिहासिक पृष्ठभूमि: सीगल ने 1939 में सिद्ध किया कि शास्त्रीय आइजेंस्टीन श्रृंखला Ek(Z) के फूरियर गुणांक परिमेय संख्याएं हैं
सामान्यीकरण मूल्य: शास्त्रीय स्थिति से जल स्तर संरचना वाली पैरामॉड्यूलर समूह स्थिति तक सामान्यीकरण के लिए महत्वपूर्ण तकनीकी कठिनाइयों को दूर करना आवश्यक है
शिमुरा के सामान्य परिणाम (देखें 6 की लेम्मा 10.5 और 5 की लेम्मा 6.10) दर्शाते हैं कि मुख्य सर्वांगसमता उपसमूह Γ(N) के लिए, उपयुक्त रूप से सामान्यीकृत भार k मॉड्यूलर रूपों के फूरियर गुणांक किसी संख्या क्षेत्र में निहित हैं, लेकिन संख्या क्षेत्र का सटीक लक्षण वर्णन नहीं देते हैं
पैरामॉड्यूलर समूह जैसे गैर-सर्वांगसमता उपसमूहों के लिए, सामान्य सिद्धांत सीधे लागू नहीं हो सकता है
लेखक द्वारा 4 में प्राप्त फूरियर गुणांकों के स्पष्ट सूत्र का उपयोग करके, सामान्य सिद्धांत की तुलना में अधिक सूक्ष्म परिणाम प्रदान करना, और फूरियर गुणांकों के स्थित संख्या क्षेत्र को स्पष्ट रूप से लक्षित करना।
सटीक संख्या क्षेत्र लक्षण वर्णन (प्रमेय 1.1(i)): सिद्ध किया गया है कि Ek,η के फूरियर गुणांक संख्या क्षेत्र Q(i,η,ζN) में स्थित हैं, जहां η एक आदिम डिरिचलेट विशेषता है, ζNNवां एकता का मूल है
अधिक सूक्ष्म रैंक अपघटन परिणाम (प्रमेय 1.1(ii)):
रैंक 1 के आव्यूह T के लिए: गुणांक a(T)∈Q(η,G(η)) (η के मान और गॉस योग द्वारा उत्पन्न क्षेत्र)
रैंक 2 के आव्यूह T के लिए: गुणांक a(T)∈Q(η,∣D∣G(α),G(β),i), जो आमतौर पर Q(η,ζN,i) का वास्तविक उपक्षेत्र है
मुख्य तकनीकी परिणाम:
स्थानीय कारक K(k,T,χp) की तर्कसंगतता सिद्ध की गई (प्रस्ताव 5.1)
गॉस योग और एकता के मूलों के बीच संबंध स्थापित किया गया (प्रस्ताव 6.2)
मुख्य बात यह सिद्ध करना है:
K(k,T,χp):=∑j=1−np∞pj(2−k)∫S(j+1,np)χp(nμ−1+rp−np+mμp−2np)dμ∈Q(η)
प्रमाण रणनीति:
जब s=k हो, तो p2−s एक परिमेय संख्या है
यह सिद्ध करना कि योग परिमित है (केवल परिमित पद गैर-शून्य हैं)
दो स्थितियां:
समुच्चय S(j+1,np) केवल एक j मान के लिए गैर-रिक्त है
जब χp विभाजित हो, तो बड़े j के लिए, समाकल शून्य है
तकनीकी विवरण: पूर्ण वर्ग विधि और p-एडिक मूल्यांकन के सूक्ष्म विश्लेषण के माध्यम से, यह सिद्ध किया जाता है कि पर्याप्त बड़े j के लिए, समाकल में विशेषता इकाई समूह पर समाकलित होकर शून्य हो जाती है।
यह पेपर शुद्ध सैद्धांतिक गणित पेपर है, जिसमें संख्यात्मक प्रयोग या कम्प्यूटेशनल सत्यापन शामिल नहीं है। सभी परिणाम कठोर गणितीय प्रमाण के माध्यम से प्राप्त किए गए हैं।
प्रमेय 1.1: मान लीजिए Ek,η को (3) में परिभाषित किया गया है, जहां η संचालक N वाली आदिम डिरिचलेट विशेषता है।
(i)Ek,η के फूरियर गुणांक संख्या क्षेत्र Q(i,η,ζN) में स्थित हैं।
(ii) निश्चित T=[nr/2r/2m] के लिए, मान लीजिए r2−4nm=Df2, जहां D मौलिक विभेदक है, f पूर्णांक है। मान लीजिए αχDη के अनुरूप आदिम विशेषता है, βη2 के अनुरूप आदिम विशेषता है। प्रमेय 6.1 में फूरियर गुणांक a(T) पर विचार करें:
पेपर एक स्पष्टीकरणात्मक उदाहरण देता है: यदि η2=1 और α=χDη आदिम है, तो
L=Q(N,i)⊆Q(ζN,i)
यह दर्शाता है कि कई स्थितियों में, L वास्तव में Q(ζN,i) का वास्तविक उपक्षेत्र है।
सीगल (1939) 8: शास्त्रीय आइजेंस्टीन श्रृंखला Ek(Z) के फूरियर गुणांकों का सूत्र दिया, यह सिद्ध किया कि वे परिमेय संख्याएं हैं
शिमुरा 6: लेम्मा 10.5 सामान्य परिणाम देता है: मुख्य सर्वांगसमता उपसमूहों के लिए, उपयुक्त रूप से सामान्यीकृत मॉड्यूलर रूपों के फूरियर गुणांक किसी संख्या क्षेत्र में हैं
पिटेल-साहा-श्मिट 5: लेम्मा 6.10 समान सामान्य परिणाम देता है
सटीक संख्या क्षेत्र लक्षण वर्णन: पहली बार पैरामॉड्यूलर सीगल आइजेंस्टीन श्रृंखला के फूरियर गुणांकों के स्थित संख्या क्षेत्र को स्पष्ट रूप से दिया गया है
रैंक-निर्भर सूक्ष्म परिणाम: सिद्ध किया गया है कि विभिन्न रैंकों के फूरियर गुणांक विभिन्न (आमतौर पर छोटे) उपक्षेत्रों में स्थित हैं
सामान्य सिद्धांत के साथ संबंध: इस पेपर के परिणाम शिमुरा आदि के सामान्य सिद्धांत का सूक्ष्मीकरण हैं, संख्या क्षेत्र का स्पष्ट निर्माण देते हैं
2 न्यूकिर्च: बीजगणितीय संख्या सिद्धांत पाठ्यपुस्तक, L-फलन विशेष मानों के शास्त्रीय सूत्र प्रदान करता है
4 पियर्स-श्मिट: इस पेपर द्वारा अनुसंधान की गई आइजेंस्टीन श्रृंखला का स्पष्ट फूरियर विस्तार देता है
5 पिटेल-साहा-श्मिट: सामान्य बीजगणितीय परिणाम प्रदान करता है
6 शिमुरा: मॉड्यूलर रूपों के अंकगणितीय सिद्धांत की शास्त्रीय कृति
7,8 सीगल: सीगल मॉड्यूलर रूपों के सिद्धांत की आधारशिला कृति
9 टेट: ε-कारकों पर शास्त्रीय साहित्य
समग्र मूल्यांकन: यह संख्या सिद्धांत में एक तकनीकी रूप से मजबूत पेपर है, जो पैरामॉड्यूलर मॉड्यूलर रूपों के सिद्धांत में सूक्ष्म परिणाम प्राप्त करता है। हालांकि विधि स्पष्ट सूत्रों पर निर्भर है, लेकिन प्रमाण प्रक्रिया मॉड्यूलर रूपों, L-फलन, स्थानीय सिद्धांत आदि कई पहलुओं में लेखक की गहन समझ प्रदर्शित करती है। परिणामों की सटीकता और प्रमाण की तकनीकी कुशलता पेपर के मुख्य आकर्षण हैं, जो इस क्षेत्र के आगे के अनुसंधान के लिए आधार तैयार करते हैं।