A note on Azumaya algebras and one-forms

ملخص تقني: ملاحظة حول جبر أزومايا والواحد-أشكال

بيان المشكلة
في سياق الهندسة الجبرية فوق حقل مغلق جبرياً $k$ من المميز $p > 0$، يُعرّف غمد مؤثرات التفاضل البلورية (crystalline differential operators) على متنوعة ناعمة ومتقاربة (smooth proper variety) $X$ جبر أزومایا (Azumaya algebra)، يُرمز له بـ $A_X$، على الحزمة المماسية الراكبة (cotangent bundle) $T^*X'$ للمتغير فبروبيوس (Frobenius twist) $X'$. وبينما من المعروف أن $A_X$ ينقسم (splits) عند تقييده على متغيرات طيفية معينة (وهي ظاهرة تُستخدم في نظرية لانغلاند الهندسية في المميز-$p$ ونظرية هودج-غير الآبلية)، ظل سؤال محدد مفتوحاً فيما يتعلق بوجود متنوعات يفشل فيها هذا الانقسام.

طرح ساشا بيتروف السؤال التالي (السؤال 1 في الورقة): هل توجد متنوعة ناعمة ومتقاربة $X$ ومتنوعة فرعية ناعمة $Z \subset T^*X'$، منتهية فوق $X'$، بحيث لا ينقسم التقييد $A_X|_Z$؟

المنهجية
تعالج هذه الورقة هذا السؤال من خلال تحليل العلاقة بين انقسام جبر أزومایا والخصائص الكوهومولوجية للواحد-أشكال العالمية (global one-forms) على $X$. تسير المنهجية عبر الخطوات المنطقية التالية:

1. متتالية ميلن (Milne's Exact Sequence): يستخدم المؤلف متتالية ميلن لغمد إيتال (étale sheaves) على $X'$، والتي تربط بين المجموعة الضربية، ودفع فبروبيوس للمجموعة الضربية، والواحد-أشكال المغلقة، وغمد جميع الواحد-أشكال. تتضمن هذه المتتالية مؤثر كارتييه $C_X$ وخريطة $d\log$.
2. مخطط العائق (Obstruction Homomorphism): من خلال دمج المتتالية، يتم تعريف مورتفيزم (homomorphism) توصيلي، مما ينتج عنه مخطط عائق:
   $$ob_{X'}: H^0(X', \Omega^1_{X'/k}) \to H^2_{\text{ét}}(X', \mathcal{O}^*_{X'})$$
   تقيس هذه الخريطة العائق لانقسام الجبر.
3. تحديد الجيرب (Gerbe Identification): استناداً إلى أوغوس-فولوغودسكي (Ogus–Vologodsky)، تحدد الورقة $ob_{X'}(\omega)$ كفئة الجيرب $\mathbb{G}_m$ لخطوط الحزم (line bundles) ذات اتصال متكامل و$p$-curvature تساوي $\omega$. ومن الأهمية بمكان أن هذا الجيرب يُحدد أيضاً كجيرب الانقسامات لـ $A_X$ عند التقييد على القسم $i_\omega: X' \to T^*X'$ المقابل لواحد-شكل عالمي $\omega$.
4. التحليل البعدي لمخططات بيكار (Dimensional Analysis of Picard Schemes): لتحديد متى يكون $ob_{X'}$ غير صفري، تحلل الورقة مخطط بيكار المتصل (rigidified Picard scheme) لخطوط الحزم ذات الاتصال المتكامل، المسمى $G$. وباستخدام وصف كارتييه (Cartier descent) وخصائص مورتفيزم الـ $p$-curvature $\psi: G \to V$ (حيث $V$ هو مجموعة المتجه لجميع الواحد-أشكال العالمية)، تقارن الورقة بين أبعاد صورة $\psi$ وفضاء الواحد-أشكال العالمية.

المساهمات والنتائج الرئيسية
تثبت الورقة النتائج الرئيسية التالية:

• تمهيدية 2 (Lemma 2): لأي متنوعة ناعمة $X$ وواحد-شكل عالمي $\omega \in H^0(X', \Omega^1_{X'/k})$، فإن فئة جبر أزومایا المقيد $[i_\omega^* A_X]$ في $H^2_{\text{ét}}(X', \mathcal{O}^*_{X'})$ هي بالضبط $ob_{X'}(\omega)$. وبناءً على ذلك، إذا كان $ob_{X'}(\omega) \neq 0$، فإن الجبر لا ينقسم على الرسم البياني $\Gamma_\omega$.
• قضية 3 (Proposition 3): إذا كانت $X$ متنوعة متصلة ناعمة ومتقاربة بحيث لا يكون كل واحد-شكل عالمي مغلقاً (أي أن $H^0(X, Z^1_{X/k}) \subsetneq H^0(X, \Omega^1_{X/k})$)، فإن خريطة العائق $ob_{X'}$ تكون غير صفرية. يوضح البرهان أن صورة مورتفيزم الـ $p$-curvature أصغر تماماً من فضاء جميع الواحد-أشكال العالمية بسبب القيود البعدية على مكونات مخطط بيكار.
• مبرهنة 4 (النتيجة الرئيسية): إذا كانت $X$ تمتلك واحداً-شكلاً عالمياً غير مغلق، فإنه توجد متنوعة فرعية ناعمة $Z \subset T^*X'$ (تحديداً، الرسم البياني لواحد-شكل غير مغلق) وهي منتهية فوق $X'$ (في الواقع، هي تماثل/isomorphism) بحيث لا ينقسم $A_X|_Z$.

أمثلة ودلالات
تقدم الورقة أمثلة إيجابية في كل مميز موجب:

• أمثلة السطوح: تشير إلى بناء مومفورد لسطوح مسقطة ناعمة ذات واحد-أشكال عالمية غير مغلقة. كما تشير إلى أن سطوح راينود المعممة التي بناها تاكيدا (أصلاً لـ $p>2$) تحقق أيضاً هذا الشرط لـ $p=2$.
• الأبعاد الأعلى: تعطي نواتج هذه السطوح مع الفضاءات الإسقاطية $X \times \mathbb{P}^n_k$ أمثلة ذات أبعاد أعلى.

الدلالات والقيود
تجيب الورقة على السؤال 1 بالإيجاب، موضحة أن انقسام جبر أزومایا للمؤثرات التفاضلية البلورية ليس مضموناً حتى على الأغطية المنتهية (تحديداً، أغطية الدرجة واحد) للقاعدة إذا كانت المتنوعة تسمح بوجود واحد-أشكال عالمية غير مغلقة.

يشير المؤلف إلى نتيجة مباشرة فيما يتعلق بالرفع (lifting): وفقاً لنظرية ديليني-إليسيه (Deligne–Illusie)، إذا تدهورت متتالية هودج-إلى-دي رام عند $E_1$، فإن جميع الواحد-أشكال العالمية يجب أن تكون مغلقة. لذلك، فإن المتنوعات التي تم بناؤها في هذه الورقة (والتي تمتلك أشكالاً غير مغلقة) لا يمكن رفعها إلى حلقة فيتور ويتور الثاني $W_2(k)$. تظل الورقة متواضعة في طرحها، حيث تؤطر مساهمتها كحل لسؤال محدد طرحه بيتروف دون اقتراح تطبيقات أوسع أو مقترحات تجريبية مستقبلية خارج السياق الهندسي المباشر.