On the tangent degree and the degree of the tangent variety of a projective variety

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

بيان المشكلة
يبحث البحث في متغيرين أساسيين مرتبطين بالمتنوعة الإسقاطية $X^n \subset \mathbb{P}^N$: درجة المماس $\tau(X)$ ودرجة المتنوعة المماسية $\deg(\text{Tan}(X))$.

• تُعرَّف درجة المماس $\tau(X)$ بأنها عدد الفضاءات المماسية لـ $X$ عند النقاط الملساء التي تمر عبر نقطة عامة من المتنوعة المماسية $\text{Tan}(X)$. إذا كان $\dim(\text{Tan}(X)) < 2n$، فإن $\tau(X)$ تساوي صفراً.
• تركز الدراسة على العلاقة بين هذين المتغيرين، لا سيما في الحالات التي يكون فيها $N \ge 2n$ وحيث لا تتطابق المتنوعة المماسية مع المتنوعة القاطع $\text{Tan}(X) \subsetneq \text{Sec}(X)$.
• الدافع المركزي هو تعميم الحقائق الأولية المتعلقة بالمنحنيات المستوية (حيث $\tau(X) \ge 2$ لـ $\deg(X) \ge 2$) إلى أبعاد أعلى، وتحديداً معالجة عدم وجود متنوعات تحقق $\tau(X)=1$ في حالة $N=2n$، وتصنيف المتنوعات التي تحقق $\tau(X)=2$.

المنهجية
يستخدم المؤلفون توليفة من الهندسة الإسقاطية الكلاسيكية، والهندسة التفاضلية، وتقنيات الهندسة الجبرية الحديثة:

1. المواضع البؤرية والعائلات القابلة للتطوير: يستخدم البحث نظرية البؤر للعائلات من الفضاءات الخطية. ويحلل التفاضل للمورفيزم التلقائي $q: TX \to \text{Tan}(X)$ لتحديد النقاط البؤرية. ويعد مفهوم المتنوعات "القابلة للتطوير" (حيث يكون المماس ثابتاً على طول بعض المتنوعات الفرعية) مركزياً في تحليل التفردات وحسابات الأبعاد.
2. الشكل الأساسي الثاني: يستخدم المؤلفون بشكل مكثف الشكل الأساسي الثاني $|II_{x,X}|$ للمتنوعة عند نقطة عامة $x$. ويربطون بين نواة تفاضل خريطة غاوس وبين القاعدة الأساسية للشكل الأساسي الثاني ووجود الاتجاهات التقاربية.
3. خرائط سكورزا ومواضع الدخول: بالنسبة للمتنوعات في $\mathbb{P}^{2n}$، تُستخدم خريطة سكورزا لإثبات التباين العقلاني بين المتنوعة وفضاء مماسها العام عندما تكون $\tau(X)=2$. كما يتم استغلال خصائص مواضع الدخول (تحديداً متنوعات QEL ذات مواضع دخول تربيعية) لتصنيف المتنوعات الملساء التي تحقق $\tau(X)=2$.
4. الاستقراء والإسقاط: لتحديد الحدود الدنيا لـ $\deg(\text{Tan}(X))$ عندما يكون $\text{Tan}(X) \subsetneq \text{Sec}(X)$، يستخدم المؤلفون الاستقراء على الكوديمينشن (الرتبة المتممة)، من خلال تحليل سلوك الدرجات تحت عمليات الإسقاط العشوائي من نقاط على المتنوعة.
5. التصنيف عبر الأنظمة الخطية: يتضمن تصنيف الأسطح ذات $\tau(X) \ge 2$ تحليل عيب غاوس $\varrho(X)$ وبنية موضع التفرد للمتنوعة المماسية، مما يؤدي إلى تحديد هياكل الـ scroll (المتنوعات الحلزونية) المحددة (متنوعات روث).

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

1. درجة المماس في $\mathbb{P}^{2n}$

• عدم وجود $\tau(X)=1$: يثبت البحث أنه بالنسبة لمتنوعة غير متصلة $X^n \subset \mathbb{P}^{2n}$، فإن $\tau(X) \neq 1$. وإذا كان $\text{Tan}(X) = \mathbb{P}^{2n}$، فإن $\tau(X) \ge 2$.
• تصنيف $\tau(X)=2$:
  • إذا كانت $X^n \subset \mathbb{P}^{2n}$ ملساء و$\tau(X)=2$، فإن $X$ هي متنوعة QEL من النوع $\delta=1$.
  • البعد الزوجي: المتنوعات الوحيدة ذات البعد الزوجي الملساء التي تحقق $\tau(X)=2$ هي المتنوعات الحلزونية العادية العقلانية (rational normal scrolls) $S(1, \dots, 1, 2) \subset \mathbb{P}^{4m}$.
  • البعد الفردي: المتنوعات الملساء ذات البعد الفردي التي تحقق $\tau(X)=2$ هي إما متنوعات حلزونية عادية عقلانية أو فضاءات فانو (Fano manifolds) محددة ذات أبعاد فردية (مثل fano threefolds وMukai fivefolds).
  • الحالات المتفردة: يبني المؤلفون أمثلة متفردة ذات أبعاد ودرجات كبيرة جداً تحقق $\tau(X)=2$، بما في ذلك إسقاطات متنوعات OADP (متنوعات ذات نقطة مزدوجة ظاهرة واحدة) ومتنوعات فيرا (Verra varieties).

