2025-11-10T03:06:00.285816

Invariants for $\mathbb G_{(r)}$-modules

Friedlander
We revisit the constructions given by J. Pevtsova and the author of refined invariants for finite dimensional representations of infinitesimal group schemes $\mathbb G_{(r)}$ over a field $k$ of characteristic $p>0$. Our focus is on the universal $p$-nilpotent operator seen as an element in the group algebra of the group scheme $\mathbb G_{(r),X}$ over $X$, where $X$ is either the moduli space $V_r(\mathbb G)$ of height $r$ $1$-parameter subgroups of $\mathbb G$ or the moduli space $\mathcal C_r(\mathcal N_p(\mathfrak g))$ of $r$-tuples of $p$-nilpotent, pair-wise commuting elements of the Lie algebra of $\mathbb G$. We formalize Jordan type function using several variants of the continuous function $JT_{\mathbb G,r,M}(-): \mathbb P V_r(\mathbb G) \to \mathcal Y$ where $\mathcal Y$ is the poset of Young diagrams with $p$-columns. One of these variants is designed to be more conducive to computation. The vector bundle construction given by J. Pevtsova and the author is extended to all finite dimensional $\mathbb G_{(r)}$-modules, producing coherent sheaves on $X$ which are locally free on the strata of $X$ associated to $JT_{\mathbb G,r,M}(-)$.
academic

G(r)\mathbb G_{(r)}-मॉड्यूल के लिए अपरिवर्तनीय

मूल जानकारी

  • पेपर ID: 2505.08094
  • शीर्षक: Invariants for G(r)\mathbb G_{(r)}-modules
  • लेखक: Eric M. Friedlander
  • वर्गीकरण: math.RT (प्रतिनिधित्व सिद्धांत)
  • प्रकाशन समय: 25 अक्टूबर, 2025
  • पेपर लिंक: https://arxiv.org/abs/2505.08094

सारांश

यह पेपर J. Pevtsova और लेखक द्वारा पहले निर्मित विशेषता p>0p>0 वाले क्षेत्र kk पर अनंतसूक्ष्म समूह योजना G(r)\mathbb G_{(r)} के परिमित-आयामी प्रतिनिधित्व के सूक्ष्म अपरिवर्तनीयों का पुनः परीक्षण करता है। अनुसंधान का केंद्रबिंदु सार्वभौमिक pp-शून्यशक्तिशील संचालकों को समूह योजना G(r),X\mathbb G_{(r),X} के समूह बीजगणित में XX पर तत्वों के रूप में मानना है, जहां XX G\mathbb G की ऊंचाई rr की 1-पैरामीटर उप-समूह मॉड्यूली स्पेस Vr(G)V_r(\mathbb G) या G\mathbb G के लाई बीजगणित में pp-शून्यशक्तिशील, पारस्परिक रूप से क्रमविनिमेय तत्वों के rr-टुपल की मॉड्यूली स्पेस Cr(Np(g))\mathcal C_r(\mathcal N_p(\mathfrak g)) है।

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

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

  1. समर्थन सिद्धांत का विकास: यह पेपर विशिष्ट श्रेणियों के अनंतसूक्ष्म समूह योजनाओं के परिमित-आयामी मॉड्यूल के स्पष्ट अपरिवर्तनीयों का अध्ययन करने के लिए समर्थन सिद्धांत की विधियों और परिणामों का उपयोग करता है, जो परिमित समूह योजनाओं के प्रतिनिधित्व श्रेणियों के गुणों को स्थापित करने के लिए समर्थन सिद्धांत का उपयोग करने वाले पिछले कार्य के विपरीत है।
  2. जॉर्डन प्रकार फलन का गहन अध्ययन: लेखक पहले J. Pevtsova के साथ प्रस्तुत किए गए "जॉर्डन प्रकार फलन" का आगे अध्ययन करता है, जो ऊंचाई rr की 1-पैरामीटर उप-समूह की योजना बिंदुओं से pp स्तंभों वाले यंग आरेखों के आंशिक क्रमित समुच्चय तक एक सतत मानचित्र प्रदान करता है।
  3. गणनात्मक सुलभता: मौजूदा जॉर्डन प्रकार फलन गणनात्मक रूप से जटिल हैं, अधिक आसानी से गणनीय प्रकारों के विकास की आवश्यकता है।

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

  1. अधिक सूक्ष्म अपरिवर्तनीय: सहसंगति समर्थन सिद्धांत M↦PH∗(G(r),k)MM \mapsto P_{H^*(G_{(r)},k)}M की तुलना में, जॉर्डन प्रकार फलन M↦JTG,r,M(−)M \mapsto JT_{G,r,M}(-) G(r)G_{(r)}-मॉड्यूल MM के बारे में अधिक जानकारी को पकड़ सकता है।
  2. घातीय प्रकार समूहों का विशेष उपचार: घातीय प्रकार के समूहों के लिए, लाई बीजगणित में pp-शून्यशक्तिशील तत्वों के माध्यम से 1-पैरामीटर उप-समूहों को अधिक स्पष्ट रूप से वर्णित किया जा सकता है, जिससे गणना सरल हो जाती है।

