🔢 mathematics

Arithmetic Kashiwara Regularity and Orbit Classification for Filtered Strongly Equivariant $\mathcal{D}^{\dagger}$ -Modules

यह शोधपत्र औपचारिक फ्लैग किस्मों (formal flag varieties) पर फिल्टर्ड स्ट्रॉन्गली इक्विवेरिएंट बर्टेलोलो अरिथमेटिक $\mathscr{D}^\dagger$ -मॉड्यूल के लिए काशिवारा रेगुलैरिटी (Kashiwara regularity) का एक अरिथमेटिक एनालॉग स्थापित करता है, यह सिद्ध करते हुए कि उनके कैरेक्टेरिस्टिक वेरिएटीज़ $\mathcal{K}_s$ -ऑर्बिट्स के कॉनॉर्मल बंडल्स के यूनियन में समाहित हैं और इस प्रकार ऑर्बिट्स के युग्मों और इक्विवेरिएंट ओवरकन्वर्जेंट $F$ -आइसोक्रिस्टल्स के माध्यम से सिंपल फ्रोबिनियस मॉड्यूल्स को वर्गीकृत करते हैं।

मूल लेखक: Andrés Sarrazola-Alzate

प्रकाशित 2026-06-05

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

CC BY 4.0

मूल लेखक: Andrés Sarrazola-Alzate

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

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

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

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

यहाँ इस शोध पत्र की कहानी है, जिसे सरल भागों में विभाजित किया गया है:

1. परिवेश: एक पैटर्न वाला पुस्तकालय

कल्पना कीजिए कि पुस्तकालय एक फ्लैग वैराइटी (flag variety) नामक आकार पर बना है। इस आकार को एक जटिल ज्यामितीय संरचना (जैसे कि एक बहु-स्तरीय केक) के रूप में सोचें जिसमें बहुत अधिक समरूपता है। समरूपता का एक समूह, जिसे हम K कह सकते हैं, इस आकार पर कार्य करता है।

"शास्त्रीय" दुनिया (जटिल संख्याओं का उपयोग करते हुए) में, गणितज्ञ पहले से ही इन मैनुअल्स को छाँटना जानते थे। उन्होंने पाया कि यदि कोई मैनुअल पुस्तकालय की समरूपता का सम्मान करता है, तो वह "व्यवहार संगत" होगा। इसके अलावा, उन्होंने खोजा कि प्रत्येक अद्वितीय, सरल मैनुअल को दो चीजों द्वारा पहचाना जा सकता है:

वह कहाँ रहता है: पुस्तकालय के भीतर एक विशिष्ट "ऑर्बिट" (एक पथ या क्षेत्र)।
वह क्या कहता है: उस पथ से जुड़ी एक छोटी सी जानकारी ("लोकल सिस्टम")।

2. नई चुनौती: अरिथमेटिक लाइब्रेरी

लेखक अरिथमेटिक दुनिया (अभाज्य संख्याओं से संबंधित संख्याओं, विशेष रूप से $p$ -एडिक संख्याओं का उपयोग करते हुए) में काम कर रहे हैं। यह दुनिया बहुत अधिक कठिन है। यहाँ के "निर्देश मैनुअल" अलग हैं; इन्हें बर्टेलोट अरिथमेटिक डी-मॉड्यूल (Berthelot arithmetic D-modules) कहा जाता है।

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

3. गुप्त सामग्री: "फिल्टर्ड स्ट्रॉन्ग इक्विवेरिएंस" (Filtered Strong Equivariance)

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

इसे हवाई अड्डे पर एक सुरक्षा जांच की तरह समझें:

कमजोर समरूपता (Weak Symmetry): आप बस एक पासपोर्ट दिखाते हैं जो कहता है कि "मैं इस समूह का हिस्सा हूँ।" (यह पर्याप्त नहीं है; एक नकली पासपोर्ट असली दिख सकता है लेकिन अराजकता को छिपा सकता है)।
मजबूत समरूपता (Strong Symmetry): आपको अपना पासपोर्ट दिखाना होगा और यह भी साबित करना होगा कि आप समूह की लय के साथ पूरी तरह से मेल खाने वाला एक विशिष्ट नृत्य कदम (dance step) कर सकते हैं।
फिल्टर्ड स्ट्रॉन्ग समरूपता (Filtered Strong Symmetry): आपको पासपोर्ट दिखाना होगा, नृत्य करना होगा, और यह भी सिद्ध करना होगा कि आप मुख्य हवाई अड्डे तक पहुँचने से पहले एक छोटे, विशिष्ट अभ्यास मंच (एक "फाइनाइट-लेवल मॉडल") पर वह नृत्य कर सकते हैं।

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

