🔢 mathematics

Coderived and contraderived categories for a cotorsion pair, flat-type cotorsion pairs, and relative periodicity

यह शोध पत्र ग्रोथेंडिएक श्रेणियों (Grothendieck categories) में हेरेडिटरी पूर्ण कोटोरशन युग्मों (hereditary complete cotorsion pairs) के लिए बेकर कोडरिव्ड (Becker coderived) और कॉन्ट्राडेरिव्ड (contraderived) श्रेणियों के बीच प्राकृतिक तुल्यता और एडजंक्शन स्थापित करता है, यह प्रदर्शित करते हुए कि ये व्युत्पन्न श्रेणियाँ (derived categories) प्रोजेक्टिव या फ्लैट युग्मों की श्रेणियों के साथ तभी सहसंयोजित होती हैं जब मध्यवर्ती वर्गों के लिए विशिष्ट आवधिकता गुण विद्यमान हों।

मूल लेखक: Leonid Positselski

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

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

CC BY 4.0

मूल लेखक: Leonid Positselski

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

यह शोध पत्र होमोलॉजिकल अलजेब्रा (homological algebra) नामक गणित की एक शाखा का गहन अध्ययन है। हालाँकि मूल पाठ तकनीकी शब्दावली (जैसे "cotorsion pairs," "Becker coderived categories," और "quasi-coherent sheaves") से भरा हुआ है, लेकिन इसके मूल विचारों को कुछ केंद्रीय रूपकों के माध्यम से समझा जा सकता है।

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

यहाँ शोध पत्र के मुख्य विचारों का रोजमर्रा की भाषा में विवरण दिया गया है:

1. एक अस्त-व्यस्त शहर को देखने के दो तरीके (Derived Categories)

कल्पना कीजिए कि आपके पास लेगो ब्रिक्स (Lego bricks) का एक बहुत बड़ा, अस्त-व्यस्त ढेर (गणितीय वस्तुएं) है। कभी-कभी, आप उस ढेर का अध्ययन वैसे ही करना चाहते हैं जैसा वह है। अन्य समय में, आप "टूटे हुए" या "बेकार" टुकड़ों (जिन्हें acyclic complexes कहा जाता है) को अनदेखा करना चाहते हैं और केवल मजबूत, कार्यात्मक संरचनाओं को देखना चाहते हैं।

मानक दृष्टिकोण (The Standard View): आमतौर पर, गणितज्ञ टूटे हुए टुकड़ों को फेंक देते हैं और जो बचता है उसे देखते हैं। यह मानक "डेरि्व्ड कैटेगरी" (Derived Category) है।
"दूसरे प्रकार का" दृष्टिकोण (The "Second Kind" View): यह पत्र चीजों को देखने के एक नए, अधिक परिष्कृत तरीके पर ध्यान केंद्रित करता है जिसे कोडेरि्वड (Coderived) और कॉन्ट्राडेरि्वड (Contraderived) श्रेणियाँ कहा जाता है।
- उपमा: कल्पना कीजिए कि आप एक कमरा साफ करने की कोशिश कर रहे हैं।
  - मानक दृष्टिकोण कमरे से सारा कचरा फेंक देने और साफ कमरे को देखने जैसा है।
  - कोडेरि्वड दृष्टिकोण यह कहने जैसा है, "यदि आप बाहर से (एक विशिष्ट प्रकार की टॉर्च का उपयोग करके) कचरे को नहीं देख सकते, तो हमारे उद्देश्यों के लिए उसका अस्तित्व नहीं है।"
  - कॉन्ट्राडेरि्वड दृष्टिकोण इसके विपरीत है: "यदि आप अंदर से (एक अलग टॉर्च का उपयोग करके) कचरे को नहीं देख सकते, तो वह चला गया है।"

यह शोध पत्र सिद्ध करता है कि कुछ अच्छी तरह से व्यवहार करने वाले पड़ोस (गणितीय वर्ग) के लिए, कमरे को साफ करने के ये दो अलग-अलग तरीके वास्तव में बिल्कुल एक ही दृश्य प्रस्तुत करते हैं।

2. गणितीय वर्गों का "सैंडविच" (The "Sandwich" of Mathematical Classes)

यह शोध पत्र वस्तुओं के विशिष्ट समूहों का अध्ययन करता है जिन्हें कोटोरशन पेयर्स (Cotorsion Pairs) कहा जाता है।

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

मुख्य प्रश्न यह है: कब यह मध्यम परत ऊपर और नीचे की परतों की तरह ही अच्छी तरह से व्यवहार करती है?

