2025-11-22T21:58:16.528582

On modular invariants of the truncated polynomial ring in rank four

Phuc
We prove the rank-4 case of the conjecture of Ha-Hai-Nghia for the invariant subspace of the truncated polynomial ring $\mathcal{Q}_m(n)=\mathbb{F}_q[x_1,\dots,x_n]/(x_1^{q^m},\dots,x_n^{q^m}),$ under a new, explicit technical hypothesis. Our argument extends the determinant calculus for the delta operator by deriving crucial rank-4 identities governing its interaction with the Dickson algebra. We show that the proof of the conjecture reduces to a specific vanishing property, for which we introduce a sufficient condition, the "matching hypothesis" H$_{\mathrm{match}}$}, relating the degree structures of Dickson invariants. This condition is justified by theoretical arguments and verified computationally in many cases. Combining this approach with the normalized derivation approach from our prior work, we establish the conjecture. As a result, the Lewis-Reiner-Stanton Conjecture is also confirmed for rank four under the given hypothesis.
academic

ক্রমবর্ধমান চার র‍্যাঙ্কে ছোট বহুপদী বলয়ের মডুলার অপরিবর্তনীয় সম্পর্কে

মৌলিক তথ্য

  • পত্র আইডি: 2510.11464
  • শিরোনাম: ক্রমবর্ধমান চার র‍্যাঙ্কে ছোট বহুপদী বলয়ের মডুলার অপরিবর্তনীয় সম্পর্কে
  • লেখক: ডি. আং ভো ফুক
  • শ্রেণীবিভাগ: math.AC (বিনিময়যোগ্য বীজগণিত), math.AG (বীজগণিতীয় জ্যামিতি), math.AT (বীজগণিতীয় টপোলজি), math.RT (প্রতিনিধিত্ব তত্ত্ব)
  • প্রকাশনার সময়: ২০২৫ সালের ১৩ অক্টোবর
  • পত্রের লিঙ্ক: https://arxiv.org/abs/2510.11464

সারসংক্ষেপ

এই পত্রে নতুন স্পষ্ট প্রযুক্তিগত অনুমান অনুযায়ী, Ha-Hai-Nghia অনুমান প্রমাণ করা হয়েছে ছোট বহুপদী বলয় Qm(n)=Fq[x1,…,xn]/(x1qm,…,xnqm)\mathcal{Q}_m(n)=\mathbb{F}_q[x_1,\dots,x_n]/(x_1^{q^m},\dots,x_n^{q^m}) এর অপরিবর্তনীয় উপ-স্থানের চার র‍্যাঙ্ক ক্ষেত্রে। ডেল্টা অপারেটর এবং ডিকসন বীজগণিতের মধ্যে মিথস্ক্রিয়া নিয়ন্ত্রণকারী মূল চার র‍্যাঙ্ক পরিচয় উদ্ভাবনের মাধ্যমে, ডেল্টা অপারেটরের নির্ধারক ক্যালকুলাস সম্প্রসারিত করা হয়েছে। অনুমানের প্রমাণ একটি নির্দিষ্ট অন্তর্ধান সম্পত্তিতে হ্রাস পায় বলে প্রমাণিত হয়েছে, যার জন্য পর্যাপ্ত শর্ত "মিলিত অনুমান" (matching hypothesis) HmatchH_{\mathrm{match}} প্রবর্তন করা হয়েছে, যা ডিকসন অপরিবর্তনীয়ের ডিগ্রি কাঠামোকে সংযুক্ত করে। পূর্ববর্তী কাজে সাধারণীকৃত ডেরিভেটিভ পদ্ধতির সাথে মিলিয়ে, এই অনুমান প্রতিষ্ঠিত হয়েছে। অতএব, Lewis-Reiner-Stanton অনুমান প্রদত্ত অনুমান অনুযায়ী চার র‍্যাঙ্ক ক্ষেত্রেও নিশ্চিত করা হয়েছে।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার পটভূমি

