🔢 mathematics

Derived algebras on formal stacks and prismatic gauges

यह शोध पत्र फिल्टर्ड फॉर्मल स्टैक्स और संबंधित क्लासिफाइंग स्टैक्स पर डेरिव्ड अल्जेब्रा के वर्गीकरण प्रमेय स्थापित करने के लिए, विशेष रूप से प्रिज़मेटाइजेशन के संदर्भ में, डेरिव्ड अल्जेब्रा और फॉर्मल डेरिव्ड ज्योमेट्री के बीच की अंतःक्रिया की जांच करता है।

मूल लेखक: Shubhankar Sahai

प्रकाशित 2026-03-02

📖 8 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Shubhankar Sahai

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

मुख्य चित्र: "धुंधले" आकारों के लिए एक सार्वभौमिक टूलकिट बनाना

कल्पना कीजिए कि आप एक इमारत डिजाइन करने की कोशिश कर रहे हैं, लेकिन आपके पास जो सामग्री है वह थोड़ी अजीब है। वे केवल ठोस ईंटें नहीं हैं; वे "धुंधली", "भूतिया" या "बदलने वाली" सामग्रियां हैं जो इस पर निर्भर करती हैं कि आप उन्हें कैसे देखते हैं। गणित में, इन सामग्रियों को डिराइव्ड अल्जेब्रा (Derived Algebras) कहा जाता है। इनका उपयोग उन आकारों और स्थानों का वर्णन करने के लिए किया जाता है जिनमें जटिलता की छिपी हुई परतें होती हैं, जैसे कि एक होलोग्राम जो करीब जाने पर अधिक विवरण प्रकट करता है।

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

लेखक, शुभंकर सहई, मूल रूप से यह कह रहे हैं: "हमारे पास इन धुंधले आकारों के लिए शक्तिशाली उपकरण हैं, लेकिन हमें नहीं पता था कि उन्हें तब कैसे उपयोग किया जाए जब आकार अनंत रूप से ज़ूम-इन किए गए या फ़िल्टर किए गए हों। यह शोध पत्र हमें उन विशिष्ट, कठिन स्थितियों में उन उपकरणों का उपयोग करना सिखाता है।"

उपमाओं के साथ मुख्य अवधारणाओं की व्याख्या

1. डेराइव्ड अल्जेब्रा (Derived Algebras): "भूतिया" निर्माण खंड

अवधारणा: सामान्य गणित में, एक 'रिंग' संख्याओं का एक सेट है जिसके जोड़ने और गुणा करने के नियम होते हैं। एक डेराइव्ड अल्जेब्रा एक "सुपर-रिंग" की तरह है जो न केवल संख्याओं को, बल्कि इस इतिहास को भी याद रखता है कि वे संख्याएं कैसे बनीं। यह उस 3D मूर्तिकला की तरह है जहाँ वस्तु द्वारा डाली गई छायाएँ वस्तु के बारे में उतना ही बताती हैं जितना कि स्वयं वस्तु।
उपमा: कल्पना कीजिए कि एक सामान्य रिंग पेड़ की एक तस्वीर है। एक डेराइव्ड अल्जेब्रा उस पेड़ का एक VR सिमुलेशन है। यदि आप इसके चारों ओर घूमते हैं, तो आप पत्तियां, छाल और जड़ें देखते हैं। यदि आप "ज़ूम इन" (गणितीय रूप से) करते हैं, तो आप इसकी कोशिकीय संरचना देखते हैं। यह उस आकार की "धुंधलेपन" या अनिश्चितता को पकड़ता है जिसे एक सपाट फोटो मिस कर देती है।

2. फॉर्मल स्टैक्स (Formal Stacks): "अनंत ज़ूम"

