🔢 mathematics

Cancellation problem via locally nilpotent derivations

यह लेख कम्यूटेटिव (commutative), नॉन-कम्यूटेटिव (noncommutative) और स्क्यू (skew) बीजगणितों में ज़ारिस्की कैंसिलेशन समस्या (Zariski cancellation problem) का एक एकीकृत सर्वेक्षण प्रदान करता है, जो यह दर्शाता है कि कैसे स्थानीय रूप से निलंबन योग्य व्युत्पन्न (locally nilpotent derivations) और माकर-लिमानोव इनवेरिएंट (Makar–Limanov invariant) रिजिड सेटिंग्स में कैंसिलेशन का प्रभावी ढंग से पता लगाते हैं, जबकि स्क्यू एक्सटेंशन (skew extensions) में उनकी सीमाओं को भी रेखांकित करते हैं।

मूल लेखक: César F. Venegas R., Helbert J. Venegas R

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

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

CC BY 4.0

मूल लेखक: César F. Venegas R., Helbert J. Venegas R

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

कल्पना कीजिए कि आपके पास लेगो ब्रिक्स (Lego bricks) का एक जादुई डिब्बा है। आप एक विशिष्ट संरचना बनाते हैं, जिसे हम संरचना A (Structure A) कहते हैं। फिर, आप एक विशेष "विस्तार" ईंट (जिसे हम ईंट T (Brick T) कहते हैं) लेते हैं और उसे अपनी संरचना से जोड़ देते हैं। अब आपके पास संरचना A + T है।

ज़ारिस्की कैंसिलेशन समस्या (Zariski Cancellation Problem) एक बहुत ही सरल लेकिन पेचीदा सवाल पूछती है:

यदि मैं आपको एक अलग संरचना, संरचना B (Structure B), दूँ, और मैं आपसे कहूँ कि संरचना B + T बिल्कुल संरचना A + T जैसी ही दिखती है, तो क्या आप 100% सुनिश्चित हो सकते हैं कि संरचना B मूल रूप से संरचना A के समान ही थी?

गणित की दुनिया में, "संरचना A" एक बीजगणित (संख्याओं और चरों का एक समूह) है, और "ईंट T" बस एक नया चर जोड़ना है (जैसे $x$ को $x[t]$ में बदलना)।

यह शोध पत्र, जो वेनेगास आर. और वेनेगास आर. द्वारा लिखा गया है, इस पहेली को हल करने के लिए एक मार्गदर्शिका है। यह गणित के तीन अलग-अलग "विश्वों" की खोज करता है:

क्रमविनिमेय विश्व (The Commutative World): जहाँ गुणा करने का क्रम मायने नहीं रखता ( $A \times B = B \times A$ )।
गैर-क्रमविनिमेय विश्व (The Noncommutative World): जहाँ क्रम मायने रखता है ( $A \times B \neq B \times A$ )।
स्क्यू विश्व (The Skew World): एक घुमावदार (twisted) संस्करण जहाँ गुणा के नियम एक "घुमाव" (जैसे पेंच घुमाने के लिए स्क्रूड्राइवर का उपयोग करना) द्वारा मुड़े हुए होते हैं।

लेखक इसे हल करने के लिए एक विशिष्ट उपकरण का उपयोग करते हैं: स्थानीय शून्यकलनीय अवकलज (Locally Nilpotent Derivations - LNDs)।

जादुई उपकरण: स्थानीय शून्यकलनीय अवकलज (LNDs)

एक LND को एक "जादुई इरेज़र" या एक "प्रवाह (Flow)" के रूप में सोचें जो आपकी गणितीय संरचना के माध्यम से चलता है।

