A counterexample to the bounded mass property

ملخص تقني: مثال مضاد لخاصية الكتلة المحدودة

بيان المشكلة
تتناول الورقة سؤالاً جوهرياً في نظرية القدرة المتعددة (pluripotential theory) على المتشعبات المعقدة المتراصة: مدى صحة خاصية الكتلة المحدودة (bounded mass property). في المتشعب الكاهلري المتراص (compact Kähler manifold)، تكون كتلة مونج-أمبير الإجمالية $\int_X (\omega + dd^c \phi)^n$ ثابتة تحت تأثير الجهد $\phi$ بفضل مبرهنة ستوكس. ومع ذلك، في المتشعبات المعقدة المتراصة العامة المزودة بصيغة هيرميتية $\omega$ (التي ليست بالضرورة مغلقة)، تعتمد هذه الكتلة على $\phi$.

السؤال المركزي، الذي طرحه بوكسوم-غيدج-لو [BGL25]، هو ما إذا كان حجم مونج-أمبير العلوي
$$\text{vol}(\omega) := \sup \left\{ \int_X (\omega + dd^c \phi)^n : \phi \in C^\infty(X, \mathbb{R}), \ \omega + dd^c \phi > 0 \right\}$$
يكون منتهياً لكل متشعب معقد متراص. وبينما ثبت صحة هذه الخاصية للمتشعبات ذات البعد $n \le 2$ وتلك التي تنتمي إلى فئة فوجيكي (Fujiki class)، إلا أن مدى صحتها للمتشعبات العامة، وخاصة متشعبات هوبف (Hopf manifolds) ذات البعد $n \ge 3$، ظل مسألة مفتوحة.

المنهجية والبناء
قام المؤلفون ببناء مثال مضاد على متشعب هوبف الثلاثي $X = (\mathbb{C}^3 \setminus \{0\}) / \langle z \mapsto e^{-1}z \rangle$. تعتمد استراتيجية الإثبات على البنية الهندسية لـ $X$ كتشكيل إهليلجي (elliptic fibration) $\pi: X \to \mathbb{P}^2$ مع ليف (fiber) $E = \mathbb{C}/(\mathbb{Z} + 2\pi i \mathbb{Z})$.

1. الصيغة الخلفية وهوية الكتلة:
   عرف المؤلفون صيغة هيرميتية محددة $\omega = \alpha + \beta$، حيث $\alpha = \pi^* \omega_{FS}$ هو سحب صيغة فوبيني-ستودي، و$\beta$ هي صيغة شبه موجبة من الرتبة الأولى موجبة على طول الليفات. تم اشتقاق هوية حاسمة: $dd^c \beta = -\alpha^2$.
   باستخدام مبرهنة ستوكس والخصائص الكوهومولوجية المحددة لـ $\omega$، أثبتوا هوية كتلة دقيقة (Lemma 2.3):
   $$\int_X (\omega + dd^c V)^3 = \int_X \omega^3 + 12\pi \int_{\mathbb{P}^2} \left( \int_{\pi^{-1}(y)} |V_w|^2 \, dA_E \right) \omega_{FS}^2(y),$$
   حيث $V_w$ يمثل المشتق عبر الليف و $dA_E$ هو مقياس هار المعياري على الليف. تكشف هذه الهوية أن الكتلة الإجمالية تتجاوز حجم القاعدة بمقدار يتناسب مع طاقة ديريكليه عبر الليف (fiberwise Dirichlet energy) للجهد.

2. معيار الموجبية:
   لضمان أن الجهود المبنية $V$ تنتج صيغة هيرميتية صالحة ($\omega + dd^c V > 0$)، قام المؤلفون باختزال شرط الموجبية إلى ثلاث متباينات قياسية تتضمن المشتقات بالنسبة لإحداثي القاعدة الشعاعي $x$ وإحداثي الليف $w$. الشرط الأكثر تقييداً هو:
   $$Q[V] := V_{xx} + \mu - \frac{|\mu + V_x \bar{w}|^2}{1 + V_w \bar{w}} > 0,$$
   حيث $\mu$ دالة في إحداثي القاعدة.

