Infinitesimal commutative unipotent group schemes with one-dimensional Lie algebra

ملخص تقني: المجموعات المخططية المتبادلة اللامتناهية في الصغر والوحدوية ذات جبر لي (Lie algebra) أحادي البعد

بيان المشكلة
يتناول البحث الصعوبة في الوصف الصريح للمخططات المجموعية المتبادلة اللامتناهية في الصغر (infinitesimal commutative unipotent group schemes) فوق حقل مغلق جبرياً $k$ من المميز $p > 0$. ورغم أن مثل هذه المخططات معروفة الوجود (على سبيل المثال، كأجزاء $p$-torsion لمتنوعات أبيلية ذات رتبة $p$ تساوي صفراً)، إلا أن بنيتها الصريحة من حيث جبر هوف (Hopf algebras) غالباً ما تكون غامضة، لا سيما مع زيادة الأبعاد. المشكلة المحددة التي يعالجها البحث هي تصنيف المخططات المجموعية المتبادلة الوحدوية اللامتناهية في الصغر من الرتبة $p^n$ ذات جبر لي أحادي البعد. هذا التصنيف مدفوع بسؤال جزئي طرحه فاخر الدين (Fakhruddin) حول وجود مثل هذه المخططات، وسؤال من بريون (Brion) يتعلق بالأفعال العقلانية (rational actions) لهذه المخططات على المنحنيات.

المنهجية
يستخدم المؤلف نظرية نماذج ديودوني (Dieudonné modules) فوق حلقة متجهات ويتور ($W(k)$) لتحويل المشكلة الهندسية إلى مشكلة جبرية تتضمن نماذج فوق الحلقة غير التبادلية $E$ (التي تولد بواسطة فروبينيوس $F$ وفيرشيبونغ $V$).

1. الاختزال إلى نماذج ديودوني: باستخدام التناظر العكسي للفئات بين المجموعات المخططية الوحدوية المتبادلة اللامتناهية في الصغر والنماذج اليسارية ذات الطول المحدود فوق $E$ (حيث $F$ و $V$ نائلتان)، يتم اختزال المشكلة إلى تصنيف نماذج $E$ محددة ذات طول $n$.
2. التصنيف الاستقرائي: يسير البرهان عبر الاستقراء على $n$. بالنسبة لمجموعة مخططية $G$ من الرتبة $p^n$، يحلل المؤلف المتتالية القصيرة الناتجة عن تشكل فروبينيوس الـ $(n-1)$-ي:
   $$0 \to \ker(F_G^{n-1}) \to G \to \alpha_p \to 0$$
   وبناءً على فرضية الاستقراء، يتم تصنيف النواة. ثم يتم تحليل نموذج ديودوني $M(G)$ كنواية (extension) للنموذج المقابل لـ $\alpha_p$.
3. التبسيط الجبري: تتمثل الخطوة الحاسمة في إثبات إمكانية تطبيع بعض المعاملات في العلاقات المحددة لنموذج ديودوني. وتحديداً، يوضح الاقتراح 4.3 أنه بالنسبة لحقل مغلق جبرياً، يمكن إلغاء الحدود التي تتضمن معاملات في $W(k)$ عبر التماثل (isomorphism)، مما يختزل التصنيف إلى مجموعة منفصلة من المعاملات.
4. البناء الصريح: يقوم البحث ببناء جبرات هوف للمجموعات المصنفة صراحة، مبيناً أنها تنشأ كنواة لمورفزمات (morphisms) من الشكل $V - F^i$ على مجموعات متجهات ويتور $W_n$.

المساهمات والنتائج الرئيسية

