🔢 mathematics

Homological Detection by Perfectoid Algebras

यह शोध पत्र परफेक्टॉइड बीजगणित (perfectoid algebras) का उपयोग करते हुए मिश्रित अभिलक्षण (mixed characteristic) में मॉड्यूल और स्थानीय वलयों (local rings) के होमोलॉजिकल अभिलक्षण स्थापित करता है, जो फ्रोबेनियस रूपांतरणों (Frobenius morphisms) पर आधारित ज्ञात धनात्मक-अभिलक्षण परिणामों के अनुरूप हैं।

मूल लेखक: Mohsen Asgharzadeh, Ryo Ishizuka

प्रकाशित 2026-07-21

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

CC BY 4.0

मूल लेखक: Mohsen Asgharzadeh, Ryo Ishizuka

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

कल्पना कीजिए कि आप एक रहस्यमय, अदृश्य शहर के आकार को समझने की कोशिश कर रहे हैं। गणित में, यह "शहर" एक संरचना है जिसे रिंग (ring) कहा जाता है, जो संख्याओं का एक समूह है जो जोड़ने और गुणा करने के विशिष्ट नियमों का पालन करते हैं। कुछ शहर चिकने और व्यवस्थित (जिन्हें "रेगुलर" कहा जाता है) होते हैं, कुछ में नुकीले, ऊबड़-खाबड़ कोने (जिन्हें "सिंगुलैरिटीज" कहा जाता है) होते हैं, और कुछ एक विशेष प्रकार की समरूपता (जिसे "गोरेनस्टीन" कहा जाता है) के साथ बने होते हैं। दशकों तक, गणितज्ञों के पास इन शहरों का निरीक्षण करने के लिए एक जादुई टॉर्च थी, लेकिन यह केवल एक विशिष्ट पड़ोस में ही काम करती थी: पॉजिटिव विशेषता (positive characteristic) की दुनिया। इस पड़ोस में, टॉर्च एक उपकरण थी जिसे फ्रोबेनियस मॉर्फिज्म (Frobenius morphism) कहा जाता था, जो एक विशेष लेंस की तरह कार्य करता था जो संख्याओं को वर्ग करने, घन करने या उन्हें $p$ -वीं घात तक बढ़ाने के माध्यम से शहर के वास्तविक आकार को प्रकट करता था।

हालाँकि, एक बहुत बड़ा, अधिक जटिल पड़ोस है जिसे मिक्स्ड विशेषता (mixed characteristic) कहा जाता है, जहाँ शहर के नियम थोड़े अधिक उलझे हुए हैं (जिसमें अभाज्य संख्याएँ जैसे 2, 3, या 5 एक अलग तरीके से शामिल होती हैं)। लंबे समय तक, पुरानी टॉर्च यहाँ काम नहीं करती थी। फिर, एक नया, सुपर-शक्तिशाली उपकरण आया: परफेक्टॉइड बीजगणित (perfectoid algebras)। इन्हें "सुपर-लेंस" के रूप में सोचें जो मिक्स्ड विशेषता के कोहरे के पार देख सकता है, जो एक सार्वभौमिक अनुवादक की तरह कार्य करता है जो जटिल और अव्यवस्थित संरचनाओं को पुराने पड़ोसों की तरह साफ और पूर्ण बना देता है। गणितज्ञों द्वारा पूछा जाने वाला बड़ा सवाल यह था: "यदि यह नया लेंस बता सकता है कि एक शहर चिकना (रेगुलर) है, तो क्या यह अन्य छिपी हुई विशेषताओं, जैसे कि इसमें कितने 'छेद' हैं या यह कितना सममित है, के बारे में भी बता सकता है?"

मोहसेन असघर्ज़देह और रियो इशिज़ुका द्वारा लिखा गया यह शोध पत्र इस प्रश्न का दृढ़ता से "हाँ" के साथ उत्तर देता है। लेखक दिखाते हैं कि परफेक्टॉइड बीजगणित न केवल चिकने शहरों को पहचानने में अच्छे हैं; बल्कि वे इंजेक्टिव डायमेंशन (injective dimensions) (एक माप कि कोई संरचना कितनी "गहरी" या "जटिल" है) को खोजने और गोरेनस्टीन रिंग्स (Gorenstein rings) (एक बहुत ही विशिष्ट, सुंदर समरूपता वाले शहर) की पहचान करने के लिए भी उत्कृष्ट जासूस हैं।