4. छँटाई की प्रक्रिया: ऑर्बिट मैप (The Orbit Map)

एक बार जब लेखक यह सिद्ध कर लेते हैं कि ये "सख्त रूप से सममित" मैनुअल्स व्यवहार संगत हैं, तो अगला कदम उन्हें छाँटना है।

कल्प laइए कि पुस्तकालय का फर्श अलग-अलग रंगीन क्षेत्रों (ऑर्बिट्स) में विभाजित है।

खोज: लेखक सिद्ध करते हैं कि कोई भी सरल, व्यवहार संगत मैनुअल अनिवार्य रूप से एक विशिष्ट क्षेत्र (ऑर्बिट) में "पैदा" होता है।
नुस्खा (Recipe): एक अद्वितीय मैनुअल बनाने के लिए, आपको बस इसकी आवश्यकता है:
1. एक क्षेत्र (एक ऑर्बिट) चुनें।
2. एक सरल, सममित "बीज" (एक ओवरकनवर्जेंट आइसोक्रिस्टल) चुनें जो उस क्षेत्र में रहता है।
3. एक विशेष "गोंद" (जिसे इंटरमीडिएट एक्सटेंशन कहा जाता है) का उपयोग करें ताकि उस बीज को पूरे क्षेत्र और उसकी सीमाओं तक फैलाया जा सके बिना किसी नई अराजकता को पैदा किए।

शोध पत्र यह सिद्ध करता है कि इस अरिथमेटिक लाइब्रेरी में प्रत्येक सरल, व्यवहार संगत मैनुअल ठीक इसी तरह से बनाया गया है। इसके अलावा कोई अन्य छिपे हुए प्रकार नहीं हैं।

5. परिणाम: एक पूर्ण सूची (A Complete Catalog)

शोध पत्र एक "शब्दकोश" या सूची के साथ समाप्त होता है। यह कहता है:

"यदि आप पुस्तकालय की समरूपता का सम्मान करने वाले सभी अद्वितीय, सरल, व्यवहार संगत अरिथमेटिक निर्देश मैनुअल्स को खोजना चाहते हैं, तो आपको हर जगह देखने की आवश्यकता नहीं है। आपको बस सभी क्षेत्रों (ऑर्बिट्स) की सूची और उनमें रहने वाले सभी सरल बीजों (seeds) की सूची देखने की आवश्यकता है।"

यह भी इस ज्यामितीय सूची को एक बीजगणितीय (algebraic) सूची में अनुवादित करता है। पुस्तकालय के आकार को देखने के बजाय, आप संख्याओं के एक विशिष्ट बीजगणित (क्रिस्टलाइन डिस्ट्रीब्यूशन अल्जेब्रा) को देख सकते हैं। शोध पत्र दिखाता है कि वही सूची वहाँ भी काम करती है।

उपमा का सारांश

पुस्तकालय: फॉर्मल फ्लैग वैराइटी (एक जटिल ज्यामितीय आकार)।
मैनुअल्स: अरिथमेटिक डी-मॉड्यूल (समीकरणों के लिए निर्देश सेट)।
अराजकता: वे मॉड्यूल जो बहुत जटिल हैं (होलोनोमिक नहीं हैं)।
फिल्टर्ड स्ट्रॉन्ग इक्विवेरिएंस: एक सख्त सुरक्षा जांच (पासपोर्ट + नृत्य + अभ्यास मंच) जो गारंटी देती है कि मैनुअल व्यवहार संगत है।
ऑर्बिट्स: पुस्तकालय के अलग-अलग क्षेत्र या पथ।
बीज (Seeds): उन क्षेत्रों से जुड़ी सरल जानकारी।
गोंद (Intermediate Extension): बीज को एक पूर्ण मैनुअल में विस्तारित करने की विधि बिना नियमों को तोड़े।

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

तकनीकी सारांश: फिल्टर्ड स्ट्रॉन्गली इक्विवैरिएंट $D^\dagger$ -मॉड्यूल के लिए अंकगणितीय काशिवारा रेगुलैरिटी और ऑर्बिट क्लासिफिकेशन

