🔢 mathematics

Roos axiom holds for quasi-coherent sheaves

यह शोधपत्र यह स्थापित करता है कि एक अर्ध-सघन (quasi-compact) अर्ध-पृथक (semi-separated) या एक परिमित क्रुल आयाम (finite Krull dimension) वाले नोयथेरियन (Noetherian) स्कीम पर अर्ध-सुसंगत शीफ (quasi-coherent sheaves) की श्रेणी रोोस एक्सिओम (Roos axiom) $\mathrm{AB}4^*$ - $n$ को संतुष्ट करती है, जिसके लिए दो भिन्न प्रमाण प्रदान किए गए हैं: चेच को-रिजोल्यूशन (Čech coresolutions) का उपयोग करते हुए एक प्रारंभिक दृष्टिकोण और परिमित प्रोजेक्टिव आयाम जनरेटर (finite projective dimension generators) या कॉन्ट्राहेरेंट को-शीफ (contraherent cosheaves) के साथ को-कोंट्रा पत्राचार (co-contra correspondence) का लाभ उठाते हुए एक वैचारिक दृष्टिकोण।

मूल लेखक: Leonid Positselski

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

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

CC BY 4.0

मूल लेखक: Leonid Positselski

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

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

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

यहाँ इस शोध पत्र की कहानी का विवरण दिया गया है, जो सरल उपमाओं का उपयोग करता है।

बड़ी समस्या: "अनंत बंडल" की खराबी (The "Infinite Bundle" Glitch)

गणित में, एक नियम है जिसे AB4* कहा जाता है। यह मूल रूप से कहता है: "यदि आप किताबों के अनंत संख्या में पूर्ण, सुव्यवस्थित बंडलों को लेते हैं, तो परिणामी सुपर-बंडल भी पूर्ण होना चाहिए।"

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

प्रश्न: यदि नियम पूरी तरह से टूट जाता है, तो क्या कोई ऐसा तरीका है जिससे हम कह सकें, "ठीक है, यह टूटता है, लेकिन केवल इतना ही"?
उत्तर: हाँ। यह रूस एक्सिओम (Roos Axiom - AB4*-n) है। यह कुछ ऐसा कहने जैसा है कि, "अनंत बंडल थोड़ा अस्त-व्यस्त हो सकता है, लेकिन इस अस्त-व्यास्तता की एक सीमा है। यह हमेशा के लिए नियंत्रण से बाहर नहीं होगा; कुछ चरणों के बाद इसकी गड़बड़ी रुक जाएगी।"

पोसिटेल्स्की सिद्ध करते हैं कि इन विशिष्ट पुस्तकालयों में, इस अस्त-व्यास्तता की एक सीमा होती है। "अनंत उत्पाद के व्युत्पन्न फलन" (derived functors of infinite direct product - गणितीय तरीका यह मापने का कि बंडल कितना अस्त-व्यस्त होता है) अंततः शून्य हो जाते हैं।

प्रमाण के तीन तरीके

पोसिटेल्स्की केवल यह नहीं कहते कि "यह काम करता है।" वे इसे सिद्ध करने के तीन अलग-अलग तरीके प्रदान करते हैं, जैसे पहाड़ चढ़ने के तीन अलग-अलग रास्ते दिखाना।

मार्ग 1: "चेकोस्लोवाकियन" मानचित्र (The Čech Coresolution)

उपमा: कल्पना करें कि पुस्तकालय एक विशाल शहर है। आप एक साथ पूरे शहर को नहीं जानते, इसलिए आप इसे छोटे मोहल्लों (affine open subschemes) में तोड़ देते हैं।
विधि: आप एक "मानचित्र" (Čech complex) बनाते हैं जो इन मोहल्लों को आपस में जोड़ता है।
- यदि शहर सेमी-सेपरेटेड (semi-separated) है (मोहल्ले अच्छी तरह से ओवरलैप होते हैं), तो आप एक विशिष्ट संख्या में परतों वाला एक मानचित्र बना सकते हैं।
- यदि शहर नोयथेरियन (Noetherian) है (सीमित जटिलता), तो आप अभी भी एक मानचित्र बना सकते हैं, लेकिन यह अधिक जटिल है क्योंकि मोहल्ले अजीब तरह से ओवरलैप हो सकते हैं।
परिणाम: इस मानचित्र की परतों को गिनकर, पोसिटेल्स्की दिखाते हैं कि अनंत बंडल की "अस्त-व्यास्तता" विशिष्ट परतों के बाद रुक जाती है। यह दिखाने जैसा है कि यदि आप पर्याप्त कंबल बिछाते हैं, तो ऊपर के कमलों का भार नीचे वाले कंबल को महसूस होना बंद हो जाता है।

