Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry

ملخص تقني: الفئات الملساء في صياغة الدوال الست والإنشاء المتراص للفئات النووية في الهندسة التحليلية

بيان المشكلة
يتناول البحث تعارضاً جوهرياً بين التعريفات الفئوية القياسية للنعومة والتمام (properness) في الهندسة الجبرية غير التبادلية وفي السياق التحليلي. في السياق الجبري، يكون المتنوع $X$ أملساً إذا وفقط إذا كانت الفئة المرتبطة به من المركبات المثالية، $\text{Perf}(X)$، هي فئة $\infty$ ملساء (تُعرف عبر قابلية الثنائية لثنائي القطر). ومع ذلك، في الهندسة التحليلية الصلبة (rigid analytic geometry)، يفشل ضرب التنسور القياسي للفئات المستقرة الممتدة $\infty$-categories في تحقيق صيغة كونه (Künneth formula) لجبر تيت (Tate algebras) (على سبيل المثال: $\text{Perf}(k\langle t \rangle) \otimes_k \text{Perf}(k\langle u \rangle) \neq \text{Perf}(k\langle t, u \rangle)$). وبناءً على ذلك، فإن المفهوم الفئوي للنعومة هو مفهوم جبري بطبيعته ولا يصلح للهندسة التحليلية. يؤدي هذا الفشل إلى انفصال حيث قد يكون المتنوع التحليلي الصلب $X$ أملساً هندسياً، ومع ذلك تفشل $\text{Perf}(X)$ في كونها ملساء فئوياً ما لم يكن $X$ جبرياً (أي ينشأ من مخطط جبري).

المنهجية
لحل هذه المعضلة، يستخدم المؤلف إطار الرياضيات المكثفة (condensed mathematics) والأشكال التحليلية (analytic stacks) التي طورها كلاوزن وشولزي. وتتقدم المنهجية عبر عدة خطوات رئيسية:

1. الهندسة التحليلية الصلبة المشتقة: يستخدم البحث نظرية الجبرات الأفينية المتحركة (animated affinoid algebras) والفضاءات التحليلية الصلبة المشتقة (تبعاً لميكايليان وبورتا-يو). يتم بناء هذه الفضاءات عبر لصق الجبرات الأفينية المتحركة على طول التمركزات العقلانية.
2. الفئات النووية: بدلاً من العمل مع $\text{Perf}(X)$، يركز المؤلف على فئة $\infty$ من الأشعة النووية، ويُرمز لها بـ $\text{Nuc}(X)$. الفئات النووية، التي أُدخلت في الرياضيات المكثفة، هي فئات صلبة وتقبل ضرب تنسور "مكتمل" يحقق صيغة كونه لجبرات الأنواع الصلبة.
3. صياغة الدوال الست: تم إنشاء صياغة قوية للدوال الست للفئات النووية فوق الفضاءات التحليلية الصلبة المشتقة. تتضمن هذه الصياغة دوال السحب ($f^*$)، والدفع ($f_*$)، ودالة الشرح السفلي ($f_!$)، حيث تُحدد $f_!$ بأنها $f_*$ للخرائط شبه المتراصة وشبه المنفصلة.
4. النعومة النسبية: يُعرف البحث الفئات الملساء داخلياً بالنسبة لفئة رمزية متناظرة $\mathcal{V}$ (تحديداً $\text{Nuc}(k)$). تكون الفئة $\mathcal{C}$ ملساء داخلياً إذا كان تطبيق التقييم المشترك يقبل لاحقاً أيمن $\mathcal{V}$-خطي يحفظ التجميعات (colimits).
5. الإنشاء الذري: تدرس الدراسة وجود مولد واحد متراص (أو "ذري") لهذه الفئات، وتربط هذه الخاصية بجبرية المتنوع الأساسي.

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

• التكافؤ بين النعومة الهندسية والفئوية: النتيجة الأساسية (المبرهنة 1.4 / المبرهنة 5.1) تثبت أنه بالنسبة لمتنوع تحليلي صلب كلاسيكي $X$ فوق حقل غير أرخميدي $k$، يكون $X$ أملساً هندسياً إذا وفقط إذا كانت الفئة $\infty$ من $\text{Nuc}(X)$ ملساء داخلياً فوق $\text{Nuc}(k)$. ويتحقق ذلك بإثبات أن خريطة القطر $\Delta^* \mathcal{O}_X$ هي مركب مثالي (عنصر متراص) في $\text{Nuc}(X \hat{\times} X)$ إذا وفقط إذا كان $X$ أملساً.
• مبرهنة GAGA للفئات النووية: يثبت البحث مبرهنة من نوع GAGA (النتيجة 5.7) تربط الفئة النووية لـ $X^{\text{an}}$ بالتحليل الجبري: $\text{Nuc}(X^{\text{an}}) \simeq \text{QCoh}(X) \otimes_{\text{Mod}_k} \text{Nuc}(k)$.
• معايير الجبرية: توفر المبرهنة 1.8 (المبرهنة 5.9) معياراً فئوياً بحتاً للجبرية. المتنوع التحليلي الصلب، الأملس، التام، وشبه المنفصل $X$ يكون جبرياً إذا وفقط إذا كانت $\text{Nuc}(X)$ تمتلك مولداً واحداً ذرياً (أو متراصاً) بالنسبة لـ $\text{Nuc}(k)$.
• مثال مضاد للتخمين 1.7: يبني البحث مثالاً مضاداً للتخمين الذي ينص على أن كل فئة $\infty$ ملساء ومولدة ذرياً و$\mathcal{V}$-خطية تمتلك مولداً ذرياً واحداً (التخمين 1.7). من خلال النظر في سطح هوبف (Hopf surface) غير جبري أملس وتام، يوضح المؤلف أن $\text{Nuc}(X)$ ملساء داخلياً ولكنها تفتقر إلى مولد متراص واحد. وهذا يوضح أن خاصية لصق المولدات المحلية المتراصة لتكوين مولد عالمي، والتي تصح في الهندسة الجبرية، تفشل في الطوبولوجيا التحليلية.

الأهمية
يدعي البحث أهميته في ثلاثة مجالات رئيسية:

1. الهندسة التحليلية غير التبادلية: نجح في نقل الآليات القوية للنعومة الفئوية إلى الهندسة التحليلية الصلبة عبر استبدال ضرب التنسور القياسي بضرب التنسور النووي. يسمح هذا بتوصيف غير تبادلي دقيق للنعومة الهندسية كان معطلاً سابقاً بسبب فشل صيغة كونه في السياق الكلاسيكي.
2. معايير الجبرية: يوفر طريقة فئوية جديدة للكشف عما إذا كان المتنوع التحليلي الصلب جبرياً، حيث يربط وجود مولد متراص عالمي في الفئة النووية بخاصية الجبرية الهندسية.
3. التمييزات التأسيسية: تسلط النتائج الضوء على اختلاف بنيوي جوهري بين الطوبولوجيا الجبرية والتحليلية. وتحديداً، فإن فشل "لصق المولدات المحلية المتراصة" في السياق التحليلي يعمل كمثال مضاد لتعميم النتائج الجبرية (مثل التخمين 1.7) إلى قواعد صلبة تعسفية، مما يثبت أن سلوك الفئات النووية يختلف عن سلوك الوحدات فوق الحلقات في السياق الجبري.

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