Polynomial contractions of $\mathbb C^d$ and degree growth

ملخص تقني: الانكماشات متعددة الحدود في $\mathbb{C}^d$ ونمو الدرجة

بيان المشكلة
تتناول هذه الورقة مسألة طرحها فيربيتسكي وأورنيا (Verbitsky and Ornea) تتعلق بسلوك التشاكلات الذاتية متعددة الحدود المنكمشة على الفضاءات المعقدة $\mathbb{C}^d$. وتحديداً، تبحث الورقة فيما إذا كان هناك انكماش متعدد الحدود $\gamma$ (تشكل ذاتي له نقطة ثابتة وحيدة عند الأصل بحيث $\lim_{n\to\infty} \gamma^n(x) = 0$ لكل $x$) حيث ينمو درجة التكرارات $\deg(\gamma^n)$ بشكل غير محدود عندما $n \to \infty$.

تندرج هذه الدراسة ضمن سياق نظريات من نوع GAGA للمتعددات المعقدة المزودة بانكماشات هولومورفية (holomorphic). ثمة توتر مركزي بين الخصائص الجبرية والهولومورفية: فبينما تضمن نظرية بوانكاريه-دولاك (Poincaré–Dulac) أن بعض الانكماشات هي خطية هولومورفياً، ليس من الواضح فوراً ما إذا كانت هذه الانكماشات خطية جبرياً. إن خاصية امتلاك نمو درجة محدود هي ثابت تشكل جبري؛ وبالتالي، إذا كان للخريطة نمو درجة غير محدود، فلا يمكن تشكيلها جبرياً مع خريطة خطية (التي تمتلك درجة ثابتة).

المنهجية والتعريفات
يستخدم المؤلف مزيجاً من نظرية الزمر الجبرية وتحليل النظم الديناميكية:

1. الجبرية الصارمة (Strict Algebraicity): تقدم الورقة مفهوم التشكل الذاتي "الجبري الصارم". يكون التشكل الذاتي $\gamma$ جبرياً صارماً إذا كان ينتمي إلى فعل زمرة جبرية. تثبت المبرهنة 1 أن $\gamma$ يكون جبرياً صارماً إذا وفقط إذا كان نمو درجته محدوداً ($\sup_n \deg \gamma^n < +\infty$).
2. التحليل البعدي ($d=2$): بالنسبة للحالة ثنائية الأبعاد، يعتمد المؤلف على تصنيف التشكلات الذاتية لـ $\mathbb{C}^2$ (ميلنر، فريدلاند) ونتائج الإنتروبيا (سميلي). تسير الحجة عن طريق الاستبعاد:
   • التشكلات الذاتية الأفينية (Affine) والعناصر الأساسية (Elementary) لها نمو درجة ثابت.
   • التشكلات الذاتية اللوكسودرومية (Loxodromic) (وهي تركيبات نهائية لخرائط هينون) تظهر نمواً أسياً في الدرجة ولكنها تمتلك إنتروبيا طوبولوجية موجبة.
   • وبما أن الانكماش يجب أن يكون ذا إنتروبيا طوبولوجية صفرية (لا توجد نقاط دورية سوى الأصل)، فإنه لا يمكن أن يكون لوكسودرومياً.
   • الاستنتاج لـ $d=2$: لا يوجد انكماش متعدد حدود ذو نمو درجة غير محدود.
3. البناء لـ $d \ge 3$: يبني المؤلف تشكلاً ذاتياً محدداً من النوع الأفيني-المثلث (affine-triangular) في $\mathbb{C}^3$ (وبالتبعية في $\mathbb{C}^d$) معرفاً بـ:
   $$\gamma(x, y, z) = (\lambda_1(y + xz), \lambda_2 x, \lambda_3 z)$$
   حيث $0 < \lambda_i < 1/2$.
   • إثبات الانكماش: من خلال تحليل العلاقات التكرارية للتكرارات، يثبت المؤلف أن المتتالية تتقارب إلى الصفر، مما يحقق تعريف الانكماش.
   • حساب نمو الدرجة: من خلال تتبع درجات كثيرات الحدود المكونة $F_n, G_n, H_n$ لـ $\gamma^n$، يستنتج المؤلف العلاقة التكرارية $\deg \gamma_{n+1} = \deg \gamma_n + 1$، مما يؤدي إلى نمو درجة خطي ($\deg \gamma_n = n+1$).

النتائج الرئيسية

1. عدم الوجود في البعد 2: أي تشكل ذاتي منكمش في $\mathbb{C}^2$ له نمو درجة محدود.
2. الوجود في البعد 3 وما فوق: لأي $d \ge 3$، توجد انكماشات متعددة حدود ذات نمو درجة غير محدود (وتحديداً نمو خطي).
3. الخطيّة الهولومورفية مقابل الجبرية:
   • باختيار معاملات $\lambda_i$ لتكون مستقلة جبرياً، تتجنب القيم الذاتية للمفاضل عند الأصل علاقات الرنين.
   • وفقاً لنظرية بوانكاريه-دولاك، فإن هذه الخريطة تكون متشاكلة هولومورفياً مع خريطة خطية عبر تماثل هولومورفي (holomorphic diffeomorphism).
   • ومع ذلك، ولأن نمو الدرجة غير محدود، فإن الخريطة ليست جبرية صارمة وبالتالي ليست متشاكلة جبرياً مع أي خريطة خطية.

الأهمية والادعاءات
تدعي الورقة تقديم مثال مضاد بسيط وصريح يوضح التباعد بين الخطيّة الهولومورفية والجبرية للانكماشات متعددة الحدود في الأبعاد $d \ge 3$.

• الجبرية مقابل الهولومورفية: التشكلات الذاتية المبنية هي خطية هولومورفياً (متشاكلة مع خريطة خطية عبر تماثل هولومورفي) ولكنها ليست خطية جبرياً (ليست متشاكلة مع خريطة خطية عبر تشكل ذاتي متعدد الحدود).
• الإجابة على فيربيتسكي-أورنيا: تجيب الورقة على السؤال المحدد المتعلق بوجود انكماشات متعددة حدود ذات نمو درجة غير محدود بالإيجاب لـ $d \ge 3$ وبالنفي لـ $d=2$.
• النطاق: تُقدم النتائج كإجابة مباشرة على السؤال المطروح، باستخدام أدوات قياسية من نظرية الزمر الجبرية والديناميكا المعقدة دون اقتراح تطبيقات إضافية أو توسعات تجريبية. يشير المؤلف إلى أن البناء يمتد إلى أبعاد أعلى عن طريق توسيع الإحداثيات الإضافية.