मुख्य योगदान

  1. जॉर्डन प्रकार फलन का औपचारिकीकरण: सतत फलन JTG,r,M(−):PVr(G)→YJT_{G,r,M}(-): \mathbb P V_r(\mathbb G) \to \mathcal Y के कई प्रकारों का उपयोग करके जॉर्डन प्रकार फलन को औपचारिक बनाया गया है, जहां Y\mathcal Y pp स्तंभों वाले यंग आरेखों का आंशिक क्रमित समुच्चय है।
  2. सरलीकृत घातीय जॉर्डन प्रकार: अधिक आसानी से गणनीय घातीय जॉर्डन प्रकार फलन JTg,r,Mexp⁡(−)JT^{\exp}_{g,r,M}(-) को प्रस्तुत किया गया है, जो विशेष रूप से घातीय प्रकार की समूह योजनाओं के लिए उपयुक्त है।
  3. सदिश बंडल निर्माण का विस्तार: Pevtsova और लेखक के पिछले सदिश बंडल निर्माण को सभी परिमित-आयामी G(r)G_{(r)}-मॉड्यूल तक विस्तारित किया गया है, जो JTG,r,M(−)JT_{G,r,M}(-) से संबंधित XX परतों पर स्थानीय रूप से मुक्त सुसंगत शीफ का उत्पादन करता है।
  4. स्थिरीकरण परिणामों का सुधार: जॉर्डन प्रकार फलन के rr के संबंध में स्थिरीकरण के बारे में पिछले कार्य में एक छोटी त्रुटि को सुधारा गया है।

विधि विस्तार

मूल अवधारणाएं और परिभाषाएं

जॉर्डन प्रकार की परिभाषा

k[t]/tpk[t]/t^p-मॉड्यूल MM के लिए, इसका जॉर्डन प्रकार a=(a1,…,ap)∈N×pa = (a_1, \ldots, a_p) \in \mathbb{N}^{\times p} मैट्रिक्स ρM(t)\rho_M(t) के जॉर्डन सामान्य रूप में आकार ii के जॉर्डन ब्लॉकों की संख्या aia_i द्वारा निर्धारित किया जाता है।

सार्वभौमिक pp-शून्यशक्तिशील संचालक

सजातीय समूह योजना GG और सकारात्मक पूर्णांक rr के लिए, सार्वभौमिक 1-पैरामीटर उप-समूह UG,r:Ga(r),k[Vr(G)]→G(r),k[Vr(G)]U_{G,r}: G_{a(r),k[V_r(G)]} \to G_{(r),k[V_r(G)]} सार्वभौमिक pp-शून्यशक्तिशील संचालक को प्रेरित करता है ΘG,r=(UG,r)∗(1⊗ur−1)∈k[Vr(G)]⊗kG(r)\Theta_{G,r} = (U_{G,r})_*(1 \otimes u_{r-1}) \in k[V_r(G)] \otimes kG_{(r)}

घातीय प्रकार की समूह योजनाएं

घातीय संरचना

समूह योजना GG को ऊंचाई rr की घातीय संरचना से सुसज्जित करना मतलब है कि एक आकारिकी का अस्तित्व E(r):Ga(r)×Np(g)→G(r)E^{(r)}: G_{a(r)} \times \mathcal{N}_p(g) \to G_{(r)} विशिष्ट क्रमविनिमेयता और समरूपता शर्तों को संतुष्ट करता है।

सरलीकृत संचालक

घातीय प्रकार के समूहों के लिए, परिभाषित करें Θg,rexp⁡=∑s=0r−1Θg,r∣s∈k[Cr(Np(g))]⊗kG(r)\Theta^{\exp}_{g,r} = \sum_{s=0}^{r-1} \Theta_{g,r|s} \in k[C_r(\mathcal{N}_p(g))] \otimes kG_{(r)} यह मूल संचालक Θg,r=∏s=0r−1Θg,r∣s\Theta_{g,r} = \prod_{s=0}^{r-1} \Theta_{g,r|s} का रैखिकीकरण है।

जॉर्डन प्रकार फलन की सातत्यता

प्रमेय: परिमित-आयामी G(r)G_{(r)}-मॉड्यूल MM के लिए, फलन JTG,r,M(−):SpecA→YJT_{G,r,M}(-): \text{Spec}A \to \mathcal{Y} सतत है, जहां AA Noether क्रमविनिमेय kk-बीजगणित है।

