Syntomification and crystalline local systems

तकनीकी सारांश: सिंटोमिफिकेशन (Syntomification) और क्रिस्टलाइन स्थानीय निकाय (Crystalline Local Systems)

समस्या और संदर्भ
यह शोध पत्र $p$-adic औपचारिक स्कीम्स (formal schemes) की ज्यामिति और $p$-adic गैलुआ समूहों के निरूपण सिद्धांत (representation theory) के बीच संबंध को संबोधित करता है। विशेष रूप से, यह भट्ट-शोलज़ (Bhatt-Scholze) द्वारा स्थापित प्रिसमैटिक $F$-क्रिस्टल और क्रिस्टलाइन गैलुआ निरूपणों के बीच के साम्य (equivalence) को एक बिंदु (अर्थात, $\text{Spf } \mathcal{O}_K$) से आगे बढ़ाकर चिकनी (smooth) $p$-adic औपचारिक स्कीम्स $X$ के परिवेश में सामान्यीकृत करने का प्रयास करता है। अध्ययन का केंद्रीय विषय $X$ से संबद्ध सिंटोमिक स्टैक (syntomic stack) $X_{\text{Syn}}$ है, जिसे भट्ट और लूरी (Bhatt and Lurie) द्वारा प्रस्तुत किया गया है। यह पत्र एतले (étale) यथार्थकरण फलन (realization functor) $\mathcal{T}_{\text{ét}}: \text{Perf}(X_{\text{Syn}}) \to D^{(b)}_{\text{lisse}}(X_\eta, \mathbb{Z}_p)$ की जांच करता है, जो सिंटोमिक स्टैक पर परफेक्ट कॉम्प्लेक्सों को रिलिड जेनेरिक फाइबर $X_\eta$ पर स्थानीय निकायों के व्युत्पन्न श्रेणियों (derived categories) में मैप करता है।

मुख्य चुनौतियाँ जिनका समाधान किया गया है:

1. परफेक्ट कॉम्प्लेक्सों (और उनकी आइसोजेनी श्रेणी) पर $\mathcal{T}_{\text{ét}}$ के आवश्यक प्रतिबिंब (essential image) को क्रिस्टलाइन स्थानीय निकायों के रूप में अभिलक्षणिक बनाना।
2. यह निर्धारित करना कि क्या $\text{Perf}(\mathbb{Z}_p^{\text{Syn}})[1/p] \simeq D^b(\text{Rep}^{\text{cris}}_{\mathbb{Q}_p}(G_{\mathbb{Q}_p}))$ उच्च-विमीय $X$ के लिए सामान्यीकृत होता है।
3. उचित (proper) मामले में $\text{Perf}(X_{\text{Syn}})[1/p]$ का एक स्पष्ट बीजगणितीय विवरण प्रदान करना, जो दुर्बल ग्राह्य (weakly admissible) फिल्टर्ड $F$-आइसोक्रिस्टल के माध्यम से क्रिस्टलाइन निरूपणों के विवरण के समान हो।

कार्यप्रणाली (Methodology)
लेखक स्टैकी ज्यामिति (stacky geometry), डिसेंट सिद्धांत (descent theory), और $p$-adic हॉज सिद्धांत (Hodge theory) की तकनीकों के संयोजन का उपयोग करता है:

