Deformations, local freeness, and base change for higher Du Bois singularities

ملخص تقني: التشوهات، والحرية المحلية، وتغيير القاعدة للتشوهات من نوع دو بواي العليا (Higher Du Bois)

بيان المشكلة
تتناول الورقة ثلاثة أسئلة جوهرية تتعلق بسلوك تشوهات "دو بواي" العليا في عائلات المتنوعات المعقدة:

1. تغيير القاعدة (Base Change): بالنسبة لمورفزم مهيمن $f: X \to B$ إلى منحنى أملس، هل يتغير مجمع "دو بواي" النسبي $\Omega^p_{X/B}$ عبر تغيير القاعدة إلى مجمع "دو بواي" المطلق $\Omega^p_{X_b}$ للمتنوع $X_b$؟ وتحديداً، هل تتحقق العلاقة الطبيعية $\Omega^p_{X/B} \otimes^L_{\mathcal{O}_X} \mathcal{O}_{X_b} \xrightarrow{\sim} \Omega^p_{X_b}$؟
2. ثبات التشوه (Deformation Invariance): إذا كان القاسم المشترك (Cartier divisor) $Z \subseteq X$ يحقق شرط "دو بواي" الأعلى، فهل يحقق الفضاء المحيط $X$ الشرط المقابل في جوار $Z$؟
3. الحرية المحلية (Local Freeness): بالنسبة لعائلة مسطحة ومتقاربة (flat proper family)، هل تكون حزم الصور المباشرة العليا $R^i f_* \Omega^p_{X/B}$ حرة محلياً ومتوافقة مع تغيير القاعدة؟

بينما تعد هذه الخصائص مفهومة جيداً في حالة التشوهات من نوع "التقاطع الكامل المحلي" (lci)، إلا أن صحتها في الإطار العام تظل مفتوحة. تبحث الورقة فيما إذا كانت مختلف التحسينات لشرط "دو بواي" العليا (pre-, weakly-, m-, and strict-m-Du Bois) تحقق هذه الخصائص، مع التركيز بشكل خاص على تحديد أدق شرط تتحقق بموجبه.

المنهجية
يقدم المؤلف ويستخدم بناءً بديلاً لمجمع "دو بواي" النسبي، يسمى مجمع "دو بواي" النسبي الأيمن ($\Omega^{p,+}_{X/B}$)، مقارنة بالمجمع الأيسر النسبي القياسي ($\Omega^{p,-}_{X/B}$) المعرف في الأدبيات السابقة (مثل Kovács، و Kovács–Taji).

• البناء: يُبنى المجمع الأيمن "تصاعدياً" من $p=0$ عبر بناءات المخروط (cone constructions) باستخدام خريطة الضرب (wedge map) مع سحب الحزمة الكانونية للقاعدة، بينما يُبنى المجمع الأيسر "تنازلياً" من البعد.
• المقارنة: تثبت الورقة أن المجمع الأيمن يسمح بمقارنة أكثر مباشرة مع مجمع "دو بواي" المطلق لليف (fiber)، حيث تستخدم أداة تقنية رئيسية وهي مخطط تبادلي (Theorem 4.11) يربط بين $\Omega^{p,+}_{X/B}$ و $\Omega^p_X$ و $\Omega^p_{X_b}$، مما يسهل تحليل تغيير القاعدة.
• نظريات الحقن (Injectivity Theorems): لإثبات ثبات التشوه، توسع الورقة نظرية الحقن لـ Kovács–Schwede الخاصة بالتمايز كاهلر (Kähler differentials). وتحديداً، تثبت أن بالنسبة لمتنوع يمتلك تشوهات strict-$(m-1)$-Du Bois، فإن الخريطة $H^k(D_X(\Omega^p_X)) \to H^k(D_X(\Omega^p_X))$ هي خريطة حقن لـ $p \le m$ (Theorem 5.2). ويعتمد ذلك على تحليل تمايزات كاهلر تحت الغطاءات الدورية (cyclic covers) واستخدام تمايزات "كاتو" اللوغاريتمية ($\Omega^p_X(\log^K H)$).
• التشوه إلى تغيير القاعدة: توضح الورقة وجود رابط ثنائي الاتجاه: ثبات التشوه لتشوهات strict-m-Du Bois يستلزم تغيير القاعدة للمجمع الأيمن، وبالعكس، بافتراض تغيير القاعدة، يمكن اشتقاق نتائج التشوه لفئات التشوهات الأضعف.

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

