A no-go theorem for special Ulrich bundles, with a complement on primary Burniat surfaces

ملخص تقني: نظرية "لا جدوى" للحزم أولريش الخاصة، مع متمم لأسطح بيرنيات الأولية

بيان المشكلة
تبحث الورقة في وجود حزم أولريش من الرتبة اثنتين على أسطح إسقاطية ملساء $X$ ذات جنس هندسي $p_g = 0$. وتتناول تحديداً الحالة "الخاصة" حيث يحقق فئة تشيرن الأولى الشرط $c_1(E) = 3H + K_X$ في $\text{Pic}(X)$, بدلاً من مجرد تحقيق ذلك عددياً. وثمة سؤال مركزي في الأدبيات حول ما إذا كان بناء كايلي-باخاراخ (Cayley–Bachach) القياسي (وهو امتداد من الشكل $0 \to \mathcal{O}_X(H+K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$) يمكنه إنتاج مثل هذه الحزم عندما يكون الاستقطاب $H$ "خاصاً" (أي $h^1(\mathcal{O}_X(H)) \neq 0$). وبينما يعد عدم الخاصية ($h^1=0$) فرضية قياسية في نظريات الوجود (على سبيل المثال [Ca17]، [Be16b])، تتساءل هذه الورقة عما إذا كان هذا الشرط ضرورياً لهذا البناء المحدد أم أنه مجرد فرض مفضل للسهولة.

المنهجية
يستخدم المؤلفون مزيجاً من التحليل الكوهلمولوجي، ونظرية الامتداد، وهندسة فئات أسطح محددة:

1. معايير الامتداد: تستخدم الورقة مراسلة سير-غريفيثس-هاريس (Serre–Griffiths–Harris)، التي تربط وجود امتداد محلي التعيين بخاصية كايلي-باخاراخ (CB) لمخطط صِفري $Z$ بالنسبة لنظام خطي.
2. التوتر الكوهلمولوجي: يتمثل جوهر الحجة في تحليل التوتر بين خاصية CB (التي تتطلب أن تفرض $Z$ شروطاً معتمدة على نظام خطي لضمان التعيين المحلي) وشرط تلاشي أولريش $h^0(E(-H)) = 0$ (الذي يتطلب أن تفرض $Z$ شروطاً مستقلة).
3. الآليات العامة مقابل الخاصة: يقارن المؤلفون بين الآلية "العامة" لـ Li–Qin [LQ94]، التي تعتمد على دورات صفرية عامة وتتطلب عدم الخاصية، وآلية "النقاط على المنحنى" لـ [An94]، والتي تضع $Z$ على منحنى غير متصل. ويوضحون أن الأخيرة تفشل أيضاً بالنسبة للنواة الملحقة (adjoint kernel) عندما يكون $H$ خاصاً.
4. تحليل سطح بيرنيات الأولي: بالنسبة للنتائج الإيجابية، يجري المؤلفون حسابات صريحة على أسطح بيرنيات الأولية (أسطح دنيا من النوع العام مع $p_g=q=0$ و $K_X^2=6$). ويستخدمون بنية الغطاء الثنائي $\pi: X \to Y$ (حيث $Y$ سطح ديل-بيزو من الدرجة 6) لاختزال حسابات الكوهلمولوجيا إلى السطح العقلاني $Y$، وذلك عبر توظيف تفكيكات الحزم الذاتية ونظرية الشبكة (lattice theory).

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

1. نظرية "لا جدوى" (Theorem 1.3)
تحدد النتيجة السلبية الأساسية أنه بالنسبة لسطح ذي $p_g=0$ ومقسم $H$ ممتلئ (ample) يحقق $h^1(\mathcal{O}_X(H)) \neq 0$ (و $\chi(\mathcal{O}_X(H)) \ge q$)، لا يمكن لأي حزمة متجهة من الرتبة اثنتين $E$ ذات $c_1(E) = 3H + K_X$ و $c_2(E)$ الصحيح أن تنشأ من امتداد النواة الملحقة:
$$0 \to \mathcal{O}_X(H + K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$$
بشرط تحقيق $h^0(E(-H)) = 0$.

• الآلية: يوضح البرهان أن شرط أولريش يفرض أن يكون طول $Z$ هو $\ell(Z) = \chi(\mathcal{O}_X(H)) + \chi(\mathcal{O}_X)$. والتلاشي $h^0(E(-H))=0$ يعني أن $h^0(\mathcal{O}_X(H) \otimes \mathcal{I}_Z) \le q$. ومع ذلك، فإن خاصية CB (المطلوبة للتعيين المحلي) تعني أن $Z$ تفرض شروطاً معتمدة، مما يؤدي إلى تناقض ما لم يكن $h^1(\mathcal{O}_X(H)) = 0$.
• الأهمية: يثبت هذا أن فرضية عدم الخاصية هي فرضية ضرورية للبناء الطبيعي للنواة الملحقة، وليست مجرد افتراض للملاءمة. كما أنه يستبعد إمكانية أن تتمكن آليات "الموضع الخاص" (مثل وضع النقاط على المنحنيات) من تجاوز شرط عدم الخاصية لهذا الشكل المحدد من الحزم.

2. الوجود على أسطح بيرنيات الأولية (Theorem 1.5)
يطبق المؤلفون نتائجهم على أسطح بيرنيات الأولية.

• عدم الخاصية العالمية: يثبتون أن كل مقسم ممتلئ وخالٍ من النقاط الأساسية (base-point-free) على سطح بيرنيات أولي هو غير خاص ($h^1(\mathcal{O}_X(H)) = 0$). ويُشتق هذا من حد الدرجة: يجب أن يكون للمقسم الممتلئ الخالي من النقاط الأساسية رقم تقاطع $\ge 2$ مع منحنيات التفرع الإهليلجية الستة للسطح. وبما أن $K_X$ له تقاطع 1 مع هذه المنحنيات، فإن $H - K_X$ ممتلئ، وينطبق تلاشي كودايرا (Kodaira vanishing).
• النتائج: بناءً على ذلك، فإن كل استقطاب على سطح بيرنيات أولي يسمح بوجود حزمة أولريش خاصة مستقرة من الرتبة اثنتين. علاوة على ذلك، فإن هذه الأسطح هي "وحشية أولريش صارمة" (strictly Ulrich wild) بالنسبة لكل استقطاب، حيث تحمل حزماً بسيطة من كل رتب زوجية $r \ge 2$ في عائلات ذات أبعاد كبيرة بشكل تعسفي.

3. تصنيف الفئات الممتلئة الخاصة
بينما لا يوجد أي استقطاب (مقسم شديد الامتلاء) خاص على هذه الأسطح، يصنف المؤلفون "الفئات الممتلئة الخاصة" (الممتلئة ولكن ليست خالية من النقاط الأساسية).

• يظهرون أن جميع الفئات الممتللة الخاصة تقع على ثلاثة أشعة عددية محددة تمر عبر $K_X$.
• يحسبون الكوهلمولوجيا على طول هذه الأشعة، موضحين أن الفئات $H_u = K_X + \pi^*\mathcal{O}_Y(u(e_0 - e_1))$ هي فئات خاصة لـ $u \ge 2$.
• والأهم من ذلك، يثبتون أن لا فئة على هذه الأشعة خالية من النقاط الأساسية، مما يفسر سبب عدم تعارضها مع عدم الخاصية للاستقطابات.

4. النواة الملتوية والعوائق
تستقصي الورقة ما إذا كانت النواة "الملتوية" (مثلاً $0 \to \mathcal{O}_X(H+K_X-\epsilon) \to E \to \mathcal{O}_X(2H+\epsilon) \otimes \mathcal{I}_Z \to 0$) يمكن أن تنقذ البناء بالنسبة للاستقطابات الخاصة.

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

5. الرتب العليا والوحشية
بناءً على وجود حزم الرتبة اثنتين، يستخدم المؤلفون معيار Faenzi–Pons-Llopis لبناء عائلات من حزم أولريش بسيطة من رتب زوجية أعلى. ويثبتون أن أسطح بيرنيات الأولية هي وحشية أولريش صارمة، مما يحسن النتائج السابقة من خلال تقديم حسابات أبعاد صريحة وإثبات البساطة (بدلاً من مجرد عدم القابلية للتفكك).

الأهمية والادعاءات
تزعم الورقة تقديم مساهمتين رئيسيتين:

1. نتيجة سلبية: توضح حدود بناء كايلي-باخاراخ، مثبتة أن عدم الخاصية للاستقطاب هو مطلب جوهري لشكل النواة الملحقة، وليس مجرد نتاج لتقنية الإثبات. وهذا يغلق فجوة في الأدبيات حيث لم يُسجل ضرورة هذا الفرض صراحة.
2. نتيجة إيجابية على أسطح بيرنيات: تقدم صورة كاملة لحزم أولريش على أسطح بيرنيات الأولية. وتؤكد أنه رغم تعقيد السطح، فإن الهندسة تفرض أن تكون جميع الاستقطابات غير خاصة، مما يضمن وجود حزم أولريش خاصة مستقرة لكل استقطاب. وهذا يتناق contrast مع العمل الأخير لـ Cho [Cho26]، الذي أثبت عدم الخاصية لفئات محددة (مثل $3K_X$) ولكنه لم يصغ النتيجة العالمية لجميع الاستقطابات أو تبعات الوحشية الصارمة.

يشير المؤلفون إلى أن نتائجهم حول أسطح بيرنيات تتداخل مع عمل Cho فيما يتعلق بحد الدرجة على المنحنيات الإهليلجية، لكن اشتقاقهم مستقل ويؤدي إلى استنتاجات عالمية أقوى. كما يسلطون الضوء على أنه بينما تفشل طرقهم الأولية (مثل كايلي-باخاراخ) في حالات خاصة معينة (مثل السطح الخماسي في $\mathbb{P}^3$)، فإن الحزم من المحتمل أن توجد، مما يشير إلى أن العائق هو عائق موضعي (positional) وليس عددياً.