A Derived Legendrian Category for Shifted Contact Stacks

ملخص تقني: فئة ليجاندرين مشتقة لمجموعات التماس المزيّنة (Shifted Contact Stacks)

بيان المشكلة
في الهندسة الجبرية المشتقة، يتم صياغة العلاقات الهندسية بين فضاءات المودولي (moduli spaces) المشتقة عادةً باستخدام الفئة $(\infty, 2)$-الرتبة للمجموعات التماثلية (stacks) ذات البنية السيمبليكتية المزينة (يُرمز لها بـ $\text{Lag}_n$ أو $\text{Symp}_n$)، حيث تكون المورفزمات عبارة عن مراسلات لاغرانج (Lagrangian correspondences). ومع ذلك، فإن بعض مسائل المودولي — مثل تلك المتعلقة بأفعال فروبينيوس على الأنظمة المحلية $\ell$-adic، وحزم هيجز الإسقاطية، وLie 2-groups — لا تنتج حصيلة (quotients) سيمبليكتية مزينة، بل تمتلك هذه الحصيلة هياكل تكون "ثابتة حتى سمة معينة" (fixed up to a character)، مما أدى بالمرجعين إلى تسميتها هياكل التماس المزينة (shifted contact structures).

إن الإطار الحالي للمراسلات اللاغرانج غير كافٍ لهذه الإعدادات "فردية الأبعاد" الخاصة بالتماس. تعالج الورقة الحاجة إلى أساس فئوي مقابل حيث تُستبدل مراسلات لاغرانج بـ مراسلات ليجاندرين (Legendrian correspondences)، وحيث تحترم عملية تركيب المورفزمات الطبيعة المتكافية (equivariant) المحددة لهندسة التماس.

المنهجية
يبني المؤلفون فئة ليجاندرين المشتقة $\mathcal{F}_c(X)$ لمجموعة تماس (contact stack) مشتقة $n$-مزينة $X$ من خلال الاستفادة من العلاقة بين هندسة التماس والهندسة السيمبليكتية عبر التزيين السيمبليكتي المشتق (derived symplectification).

1. التزيين السيمبليكتي المشتق: يتم ترميز بنية التماس $n$-مزينة على مجموعة (stack) $X$ كبنية سيمبليكتية $n$-مزينة متكافية مع وزن 1 تحت فعل $\mathbb{G}_m$ على حزمة رئيسية $\mathbb{G}_m$ (المزينة سيمبليكياً $\tilde{X}$). يعتمد هذا على النتيجة التي تنص على أن $X \simeq [\tilde{X}/\mathbb{G}_m]$.
2. مورفزمات ليجاندرين: تُعرَّف الكائنات في الفئة الجديدة كمورفزمات ليجاندرين $f: L \to X$. وتتميز برفعاتها $\tilde{f}: \tilde{L} \to \tilde{X}$ كونها مورفزمات لاغرانج في التزيين السيمبليكتي $\tilde{X}$، ومتكافية مع الفعل $\mathbb{G}_m$.
3. فضاءات المورفزمات عبر الهبوط (Descent): يتم بناء فضاءات المورفزمات $\text{Hom}_{\mathcal{F}_c(X)}(L_1, L_2)$ عن طريق التقاطع المشتق للرفعات اللاغرانج $\tilde{L}_1$ و $\tilde{L}_2$ داخل $\tilde{X}$. يرث هذا التقاطع بنية سيمبليكتية $(n-1)$-مزينة متكافية مع $\mathbb{G}_m$. ويتم الحصول على فضاء المورفزم الفعلي في فئة التماس عن طريق الهبوط المتكافئ (equivariant descent) — أي أخذ حصيلة الـ stack — لهذا التقاطع، مما ينتج عنه مجموعة تماس $(n-1)$-مزينة.
4. البنية الفئوية العليا: يتم تعريف التركيب والمورفزمات العليا باستخدام الفئة $(\infty, 2)$-الرتبة لسبانات لاغرانج (Lagrangian spans) في التزيين السيمبليكتي $\tilde{X}$. يوضح المؤلفون أن تكافؤ سبانات $\mathbb{G}_m$ يسمح لها بالهبوط إلى قاعدة التماس $X$، مما يحافظ على شروط التماسك المطلوبة لـ $(\infty, 2)$-فئة.
5. بناء AKSZ: يستخدم المؤلفون بناء AKSZ لربط الكوبوردزمات (cobordisms) الطوبولوجية بالسبانات اللاغرانج، والتي تهبط بعد ذلك لتعريف جراحة ليجاندرين المشتقة (derived Legendrian surgery) في فئة التماس.

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