• स्टैकी ढांचा (Stacky Framework): यह शोध पत्र $X_{\text{Syn}}$, $X_{\text{Nyg}}$ (Nygaard), और $X_\Delta$ (prismatic) जैसे औपचारिक स्टैक्स का उपयोग करता है। $X_{\text{Syn}}$ की संरचना का विश्लेषण इन स्टैक्स से जुड़े पुशआउट्स (pushouts) और को-इक्वलाइज़र (coequalizers) के माध्यम से किया जाता है।
• रिफ्लेक्सिव शीव्स (Reflexive Sheaves): एक प्रमुख तकनीकी नवाचार के रूप में, सिंटोमिक स्टैक पर रिफ्लेक्सिव शीव्स ($\text{Refl}(X_{\text{Syn}})$) की शुरूआत की गई है। लेखक इन्हें उन कोहेरेंट शीव्स $E$ के रूप में परिभाषित करते हैं जहाँ प्राकृतिक मानचित्र $E \to E^{\vee\vee}$ एक आइसोमोर्फिज्म है। इस उपश्रेणी को ही वह सही डोमेन माना गया है जहाँ एतले यथार्थकरण फलन एक साम्यता (equivalence) उत्पन्न करता है।
• कर्नेल विश्लेषण (Kernel Analysis): शोध पत्र एतले यथार्थकरण फलन के कर्नेल का विश्लेषण करता है। भट्ट-लूरी की विधियों को अनुकूलित करते हुए और न्यागार्ड-जुड़े श्रेणीबद्ध वस्तुओं (graded objects) पर ग्रेडेड कनेक्शनों का उपयोग करते हुए, यह दिखाया गया है कि कर्नेल में वे कोहेरेंट $F$-गेज (gauges) शामिल हैं जो $(p, v_{1,X})$-पावर टोरशन (power torsion) हैं।
• डिसेंट और कवर्स (Descent and Covers): प्रमाण मुख्य रूप से फ्लैट-लोकल सरजक्शंस (विशेष रूप से ब्रेउइल-किसिन प्रिज्म से संबंधित रीस स्टैक्स का उपयोग करके) पर निर्भर करते हैं ताकि $X$ पर वैश्विक प्रश्नों को एफाइन स्कीम्स के स्थानीय प्रश्नों में बदला जा सके, जहाँ ब्रेउइल-किसिन मॉड्यूल और $q$-कनेक्शन के साथ स्पष्ट गणनाएँ संभव हैं।
• बीलिन्सन फाइबर स्क्वायर (Beilinson Fiber Square): उचित मामले में, शोध पत्र $X$ की सिंटोमिक कोहोमोलॉजी को उसके क्रिस्टलाइन कोहोमोलॉजी (विशेष फाइबर पर) और डी-राहम कोहोमोलॉजी (जेनेरिक फाइबर पर) से संबंधित एक बीलिन्सन फाइबर स्क्वायर के निर्माण के माध्यम से जोड़ता है। इस वर्ग का उपयोग ग्राह्य फिल्टर्ड $F$-आइसोक्रिस्टल की श्रेणी को परिभाषित करने के लिए किया जाता है।

प्रमुख योगदान और परिणाम

1. रिफ्लेक्सिव शीव्स के लिए साम्यता (प्रमेय A):
   यह शोध पत्र स्थापित करता है कि एक चिकनी और क्वासिकॉम्पैक्ट $p$-adic औपचारिक स्कीम $X/\text{Spf } \mathcal{O}_K$ के लिए, एतले यथार्थकरण फलन निम्नलिखित श्रेणियों के बीच एक साम्यता प्रेरित करता है:
   $$\mathcal{T}_{\text{ét}}: \text{Refl}(X_{\text{Syn}}) \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$$
   जहाँ $\text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$ प्रो-एतले क्रिस्टलाइन $\mathbb{Z}_p$-स्थानीय निकायों की श्रेणी है। यह परिणाम $\Pi_X$ (गुओ-ली द्वारा निर्मित) के आवश्यक प्रतिबिंब को सटीक रूप से रिफ्लेक्सिव शीव्स के रूप में अभिलक्षणिक करता है।

2. आइसोजेनी श्रेणी और क्रिस्टलाइन कोहोमोलॉजी (अनुप्रमेय 1.3):
   $p$ को व्युत्क्रमित (invert) करने पर, फलन संबंधित t-संरचनाओं के हार्ट (hearts) पर एक साम्यता प्रेरित करता है:
   $$\text{Coh}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta)$$
   $\mathcal{T}_{\text{ét}}[1/p]$ का आवश्यक प्रतिबिंब क्रिस्टलाइन कोहोमोलॉजी शीव्स वाले ऑब्जेक्ट्स की उपश्रेणी में निहित है, हालांकि शोध पत्र नोट करता है कि समावेशन आमतौर पर सख्त (strict) होता है (अर्थात, क्रिस्टलाइन कोहोमोलॉजी शीव्स वाला प्रत्येक कॉम्प्लेक्स आवश्यक प्रतिबिंब में नहीं है)।

3. नाइव सामान्यीकरण की विफलता (उदाहरण 4.7):
   यह शोध पत्र प्रदर्शित करता है कि $\text{Perf}(X_{\text{Syn}})[1/p] \simeq D^b(\text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta))$ उच्च-विमीय $X$ (जैसे, $X = \mathbb{P}^1_{\mathbb{Z}_p}$) के लिए सामान्यतः लागू नहीं होता है। यह फुल फथफुलनेस (full faithfulness) की विफलता के कारण है, जो गैर-शून्य सिंटोमिक कोहोमोलॉजी समूहों $H^2_{\text{Syn}}$ द्वारा प्रमाणित होता है जो क्रिस्टलाइन स्थानीय निकायों की श्रेणी में एक्सटेंशन (extensions) के अनुरूप नहीं होते हैं।

