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-ফাংশন, গ্যালোয়া প্রতিনিধিত্ব ইত্যাদি গভীর তত্ত্বের সাথে ঘনিষ্ঠভাবে সম্পর্কিত
ঐতিহাসিক পটভূমি: সিগেল ১৯৩৯ সালে প্রমাণ করেছিলেন যে ক্লাসিক্যাল আইজেনস্টাইন সিরিজ Ek(Z) এর ফুরিয়ার সহগ যুক্তিসঙ্গত সংখ্যা
সাধারণীকরণের মূল্য: ক্লাসিক্যাল ক্ষেত্র থেকে স্তর কাঠামো সহ প্যারামডিউলার গ্রুপ পর্যন্ত সাধারণীকরণ উল্লেখযোগ্য প্রযুক্তিগত কঠিনতা অতিক্রম করার প্রয়োজন
শিমুরার সাধারণ ফলাফল (দেখুন 6 এর লেম্মা 10.5 এবং 5 এর লেম্মা 6.10) নির্দেশ করে যে প্রধান সর্বসম্মত উপগ্রুপ Γ(N) এর জন্য, যথাযথভাবে স্বাভাবিকীকৃত ওজন k মডুলার ফর্মের ফুরিয়ার সহগ একটি সংখ্যা ক্ষেত্রে অন্তর্ভুক্ত থাকে, কিন্তু সংখ্যা ক্ষেত্রের সুনির্দিষ্ট বৈশিষ্ট্য প্রদান করে না
প্যারামডিউলার গ্রুপের মতো অ-সর্বসম্মত উপগ্রুপের জন্য, সাধারণ তত্ত্ব সরাসরি প্রয়োগ করা যায় না
লেখক 4 এ প্রাপ্ত ফুরিয়ার সহগের সুস্পষ্ট সূত্র ব্যবহার করে, সাধারণ তত্ত্বের চেয়ে আরও সূক্ষ্ম ফলাফল প্রদান করে, ফুরিয়ার সহগ যে সংখ্যা ক্ষেত্রে অবস্থিত তা স্পষ্টভাবে বৈশিষ্ট্যযুক্ত করে।
সুনির্দিষ্ট সংখ্যা ক্ষেত্র বৈশিষ্ট্য (উপপাদ্য 1.1(i)): প্রমাণ করা হয়েছে যে Ek,η এর ফুরিয়ার সহগ সংখ্যা ক্ষেত্র Q(i,η,ζN) এ অবস্থিত, যেখানে η একটি আদিম ডিরিশলে বৈশিষ্ট্য এবং ζN একটি N-তম একতার মূল
আরও সূক্ষ্ম র্যাঙ্ক বিয়োজন ফলাফল (উপপাদ্য 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) বিবেচনা করুন:
(a) যদি rank(T)=1, তাহলে a(T)∈Q(η,G(η))
(b) যদি rank(T)=2, তাহলে a(T)∈Q(η,∣D∣G(α),G(β),i)
পেপারটি একটি ব্যাখ্যামূলক উদাহরণ প্রদান করে: যদি η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-ফাংশন, স্থানীয় তত্ত্ব ইত্যাদির একাধিক দিকে লেখকের গভীর বোঝার প্রদর্শন করে। ফলাফলের নির্ভুলতা এবং প্রমাণের কৌশল পেপারের প্রধান হাইলাইট, এই ক্ষেত্রে আরও গবেষণার জন্য ভিত্তি স্থাপন করে।