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

छंटित बहुपद वलय के रैंक चार में मॉड्यूलर अपरिवर्तनीयों पर

मूल जानकारी

  • पेपर ID: 2510.11464
  • शीर्षक: छंटित बहुपद वलय के रैंक चार में मॉड्यूलर अपरिवर्तनीयों पर
  • लेखक: D. Ăng Võ Phúc
  • वर्गीकरण: math.AC (क्रमविनिमेय बीजगणित), math.AG (बीजगणितीय ज्यामिति), math.AT (बीजगणितीय सांस्थिति), math.RT (प्रतिनिधित्व सिद्धांत)
  • प्रकाशन समय: 13 अक्टूबर 2025
  • पेपर लिंक: https://arxiv.org/abs/2510.11464

सारांश

यह पेपर नई स्पष्ट तकनीकी मान्यताओं के तहत, छंटित बहुपद वलय 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}) के अपरिवर्तनीय उप-स्थान के रैंक 4 मामले में Ha-Hai-Nghia अनुमान को प्रमाणित करता है। डेल्टा संचालक के साथ Dickson बीजगणित की परस्पर क्रिया को नियंत्रित करने वाली महत्वपूर्ण रैंक 4 सर्वसमिकाओं को प्राप्त करके, डेल्टा संचालक के सारणिक कलन को विस्तारित किया गया है। यह प्रमाणित किया गया है कि अनुमान का प्रमाण एक विशिष्ट लुप्त गुण तक सीमित है, जिसके लिए पर्याप्त शर्त "मिलान परिकल्पना" (matching hypothesis) HmatchH_{\mathrm{match}} को प्रस्तुत किया गया है, जो Dickson अपरिवर्तनीयों की घात संरचना को जोड़ता है। पूर्व कार्य में सामान्यीकृत व्युत्पन्न विधि के साथ संयुक्त, इस अनुमान को स्थापित किया गया है। इसलिए, Lewis-Reiner-Stanton अनुमान दी गई मान्यताओं के तहत रैंक 4 मामले में भी पुष्टि की गई है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  1. छंटित बहुपद वलय की अपरिवर्तनीयता सिद्धांत: परिमित क्षेत्र पर छंटित बहुपद वलय 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 की कार्रवाई के तहत अपरिवर्तनीय उप-स्थान संरचना का अध्ययन।
  2. 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}
  3. Ha-Hai-Nghia कार्यक्रम: Ha-Hai-Nghia ने महत्वपूर्ण कार्य में रैंक n≤3n \leq 3 के सभी परवलयिक उप-समूहों के लिए LRS अनुमान को सत्यापित करके महत्वपूर्ण प्रगति की है, सारणिक "डेल्टा संचालक" δa;b\delta_{a;b} के आधार पर स्पष्ट उम्मीदवार आधार प्रस्तावित किए हैं जो Dickson बीजगणित के सावधानीपूर्वक चुने गए उप-स्थान Δsm\Delta_s^m पर कार्य करते हैं।

अनुसंधान की प्रेरणा

  1. तकनीकी चुनौतियाँ: रैंक संख्या बढ़ने के साथ, रैंक-संबंधित गणनाएँ तेजी से जटिल हो जाती हैं, इस कार्यक्रम को आगे बढ़ाने के लिए अधिक संरचित दृष्टिकोण की आवश्यकता है।
  2. विधि की सीमाएँ: मौजूदा प्रमाण विधि को सीधे विस्तारित करने में रैंक 4 में सूक्ष्म बाधाएँ आती हैं: D4D_4-मॉड्यूल संरचना के महत्वपूर्ण पद को बिना शर्त लुप्त नहीं किया जा सकता।
  3. सैद्धांतिक आवश्यकता: सारणिक विधि को सामान्यीकृत व्युत्पन्न ढांचे के साथ संयोजित करने की आवश्यकता है, उच्च रैंक मामलों के लिए नई तकनीकी उपकरण प्रदान करने के लिए।