मार्ग 2: "सुपर-बुक" जनरेटर (Very Flat Sheaves)

उपमा: कल्पना करें कि आपको पुस्तकालय की किसी भी किताब को "सुपर-बुक्स" के एक विशेष सेट का उपयोग करके बनाने की आवश्यकता है।
विधि: पोसिटेल्स्की एक विशेष प्रकार की किताब पेश करते हैं जिसे "वेरी फ्लैट" (Very Flat) शीफ कहा जाता है। ये अविश्वसनीय रूप से मजबूत, लचीली किताबें हैं जिनका उपयोग पुस्तकालय की किसी भी अन्य किताब को बनाने के लिए किया जा सकता है।
मोड़: वह सिद्ध करते हैं कि एक "मास्टर सुपर-बुक" (एक जनरेटर) है जो बाकी सब कुछ बना सकता है, और यह मास्टर बुक बहुत जटिल नहीं है। इसकी "प्रोजेक्टिव डाइमेंशन" (जटिलता का एक माप) परिमित (finite) है।
परिणाम: क्योंकि मास्टर बुक पर्याप्त सरल है, इसलिए इससे बना कोई भी अनंत बंडल अंततः अस्त-व्यस्त होना बंद कर देगा। यह कहने जैसा है, "यदि आपके घर की नींव ठोस और सरल है, तो आप उसके ऊपर एक गगनचुंबी इमारत बना सकते हैं, और वह ढहेगी नहीं।"

मार्ग 3: "दर्पण दुनिया" (Co-Contra Correspondence)

उपमा: कल्पना करें कि एक "दर्पण दुनिया" (contraherent cosheaves की श्रेणी) है जो बिल्कुल हमारे पुस्तकालय जैसी दिखती है लेकिन उसके पास एक महाशक्ति है: दर्पण दुनिया में, अनंत बंडल कभी भी नहीं टूटते। वे पूरी तरह से स्थिर होते हैं।
विधि: पोसितेल्स्की एक गणितीय "जादुई दर्पण" (एक त्रिकोणीय तुल्यता/triangulated equivalence) का उपयोग करते हैं जो हमारी अस्त-व्यस्त लाइब्रेरी की समस्याओं को आदर्श दर्पण दुनिया में अनुवादित करता है।
- वह हमारी दुनिया से एक अस्त-व्यस्त अनंत बंडल लेते हैं।
- वह उसे दर्पण दुनिया में प्रतिबिंबित करते हैं।
- दर्पण दुनिया में, वह बंडल पूर्ण और स्थिर होता है।
- वह उसे वापस प्रतिबिंबित करते हैं।
परिणाम: क्योंकि दर्पण दुनिया इतनी सुव्यवस्थित है, हमारी दुनिया में "अस्त-व्यास्तता" को मजबूरन सीमित (finite) होना पड़ता है। दर्पण अराजकता को एक सीमा में बांध देता है। यह सबसे अमूर्त मार्ग है, लेकिन यह बहुत शक्तिशाली है क्योंकि यह दो अलग-अलग गणितीय ब्रह्मांडों को जोड़ता है।

यह क्यों मायने रखता है?

आप पूछ सकते हैं, "कि अगर अनंत बंडल थोड़े अस्त-व्यस्त हो जाते हैं, तो इससे किसे फर्क पड़ता है?"

यह गणनाओं के लिए बचाव करता है: उन्नत गणित (जैसे बीजगणितीय ज्यामिति) में, हमें अक्सर समस्याओं को हल करने के लिए सीमाओं (limits) या अनंत उत्पादों (infinite products) की आवश्यकता होती है। यदि ये प्रक्रियाएँ पूरी तरह से टूट जातीं, तो कई प्रमाण असंभव होते। यह जानना कि वे "केवल n-टूटे" (n-broken) हैं, इसका अर्थ है कि हम अभी भी गणित कर सकते हैं; हमें बस त्रुटि की एक छोटी मात्रा को ध्यान में रखना होगा।
बेहतर उपकरण: यह परिणाम गणितज्ञों को विशिष्ट, स्पष्ट उपकरणों (जैसे "होमोटॉपी इंजेक्टिव रेज़ोल्यूशन") का उपयोग करने की अनुमति देता है, बिना बहुत भारी और अस्पष्ट मशीनरी की आवश्यकता के। यह टूलबॉक्स को हल्का और अधिक सटीक बनाता है।
ब्रह्मांड को समझना: यह हमें बताता है कि जटिल, अनंत गणितीय संरचनाओं में भी, एक अंतर्निहित व्यवस्था होती है। अराजकता यादृच्छिक (random) नहीं है; यह सीमित है।