यदि आप इस इरेज़र को संरचना के किसी हिस्से पर लागू करते हैं, तो यह उस हिस्से को बदल सकता है।
यदि आप इसे बार-बार लागू करते हैं, तो अंततः वह हिस्सा पूरी तरह से गायब हो जाएगा (शून्य हो जाएगा)।
यदि संरचना का कोई हिस्सा इरेज़र लगाने के बावजूद कभी गायब नहीं होता, तो वह हिस्सा कठोर (Rigid) है। वह अपनी जगह पर अटका हुआ है।

लेखक एक विशेष स्कोरकार्ड का उपयोग करते हैं जिसे माकर-लिमानोव (ML) इनवेरिएंट कहा जाता है।

उच्च ML स्कोर (कठोर/Rigid): संरचना बहुत सख्त है। इसमें बहुत कम "जादुई इरेज़र" हैं जो इस पर काम कर सकते हैं। यह कंक्रीट के एक ठोस ब्लॉक की तरह है।
निम्न ML स्कोर (लचीला/Flexible): संरचना बहुत ढीली है। इसमें कई "जादुई इरेज़र" हैं। यह रेत के ढेर या पानी की तरह है जो हर जगह बह सकता है।

तीन-चरणीय रणनीति

कागज में बताया गया है कि कई संरचनाओं के लिए, आप इस सरल तीन-चरणीय विधि से कैंसिलेशन समस्या को हल कर सकते हैं:

कठोरता की जाँच करें: यह देखने के लिए कि संरचना सख्त (Rigid) है या लचीली (Flexible), ML इनवेरिएंट का उपयोग करें।
स्थिरता परीक्षण (The Stability Test): अपनी संरचना में "ईंट T" जोड़ें। क्या कठोरता वैसी ही रहती है? (आमतौर पर, यदि आप एक कठोर ब्लॉक में ईंट जोड़ते हैं, तो वह कठोर ही रहता है)।
निष्कर्ष:
- यदि संरचना कठोर (Rigid) है, तो यह सिद्ध करना आमतौर पर आसान होता है कि संरचना A = संरचना B। इसकी कठोरता उन्हें एक-दूसरे के रूप में छिपने से रोकती है।
- यदि संरचना लचीली (Flexible) है, तो यह कठिन है। लेकिन "क्रमविनिमेय विश्व" (2D) में, हम जानते हैं कि लचीली संरचनाएं कैसी दिखती हैं, इसलिए हम इसे अभी भी हल कर सकते हैं।

तीन विश्वों की यात्रा

1. क्रमविनिमेय विश्व (The Classic Puzzle)

स्थिति: 1D और 2D के लिए हल किया गया, लेकिन 3D और उच्च आयामों के लिए अनसुलझा है।
उपमा: 2D में (जैसे कागज का एक सपाट पन्ना), हम जानते हैं कि कौन से आकार "कठोर" हैं और कौन से "लचीले"। यदि दो आकार एक नया आयाम जोड़ने के बाद समान हो जाते हैं, तो वे शुरू से ही समान थे।
समस्या: 3D (जैसे एक घन/cube) में, कुछ अजीब, विलक्षण आकार होते हैं (जिन्हें रसेल-कोरास थ्रीफोल्ड्स कहा जाता) जो एक आयाम जोड़ने पर घन की तरह दिखते हैं, लेकिन वास्तव में घन नहीं होते। यहाँ "जादुई इरेज़र" उपकरण काम करना बंद कर देता है क्योंकि ये आकार बहुत पेचीदा होते हैं।

2. गैर-क्रमविनिमेय विश्व (The Twisted Rules)

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

3. स्क्यू विश्व (The Ultimate Twist)