उन्होंने इसे कैसे किया? टीम ने पहले कुछ आधारभूत नियम स्थापित किए कि ये परफेक्टॉइड लेंस कैसे व्यवहार करते हैं। उन्होंने सिद्ध किया कि यदि आप एक परफेक्टॉइड बीजगणित लेते हैं और एक "रेडिकल आइडियल" (कल्पना कीजिए कि आप इमारतों का एक विशिष्ट सेट हटा रहे हैं जो एक सामान्य मूल/रूट साझा करते हैं) द्वारा परिभाषित एक हिस्सा काटते हैं, तो बचा हुआ हिस्सा बहुत अधिक अस्त-व्यस्त नहीं होता है। विशेष रूप से, उन्होंने गणना की कि "प्रोजेक्टिव डायमेंशन" (एक माप कि उस हिस्से को शुरुआत से बनाने में कितने चरणों की आवश्यकता होती है) एक विशिष्ट संख्या तक सीमित है: $2(r + 1)$ से कम या उसके बराबर, जहाँ $r$ उस आइडियल के जनरेटरों की संख्या है। उन्होंने यह भी दिखाया कि यदि मूल लेंस का "इंजेक्टिव डायमेंशन" (जटिलता का एक माप) परिमित था, तो कटा हुआ हिस्सा भी उतना ही सरल या उससे भी सरल होगा।

इन नियमों के साथ, लेखकों ने परफेक्टॉइड लेंस का उपयोग करके कई लंबे समय से चले आ रहे पहेलियों को हल किया।

फाइनाइट इंजेक्टिव डायमेंशन का पता लगाना: उन्होंने सिद्ध किया कि एक मॉड्यूल (शहर का एक निर्माण खंड) का इंजेक्टिव डायमेंशन परिमित है यदि और केवल यदि एक विशिष्ट परीक्षण (जिसमें परफेक्टॉइड बीजगणित शामिल है) पर्याप्त बड़े चरणों के लिए शून्य परिणाम देता है। यह कहने जैसा है कि, "यदि आप किसी इमारत पर इस परफेक्टॉइड रोशनी को चमकाते हैं और यह एक निश्चित बिंदु के बाद किसी भी 'शोर' को परावर्तित करना बंद कर देती है, तो इमारत संरचनात्मक रूप से सुदृढ़ है।"
गोरेनस्टीन रिंग्स को खोजना: उन्होंने दिखाया कि एक लोकल रिंग गोरेनस्टीन है (जिसमें वह विशेष समरूपता है) यदि और केवल यदि परफेक्टॉइड लेंस इसके गणितीय "गूँज" (Ext groups) में एक लुप्त होने वाला पैटर्न (vanishing pattern) प्रकट करता है। यह एक प्रसिद्ध परिणाम का मिक्स्ड-कैरेक्टरिस्टिक संस्करण है जो पहले केवल पुराने फ्रोबेनियस टॉर्च के साथ काम करता था।
रेगुलर रिंग्स की पहचान करना: शायद सबसे महत्वपूर्ण बात यह है कि उन्होंने पाया कि एक रिंग रेगुलर (पूरी तरह से चिकनी) है यदि और केवल यदि एक परफेक्टॉइड बीजगणित मौजूद है जिसका इंजेक्टिव डायमेंशन परिमित है। यह भट्ट, 이야ंगर और मा के एक प्रसिद्ध परिणाम का सीधा प्रतिबिंब है, लेकिन जहाँ वे लेंस के "फ्लैट" होने को देखते थे, वहीं इन लेखकों ने यह देखा कि लेंस कितना "गहरा" या "इंजेक्टिव" है।

यह शोध पत्र कोहेन-मामले (Cohen–Macaulay) मॉड्यूल्स की अवधारणा को भी संबोधित करता है, जो ऐसे संरचनाएं हैं जो एक विशिष्ट तरीके से "संतुलित" होती हैं। लेखकों ने प्रदर्शित किया कि आप एक मॉड्यूल को कोहेन-मामले के रूप में पहचान सकते हैं यदि आप यह जाँचते हैं कि क्या परफेक्टॉइड लेंस एक विशिष्ट गहराई के नीचे कुछ गणितीय संकेतों के "लुप्त होने" (vanishing) को देखता है। यदि संकेत ठीक वहीं गायब हो जाते जहाँ उन्हें होना चाहिए, तो मॉड्यूल पूरी तरह से संतुलित है।

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

तकनीकी सारांश: परफेक्टॉइड बीजगणिकों द्वारा होमोलॉजिकल डिटेक्शन (Homological Detection by Perfectoid Algebras)

समस्या विवरण (Problem Statement)