১. ছোট বহুপদী বলয়ের অপরিবর্তনীয় তত্ত্ব: সীমিত ক্ষেত্রের উপর ছোট বহুপদী বলয় Qm(n)=Fq[x1,…,xn]/(x1qm,…,xnqm)Q_m(n) = \mathbb{F}_q[x_1,\ldots,x_n]/(x_1^{q^m},\ldots,x_n^{q^m}) এর অপরিবর্তনীয় উপ-স্থান কাঠামো অধ্যয়ন করা, যা প্যারাবোলিক উপগ্রুপ P(α)≤GLnP(\alpha) \leq GL_n এর ক্রিয়ার অধীন।

२. Lewis-Reiner-Stanton (LRS) অনুমান: এই অনুমান (q,t)(q,t)-Hilbert সিরিজ Cα,m(t)C_{\alpha,m}(t) এর একটি স্পষ্ট সূত্র প্রস্তাব করে, যা (q,t)(q,t)-বহুপদী সহগ দ্বারা নির্মিত। সম্পূর্ণ সাধারণ রৈখিক গ্রুপের জন্য, অনুমান পূর্বাভাস দেয়: Cn,m(t)=∑k=0min⁡(n,m)t(n−k)(qm−qk)(mk)q,tC_{n,m}(t) = \sum_{k=0}^{\min(n,m)} t^{(n-k)(q^m-q^k)} \binom{m}{k}_{q,t}

३. Ha-Hai-Nghia প্রোগ্রাম: Ha-Hai-Nghia গুরুত্বপূর্ণ কাজে র‍্যাঙ্ক n≤3n \leq 3 এর সমস্ত প্যারাবোলিক উপগ্রুপের জন্য LRS অনুমান যাচাই করে উল্লেখযোগ্য অগ্রগতি অর্জন করেছে, নির্ধারক "ডেল্টা অপারেটর" δa;b\delta_{a;b} এর উপর ভিত্তি করে একটি স্পষ্ট প্রার্থী ভিত্তি প্রস্তাব করেছে যা ডিকসন বীজগণিতের সতর্কতার সাথে নির্বাচিত উপ-স্থান Δsm\Delta_s^m এ কাজ করে।

গবেষণার প্রেরণা

१. প্রযুক্তিগত চ্যালেঞ্জ: র‍্যাঙ্ক সংখ্যা বৃদ্ধির সাথে সাথে র‍্যাঙ্ক-সম্পর্কিত গণনা ক্রমবর্ধমান জটিল হয়ে ওঠে, এই প্রোগ্রাম এগিয়ে নিতে আরও কাঠামোগত পদ্ধতির প্রয়োজন।

२. পদ্ধতির সীমাবদ্ধতা: বিদ্যমান প্রমাণ পদ্ধতির সরাসরি সম্প্রসারণ চার র‍্যাঙ্কে সূক্ষ্ম বাধার সম্মুখীন হয়: D4D_4-মডিউল কাঠামোর প্রমাণ করা মূল পদ বিনা শর্তে অন্তর্ধান করতে পারে না।

३. তাত্ত্বিক চাহিদা: নির্ধারক পদ্ধতি এবং সাধারণীকৃত ডেরিভেটিভ কাঠামো একত্রিত করার প্রয়োজন, উচ্চতর র‍্যাঙ্ক ক্ষেত্রের জন্য নতুন প্রযুক্তিগত সরঞ্জাম প্রদান করতে।

মূল অবদান

१. চার র‍্যাঙ্ক ডেল্টা-ডিকসন পরিচয় প্রতিষ্ঠা: ডেল্টা অপারেটর এবং ডিকসন বীজগণিতের মধ্যে মিথস্ক্রিয়া নিয়ন্ত্রণকারী মূল চার র‍্যাঙ্ক পরিচয় উদ্ভাবন করা হয়েছে (লেম্মা ३.१)।