स्थिति: मुख्य रूप से अनसुलझा।
उपमा: यह सबसे कठिन स्तर है। कल्पना कीजिए कि आपके लेगो ब्रिक्स स्प्रिंग्स या गियर्स (घुमाव $\sigma$ और $\delta$ ) द्वारा जुड़े हुए हैं।
बड़ा आश्चर्य: इस दुनिया में, "स्थिरता परीक्षण" टूट जाता है।
- अन्य दुनिया में, यदि आप एक कठोर संरचना में ईंट जोड़ते हैं, तो वह कठोर ही रहती है।
- स्क्यू दुनिया में, ईंट जोड़ने से एक कठोर संरचना अचानक लचीली हो सकती है, या एक लचीली संरचना कठोर हो सकती है, यह इस पर निर्भर करता है कि गियर्स को कैसे घुमाया गया है।
- पेपर का उदाहरण 5.2: लेखक दिखाते हैं कि एक विशिष्ट मामले में, "घुमाव" बदलने से कठोरता का स्कोर पूरी तरह से बदल जाता है। इसका मतलब है कि "जादुजी इरेज़र" उपकरण यहाँ अक्सर विफल हो जाता है क्योंकि यह भविष्यवाणी नहीं कर सकता कि नई ईंट जोड़ने पर क्या होगा।

यह क्यों महत्वपूर्ण है

यह शोध पत्र मूल रूप से एक मानचित्र है जो हमें दिखाता है:

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

निष्कर्ष

लेखक कह रहे हैं: "हमने एक बहुत ही शानदार टॉर्च (LNDs) खोज ली है जो हमें कई मामलों में कैंसलेशन समस्या का उत्तर खोजने में मदद करती है। यह सरल दुनिया और घुमावदार-लेकिन-कठोर दुनिया में बहुत अच्छा काम करती है। लेकिन वास्तव में जटिल, घुमावदार दुनिया में, टॉर्च की रोशनी टिमटिमाकर बुझ जाती है। हमें आगे बढ़ने के लिए नई टॉर्च (नए गणितीय उपकरण) बनाने की आवश्यकता है।"

यह सर्वेक्षण इस बात का उत्सव है कि उस टॉर्च ने हमें कितनी दूर तक पहुँचाया है, और यह एक ईमानदार नज़र है कि रास्ता कहाँ अंधेरा है, जो भविष्य के खोजकर्ताओं को बेहतर उपकरण लाने के लिए आमंत्रित करता है।

यहाँ सेसर एफ. वेनेगास आर. और हेल्बर्ट जे. वेनेगास आर. के शोध पत्र "Cancellation Problem via Locally Nilpotent Derivations" का विस्तृत तकनीकी सारांश दिया गया है।

1. मुख्य समस्या: ज़ारिस्की कैंसिलेशन प्रॉब्लम (ZCP)

यह शोध पत्र ज़ारिस्की कैंसिलेशन प्रॉब्लम (Zariski Cancellation Problem) को संबोधित करता है, जो बीजगणितीय ज्यामिति (algebraic geometry) और रिंग थ्योरी का एक मौलिक प्रश्न है।

परिभाषा: यदि एक क्षेत्र $k$ और एक बीजगणव (algebra) $A$ दिया गया हो, और यदि बहुपद विस्तार (polynomial extension) $A[t]$ , किसी बीजगणव $B$ के लिए $B[t]$ के समरूप (isomorphic) है, तो क्या यह अनिवार्य रूप से सिद्ध होता है कि $A \cong B$ ?
संदर्भ:
- क्रमविनिमेय मामला (Commutative Case): $n=1$ के लिए, उत्तर 'हाँ' है। $n=2$ के लिए, इसे सत्य सिद्ध किया गया था (अभयंकर, एकिन, हेइन्ज़र; मियानिशी, आदि)। शून्य विशेषता (characteristic zero) में $n \geq 3$ के लिए, समस्या खुली (open) है, हालांकि धनात्मक विशेषता (positive characteristic) में प्रतिउदाहरण (counterexamples) मौजूद हैं (गुप्ता)।
- गैर-क्रमविनिमेय मामला (Noncommutative Case): आर्टिन-शेल्टर (AS) नियमित बीजगणवों जैसे बीजगणवों के लिए इसकी जांच की गई है।
- स्क्यू मामला (Skew Case): ऑरे विस्तार (Ore extensions) $R[x; \sigma, \delta]$ में सामान्यीकृत किया गया है, जहाँ चर $x$ मानक तरीके से गुणांकों के साथ क्रमविनिमेय नहीं होता है ( $xr = \sigma(r)x + \delta(r)$ )।