4. प्रॉपर स्कीम्स के लिए साम्यता (प्रमेय B):
   $X$ चिकना और उचित (proper) होने पर $\text{Spf } \mathcal{O}_K$ के ऊपर, यह शोध पत्र एक साम्यता सिद्ध करता है:
   $$\text{Perf}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$$
   यहाँ, $\text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$ ग्राह्य (admissible) फिल्टर्ड $F$-आइसोक्रिस्टल के परफेक्ट कॉम्प्लेक्सों की श्रेणी है। इस श्रेणी को विशेष फाइबर के क्रिस्टलाइन साइट और जेनेरिक फाइबर के डी-राहम स्टैक से जुड़े बीलिन्सन फाइबर स्क्वायर के माध्यम से परिभाषित किया गया है। "ग्राह्य" की स्थिति यह सुनिश्चित करती है कि कोहोमोलॉजी शीव्स क्रिस्टलाइन स्थानीय निकायों के अनुरूप हों।

5. कोहोमोलॉजिकल गणनाएँ:
   शोध पत्र एक कोहोमोलॉजिकल गणना प्रदान करता है जो यह दिखाती है कि $X = \text{Spf } \mathcal{O}_K$ के लिए, $H^i_{\text{Syn}}(\mathcal{O}_K, E)[1/p]$ का मान $i \geq 2$ के लिए शून्य है और $i=1$ के लिए ब्लॉक-काटो सेल्मर समूह (या क्रिस्टलाइन निरूपणों में एक्सटेंशन समूहों) के आइसोमोर्फिक है। यह शून्यता बिंदु के मामले में साम्यता स्थापित करने के लिए अत्यंत महत्वपूर्ण है।

महत्व और दावे
यह शोध पत्र इस प्रश्न को हल करने का दावा करता है कि क्या भट्ट-लूरी सिंटोमिक स्टैक $p$-adic औपचारिक स्कीम्स के लिए एक व्युत्पन्न रीमैन-हिल्बर्ट पत्राचार (derived Riemann-Hilbert correspondence) प्रदान करता है।

• यह पुष्टि करता है कि जबकि सामान्य $X$ के लिए नाइव व्युत्पन्न साम्यता विफल हो जाती है, रिफ्लेक्सिव शीव्स के माध्यम से एक सटीक अभिलक्षण मौजूद है।
• यह क्रिस्टलाइन निरूपणों के लिए आइसोजेनी श्रेणी में सिंटोमिक परफेक्ट कॉम्प्लेक्सों और क्रिस्टलाइन निरूपणों के बीच साम्यता को सफलतापूर्वक सामान्यीकृत करता है, लेकिन इसके लिए लक्ष्य श्रेणी को केवल क्रिस्टलाइन स्थानीय निकायों की व्युत्पन्न श्रेणी के बजाय ग्राह्य फिल्टर्ड $F$-आइसोक्रिस्टल में परिष्कृत करने की आवश्यकता होती है।
• यह कार्य शास्त्रीय फिल्टर्ड $F$-आइसोक्रिस्टल (कोल्मेज़-फॉन्टेन) और प्रिसमैटिक/स्टैकी दृष्टिकोण (भट्ट-शोलज़, भट्ट-लूरी) के बीच के अंतर को पाटता है, जिससे $p$-adic औपचारिक स्कीम्स पर क्रिस्टलाइन स्थानीय निकायों के अध्ययन के लिए एक एकीकृत ढांचा प्रदान होता है।

लेखक स्पष्ट रूप से नोट करते हैं कि परिणाम इस बात पर निर्भर करते हैं कि $X$ चिकना और क्वासिकॉम्पैक्ट (या उचित) हो, और आइसोजेनी श्रेणियों की व्याख्या के लिए सावधानी की आवश्यकता है जब $X$ क्वासिकॉम्पैक्ट न हो। शोध पत्र यह दावा नहीं करता है कि यह गैर-चिकनी स्कीम्स के लिए समस्या को हल करता है या $p$ को व्युत्क्रमित किए बिना आवश्यक प्रतिबिंब का विवरण प्रदान करता है (जिसे भविष्य के कार्य के रूप में छोड़ दिया गया है)।