Canonical Projectivization of Smooth Complete Toric Varieties

ملخص تقني: الإسقاط الكانوني للمتنوعات التوريكية الكاملة والملساء

بيان المشكلة
تتناول الورقة سؤالاً جوهرياً في الهندسة التوريكية: إذا كانت لدينا متنوعة توريكية كاملة وملساء $X_\Sigma$ (مُعرفة بواسطة مروحة (fan) كاملة وملساء $\Sigma$ في شبكة $N \cong \mathbb{Z}^n$)، فهل يمكن بناء متنوعة توريكية مسقطية (projective) وملساء تهيمن عليها عبر مورفيزم (morphism) توريكي متناسب ملائم (proper birational)؟ في حين أن وجود مثل هذه المتنوعة المهيمنة هو أمر كلاسيكي (عبر مبرهنة "توريك تشو" (Toric Chow Lemma) متبوعة بفض الاشتباك عن طريق حل التفردات (resolution of singularities))، إلا أن النهج الكلاسيكي عادة ما يمر عبر متنوعات وسيطة منفردة (singular). التحدي المحدد الذي تعالجه هذه الورقة هو ما إذا كان يمكن تحقيق هذا الإسقاط بالكامل من خلال سلسلة من المتنوعات الوسيطة الملساء، حيث يكون كل مورفيزم عبارة عن "نفخ" (blow-up) عادي على مركز توريكي (torus-invariant center) أملس. يتعلق هذا بمسألة "التفكيك النجمي الأملس" (smooth stellar factorization)، ويميز هذا العمل عن "مبرهنة التفكيك الضعيف" (Weak Factorization Theorem) التي تسمح بكل من عمليات النفخ (blow-ups) والنفخ العكسي (blow-downs).

المنهجية
يقترح المؤلف، بارسا باختاري، خوارزمية موحدة وبنائية تقوم بتنقية المروحة المدخلة $\Sigma$ إلى مروحة مسقطية وملساء $\hat{\Sigma}$ عبر ثلاث مراحل متميزة. البناء كانوني (canonical) بمجرد تحديد أساس شبكي مرتب لـ $N$.

1. بناء مروحة ترتيب الجدران (Wall-Arrangement Fan Construction):
   الخطوة الأولى تبني مروحة مرجعية $\mathcal{A}_\Sigma$، تُسمى "مروحة ترتيب الجدران". لكل مخروط من الرتبة (codimension-one) $\tau \in \Sigma$، يقوم المؤلف بتوسيع المستوي الداعم إلى مستوي مركزي في $N_\mathbb{R}$. ترتيب هذه المستويات يحدد مروحة كاملة $\mathcal{A}_\Sigma$.

• خاصية: $\mathcal{A}_\Sigma$ هي مروحة كاملة ومسقطية، وهي تُعد تنقية (refinement) لـ $\Sigma$. ومع ذلك، فإن $\mathcal{A}_\Sigma$ ليست بالضرورة ملساء أو بسيطة (simplicial).

2. خوارزمية تكييف الإشارات (مرحلة تكييف الجدران):
   الهدف هو تنقية $\Sigma$ لتصبح مروحة $\Gamma(\Sigma)$ "تابعة" لـ $\mathcal{A}_\Sigma$ (أي $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$) مع الحفاظ على السلاسة.

• الآلية: تكرر الخوارزمية عبر قيم "المنوال" (wall normals) $m_i$ التي تُعرف $\mathcal{A}_\Sigma$. بالنسبة لمنوال $m$ معطى، يُعرّف المخروط ثنائي الأبعاد $\langle u, v \rangle$ بأنه "$m$-سيء" (m-bad) إذا كان المولدات يقعان على جانبين متقابلين من المستوي $\ker(m)$ (أي $m(u) \cdot m(v) < 0$).
• العملية: تقوم الخوارزمية بإجراء سلسلة من "التقسيمات النجمية" (star subdivisions) على المخاريط ثنائية الأبعاد السيئة $\langle u, v \rangle$. وتحديداً، للمخروط السيئ $\langle u, v \rangle$، يتم إدراج الشعاع الناتج عن $u+v$.
• الإنهاء: تُستخدم دالة وزن $w_m(\tau) = |m(u)| + |m(v)|$ لإثبات الإنهاء. كل عملية تقسيم تقلل بدقة من الوزن الأقصى للمخاريط السيئة أو تقلل من عددها.
• النتيجة: تنتج هذه المرحلة مروحة ملساء $\Gamma(\Sigma)$ حيث يقع كل مخروط بالكامل داخل غرفة واحدة من ترتيب الجدران (أي أن جميع مولدات الأشعة لأي مخروط تقع في نفس نصف الفضاء المغلق المحدد بواسطة كل منوال جدار). هذا يضمن أن $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$. ومن الأهمية بمكان أن كل خطوة هي عملية نفخ (blow-up) على مركز غير متغير (invariant center) أملس من الرتبة (codimension) الثانية.