2. कार्यप्रणाली: लोकली निलपोटेंट डेरिवेशंस (LNDs)

लेखक लोकली निलपोटेंट डेरिवेशंस (Locally Nilpotent Derivations - LNDs) और माकर-लिमानोव (ML) इनवेरिएंट के दृष्टिकोण के माध्यम से इन समस्याओं के अध्ययन को एकीकृत करते हैं।

लोकली निलपोटेंट डेरिवेशन (LND): एक $k$ -रैखिक डेरिवेशन $D: A \to A$ ऐसा है कि प्रत्येक $a \in A$ के लिए, एक $n$ विद्यमान है जहाँ $D^n(a) = 0$ । शून्य विशेषता में, LNDs एडिटिव ग्रुप $\mathbb{G}_a$ के बीजगणितीय क्रियाओं (algebraic actions) के अनुरूप होते हैं।
माकर-लिमानोव इनवेरिएंट ($ML(A)$): इसे सभी LNDs के कर्नेल (kernels) के प्रतिच्छेदन के रूप में परिभाषित किया गया है:
$ML(A) = \bigcap_{D \in \text{LND}(A)} \ker(D)$
कठोरता (Rigidity): एक बीजगणव $A$ को LND-रिजिड कहा जाता है यदि $ML(A) = A$ (अर्थात, इसमें कोई गैर-तुच्छ LND नहीं है)।
रणनीति: शोध पत्र प्रमाण (proving cancellation) के लिए एक "तीन-चरणीय प्रतिमान" स्थापित करता है:
1. $ML(A)$ की गणना या लक्षण वर्णन करें।
2. ML-स्थिरता (ML-stability) स्थापित करें: यह निर्धारित करें कि क्या $ML(A[t]) = ML(A)$ है।
3. कैंसिलेशन को निष्कर्षित करें: यदि $ML(A[t]) = ML(B[t]) $और$ ML $की संरचना$ A \cong B$ को बल देती है, तो कैंसिलेशन मान्य होता है।

3. अनुभागों के अनुसार प्रमुख योगदान और परिणाम

अनुभाग 1: पूर्ववृत्त और परिभाषाएँ (Preliminaries and Definitions)

डेरिवेशंस, LNDs और ML इनवेरिएंट की मूलभूत परिभाषाओं को स्थापित करता है।
मुख्य अंतर्दृष्टि: शून्य विशेषता में, $ML(A)$, $\mathbb{G}_a$ -क्रियाओं के विरुद्ध $A$ की "कठोरता" को मापता है।
उदाहरण:
- लचीला (Flexible): $k[x,y]$ के लिए $ML(k[x,y]) = k$ है।
- मध्यवर्ती (Intermediate): डैनिएलेव्स्की सतहें ( $x^n y - z^2 - 1 = 0$ ) का $ML = k[x]$ है।
- कठोर (Rigid): कुछ भारित समरूप रिंग्स (जैसे, $x^2+y^3+z^7=0$ ) के लिए $ML(A) = A$ है।

अनुभाग 2: क्रमविनिमेय कैंसिलेशन (The Classical Case)

