Euclidean distance degree defect of singular projective varieties

ملخص تقني: عيب درجة المسافة الإقليدية للمتنوعات الإسقاطية المنفردة

بيان المشكلة
تُعد درجة المسافة الإقليدية (ED degree) ثابتًا جوهريًا في الهندسة الجبرية والرياضيات التطبيقية، حيث تقيس التعقيد الجبري لمشكلات أقرب نقطة إلى متنوع جبري. وتحديدًا، هي تعد عدد النقاط الحرجة المركبة لدالة مربع المسافة الإقليدية من نقطة بيانات عامة إلى المتنوع. هناك نوعان رئيسيان يُدرسان: "درجة المسافة الإقليدية الموحدة" ($uEDdeg$)، المرتبطة بالمقياس الإقليدي القياسي، و"درجة المسافة الإقليدية العامة" ($gEDdeg$)، المرتبطة بمقياس موزون عام.

غالبًا ما تكون $gEDdeg$أكثر سهولة في الحساب (لأن الرباعي المرتبط بها يتقاطع مع المتنوع بشكل مستعرض)، بينما غالبًا ما يكون تحديد$uEDdeg$ أكثر صعوبة بسبب التقاطعات غير المستعرضة مع الرباعي المتساوي القياس (isotropic quadric). وفي العديد من التطبيقات التي تشمل الأمثلة، الهندسة، الإحصاء، وعلم البيانات، توجد فجوة كبيرة بين هاتين القيمتين. تُعرف هذه الورقة عيب درجة المسافة الإقليدية (ED degree defect) بأنه الفرق:
$$\text{EDdefect}(X) := gEDdeg(X) - uEDdeg(X)$$
المشكلة المركزية التي تعالجها هي حساب هذا العيب لـ متنوعات إسقاطية مركبة (complex projective varieties) تعسفية، لا سيما تلك التي تكون منفردة (singular). النتائج السابقة، مثل تلك الواردة في [15]، كانت مقتصرة على الحالة الملساء (smooth setting). وبما أن العديد من النماذج في التطبيقات هي نماذج منفردة، فإن تعميم الصيغ الطوبولوجية للعيب إلى الحالة المنفردة أمر ضروري.

المنهجية
يعمل المؤلفون على توسيع إطار عمل حزم الأسطح الرباعية (pencils of quadric hypersurfaces) والدورات المتلاشية (vanishing cycles) ليشمل المتنوعات المنفردة. تعتمد المنهجية على البناءات التالية:

1. حزمة الرباعيات (Pencil of Quadrics): بالنسبة لمتنوع $X \subset \mathbb{P}^n$ ووزن $w$ عام، ينظر المؤلفون في حزمة من الرباعيات $Q_\lambda$ التي تتدخل (interpolates) بين الرباعي المتساوي القياس $Q$ (المرتبط بالمقياس الموحد) والرباعي الموزون $Q_w$ (المرتبط بالمقياس العام). يؤدي هذا إلى حزمة من الأسطح الرباعية $X_\lambda = X \cap Q_\lambda$ على $X$.
2. متنوع الحدوث والدالة (Incidence Variety and Function): يعرّفون متنوع حدوث $\tilde{X}$ ودالة منتظمة $f = f_0/f_\infty$ على $X \setminus X_\infty$، حيث تُعرّف $f_0$ و $f_\infty$ الرباعيات $Q$ و $Q_w$ على التوالي.
3. الدورات المتلاشية (Vanishing Cycles): يعتمد جوهر النهج على استخدام مؤثر الدورات المتلاشية $\phi_f$ المطبق على الدالة المنشئة (constructible function) لـ "الاعتراض الأويلري المحلي" (local Euler obstruction)، $Eu_X$. يلتقط هذا المؤثر التغير الطوبولوجي في ألياف $f$ بالقرب من الموضع المنفرد للحزمة.
4. التصفيح (Stratification): للتعامل مع التفرّدات، يستخدم المؤلفون تصفيحات ويتني (Whitney stratifications). ويحللون سلوك الدالة المنشئة $\phi_f(Eu_{X \setminus Q_w})$ المقيدة على الموضع المنفرد للدالة $f$ (والذي يمثل تقاطع $X$ مع الرباعي المتساوي القياس).
5. توسيع القاعدة (Basis Expansion): يتم التعبير عن العيب كتركيبة خطية لدرجات المسافة الإقليدية العامة للطبقات (strata) في الموضع المنفرد، موزونة بمعاملات مشتقة من طوبولوجيا الروابط المعقدة (complex links) بين الطبقات.

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