• بناء $\mathcal{F}_c(X)$: تثبت الورقة وجود فئة ليجاندرين مشتقة $\mathcal{F}_c(X)$ محددة جيداً لأي مجموعة تماس مشتقة $n$-مزينة $X$.
  • الكائنات: مورفزمات ليجاندرين $f: L \to X$.
  • المورفزمات من الرتبة الأولى: مجموعات (stacks) مشتقة ناتجة عن هبوط التقاطعات اللاغرانج المتكافية.
  • المورفزمات من الرتبة الثانية والتركيب: مشتقة من الفئة $(\infty, 2)$-الرتبة لسبانات لاغرانج عبر الهبوط المتكافئ.
• الفئة العالمية $\text{Leg}_n$: يرفع المؤلفون مجموعة جميع مجموعات التماس المشتقة $n$-مزينة إلى فئة $(\infty, 2)$-رتبة عالمية، $\text{Leg}_n$، حيث الكائنات هي مجموعات التماس، والمورفزمات من الرتبة الأولى هي مراسلات ليجاندرين، والمورفزمات من الرتبة الثانية هي سبانات ليجاندرين.
• جراحة ليجاندرين المشتقة: باستخدام بناء AKSZ، تُعرف الورقة دالة مونويدية متناظرة $\infty$ (symmetric monoidal $\infty$-functor) $Z_c: \text{Bord}_d \to \text{Leg}_{k-d+1}$. تقوم هذه الدالة بربط الكوبوردزمات الطوبولوجية الموجهة بمراسلات ليجاندرين، مما يحدد جراحة ليجاندرين المشتقة كعملية فئوية.

التطبيقات في نظرية المودولي
توضح الورقة فائدة هذا الإطار من خلال تطبيقه على نماذج محددة من فضاءات المودولي:

1. مواضع التمييز المشتقة (Derived Discriminant Loci): بالنسبة لمخطط سلس $L$، تقوم فئة ليجاندرين المشتقة لفضاء الـ 1-jet المسمى $J^1(L)$ بتشفير موضع التمييز المشتق $\Delta_{\text{loc}}(f)$. ويؤدي التركيب في هذه الفئة إلى خريطة كونفولوشن (convolution) مشتقة، مما يوفر نظيراً هندسياً لتركيب النوى الميكرو-محلية (microlocal kernels).
2. تشويه مخروط النيتر (Nilpotent Cone Deformation): بالنسبة لمجموعة المودولي المشتقة لحزم هيجز الإسقطية $\mathcal{P}\text{Higgs}_G(C)$، فإن مخروط النيتر المسقط $\mathbb{P}N$ هو كائن في $\mathcal{F}_c(\mathcal{P}\text{Higgs}_G(C))$. يمنح التركيب الفئوي حاصل الضرب التقاطعي الهوموتوبي $\mathbb{P}N \times^h_{\mathcal{P}\text{Higgs}_G(C)} \mathbb{P}N$ بنية $A_\infty$-جبر، مما يتحكم في نظرية التشويه غير التبادلية لمخروط النيتر.
3. نظريات المجال الطوبولوجي: يربط دالة البناء (functoriality) بين الكوبوردزمات الطوبولوجية والبنية الجبرية لمجموعات التماس، مما يوفر إطاراً لفهم جراحة ليجاندرين المشتقة.

الأهمية
تزعم الورقة أنها توفر الأساس الفئوي الضروري لدراسة مسائل المودولي التي تنشأ طبيعياً في هندسة التماس بدلاً من الهندسة السيمبليكتية. ومن خلال صياغة هبوط مراسلات لاغرانج من التزيينات السيمبليكتية، يُمكّن المؤلفون من تطبيق الأدوات الفئوية العليا (السبانات، التركيب، الجراحة) على فضاءات المودولي المشتقة "فردية الأبعاد". وهذا يجسّر الفجوة بين الهندسة السيمبليكتية المشتقة والقيود الهندسية المحددة الموجودة في المسائل المتعلقة بالأنظمة المحلية $\ell$-adic وحزم هيجز، مما يسمح بتعريف جبرات التشويه غير التبادلية أو بنيات الكونفولوشن في هذه السياقات.