विमा 1 (Dimension 1): सिद्ध करता है कि कोई भी अफ़ाइन डोमेन जिसका क्रुल आयाम (Krull dimension) 1 है, या तो कठोर है या एक परिमित विस्तार के ऊपर बहुपद रिंग के समरूप है। दोनों मामलों में, कैंसिलेशन मान्य होता है।
विमा 2 (Dimension 2): माकर-लिमानोव द्विशाखता (Makar-Limanov Dichotomy) का उपयोग करता है। विमा 2 के UFD के लिए, या तो $ML(A)=A $(कठोर) या$ $(कठोर) या$ ML(A)=k $(लचीला, जो$ $(लचीला, जो$ A \cong k[x,y]$ को दर्शाता है)।
- परिणाम: $k[x,y]$ कैंसलेटिव है। इसका प्रमाण इस तथ्य पर निर्भर करता है कि यदि $A[t] \cong B[t]$ , तो $ML(A) = ML(B) $। चूंकि$ ML(k[x,y])=k $, इसलिए$ B $को भी लचीला होना चाहिए और इस प्रकार$ k[x,y]$ के समरूप होना चाहिए।
विमा 3+ (Dimension 3+): यहाँ विधि विफल हो जाती है। शोध पत्र रसेल-कोरास थ्रीफोल्ड्स (Russell-Koras threefolds) और गुप्ता के प्रतिउदाहरणों (धनात्मक विशेषता में) का उल्लेख करता है जहाँ ML इनवेरिएंट्स गैर-तुच्छ हैं लेकिन कैंसिलेशन सुनिश्चित नहीं करते हैं, या जहाँ विशिष्ट इनवेरिएंट्स के बावजूद कैंसिलेशन विफल हो जाता है।

अनुभाग 3: गैर-क्रमविनिमेय कैंसिलेशन (Noncommutative Cancellation)

सामान्यीकरण: बेल और झांग ने गैर-क्रमविनिमेय बीजगणवों के लिए ML इनवेरिएंट का विस्तार किया है।
मुख्य प्रमेय: यदि $A$ एक परिमित जनक (finitely generated) ऑरे डोमेन है जिसका सीमित गेल्फैंड-किरिलोव (GK) आयाम है, और यदि $ML(A[t]) = A $है, तो$ A$ कैंसलेटिव है।
मुख्य परिणाम:
- GK-आयाम 1: सभी अफ़ाइन डोमेन कैंसलेटिव हैं।
- GK-आयाम 2: सभी गैर-क्रमविनिमेय अफ़ाइन डोमेन कैंसलेटिव हैं। यह क्रमविनिमेय मामले (जहाँ $k[x,y]$ लचीला है) के बिल्कुल विपरीत है। गैर-क्रमविनिमेय सतहें आमतौर पर कठोर ($ML(A)=A$) होती हैं, जो कैंसिलेशन को बल देती हैं।
- प्रतिउदाहरण: शोध पत्र नोट करता है कि मध्यवर्ती ML इनवेरिएंट्स (जैसे गैर-क्रमविनिमेय डैनिएलेव्स्की सतहों में) गैर-कैंसिलेशन की ओर ले जा सकते हैं।

अनुभाग 4: स्क्यू कैंसिलेशन (Ore Extensions)

समस्या: क्या $R[x; \sigma, \delta] \cong S[y; \sigma', \delta']$ होने पर $R \cong S$ होता है?
विमा 1: विमा 1 के क्रमविनिमेय डोमेन के लिए समस्या हल की गई है। केंद्र (center) और स्लाइस प्रमेय (slice theorem) का उपयोग $R \cong S$ को सिद्ध करने के लिए किया जाता है।
मौलिक बाधा (ML-स्थिरता की विफलता):
- क्रमविनिमेय और गैर-क्रमविनिमेय बहुपद विस्तारों में, $ML(A[t]) = ML(A)$ सामान्यतः सत्य होता है।
- महत्वपूर्ण खोज: स्क्यू सेटिंग में, ML-स्थिरता विफल हो जाती है। एक ऑरे विस्तार का ML इनवेरिएंट ट्विस्टिंग मैप्स $(\sigma, \delta)$ पर अत्यधिक निर्भर करता है।
- उदाहरण 5.2: लेखक एक उदाहरण निर्मित करते हैं जहाँ $R=k[y]$ $R = k [y]$ है।
  - यदि $\delta = 0$ , तो $ML(R[x]) = k$।
  - यदि $\delta = y \frac{d}{dy}$ , तो $ML(R[x; \delta]) = k[y]$ ।
- निहितार्थ: शास्त्रीय LND ढांचा टूट जाता है क्योंकि इनवेरिएंट विस्तार के तहत स्थिर नहीं रहता है। उच्च विमाओं वाले स्क्यू विस्तारों के लिए कैंसिलेशन का कोई सार्वभौमिक मानदंड नहीं है।

अनुभाग 5: खुली समस्याएँ और भविष्य की दिशाएँ

शोध पत्र क्षेत्र की वर्तमान स्थिति का संश्लेषण करता है और अंतराल की पहचान करता है:

गैर-क्रमविनिमेय उच्च विमाएँ: जबकि GK-dim 1 और 2 हल किए गए हैं, उच्च-विमीय AS-नियमित बीजगणवों (GK-dim $\geq 3$ $\geq 3$ ) के लिए कैंसिलेशन समस्या अभी भी खुली है।
- प्रस्तावित समाधान: LNDs को होमोलॉजिकल इनवेरिएंट्स (Nakayama automorphisms, discriminants) और प्वासों ज्यामिति (Poisson geometry) के साथ जोड़ना।
स्क्यू चुनौती (The Skew Challenge): स्क्यू कैंसिलेशन के लिए एक सामान्य सिद्धांत गायब है।
- प्रस्तावित समाधान: " $\sigma$ -ट्विस्टेड" LNDs विकसित करना, मोरिटा (Morita) स्क्यू कैंसिलेशन की जांच करना, या अनट्विस्टेड मामले तक कम करने के लिए ग्रेडेड तकनीकों का उपयोग करना।
एकीकृत परिप्रेक्ष्य: शोध पत्र तर्क देता है कि जबकि LNDs एक एकीकृत सूत्र प्रदान करते हैं, स्क्यू और उच्च-विमीय मामलों में इस सूत्र का "बिखरना" (fraying) यह दर्शाता है कि भविष्य के अनुसंधान के लिए केवल डेरिवेशन-आधारित दृष्टिकोणों से आगे बढ़कर होमोलॉजिकल, ज्यामितीय और विरूपण-सैद्धांतिक (deformation-theoretic) उपकरणों के संश्लेषण की आवश्यकता है।

4. कार्य का महत्व

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

परिणामों की सारांश तालिका

सेटिंग	विमा (Dimension)	कैंसिलेशन की स्थिति	LND/ML की भूमिका
क्रमविनिमेय (Commutative)	1	हल किया गया (हाँ)	ML के माध्यम से पूर्ण वर्गीकरण।
	2	हल किया गया (हाँ)	ML-स्थिरता + द्विशाखता (कठोर बनाम लचीला)।
	$\geq 3$	खुला (Open) (Char 0)	ML इनवेरिएंट्स मौजूद हैं लेकिन अपर्याप्त हैं; Char $p$ में प्रतिउदाहरण।
गैर-क्रमविनिमेय (Noncommutative)	1	हल किया गया (हाँ)	स्लाइस प्रमेय + ML।
	2	हल किया गया (हाँ)	गैर-क्रमविनिमेय सतहें आमतौर पर कठोर ($ML=A$) होती हैं।
	$\geq 3$	आंशिक/खुला	होमोलॉजिकल टूल्स (Nakayama, discriminants) की आवश्यकता।
स्क्यू (Ore)	1	हल किया गया (हाँ)	केंद्र विश्लेषण + स्लाइस प्रमेय।
	$\geq 2$	खुला (Open)	ML-स्थिरता विफल; ट्विस्टिंग मैप्स $(\sigma, \delta)$ मानक इनवेरिएंट्स को नष्ट कर देते हैं।