3. الغلاف الباريسنتري (مرحلة الإسقاط):
   على الرغم من أن $\Gamma(\Sigma)$ ملساء وتُعد تنقية للمروحة المسقطية $\mathcal{A}_\Sigma$، إلا أنها ليست بالضرورة مسقطية بنفسها.

• العملية: يطبق المؤلف تقسيمًا مشتقًا باريسنترياً (barycentric derived subdivision)، يُرمز له بـ $\text{Bar}(\Gamma(\Sigma))$. يتضمن هذا إدراج أشعة تقابل مراكز الثقل (barycenters) لجميع المخاريط ذات البعد $k \geq 2$، والتي تتم معالجتها بترتيب تنازلي للأبعاد.
• النتيجة: وفقاً للتمهيدية (Lemma) 6.4، إذا كانت المروحة الملساء $\Phi$ تُعد تنقية لمروحة مسقطية $\Delta$، فإن التقسيم الباريسنتري $\text{Bar}(\Phi)$ يكون مسقطياً. هذه الخطوة تفرض المسقطية مع الحفاظ على السلاسة.

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

• مبرهنة 1.1 (الإسقاط التوريكي الكانوني): تثبت الورقة أنه لأي مروحة كاملة وملساء $\Sigma$ في $N_\mathbb{R}$ ($n \geq 2$)، يوجد تسلسل كانوني من عمليات النفخ التوريكية:
  $$X_{\hat{\Sigma}} = X_r \to X_{r-1} \to \dots \to X_0 = X_\Sigma$$
  بحيث أن:

  1. $X_{\hat{\Sigma}}$ ملساء ومسقطية.
  2. كل مورفيزم هو عملية نفخ لمركز غير متغير أملس من الرتبة (codimension) $\geq 2$.
  3. البناء كانوني بالنسبة لأساس شبكي مرتب ثابت.

• الشمولية (Uniformity): الإثبات موحد عبر جميع الأبعاد $n$، متجنباً التحليلات الخاصة بكل بُعد (على عكس بعض المقاربات السابقة للمتنوعات الثلاثية غير المسقطية).

• تخصص البعد الثالث: في البعد الثالث، تكون الكائنات "السيئة" التي يتم حلها بواسطة مرحلة تكييف الجدران هي المنحنيات غير المتغيرة (المقابلة للمخاريط ثنائية الأبعاد)، بينما تقوم المرحلة الباريسنتري بحل المنحنيات غير المتغيرة والنقاط الثابتة تحت تأثير التوروس (3-cones). وهذا يتماشى مع فلسفة "المنحنيات السيئة" الملاحظة في متنوعات مويسيون (Moishezon) الثلاثية غير المسقطية.

• تقديرات الطول (Length Estimates): تقدم الورقة تقديرات لعدد عمليات النفخ المطلوبة. يتفكك الطول الإجمالي إلى تكلفة التكييف (مرتبطة بعدد الأشعة المضافة لتحقيق شروط الجدران) وتكلفة باريسنتري (مرتبطة بعدد المخاريط في المروحة المكيفة). بالنسبة للمتنوعات الثلاثية، تم اشتقاق صيغة محددة: $L_{full} = 6f_1(\Gamma) - f_1(\Sigma) - 10$.

الأهمية والادعاءات
تدعي الورقة تقديم حل بنائي لمشكلة الإسقاط يحافظ على السلاسة طوال العملية بأكملها.

• التباين مع الطرق الكلاسيكية: بخلاف مبرهنة "توريك تشو" الكلاسيكية المتبوعة بفض الاشتباك (والتي قد تُدخل مروحات وسيطة منفردة/singular)، يضمن هذا المنهج أن كل متنوعة وسيطة هي ملساء.
• التباين مع التفكيك الضعيف: بخلاف مبرهنة التفكيك الضعيف (Włodarczyk)، التي تفكك الخرائط البي-راسونية (birational maps) إلى عمليات نفخ ونفخ عكسي، يحقق هذا البناء النتيجة باستخدام عمليات النفخ فقط.
• التباين مع تعديلات $\mathbb{Q}$-factorial: يختلف هذا النهج عن الأطر التي تستخدم الـ flips أو الـ flops أو تعديلات $\mathbb{Q}$-factorial (مثل Fujino–Sato)، والتي غالباً ما تؤدي إلى متنوعات متماثلة في الرتبة (codimension) الأولى بدلاً من متنوعة مهيمنة.
• الكانونية: البناء حتمي بمجرد اختيار أساس شبكي، حيث يحل "المنحنيات الفرعية السيئة" (تلك التي تعبر جدران المسقطية) بترتيب منهجي.

يشير المؤلف إلى أن فرضية السلاسة ضرورية؛ فإذا لم تكن المروحة المدخلة ملساء، فإن مجموع المولدات $u+v$ قد لا يكون أولياً (primitive)، مما يمنع التطبيق المباشر لخوارزمية تكييف الإشارة. يُقدم العمل كبناء مباشر وغير موزون (unweighted) للمروحات الملساء، متميزاً عن النسخ الموزونة من فرضيات التفكيك.