DOI: https://doi.org/10.1007/s00029-026-01139-9
تاريخ النشر: 2026-03-23
المؤلف: Linus Hamann
الموضوع الرئيسي: الجبر المتقدم والهندسة
نظرة عامة
في هذا القسم، يقدم المؤلفون تعميماً لمعيار جاكوبي الذي وضعه فارغ و شولز، مصمم خصيصاً لمساحات الأقسام من المخططات التي تكون سلسة وشبه مشروعه على منحنى فارغ-فونتين الجبري. يوضحون كيفية توسيع هذا المعيار ليطبق على مساحات الأقسام من أكوام أرتين السلسة، التي تُشتق من حصة الكومة لمخطط شبه مشروع سلس تحت تأثير مجموعة جبرية خطية.
علاوة على ذلك، يطبق المؤلفون نتائجهم على أكوام المودولي المختلفة التي تنشأ في سياق برنامج لانلاندز الهندسي لفارغ-شولز. يثبتون أن هذه الأكوام المودولية هي أكوام أرتين v سلسة من الناحية التوافقية ويواصلون حساب أبعادها $\ell$، مما يساهم في فهم خصائصها الهندسية والتوافقية.
مقدمة
في المقدمة، يناقش المؤلفون التقدم الذي أحرزه فارغ وشولز في تطوير أدوات هندسية لفهم أكوام المودولي من حزم G على منحنى فارغ-فونتين. تتوج أعمالهم بإطار مقترح لل correspondance لانلاندز المحلية لمجموعة مختزلة متصلة \( G \). مساهمة كبيرة في تحليلهم هي إدخال معيار جاكوبي قابل للتطبيق على بعض الماس المكانية المحلية، مما يعزز الفهم الهندسي للهياكل المعنية.
يحدد المؤلفون مساحة مودولي \( M_Z \) المرتبطة بمخطط شبه مشروع سلس \( Z \) على منحنى فارغ-فونتين الجبري \( X_S \). على وجه التحديد، يتميز \( M_Z \to S \) كوظيفة على فئة المخططات المثالية \( \text{Perf}_S \)، التي تضع معلمات للأقسام \( Z_{X_T} \) على \( X_S \) لأي \( T \in \text{Perf}_S \). يضع هذا الإطار الأساس لاستكشاف المزيد من الخصائص الهندسية والجبرية لحزم G في هذا السياق.
نقاش
في هذا القسم، يناقش المؤلفون خصائص السلاسة لمساحات المودولي، مع التركيز بشكل خاص على مساحة المودولي \( M_Z \) المرتبطة بمخطط \( Z \) على منحنى مشروع سلس \( X_S \). يثبتون أن الفضاء المماس عند نقطة محددة بواسطة قسم \( s: X_F \to Z \) يُعطى بواسطة \( H^0(X_F, s^* T_{Z/X_S}) \)، بينما يتم تمثيل فضاء العائق للتشوهات من الدرجة الأعلى بواسطة \( H^1(X_F, s^* T_{Z/X_S}) \). تعتمد سلاسة \( M_Z \) حول النقطة المحددة بواسطة \( s \) على زوال فضاء العائق، مما يؤدي إلى الاستنتاج بأن بعد \( M_Z \) محلياً يتوافق مع بعد الفضاء المتجه \( H^0(X_F, s^* T_{Z/X_S}) \).
يواصل المؤلفون توضيح تداعيات العمل على منحنى فارغ-فونتين، حيث أن الفضاء \( H^0(X_F, s^* T_{Z/X_S}) \) ليس بالضرورة ذو بعد محدود. يقدمون غلافاً pro-étale يستخرج مساحة ذات بعد محدود من الأقسام العالمية، والتي يمكن تمثيلها بواسطة ماس مكاني محلي يعرف بأنه مساحة باناش-كولميز عندما يكون سحب حزمة المماس له انحدارات هاردر-ناراسيمهان إيجابية. يؤدي هذا إلى تعريف دالة فرعية مفتوحة \( M_{sm}^Z \) التي تضع معلمات للأقسام ذات انحدارات HN إيجابية، مما يضمن سلاسة مساحة المودولي \( M_Z \). يختتم المؤلفون بربط نتائجهم بالسياق الأوسع لبرنامج لانلاندز الهندسي لفارغ-شولز، مؤكدين على أهمية هذه المساحات المودولية في فهم الهياكل الهندسية المعنية.
DOI: https://doi.org/10.1007/s00029-026-01139-9
Publication Date: 2026-03-23
Author(s): Linus Hamann
Primary Topic: Advanced Algebra and Geometry
Overview
In this section, the authors present a generalization of the Jacobian criterion established by Fargues and Scholze, specifically tailored for spaces of sections of schemes that are smooth and quasi-projective over the algebraic Fargues-Fontaine curve. They demonstrate how to extend this criterion to apply to spaces of sections of smooth Artin stacks, which are derived from the stack quotient of a relatively smooth quasi-projective scheme under the action of a linear algebraic group.
Furthermore, the authors apply their findings to various moduli stacks that arise within the context of the Fargues-Scholze geometric Langlands program. They establish that these moduli stacks are cohomologically smooth Artin v-stacks and proceed to compute their $\ell$-dimensions, thereby contributing to the understanding of their geometric and cohomological properties.
Introduction
In the introduction, the authors discuss the advancements made by Fargues and Scholze in developing geometric tools for understanding moduli stacks of G-bundles on the Fargues-Fontaine curve. Their work culminates in a proposed framework for the local Langlands correspondence for a connected reductive group \( G \). A significant contribution to their analysis is the introduction of a Jacobian criterion applicable to certain locally spatial diamonds, which enhances the geometric understanding of the structures involved.
The authors define a moduli space \( M_Z \) associated with a smooth quasi-projective scheme \( Z \) over the algebraic Fargues-Fontaine curve \( X_S \). Specifically, \( M_Z \to S \) is characterized as a functor on the category of perfect schemes \( \text{Perf}_S \), which parametrizes sections \( Z_{X_T} \) over \( X_S \) for any \( T \in \text{Perf}_S \). This framework sets the stage for further exploration of the geometric and algebraic properties of G-bundles in this context.
Discussion
In this section, the authors discuss the smoothness properties of moduli spaces, particularly focusing on the moduli space \( M_Z \) associated with a scheme \( Z \) over a smooth projective curve \( X_S \). They establish that the tangent space at a point defined by a section \( s: X_F \to Z \) is given by \( H^0(X_F, s^* T_{Z/X_S}) \), while the obstruction space for higher-order deformations is represented by \( H^1(X_F, s^* T_{Z/X_S}) \). The smoothness of \( M_Z \) around the point defined by \( s \) is contingent upon the vanishing of the obstruction space, leading to the conclusion that the dimension of \( M_Z \) locally corresponds to the dimension of the vector space \( H^0(X_F, s^* T_{Z/X_S}) \).
The authors further elaborate on the implications of working over the Fargues-Fontaine curve, where the space \( H^0(X_F, s^* T_{Z/X_S}) \) is not necessarily finite-dimensional. They introduce a pro-étale sheaf that extracts a finite-dimensional space from the global sections, which can be represented by a locally spatial diamond known as a Banach-Colmez space when the pullback of the tangent bundle has positive Harder-Narasimhan slopes. This leads to the definition of an open sub-functor \( M_{sm}^Z \) that parameterizes sections with positive HN-slopes, ensuring the smoothness of the moduli space \( M_Z \). The authors conclude by connecting their findings to the broader context of the Fargues-Scholze geometric Langlands program, emphasizing the importance of these moduli spaces in understanding the geometric structures involved.