अवधारणा: एक फॉर्मल स्टैक एक ज्यामितीय वस्तु है जो एक विशिष्ट दिशा में "पूर्ण" (completed) की गई है। इसे एक आकार लेने और एक विशिष्ट बिंदु पर अनंत तक ज़мूम करने के रूप में सोचें।
उपमा: कल्पना कीजिए कि आप शहर के मानचित्र को देख रहे हैं। एक फॉर्मल स्टैक एक आवर्धक लेंस (magnifying glass) लेने और एक सड़क के कोने पर तब तक ज़ूम करने जैसा है जब तक कि पूरा ब्रह्मांड केवल वही सड़क कोना न बन जाए। अब आप पूरे शहर को नहीं देख रहे हैं; आप उस कोने के "सूक्ष्म पड़ोस" (infinitesimal neighborhood) को देख रहे हैं। यह शोध पत्र अध्ययन करता है कि हमारे "भूतिया" निर्माण खंड (डेराइव्ड अल्जेब्रा) कैसे व्यवहार करते हैं जब वे इन अनंत ज़ूम के भीतर रहते हैं।

3. प्रिजमैटिक गेज (Prismatic Gauges): "गणितीय प्रिज्म"

अवधारणा: यह प्रिजमैटिक कोहोमोलॉजी (Prismatic Cohomology) से आता है, जो आधुनिक गणित का एक चर्चित विषय है जो संख्याओं का अध्ययन करने के विभिन्न तरीकों को एकीकृत करने का प्रयास करता है (जैसे कि पानी बर्फ, तरल या भाप हो सकता है)। एक "प्रिज्म" एक रिंग और एक आइडियल (ideal) का जोड़ा है जो एक लेंस की तरह कार्य करता है।
उपमा: कल्पना कीजिए कि सफेद प्रकाश (एक जटिल संख्या प्रणाली) एक कांच के प्रिज्म से टकराता है। प्रिज्म प्रकाश को इंद्रधनुष (विभिन्न घटकों) में विभाजित कर देता है। एक प्रिजमैटिक गेज इन विभाजित रंगों को व्यवस्थित करने का एक तरीका है ताकि आप उन्हें एक साथ पढ़ सकें। यह शोध पत्र दिखाता है कि कैसे हम अपने धुंधले निर्माण खंडों का उपयोग करके इन "इंद्रधनुष संगठकों" का निर्माण कर सकते हैं।

4. "रीस कंस्ट्रक्शन" (The Rees Construction): "टाइम-लैप्स कैमरा"

अवधारणा: यह एक "फ़िल्टर्ड" वस्तु (परतों वाली, जैसे प्याज) को एक "ग्रेडेड" वस्तु (सीढ़ियों की तरह अलग-अलग चरणों वाली) में बदलने की एक गणितीय ट्रिक है।
उपमा: कल्पना कीजिए कि आपके पास पैनकेक का एक ढेर (एक फ़िल्टर्ड वस्तु) है। रीस कंस्ट्रक्शन एक टाइम-लैप्स कैमरे की तरह है जो ढेर की एक फोटो लेता है, और फिर फोटो में एक "समय" चर (variable) जोड़ देता है। अचानक, ढेर केवल एक ढेर नहीं रह जाता; यह एक 3D मूर्तिकला बन जाता है जहाँ ऊंचाई "समय" या "परत" का प्रतिनिधित्व करती है। यह शोध पत्र सिद्ध करता है कि आप अपने धुंधले, भूतिया निर्माण खंडों के साथ भी इस टाइम-लैप्स ट्रिक का उपयोग कर सकते हैं।

लेखक ने वास्तव में क्या किया?

यह शोध पत्र बहुत तकनीकी है, लेकिन इसकी मुख्य उपलब्धियों को टूलबॉक्स के तीन "नए नियमों" के रूप में संक्षेपित किया जा सकता है:

1. "पूर्णता" का नियम (धारा 2)

समस्या: जब आप अनंत रूप से ज़ूम इन करते हैं (फॉर्मल कम्प्लीशन), तो आपके धुंधले निर्माण खंड कभी-कभी टूट जाते हैं या गायब हो जाते हैं।
समाधान: लेखक ने सिद्ध किया कि आप इन टूटे हुए ब्लॉकों को "पूर्ण" (complete) करके ठीक कर सकते हैं। उन्होंने दिखाया कि "पूर्ण धुंधले ब्लॉकों" (completed fuzzy blocks) की श्रेणी एक आदर्श, आत्मनिर्भर ब्रह्मांड है।
रूपक: यह ऐसा है जैसे यह महसूस करना कि यदि आप रेत से घर बनाने की कोशिश करेंगे, तो वह ढह जाएगा। लेकिन यदि आप रेत पर पानी डालते हैं (completion), तो वह ठोस कंक्रीट बन जाता है। यह शोध पत्र इन विशिष्ट आकारों के लिए "रेत" को "कंक्रीट" में बदलने का नुस्खा देता है।