प्रमाण Nakayama लेम्मा और जॉर्डन प्रकार की अर्ध-सातत्यता पर आधारित है।

तकनीकी नवाचार बिंदु

1. स्तरीकृत ज्यामितीय संरचना

पेपर PVr(G)\mathbb{P}V_r(G) की स्तरीकृत संरचना को स्थापित करता है, जहां प्रत्येक परत जॉर्डन प्रकार फलन के स्तर समुच्चय द्वारा निर्धारित होती है: (PVr(G))M,=a={x:JTG,r,M(x)=a}(PV_r(G))_{M,=a} = \{x : JT_{G,r,M}(x) = a\} ये परतें स्थानीय रूप से बंद समुच्चय हैं, जो यंग आरेखों के आंशिक क्रम द्वारा व्यवस्थित स्तरीकरण बनाती हैं।

2. घातीय सरलीकरण की तर्कसंगतता

मुख्य परिणाम दर्शाता है कि समर्थन विविधता के अध्ययन के लिए, Θg,r\Theta_{g,r} और Θg,rexp⁡\Theta^{\exp}_{g,r} समान जानकारी देते हैं:

प्रस्ताव: मान लीजिए MM परिमित-आयामी G(r)G_{(r)}-मॉड्यूल है, aa MM का अधिकतम जॉर्डन प्रकार है। किसी भी B∈Cr(Np(g))B \in C_r(\mathcal{N}_p(g)) के लिए, JT(Θg,r,Bexp⁡,k(B)⊗M)=a  ⟺  JT(Θg,r,B,k(B)⊗M)=aJT(\Theta^{\exp}_{g,r,B}, k(B) \otimes M) = a \iff JT(\Theta_{g,r,B}, k(B) \otimes M) = a

3. सदिश बंडल की A1A^1-समरूपता तुल्यता

स्थिर जॉर्डन प्रकार के मॉड्यूल के लिए, Θg,r\Theta_{g,r} और Θg,rexp⁡\Theta^{\exp}_{g,r} का उपयोग करके निर्मित सदिश बंडल A1A^1-समरूपता तुल्य हैं।

प्रायोगिक परिणाम और उदाहरण

उदाहरण 1: SL2SL_2 की स्थिति

G=SL2G = SL_2 के लिए, अप्रासंगिक GG-मॉड्यूल M=S(λ0)⊗S(λ1)(1)M = S(\lambda_0) \otimes S(\lambda_1)^{(1)} पर विचार करें, जहां 0≤λ0,λ1<p0 \leq \lambda_0, \lambda_1 < p।

JTsl2,2,Mexp⁡(B)JT^{\exp}_{sl_2,2,M}(B) की गणना करें, जहां B=(a0E,a1E)B = (a_0E, a_1E), EE मानक शून्यशक्तिशील मैट्रिक्स है:

  • यदि a0≠0,a1=0a_0 \neq 0, a_1 = 0: जॉर्डन प्रकार m⋅[n]m \cdot [n] है
  • यदि a0=0,a1≠0a_0 = 0, a_1 \neq 0: जॉर्डन प्रकार n⋅[m]n \cdot [m] है
  • यदि a0,a1a_0, a_1 दोनों गैर-शून्य हैं: जॉर्डन प्रकार [m]⊗[n][m] \otimes [n] है

जहां m=λ0+1m = \lambda_0 + 1, n=λ1+1n = \lambda_1 + 1।

उदाहरण 2: GLNGL_N के बहुपद प्रतिनिधित्व

GLNGL_N के घात <p< p के बहुपद प्रतिनिधित्व VV के ii-वें Frobenius विकृति V(i)V^{(i)} के लिए: JTglN,r,V(i)exp⁡(B)=JT(Bs,V)JT^{\exp}_{gl_N,r,V^{(i)}}(B) = JT(B_s, V) जहां s=r−i−1s = r - i - 1, B=(B0,…,Br−1)B = (B_0, \ldots, B_{r-1})।

संबंधित कार्य

समर्थन सिद्धांत विकास

  • Suslin, Bendel और लेखक का सहयोग सहसंगति विविधता को 1-पैरामीटर उप-समूहों की विविधता से बदलने के लिए समर्थन सिद्धांत स्थापित करता है
  • Pevtsova और लेखक का पिछला कार्य सूक्ष्म अपरिवर्तनीय और सदिश बंडल निर्माण स्थापित करता है
  • Carlson द्वारा (Z/p)×r(Z/p)^{\times r}-मॉड्यूल समर्थन विविधता की पहचान में चक्रीय शिफ्ट उप-समूहों के बारे में कार्य