समस्या विवरण
यह शोध पत्र फ्लैग वेरिएटीज़ पर इक्विवैरिएंट $D$ -मॉड्यूल्स के लिए शास्त्रीय काशिवारा की रेगुलरिटी और ऑर्बिट क्लासिफिकेशन प्रमेय के अंकगणितीय (arithmetic) अनुरूप को संबोधित करता है। शास्त्रीय जटिल (complex) सेटिंग में, फ्लैग वेरिएटीज़ पर कोहेरेंट इक्वीवैरिएंट $D$ -मॉड्यूल्स रेगुलर होलोनोमिक होते हैं, और सरल ऑब्जेक्ट्स को एक ग्रुप ऑर्बिट और एक इर्रिड्यूसिबल इक्वीवैरिएंट लोकल सिस्टम के युग्म द्वारा वर्गीकृत किया जाता है। लक्ष्य मिश्रित विशेषता (mixed characteristic) $(0, p)$ वाले एक पूर्ण डिस्क्रीट वैल्युएशन रिंग पर बर्टेलोट के अंकगणितीय डिफरेंशियल ऑपरेटर्स ( $D^\dagger$ -मॉड्यूल्स) के लिए एक समान सिद्धांत स्थापित करना है।

एक केंद्रीय कठिनाई यह है कि अंकगणितीय सेटिंग में, "होलोनोमिटी" अकेले "रेगुलर होलोनोमिटी" को प्रतिस्थापित करने के लिए पर्याप्त नहीं है। छह ऑपरेशन्स (six operations) के लिए स्टेबल कैटेगरी ओवरहोलोनोमिक मॉड्यूल्स की कैटेगरी है। इसके अतिरिक्त, शास्त्रीय प्रमाण समूह की क्रिया की इन्फिनिटेसिमल सिमेट्रीज़ (strong equivariance) के साथ अनुकूलता पर निर्भर करता है ताकि कैरैक्टरिस्टिक वैरायटी को ऑर्बिट्स के कॉनॉर्मल बंडल में मजबूर किया जा सके। अंकगणितीय संदर्भ में, कैरैक्टरिस्टिक वैरायटी को फाइनाइट-लेवल मॉडल्स के माध्यम से परिभाषित किया जाता है, जिसके लिए इक्वीवैरियंस की एक सटीक धारणा की आवश्यकता है जो इन फाइनाइट लेवल्स पर दृश्यमान हो।

कार्यप्रणाली (Methodology)
लेखक कोहेरेंट $D^\dagger$ -मॉड्यूल्स के लिए फिल्टर्ड स्ट्रॉन्ग इक्वीवैरियंस पर आधारित एक ढांचा विकसित करते हैं। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ती है:

फिल्टर्ड स्ट्रॉन्ग इक्वीवैरियंस: पेपर में एक $K$ -इक्वीवैरियंस की परिभाषा दी गई है जो एक वीक लीनियरलाइजेशन (ग्लोबल सिमेट्री) को दो मजबूत शर्तों के साथ जोड़ती है:
- इन्फिनिटेसिमल कम्पैटिबिलिटी (SE1): लीनियरलाइजेशन द्वारा प्रेरित इन्फिनिटेसिमल एक्शन, $D^\dagger$ के भीतर फंडामेंटल वेक्टर फील्ड्स के एक्शन के समान होना चाहिए।
- फिल्टर्ड फाइनाइट-लेवल रियलाइज़ेबिलिटी (SE2): यह संयोग 'गुड फिल्ट्रेशन्स' के संबंध में पर्याप्त बड़े 'गुड फाइनाइट-लेवल मॉडल्स' ( $\widehat{\mathcal{D}}^{(m)}$ ) पर साकार होना चाहिए। यह सुनिश्चित करता है कि फंडामेंटल वेक्टर फील्ड्स के प्रिंसिपल सिम्बल्स अच्छी तरह से परिभाषित हैं और एसोसिएटेड ग्रेडेड मॉड्यूल पर शून्य हो जाते हैं।
माइक्रोलॉकल एनालिसिस (मोमेंट मैप कंटेनमेंट): फाइनाइट-लेवल मॉडल्स का उपयोग करके, लेखक एक अंकगणितीय मोमेंट मैप $\mu_K: T^*X_s \to \mathfrak{k}_s^\vee$ का निर्माण करते हैं। मुख्य माइक्रोलॉकल तर्क यह प्रदर्शित करता है कि किसी भी फिल्टर्ड स्ट्रॉन्गly इक्वीवैरिएंट मॉड्यूल $M$ के लिए, सभी फंडामेंटल वेक्टर फील्ड्स के प्रिंसिपल सिम्बल्स $\text{Car}(M)$ पर शून्य होते हैं। फलस्वरूप, $\text{Car}(M)$ , मोमेंट मैप के जीरो फाइबर में निहित होता है, जो ऑर्बिट सेपरेबिलिटी (orbit separability) की परिकल्पना के तहत, $K_s$ -ऑर्बिट्स के कॉनॉर्मल बंडल्स के यूनियन के बराबर होता है।
होलोनोमिटी और ओवरहोलोनोमिटी:
- होलोनोमिटी: कॉनॉर्मल कंटेनमेंट, और सीमित ऑर्बिट्स की धारणा तथा अंकगणितीय बर्नस्टीन इनइक्वेलिटी के संयोजन से, $\dim \text{Car}(M) = \dim X_s$ सिद्ध होता है, जिससे यह प्रमाणित होता है कि $M$ होलोनोमिक है। यह परिणाम फ्रोबिनियस स्ट्रक्चर की धारणा के बिना भी मान्य है।
- जियोमेट्रिक ओवरहोलोनोमिटी: फ्रोबिनियस स्ट्रक्चर की उपस्थिति में, लेखक स्मूथ प्रोजेक्टिव फॉर्मल स्कीम्स के लिए बर्टेलोट की होलोनोमिटी-स्टेबिलिटी कन्सेंचर्स के समाधान (कारो के समाधान) का उपयोग करते हैं। यह फ्रोबिनियस होलोनोमिटी को फ्रोबिनियस ओवरहोलोनोमिटी में अपग्रेड करता है। ह्यूगी-श्मिट के बेस-चेंज कन्वेंशन के साथ मिलकर, यह जियोमेट्रिक ओवरहोलोनोमिटी प्रदान करता है।
ऑर्बिटल डेवॉissage (Orbital Devissage): एक बार जब ऑब्जेक्ट्स को ओवरहोलोनिक हार्ट में रख दिया जाता है, तो पेपर एक इक्वीवैरिएंट ऑर्बिटल डेवॉissage करता है। ओपन ऑर्बिट्स पर प्रतिबंध लगाकर और अंकगणितीय इंटरमीडिएट एक्सटेंशन ( $j_{!+}$ ) का उपयोग करके, सरल ऑब्जेक्ट्स को सिंगल ऑर्बिट्स पर समर्थित टुकड़ों में विघटित किया जाता है।

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

प्रमेय 1.1 (अंकगणितीय काशिवारा रेगुलरिटी):
- प्रत्येक फिल्टर्ड स्ट्रॉन्ग $K$ -इक्वीवैरिएंट कोहेरेंट $D^\dagger_{X, \mathbb{Q}}$ -मॉड्यूल, होलोनोमिक है।
- प्रत्येक फ्रोबिनियस फिल्टर्ड स्ट्रॉन्ग $K$ -इक्वीवैरिएंट कोहेरेंट $D^\dagger_{X, \mathbb{Q}}$ -मॉड्यूल, जियोमेटrically ओवरहोलोनोमिक है।
- महत्व: यह स्थापित करता है कि "फिल्टर्ड स्ट्रॉन्ग" स्थिति एक रेगुलरिटी मैकेनिज्म है। यह ऑर्बिट ज्योमेट्री के आधार पर ऑब्जेक्ट्स को होलोमिक और ओवरहोलोनिक रेंज में धकेलने के लिए मजबूर करती है, न कि ओवरहोलोनोमिटी को ए प्रायर (a priori) मानकर।
प्रमेय 1.2 (फिल्टर्ड अंकगणितीय ऑर्बिट क्लासिफिकेशन):
- फ्रोबिनियस फिल्टर्ड स्ट्रॉन्गली इक्वीवैरिएंट कोहेरेंट $D^\dagger$ $D^{†}$ -मॉड्यूल्स की कैटेगरी में सरल ऑब्जेक्ट्स को $(O, E)$ $(O, E)$ के युग्मों द्वारा वर्गीकृत किया जाता है, जहाँ:
  - $O$ विशेष फाइबर $X_s$ में एक $K_s$ -ऑर्बिट है।
  - $E$ $(O, O)$ पर एक इर्रिड्यूसिबल $K$ -इक्वीवैरिएंट ओवरकन्वर्जेंट $F$ -आइसोक्रिस्टल है।
