🔢 mathematics

Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors

यह शोध पत्र यह स्थापित करता है कि एक कोनीलपोटेंट को-अल्जेब्रा (conilpotent coalgebra) $C$ के लिए, को-मॉड्यूल्स (comodules) का $C^*$ -मॉड्यूल्स में समावेशन और कंट्रा-मॉड्यूल्स (contomodules) से $C^*$ -मॉड्यूल्स तक का विस्मृति फलन (forgetful functor), उपयुक्त बाउंडेड डेरिव्ड श्रेणियों (bounded derived categories) पर पूर्णतः तथ्यपूर्ण ट्राइएंगुलेटेड फलन (fully faithful triangulated functors) प्रेरित करते हैं यदि और केवल यदि सभी $n \ge 0$ के लिए $\operatorname{Ext}_C^n(k,k)$ समूह परिमित-विमीय हैं, जो एक ऐसी स्थिति है जिसे लेखक "वीकली फाइनाइटली कोशल" (weakly finitely Koszul) कहते हैं।

मूल लेखक: Leonid Positselski

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

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

CC BY 4.0

मूल लेखक: Leonid Positselski

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो दो अलग-अलग प्रकार की इमारतों के बीच के संबंध को समझने की कोशिश कर रहे हैं: कोमोड्यूल्स (Comodules) और कॉन्ट्रामोड्यूल्स (Contramodules)।

उन्नत गणित (विशेष रूप से बीजगणित/algebra) की दुनिया में, ये एक "कोलीज-ब्रा (Coalgebra)" पर निर्मित अमूर्त संरचनाएं हैं (जिसे हम $C$ कहेंगे)। $C$ को एक अद्वितीय ब्लूप्रिंट या निर्माण के नियमों के सेट के रूप में समझें।

यहाँ एक बहुत ही शक्तिशाली, सुप्रसिद्ध उपकरण है जिसे डुअल अल्जेब्रा (Dual Algebra) कहा जाता है (जिसे हम $C^*$ कहेंगे)। यह एक विशाल, सर्वव्यापी शहर की तरह है जहाँ कई अलग-अलग प्रकार की संरचनाएं (जिन्हें मॉड्यूल्स (Modules) कहा जाता है) रहती हैं।

यह शोध पत्र एक बहुत ही विशिष्ट प्रश्न पूछता है: क्या हम हमारे विशेष भवनों (C-संरचनाओं) के ब्लूप्रिंट को बड़े शहर (C-संरचनाओं) की भाषा में बिना किसी जानकारी को खोए पूरी तरह से अनुवादित कर सकते हैं?*

इस अनुवाद के दो तरीके हैं:

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

मुख्य समस्या: "फुल-एंड-फेथफुलनेस" (Full-and-Faithfulness)

गणित में, एक अनुवाद तब फुली फेथफुल (fully faithful) होता है जब वह सब कुछ सुरक्षित रखता है।

फेथफुल (Faithful): यह दो अलग-अलग इमारतों के बीच भ्रमित नहीं होता। (यदि इमारत A $\neq$ इमारत B, तो उनके अनुवाद भी अलग होंगे)।
फुल (Full): यह किसी भी संबंध को नहीं छोड़ता। (यदि बड़े शहर में दो इमारतों के बीच कोई संबंध है, तो वह संबंध मूल इमारतों के बीच के संबंध से ही आया होना चाहिए)।

लेखक, लियोनिड पोसिटेल्स्की (Leonid Positselski), जानना चाहते हैं कि: यह अनुवाद कब पूरी तरह से काम करता है?

बड़ी खोज: "वीकली फाइनाइट कोशुल" (Weakly Finite Koszul) नियम

यह पत्र एक आश्चर्यजनक समरूपता (symmetry) सिद्ध करता है। यह पता चलता है कि कोमोड्यूल अनुवाद पूरी तरह से तभी काम करता है जब कॉन्ट्रामोड्यूल अनुवाद भी पूरी तरह से काम करता है।

लेकिन वह कौन सी शर्त है जो इसे संभव बनाती है? यह ब्लूप्रिंट $C$ के एक विशिष्ट मापन पर निर्भर करता है।

