Maximal orders optimal embedding of central simple algebras over number fields
Yang
Given a number field $F$ and $R$ be the ring of integers of $F$, the problem of embedding a field extension $K/F$ into a central simple algebra $B$ is classical. This paper proves that when the central simple algebra has degree $p$, the $R$-order $S\subset K$ can be optimal embedded into all maximal $R$-orders $O\subset B$, unless satisfies the optimal selectivity condition.
academic
সংখ্যা ক্ষেত্রের উপর কেন্দ্রীয় সরল বীজগণিতের সর্বোচ্চ ক্রমের সর্বোত্তম সংযোজন
এই গবেষণাপত্রটি সংখ্যা ক্ষেত্র F এবং এর পূর্ণাঙ্ক বলয় R এর উপর, ক্ষেত্র সম্প্রসারণ K/F কে কেন্দ্রীয় সরল বীজগণিত B তে সংযোজনের ধ্রুপদী সমস্যা অধ্যয়ন করে। গবেষণাপত্রটি প্রমাণ করে যে যখন কেন্দ্রীয় সরল বীজগণিতের ঘাত একটি মৌলিক সংখ্যা p হয়, তখন R-ক্রম S⊂K সর্বোত্তমভাবে সকল সর্বোচ্চ R-ক্রম O⊂B তে সংযোজিত হতে পারে, যদি না সর্বোত্তম নির্বাচনযোগ্যতার শর্ত পূরণ করা হয়। এই ফলাফলটি চতুর্ভুজ বীজগণিতের সর্বোত্তম নির্বাচনযোগ্যতা উপপাদ্যকে সাধারণ p-ঘাত কেন্দ্রীয় সরল বীজগণিতে সম্প্রসারিত করে।
এই গবেষণাপত্রের মূল সমস্যা হল: প্রদত্ত সংখ্যা ক্ষেত্র F এর উপর কেন্দ্রীয় সরল বীজগণিত B এবং ক্ষেত্র সম্প্রসারণ K/F, কখন K তে R-ক্রম Sসর্বোত্তমভাবেB তে সর্বোচ্চ R-ক্রম O তে সংযোজিত হতে পারে? বিশেষত, সর্বোত্তম সংযোজনের নির্বাচনযোগ্যতা (selectivity) সমস্যা অধ্যয়ন করা।
ধ্রুপদী সমস্যার গভীরতা: ক্ষেত্র সংযোজন সমস্যা Albert-Brauer-Hasse-Noether উপপাদ্যে ফিরে যায়, যা চতুর্ভুজ বীজগণিতে দ্বিঘাত সম্প্রসারণ সংযোজনের শর্ত চিহ্নিত করে
পাটিগণিতিক জ্যামিতির অর্থ: কেন্দ্রীয় সরল বীজগণিত পাটিগণিতিক পৃষ্ঠ, মডুলার রূপ ইত্যাদি বস্তুর সাথে গভীর সংযোগ রাখে
তাত্ত্বিক সম্পূর্ণতা: সাধারণ সংযোজন থেকে সর্বোত্তম সংযোজন একটি প্রাকৃতিক পরিমার্জন সমস্যা
এই গবেষণাপত্রের লক্ষ্য চতুর্ভুজ বীজগণিত সম্পর্কে Voight এর সর্বোত্তম নির্বাচনযোগ্যতা ফলাফল সাধারণ p-ঘাত কেন্দ্রীয় সরল বীজগণিতে সম্প্রসারিত করা, তাত্ত্বিক শূন্যতা পূরণ করা।
ম্যাট্রিক্স বিচার পদ্ধতি (Lemma 3.4): ϕ:Sp→Mn(Rp), ϕ(ei)=Ai সেট করলে, তাহলে ϕ সর্বোত্তম যখন এবং শুধুমাত্র যখন সারি এবং স্তম্ভ সূচক si,ti বিদ্যমান থাকে যেমন
detXsi,ti=det(A1)s1t1⋮(A1)sntn⋯⋱⋯(An)s1t1⋮(An)sntn∈Rp×
স্থানীয় অনন্যতা (Theorem 3.5 মূল):
যখন K⊆HGN(O) হয়, তাহলে m(Sp,Mp(Rp);GLp(Rp))=1
প্রমাণ নিয়মিত প্রতিনিধিত্ব ব্যবহার করে মান সর্বোত্তম সংযোজন নির্মাণ করে, তারপর যেকোনো সর্বোত্তম সংযোজন মান রূপের সাথে সংযুক্ত তা প্রমাণ করে
শ্রেণীবিভাগ আলোচনা:
যদি Kp≅Fpp (সম্পূর্ণ বিভক্ত): সকল A~i একযোগে কর্ণীয় করা যায়, অনন্য পূর্ণ-র্যাঙ্ক নির্বাচন হল X~11,22,…,pp
যদি Kp/Fp অবিভক্ত (inertia): A~p এর বৈশিষ্ট্য বহুপদ অপরিবর্তনীয়, A~i হল A~p এর বহুপদ, অনন্য পূর্ণ-র্যাঙ্ক নির্বাচন হল X~11,21,…,p1
প্রমাণ করে যে
m(S^,O^;NB^×(O^))=∏pm(Sp,Op;NBp×(Op))=1
পায় Nr(K^×)Nr(NB^×(O^))=Nr(E^), এটি নির্বাচনযোগ্যতা স্যান্ডউইচে মধ্য সমতা সত্যের চাবিকাঠি।
নোট: এই গবেষণাপত্রটি বিশুদ্ধ গণিত তাত্ত্বিক গবেষণাপত্র, সংখ্যাগত পরীক্ষা বা গণনামূলক যাচাইকরণ জড়িত নয়। সকল ফলাফল কঠোর গাণিতিক প্রমাণের মাধ্যমে পাওয়া যায়।
এই গবেষণাপত্র: p-ঘাত কেন্দ্রীয় সরল বীজগণিত (p বিজোড় মৌলিক সংখ্যা) + সর্বোচ্চ ক্রম
প্রযুক্তিগতভাবে Linowitz-Shemanske এর ধরন সেট কাঠামো সম্পর্কে গবেষণা উত্তরাধিকার সূত্র করে এবং Voight এর নির্বাচনযোগ্যতা স্যান্ডউইচ পদ্ধতি সংযুক্ত করে।
Theorem 3.7 সারসংক্ষেপ: p-ঘাত কেন্দ্রীয় সরল বীজগণিত B/F এর সর্বোচ্চ ক্রম O এবং K তে ক্রম S এর জন্য:
নির্বাচনযোগ্যতা বিচার: GenO, S এর জন্য সর্বোত্তমভাবে নির্বাচনযোগ্য ⇔K⊆HGN(O)
সংযোজন ঘনত্ব: যখন সর্বোত্তম নির্বাচনযোগ্য হয়, তখন ঠিক 1/p ধরন সংযোজিত হতে পারে
জ্যামিতিক অন্তর্দৃষ্টি: শ্রেণী ক্ষেত্র HGN(O) ক্রমের পাটিগণিতিক তথ্য এনকোড করে, K⊆HGN(O) মানে K এবং O এর "পাটিগণিতিক সামঞ্জস্য" যথেষ্ট শক্তিশালী, নির্বাচনযোগ্যতা ঘটনা সৃষ্টি করে।
বিজোড় মৌলিক সংখ্যা p অনুমান অনেক জায়গায় ব্যবহৃত হয় (যেমন Theorem 2.1 প্রমাণে "recall p is odd"), p=2 আলাদা চিকিৎসা প্রয়োজন কিন্তু Voight এর ফলাফল ইতিমধ্যে আছে
সর্বোচ্চ ক্রম অনুমান Theorem 3.5(2) এ সারাংশগতভাবে ব্যবহৃত হয়, অ-সর্বোচ্চ ক্ষেত্রে নতুন ধারণা প্রয়োজন
গণনামূলক সম্ভাব্যতা:
K⊆HGN(O) নির্ধারণ শ্রেণী ক্ষেত্র গণনা প্রয়োজন, যা ব্যবহারিকভাবে কঠিন হতে পারে
সুনির্দিষ্ট উদাহরণ বা অ্যালগরিদম বাস্তবায়ন আলোচনা অনুপস্থিত
প্রমাণ বিবরণ:
Theorem 3.5(1) প্রমাণে, detV∈Rp× সম্পর্কে যুক্তি (পৃষ্ঠা 9) কিছুটা সংক্ষিপ্ত
Lemma 2.5 প্রমাণ দুর্বল অনুমান উপপাদ্যের উপর নির্ভর করে, কিন্তু নির্মাণ প্রক্রিয়া আরও স্পষ্ট হতে পারে
পাঠ্য ত্রুটি:
"numble field" হওয়া উচিত "number field" (একাধিক স্থানে ঘটে)
"embeddding" হওয়া উচিত "embedding" (Theorem 1.3(2))
3 Chinburg-Friedman (1999): প্রথমবার চতুর্ভুজ বীজগণিত সর্বোচ্চ ক্রমের নির্বাচনযোগ্যতা প্রমাণ করেন
4 Eichler (1955): সর্বোত্তম সংযোজন ধারণা প্রবর্তনের যুগান্তকারী কাজ
6 Linowitz-Shemanske (2012): p-ঘাত কেন্দ্রীয় সরল বীজগণিত সর্বোচ্চ ক্রমের সাধারণ সংযোজন নির্বাচনযোগ্যতা প্রমাণ করেন
10 Reiner (1975): ধ্রুপদী পাঠ্যপুস্তক "Maximal Orders", তাত্ত্বিক ভিত্তি প্রদান করে
11 Voight (2021): "Quaternion Algebras", এই গবেষণাপত্রের সরাসরি সম্প্রসারণের বিষয়
সামগ্রিক মূল্যায়ন: এই গবেষণাপত্রটি উচ্চ মানের বিশুদ্ধ গণিত গবেষণাপত্র, সফলভাবে চতুর্ভুজ বীজগণিতের সর্বোত্তম নির্বাচনযোগ্যতা তত্ত্ব বিজোড় মৌলিক সংখ্যা ঘাত কেন্দ্রীয় সরল বীজগণিতে সম্প্রসারিত করে। তত্ত্ব সম্পূর্ণ, প্রমাণ কঠোর, অবদান স্পষ্ট। প্রধান মূল্য তাত্ত্বিক সম্পূর্ণতা এবং পদ্ধতিগত উদ্ভাবনে, পরবর্তী গবেষণার জন্য দৃঢ় ভিত্তি স্থাপন করে। লেখকদের সংশোধনে সুনির্দিষ্ট উদাহরণ যোগ করতে, পাঠ্য ত্রুটি সংশোধন করতে এবং গণনামূলক সম্ভাব্যতা সমস্যা আলোচনা করতে সুপারিশ করা হয়।