1. ثبات التشوه لتشوهات strict-m-Du Bois:
   تثبت الورقة أنه إذا كان القاسم المشترك $Z \subseteq X$ يمتلك تشوهات strict-m-Du Bois، فإن $X$ يمتلك تشوهات strict-m-Du Bois في جوار $Z$ (Theorem 6.5). وقد تم إثبات ذلك عبر توسيع نظرية الحقن وحجج من نوع "إلكيك" (Elkik-type arguments).

2. نظرية تغيير القاعدة (Base Change Theorem):
   تجيب النتيجة الرئيسية على سؤال Kovács–Tally: إذا كان الليف $X_b$ يمتلك تشوهات strict-m-Du Bois، فإنه يحقق تغيير القاعدة للمجمع الأيمن النسبي. وتحديداً، لكل $p \le m$:
   $$\Omega^{p,+}_{X/B} \otimes^L_{\mathcal{O}_X} \mathcal{O}_{X_b} \simeq_{qis} \Omega^p_{X_b}$$
   علاوة على ذلك، إذا كان $X_b$ يمتلك تشوهات strict-m-Du Bois لجميع قيم $m \in \mathbb{N}$، فإن $X_b$ يحقق تغيير القاعدة للمجمع الأيسل النسبي لجميع قيم $p$ (Theorem 7.3). أما بالنسبة لقيمة ثابتة لـ $m$، فإن المجمع الأيسر لا يحقق بالضرورة تغيير القاعدة حتى لو كان الليف هو strict-m-Du Bois.

3. الحدة وفشل الشروط الأضعف:
   تظهر الورقة أن شرط "الصرامة" (strict) هو الحد الأدنى الضروري تقريباً.

• تغيير القاعدة الأيمن: يحقق الليف تغيير القاعدة الأيمن-m إذا وفقط إذا كان strict-m-Du Bois (Proposition 9.3).
• تغيير القاعدة الأيسر: يفشل تغيير القاعدة الأيسر-m للألياف التي هي مجرد m-Du Bois أو weakly-m-Du Bois. وتظهر الأمثلة المضادة (Example 9.5, Proposition 9.7) أنه حتى بالنسبة للألياف التي هي Du Bois (0-Du Bois) أو weakly-m-Du Bois، يمكن أن يفشل تغيير القاعدة في الدرجة 0 أو درجات أعلى.
• فشل التشوه: تبني الورقة أمثلة (Proposition 9.14) حيث يكون القاسم المشترك $Z$ هو 1-Du Bois، لكن الفضاء الكلي $X$ ليس حتى pre-1-Du Bois، مما يوضح فشل ثبات التشوه لشرط m-Du Bois.

4. الحرية المحلية وثبات أعداد هوج (Hodge Numbers):
   باستخدام نتائج تغيير القاعدة، تعمم الورقة نظرية الحرية المحلية لـ Friedman–Laza بما يتجاوز إطار lci. بالنسبة لعائلة مسطحة ومتقاربة فوق منحنى أملس، إذا كان الليف $X_b$ يمتلك تشوهات strict-m-Dus، فإن $R^i f_* \Omega^p_{X/B}$ تكون حرة محلياً ومتوافقة مع تغيير القاعدة لـ $0 \le p \le m$ (Theorem 8.7).
   بالإضافة إلى ذلك، ومن خلال حجة "تقطيع المنحنى" (curve-slicing)، تثبت الورقة ثبات أعداد هوج $h^{p,q}$ للعائلات فوق قواعد اختيارية، بشرط أن تكون الألياف own strict-m-Du Bois (Theorem 8.8).

الأهمية
تثبت هذه الورقة أن تشوهات strict-m-Du Bois هي التعميم الأكثر ملاءمة لشروط "دو بواي" العليا خارج إطار lci. ورغم أن هذا الشرط أكثر تقييداً من المفاهيم الأخرى الموجودة (مثل m-Du Bois أو weakly-m-Du Bois)، إلا أنه الوحيد الذي يضمن الخصائص الثلاث المرغوبة: ثبات التشوه، وتغيير القاعدة، والحرية المحلية لحزم الكوكوهومي. إن تقديم مجمع "دو بواي" النسبي الأيمن يوفر إطاراً تقنياً جديداً يبسط المقارنة بين المجمعات النسبية والمطلقة، مما يحل الأسئلة المفتوحة المتعلقة باستقرار الثوابت الهولوجرافية (Hodge-theoretic invariants) في عائلات المتنوعات المنفردة. كما توضح النتائج حدود تعريفات التشوه الأضعف، مبينة أنه بدون شرط الصرامة (أو اشتراط تحقق الشرط لجميع قيم $m$ للمجمع الأيسر)، فإن الخصائص الأساسية مثل تغيير القاعدة وثبات التشوه تفشل حتى في حالات التشوهات البسيطة نسبياً.