3. بناء الجهد عبر نواة الحرارة:
   يتمثل جوهر البناء في إنشاء جهود ذات طاقة عالية جداً عبر الليف مع الحفاظ على شرط الموجبية $Q[V] > 0$.

• جهود نواة الحرارة: استخدم المؤلفون نواة الحرارة $k_t$ على الليف الإهليلجي $E$. عرّفوا جهداً $F_\eta(t, w)$ مرتبطاً بتكامل نواة الحرارة، والذي يمتلك طاقة عبر الليف تتناسب مع $2\eta^2 \log(1/t)$.
• التمديد العالمي ودوال القطع: الصعوبة الرئيسية تكمن في تمديد هذه الجهود المحلية إلى المتشعب المتراص. يجب أن يكون الجهد ثابتاً لإحداثيات القاعدة الكبيرة لضمان النعومة. بنى المؤلفون جهداً عالمياً $V_\eta(x, w)$ عن طريق ربط معامل زمن نواة الحرارة $t$ بإحداثي القاعدة $x$ عبر دالة ملف تعريف (profile function) محددة $q(x)$.
• التحكم في الحدود المتقاطعة: الحد $|\mu + V_x \bar{w}|^2$ يمثل تأثير "النقل" (transport effect) الذي قد ينتهك الموجبية. أثبت المؤلفون أنه من خلال اختيار سرعة النقل (التي يحددها مشتق $q(x)$) بعناية، فإن المساهمة السالبة لهذا الحد المتقاطع يتم السيطرة عليها بواسطة الحدود الموجبة أو تكون ضئيلة أسياً. يعتمد هذا على تقديرات دقيقة لنواة الحرارة ومشتقاتها (Lemmas 3.2 و 3.3).
• حد التصحيح: تمت إضافة حد تصحيح نهائي يعتمد فقط على $x$ لفرض $Q[V] > 0$ بشكل صارم في كل مكان دون تغيير الطاقة عبر الليف على كرة قاعدة ثابتة.

النتائج الرئيسية
أثبتت الورقة المبرهنة 1.1: في متشعب هوبف الثلاثي $X$، توجد صيغة هيرميتية سلسة $\omega$ ومتتالية من الدوال السلسة $\phi_j$ بحيث $\omega + dd^c \phi_j > 0$ و
$$\int_X (\omega + dd^c \phi_j)^3 \to +\infty \quad \text{عندما} \quad j \to \infty.$$
وبالتالي، $\text{vol}(\omega) = +\infty$، مما يثبت أن متشعب هوبف الثلاثي لا يمتلك خاصية الكتلة المحدودة.

الأهمية والادعاءات
تدعي الورقة أنها تجيب على سؤال محدد طرحه بوكسوم-غيدج-لو [BGL25] بخصوص خاصية الكتلة المحدودة لمتشعبات هوبف ذات البعد ثلاثة فأكثر.

• دحض الشمولية: تدحض النتيجة الفرضية القائلة بأن خاصية الكتلة المحدودة تنطبق على كل متشعب معقد متراص. فهي تثبت أن هذه الخاصية تفشل بالفعل في البعد المعقد الثالث.
• الأثر النظري: إن نهائية حجم مونج-أمبير هي فرضية قائمة في التطورات الأخيرة لنظرية القدرة المتعددة الهيرميتية (على سبيل المثال، [ALS25; Li26]) وفي نظرية أحجام فئات بوت-شيرن (Bott–Chern class volumes) [BGL25]. يشير هذا المثال المضاد إلى أن هذه النظريات لا يمكن توسيعها عالمياً لتشمل جميع المتشعبات المعقدة المتراصة دون قيود هندسية إضافية.
• المساهمة المنهجية: يوفر العمل آلية ملموسة لتوليد كتلة غير محدودة عبر طاقة ديريكليه عبر الليف، مستفيداً من الطبيعة غير المغلقة لصيغ هيرميتيا على متشعبات هوبف.

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