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)}

المعلومات الأساسية

  • معرّف الورقة: 2505.08094
  • العنوان: الثوابت للمودولات G(r)\mathbb G_{(r)}
  • المؤلف: Eric M. Friedlander
  • التصنيف: math.RT (نظرية التمثيل)
  • تاريخ النشر: 16 أكتوبر 2025
  • رابط الورقة: https://arxiv.org/abs/2505.08094

الملخص

تعيد هذه الورقة النظر في الثوابت الدقيقة للتمثيلات ذات البعد المحدود للمخطط الزمري اللانهائي الصغير G(r)\mathbb G_{(r)} على حقل kk بخاصية p>0p>0، والتي تم بناؤها سابقاً بواسطة J. Pevtsova والمؤلف. يركز البحث على النظر في المؤثر pp-نيلبوتنت العام كعنصر في جبر المجموعة للمخطط الزمري G(r),X\mathbb G_{(r),X} على XX، حيث XX هو إما فضاء معاملات المجموعات الجزئية من الارتفاع rr بمعامل واحد Vr(G)V_r(\mathbb G) أو فضاء معاملات rr-صفات العناصر pp-نيلبوتنت والمتبادلة بشكل متبادل في جبر لي G\mathbb G وهو Cr(Np(g))\mathcal C_r(\mathcal N_p(\mathfrak g)).

السياق البحثي والدافع

خلفية المشكلة

  1. تطور نظرية الدعم: تستخدم هذه الورقة طرق ونتائج نظرية الدعم لدراسة الثوابت الصريحة للمودولات ذات البعد المحدود لفئات معينة من المخططات الزمرية اللانهائية الصغيرة، وهذا يتناقض مع الأعمال السابقة التي استخدمت نظرية الدعم لإنشاء خصائص فئات التمثيل للمخططات الزمرية المحدودة.
  2. الدراسة المتعمقة لدالة نوع جوردان: يدرس المؤلف بشكل أعمق "دالة نوع جوردان" التي قدمها سابقاً مع J. Pevtsova، والتي توفر خريطة مستمرة من نقاط المخطط للمجموعات الجزئية من الارتفاع rr بمعامل واحد إلى المجموعة المرتبة جزئياً لمخططات يونج ذات 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. المعالجة الخاصة للمجموعات الأسية: بالنسبة للمجموعات الأسية، يمكن وصف المجموعات الجزئية من الارتفاع rr بمعامل واحد بشكل أكثر وضوحاً من خلال العناصر pp-نيلبوتنت في جبر لي، مما يبسط الحسابات.

المساهمات الأساسية

  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)} ذات البعد المحدود، مما ينتج طبقات متماسكة حرة محلياً على الطبقات XX المرتبطة بـ JTG,r,M(−)JT_{G,r,M}(-).
  4. تصحيح نتائج الاستقرار: تصحيح خطأ صغير في العمل السابق بخصوص استقرار دالة نوع جوردان بالنسبة إلى rr.

شرح الطريقة

المفاهيم والتعريفات الأساسية

تعريف نوع جوردان

بالنسبة لمودول k[t]/tpk[t]/t^p-MM، يتم تحديد نوع جوردان a=(a1,…,ap)∈N×pa = (a_1, \ldots, a_p) \in \mathbb{N}^{\times p} بواسطة عدد كتل جوردان بحجم ii في الشكل الطبيعي لجوردان للمصفوفة ρM(t)\rho_M(t) وهو aia_i.

المؤثر pp-نيلبوتنت العام

بالنسبة للمخطط الزمري الأفيني GG والعدد الصحيح الموجب rr، فإن المجموعة الجزئية من الارتفاع rr بمعامل واحد العام 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 هي جبر kk-تبادلي نويثري.

يعتمد الإثبات على ليما ناكاياما والاستمرارية الدنيا لنوع جوردان.

نقاط الابتكار التقني

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، ننظر في المودول غير القابل للاختزال 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

بالنسبة للتواء فروبينيوس ii-th للتمثيل متعدد الحدود من الدرجة <p< p لـ GLNGL_N وهو 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 والمؤلف أسس نظرية دعم باستخدام فئات المجموعات الجزئية من الارتفاع rr بمعامل واحد بدلاً من الفئات المتماسكة
  • الأعمال السابقة لـ 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 حول المجموعات الجزئية اللانهائية الصغيرة من الارتفاع rr بمعامل واحد والمتماسك
  • أبحاث Friedlander و Pevtsova حول دعم π والفئات المعممة للدعم
  • العمل الكلاسيكي لـ Carlson حول فئات المودولات والحلقات المتماسكة
  • المراجع المعيارية في الهندسة الجبرية حول الفضاءات الإسقاطية المرجحة والطبقات المتماسكة