Local isomorphisms for families of projective non-unruled manifolds

ملخص تقني: التماثلات المحلية لعائلات المتنوعات الإسقاطية غير الموحدة (Non-Uniruled)

بيان المشكلة
تتناول الورقة مسألة طرحها "ويلر" (Wehler) عام 1977 تتعلق بالعلاقة بين التماثل النقطي والتماثل المحلي في عائلات المتنوعات المعقدة المتراصة. وتحديداً، إذا كانت لدينا عائلتان سلستان من المتنوعات المعقدة المتراصة، $\pi: X \to S$ و $\pi': Y \to S$ فوق متنوع معقد $S$، وكانت الألياف متماثلة نقطياً (أي يوجد تشاكل بي-هولومورفي $f_s: Y_s \to X_s$ لكل $s \in S$)، فهل العائلات متماثلة محلياً؟

لقد أثبتت الأعمال السابقة هذه المسألة في حالات محددة، مثل التوريات المعقدة (complex tori) والمتنوعات ذات الانحناء الهولومورفي السالب. ومع ذلك، جرت محاولة لإثبات عام لأي عائلات بواسطة "ميرسمان" (Meersseman)، لكنها احتوت على ثغرات سلط الضوء عليها مثال مضاد بناه "كيرشنر" (Kirschner). أدى هذا إلى صياغة حدسية ضعيفة (الحدسية 1.2): إذا كان بُعد فضاء الحقول المتجهة الهولومورفية $s \to \dim H^0(Y_s, TY_s)$ ثابتاً، فهل توجد مجموعة مفتوحة كثيفة $U \subset S$ حيث تكون العائلات المقيدة متماثلة محلياً؟

المنهجية
يركز المؤلف، "مو-لين لي" (Mu-Lin Li)، تحديداً على عائلات المتنوعات الإسقاطية غير الموحدة (projective non-uniruled manifolds). تعتمد استراتيجية الإثبات على نظرية فضاءات الموديولي (moduli spaces) للمتنوعات الكاهلر المستقطبة، باستخدام بناءات "فوجيكي" (Fujiki) و"شوماخر" (Schumacher). تسير المنهجية عبر الخطوات المنطقية التالية:

1. التسوية الطوبولوجية والكوهومولوجيا:
   بالنسبة لعائلة سلسة فوق قرص $\Delta$، تستخدم الورقة حقيقة أن مثل هذه العائلة تشكل حزمة ليفية سلسة. يسمح هذا ببناء تماثلات تفاضلية (diffeomorphisms) $T: X \cong X_{t_1} \times \Delta$. يحلل المؤلف سلوك فئات الكوهومولوجيا تحت هذه التماثلات التفاضلية، ملاحظاً أن التماثلات التفاضلية في نفس المكون المتصل لمجموعة التماثلات التفاضلية تستحث مورفزمات متطابقة على مجموعات الكوهومولوجيا (الخاصية 2.4).

2. وجود الاستقطابات النسبية:
   تتمثل عقبة تقنية حرجة في تجهيز العائلات باستقطابات (فئات كاهلر) تتغير هولومورفياً.

• التمهيد 3.1 و3.2: يثبت المؤلف أنه إذا كانت فئة كوهومولوجية تقتصر على كونها فئة من النوع $(1,1)$ (أو فئة صحيحة) على مجموعة غير قابلة للعد من القاعدة، فإنه يمكن بناء حزمة خطية عالمية فوق الفضاء الكلي بحيث تقتصر فئة "تشيرن" الأولى لها على الفئة المطلوبة على الألياف. يعتمد هذا على مبرهنة "ليفيتز" للفئات من النوع $(1,1)$ وحقيقة أن المجموعات التحليلية داخل القرص لا يمكن أن تكون غير قابلة للعد ما لم تكن القرص بأكمله.
• يسمح هذا ببناء حزم خطية "موجبة تماماً نسبياً" (relatively ample line bundles) $L$ على $X$ و $\tilde{L}$ على $Y$ فوق مجموعة مفتوحة زاريسكية كثيفة من القاعدة.

3. رسم الخرائط إلى فضاء الموديولي:
   مع تجهيز العائلات الآن باستقطابات نسبية، فإنها تحدد خريطتين هولومورفيتين $f, f': U \to \mathcal{M}$ من القاعدة إلى فضاء الموديولي الخشن (coarse moduli space) $\mathcal{M}$ للمتنوعات الإسقاطية غير الموحدة.

• التماثل النقطي للألياف يعني أن الخرائط المستحثة على فضاء الموديولي تتفق على مجموعة غير قابلة للعد من النقاط (المستمدة من المكونات المتصلة لمجموعة التماثلات التفاضلية).
• التمهيد 3.3: يتم استدعاء نتيجة معيارية من التحليل المعقد: إذا اتفقت خريطتان هولومورفيتان من مجال محدب هولومورفي إلى فضاء معقد على مجموعة غير قابلة للعد، فهما متطابقتان في كل مكان. وبالتالي، فإن الخرائط إلى فضاء الموديولي تتطابق على المجموعة المفتوحة $U$ بأكملها.

4. الاكتمال المحلي وعائلات كورانيشي (Kuranishi families):
   تستخدم الخطوة الأخيرة خاصية أن دالة الموديولي للمتنوعات الإسماطية غير الموحدة هي مكتملة محلياً (الخاصية 2.8، بناءً على فوجيكي وشوماخر).

• بما أن الخرائط إلى فضاء الموديولي متطابقة، فإن العائلات هي سحوبات محلية (local pullbacks) لنفس العائلة العالمية (التي تسمى عائلة كورانيشي).
• ولأن فضاء الموديولي هو فضاء موديولي خشن، فإن الوحدانية المحلية للسحب (ضمن تأثير مجموعة التماثل المنتهي) تضمن وجود تشاكل بي-هولومورفي بين العائلتين المقيدتين $X_U$ و $Y_U$ يتوافق مع الإسقاطات.

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

لتكن $\pi: X \to S$ و $\pi': Y \to S$ عائلتان سلستان من المتنوعات الإسقاطية غير الموحدة فوق سطح ريمان $S$. افترض أن هاتين العائلتين متماثلتان نقطياً. إذن توجد مجموعة مفتوحة كثيفة $U \subset S$ بحيث تكون العائلات المقيدة متماثلة محلياً عند كل نقطة $s \in U$.

تقدم هذه النتيجة إجابة جزئية لأسئلة "ويلر"، وتحديداً لفئة المتنوعات الإسقاطية غير الموحدة. لا يتطلب الإثبات افتراض ثبات $\dim H^0(Y_s, TY_s)$ صراحة في نص النظرية النهائية لهذه الفئة المحددة، حيث أن خصائص المتنوعات غير الموحدة وبناء فضاء الموديولي تكفي لإثبات التماثل المحلي على مجموعة مفتوحة كثيفة.

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