2. "सममिति" का नियम (धारा 3 और 4)

समस्या: इन आकारों में अक्सर सममिति (जैसे पहिया घूमना) होती है। लेखक जानना चाहते थे: "यदि मेरे पास एक घूमता हुआ धुंधला ब्लॉक है, तो क्या मैं इसे केवल इसके स्थिर भागों को देखकर वर्णित कर सकता हूँ?"
समाधान: हाँ! उन्होंने सिद्ध किया कि एक "घूमता हुआ धुंधला ब्लॉक" वास्तव में एक "विशेष लेबल वाले स्थिर धुंधले ब्लॉक" (एक को-एक्शन) के समान है।
रूपक: एक घूमते हुए लट्टू की कल्पना करें। उसकी गति का वर्णन करना कठिन है। लेकिन यदि आप उसकी एक फोटो लेते हैं और फोटो को "घूमना" (Spinning) लेबल देते हैं, तो आप केवल स्थिर फोटो और लेबल को देखकर पूरी गति का वर्णन कर सकते हैं। शोध पत्र सिद्ध करता है कि सबसे जटिल, भूतिया आकारों के लिए भी यह काम करता है।

3. "वर्गीकरण" का नियम (धारा 4)

समस्या: इन फॉर्मल स्टैक्स के कई अलग-अलग प्रकार हैं। हम कैसे जानते हैं कि कौन सा धुंधला ब्लॉक किस स्टैक का है?
समाधान: लेखक ने एक "शब्दकोश" बनाया। उन्होंने दिखाया कि स्टैक्स के एक विशिष्ट वर्ग (जो "प्रिज्म" और "फिल्टरिंग" से संबंधित हैं) के लिए, स्टैक्स और एक विशिष्ट प्रकार के फ़िल्टर्ड अल्जेब्रा के बीच एक एक-से-एक मिलान होता है।
रूपक: यह एक लाइब्रेरी होने जैसा है जहाँ हर किताब (स्टैक) का एक अद्वितीय बारकोड (अल्जेब्रा) होता है। इस शोध पत्र ने वह सॉफ्टवेयर लिखा है जो बारकोड को स्कैन करता है और तुरंत बताता है कि वह कौन सी किताब है, भले ही वह किताब ऐसी भाषा में लिखी हो जिसे कोई नहीं समझता।

यह क्यों मायने रखता है?

लेखक उल्लेख करते हैं कि यह कार्य भविष्य के शोध पत्रों के लिए एक "प्रिक्वेल" (पूर्ववृत्त) है।

भविष्य का लक्ष्य: प्रिजमैटिक कोहाइमोलॉजी (Prismatic Cohomology) को बेहतर ढंग से समझना। यह गणित करने का एक नया तरीका है जो संख्या सिद्धांत (Number Theory) की सबसे कठिन समस्याओं (जैसे कि अभाज्य संख्याओं के गहरे रहस्यों को समझना) को हल कर सकता है।
प्रभाव: इस टूलबॉक्स का निर्माण करके, लेखक भविष्य के गणितज्ञों के लिए रास्ता बना रहे हैं ताकि वे अपनी कारों (सिद्धांतों) को बिना गड्ढों में गिरे इस सड़क पर चला सकें। इस शोध पत्र के बिना, इन "धुंधले, ज़ूम-इन किए गए, प्रिजमैटिक" आकारों का अध्ययन करना जेली से बने हथौड़े के साथ गगनचुंबी इमारत बनाने जैसा होगा। यह शोध पत्र उन्हें एक स्टील का हथौड़ा देता है।

एक वाक्य में सारांश

यह शोध पत्र एक नया, मजबूत गणितीय टूलकिट बनाता है जो हमें जटिल, "धंधले" ज्यामितीय आकारों के साथ हेरफेर करने की अनुमति देता है जब वे अनंत रूप से ज़ूम-इन किए गए और फ़िल्टर्ड होते हैं, यह सिद्ध करते हुए कि इन आकारों को एक चतुर "टाइम-लैप्स" ट्रिक का उपयोग करके पूरी तरह से वर्गीकृत और समझा जा सकता है।