निष्कर्ष (The Takeaway)

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

यह गणितज्ञों को अपने सिद्धांतों का निर्माण जारी रखने का आत्मविश्वास देता है, यह जानते हुए कि उनके द्वारा उपयोग की जाने वाली अनंत संरचनाएं अपने स्वयं के भार से ढह नहीं जाएंगी।

तकनीकी सारांश: "रोोस एक्सिओम होल्ड्स फॉर क्वासी-कोहेरेंट शीव्स" (Roos Axiom Holds for Quasi-Coherent Sheaves)

लेखक: लियोनिड पोसिटेल्स्की (Leonid Positselski)
विषय: होमोलॉजिकल अलजेब्रा, अल्जेब्रिक ज्योमेट्री, डेरिव्ड कैटेगरीज (Derived Categories)
मुख्य समस्या: स्कीम्स पर क्वासी-कोहेरेंट शीव्स ( $X\text{--Qcoh}$ ) की श्रेणी में अनंत प्रत्यक्ष उत्पादों (infinite direct products) के होमोलॉजिकल व्यवहार का निर्धारण करना।

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

एक अबेलियन श्रेणी $\mathcal{A}$ में, ग्रोटेंडिएक का एक्सिओम AB4* यह बताता है कि अनंत प्रत्यक्ष उत्पाद सटीक (exact) होते हैं। यह स्थापित तथ्य है कि क्वासी-कोहेरेंट शीव्स की श्रेणी $X\text{--Qcoh}$ सामान्यतः AB4* का पालन करने में विफल रहती है (उदाहरण के लिए, प्रोजेक्टिव लाइन $\mathbb{P}^1_k$ पर)।

यह शोध पत्र रोोस एक्सिओम AB4-n* (जिसे 200की 2006 में रोोस द्वारा प्रस्तावित किया गया था) की जांच करता है, जो AB4* का एक कमजोर रूप है। एक अबेलियन श्रेणी जिसमें अनंत उत्पाद और पर्याप्त इंजेक्टिव्स (enough injectives) हों, वह AB4*-n को संतुष्ट करती है यदि अनंत प्रत्यक्ष उत्पाद के डेरिवड फंक्टर्स, जिन्हें $Q^{(i)}_{\lambda \in \Lambda}$ द्वारा दर्शाया जाता है, सभी $i > n$ के लिए शून्य हों।

महत्व: यदि AB4*-n सत्य है, तो इसका तात्पर्य यह है कि इनवर्स लिमिट ( $\variml$ ) के डेरिवड फंक्टर्स का होमोलॉजिकल डायमेंशन (homological dimension) अधिकतम $n+1$ होगा। इसके अतिरिक्त, यह "स्मॉल ऑब्जेक्ट आर्ग्युमेंट" (small object argument) पर निर्भर किए बिना स्पष्ट रूप से होमोटॉपी इंजेक्टिव (DG-injective) रेजोल्यूशन के निर्माण की अनुमति देता है।

इस शोध पत्र का लक्ष्य यह सिद्ध करना है कि $X\text{--Qqucoh}$ दो विशिष्ट श्रेणियों के स्कीम्स के लिए AB4*-n को संतुष्ट करता है:

क्वासी-कॉम्पैक्ट सेमी-सेपरेटेड स्कीम्स (Quasi-compact semi-separated schemes)।
परिमित क्रुल डायमेंशन (finite Krull dimension) वाले नोयथेरियन स्कीम्स।

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

लेखक इन दोनों सेटिंग्स के लिए दो अलग-अलग प्रमाण प्रदान करते हैं, जो विभिन्न गणितीय उपकरणों का उपयोग करते हैं:

A. चेक कोरेजोल्यूशन तर्क (The Čech Coresolution Argument - प्रारंभिक दृष्टिकोण)

यह दृष्टिकोण ओपन कवरिंग (open coverings) का उपयोग करके स्पष्ट रेजोल्यूशन के निर्माण पर आधारित है।