- क्लासिफिकेशन मैप को ओपन ऑर्बिट पर प्रतिबंध द्वारा दिया गया है, और इसका व्युत्क्रम अंकगणितीय इंटरमीडिएट एक्सटेंशन $j_{O, !+}(E)$ है।
- महत्वपूर्ण रूप से, इस क्लासिफिकेशन का इमेज उन आइसोक्रिस्टल्स तक सीमित है जिनके इंटरमीडिएट एक्सटेंशन फिल्टर्ड स्ट्रॉन्ग इक्वीवैरियंस की शर्त को पूरा करते हैं (जिसे $\text{Adm}^{\Phi, \text{fstr}}_K$ द्वारा दर्शाया गया है)।
उपप्रमेय 1.1 (क्रिस्टलाइन डिस्ट्रीब्यूशन अल्जेब्रा):
- ट्रिवियल कैरेक्टर पर अंकगणितीय बेलिन-बर्नस्टीन लोकलाइजेशन के माध्यम से, जियोमेट्रिक क्लासिफिकेशन को एक बीजगणितीय क्लासिफिकेशन में स्थानांतरित किया जाता है। क्रिस्टलाइन डिस्ट्रीब्यूशन अल्जेब्रा $A_0$ पर सरल फ्रोबिनियस फिल्टर्ड स्ट्रॉन्गली इक्वीवैरिएंट फाइनाइटली प्रेजेंटेड मॉड्यूल्स को उन्हीं ऑर्बिट-आइसोक्रिस्टल युग्मों द्वारा वर्गीकृत किया जाता है।

महत्व और दावे
पेपर का दावा है कि यह "काशिवारा के प्रमेय के रेगुलरिटी भाग का अंकगणितीय अनुरूप" प्रदान करता है। इसका प्राथमिक योगदान इक्वीवैरिएंट फाइनाइट-लेवल रेगुलरिटी मैकेनिज्म है।

रेगुलरिटी बनाम अस्तित्व: लेखक स्पष्ट रूप से कहते हैं कि यह एक रेगुलरिटी प्रमेय है, न कि अस्तित्व प्रमेय। यह सिद्ध करता है कि यदि कोई ऑब्जेक्ट फिल्टर्ड स्ट्रॉन्ग कंडीशन को पूरा करता है, तो उसे होलोमिक/ओवरहोलोनिक रेंज में होने के लिए मजबूर किया जाता है। यह दावा नहीं करता कि फिल्टर्ड स्ट्रॉन्ग कंडीशन सभी वीकली इक्वीवैरिएंट ऑब्जेक्ट्स के लिए स्वतः (automatic) है, और न ही यह दावा करता है कि परिणामी मॉड्यूल्स का वर्ग गैर-इक्वीवैरिएंट ओवरहोलोनोमिक क्लासिफिकेशन को ऑर्बिट सपोर्ट पर प्रतिबंधित करने से प्राप्त वर्गों से बड़ा है।
माइक्रोलॉकल आवश्यकता: "फिल्टर्ड" क्लॉज केवल एक कॉस्मेटिक जुड़ाव नहीं बल्कि एक तकनीकी आवश्यकता है। बर्टेलोट के सिद्धांत में, कैरैक्टरिस्टिक वैरायटी को फाइनाइट-लेवल मॉडल्स के माध्यम से परिभाषित किया जाता है। स्ट्रॉन्ग कंडीशन यह सुनिश्चित करती है कि इन्फिनिटेसिमल सिमेट्री इस स्तर पर दृश्यमान हो, जिससे प्रिंसिपल सिंबल तर्क कार्य कर सके। इसके बिना, बड़े कोहेरेंट मॉड्यूल्स (जैसे $D^\dagger$ स्वयं) वीक इक्वीवैरियंस रख सकते हैं लेकिन होलोनोमिक होने में विफल हो सकते हैं।
पिछले कार्य से अंतर: जबकि ह्यूगी और श्मिट ने पहले ही स्थानीय रूप से बंद उप-विवरशियों (locally closed subvarieties) पर ओवरकन्वर्जेंट आइसोक्रिस्टल्स का उपयोग करके इर्रिड्यूसिबल मॉड्यूल्स को वर्गीकृत किया था, यह पेपर इस चित्र को $K_s$ -ऑर्बिट स्ट्रैटिफिकेशन तक परिष्कृत करता है। यह सिद्ध करता है कि सीमित-ऑर्बिट और ऑर्बिट-सेपरेबिलिटी परिकल्पनाओं के तहत, एक सरल इक्वीवैरिएंट ऑब्जेक्ट का सपोर्ट वास्तव में एक सिंगल ऑर्बिट का क्लोजर होता है, और उसका गुणांक (coefficient) उस ऑर्बिट पर एक इक्वीवैरिएंट आइसोक्रिस्टल होता है।

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