• مبرهنة التصنيف (المبرهنة 1.1): يثبت البحث أنه فوق حقل مغلق جبرياً $k$ من المميز $p > 0$، توجد بالضبط $n$ من فئات التماثل للمجموعات المخططية الوحدوية المتبادلة اللامتناهية في الصغر من الرتبة $p^n$ ذات جبر لي أحادي البعد.
  توصَف هذه المخططات صراحة كما يلي:
  $$W_n^n[V - F^i] := \ker(V - F^i : W_n^n \to W_n^n)$$
  لكل $i = 1, \dots, n$. حيث ترمز $W_n^n$ إلى مجموعة مخططات متجهات ويتور بطول $\le n$. وهنا $F$ و $V$ هما مورفيزما فروبينيوس وفيرشيبونغ.

• ثنائية كارتييه (النتيجة 4.5): يقدم البحث تصنيفاً موازياً للمخططات التي تكون ثنائيات كارتييه الخاصة بها ذات جبر لي أحادي البعد. وتُعطى هذه المخططات بـ $W_n^n[F - V^i]$ لكل $i = 1, \dots, n$.

• المجموعات الجزئية من المنحنيات الإهليلجية فائقة التفرّد (الاقتراح 5.1): يُطبق البحث التصنيف على المنحنيات الإهليلجية فائقة التفرّد (supersingular elliptic curves) $E$. يثبت البحث أن:

  • المجموعة الجزئية $E[p^n]$ من الرتبة $p^n$ هي متماثلة مع $W_{2n}^{2n}[V - F]$.
  • نواة فروبينيوس رقم $m$ هي $E[F^m]$ وهي متماثلة مع $W_m^m[F - V]$.
  • وبناءً على ذلك، فإن المجموعات الجزئية اللامتناهية في الصغر لمنحنى إهليجي فائق التفرّد هي بالضبط المجموعات ذاتية الثنائية (self-dual) في القائمة المصنفة (تحديداً الحالة $i=1$ في التصنيف المزدوج).

• الأفعال العقلانية على المنحنيات (الاقتراح 5.3): استجابة لسؤال بريون، يحدد البحث أي من هذه المجموعات الـ $n$ يمكن تضمينها في مجموعة جبرية متصلة أحادية البعد سلسة.

  • حالتان فقط قابلتان للتضمين: $G \cong \alpha_{p^n}$ (مجموعة جزئية من المجموعة المضافة $\mathbb{G}_a$) و $G \cong W_n^n[F - V]$ (مجموعة جزئية من منحنى إهليجي فائق التفرّد).
  • بقية المجموعات الـ $n-2$ (حيث $1 < i < n$) ليست مجموعات جزئية لأي مجموعة جبرية متصلة سلسة أحادية البعد. ومع ذلك، وبالاستناد إلى عمل سابق ذكره البحث، فإنها لا تزال تسمح بأفعال عقلانية وحرة عامة (generically free actions) على أي منحنى.

• أمثلة غير تبادلية (المثال 5.4): يختتم البحث بمعالجة سؤال يتعلق بالتبادلية. حيث يقدم مثالاً صريحاً لمجموعة وحدوية غير تبادلية لامتناهية في الصغر ذات جبر لي أحادي البعد، مما يوضح أن التبادلية ليست مضمونة حتى مع هذا القيد البعدي.

الأهمية
يقدم البحث تعداداً كاملاً وصريحاً لفئة محددة من المجموعات المخططية التي كانت تُفهم سابقاً فقط عبر نظرية نماذج ديودوني المجردة. ومن خلال تقديم أوصاف صريحة بدلالة متجهات ويتور وجبرات هوف، يسهل العمل بناء أفعال هذه المجموعات على المتنوعات. علاوة على ذلك، فإنه يحل أسئلة محددة تتعلق بتضمين هذه المخططات في المنحنيات السلسة ويوضح بنية نواة التورشن (torsion) ونواة فروبينيوس للمنحنيات الإهليلجية فائقة التفرّد. تعمل النتائج على التمييز بين المجموعات المخططية "الهندسية" (بمعنى كونها مجموعات جزئية من منحنيات سلسة) وتلك التي هي طبيعة لامتناهية في الصغر بحتة ومع ذلك قادرة على الفعل على المنحنيات.