तंत्र (Mechanism): एक स्कीम $X$ के लिए, जो ओपन सब-स्कीम्स द्वारा कवर की गई है, लेखक किसी भी क्वासी-कोहेरेंट शीफ $M$ के लिए एक चेक कोरेजोल्यूशन (Čech coresolution) का निर्माण करते हैं। इस रेजोल्यूशन में कवरिंग सेट्स के इंटरसेक्शन पर $M$ के प्रतिबंधों (restrictions) के डायरेक्ट इमेजेस शामिल होते हैं।
तर्क (Logic):
1. यदि कवरिंग एफाइन स्कीम्स (या विशिष्ट गुणों वाले स्कीम्स) से बनी है, तो इन सब-स्कीम्स पर अनंत उत्पाद फंक्टर्स सटीक होते हैं (या उनके डेरिवड फंक्टर्स सीमित होते हैं)।
2. फ्लैट एफाइन मॉर्फिज्म के तहत डायरेक्ट इमेज फंक्टर्स उच्च डेरिवड उत्पादों के शून्य होने के गुण को बनाए रखते हैं।
3. चेक कॉम्प्लेक्स की लंबाई और टर्म्स के शून्य होने के गुणों का विश्लेषण करके, संपूर्ण स्कीम पर उत्पाद फंक्टर के होमोलॉजिकल डायमेंशन को सीमित किया जाता है।
अनुप्रयोग:
- सेमी-सेपरेटेड केस: एक परिमित एफाइन ओपन कवरिंग का उपयोग करता है।
- नोयथेरियन केस: इंटरसेक्शन के एफाइन कवरिंग की कॉम्बिनेटोरियल जटिलता और फ्लेस्क क्वासी-कोहेरेंट शीव्स (flasque quasi-coherent sheaves) के अधिक परिष्कृत संस्करण का उपयोग करता है।

B. जनरेटर और को-कोंट्रा कोरेस्पोंडेंस तर्क (The Generator and Co-Contra Correspondence Argument - वैचारिक दृष्टिकोण)

यह दृष्टिकोण श्रेणीगत गुणों और विशिष्ट जनरेटर्स के अस्तित्व का उपयोग करता है।

तंत्र 1 (सेमी-सेपरेटेड):
- वेरी फ्लैट (Very flat) क्वासी-कोहेरेंट शीव्स का परिचय देता है।
- $X\text{--Qcoh}$ के लिए एक जनरेटर $F$ की उपस्थिति सिद्ध करता है जो बहुत फ्लैट (very flat) है।
- यह सिद्ध करता है कि इस जनरेटर का प्रोजेक्टिव डायमेंशन परिमित है (कवरिंग के एफाइन सेट्स की संख्या द्वारा सीमित)।
- इस तथ्य का उपयोग करता है कि परिमित प्रोजेक्टिव डायमेंशन वाले जनरेटर की उपस्थिति AB4*-n को लागू करती है।
तंत्र 2 (नोयथेरियन और सामान्य):
- "नाइव को-कोंट्रा कोरेस्पोंडेंस" (Naïve co-contra correspondence) का उपयोग करता है। यह क्वासी-कोहेरेंट शीव्स की अनबाउंडेड डेरिवड श्रेणी $D(X\text{--Qcoh})$ और को-कोंट्राहेरेंट कोशीशीव्स (contraherent cosheaves) की डेरिवड श्रेणी $D(X\text{--Ctrh})$ के बीच एक ट्राइएंगुलेटेड इक्विवेलेंस है।
- कोशीशीव्स की श्रेणी में सटीक अनंत उत्पाद (exact infinite products) होते हैं।
- शोध पत्र एक सामान्य प्रमेय सिद्ध करता है: यदि एक ट्राइएंगुलेटेड इक्विवेलेंस $D(\mathcal{A}) \simeq D(\mathcal{B})$ है जो बाउंडेड श्रेणियों तक सीमित है, और $\mathcal{B}$ में सटीक उत्पाद हैं, तो $\mathcal{A}$ AB4*-n को संतुष्ट करता है।

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

मुख्य प्रमेय (Main Theorems)