कल्पना कीजिए कि ब्लूप्रिंट $C$ के पास हर स्तर की गहराई (स्तर 1, स्तर 2, स्तर 3, आदि) पर एक "जटिलता स्कोर" (complexity score) है।

यदि प्रत्येक स्तर पर जटिलता परिमित (finite) है (जैसे कि हर मंजिल पर सीमित संख्या में कमरे), तो अनुवाद पूर्ण होता है।
यदि किसी भी स्तर पर जटिलता अनंत (infinite) हो जाती है (जैसे कि किसी मंजिल पर अनगिनत, अगणित कमरे), तो अनुवाद टूट जाता है।

लेखक उन कोलीज (coalgebras) को, जो इस परीक्षण को पास करते हैं, "वीकली फाइनाइट कोशुल" (Weakly Finite Koszul) कहते हैं।

"टूटे हुए अनुवाद" के रूपक (Metaphors)

यह पत्र समझाता है कि जब अनुवाद टूट जाता है तो क्या होता है, इसके लिए बहुत ही चतुर उपमाओं का उपयोग किया गया है:

1. कोमोड्यूल समस्या (द "मिसिंग लिंक"):
यदि जटिलता अनंत है, तो कोमोड्यूल अनुवाद एक ऐसे अनुवादक की तरह है जो बहुत ईमानदार लेकिन अपूर्ण है।

वह आपको बता सकता है कि दो इमारतें अलग हैं (वह "फेथफुल" है)।
लेकिन वह उन संबंधों को देखने में विफल रहता है जो बड़े शहर में मौजूद हैं। वह "एक्सटेंशन" (extensions) को मिस कर देता है।
उपमा: अपने गाँव में दो साधारण घरों की कल्पना करें। बड़े शहर में, आप उन्हें जोड़ने के लिए एक विशाल, जटिल गगनचुंबी इमारत बना सकते हैं। अनुवादक कहता है, "मैं उस गगनचुंबी इमारत को नहीं देख सकता; मैं केवल उन दो घरों को देखता हूँ।" वह संबंध बड़े शहर में मौजूद है, लेकिन अनुवादक छोटे गाँव में उसके ब्लूप्रिंट को नहीं ढूंढ पाता।

2. कॉन्ट्रामोड्यूल समस्या (द "फेक कनेक्शन"):
यदि जटिलता अनंत है, तो कॉन्ट tentunya अनुवाद एक ऐसे अनुवादक की तरह है जो बहुत उत्सुक लेकिन भ्रमित है।

वह उन संबंधों को देखता है जो मूल गाँव में वास्तव में मौजूद नहीं हैं।
उपमा: अनुवादक बड़े शहर में दो घरों को देखता है और कहता है, "आह, ये आपस में जुड़े हुए हैं!" लेकिन जब आप वापस गाँव जाते हैं, तो आपको पता चलता है कि वे घर कभी जुड़े ही नहीं थे। अनुवादक ने एक ऐसा पुल बना दिया जो अस्तित्व में ही नहीं है।

"डबल ड्यूल" का मोड़ (The "Double Dual" Twist)

यह पत्र यह भी प्रकट करता है कि जब चीजें गलत होती हैं तो एक अजीब गणितीय विचित्रता क्या होती है।

जब कोमोड्यूल अनुवाद विफल होता है, तो बड़े शहर में "लापता" जानकारी इतनी विशाल होती है कि यह मूल वस्तु के दोहरे दर्पण प्रतिबिंब (double mirror image) जैसी होती है। यह केवल थोड़ी बड़ी नहीं है; यह घातीय रूप से (exponentially) बड़ी है (जैसे कि एक फोटो की फोटो की फोटो लेना, और रिज़ॉल्यूशन अजीब तरह से विकृत हो जाना)।
जब कॉन्ट्रामोड्यूल अनुवाद विफल होता है, तो यह इसके विपरीत है: अनुवादक एक "भूतिया" (ghost) संबंध देखता है जो वास्तव में एक गैर-मौजूद वस्तु का प्रतिबिंब है।