यहाँ शुभंकर सहई के शोध पत्र "Derived Algebras on Formal Stacks and Prismatic Gauges" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और प्रेरणा (Problem Statement and Motivation)

यह शोध पत्र डेरि्व्ड अल्जेब्रा (बट्ट-मैथ्यू और रक्सित के अर्थ में) और फॉर्मल डेरि्व्ड ज्योमेट्री (विशेष रूप से प्रिस्मैटिक कोहोमोलॉजी और प्रिस्मैटाइजेशन के संदर्भ में) के बीच अंतर्संबंधों को संबोधित करता है।

अंतराल (The Gap): जबकि डिस्क्रीट रिंग्स (discrete rings) और कनेक्टिव सेटिंग्स के लिए डेरि्व्ड रिंग्स (non-connective animated rings) का सिद्धांत अच्छी तरह से स्थापित है, फॉर्मल पूर्णता (विशेष रूप से $J$ -adic completion) और फॉर्मल स्टैक्स पर उनके व्यवहार को साहित्य में कड़ाई से विकसित नहीं किया गया था।
बाधा (The Obstruction): मानक डेरि्व्ड एलगिब्रिक संदर्भों (जैसे रक्सित के) की परिभाषाओं के लिए अक्सर $t$ -स्ट्रक्चर का फिल्टर किए गए कोलिमिट्स (filtered colimits) के साथ संगत होना आवश्यक होता है। हालाँकि, $p$ -कम्प्लीट मॉड्यूल्स ( $Mod_{\mathbb{Z}_p}^{\wedge}$ ) की श्रेणी में, को-कनेक्टिव भाग फिल्टर किए गए कोलिमिट्स के तहत स्थिर नहीं होता है (उदाहरण के लिए, $p^n$ -टोरशन मॉड्यूल्स का कोलिमिट कनेक्टिव हो सकता है)। यह $Spf(\mathbb{Z}_p)$ जैसे फॉर्मल स्पेक्ट्रा पर डेरि्व्ड अल्जेब्रा को परिभाषित करने के लिए मौजूदा मोनाडिसिटी सिद्धांतों के सीधे अनुप्रयोग को रोकता है।
लक्ष्य (The Goal): $J$ -कम्प्लीट डेरि्व्ड अल्जेब्रा का एक सुदृढ़ सिद्धांत विकसित करना और उन्हें विशिष्ट ज्यामितीय वस्तुओं (फॉर्मल स्टैक्स) पर वर्गीकृत करना, जो प्रिस्मैटिक कोहोमोलॉजी के लिए प्रासंगिक हैं, जैसे कि क्लासिफाइंग स्टैक $BG_m$ और फिल्टर्ड स्टैक्स जैसे $\mathbb{A}^1/G_m$ ।

2. कार्यप्रणाली (Methodology)

लेखक $\infty$ -कैटेगोरिकल अल्जेब्रा, मोनाडिसिटी/कोमोनाडिसिटी सिद्धांतों और डिसेन्ट थ्योरी (descent theory) के संयोजन का उपयोग करते हैं।