प्रमेय 1.4 (सेमी-सेपरेटेड): यदि $X$ एक क्वासी-कॉम्पैक्ट सेमी-सेपरेटेड स्कीम है जो $N$ एफाइन ओपन सब-स्कीम्स द्वारा कवर की गई है, तो $X\text{--Qcoh}$ $n = N - 1$ के साथ AB4*- $n$ को संतुष्ट करता है।
- नोट: यह चेक तर्क से प्राप्त एक सटीक संख्यात्मक सीमा प्रदान करता है।
प्रमेय 2.12 (नोयथेरियन): यदि $X$ एक परिमित क्रुल डायमेंशन $D$ वाला नोयथेरियन स्कीम है, तो $X\text{--Qcoh}$ एक विशिष्ट पूर्णांक $n$ के लिए AB4*- $n$ को संतुष्ट करता है (जो कवरिंग और डायमेंशन के कॉम्बिनेटोरियल फॉर्मूला से प्राप्त होता है)।
- परिष्करण (Refinement): को-कोंट्रा कोरेस्पोंडेंस (Corollary 4.8) का उपयोग करते हुए, लेखक ऐसे $n$ के अस्तित्व को स्थापित करता है, विशेष रूप से यह दिखाते हुए कि कोरेस्पोंडेंस के माध्यम से $n = 2D + 1$ प्राप्त किया जा सकता है।
प्रपोजिशन 3.6 और कोरोलरी 3.11 (जनरेटर): एक क्वासी-कॉम्पैक्ट सेमी-सेपरेटेड स्कीम के लिए, जो $N$ एफाइन्स द्वारा कवर की गई है, $N$ के प्रोजेक्टिव डायमेंशन वाला एक वेरी फ्लैट जनरेटर मौजूद है। यह AB4* $N$ को लागू करता है।

संरचनात्मक परिणाम (Structural Results)

कोटोरशन पेयर्स (Cotorsion Pairs): शोध पत्र सेमी-सेपरेटेड स्कीम्स के लिए हेरेडिटरी कम्पलीट कोटोरशन पेयर (hereditary complete cotorsion pair) $(\text{very flat}, \text{contraadjusted})$ पर चर्चा करता है। यह स्थापित करता है कि प्रत्येक क्वासी-कोहेरेंट शीफ को 'कोंट्राएडजस्टेड' (contraadjusted) शीव्स द्वारा एक परिमित कोरेजोल्यूशन प्राप्त होता है।
को-कोंट्रा कोरेस्पोंडेंस: शोध पत्र को-कोंट्रा कोरेस्पोंडेंस के "नाइव" संस्करण को औपचारिक रूप देता है, यह सिद्ध करते हुए कि डेरिवड श्रेणियों के बीच एक ट्राइएंगुलेटेड इक्वेलेंस, जहाँ एक पक्ष में सटीक उत्पाद होते हैं, दूसरे पक्ष को AB4*-n को संतुष्ट करने के लिए मजबूर करता है।

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

खुले प्रश्नों का समाधान: शोध पत्र पुष्टि करता है कि रोोस एक्सिओम स्कीम्स (सेमी-सेपरेटेड और परिमित-आयामी नोयथेरियन) के एक व्यापक और महत्वपूर्ण वर्ग के लिए क्वासी-कोहेरेंट शीव्स के लिए सत्य है, जो कि अल्जेब्रिक ज्योमेट्री में अनंत उत्पादों के डेरिवड फंक्टर्स की समझ में एक अंतराल को भरता है।
स्पष्ट बनाम अस्तित्व संबंधी प्रमाण (Explicit vs. Existential Proofs):
- चेक तर्क (The Čech argument) स्कीम की ज्यामितीय कवरिंग (जैसे $N-1$ ) के आधार पर स्पष्ट संख्यात्मक सीमाएँ प्रदान करता है।
- को-कोंट्रा तर्क (The co-contra argument) एक अधिक वैचारिक, संरचनात्मक प्रमाण प्रदान करता है जो अधिक सामान्य है (स्टैक्स और गैर-सेमी-सेपरेटेड मामलों में भी लागू हो सकता है), लेकिन बिना आगे के विश्लेषण के विशिष्ट $n$ के मान के संबंध में कम स्पष्ट है।
व्यावहारिक उपयोगिता: AB4*-n को स्थापित करके, यह शोध पत्र क्वासी-कोहेरेंट शीव्स की श्रेणियों में क्लासिकल कार्टन-एलेनबर्ग और स्पालेंस्टीन कंस्ट्रक्शन के माध्यम से होमोटॉपी इंजेक्टिव रेजोल्यूशन के उपयोग को वैध बनाता है। यह अधिक अमूर्त और कम रचनात्मक "स्मॉल ऑब्जेक्ट आर्ग्युमेंट" की आवश्यकता को समाप्त करता है, जिससे शीव्स की डेरिवड श्रेणियों में ठोस गणना सुलभ होती है।
मौलिक सिद्धांत (Foundational Theory): यह कार्य वेरी फ्लैट और कोंट्राएडजस्टेड शीव्स के सिद्धांत को गहरा करता है, उन्हें कोटोरशन पेयर्स के व्यापक ढांचे में एकीकृत करता है और होमोलॉजिकल डायमेंशन को नियंत्रित करने में उनकी उपयोगिता को प्रदर्शित करता है।

5. निष्कर्ष (Conclusion)

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