Hochschild cohomology of Beilinson algebras of graded down-up algebras with weights ($n,m$)

ملخص تقني: كوهومولوجيا هوتشديلد لجبر بيلينسون الخاص بجبرات داون-أب (Down-Up) المتدرجة بأوزان (n, m)

بيان المشكلة
تتناول هذه الورقة حساب مجموعات كوهومولوجيا هوتشديلد، $HH^r(\nabla A)$، لجبر بيلينسون $\nabla A$ المرتبط بجبر "داون-أب" متدرج $A = A(\alpha, \beta)$. الجبر $A$ مُعرف فوق حقل مغلق جبرياً $k$ من المميز صفر مع مولدات $x, y$ وأوزان $(\deg x, \deg y) = (n, m)$. تركز الدراسة على الحالة التي يكون فيها $\beta \neq 0$، مما يضمن أن $A$ هو جبر "AS-regular" نويثري ثلاثي الأبعاد، وتستهدف تحديداً الحالة المتبقية غير المحلولة حيث تحقق الأوزان $m \ge n > 1$ و $\gcd(n, m) = 1$.

لقد أرست الأعمال السابقة نتائج للحالات $(n, m) = (1, 1)$ (بلمانس) و $(n=1, m \ge 2)$ (إيتابا-أوياما). وتعمل الدراسة الحالية على توسيع هذه النتائج لتشمل السيناريو الذي تكون فيه كلا الأوزان أكبر من 1. الأهداف الرئيسية هي تحديد أبعاد مجموعات كوهومولوجيا هوتشديلد، وبناء قواعد صريحة لـ $HH^1$ و $HH^2$، ووصف بنية الحلقة بالنسبة لضرب يوندا (Yoneda product)، واستقصاء التكافؤ في الفئة المشتقة للمخطط الإسقاطي غير التبدلي المرتبط.

المنهجية
يستخدم المؤلفون نهجاً جبرياً يستفيد من المجموعات الإسقاطية الدنيا لجبر بيلينسون $\nabla A$ كموديول فوق جبره المحيط $(\nabla A)^e$. تسير المنهجية عبر الخطوات التالية:

1. بناء المجموعات (Resolution Construction): اتباعاً لإطار عمل "جرين-شناشال"، يقوم المؤلفون ببناء المجموعة الإسقاطية الدنيا $P_\bullet$ لـ $\nabla A$ كموديول فوق $(\nabla A)^e$. يحددون مجموعات محددة من المولدات $G_0, G_1, G_2$ المقابلة للرؤوس، والأسهم، والعلاقات في "الكوير" (quiver) الخاص بـ $\nabla A$. يتم تعريف التفاضلات $\partial_1$ و $\partial_2$ بشكل صريح.
2. المعقد المزدوج والتمثيل المصفوفي: من خلال تطبيق التوابع $\text{Hom}_{(\nabla A)^e}(-, \nabla A)$، يحصل المؤلفون على معقد من الفضاءات المزدوجة. يقومون ببناء قواعد $k$ لهذه الفضاءات المزدوجة وتمثيل الخرائط المستحثة $\widehat{\partial}_1$ و $\widehat{\partial}_2$ كمصفوفات ($L_1$ و $L_2$).
3. حساب الرتبة (Rank Computation): تُشتق أبعاد مجموعات الكوهومولوجيا عن طريق حساب رتب المصفوفات التمثيلية لـ $L_1$ و $L_2$ تحت شروط مختلفة للمعاملات $\alpha, \beta$ والأوزان $n, m$، وذلك باستخدام خصائص المصفوفات الدائرية (circulant matrices) وكثيراتها الحدودية المرتبطة بها.
4. بناء القواعد (Basis Construction): يتم بناء قواعد $k$ صريحة لمجموعات $HH^1(\nabla A)$ و $HH^2(\nabla A)$ من خلال تحليل النواة (kernels) والصور (images) للتفاضلات في المعقد المزدوج.
5. بنية الحلقة (Ring Structure): يتم تحديد بنية ضرب يوندا على حلقة كوهومولوجيا هوتشديلد الكلية $\bigoplus_{r \ge 0} HH^r(\nabla A)$ عبر بناء خرائط سلاسل (chain maps) ترفع فئات الكوهومولوجيا وتحسب تركيباتها.
6. تحليل الفئة المشتقة: يستخدم المؤلفون الخصائص المميزة لكوهومولوجيا هوتشديلد ومعامل "سيرف" (Serre functor) على مجموعة غروتينديك لـ اختبار "الأحادية" (unipotency)، ومقارنة النتائج مع النظريات المعروفة المتعلقة بالفئات المشتقة للمتنوعات الإسقاطية الملساء.