$J$ -Complete Derived Algebras: शोध पत्र $DAlg_A^{\wedge J}$ की $\infty$ -श्रेणी को $DAlg_A$ के एक लोकलाइजिंग सब-कैटेगरी के रूप में परिभाषित करता है। यह सिद्ध करता है कि यह श्रेणी प्रेज़ेंटेबली सिमेट्रिक मोनॉइडल (presentably symmetric monoidal) है और $J$ -कम्प्लीट मॉड्यूल्स के प्रति वि forgetful फलन (forgetful functor) मोनॉडिक है।
Kan Extension के माध्यम से Formal Spectra: फॉर्मल स्पेक्ट्रा को एड-हॉक (ad-hoc) रूप से परिभाषित करने के बजाय, लेखक $Spf(A)$ को एक प्रीस्टैक (prestack) के रूप में परिभाषित करते हैं (जो $J$ की घातों को शून्य करने वाला $Spec(A)$ का उप-फंक्टर है) और राइट कान एक्सटेंशन (right Kan extension) के माध्यम से इस पर डेरि्व्ड अल्जेब्रा को परिभाषित करते हैं। एक प्रमुख तकनीकी परिणाम $DAlg(Spf(A)) \simeq DAlg_A^{\wedge J}$ को सिद्ध करना है।
Comonadicity और Grading: लेखक एक "निरंतर" (continuous) सेटिंग में बैर-बेक-लुर थ्योरम (Barr-Beck-Lurie theorem) का उपयोग करते हैं। वे स्थापित करते हैं कि ग्रेडेड डेरि्व्ड अल्जेब्रा, अन-ग्रेडेड डेरि्वड अल्जेब्रा पर एक पूर्णेड हॉफ अल्जेब्रा (विशेष रूप से $G_m$ के लिए $A[Z]$ ) के एक्शन के माध्यम से कोमोनाडिक हैं।
Quasi-Affine Morphisms: लेखक डेरि्व्ड अल्जेब्रा के वर्गीकरण को क्वासी-एफाइन मॉर्फिज्म्स के अनुदिश विस्तारित करते हैं (जहाँ $f: X \to Y$ एक क्वासी-एफाइन मॉर्फिज्म है, तो $DAlg(X) \simeq DAlg(Y)_{f_*\mathcal{O}_X/}$ )।
Rees Construction: शोध पत्र रीस कंस्ट्रक्शन (फिल्टर्ड ऑब्जेक्ट्स को $A[t]$ पर ग्रेडेड ऑब्जेक्ट्स से जोड़ने वाले) को डेरि्व्ड सेटिंग में अनुकूलित करता है, जिससे फिल्टर्ड डेरि्व्ड अल्जेब्रा को ग्रेडेड डेरि्वड अल्जेब्रा से जोड़ा जाता है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. $J$ -Complete Derived Algebras का सिद्धांत

Theorem 1.10: यह स्थापित करता है कि $DAlg_A^{\wedge J}$ एक प्रेज़ेंटेबली सिमेट्रिक मोनॉइडल $\infty$ -कैटेगरी है। $Mod_A^{\wedge J}$ के प्रति वि forgetful फलन मोनॉडिक है, जिसका लेफ्ट एडजॉइंट फ्री डेरि्वड अल्जेब्रा फलन ( $LSym_A$ ) का $J$ -एडिक कम्प्लीशन है।
Theorem 1.11: एक लोक-श्रुत (folklore) परिणाम को सिद्ध करता है कि $QCoh(Spf(A)) \simeq Mod_A^{\wedge J}$ , और इस तुल्यता को डेरि्वड अल्जेब्रा तक विस्तारित करता है: $DAlg(Spf(A)) \simeq DAlg_A^{\wedge J}$ ।

B. Graded और Continuous Comonadicity

Theorem 1.12: ग्रेडेड $J$ -कम्प्लीट डेरि्वड अल्जेब्रा और अन-ग्रेडेड डेरि्वड अल्जेब्रा के बीच एक "निरंतर" कोमोनाडिक एडजंक्शन सिद्ध करता है:
$(\pi!)^\wedge_J : GrDAlg_A^{\wedge J} \rightleftarrows DAlg_A^{\wedge J} : \pi^*$
संबंधित कोमोनाड को पूर्णेड बाइकॉम्यूटेटिव हॉफ अल्जेब्रा $(A[Z])^\wedge_J$ के एक्शन के रूप में पहचाना गया है।
सामान्यीकरण (Generalization): इस परिणाम को डायगोनलाइज़ेबल ग्रुप स्कीम्स $D(M)$ तक विस्तारित किया गया है, जो ग्रेडेड अल्जेब्रा को $A[M]$ के कोमॉड्यूल्स के रूप में पहचानता है।

C. ज्यामितीय स्टैक्स पर वर्गीकरण (Classification on Geometric Stacks)

