Equivalence of intrinsic and extrinsic area bounds for minimal surfaces

ملخص تقني: تكافؤ حدود المساحة الجوهرية والخارجية للأسطح الدنيا

بيان المشكلة
تتناول الورقة فجوة جوهرية في نظرية المتعددات الصغرى (submanifolds) الدنيا فيما يتعلق بالعلاقة بين الحدود الهندسية الجوهرية والخارجية. وتحديداً، تبحث فيما إذا كان المتعدد الأصغر المغمور بسلاسة $\Sigma^d \hookrightarrow \mathbb{R}^N$، والمتصل والكامل، والذي يمتلك كثافة مساحة جوهرية محدودة (نمو الحجم بالنسبة للكرات الجيوديسية الجوهرية)، يستلزم بالضرورة كثافة مساحة خارجية محدودة (نمو الحجم بالنسبة للكرات الإقليدية في الفضاء المحيط).

بينما تُعد المتباينة $M^{int}_R \leq M^{ext}_R$ بديهية نظراً لأن المسافة الجوهرية هي دائماً أكبر من أو تساوي المسافة الإقليدية، إلا أن الاتجاه العكسي ظل عائقاً كبيراً. وقد أعاق هذا النقص في التكافؤ تطوير نظرية تماسك (compactness theory) عامة للغمر الأدنى (minimal immersions) ذات حدود المساحة الجوهرية، على النقيال مع النظرية الراسخة للمساحة المحدودة خارجياً (stationary integral varifolds). وتظهر هذه الفجوة بوضوح في سياق "حدس بيرنشتاين المستقر" (Stable Bernstein Conjecture) وتقديرات الانحناء للأسطح الهيدروغرافية الدنيا المستقرة، حيث ظل وضع $n=6$ للحدود الجوية مفتوحاً منذ العمل الرائد لـ Schoen و Simon و Yau [SSY75].

المنهجية
يستخدم المؤلف، إينريك فلوريت-سايمون (Enric Florit-Simon)، مزيجاً من صيغ الرتابة (monotonicity formulas) والتحليل الهندسي التقاربي لإثبات هذا التكافؤ.

1. صيغة الرتابة الجوهرية: الأداة التقنية الأساسية هي صيغة رتابة لكثافة المساحة الجوهرية $M^{int}_R(\Sigma)$. وبدافع من الحسابات في [Yau75] والملاحظة في [Cho21]، يشتق المؤلف متطابقة (التمهيدية 2.1) تُظهر أن الفرق في كثافة المساحة الجوهرية بين نصف قطرين يتم التحكم فيه من خلال تكامل يتضمن الفرق بين المسافة الجوهرية $r_\Sigma(x)$ والمسافة الإقليدية $|x|$، بالإضافة إلى متجه متوسط الانحناء. وبالنسبة للأسطح الدنيا (حيث $H_\Sigma \equiv 0$)، فإن هذا يعني أن $M^{int}_R$ دالة رتيبة غير متناقصة.
2. تضييق الكثافة وتقديرات الوتر-القوس (Chord-Arc Estimates): تستخدم البرهنة حجة "تضييق الكثافة" (التمهيدية 2.3). وهي توضح أنه إذا لم تنمو كثافة المساحة الجوهرية بشكل كبير بين المقاييس (أي أن $M^{int}_{8R} - M^{int}_R$ صغير)، فإن المقاييس الجوهرية والخارجية تكون متقاربة تقاربياً (تقدير وتر-قوس: $|x| \leq r_\Sigma(x) \leq (1+\epsilon)|x|$) في المناطق الحلقية.
3. التكافؤ التقاربي: من خلال الجمع بين رتابة الكثافة الجوهرية وتقدير الوتر-القوس، يثبت المؤلف أنه إذا كانت الكثافة الجوهرية محدودة، فإن الغمر يجب أن يكون صحيحاً (proper)، ويجب أن تشترك الكثافة الخارجية في نفس الحد التقاربي.
4. تحليل الانفجار (Blow-up Analysis): لتطبيق تقديرات الانحناء (النظرية 1.4)، تستخدم الورقة حجة قياس (scaling) قياسية (blow-up). بافتراض فشل حد الانحناء، يتم إنشاء تسلسل من عمليات الغمر المعاد قياسها. وتضمن حدود المساحة الجوهرية الموحدة وصيغة الرتابة وجود سطح هيدروغرافي أدنى تقاربي.

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