3. "आवर्तता" का नियम (The "Periodicity" Rule - जादुई दर्पण)

यह शोध पत्र आवर्तता (Periodicity) नामक एक अवधारणा पेश करता है।

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

4. दो बड़े अनुमान (The Two Big Guesses - Conjectures)

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

अनुमान 1 (The Flaprojective Conjecture):
- सेटअप: एक रिंग होमोमोर्फिज्म (दो गणितीय दुनियाओं के बीच का पुल, $R$ और $A$ ) की कल्पना करें।
- दावा: यदि आप "फ्लैप्रोजेक्टिव" (फ्लैट और प्रोजेक्टिव का एक विशेष मिश्रण) वस्तुओं की एक श्रृंखला लेते हैं और वह श्रृंखला टूट जाती है, तो टूटे हुए टुकड़े (cocycles) अभी भी "फ्लैप्रोजेक्टिव" ही होते हैं।
- परिणाम: शोध पत्र दिखाता है कि यदि यह सच है, तो इस दुनिया के "कोडेरि्वड" और "कॉन्ट्राडेरि्वड" मानचित्र पूरी तरह से समकक्ष होंगे।
अनुमान 2 (The Relatively Cotorsion Conjecture):
- सेटअप: उपरोक्त के समान, लेकिन "रिलेटिवली कोटोरशन" (relatively cotorsion) वस्तुओं को देखते हुए।
- दावा: यदि आपके पास इन वस्तुओं की एक श्रृंखला है जो टूट जाती है, तो टूटे हुए टुकड़े अभी भी "रिलेटिवली कोटोरशन" ही रहते हैं।
- परिणाम: फिर से, यदि यह सत्य होता है, तो जटिल गणितीय मानचित्र सरल होकर समकक्ष हो जाते हैं।

5. "नेस्टेड" एडजंक्शन (The "Nested" Adjunction - लिफ्ट)

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

उपमा: एक लिफ्ट शाफ्ट की कल्पना करें। आपके पास एक बड़े लिफ्ट शाफ्ट (एक बड़ी श्रेणी) के भीतर एक छोटी लिफ्ट (एक छोटी श्रेणी) है।
शोध पत्र सिद्ध करता है कि आप छोटे लिफ्ट के "कोडेरि्वड" दृष्टिकोण और बड़े लिफ्ट के "कॉन्ट्राडेरि्वड" दृष्टिकोण के बीच पूरी तरह से सिंक्रनाइज़ (तालमेल में) तरीके से ऊपर और नीचे जा सकते हैं। वे एक-दूसरे के "एडजॉइंट" (adjoint) हैं, जिसका अर्थ है कि वे ताले और चाबी की तरह एक साथ फिट बैठते हैं।

मुख्य उपलब्धि का सारांश

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

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

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

तकनीकी सारांश: एक कोटोरशन पेयर (Cotorsion Pair) के लिए कोडरिव्ड (Coderived) और कॉन्ट्राडिव्ड (Contraderived) श्रेणियाँ, फ्लैट-प्रकार के कोटोरशन पेयर्स, और सापेक्ष आवधिकता (Relative Periodicity)

समस्या विवरण
यह शोध पत्र द्वितीय प्रकार की व्युत्पन्न श्रेणियों (derived categories of the second kind) (विशेष रूप से बेकर कोडरिव्ड और कॉन्ट्राडिव्ड श्रेणियों) और ग्रोथेंडिक श्रेणियों (Grothendieck categories) के भीतर क्लासिकल व्युत्पन्न श्रेणियों के बीच संरचनात्मक संबंध को संबोधित करता है। एक केंद्रीय प्रेरणा "आवधिकता" (periodicity) घटनाओं की जांच करना है: किन परिस्थितियों में विशिष्ट वस्तुओं (जैसे, फ्लैट, प्रोजेक्टिव, या कोटोरशन मॉड्यूल) के असायक्लिक कॉम्प्लेक्स (acyclic complexes) में ऐसे कोसाइकिल (cocycles) होते हैं जो उसी वर्ग के भीतर रहते हैं? यह शोध पत्र रिंग होमॉमॉर्फिज्म $R \to A$ और स्कीम्स पर क्वासी-कोहेरेंट शेफ्स (quasi-coherent sheaves) के संदर्भ में ज्ञात आवधिकता सिद्धांतों (जैसे कि बेन्सन-गुडईरल, नीमैन, और बाज़ोनी आदि द्वारा दिए गए सिद्धांत) को सापेक्ष सेटिंग्स में सामान्यीकृत करने का प्रयास करता है: विशेष रूप से, यह "फ्लैप्रोजेक्टिव" (flaprojective) और "रिलेटिवली कोटोरशन" (relatively cotorsion) मॉड्यूल के संबंध में दो अनुमानों (conjectures) को सूत्रबद्ध और विश्लेषित करता है, जिसका उद्देश्य व्युत्पन्न श्रेणियों के बीच ट्राइएंगुलेटेड तुल्यता (triangulated equivalences) के रूप में इन अनुमानों के समतुल्य पुनर्गठन प्रदान करना है।