النتائج الرئيسية

• صيغ الأبعاد: توفر الورقة صيغة أبعاد كاملة لـ $HH^r(\nabla A)$ لجميع قيم $r \ge 0$ في حالة $m > n > 1$ مع $\gcd(n, m) = 1$.
  • $HH^0(\nabla A) \cong k$ (البعد 1).
  • $HH^1(\nabla A)$ يكون بعده 2 إذا كان $n+m$ زوجياً و $\alpha=0$ (الحالة I)، وبعده 1 بخلاف ذلك (الحالة II).
  • أبعاد $HH^2(\nabla A)$ تعتمد على $n$ والحالة:
    • إذا كان $n=2$: البعد هو $m+5$ (الحالة I) أو $m+4$ (الحالة II).
    • إذا كان $n \ge 3$: البعد هو $n+m+1$ (الحالة I) أو $n+m$ (الحالة II).
  • $HH^r(\nabla A) = 0$ لجميع قيم $r \ge 3$.
• القواعد الصريحة: يبني المؤلفون قواعد $k$ صريحة لـ $HH^1(\nabla A)$ و $HH^2(\nabla A)$ لجميع الحالات الفرعية (بما في ذلك الشروط المحددة على $\alpha$ و $\beta$ مثل $\lambda_{m+1}=0$ أو $\alpha^2+4\beta=0$).
• بنية الحلقة: تبيّن أن حلقة كوهومولوجيا هوتشديلد الكلية متشاكلة مع خارج جبر خارجي (exterior algebra) $\Lambda(a, b)$ لـ مثالي متجانس $I$. يتم جدول عدد المولدات $(a, b)$ والعلاقات المحددة في $I$ لجميع الحالات. وفي كثير من الحالات (خاصة عندما $n \ge 2$)، يكون المثالي $I$ تافهاً، مما يعني أن الحلقة هي جبر خارجي حر.
• عدم تكافؤ الفئة المشتقة: تم استخلاص نتيجة هيكلية هامة للحالة $m > n > 1$. يحسب المؤلفون الخصائص المميزة $\chi_{HH}(HH^\bullet(\nabla A))$ ويظهرون أنها لا تساوي رتبة مجموعة غروتينديك للفئة المشتقة المحدودة للمخطط الإسقاطي غير التبدلي، وهي $2(n+m)$. ومن خلال الاستناد إلى نظرية "بوندال-بوليشوك" المتعلقة بالأحادية لـ "سيرف" (Serre functor) على الأسطح الإسقاطية الملساء، يستنتجون أن "سيرف" لا يعمل بشكل أحادي. وبناءً على ذلك، فإن الفئة المشتقة $Db(\text{tails } A)$ ليست متكافئة مع الفئة المشتقة المحدودة لأي سطح إسقاطي أملس.

الأهمية والادعاءات
تزعم الورقة توسيع تصنيف كوهومولوجيا هوتشديلد لجبرات بيلينسون الخاصة بجبرات "داون-أب" المتدرجة إلى الحالة التي لم تُعالج سابقاً حيث يكون كلا الوزنَين أكبر من 1. ومن خلال البناء الصريح للمجموعات الإسقاطية وحساب رتب المصفوفات، يقدم المؤلفون وصفاً جبرياً كاملاً لأبعاد الكوهومولوجيا وبنى الحلقات.

يسلط العمل الضوء على التباين في الطبيعة الهندسية لهذه الجبرات غير التبدلية. فبينما تظهر الحالات $(1,1)$ و $(1,2)$ (حيث $n=1$) تكافؤات مشتقة لأسطح إسقاطية ملساء (أو تمتلك "سيرف" أحادي)، تثبت هذه الورقة أنه في حالة $m > n > 1$، ينهار هذا التكافؤ. تعمل هذه النتيجة كحالة مضادة لعمومية التكافؤات المشتقة بين جبرات "AS-regular" والمتنوعات الإسطاحية الملساء، مما يصقل الفهم للتمثيل الهندسي للمخططات الإسقاطية غير التبدلية.