आपको इसकी परवाह क्यों करनी चाहिए?

यह सुनने में शुद्ध अमूर्त निरर्थकता लग सकता है, लेकिन यह वास्तव में निरंतरता (consistency) के बारे में है।

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

यदि अनुवाद फुली फेथफुल (fully faithful) है, तो हम यह सुरक्षित रूप से कर सकते हैं। हमें पता है कि बड़े शहर में हमें जो उत्तर मिलता है, वह छोटे गाँव के उत्तर के बिल्कुल समान है।
यदि अनुवाद फुली फेथफुल नहीं है, तो हमें "फॉल्स पॉजिटिव" (गलत सकारात्मक) या "फॉल्स नेगेटिव" (गलत नकारात्मक) मिल सकता है। हमें लग सकता है कि हमने एक समस्या हल कर ली है, लेकिन वास्तव में हमने एक अलग समस्या हल की है।

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

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

यहाँ लियोनिद पोसिटेल्स्की के शोध पत्र "Homological Full-and-Faithfulness of Comodule Inclusion and Contramodule Forgetful Functors" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और संदर्भ (Problem Statement and Context)

यह शोध पत्र एक क्षेत्र $k$ पर एक कोलाजला (coalgebra) $C$ के होमोलॉजिकल गुणों और मॉड्यूल और कोमॉड्यूल/कॉन्ट्रामॉड्यूल को जोड़ने वाले दो विशिष्ट फंक्टर्स (functors) के व्यवहार के बीच संबंध की जांच करता है:

कोमॉड्यूल इनक्लूजन फंक्टर ( $\Upsilon$ ): $\Upsilon: C\text{--Comod} \to C^*\text{--Mod}$ । यह फंक्टर एक $C$ -कोमॉड्यूल को $C^*$ -मॉड्यूल (जहाँ $C^*$ द्वैत बीजगणक/dual algebra है) में मैप करता है। यह ज्ञात है कि यह एबेलियन श्रेणियों (abelian categories) के स्तर पर सटीक (exact) और पूर्णतः निष्ठावान (fully faithful) है। हालाँकि, प्रश्न यह उठता है: क्या यह व्युत्पन्न श्रेणियों (derived categories) पर एक पूर्णतः निष्ठावान (fully faithful) फंक्टर को प्रेरित करता है?
कॉन्ट्रामॉड्यूल फॉरगेटफुल फंक्टर ( $\Theta$ ): $\Theta: C\text{--Contra} \to C^*\text{--Mod}$ । यह फंक्टर एक $C$ -कॉन्ट्रामॉड्यूल को उसके अंतर्निहित $C^*$ -मॉड्यूल में मैप करता है। $\Upsilon$ के विपरीत, $\Theta$ सामान्यतः पूर्णतः निष्ठावान (fully faithful) नहीं होता है।

मुख्य प्रश्न: $C$ पर किन शर्तों के तहत ये फंक्टर्स परिबद्ध (bounded) या अर्ध-परिबद्ध (half-bounded) व्युत्पन्न श्रेणियों पर पूर्णतः निष्ठावान त्रिकोणीय फंक्टर्स (triangulated functors) को प्रेरित करते हैं? यह शोध पत्र विशेष रूप से कोनिलपोटेंट कोलाजला (conilpotent coalgebras) (जिन्हें पॉइंटेड इर्रेड्यूसिबल कोलाजला भी कहा जाता है) पर ध्यान केंद्रित करता है।

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

लेखक होमोलॉजिकल अलजेब्रा, कोलाजला सिद्धांत और श्रेणी सिद्धांत (category theory) के संयोजन का उपयोग करते हैं। मुख्य कार्यप्रणाली घटक शामिल हैं:

न्यूनतम समाधान (Minimal Resolutions): कोमॉड्यूल्स के लिए न्यूनतम इंजेक्टिव को-रिजोल्यूशन (minimal injective coresolutions) और कॉन्ट्रामॉड्यूल्स के लिए न्यूनतम प्रोजेक्टिव रिजोल्यूशन (minimal projective resolutions) का निर्माण, जो कि कोनिलपोटेंट कोलाजला पर आधारित हैं। इन रिजोल्यूशनों की विशेषता "सॉकल" (socle) या "को-सॉकल" ( $\gamma$ -फंक्टर) में अंतरों (differentials) का लुप्त होना है।
कोबार कॉम्प्लेक्स (Cobar Complexes): $\text{Ext}$ समूहों $\text{Ext}^*_C(k, k)$ की गणना करने और उन्हें $C^*$ की संरचना से जोड़ने के लिए कोबार कॉम्प्लेक्स का उपयोग करना।
द्वैतता और डबल ड्यूअल (Duality and Double Duals): एक केंद्रीय तकनीक कोमॉड्यूल श्रेणी में $\text{Ext}$ स्थानों और कॉन्ट्रामॉड्यूल या मॉड्यूल श्रेणियों में इन स्थानों के डबल ड्यूअल के बीच संबंध का विश्लेषण करने में निहित है। शोध पत्र यह स्थापित करता है कि $\text{Ext}^n_{C^*}(k, k)$ अक्सर $\text{Ext}^n_C(k, k)^{**}$ के समरूप (isomorphic) होता है।
फिल्ट्रेशन तर्क (Filtration Arguments): कोमॉड्यूल्स पर प्राकृतिक वर्धमान फिल्ट्रेशन (increasing filtration) और कॉन्ट्रामॉड्यूल्स पर ह्रासमान फिल्ट्रेशन (decreasing filtration) का उपयोग करना (जो को-ऑगमेंटेशन द्वारा प्रेरित है) ताकि जटिल $\text{Ext}$ गणनाओं को सरल मामलों जैसे कि ट्रिवियल मॉड्यूल $k$ तक कम किया जा सके।
व्युत्पन्न श्रेणी सिद्धांत (Derived Category Theory): एडजॉइंट फंक्टर्स और उनके व्युत्पन्न फंक्टर्स के संबंध में परिणामों को लागू करके एबेलियन फंक्टर्स की पूर्ण-और-निष्ठावानता (full-and-faithfulness) को जोड़ने के लिए।

3. मुख्य परिभाषाएँ (Key Definitions)

दुर्बल रूप से सीमित कोशक कोलाजला (Weakly Finitely Koszul Coalgebra): एक कोनिलपोटेंट कोलाजला $C$ को दुर्बल रूप से सीमित कोशक (weakly finitely Koszul) कहा जाता है यदि वेक्टर स्पेस $\text{Ext}^n_C(k, k)$ सभी $n \geq 0$ के लिए परिमित-विमीय (finite-dimensional) है।
पृथक कॉन्ट्रामॉड्यूल्स (Separated Contramodules): वे कॉन्ट्रामॉड्यूल्स $P$ जहाँ प्राकृतिक मानचित्र उनके फिल्ट्रेशन कोटिएंट्स के व्युत्क्रम सीमा (inverse limit) में इंजेक्शन (injective) होता है। शोध पत्र उन परिणामों के बीच अंतर करता है जो सभी कॉन्ट्रामॉड्यूल्स के लिए मान्य हैं बनाम वे जिनके लिए पृथकता (separatedness) की आवश्यकता है।

4. मुख्य परिणाम और प्रमेय (Key Results and Theorems)

शोध पत्र के मुख्य योगदान के रूप में कई प्रतीत होने वाले भिन्न शर्तों की समानता को प्रस्तुत किया गया है, जो थ्योरम 1.1 और थरूम 1.2 में संक्षेपित हैं।

A. शर्तों की समानता (Theorem 1.1)

एक कोनिलपोटेंट कोलाजला $C$ और एक पूर्णांक $n \geq 1$ के लिए, निम्नलिखित समकक्ष हैं:

$\Upsilon$ द्वारा प्रेरित मानचित्र $\text{Ext}^i_C(L, M) \to \text{Ext}^i_{C^*}(L, M)$ सभी कोमॉड्यूल्स $L, M$ और $1 \leq i \leq n$ के लिए एक आइसोमॉर्फिज्म (isomorphism) है।
दाएं कोमॉड्यूल्स के लिए इसी प्रकार का मानचित्र एक आइसोमॉर्फिज्म है।
$\text{Ext}^i_{C}(P, Q) \to \text{Ext}^i_{C^*}(P, Q)$ के लिए प्रेरित मानचित्र $\text{Ext}^i_{C^*}(P, Q)$ सभी कॉन्ट्रामॉड्यूल्स $P$ , पृथक कॉन्ट्रामॉड्यूल्स $Q$ , और $0 \leq i \leq n-1$ के लिए एक आइसोमॉर्फिज्म है।
वेक्टर स्पेस $\text{Ext}^i_C(k, k)$ सभी $1 \leq i \leq n$ के लिए परिमित-विमीय है।
वेक्टर स्पेस $\text{Ext}^i_{C^*}(k, k)$ सभी $1 \leq i \leq n$ के लिए परिमित-विमीय है।

महत्वपूर्ण अंतर्दृष्टि: यदि $\text{Ext}^n_C(k, k)$ अनंत-विमीय (infinite-dimensional) है, तो $\Upsilon$ $\text{Ext}^n$ पर अधिसर्पण (surjection) करने में विफल रहता है, जबकि $\Theta$ $\text{Ext}^n$ पर इंजेक्शन (injection) करने में विफल रहता है (विशिष्ट वस्तुओं के लिए)। विशेष रूप से, $\text{Ext}^n_{C^*}(k, k)$ अक्सर $\text{Ext}^n_C(k, k)^{**}$ के समरूप हो जाता है, जो मूल स्थान की तुलना में बड़ा होता है यदि वह स्थान अनंत-विमीय है।

B. व्युत्पन्न श्रेणी पूर्ण-और-निष्ठावानता (Theorem 1.2)

शोध पत्र यह सिद्ध करता है कि एक कोनिलपोटेंट कोलाजला $C$ के लिए निम्नलिखित आठ शर्तें समकक्ष हैं:

प्रेरित त्रिकोणीय फंक्टर्स $\Upsilon^b: D^b(C\text{--Comod}) \to D^b(C^*\text{--Mod})$ और $\Upsilon^+: D^+(C\text{--Comod}) \to D^+(C^*\text{--Mod})$ पूर्णतः निष्ठावान (fully faithful) हैं।
प्रेरित त्रिकोणीय फंक्टर्स $\Theta^b: D^b(C\text{--Contra} \to D^b(C^*\text{--Mod})$ और $\Theta^-: D^-(C\text{--Contra}) \to D^-(C^*\text{--Mod})$ पूर्णतः निष्ठावान हैं।
शर्त: $\text{Ext}^n_C(k, k)$ सभी $n \geq 0$ के लिए परिमित-विमीय है (अर्थात, $C$ दुर्बल रूप से सीमित कोशक है)।

नोट: शोध पत्र स्पष्ट रूप से बताता है कि यह अभी भी एक खुला प्रश्न है कि क्या ये फंक्टर्स सामान्य मामले में अबाउंडेड (unbounded) व्युत्पन्न श्रेणियों $D(C\text{--Comod})$ और $D(C\text{--Contra})$ पर पूर्णतः निष्ठावान हैं, हालांकि कोकोम्यूटेटिव (cocommutative) कोलाजला के लिए (नोथेरियन स्थानीय रिंगों के परिणामों के माध्यम से) यह सत्य है।

C. कोलाजला के विशिष्ट वर्ग (Specific Classes of Coalgebras)

को-नोथेरियन और कोकोहेरेंट कोलाजला: कोई भी बायां या दायां को-नोथेरियन (या परिमित सह-जनित कोकोहेरेंट) कोनिलपोटेंट कोलाजला दुर्बल रूप से सीमित कोशक (weakly finitely Koszul) है।
कोकोम्यूटेटिव कोलाजला: सभी परिमित सह-जनित कोकोम्यूटेटिव कोनिलपोटेंट कोलाजला दुर्बल रूप से सीमित कोशक हैं। इनके लिए, द्वैत बीजगणक $C^*$ एक पूर्ण नोथेरियन कम्यूटेटिव लोकल रिंग है। इस विशिष्ट मामले में, $\Upsilon$ और $\Theta$ फंक्टर्स टोरशन (torsion) मॉड्यूल और कॉन्ट्रामॉड्यूल मॉड्यूल की व्युत्पन्न श्रेणियों और $C^*$ -मॉड्यूल की व्युत्पन्न श्रेणी के बीच तुल्यता (equivalence) प्रेरित करते हैं, जो पूर्ण-और-निष्ठावानता सुनिश्चित करते हैं।

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

कोमॉड्यूल और कॉन्ट्रामॉड्यूल सिद्धांत का एकीकरण: शोध पत्र कोमॉड्यूल्स और कॉन्ट्रामॉड्यूल्स के होमोलॉजिकल व्यवहार को जोड़ने वाला एक सममित ढांचा प्रदान करता है। यह दर्शाता है कि एक फंक्टर (जैसे, $\Upsilon$ का अधिसर्पण में विफल होना) में पूर्ण-निष्ठावानता का "दोष" दूसरे (जैसे, $\Theta$ का इंजेक्शन में विफल होना) के दोष के प्रति द्वैत (dual) है, और दोनों $\text{Ext}^*_C(k, k)$ की परिमित-विमा द्वारा नियंत्रित होते हैं।
"कोशकता" (Koszulity) का स्पष्टीकरण: "दुर्बल रूप से सीमित कोशक" शब्द पेश करके, लेखक बिना ग्रेडिंग की आवश्यकता के शास्त्रीय कोशक बीजगणक की अवधारणा को कोलाजला सेटिंग में सामान्यीकृत करते हैं। यह उन कोलाजला का एक व्यापक वर्ग कैप्चर करता जहाँ व्युत्पन्न श्रेणी "अच्छी तरह" (nicely) व्यवहार करती है।
खुले प्रश्नों का समाधान: यह निर्धारित करता है कि कब सभी मॉड्यूल में तर्कसंगत (rational) मॉड्यूल का समावेश एक पूर्णतः निष्ठावान व्युत्पन्न फंक्टर को प्रेरित करता है, यह दिखाते हुए कि यह पूरी तरह से ट्रिवियल मॉड्यूल के को-होमोलॉजी की परिमित-विमा पर निर्भर करता है।
प्रति-उदाहरण (Counterexamples): शोध पत्र स्पष्ट प्रति-उदाहरण (उदाहरण 6.4 और उदाहरण 8.2) बनाता है जो दिखाते हैं कि यदि परिमित-विमा की शर्त विफल हो जाती है, तो फंक्टर्स पूर्णतः निष्ठावान नहीं होते हैं, और $\text{Ext}$ स्थान बहुत बड़े (डबल ड्यूल) या बहुत छोटे (गैर-इंजेक्शन) हो सकते हैं।
कम्यूटेटिव अलजेब्रा के साथ संबंध: परिणाम कोलाजला सिद्धांत को पूर्ण नोथेरियन स्थानीय रिंगों के सिद्धांत के साथ जोड़ते हैं, यह दिखाते हुए कि एक कोकोम्यूटेटिव कोलाजला की कोमॉड्यूल की व्युत्पन्न श्रेणी, एक स्थानीय रिंग के टोरशन मॉड्यूल की व्युत्पन्न श्रेणी के समरूप है।

संक्षेप में, पोसिटेल्स्की स्थापित करते हैं कि कोमॉड्यूल्स और कॉन्ट्रामॉड्यूल्स की व्युत्पन्न श्रेणियों का होमोलॉजिकल "अच्छा व्यवहार" सख्ती से ट्रिवियल मॉड्यूल की को-होमोलॉजी की परिमित-विमा द्वारा नियंत्रित होता है, जो एक सटीक मानदंड प्रदान करता है कि कब ये श्रेणियाँ द्वैत बीजगणक की मॉड्यूल श्रेणी में पूर्णतः निष्ठापूर्वक समाहित होती हैं।