Given a $(0,p)$-mixed characteristic complete discrete valued field $\mathcal{K}$ we define a class of finite field extensions called \emph{pseudo-perfect} extensions such that the natural restriction map on the mod-$p$ Milnor $K$-groups is trivial for all $p\neq 2$. This implies that pseudo-perfect extensions split every element in $H^i(\mathcal{K},μ_p^{\otimes i-1})$ yielding period-index bounds for Brauer classes as well as higher cohomology classes of $\mathcal{K}$. As a corollary, we prove a conjecture of Bhaskhar-Haase that the Brauer $p$-dimension of $\mathcal{K}$ is upper bounded by $n+1$ where $n$ is the $p$-rank of the residue field. When $\mathcal{K}$ is the fraction field of a complete regular ring, we show that any $p$-torsion element in $Br(\mathcal{K})$ that is nicely ramified is split by a pseudo-perfect extension yielding a bound on its index. We then use patching techniques of Harbater, Hartmann and Krashen to show that the Brauer $p$-dimension of semi-global fields of residual characteristic $p$ is at most $n+2$ and also give uniform $p$-bounds for higher cohomologies. These bounds are sharper than previously known in the work of Parimala-Suresh
- গবেষণাপত্র ID: 2510.03603
- শিরোনাম: মিলনর K-তত্ত্ব অপূর্ণ অবশিষ্ট ক্ষেত্রের ক্ষেত্রে এবং পিরিয়ড-সূচক সমস্যায় প্রয়োগ
- লেখক: শ্রীনিবাসন শ্রীমথি (তাতা মৌলিক গবেষণা প্রতিষ্ঠান, মুম্বাই)
- শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব), math.AG (বীজগণিতীয় জ্যামিতি), math.KT (K-তত্ত্ব), math.RA (বলয় এবং বীজগণিত)
- প্রকাশনার সময়: ২০২৫ সালের অক্টোবর (arXiv প্রাক-প্রকাশনা, v2 সংস্করণ)
- গবেষণাপত্র লিঙ্ক: https://arxiv.org/abs/2510.03603
এই গবেষণাপত্রটি (0,p) মিশ্র বৈশিষ্ট্য সম্পূর্ণ বিচ্ছিন্ন মূল্যায়ন ক্ষেত্র K অধ্যয়ন করে এবং "ছদ্ম-সম্পূর্ণ সম্প্রসারণ" নামক একটি সীমিত ক্ষেত্র সম্প্রসারণ শ্রেণী সংজ্ঞায়িত করে, যাতে সমস্ত p=2 এর জন্য, mod-p মিলনর K-গ্রুপে প্রাকৃতিক সীমাবদ্ধতা মানচিত্র শূন্য হয়। এর অর্থ হল ছদ্ম-সম্পূর্ণ সম্প্রসারণগুলি Hi(K,μp⊗i−1) এর প্রতিটি উপাদানকে বিভক্ত করতে পারে, যার ফলে ব্রাউয়ার শ্রেণী এবং উচ্চতর সহসমবিজ্ঞান শ্রেণীর পিরিয়ড-সূচক সীমানা পাওয়া যায়। একটি ফলাফল হিসাবে, লেখক ভাস্কর-হেসে অনুমান প্রমাণ করেছেন: K এর ব্রাউয়ার p-মাত্রা n+1 অতিক্রম করে না, যেখানে n হল অবশিষ্ট ক্ষেত্রের p-র্যাঙ্ক।
এই গবেষণাপত্রটি যে মূল সমস্যাটি সমাধান করে তা হল পিরিয়ড-সূচক সমস্যা, যা বীজগণিতে একটি ধ্রুবক সমস্যা:
- ব্রাউয়ার গ্রুপ Br(F) এর একটি উপাদান α এর জন্য, এর পিরিয়ড per(α) (ব্রাউয়ার গ্রুপে এর ক্রম) এবং সূচক ind(α) (বিভাজক ক্ষেত্রের ডিগ্রির সর্বোচ্চ সাধারণ ভাজক) এর মধ্যে সম্পর্ক
- সর্বনিম্ন পূর্ণসংখ্যা ℓ খুঁজে বের করা যাতে সমস্ত α এর জন্য ind(α)∣per(α)ℓ হয়
- তাত্ত্বিক তাৎপর্য: ব্রাউয়ার মাত্রা একটি ক্ষেত্রের একটি গুরুত্বপূর্ণ অপরিবর্তনীয়, যা কেন্দ্রীয় সরল বীজগণিতের কাঠামো বর্ণনা করে
- প্রযুক্তিগত চ্যালেঞ্জ: যখন অবশিষ্ট ক্ষেত্র অপূর্ণ ক্ষেত্র (বৈশিষ্ট্য p এবং সীমিত p-র্যাঙ্ক), সমস্যাটি অত্যন্ত জটিল হয়ে ওঠে
- প্রয়োগের মূল্য: ফলাফলগুলি পাটিগণিতীয় জ্যামিতি, বীজগণিতীয় K-তত্ত্ব এবং অন্যান্য একাধিক ক্ষেত্রে প্রয়োগ করা যায়
- সম্পূর্ণ অবশিষ্ট ক্ষেত্রের ক্ষেত্রে: ইতিমধ্যে ভাল ফলাফল রয়েছে (হারবাটার-হার্টম্যান-ক্রাশেন ইত্যাদি)
- অপূর্ণ অবশিষ্ট ক্ষেত্রে: পারিমালা-সুরেশ সীমানা প্রদান করেছেন, কিন্তু যথেষ্ট তীক্ষ্ণ নয়
- প্রযুক্তিগত অসুবিধা: মিশ্র বৈশিষ্ট্যের ক্ষেত্রে মিলনর K-তত্ত্ব পরিচালনার জন্য কার্যকর সরঞ্জামের অভাব
- ছদ্ম-সম্পূর্ণ সম্প্রসারণ ধারণা প্রবর্তন: নতুন ক্ষেত্র সম্প্রসারণ বিভাগ সংজ্ঞায়িত করা, সমান বৈশিষ্ট্যের ক্ষেত্রে সম্পূর্ণ বন্ধের অনুরূপ
- প্রধান উপপাদ্য প্রমাণ: p=2 এর জন্য, ছদ্ম-সম্পূর্ণ সম্প্রসারণে mod-p মিলনর K-গ্রুপ সীমাবদ্ধতা মানচিত্র শূন্য
- ভাস্কর-হেসে অনুমান সমাধান: ব্রাউয়ার p-মাত্রার সর্বোত্তম উপরের সীমানা Rp(κ)+1 প্রমাণ করা
- অর্ধ-বৈশ্বিক ক্ষেত্রের সীমানা উন্নত করা: পারিমালা-সুরেশের চেয়ে আরও তীক্ষ্ণ ব্রাউয়ার p-মাত্রার সীমানা প্রদান করা
- একীভূত কাঠামো: মিশ্র বৈশিষ্ট্য এবং সমান বৈশিষ্ট্যের ক্ষেত্রে পরিচালনার জন্য একীভূত পদ্ধতি প্রদান করা
সম্পূর্ণ নিয়মিত স্থানীয় বলয় R এর ভগ্নাংশ ক্ষেত্র K এর জন্য, সংজ্ঞায়িত করুন:
- ছদ্ম-র্যাঙ্ক: Rps(K):=Rp(κ)+dimR
- ছদ্ম-ভিত্তি: Λ=B~∪Π, যেখানে B~ অবশিষ্ট ক্ষেত্র p-ভিত্তির উন্নতি, Π নিয়মিত পরামিতি সিস্টেম
ℓ-স্তরের ছদ্ম-সম্পূর্ণ সম্প্রসারণ সংজ্ঞায়িত করা হয়:
L≅K(Λ1/pℓ)
এটি সমান বৈশিষ্ট্যের ক্ষেত্রে সম্পূর্ণ বন্ধ নির্মাণের প্রক্রিয়া অনুকরণ করে।
সম্পূর্ণ বিচ্ছিন্ন মূল্যায়ন ক্ষেত্রে কাটো দ্বারা নির্মিত একক গ্রুপ ফিল্টার ব্যবহার করা:
UKi={1+πiOK×}
eK′=eKp(p−1)−1 এর জন্য, আমাদের কাছে UKeK′+1⊆(OK×)p রয়েছে।
w={w1,…,wi}∈Ki(K)/p সেট করুন, যেখানে প্রতিটি wj∈OK× হল OK এ p-শক্তির সীমিত যোগ, তারপর:
- যখন p=2: w=0
- যখন p=2 এবং i≥3: w=0
- যখন p=2 এবং i=2: নির্দিষ্ট শর্তে w=0
- একক পর্যন্ত হ্রাস: উপযুক্ত একীভূতকরণ উপাদানের শক্তি দ্বারা গুণ করে প্রতীকগুলি একক গ্রুপ উপাদানে হ্রাস করা
- সম্প্রসারণ প্রতিনিধিত্ব: প্রতিটি একক প্রতিনিধিত্ব করতে p-ভিত্তি উন্নতি ব্যবহার করা নির্দিষ্ট ফর্মে
- মূল লেম্মা প্রয়োগ: ছদ্ম-সম্পূর্ণ সম্প্রসারণে, সম্প্রসারণ p-শক্তির যোগ হয়ে যায়, মূল লেম্মা প্রয়োগ করে শূন্যকরণ পান
- প্রতীক ম্যানিপুলেশন: মিলনর K-তত্ত্বে প্রতীক সম্পর্ক দক্ষতার সাথে ব্যবহার করা
- ফিল্টার প্রযুক্তি: কাটো ফিল্টার এবং একক গ্রুপ কাঠামো একত্রিত করা
- সহসমবিজ্ঞান সংযোগ: K-তত্ত্ব এবং গ্যালোয়া সহসমবিজ্ঞান সংযুক্ত করা নর্ম অবশিষ্ট আইসোমরফিজমের মাধ্যমে
এই গবেষণাপত্রটি প্রধানত বিশুদ্ধ তাত্ত্বিক কাজ, "পরীক্ষা" প্রকাশ পায়:
- নির্দিষ্ট উদাহরণ নির্মাণ:
- সপ্তম বিভাগ p=2 এর সময় সীমাবদ্ধতা মানচিত্র অ-শূন্য স্পষ্ট উদাহরণ নির্মাণ করে
- κ=F2(a,b) এবং K বৈশিষ্ট্য শূন্য সম্পূর্ণ বিচ্ছিন্ন মূল্যায়ন ক্ষেত্র ব্যবহার করা
- সীমানা ক্ষেত্রে বিশ্লেষণ:
- p=2 এর সময় যাচাই করা অতিরিক্ত শর্ত Heˊt2(κ,Z/2(1))=0 প্রয়োজন
- এই শর্তের প্রয়োজনীয়তা বিশ্লেষণ করা
নিম্নলিখিত প্রয়োগের মাধ্যমে তত্ত্বের কার্যকারিতা যাচাই করা:
- ভাস্কর-হেসে অনুমান এর প্রমাণ
- অর্ধ-বৈশ্বিক ক্ষেত্রের সীমানা উন্নতি
- উচ্চতর সহসমবিজ্ঞানের একীভূত সীমানা
K বৈশিষ্ট্য শূন্য সম্পূর্ণ বিচ্ছিন্ন মূল্যায়ন ক্ষেত্র, অবশিষ্ট ক্ষেত্র κ বৈশিষ্ট্য p সেট করুন, তারপর যেকোনো L∈PP(K) এর জন্য:
ResL/Ki:Ki(K)/p→Ki(L)/p
- যখন i≥3 তখন শূন্য
- যখন i=2 এবং p=2 বা Heˊt2(κ,Z/2(1))=0 তখন শূন্য
Rp(κ)≤Brpdim(K)≤Rps(K)=Rp(κ)+1
অর্ধ-বৈশ্বিক ক্ষেত্র F এর জন্য:
Brpdim(F)≤Rps(K)+1
এটি পারিমালা-সুরেশের ফলাফলের চেয়ে আরও তীক্ষ্ণ।
- একীভূতকরণ: মিশ্র বৈশিষ্ট্য এবং সমান বৈশিষ্ট্যের ক্ষেত্রে সীমানা সামঞ্জস্যপূর্ণ
- সর্বোত্তমতা: অনুমানের উপরের সীমানা অর্জন করা
- গঠনমূলকতা: স্পষ্ট বিভাজক ক্ষেত্র নির্মাণ প্রদান করা
উপপাদ্য 7.2 দেখায় যখন p=2 এবং Heˊt2(κ,Z/2(1))=0 তখন সীমাবদ্ধতা মানচিত্র অ-শূন্য হতে পারে, অতিরিক্ত শর্তের প্রয়োজনীয়তা প্রমাণ করে।
- ধ্রুবক ফলাফল: অ্যালবার্ট উপপাদ্য (বৈশিষ্ট্য p ক্ষেত্রের ব্রাউয়ার p-মাত্রা সীমানা)
- আধুনিক উন্নয়ন:
- হারবাটার-হার্টম্যান-ক্রাশেন: অবশিষ্ট বৈশিষ্ট্য এবং p পারস্পরিক প্রাইম ক্ষেত্রে
- পারিমালা-সুরেশ: অবশিষ্ট বৈশিষ্ট্য p এর সীমানা
- ভাস্কর-হেসে: সর্বোত্তম সীমানার অনুমান
- মিলনর K-তত্ত্ব: ব্লোচ-কাটো উপপাদ্য, নর্ম অবশিষ্ট আইসোমরফিজম
- সম্পূর্ণ বিচ্ছিন্ন মূল্যায়ন ক্ষেত্র তত্ত্ব: কাটোর ফিল্টার তত্ত্ব
- প্যাচিং প্রযুক্তি: হারবাটার-হার্টম্যান-ক্রাশেন পদ্ধতি
- একীভূত কাঠামো: মিশ্র বৈশিষ্ট্য এবং সমান বৈশিষ্ট্য পরিচালনার একীভূত পদ্ধতি
- সর্বোত্তম সীমানা: অনুমানের সর্বোত্তম উপরের সীমানা অর্জন করা
- গঠনমূলক পদ্ধতি: স্পষ্ট ক্ষেত্র সম্প্রসারণ নির্মাণ প্রদান করা
- ছদ্ম-সম্পূর্ণ সম্প্রসারণ তত্ত্ব: সমান বৈশিষ্ট্যের ক্ষেত্রে সম্পূর্ণ বন্ধ তত্ত্ব মিশ্র বৈশিষ্ট্যে সফলভাবে সম্প্রসারিত করা
- সর্বোত্তম ব্রাউয়ার সীমানা: ভাস্কর-হেসে অনুমান সমাধান করা, সর্বোত্তম উপরের সীমানা প্রদান করা
- প্রযুক্তিগত অগ্রগতি: অপূর্ণ অবশিষ্ট ক্ষেত্র পরিচালনার জন্য নতুন প্রযুক্তি উন্নয়ন
- p=2 ক্ষেত্রে: অতিরিক্ত প্রযুক্তিগত শর্ত প্রয়োজন, প্রক্রিয়াকরণ আরও জটিল
- নিয়মিততা অনুমান: সম্পূর্ণ নিয়মিত স্থানীয় বলয়ের অনুমান প্রয়োজন, প্রয়োগের পরিধি সীমিত করে
- সীমিত p-র্যাঙ্ক: অবশিষ্ট ক্ষেত্রের সীমিত p-র্যাঙ্ক প্রয়োজন
- সমস্যা 7.4: p=2 ক্ষেত্রে অনুমানের সম্পূর্ণ সমাধান
- উচ্চ-মাত্রা সাধারণীকরণ: আরও সাধারণ পাটিগণিতীয় জ্যামিতি ক্ষেত্রে সম্প্রসারণ
- গণনামূলক দিক: কার্যকর অ্যালগরিদম বাস্তবায়ন উন্নয়ন
- ধারণা উদ্ভাবন: ছদ্ম-সম্পূর্ণ সম্প্রসারণ ধারণা দক্ষতার সাথে বিভিন্ন বৈশিষ্ট্য ক্ষেত্র একীভূত করে
- প্রযুক্তিগত অগ্রগতি: মূল লেম্মা 6.8 মিলনর K-তত্ত্বে p-শক্তির যোগের গভীর বৈশিষ্ট্য প্রকাশ করে
- ফলাফল সর্বোত্তমতা: অনুমানের সর্বোত্তম সীমানা অর্জন করা, গুরুত্বপূর্ণ তাত্ত্বিক মূল্য রাখে
- বহু-ক্ষেত্র সংমিশ্রণ: বীজগণিতীয় K-তত্ত্ব, গ্যালোয়া সহসমবিজ্ঞান, পাটিগণিতীয় জ্যামিতি দক্ষতার সাথে একত্রিত করা
- প্রযুক্তিগত দক্ষতা: কাটো ফিল্টার তত্ত্বের গভীর প্রয়োগ উচ্চ প্রযুক্তিগত স্তর প্রদর্শন করে
- ফলাফল সর্বোত্তমতা: অনুমানের সর্বোত্তম সীমানা অর্জন করা, গুরুত্বপূর্ণ তাত্ত্বিক মূল্য রাখে
- যুক্তি স্পষ্টতা: প্রমাণ কাঠামো স্পষ্ট, পদক্ষেপ কঠোর
- বিস্তারিত সম্পূর্ণতা: প্রযুক্তিগত বিস্তারিত যথাযথভাবে পরিচালিত, সীমানা ক্ষেত্রে বিশ্লেষণ পর্যাপ্ত
- প্রতিউদাহরণ নির্মাণ: সপ্তম বিভাগের প্রতিউদাহরণ নির্মাণ সমস্যার সারমর্ম সম্পর্কে গভীর বোঝাপড়া প্রদর্শন করে
- p=2 জটিলতা: এই ক্ষেত্রে অতিরিক্ত শর্ত প্রয়োজন, তত্ত্ব যথেষ্ট একীভূত নয়
- শক্তিশালী অনুমান: সম্পূর্ণতা এবং নিয়মিততা অনুমান প্রয়োগের পরিধি সীমিত করে
- গঠনমূলক অপূর্ণতা: নির্দিষ্ট প্রমাণ অস্তিত্ব যুক্তির উপর নির্ভর করে
- প্রযুক্তিগত প্রবেশদ্বার উচ্চ: গভীর বীজগণিতীয় জ্যামিতি এবং K-তত্ত্ব পটভূমি প্রয়োজন
- জটিল চিহ্ন: বিস্তৃত প্রযুক্তিগত চিহ্ন পাঠযোগ্যতা প্রভাবিত করতে পারে
- গুরুত্বপূর্ণ অনুমান সমাধান: ভাস্কর-হেসে অনুমানের সমাধান মাইলফলক তাৎপর্য রাখে
- নতুন দিকনির্দেশনা খোলা: ছদ্ম-সম্পূর্ণ সম্প্রসারণ তত্ত্ব আরও গবেষণা অনুপ্রাণিত করতে পারে
- প্রযুক্তিগত প্রভাব: নতুন প্রযুক্তি সম্পর্কিত সমস্যায় প্রয়োগ করা যায়
- পাটিগণিতীয় জ্যামিতি প্রয়োগ: ফলাফল উপবৃত্তাকার বক্ররেখা, অ্যাবেলিয়ান বৈচিত্র্য গবেষণায় প্রয়োগ করা যায়
- ক্রিপ্টোগ্রাফি সম্ভাবনা: ব্রাউয়ার গ্রুপ ক্রিপ্টোগ্রাফিতে প্রয়োগ সম্ভাবনা রাখে
- গণনামূলক তাৎপর্য: সম্পর্কিত গণনামূলক সমস্যার জন্য তাত্ত্বিক ভিত্তি প্রদান করে
- বীজগণিতীয় সংখ্যা তত্ত্ব: পাটিগণিতীয় ক্ষেত্রের ব্রাউয়ার গ্রুপ কাঠামো গবেষণা
- পাটিগণিতীয় জ্যামিতি: বীজগণিতীয় বৈচিত্র্যে কেন্দ্রীয় সরল বীজগণিত বিশ্লেষণ
- বীজগণিতীয় K-তত্ত্ব: মিলনর K-গ্রুপের বৈশিষ্ট্য গবেষণা
- গ্যালোয়া সহসমবিজ্ঞান: ক্ষেত্রের সহসমবিজ্ঞান গ্রুপ কাঠামো বিশ্লেষণ
গবেষণাপত্রটি এই ক্ষেত্রের গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, যার মধ্যে রয়েছে:
- BH20 ভাস্কর-হেসে ব্রাউয়ার p-মাত্রা সম্পর্কিত কাজ
- PS14, PS15 পারিমালা-সুরেশ পিরিয়ড-সূচক সমস্যা গবেষণা
- HHK09 হারবাটার-হার্টম্যান-ক্রাশেন প্যাচিং প্রযুক্তি
- BK86 ব্লোচ-কাটো p-অ্যাডিক étale সহসমবিজ্ঞান ভিত্তি কাজ
- Kat89 কাটো সম্পূর্ণ বিচ্ছিন্ন মূল্যায়ন ক্ষেত্র সহসমবিজ্ঞান গুরুত্বপূর্ণ ফলাফল
এই গবেষণাপত্রটি বীজগণিতীয় সংখ্যা তত্ত্ব এবং পাটিগণিতীয় জ্যামিতি ক্ষেত্রের একটি গুরুত্বপূর্ণ অবদান, ছদ্ম-সম্পূর্ণ সম্প্রসারণের উদ্ভাবনী ধারণা প্রবর্তনের মাধ্যমে, ভাস্কর-হেসে অনুমান সফলভাবে সমাধান করেছে এবং প্রযুক্তিগতভাবে গুরুত্বপূর্ণ অগ্রগতি অর্জন করেছে। যদিও p=2 ক্ষেত্রে এখনও উন্নতির অবকাশ রয়েছে, সামগ্রিকভাবে এটি এই ক্ষেত্রের একটি গুরুত্বপূর্ণ অগ্রগতি।