कार्यप्रणाली
लेखक होमोलॉजिकल अलजेब्रा, मॉडल कैटेगरी थ्योरी, और कोटोरशन पेयर्स के सिद्धांत का संयोजन उपयोग करते हैं। कार्यप्रणाली कई प्रमुख चरणों में आगे बढ़ती है:

कॉम्प्लेक्स श्रेणियों में कोटोरशन पेयर्स का निर्माण: गिलेस्पी (Gillespie) के कार्य पर आधारित, यह शोध पत्र एक दिए गए ग्रोथेंडिक श्रेणी $K$ में कोटोरशन पेयर $(A, B)$ से जुड़े कॉम्प्लेक्स $\text{Com}(K)$ की चार विशिष्ट हेरेडिटरी पूर्ण कोटोरशन जोड़ियों का निर्माण करता है। ये जोड़ियाँ बेकर-को-असायक्लिक (Becker-coacyclic) और बेकर-कॉन्ट्रा-असायक्लिक (Becker-contraacyclic) कॉम्प्लेक्सों से संबंधित होती हैं, जिससे कोडरिव्ड श्रेणी $D^{bco}(A)$ और कॉन्ट्राडिव्ड श्रेणी $D^{bctr}(B)$ को कर्नेल $A \cap B$ के होमोटॉपी श्रेणी (homotopy category) के रूप में पहचाना जा सकता है।
नेस्टेड कोटोरशन पेयर्स और एडजंक्शन: शोध पत्र "नेस्टेड" कोटोरशन जोड़ियों $(A_1, B_1) \le (A_2, B_2)$ (जहाँ $A_1 \subset A_2$ और $B_1 \supset B_2$ ) का विश्लेषण करता है। यह प्रदर्शित करता है कि सटीक श्रेणियों (exact categories) के समावेशन (inclusions) संबंधित कोडरिव्ड और कॉन्ट्राडिव्ड श्रेणियों के बीच ट्राइएंगुलेटेड फंक्टर्स को प्रेरित करते हैं। महत्वपूर्ण रूप से, यह सिद्ध करता है कि ये फंक्टर्स एक एडजॉइंट पेयर (adjoint pair) बनाते हैं, जो $\text{Com}(K)$ पर अंतर्निहित अबेलियन मॉडल स्ट्रक्चर्स के बीच एक क्विलर एडजंक्शन (Quillen adjunction) द्वारा प्रेरित होता है।
फ्लैट-टाइप और वेरी फ्लैट-टाइप पेयर्स की परिभाषा: लेखक "वेरी फ्लैट-टाइप" कोटोरशन जोड़ियों (जहाँ बायां वर्ग सीमित प्रोजेक्टिव डायमेंशन वाली वस्तुओं का होता है) और "फ्लैट-टाइप" कोटोरशन जोड़ियों की अवधारणाओं को पेश करते हैं। एक कोटोरशन पेयर $(Flat, Cot) $फ्लैट-टाइप का तब होता है जब वह एक वेरी फ्लैट-टाइप पेयर$ (VF, CA)$ के ऊपर स्थित होता है और विशिष्ट शर्तों को पूरा करता है जो यह सुनिश्चित करता है कि प्रासंगिक उप-श्रेणियों के भीतर असायक्लिक, बेकर-को-असायक्लिक, और बेकर-कॉन्ट्रा-असायक्लिक कॉम्प्लेक्स समान हों।
रिकोलेट संरचना (Recollement Structures): एक वेरी फ्लैट-टाइप पेयर और एक फ्लैट-टाइप पेयर के बीच "सैंडविच्ड" (sandwiched) कोटोरशन पेयर $(F, C)$ के लिए, शोध पत्र तीनों जोड़ियों की व्युत्पन्न, कोडरिव्ड और कॉन्ट्राडिव्ड श्रेणियों को शामिल करने वाली एक रिकोलेट संरचना का निर्माण करता है।

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