• النظرية 1.1 (تكافؤ حدود المساحة): تثبت النتيجة الأساسية أنه لأي متعدد أصغر $\Sigma^d \hookrightarrow \mathbb{R}^N$ متصل، كامل، ومغمور بسلاسة، فإن حدود كثافة المساحة الجوهرية والخارجية عندما $R \to \infty$ موجودة ومتساوية:
  $$\lim_{R\to\infty} M^{int}_R(\Sigma, p) = \lim_{R\to\infty} M^{ext}_R(\Sigma, p) \in [\omega_d, \infty]$$
  وبناءً على ذلك، يمتلك $\Sigma$ كثافة مساحة جوهرية محدودة إذا وفقط إذا كان يمتلك كثافة مساحة خارجية محدودة. وفي الحالة المحدودة، يُظهر أيضاً أن الغمر هو غمر صحيح (proper).

• النظرية 1.3 (حل فجوة $n=6$): من خلال الجمع بين النظرية 1.1 والاختراق الأخير لـ Bellettini [Bel25] (الذي أزال شرط الاندماج/الاستيعاب (embeddedness) لـ $n=6$ تحت الحدود الخارجية)، تحل الورقة الفجوة البعدية للأسطح الهيدروغرافية الدنيا المستقرة. فهي تثبت أن السطح الهيدروغرافي الأدنى المستقر، المتصل، الكامل، والمغمور بسلاسة، وذو جانبين $\Sigma^6 \hookrightarrow \mathbb{R}^7$ مع كثافة مساحة جوهرية محدودة، يجب أن يكون مستوياً (flat hyperplane).

• النظرية 1.4 (تقديرات الانحناء المحلية): تضع الورقة تقديرات انحناء محلية للأسطح الهيدروغرافية الدنيا المستقرة في البعد $n=6$ مع كثافة مساحة جوهرية محدودة. وتحديداً، إذا كان $|B^\Sigma_R(p)| \leq \Lambda R^6$، فإن الشكل الثاني (second fundamental form) يحقق $|II_\Sigma| \leq C/R$ في كرة أصغر. وهذا يكمل صورة تقديرات الانحناء التي بدأها Schoen و Simon و Yau [SSY75].

الأهمية والادعاءات
تدعي الورقة حل عقبة طويلة الأمد في تصنيف الأسطح الهيدروغرافية الدنيا المستقرة.

• إغلاق الفجوة البعدية: قبل هذا العمل، كان استواء الأسطح الهيدروغرافية المندمجة المستقرة بالكامل في $\mathbb{R}^7$ معروفاً لـ $n \leq 5$ (عبر [SSY75]) ولـ $n=6$ فقط تحت شروط المساحة الخارجية أو افتراضات الاندماج. تثبت النظرية 1.3 نتيجة $n=6$ في السياق الجوهري، مما يطابق الأمثلة المضادة المعروفة لـ $n \geq 7$ (مخروط سيمونز/Simons' cone).
• نظرية التماسك: يوفر التكافؤ بين الحدود الجوهرية والخارجية مساراً لتطبيق نظرية التماسك القوية للمتعددات التكاملية المستقرة (stationary integral varifolds) (مبرهنة آلارد [All72]) على الغمر الأدنى المعرّف بحدود المساحة الجوهرية، وهي أداة لم تكن متاحة سابقاً لهذا النوع المحدد من الفئات.
• استراتيجية الأبعاد الأعلى: يشير المؤلف إلى أن النظرية 1.3 تصدق على استراتيجية "حدس بيرنشتاين المستقر" في الأبعاد الأعلى: وهي إثبات أن الأسطح الهيدروغرافية الدنيا المستقرة تحقق حدود مساحة جوهرية، مما يقلل تصنيفها إلى حالة المستوى المستوي. وقد نجح هذا النهج بالفعل لـ $n=2, 3, 4, 5$ في أعمال حديثة [CL24, CLMS, Maz24]، والورقة الحالية تزيل العقبة لـ $n=6$.

لا تقترح الورقة تطبيقات تجريبية جديدة أو اتجاهات مستقبلية تتجاوز الآثار الرياضية لحل حالة $n=6$ وتكافؤ كثافات المساحة. بل تصيغ مساهمتها كجسر نظري ضروري يربط القيود الهندسية الجوهرية بالأدوات التحليلية الخارجية.