Universal quadratic forms and Dedekind zeta functions
Kala, Melistas
We study universal quadratic forms over totally real number fields using Dedekind zeta functions. In particular, we prove an explicit upper bound for the rank of universal quadratic forms over a given number field $K$, under the assumption that the codifferent of $K$ is generated by a totally positive element. Motivated by a possible path to remove that assumption, we also investigate the smallest number of generators for the positive part of ideals in totally real numbers fields.
এই পেপারটি ডেডেকাইন্ড জেটা ফাংশন ব্যবহার করে সম্পূর্ণ বাস্তব সংখ্যা ক্ষেত্রে সর্বজনীন দ্বিঘাত রূপ (universal quadratic forms) অধ্যয়ন করে। বিশেষত, কোডিফারেন্ট সম্পূর্ণ ধনাত্মক উপাদান দ্বারা উৎপন্ন হওয়ার অনুমান অধীনে, প্রদত্ত সংখ্যা ক্ষেত্র K-তে সর্বজনীন দ্বিঘাত রূপের র্যাঙ্কের স্পষ্ট উর্ধ্বসীমা প্রমাণ করা হয়। এই অনুমান অপসারণ করার জন্য, লেখকরা সম্পূর্ণ বাস্তব সংখ্যা ক্ষেত্রে আদর্শ ধনাত্মক অংশের ন্যূনতম জেনারেটর সংখ্যার সমস্যাও অধ্যয়ন করেছেন।
সর্বজনীন দ্বিঘাত রূপ হল এমন ধনাত্মক নির্দিষ্ট দ্বিঘাত রূপ যা সমস্ত প্রাকৃতিক সংখ্যা প্রতিনিধিত্ব করতে পারে। এই পেপারের মূল গবেষণা সমস্যা হল: সম্পূর্ণ বাস্তব সংখ্যা ক্ষেত্র K-তে, সর্বজনীন দ্বিঘাত রূপের জন্য কমপক্ষে কত সংখ্যক চলক প্রয়োজন (অর্থাৎ র্যাঙ্কের নিম্নসীমা কত)?
দীর্ঘ ঐতিহ্য: সর্বজনীন দ্বিঘাত রূপের গবেষণা ডায়োফান্টাস, ফার্মাট, অয়লার, গাউস প্রভৃতি গণিতবিদদের কাজ জড়িত, আধুনিক গুরুত্বপূর্ণ ফলাফলের মধ্যে রয়েছে কনওয়ে-শনিবার্গার উপপাদ্য (১৫-উপপাদ্য) এবং ভার্গব-হ্যাঙ্কের ২৯০-উপপাদ্য।
স্বাভাবিক সম্প্রসারণ: পূর্ণসংখ্যা পরিবেশ Z থেকে সম্পূর্ণ বাস্তব সংখ্যা ক্ষেত্র K-এর পূর্ণসংখ্যা পরিবেশ O_K-তে সম্প্রসারণ একটি স্বাভাবিক সংখ্যা তাত্ত্বিক সমস্যা।
পরিচিত ফলাফল:
মাস (১৯४१): তিন বর্গের যোগফল Q(√५) উপর সর্বজনীন
সিগেল (१९४५): যদি যেকোনো সংখ্যক বর্গের যোগফল K-তে সর্বজনীন হয়, তাহলে K=Q বা Q(√५)
হসিয়া-কিতাওকা-ক্নেসার: প্রতিটি সংখ্যা ক্ষেত্রে সর্বজনীন দ্বিঘাত রূপ বিদ্যমান
ব্লোমার-কালা: প্রদত্ত ধনাত্মক সংখ্যা N-এর জন্য, এমন বাস্তব দ্বিঘাত ক্ষেত্র বিদ্যমান যেখানে যেকোনো সর্বজনীন দ্বিঘাত রূপের র্যাঙ্ক কমপক্ষে N
যদিও সর্বজনীন দ্বিঘাত রূপের অস্তিত্ব পরিচিত, তবুও প্রদত্ত সংখ্যা ক্ষেত্রে সর্বজনীন দ্বিঘাত রূপের জন্য প্রয়োজনীয় ন্যূনতম চলক সংখ্যা খুঁজে বের করা এখনও একটি খোলা এবং কঠিন সমস্যা। বিদ্যমান পদ্ধতিতে নির্দিষ্ট সংখ্যা ক্ষেত্রের নির্ভুল বৈশিষ্ট্যের অভাব রয়েছে।
উপপাদ্য १.१ (প্রধান ফলাফল): কোডিফারেন্ট O^∨_K সম্পূর্ণ ধনাত্মক উপাদান δ দ্বারা উৎপন্ন হওয়ার অনুমান অধীনে, সর্বজনীন দ্বিঘাত রূপের র্যাঙ্ক R-এর স্পষ্ট নিম্নসীমা প্রদান করা হয়, যা বিচারক Δ_K এবং ডিগ্রি d-এর উপর নির্ভর করে।
উপপাদ্য १.२ (সীমিততা ফলাফল): প্রদত্ত ডিগ্রি d এবং র্যাঙ্ক R-এর জন্য, শুধুমাত্র সীমিত সংখ্যক সম্পূর্ণ বাস্তব সংখ্যা ক্ষেত্র (যাদের কোডিফারেন্ট সম্পূর্ণ ধনাত্মক উপাদান দ্বারা উৎপন্ন) র্যাঙ্ক R-এর সর্বজনীন দ্বিঘাত রূপ ধারণ করে, যা ইয়াৎসিনার উপপাদ্য ४ সম্প্রসারিত করে।
উপপাদ্য २.४ (উত্তোলন সমস্যা): ডিগ্রি d≤४३ এর সংখ্যা ক্ষেত্রের জন্য, যখন O^∨_K প্রধান আদর্শ এবং নির্দিষ্ট শর্ত পূরণ করে, তখন বিচারকের স্পষ্ট উর্ধ্বসীমা প্রদান করা হয়।
আদর্শ ধনাত্মক অংশ জেনারেটর গবেষণা:
κ(I) এবং κ(K) সংজ্ঞায়িত করা হয়েছে আদর্শ ধনাত্মক অংশের জন্য প্রয়োজনীয় ন্যূনতম জেনারেটর সংখ্যা বৈশিষ্ট্যায়নের জন্য
κ(K)-এর সীমিততা প্রমাণ করা হয়েছে (উপপাদ্য ३.६)
বাস্তব দ্বিঘাত ক্ষেত্রের জন্য ক্রমাগত ভগ্নাংশের সাথে সম্পর্কিত স্পষ্ট সীমা প্রদান করা হয়েছে (প্রস্তাব ३.९)
ইনপুট: সম্পূর্ণ বাস্তব সংখ্যা ক্ষেত্র K, ডিগ্রি d, বিচারক Δ_K, সর্বজনীন দ্বিঘাত রূপ Q-এর র্যাঙ্ক R
আউটপুট: R যা পূরণ করতে হবে এমন নিম্নসীমা অসমতা
সীমাবদ্ধতা: K-এর কোডিফারেন্ট O^∨_K = (δ), যেখানে δ সম্পূর্ণ ধনাত্মক
রেগেভ-স্টিফেন্স-ডেভিডোভিৎজ উপপাদ্য ব্যবহার করা হয় (উপপাদ্য २.१): র্যাঙ্ক R-এর ধনাত্মক নির্দিষ্ট Z-জালির জন্য, নর্ম ≤i-এর ভেক্টর সংখ্যা সন্তুষ্ট করে:
N≤i(L)≤C(R,i)=2(4i−1R+4i−1)−1
Z-জালি নির্মাণ: O_K-এর পূর্ণসংখ্যা ভিত্তি ω_1,...,ω_d দেওয়া হলে, র্যাঙ্ক Rd-এর দ্বিঘাত রূপ নির্মাণ করা হয়:
q(x11,...,xRd)=Tr(δQ(x11ω1+⋯+xRdωd))
সংক্ষিপ্ত ভেক্টর অনুমান:
সর্বজনীনতা দ্বারা, q সমস্ত O^∨,+_K-এ ট্রেস ≤r_d-এর উপাদান প্রতিনিধিত্ব করে
উপপাদ্য २.१ প্রয়োগ করে সংক্ষিপ্ত ভেক্টর সংখ্যার উর্ধ্বসীমা পাওয়া যায়
३ V. Blomer and V. Kala. Number fields without universal n-ary quadratic forms. Math. Proc. Cambridge Philos. Soc., १५९:२३९–२५२, २०१५.
९ V. Kala and P. Yatsyna. Lifting problem for universal quadratic forms. Adv. Math., ३७७:Paper No. १०७४९७, २४, २०२१.
१८ O. Regev and N. Stephens-Davidowitz. A simple proof of a reverse Minkowski theorem for integral lattices, २०२३. arxiv:२३०६.०३६९७.
२१ P. Yatsyna. A lower bound for the rank of a universal quadratic form with integer coefficients in a totally real number field. Comment. Math. Helv., ९४(२):२२१–२३९, २०१९.
२२ D. Zagier. On the values at negative integers of the zeta-function of a real quadratic field. Enseign. Math. (२), २२(१-२):५५–९५, १९७६.
সামগ্রিক মূল্যায়ন: এটি সংখ্যা তত্ত্বে একটি উচ্চ মানের তাত্ত্বিক পেপার, যা সম্পূর্ণ বাস্তব সংখ্যা ক্ষেত্রে সর্বজনীন দ্বিঘাত রূপের গবেষণায় বাস্তব অগ্রগতি অর্জন করেছে। যদিও প্রধান ফলাফল প্রযুক্তিগত অনুমানের উপর নির্ভর করে, তবুও লেখকরা κ(K) অপরিবর্তনীয় প্রবর্তনের মাধ্যমে অনুমান অপসারণের জন্য নতুন চিন্তাধারা প্রদান করেছেন। প্রমাণ কৌশল সূক্ষ্ম, একাধিক গাণিতিক শাখার গভীর ফলাফল সংমিশ্রিত করে। পেপারের সীমাবদ্ধতা প্রধানত সীমার কঠোরতা এবং গণনামূলক সম্ভাব্যতায়, কিন্তু এগুলি ভবিষ্যত গবেষণার জন্য স্থান রেখে যায়। বীজগণিত সংখ্যা তত্ত্ব এবং দ্বিঘাত রূপ তত্ত্বের গবেষকদের জন্য, এটি গভীরভাবে পড়ার যোগ্য একটি গুরুত্বপূর্ণ সাহিত্য।