जॉर्डन प्रकार सिद्धांत

  • स्थिर जॉर्डन प्रकार मॉड्यूल के सिद्धांत का विकास
  • Carlson-Friedlander स्थिर जॉर्डन प्रकार मॉड्यूल और सदिश बंडल के बारे में
  • Benson-Pevtsova स्थिर जॉर्डन प्रकार मॉड्यूल और सदिश बंडल की प्राप्ति प्रमेय

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. जॉर्डन प्रकार फलन का पूर्ण सिद्धांत ढांचा स्थापित किया गया है, जिसमें सातत्यता, कार्यकारिता और समर्थन विविधता के साथ संबंध शामिल हैं
  2. घातीय प्रकार के समूहों के लिए गणनात्मक रूप से अधिक सुलभ सरलीकृत संस्करण दिया गया है
  3. सदिश बंडल निर्माण को मनमाने परिमित-आयामी मॉड्यूल तक विस्तारित किया गया है, जो स्तरीकरण पर स्थानीय रूप से मुक्त सुसंगत शीफ का उत्पादन करता है

सीमाएं

  1. घातीय सरलीकरण केवल घातीय प्रकार की समूह योजनाओं के लिए लागू होता है
  2. r>1r > 1 के लिए, जॉर्डन प्रकार फलन शायद ही कभी टेंसर उत्पाद के साथ क्रमविनिमेय होता है
  3. कुछ गणनाएं अभी भी चुनौतीपूर्ण हैं, विशेष रूप से कई क्रमविनिमेय शून्यशक्तिशील संचालकों के योग के जॉर्डन प्रकार को शामिल करते हुए

भविष्य की दिशाएं

  1. जॉर्डन प्रकार फलन के स्थिरीकरण गुणों का अध्ययन
  2. अधिक प्रभावी गणना विधियों का विकास
  3. बीजगणितीय ज्यामिति में अन्य अपरिवर्तनीयों के साथ संबंधों की खोज
  4. स्तरीकृत सुसंगत शीफ के आगे के गुणों का अध्ययन

गहन मूल्यांकन

लाभ

  1. सिद्धांत की पूर्णता: जॉर्डन प्रकार फलन के लिए पूर्ण सिद्धांत ढांचा प्रदान करता है, जिसमें सातत्यता, कार्यकारिता आदि मूल गुण शामिल हैं
  2. गणनात्मक सुलभता: घातीय सरलीकरण वास्तविक गणना को संभव बनाता है
  3. ज्यामितीय अंतर्दृष्टि: प्रतिनिधित्व सिद्धांत और बीजगणितीय ज्यामिति के बीच गहरे संबंध स्थापित करता है
  4. तकनीकी नवाचार: सदिश बंडल निर्माण का विस्तार और स्तरीकृत संरचना की स्थापना

कमियां

  1. लागू क्षेत्र की सीमा: कई परिणाम केवल घातीय प्रकार के समूहों के लिए लागू होते हैं
  2. गणनात्मक जटिलता: सरलीकरण के बावजूद, कुछ गणनाएं अभी भी कठिन हैं
  3. अपेक्षाकृत कम उदाहरण: अधिक ठोस गणना के उदाहरण प्रदान किए जा सकते हैं

प्रभाव

यह पेपर अनंतसूक्ष्म समूह योजनाओं के प्रतिनिधित्व सिद्धांत के लिए महत्वपूर्ण ज्यामितीय उपकरण प्रदान करता है, और बीजगणितीय समूह प्रतिनिधित्व सिद्धांत, बीजगणितीय ज्यामिति और समरूप बीजगणित के अंतरविषय क्षेत्र में महत्वपूर्ण प्रभाव डालने की अपेक्षा की जाती है।

लागू परिदृश्य

  • बीजगणितीय समूहों के प्रतिनिधित्व सिद्धांत अनुसंधान
  • मॉड्यूल श्रेणियों का ज्यामितीय विश्लेषण
  • समर्थन विविधता सिद्धांत का अनुप्रयोग
  • सदिश बंडल वर्गीकरण समस्याएं

संदर्भ

पेपर इस क्षेत्र के मुख्य साहित्य का हवाला देता है, जिसमें शामिल हैं:

  • Suslin, Friedlander, Bendel द्वारा अनंतसूक्ष्म 1-पैरामीटर उप-समूहों और सहसंगति के बारे में कार्य
  • Friedlander, Pevtsova द्वारा π-समर्थन और सामान्यीकृत समर्थन विविधता पर अनुसंधान
  • Carlson द्वारा मॉड्यूल की विविधता और सहसंगति वलय पर शास्त्रीय कार्य
  • बीजगणितीय ज्यामिति में भारित प्रक्षेपी स्पेस और सुसंगत शीफ पर मानक संदर्भ