२. মিলিত অনুমান প্রবর্তন: "মিলিত অনুমান" (Hmatch)(H_{\mathrm{match}}) প্রস্তাব করা হয়েছে মূল অন্তর্ধান সম্পত্তি নিশ্চিত করার জন্য পর্যাপ্ত শর্ত হিসাবে, যা ডিকসন অপরিবর্তনীয়ের ডিগ্রি কাঠামোকে সংযুক্ত করে।

३. Ha-Hai-Nghia অনুমানের চার র‍্যাঙ্ক ক্ষেত্র প্রমাণ: মিলিত অনুমানের অধীনে, প্রার্থী ভিত্তি Bm(4)B_m(4) প্রকৃতপক্ষে অপরিবর্তনীয় বলয় Qm(4)GL4Q_m(4)^{GL_4} এর ভিত্তি তা প্রমাণ করা হয়েছে।

४. LRS অনুমান নিশ্চিতকরণ: অনুসিদ্ধান্ত হিসাবে, প্রদত্ত অনুমান অনুযায়ী Lewis-Reiner-Stanton অনুমানের চার র‍্যাঙ্ক ক্ষেত্র নিশ্চিত করা হয়েছে।

५. গণনামূলক যাচাইকরণ: মূল ফলাফলের গণনামূলক যাচাইকরণের জন্য SageMath স্ক্রিপ্ট প্রদান করা হয়েছে।

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

প্রমাণ করা যে সমস্ত m≥1m \geq 1 এর জন্য, সেট Bm(4)={δ4−s(f):f∈Δsm,0≤s≤min⁡(m,4)}B_m(4) = \{\delta_{4-s}(f) : f \in \Delta_s^m, 0 \leq s \leq \min(m,4)\} অপরিবর্তনীয় বলয় Qm(4)GL4Q_m(4)^{GL_4} এর ভিত্তি।

মূল প্রযুক্তিগত কাঠামো

१. ডেল্টা অপারেটর

ডেল্টা অপারেটর δs;m:S(n)→S(n)\delta_{s;m} : S(n) \to S(n) নির্ধারক সূত্র দ্বারা সংজ্ঞায়িত:

x_1 & x_2 & \cdots & x_s & x_{s+1} \\ x_1^q & x_2^q & \cdots & x_s^q & x_{s+1}^q \\ \vdots & \vdots & \ddots & \vdots & \vdots \\ x_1^{q^m} & x_2^{q^m} & \cdots & x_s^{q^m} & x_{s+1}^{q^m} \\ V_s(x_1,\ldots,x_s)^{q-1} & 0 & \cdots & 0 & f(x_1,\ldots,x_s) \end{pmatrix} \bmod I_m(n)$$ #### २. মিলিত অনুমান $(H_{\mathrm{match}})$ প্রতিটি $f \in \Delta_s^m$ ($1 \leq s \leq 3$) এবং $G = Q_{3,j}$ ($j \geq 1$) এর জন্য, $f$ এর প্রতিটি একপদী $x^\alpha$ এবং $G$ এর প্রতিটি একপদী $x^\gamma$ এর জন্য, একটি সমন্বয় সূচক $t$ বিদ্যমান যাতে তাদের সূচকের যোগফল $\alpha_t + \gamma_t \geq q^m - 1$ সন্তুষ্ট করে। #### ३. সাধারণীকৃত ডেরিভেটিভ পদ্ধতি সাধারণীকৃত অপারেটর প্রবর্তন করা হয়েছে: $$\delta_i = (-1)^n Q_{n,0}^{-1} St^{\Delta_i} : D_n[Q_{n,0}^{-1}] \to D_n[Q_{n,0}^{-1}]$$ এই অপারেটর একটি $\mathbb{F}_p$-রৈখিক ডেরিভেটিভ, যা শৃঙ্খল নিয়ম সম্পন্ন করে। ### প্রমাণ কৌশল যুক্তি চারটি প্রধান পদক্ষেপে বিভক্ত: **(S१) চার র‍্যাঙ্ক ডেল্টা-ডিকসন পরিচয় প্রতিষ্ঠা**: মূল পরিচয় প্রমাণ করা - $Q_{4,j} \delta_4(f) = \delta_4(Q_{3,j-1}^q f)$, $j = 1,2,3$ - $Q_{4,3} \delta_3^2(f) = \delta_3^2(Q_{2,1}^{q^2} f)$, $Q_{4,2} \delta_3^2(f) = 0$ **(S२) $D_4$-মডিউল কাঠামো প্রমাণ**: মিলিত অনুমানের অধীনে, $\text{Span}B_m(4)$ এর $D_4$-মডিউল সম্পত্তি এবং উৎপাদন সম্পত্তি প্রমাণ করা। **(S३) Steenrod ক্রিয়া বিশ্লেষণ**: সাধারণীকৃত ডেরিভেটিভ কাঠামো ব্যবহার করে প্রাকৃতিক ফিল্টারেশনে Steenrod ক্রিয়া বিশ্লেষণ করা। **(S४) Hilbert সিরিজ মিলান**: মাত্রা মিলানোর মাধ্যমে প্রমাণ করা যে $B_m(4)$ একটি ভিত্তি। ## পরীক্ষামূলক সেটআপ ### গণনামূলক যাচাইকরণ কাঠামো SageMath কম্পিউটার বীজগণিত সিস্টেম ব্যবহার করে যাচাইকরণ, নিম্নলিখিত মূল উপাদান অন্তর্ভুক্ত: १. **সীমিত ক্ষেত্র এবং বলয়ের সেটআপ**: $\mathbb{F}_q$ এবং ছোট বলয় $Q_m(n)$ বাস্তবায়ন २. **ডিকসন অপরিবর্তনীয়ের পুনরাবৃত্তিমূলক বাস্তবায়ন**: সূচক বা প্রতীক ত্রুটি এড়াতে মান পুনরাবৃত্তি সূত্র ব্যবহার করা ३. **ডেল্টা অপারেটরের সঠিক বাস্তবায়ন**: মান Moore ম্যাট্রিক্স কাঠামো ব্যবহার করা ४. **ভগ্নাংশ পাটিগণিত পরিচালনা**: ভাগফল বলয়ে তাত্ত্বিকভাবে সঠিক যাচাইকরণ পরিচালনা করা ### যাচাইকরণ পদ্ধতি - **অংশ-স্তরের যাচাইকরণ**: আদর্শ তত্ত্বের উপর ভিত্তি করে গণনা স্থিতিশীল এবং তাত্ত্বিকভাবে সঠিক পরীক্ষা - **র‍্যান্ডম বহুপদী পরীক্ষা**: যাচাইকরণের জন্য র‍্যান্ডম বহুপদী উৎপন্ন করে একাধিক পরীক্ষা পরিচালনা করা - **প্যারামিটার কভারেজ**: একাধিক অ-তুচ্ছ প্যারামিটার সেট পরীক্ষা করা, যেমন $(q=2,m=1)$ এবং $(q=2,m=2)$ ## পরীক্ষামূলক ফলাফল ### প্রধান যাচাইকরণ ফলাফল গণনামূলক যাচাইকরণ স্ক্রিপ্ট লেম্মা ३.१ এর সমস্ত পরিচয় সফলভাবে যাচাই করেছে: १. **একক অপারেটর পরিচয় (६)**: $j=1,2,3$ এর জন্য, $Q_{4,j} \delta_4(f) = \delta_4(Q_{3,j-1}^q f)$ যাচাই করা হয়েছে २. **পুনরাবৃত্তিমূলক অপারেটর পরিচয় (७)**: আরও জটিল $\delta_3^2$ সম্পর্কিত পরিচয় যাচাই করা হয়েছে ### যাচাইকরণ কভারেজ পরিসীমা - সমস্ত পরীক্ষার ক্ষেত্র যাচাইকরণ পাস করেছে - ভগ্নাংশ পাটিগণিত এবং অংশ-স্তরের তাত্ত্বিক যাচাইকরণ উভয় পদ্ধতি অন্তর্ভুক্ত - একাধিক প্যারামিটার সমন্বয় এবং র‍্যান্ডম উৎপন্ন পরীক্ষা বহুপদী জুড়ে ### প্রযুক্তিগত বাস্তবায়ন হাইলাইট १. **পুনরাবৃত্তি এবং স্মৃতিকরণ**: ডিকসন অপরিবর্তনীয়ের গণনা অপ্টিমাইজ করতে `@lru_cache` ডেকোরেটর ব্যবহার করা २. **তাত্ত্বিক সারিবদ্ধতা যাচাইকরণ**: আদর্শ হ্রাস পদ্ধতির মাধ্যমে গণনা এবং তত্ত্বের মধ্যে সঠিক সামঞ্জস্য নিশ্চিত করা ३. **সংখ্যাগত স্থিতিশীলতা**: ভাগফল বলয়ে শূন্য বিভাজক বিভাজন সমস্যা এড়ানো ## সম্পর্কিত কাজ ### প্রধান সম্পর্কিত গবেষণা १. **Lewis-Reiner-Stanton [२०१७]**: ছোট বহুপদী বলয় অপরিবর্তনীয়ের $(q,t)$-Hilbert সিরিজ অনুমান প্রস্তাব করেছে २. **Ha-Hai-Nghia [२०२५]**: র‍্যাঙ্ক $n \leq 3$ এর সমস্ত প্যারাবোলিক উপগ্রুপের জন্য LRS অনুমান যাচাই করেছে, ডেল্টা অপারেটরের উপর ভিত্তি করে একটি গঠনমূলক পদ্ধতি প্রস্তাব করেছে ३. **লেখকের পূর্ববর্তী কাজ [२०२५]**: ডিকসন বীজগণিতে Steenrod বীজগণিত ক্রিয়া অধ্যয়নের জন্য একটি সাধারণীকৃত কাঠামো নির্মাণ করেছে ### এই পত্রের আপেক্ষিক সুবিধা १. **পদ্ধতি সংমিশ্রণ**: নির্ধারক পদ্ধতি এবং সাধারণীকৃত ডেরিভেটিভ কাঠামো সফলভাবে একত্রিত করা २. **প্রযুক্তিগত উদ্ভাবন**: চার র‍্যাঙ্কে প্রযুক্তিগত বাধা সমাধানের জন্য মিলিত অনুমান প্রবর্তন করা ३. **গণনামূলক সমর্থন**: বিস্তারিত গণনামূলক যাচাইকরণ প্রদান করে ফলাফলের বিশ্বাসযোগ্যতা বৃদ্ধি করা ## উপসংহার এবং আলোচনা ### প্রধান উপসংহার মিলিত অনুমান $(H_{\mathrm{match}})$ এর অধীনে, প্রমাণ করা হয়েছে: १. Ha-Hai-Nghia প্রার্থী ভিত্তি $B_m(4)$ প্রকৃতপক্ষে $Q_m(4)^{GL_4}$ এর ভিত্তি २. Lewis-Reiner-Stanton অনুমান চার র‍্যাঙ্ক ক্ষেত্রে সত্য ३. অপরিবর্তনীয় বলয়ের Hilbert সিরিজ LRS বহুপদী $C_{4,m}(t)$ দ্বারা দেওয়া হয় ### সীমাবদ্ধতা १. **শর্তাধীন ফলাফল**: প্রধান উপপাদ্য মিলিত অনুমানের উপর নির্ভর করে, যা অনেক ক্ষেত্রে যাচাইযোগ্য হলেও অবিশর্তভাবে সত্য নয় २. **প্রযুক্তিগত জটিলতা**: র‍্যাঙ্ক সংখ্যা বৃদ্ধির সাথে সাথে প্রয়োজনীয় প্রযুক্তিগত অনুমান আরও জটিল হতে পারে ३. **গণনামূলক সীমাবদ্ধতা**: যাচাইকরণ শুধুমাত্র সীমিত প্যারামিটার পরিসীমা জুড়ে বিস্তৃত ### ভবিষ্যত দিকনির্দেশনা १. **অনুমানের দুর্বলীকরণ বা নির্মূলন**: আরও দুর্বল শর্ত খুঁজে বের করা বা প্রযুক্তিগত অনুমান সম্পূর্ণভাবে নির্মূল করার পদ্ধতি २. **উচ্চতর র‍্যাঙ্কের সাধারণীকরণ**: পদ্ধতি র‍্যাঙ্ক ५ এবং তার উপরে সম্প্রসারিত করা ३. **অন্যান্য প্যারাবোলিক উপগ্রুপ**: র‍্যাঙ্ক ४ এ অন্যান্য প্যারাবোলিক উপগ্রুপের ক্ষেত্র অধ্যয়ন করা ## গভীর মূল্যায়ন ### সুবিধা १. **তাত্ত্বিক অবদান**: গুরুত্বপূর্ণ বীজগণিতীয় জ্যামিতি সমস্যায় বাস্তব অগ্রগতি অর্জন করা २. **পদ্ধতি উদ্ভাবন**: দুটি ভিন্ন প্রযুক্তিগত পথ সফলভাবে একত্রিত করা ३. **কঠোরতা**: বিস্তারিত প্রমাণ এবং গণনামূলক যাচাইকরণ প্রদান করা ४. **স্পষ্ট প্রকাশ**: পত্রের কাঠামো স্পষ্ট, প্রযুক্তিগত বিবরণ সঠিকভাবে প্রকাশিত ### অপূর্ণতা १. **শর্তাধীনতা**: প্রধান ফলাফল প্রযুক্তিগত অনুমানের উপর নির্ভর করে, যা ফলাফলের সর্বজনীনতা সীমিত করে २. **জটিলতা**: প্রমাণ বিপুল প্রযুক্তিগত বিবরণ জড়িত, সাধারণীকরণ কঠিন হতে পারে ३. **যাচাইকরণ পরিসীমা**: গণনামূলক যাচাইকরণ শুধুমাত্র সীমিত প্যারামিটার পরিসীমা জুড়ে বিস্তৃত ### প্রভাব १. **একাডেমিক মূল্য**: গুরুত্বপূর্ণ অনুমানে নতুন প্রমাণ এবং প্রযুক্তিগত সরঞ্জাম প্রদান করা २. **পদ্ধতিগত অবদান**: জটিল সমস্যা সমাধানে বিভিন্ন প্রযুক্তিগত পদ্ধতি কীভাবে একত্রিত করতে হয় তা প্রদর্শন করা ३. **পরবর্তী গবেষণা**: উচ্চতর র‍্যাঙ্ক ক্ষেত্রের গবেষণার জন্য ভিত্তি স্থাপন করা ### প্রযোজ্য পরিস্থিতি এই পদ্ধতি প্রযোজ্য: १. **মডুলার অপরিবর্তনীয় তত্ত্বের গবেষণা** २. **ছোট বহুপদী বলয়ের কাঠামো বিশ্লেষণ** ३. **Steenrod বীজগণিত ক্রিয়ার গবেষণা** ४. **বীজগণিতীয় টপোলজিতে সম্পর্কিত সমস্যা** ## তথ্যসূত্র [१] L.M. Ha, N.D.H. Hai, and N.V. Nghia, On modular invariants of the truncated polynomial rings in low ranks, J. Algebra 683 (२०२५), ३१९–३५४. [२] J. Lewis, V. Reiner, and D. Stanton, Invariants of GLn(Fq) in polynomials modulo Frobenius powers, Proc. R. Soc. Edinb., Sect. A १४७ (२०१७), ८३१–८७३. [३] D.V. Phuc, Normalized Derivations for Milnor's Primitive Operations on the Dickson Algebra and Applications, Preprint (२०२५), arXiv:२५०९.०८८६१.