• الصيغة الطوبولوجية للعيب (Theorem 1.6): تقدم الورقة تعزيزًا منشئًا وصيغة طوبولوجية لعيب درجة المسافة الإقليدية لأي متنوع إسقاطي مركب $X$. يُعطى العيب من خلال الخاصية الإقليدية (Euler characteristic) للدورة المتلاشية لدالة الاعتراض الأويلري المحلي، المقيدة على تقاطع المتنوع مع الرباعي المتساوي القياس (ناقص المستوى الفائق $H$):
  $$\text{EDdefect}(X) = (-1)^{\dim(X)-1} \chi \left( (\phi_f(Eu_{X \setminus Q_w}))|_{X_0 \setminus (Q_w \cup H)} \right)$$
  وهذا يعمم النتائج السابقة في [15] التي كانت مقتصرة على المتنوعات الملساء.

• الصيغة الطبقية (Theorem 1.7): بالنسبة للمتنوعات ذات التفرّدات، يشتق المؤلفون صيغة تعبر عن العيب كمجموع لدرجات المسافة الإقليدية العامة للطبقات في الموضع المنفرد $Z = X_0 \cap \text{Sing}(f)$. العيب هو مجموع موزون لدرجات المسافة الإقليدية العامة للطبقات:
  $$\text{EDdefect}(X) = \sum_{V \in \mathcal{X}_0} (-1)^{\text{codim}_{\mathcal{X}_0}(V)} \alpha_V \cdot gEDdeg(V)$$
  تتحدد المعاملات $\alpha_V$ من خلال قيم الدالة المنشئة $\mu$ وطوبولوجيا الروابط المعقدة بين الطبقات.

• التفرّدات المعزولة (Corollary 1.8): في حالة وجود تفرّدات معزولة، تتبسط الصيغة لتصبح مجموعًا يتضمن قيم الدالة المنشئة عند النقاط المنفردة، مما يربط العيب مباشرة ببيانات ليف ميلنر (Milnor fiber data).

• الأمثلة الحسابية: تتحقق الورقة من هذه النتائج النظرية من خلال أمثلة ملموسة:

  • المثال 3.1 و 3.2: حسابات لأسطح منفردة محددة في $\mathbb{P}^3$ ذات تفرّدات معزولة، وتفرّدات "مظلة ويتني" (Whitney umbrella) على التوالي. تم التحقق من النتائج ($EDdefect = 1$ في كلتا الحالتين) مقابل الحسابات الرمزية للدرجات الكاملة للمسافة الإقليدية.
  • المصفوفات ذات الرتب المنخفضة المهيكلة (القسم 4.1): يطبق المؤلفون إطار عملهم على المصفوفات ذات الرتب المقيدة مع أنماط التشتت (مثل $X_{3,3,2} \cap V(x_0)$). ويذكرون قيم عيب محددة (مثل 28) ويسلطون الضوء على التحديات الحسابية في تحديد الاعتراض الأويلري المحلي على المواضع المنفردة لهذه التقاطعات.
  • الأسطح التوريك (القسم 4.2): تعرض الورقة جدولاً للعيوب المحسوبة للأسطح ثنائية الحدود (binomial hypersurfaces) وتقاطعاتها مع الكرة، مشيرة إلى أنه بينما يكون العيب للسطح ثنائي الحدود نفسه صفرًا، فإن التقاطع مع الكرة يُدخل عيوبًا غير تافهة.

الأهمية والادعاءات
تدعي الورقة أنها تسد فجوة حرجة في الأدبيات من خلال تقديم أول صيغ طوبولوجية لعيب درجة المسافة الإقليدية القابلة للتطبيق على المتنوعات الإسقاطية المنفردة. ويذكر المؤلفون أن نهجهم يوفر طريقة جديدة لحساب درجات المسافة الإقليدية بشكل عام، مستفيدين من حقيقة أن الدرجة العامة ($gEDdeg$) عادة ما تكون أكثر قابلية للحساب من الدرجة الموحدة ($uEDdeg$).

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

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