कोडरिव्ड और कॉन्ट्राडिव्ड श्रेणियों की तुल्यता: एक ग्रोथेंडिक श्रेणी में एक सेट द्वारा जनरेट किए गए हेरेडिटरी पूर्ण कोटोरशन पेयर $(A, B)$ के लिए, शोध पत्र एक प्राकृतिक ट्राइएंगुलेटेड तुल्यता स्थापित करता है:
$D^{bco}(A) \simeq \text{Hot}(A \cap B) \simeq D^{bctr}(B)$
यह परिणाम बाएं वर्ग की कोडरिव्ड श्रेणी को उनके प्रतिच्छेदन (intersection) के माध्यम से दाएं वर्ग की कॉन्ट्राडिव्ड श्रेणी के साथ एकीकृत करता है।
नेस्टेड पेयर्स के लिए एडजॉइंट फंक्टर्स: शोध पत्र सिद्ध करता है कि नेस्टेड कोटोरशन जोड़ियों के लिए, समावेशन-प्रेरित फंक्टर $D^{bco}(A_1) \to D^{bco}(A_2)$ , $D^{bctr}(B_2) \to D^{bctr}(B_1)$ का लेफ्ट एडजॉइंट है। यह दिखाया गया है कि यह एडजंक्शन नेस्टेड जोड़ियों से जुड़े मॉडल स्ट्रक्चर्स के बीच पहचान क्विलर एडजंक्शन से उत्पन्न होता है।
फ्लैट-टाइप पेयर्स का लक्षण वर्णन: शोध पत्र एक 'सैंडविच्ड' कोटोरशन पेयर $(F, C)$ के "फ्लैट टाइप" होने के लिए समकक्ष स्थितियों की एक व्यापक सूची प्रदान करता है। इन स्थितियों में शामिल हैं:
- मध्यवर्ती पेयर और बाउंडिंग पेयर्स की व्युत्पन्न श्रेणियों के बीच ट्राइएंगुलेटेड तुल्यता।
- समावेशन के तहत बेकर-को-असायक्लिसिटी और कॉन्ट्रा-असायक्लिसिटी का संरक्षण।
- दो आवधिकता गुणों की एक साथ वैधता: (a) फ्लैट कोसाइकिल के साथ $F$ में असायक्लिक कॉम्प्लेक्स के कोसाइकिल $F$ में होते हैं, और (b) $C$ में असायक्लिक कॉम्प्लेक्स के कोसाइकिल $C$ में होते हैं।
फ्लैप्रोजेक्टिव और रिलेटिवली कोटोरशन अनुमान (Conjectures): शोध पत्र दो विशिष्ट अनुमानों को सूत्रबद्ध करता है:
1. फ्लैप्रोजेक्टिव अनुमान: एक रिंग होमॉमॉर्फिज्म $R \to A$ के लिए, यदि $A/R$ -फ्लैप्रोजेक्टिव मॉड्यूल का एक कॉम्प्लेक्स फ्लैट कोसाइकिल रखता है, तो कोसाइकिल $A/R$ -फ्लैप्रोजेक्टिव होते हैं।
2. रिलेटिवली कोटोरशन अनुमान: यदि $A$ एक प्रोजेक्टिव $R$ -मॉड्यूल है, तो $A/R$ -कोटोरशन मॉड्यूल के किसी भी असायक्लिक कॉम्प्लेक्स में, कोसाइकिल भी $A/R$ -कोटोरशन होते हैं।
  शोध पत्र यह सिद्ध करता है कि ये अनुमान इस कथन के समतुल्य हैं कि संबंधित कोटोरशन पेयर्स "फ्लैट टाइप" के हैं। इसके अलावा, यह प्रदर्शित करता है कि फ्लैप्रोजेक्टिव अनुमान सत्य होता है यदि सभी फ्लैट $R$ -मॉड्यूल्स का प्रोजेक्टिव डायमेंशन सीमित हो (उदाहरण के लिए, सीमित क्रुल डायमेंशन वाले नोथेरियन रिंग्स के लिए)।
स्कीम्स और कोरिंग्स पर अनुप्रयोग: इस सिद्धांत को क्वै-कॉम्पैक्ट सेमी-सेपरेटेड स्कीम्स (वेरी फ्लैट और कॉन्ट्रा-एडजस्टेड शेफ्स सहित) पर क्वै-कोहेरेंट शेफ्स की श्रेणी और कोरिंग्स के ऊपर कॉमेड्यूल्स की श्रेणियों पर लागू किया गया है, जिससे यह दिखाया गया है कि स्थापित तुल्यताएं और आवधिकता गुण इन ज्यामितीय और बीजगणितीय संदर्भों में भी मान्य हैं।

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

इसका महत्व निम्नलिखित में निहित है:

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

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