यह शोध पत्र उस अंतराल को संबोधित करता है जो यह समझने में है कि परफेक्टॉइड बीजगणिक (perfectoid algebras), जो $p$ -एडिक ज्यामिति और मिश्रित-विशेषता (mixed-characteristic) विलक्षणता सिद्धांत में मौलिक हो गए हैं, द्वैत होमोलॉजिकल इनवेरिएंट्स (dual homological invariants) के साथ कैसे अंतःक्रिया करते हैं। जबकि पिछले कार्यों (विशेष रूप से भट्ट, 이야ंगर और मा) ने यह स्थापित किया था कि परफेक्टॉइड बीजगणिक मिश्रित विशेषता में 'फ्लैट डाइमेंशन' (flat dimension) के माध्यम से नियमितता (regularity) का पता लगाते हैं (जो धनात्मक विशेषता में फ्रोबेनियस मोर्फिज्म पर कुन्ज़ और पेस्के-स्पिरो के परिणामों के समान है), 'इंजेक्टिव डाइमेंशन' ( $\text{idim}_R(-)$ ) और संबंधित द्वैत गुणों के बारे में बहुत कम ज्ञात है। लेखक एक ऐसा सिद्धांत विकसित करने का लक्ष्य रखते हैं जहाँ परफेक्टॉइड बीजगणिक मिश्रित विशेषता में परिमित इंजेक्टिव डाइमेंशन, गोरेनस्टीन (Gorenstein) गुणों, कोहेन-माले (Cohen–Macaulayness), और नियमितता का पता लगा सकें, जो फ्रोबेनियस एंडोमोर्फिज्म से जुड़े शास्त्रीय परिणामों के अनुरूप हो।

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

लेखक होमोलॉजिकल अलजेब्रा, स्पेक्ट्रल सीक्वेंस और परफेक्टॉइड बीजगणिकों के संरचनात्मक गुणों के संयोजन का उपयोग करते हैं।

भागों (Quotients) के लिए डाइमेंशन अनुमान: बुनियादी कदम रेडिकल आइडियल्स (radical ideals) द्वारा परफेक्टॉइड बीजगणिकों के भागों के प्रोजेक्टिव और इंजेक्टिव डाइमेंशन के लिए सीमाएं स्थापित करना है।
- वे $\text{Ext}_R^{p+q}(S/J, M)$ को $\text{Ext}_S^p(S/J, \text{Ext}_R^q(S, M))$ से जोड़ने के लिए स्पेक्ट्रल सीक्वेंस $E_2^{p,q} = \text{Ext}_S^p(S/J, \text{Ext}_R^q(S, M)) \Rightarrow \text{Ext}_R^{p+q}(S/J, M)$ का उपयोग करते हैं।
- वे $D(R)$ में कोलिमिट्स (colimits) और डेरिव्ड लिमिट्स (derived limits) का उपयोग करके "परफेक्टली प्रिंसिपल आइडियल्स" (एक सुसंगत $p$ -पावर रूट सिस्टम द्वारा जनरेट किए गए आइडियल) के प्रोजेक्टिव डाइमेंशन का विश्लेषण करते हैं। विशेष रूप से, वे दिखाते हैं कि एक यूनिट मल्टीपल ऑफ $p$ के संगत $p$ -पावर रूटों द्वारा जनरेट किया गया आइडियल अधिकतम 1 का प्रोजेक्टिव डाइमेंशन रखता है।
- एक रेडिकल आइडियल के जनरेटिंग सेट पर इन तर्कों को दोहराकर, वे $A/\sqrt{I}A$ के लिए प्रोजेक्टिव डाइमेंशन का ऊपरी आबंध (upper bound) $2(r+1)$ प्राप्त करते हैं, जहाँ $I$ को $r$ तत्वों तक रेडिकल के रूप में जनरेट किया गया है।
द्वैत होमोलॉजिकल लक्षण (Dual Homological Characterizations):
- लेखक मैटलिस ड्युअलिटी (Matlis duality) फंक्टर का उपयोग प्रोजेक्टिव और इंजेक्टिव डाइमेंशन के बीच परिणामों को अनुवादित करने के लिए करते हैं।
- वे गैर-परिमित जनित मॉड्यूल्स (non-finitely generated modules) के लिए गोरेनस्टीन गुणों को विस्तारित करने के लिए इनोच और जेन्डा द्वारा पेश किए गए गोरेनस्टीन प्रोजेक्टिव डाइमेंशन ( $\text{Gpd}_R(-)$ ) का उपयोग करते हैं।
- प्रमाण अक्सर इस तथ्य पर निर्भर करते हैं कि यदि किसी मॉड्यूल $M$ का इंजेक्टिव डाइमेंशन परिमित है, तो किसी भी बीजगणिक $A$ के लिए $\text{Ext}_R^i(A, M) = 0$ होता है $i \gg 0$ के लिए। नवीनता यह सिद्ध करने में है कि यदि यह विलोपन (vanishing) एक विशिष्ट परफेक्टॉइड बीजगणिक $A$ के लिए होता है, तो $M$ का इंजेक्टिव डाइमेंशन परिमित होना चाहिए।
परफेक्टॉइड स्थितियों का उपयोग: पेपर में एक विशिष्ट सेट की शर्तें (Notation 3.1) परिभाषित की गई हैं कि एक $R$ -बीजगणिक $A$ इन प्रमेयों के संदर्भ में "परफेक्टॉइड-जैसा" होने के लिए क्या होना चाहिए। इसमें एक रेड्यूस्ड बीजगणिक शामिल है जिसमें $p$ के एक यूनिट मल्टीपल के संगत $p$ -पावर रूट होते हैं, ताकि इन रूटों द्वारा जनरेट किए गए आइडियल द्वारा भाग (quotient) परफेक्ट हो। यह लेखकों को सख्त परफेक्टॉइड परिभाषा को कमजोर करने की अनुमति देता है जबकि आवश्यक होमोलॉजिकल गुणों को बनाए रखता है।

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