2. الحدود الدنيا لـ $\deg(\text{Tan}(X))$

• يضع البحث حداً أدنى خطياً لدرجة المتنوعة المماسية عندما يكون $\text{Tan}(X) \subsetneq \text{Sec}(X)$.
• مبرهنة: إذا كانت $X^n \subset \mathbb{P}^N$ غير متدهورة (non-degenerate) و$\text{Tan}(X) \subsetneq \text{Sec}(X)$، فإن:
  $$\deg(\text{Tan}(X)) \ge 2(N - \dim(\text{Tan}(X)) + 1)$$
• يُظهر البحث أن هذا الحد حاد (sharp). ويتحقق التساوي بواسطة المتنوعات الحلزونية العادية العقلانية الملساء وبعض المتنوعات المتفردة المبنية كأهرامات فوقها.
• في المقابل، إذا كان $\text{Tan}(X) = \text{Sec}(X)$، فإن حد الدرجة يكون تربيعياً في الكوديمينشن (بالإشارة إلى [6]).

3. تصنيف الأسطح ذات $\tau(X) \ge 2$

• بالنسبة للأسطح غير المتدهورة وغير المتصلة $X^2 \subset \mathbb{P}^N$ مع $N \ge 5$ و$\tau(X) \ge 2$، يقدم البحث تصنيفاً كاملاً بناءً على عيب غاوس $\varrho(X)$:
  • حالة $\varrho(X)=2$: $N=5$، و$X$ مكافئة إسقاطياً لسطح فيرنيز $\nu_2(\mathbb{P}^2)$. هنا $\tau(X)=2$.
  • حالة $\varrho(X)=3$: $X$ تقع داخل حلزون قابل للتطوير ثلاثي الأبعاد في مستويات $Y^3 \subset \mathbb{P}^N$. المستوي العام للحلزون يتقاطع مع $X$ في منحنى درجته $b \ge 2$.
• الأسطح الملساء ذات الطبيعة الخطية العادية: إذا كانت $X$ ملساء وذات طبيعة خطية عادية (linearly normal)، فإن الاحتمالات الوحيدة هي:
  1. سطح فيرنيز في $\mathbb{P}^5$ ($\tau=2$).
  2. أسطح روث (Roth Surfaces): $X \subset S(L, Z) \subset \mathbb{P}^N$، حيث $S(L, Z)$ هو هرم فوق حلزون عادي عقلاني $Z$ برأس هو الخط $L$. هذه الأسطح لها درجة $d = b(N-2) + 1$ ودرجة مماس $\tau(X) = b^2$ لقيمة صحيحة $b \ge 2$.

الأهمية والادعاءات
يضع المؤلفون هذا العمل كتوحيد للنتائج المشتتة في نظرية البؤر، والمتنوعات القابلة للتطوير، وعيوب القاطع.

• التوحيد: يجمع البحث ويوضح العلاقة بين درجة المماس، والشكل الأساسي الثاني، وهندسة المتنوعة المماسية، مما يوفر إطاراً متماسكاً لدراسة المتنوعات التي لا تكون فيها خريطة المماس تباينية عقلانية.
• التصنيف: يقدم تصنيفاً نهائياً للمتنوعات الملساء ذات $\tau(X)=2$ في $\mathbb{P}^{2n}$ وللأسطح ذات $\tau(X) \ge 2$ في كوديمينشن أعلى.
• التوصيف الهندسي: توفر النتائج توصيفاً هندسياً جديداً لمتنوعات روث (المتنوعات الملساء ذات الطبيعة الخطية العادية حيث لا يكون القاسم المزدوج للإسقاط العام أمبلي/موجباً) تحديداً للأسطح، بربطها بشرط $\tau(X) \ge 2$ و$\text{Tan}(X) \subsetneq \text{Sec}(X)$.
• الحدة: يوضح البحث أن الحد الأدني الخطي المستمد لدرجة المتنوعة المماسية هو حد أمثل، مما يتناقض مع الحد التربيعي للمتنوعات القاطعة.

يقر المؤلفون بأنه بينما النتائج لـ $n=2$ كاملة، فإن وجود متنوّعات QEL ملساء من النوع $\delta=1$ مع $\tau(X)=2$ للأبعاد $n \ge 3$ (تحديداً الأبعاد الفردية $n=2m+1$ مع $m \ge 3$) لا يزال سؤالاً مفتوحاً، مما يشير إلى أن التصنيف في الاستنتاج 15 قد لا يكون شاملاً للأبعاد الأعلى.