Theorem 1.13: एक एनिमेटेड रिंग $A$ के लिए, निम्नलिखित तुल्यता है:
$DAlg(BG_m \times Spf(A)) \simeq GrDAlg_A^{\wedge J}$
यह मल्टीप्लिकेटिव ग्रुप के फॉर्मल क्लासिफाइंग स्टैक पर डेरि्वड अल्जेब्रा को वर्गीकृत करता है।
Theorem 1.14: एक क्वासी-एफाइन मॉर्फिज्म $f: X \to Y$ के लिए, एक तुल्यता है $DAlg(X) \simeq DAlg(Y)_{f_*\mathcal{O}_X/}$ । यह किसी भी ऐसे स्टैक पर डेरि्वड अल्जेब्रा के वर्गीकरण की अनुमति देता है जो एक बेस के ऊपर क्वासी-एफाइन है।

D. Filtered Stacks और Prismatic Gauges

Rees Equivalence: शोध पत्र फिल्टर्ड डेरि्वड अल्जेब्रा और रीस रिंग पर ग्रेडेड डेरि्वड अल्जेब्रा के बीच एक तुल्यता का निर्माण करता:
$FilDAlg_A \simeq GrDAlg_{A[t]}$
Theorem 1.15 (मुख्य अनुप्रयोग): एक ओरिएंटेबल बाउंडेड प्रिज़्म $(A, I)$ के लिए, जिसमें जनरेटर $d \in I$ है, फिल्टर्ड डेरि्वड अल्जेब्रा (विशिष्ट पूर्णता शर्तों के साथ) और एक विशिष्ट फॉर्मल स्टैक के बीच एक तुल्यता है:
$FilDAlg_{Fil(d)A}^{(p,d)\text{-comp}} \simeq DAlg(Spf(A[u, t]/(ut - d))/G_m)$
Corollary 1.16: यदि $(A, I)$ एक परफेक्ट प्रिज़्म है, तो यह स्टैक Nygaard फिल्टर्ड प्रिज़मैटाइजेशन $(A/I)_{Nyg}$ के आइसोमॉर्फिक है, जो Nygaard स्टैक पर डेरि्वड अल्जेब्रा के वर्गीकरण प्रदान करता है।

4. महत्व और प्रभाव (Significance and Impact)

प्रिस्मैटिक कोहोमोलॉजी के लिए आधारभूत (Foundational for Prismatic Cohomology): ये परिणाम डेरि्वड अल्जेब्रा को विशिष्ट स्टैक्स पर 'प्रिस्मैटिक गेजेस' (प्रिस्मैटिक कोहोमोलॉजी के सिद्धांत में वस्तुएं) के रूप में मानने के लिए आवश्यक बीजगणितीय ढांचा प्रदान करते हैं। यह प्रिस्मैटिक कोहोमोलॉजी में गुणांकों (coefficients) के कठोर उपचार की अनुमति देता है।
टैनकियान फ्रेमवर्क (Tannakian Framework): यह शोध पत्र फॉर्मल डेरि्वड सेटिंग में एक टैनकियान फॉर्मलिज्म की नींव रखता है, जो प्रिस्मैटिक ज्योमेट्री और $p$ -एडिक Hodge थ्योरी के साथ इसके संबंध को समझने के लिए महत्वपूर्ण है।
तकनीकी बाधाओं का समाधान (Resolution of Technical Obstructions): $p$ -कम्प्लीट सेटिंग्स में फिल्टर किए गए कोलिमिट्स के साथ $t$ -स्ट्रक्चर की असंगतता को स्पष्ट रूप से संभालकर, यह शोध पत्र $p$ -एडिक फॉर्मल स्कीम्स पर डेरि्वड अल्जेब्रिक ज्योमेट्री लागू करने में एक बड़ी तकनीकी बाधा को हल करता है।
भावी कार्य (Future Work): ये परिणाम लेखक के आगामी कार्यों ([Sah26a], [Sah26b]) के लिए आधारभूत हैं, जिनका लक्ष्य रिलेटिव Nygaard फिल्टर्ड प्रिज़मैटाइजेशन को परिभाषित करना और इन स्टैक-थ्योरेटिक वर्गीकरणों का उपयोग करके सिंटोमिक कोहोमोलॉजी (syntomic cohomology) और फ्रोबेनिअस लिफ्ट करने योग्य स्कीम्स का अध्ययन करना है।

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