1. डाइमेंशन अनुमान (अनुभाग 2)

प्रपोजिशन 2.3: एक रेड्यूस्ड $R$ -बीजगणिक $A$ के लिए जो विशिष्ट परफेक्टॉइड-जैसे गुणों को संतुष्ट करता है, और एक आइडियल $I$ जो $r$ तत्वों द्वारा रेडिकल तक जनरेट किया गया है (जिसमें $p$ शामिल है), $\text{pd}_A(A/\sqrt{I}A)$ का मान $2(r+1)$ द्वारा बंधा हुआ है।
प्रपोजिशन 2.5: यदि $A$ एक $R$ -मॉड्यूल के रूप में परिमित इंजेक्टिव डाइमेंशन रखता है, तो $A/\sqrt{I}A$ का भी परिमित इंजेक्टिव डाइमेंशन होगा, $\text{idim}_R(A/\sqrt{I}A) \leq \text{idim}_R(A)$ ।
कोरोलरी 2.6: एक विलोपन मानदंड स्थापित करता है: यदि $\text{Ext}_R^i(A, M) = 0$ इंडेक्स की एक पर्याप्त लंबी रेंज के लिए, तो $\text{Ext}_R^i(k, M) = 0$ । यह परफेक्टॉइड बीजगणिक पर विलोपन को रेसिड्यू फील्ड (residue field) पर विलोपन से जोड़ता है।

2. परिमित इंजेक्टिव डाइमेंशन और गोरेनस्टीन रिंग्स का लक्षण (अनुभाग 3.1)

थ्योरम 3.2: हर्ज़ोग के मानदंड का मिश्रित-विशेषता एनालॉग प्रदान करता है। एक नोथेरियन लोकल रिंग $(R, \mathfrak{m})$ के लिए जहाँ $p \in \mathfrak{m}$ और एक नॉन-जीरोो फाईनाइटली जनरेटेड या $\mathfrak{m}$ -एडिकली कम्पलीट मॉड्यूल $M$ है, निम्नलिखित समतुल्य हैं:
1. $M$ का परिमित इंजेक्टिव डाइमेंशन है।
2. $\text{Ext}_R^i((R/pR)^{\text{perf}}, M) = 0$ सभी $i \gg 0$ के लिए।
3. किसी परफेक्टॉइड $R$ -बीजगणिक $A$ (जहाँ $\mathfrak{m}A \neq A$ ) के लिए $\text{Ext}_R^i(A, M) = 0$ सभी $i \gg 0$ के लिए।
- महत्व: यह लक्षणीकरण नोट किया गया है कि यह विशेषता $p$ में भी नई है और यह केवल फाईनाइटली जनरेटेड ही नहीं बल्कि कम्पलीट मॉड्यूल्स पर भी लागू होता है। यह निहित करता है कि यदि ये शर्तें पूरी होती हैं, तो $R$ को कोहेन-माले है।
कोरोलरी 3.4: गोरेनस्टीन लोकल रिंग्स का लक्षण बताता है। $R$ गोरेनस्टीन है यदि और केवल यदि $\text{Ext}_R^i((R/pR)^{\text{perf}}, R) = 0$ सभी $i \gg 0$ के लिए, या समकक्ष रूप से, यदि एक परफेक्टॉइड $R$ -बीजगणिक $A$ मौजूद है जिसका परिमित गोरेनस्टीन प्रोजेक्टिव डाइमेंशन है। यह टकाहाशी-योशिनो और 이야ंगर-सैदर-वागस्टाफ के परिणामों का मिश्रित-विशेषता एनालॉग है।