मुख्य योगदान

  1. रैंक 4 डेल्टा-Dickson सर्वसमिकाएँ स्थापित करना: डेल्टा संचालक के साथ Dickson बीजगणित की परस्पर क्रिया को नियंत्रित करने वाली महत्वपूर्ण रैंक 4 सर्वसमिकाएँ (लेम्मा 3.1) प्राप्त की गई हैं।
  2. मिलान परिकल्पना का परिचय: "मिलान परिकल्पना" (Hmatch)(H_{\mathrm{match}}) को महत्वपूर्ण लुप्त गुण को सुनिश्चित करने के लिए पर्याप्त शर्त के रूप में प्रस्तावित किया गया है, जो Dickson अपरिवर्तनीयों की घात संरचना को जोड़ता है।
  3. Ha-Hai-Nghia अनुमान के रैंक 4 मामले को प्रमाणित करना: मिलान परिकल्पना के तहत, यह प्रमाणित किया गया है कि उम्मीदवार आधार Bm(4)B_m(4) वास्तव में अपरिवर्तनीय वलय Qm(4)GL4Q_m(4)^{GL_4} का आधार है।
  4. LRS अनुमान की पुष्टि: एक परिणाम के रूप में, दी गई मान्यताओं के तहत Lewis-Reiner-Stanton अनुमान के रैंक 4 मामले की पुष्टि की गई है।
  5. गणनात्मक सत्यापन: मुख्य परिणामों के गणनात्मक सत्यापन के लिए 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} का आधार है।

मुख्य तकनीकी ढांचा

1. डेल्टा संचालक