3. कोहेन-माले मॉड्यूल्स का लक्षण (अनुभाग 3.2)

थ्योरम 3.7 और कोरोलरी 3.10: एक फाईनाइटली जनरेटेड (या कम्पलीट) मॉड्यूल $M$ को कोहेन-माले है यदि और केवल यदि एक परफेक्टॉइड बीजगणिक $A$ मौजूद है जिससे $\text{Ext}_R^i(A, M) = 0$ सभी $i < \dim(M)$ के लिए।
कोरोलरी 3.13: एक कोहेन-माले कम्पलीट लोकल रिंग के लिए, एक टोरशन-फ्री मॉड्यूल $M$ कैनोनिकल मॉड्यूल का एक परिमित सीधा योग (finite direct sum) है यदि और केवल यदि $\text{Ext}_R^i(A, M) = 0$ सभी $i \neq \dim(M)$ के लिए।

4. नियमितता और इंजेक्टिव डाइमेंशन (अनुभाग 3.3)

थ्योरम 3.15: भट्ट- 이야ंगर-मा नियमितता मानदंड का एक द्वैत प्रदान करता है। एक नोथेरियन लोकल रिंग $R$ $R$ नियमित है यदि और केवल यदि:
1. परफेक्शन $(R/pR)^{\text{perf}}$ का परिमित इंजेक्टिव डाइमेंशन है।
2. एक परफेक्टॉइड $R$ -बीजगणिक $A$ मौजूद है जिसका परिमित इंजेक्टिव डाइमेंशन है।
3. $R$ में एक आइसोलेटेड सिंगुलैरिटी (isolated singularity) है और एक परफेक्टॉइड $A$ मौजूद है जिससे $\text{Ext}_R^i(A, A) = 0$ सभी $i \gg 0$ के लिए।
कोरोलरी 3.16 और 3.18: यदि ऐसा परफेक्टॉइड बीजगणिक $A$ एक बिग कोहेन-माले बीजगणिक भी है और उसका परिमित इंजेक्टिफ्ट डाइमेंशन है, तो $\text{idim}_R(A) = \dim(R)$ । यह एक द्वंद्व (dichotomy) स्थापित करता है जहाँ इंजेक्टिव डाइमेंशन या तो रिंग का डाइमेंशन होता है या अनंत होता है।

महत्व और दावे (Significance and Claims)

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

विशेष रूप से, लेखक निम्नलिखित पर जोर देते हैं:

नए लक्षणीकरण: परिणाम परिमित इंजेक्टिव डाइमेंशन और गोरेनस्टीन रिंग्स के नए लक्षण प्रदान करते हैं, विशेष रूप से कम्पलीट मॉड्यूल्स और मिश्रित विशेषता में।
दायरे का विस्तार: सिद्धांत फाईनाइटली जनरेटेड मॉड्यूल्स से आगे बढ़कर $\mathfrak{m}$ -एडिकली कम्पलीट मॉड्यूल्स और बिग कोहेन-माले मॉड्यूल्स तक विस्तृत होता है।
अनुमानों का समाधान: यह कार्य पिछले साहित्य में एक निहित अनुमान को सुलझाता है कि अब दोनों प्राइम और मिश्रित विशेषताओं में एब्सोल्यूट इंटीग्रल क्लोजर ( $R^+$ ) के इंजेक्टिव डाइमेंशन के संबंध में, यदि यह परिमित है, तो रिंग को नियमित होना चाहिए।
द्वैत (Duality): पेपर सफलतापूर्वक भट्ट, 이야ंगर और मा के फ्लैट-डाइमेंशन डिटेक्शन परिणामों के लिए एक द्वैत सिद्धांत का निर्माण करता है, जिससे यह पूर्ण होता है कि परफेक्टॉइड बीजगणिक कम्यूटेटिव अलजेब्रा में होमोलॉजिकल अनुमानों के साथ कैसे अंतःक्रिया करते हैं।

लेखक एक विनम्र लहजा बनाए रखते हैं, यह नोट करते हुए कि हालांकि परफेक्टॉइड स्थिति को कमजोर किया जा सकता है (Notation 3.1 में दी गई स्थितियों के अनुसार), मूल परिणाम इन बीजगणिकों के संरचनात्मक गुणों पर निर्भर करते हैं जो होमोलॉजिकल डाइमेंशन को बांधते हैं और $\text{Ext}$ समूहों के विलोपन का पता लगाते हैं।