डेल्टा संचालक δ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)$$ #### 2. मिलान परिकल्पना $(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$ को संतुष्ट करता है। #### 3. सामान्यीकृत व्युत्पन्न विधि सामान्यीकृत संचालक का परिचय: $$\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$-रैखिक व्युत्पन्न है, जिसमें श्रृंखला नियम है। ### प्रमाण रणनीति तर्क चार मुख्य चरणों में विभाजित है: **(S1) रैंक 4 डेल्टा-Dickson सर्वसमिकाएँ स्थापित करना**: महत्वपूर्ण सर्वसमिकाएँ प्रमाणित करना - $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$ **(S2) $D_4$-मॉड्यूल संरचना प्रमाणित करना**: मिलान परिकल्पना के तहत, $\text{Span}B_m(4)$ के $D_4$-मॉड्यूल गुण और जनन गुण को प्रमाणित करना। **(S3) Steenrod कार्रवाई विश्लेषण**: सामान्यीकृत व्युत्पन्न ढांचे का उपयोग करके प्राकृतिक निस्पंदन पर Steenrod कार्रवाई का विश्लेषण। **(S4) Hilbert श्रृंखला मिलान**: आयाम मिलान के माध्यम से यह प्रमाणित करना कि $B_m(4)$ एक आधार है। ## प्रायोगिक सेटअप ### गणनात्मक सत्यापन ढांचा निम्नलिखित मुख्य घटकों वाले SageMath कंप्यूटर बीजगणित प्रणाली का उपयोग करके सत्यापन: 1. **परिमित क्षेत्र और वलय की स्थापना**: $\mathbb{F}_q$ और छंटित वलय $Q_m(n)$ को लागू करना 2. **Dickson अपरिवर्तनीयों का पुनरावर्ती कार्यान्वयन**: मानक पुनरावर्ती सूत्र का उपयोग करके सूचकांक या प्रतीकात्मक त्रुटियों से बचना 3. **डेल्टा संचालक का सही कार्यान्वयन**: मानक Moore मैट्रिक्स संरचना का उपयोग करना 4. **भिन्नात्मक अंकगणित प्रबंधन**: भागफल वलय में सैद्धांतिक रूप से सटीक सत्यापन करना ### सत्यापन विधि - **अंश-स्तर सत्यापन**: आदर्श सिद्धांत पर आधारित गणनात्मक रूप से स्थिर और सैद्धांतिक रूप से सटीक जांच - **यादृच्छिक बहुपद परीक्षण**: कई परीक्षणों के लिए यादृच्छिक बहुपद उत्पन्न करना - **पैरामीटर कवरेज**: कई गैर-तुच्छ पैरामीटर सेट का परीक्षण, जैसे $(q=2,m=1)$ और $(q=2,m=2)$ ## प्रायोगिक परिणाम ### मुख्य सत्यापन परिणाम गणनात्मक सत्यापन स्क्रिप्ट ने लेम्मा 3.1 में सभी सर्वसमिकाओं को सफलतापूर्वक सत्यापित किया: 1. **एकल संचालक सर्वसमिकाएँ (6)**: $j=1,2,3$ के लिए, $Q_{4,j} \delta_4(f) = \delta_4(Q_{3,j-1}^q f)$ को सत्यापित किया 2. **पुनरावृत्त संचालक सर्वसमिकाएँ (7)**: अधिक जटिल $\delta_3^2$ संबंधित सर्वसमिकाओं को सत्यापित किया ### सत्यापन कवरेज - सभी परीक्षण मामले सत्यापन में सफल रहे - भिन्नात्मक अंकगणित और अंश-स्तर सैद्धांतिक सत्यापन दोनों विधियाँ शामिल हैं - कई पैरामीटर संयोजनों और यादृच्छिक रूप से उत्पन्न परीक्षण बहुपदों को शामिल करता है ### तकनीकी कार्यान्वयन की विशेषताएँ 1. **पुनरावर्तन और स्मृति**: Dickson अपरिवर्तनीयों की गणना को अनुकूलित करने के लिए `@lru_cache` सजावट का उपयोग 2. **सैद्धांतिक संरेखण सत्यापन**: आदर्श अपचयन विधि के माध्यम से गणना और सिद्धांत के सटीक पत्राचार को सुनिश्चित करना 3. **संख्यात्मक स्थिरता**: भागफल वलय में शून्य भाजक विभाजन समस्याओं से बचना ## संबंधित कार्य ### मुख्य संबंधित अनुसंधान 1. **Lewis-Reiner-Stanton [2017]**: छंटित बहुपद वलय अपरिवर्तनीयों के $(q,t)$-Hilbert श्रृंखला अनुमान का प्रस्ताव 2. **Ha-Hai-Nghia [2025]**: रैंक $n \leq 3$ के सभी परवलयिक उप-समूहों के लिए LRS अनुमान को सत्यापित किया, डेल्टा संचालक पर आधारित रचनात्मक विधि प्रस्तावित की 3. **लेखक का पूर्व कार्य [2025]**: Dickson बीजगणित पर Steenrod बीजगणित की कार्रवाई का अध्ययन करने के लिए सामान्यीकृत ढांचा निर्मित किया ### इस पेपर के सापेक्ष लाभ 1. **विधि संश्लेषण**: सारणिक विधि को सामान्यीकृत व्युत्पन्न ढांचे के साथ सफलतापूर्वक संयोजित करना 2. **तकनीकी नवाचार**: रैंक 4 में तकनीकी बाधाओं को हल करने के लिए मिलान परिकल्पना का परिचय 3. **गणनात्मक समर्थन**: विस्तृत गणनात्मक सत्यापन परिणामों की विश्वसनीयता बढ़ाता है ## निष्कर्ष और चर्चा ### मुख्य निष्कर्ष मिलान परिकल्पना $(H_{\mathrm{match}})$ के तहत, यह प्रमाणित किया गया है कि: 1. Ha-Hai-Nghia उम्मीदवार आधार $B_m(4)$ वास्तव में $Q_m(4)^{GL_4}$ का आधार है 2. Lewis-Reiner-Stanton अनुमान रैंक 4 मामले में सत्य है 3. अपरिवर्तनीय वलय की Hilbert श्रृंखला LRS बहुपद $C_{4,m}(t)$ द्वारा दी गई है ### सीमाएँ 1. **सशर्त परिणाम**: मुख्य प्रमेय मिलान परिकल्पना पर निर्भर है, जो कि कई मामलों में सत्यापन योग्य है, लेकिन बिना शर्त सत्य नहीं है 2. **तकनीकी जटिलता**: रैंक संख्या बढ़ने के साथ, आवश्यक तकनीकी मान्यताएँ अधिक जटिल हो सकती हैं 3. **गणनात्मक सीमाएँ**: सत्यापन केवल सीमित पैरामीटर श्रेणी को कवर करता है ### भविष्य की दिशाएँ 1. **मान्यताओं का कमजोरीकरण या उन्मूलन**: अधिक कमजोर शर्तें खोजना या तकनीकी मान्यताओं को पूरी तरह समाप्त करने के तरीके 2. **उच्च रैंक का सामान्यीकरण**: विधि को रैंक 5 और उससे ऊपर के मामलों तक विस्तारित करना 3. **अन्य परवलयिक उप-समूह**: रैंक 4 में अन्य परवलयिक उप-समूहों का अध्ययन ## गहन मूल्यांकन ### शक्तियाँ 1. **सैद्धांतिक योगदान**: महत्वपूर्ण बीजगणितीय ज्यामिति समस्या पर वास्तविक प्रगति 2. **विधि नवाचार**: दो भिन्न तकनीकी मार्गों को सफलतापूर्वक संयोजित करना 3. **कठोरता**: विस्तृत प्रमाण और गणनात्मक सत्यापन प्रदान करना 4. **स्पष्ट प्रस्तुति**: पेपर संरचना स्पष्ट है, तकनीकी विवरण सटीक रूप से व्यक्त किए गए हैं ### कमजोरियाँ 1. **सशर्तता**: मुख्य परिणाम तकनीकी मान्यताओं पर निर्भर है, जो परिणामों की सामान्यता को सीमित करता है 2. **जटिलता**: प्रमाण में बड़ी संख्या में तकनीकी विवरण शामिल हैं, जो सामान्यीकरण को कठिन बना सकते हैं 3. **सत्यापन श्रेणी**: गणनात्मक सत्यापन केवल सीमित पैरामीटर श्रेणी को कवर करता है ### प्रभाव 1. **शैक्षणिक मूल्य**: महत्वपूर्ण अनुमान के लिए नए साक्ष्य और तकनीकी उपकरण प्रदान करता है 2. **पद्धति संबंधी योगदान**: जटिल समस्याओं को हल करने के लिए विभिन्न तकनीकी विधियों को कैसे संयोजित किया जाए, यह प्रदर्शित करता है 3. **अनुवर्ती अनुसंधान**: उच्च रैंक मामलों के अनुसंधान के लिए आधार तैयार करता है ### लागू परिदृश्य यह विधि निम्नलिखित के लिए लागू है: 1. मॉड्यूलर अपरिवर्तनीयता सिद्धांत का अनुसंधान 2. छंटित बहुपद वलय की संरचना विश्लेषण 3. Steenrod बीजगणित की कार्रवाई का अनुसंधान 4. बीजगणितीय सांस्थिति में संबंधित समस्याएँ ## संदर्भ [1] 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 (2025), 319–354. [2] J. Lewis, V. Reiner, and D. Stanton, Invariants of GLn(Fq) in polynomials modulo Frobenius powers, Proc. R. Soc. Edinb., Sect. A 147 (2017), 831–873. [3] D.V. Phuc, Normalized Derivations for Milnor's Primitive Operations on the Dickson Algebra and Applications, Preprint (2025), arXiv:2509.08861.