🔢 mathematics

Infinitesimal derived foliations

यह शोधपत्र अनंतसूक्ष्म व्युत्पन्न पर्णों (infinitesimal derived foliations) की अवधारणा प्रस्तुत करता है, शास्त्रीय अनंतसूक्ष्म कोहोमोलॉजी (infinitesimal cohomology) और औपचारिक समाकलनीयता (formal integrability) के साथ उनके संबंध को स्थापित करता है, और पूर्व में परिभाषित व्युत्पन्न पर्णों (derived foliations) के साथ उनके संबंध को रेखांकित करता है।

मूल लेखक: Bertrand Toën, Gabriele Vezzosi

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

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

CC BY 4.0

मूल लेखक: Bertrand Toën, Gabriele Vezzosi

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

मुख्य चित्र: अदृश्य परिदृश्य का मानचित्रण

कल्पना कीजिए कि आप एक विशाल, धुंधले परिदृश्य का मानचित्र बनाने की कोशिश कर रहे हैं। गणित में, यह परिदृश्य एक "स्कीम" (scheme) या एक "स्टैक" (stack) है (एक जटिल ज्यामितीय आकार)। कभी-कभी, इस परिदृश्य में छिपे हुए पथ या "फोलिएशन" (foliations) होते हैं—ऐसे दिशाएँ जिनमें आप परिदृश्य की एक विशिष्ट परत को छोड़े बिना यात्रा कर सकते हैं।

लंबे समय तक, गणितज्ञों के पास इन पथों को मैप करने के लिए एक उपकरण था जिसे डेरि्व्ड फोलिएशन (Derived Foliations) कहा जाता था। हालाँकि, यह उपकरण केवल एक बहुत ही विशिष्ट, "आकर्षक" दुनिया (चरित्र शून्य/characteristic zero, जैसे कि भिन्नों के साथ काम करना) में पूरी तरह से काम करता था। जब आपने इसे अधिक ऊबड़-खाबड़, "खुरदरी" दुनिया (जैसे कि पूर्णांकों या अभाज्य संख्याओं के साथ काम करना) में उपयोग करने की कोशिश की, तो यह उपकरण टूट जाता या अजीब व्यवहार करने लगता।

इस शोध पत्र में, लेखक एक नया, अधिक मजबूत उपकरण पेश करते हैं जिसे इन्फिनिटेसिमल डेरि्वड फोलिएशन (Infinitesimal Derived Foliations) कहा जाता है। इसे पुराने मानचित्र के एक सुदृढ़ संस्करण के रूप में सोचें। यह किसी भी दुनिया में काम करता है, चाहे वह चिकनी हो या खुरदरी।

मुख्य घटक

यह समझने के लिए कि यह नया उपकरण कैसे काम करता है, हमें उन तीन मुख्य अवधारणाओं को देखना होगा जिन्हें लेखक निर्माण खंडों के रूप में उपयोग करते हैं:

1. "लूप" बनाम "शिफ्ट" (The "Loop" vs. The "Shift")

पुराना तरीका: पिछला उपकरण $BKer$ नामक एक समूह (इसे एक विशिष्ट प्रकार के लूप के रूप में सोचें) और एक "+1" के "शिफ्ट" पर निर्भर था।
नया तरीका: नया उपकरण इसे बदल देता है। लूप के बजाय, यह एडिटिव ग्रुप के लूप ग्रुप (जिसे $G_0$ कहा जाता है) का उपयोग करता है। +1 के शिफ्ट के बजाय, यह -1 का शिफ्ट करता है।
उपमा: कल्पना कीजिए कि आप एक नृत्य कदम (dance step) का वर्णन करने की कोशिश कर रहे हैं। पुराना तरीका वर्णन करता था कि नर्तक एक विशिष्ट समय के साथ एक दिशा में घूम रहा है। नया तरीका वर्णन करता है कि नर्तक विपरीत दिशा में और अलग समय के साथ घूम रहा है। एक शांत, चिकने कमरे (characteristic zero) में, दोनों विवरण एक जैसे लगते हैं। लेकिन एक ऊबड़-खाबड़, अराजक कमरे (characteristic $p$ ) में, नया विवरण स्थिर रहता है जबकि पुराना टूट जाता है।

2. "परफेक्ट कॉम्प्लेक्स" (ब्लूप्रिंट)
इस नए सिस्टम में प्रत्येक फोलिएशन के साथ एक "ब्लूप्रिंट" होता है जिसे परफेक्ट कॉम्प्लेक्स (denote किया गया $E$ ) कहा जाता है।

उपमा: इसे एक इमारत के वास्तुशिल्प योजना (architectural plan) के रूप में सोचें। यह आपको उस स्थान के आयामों और संरचना के बारे में बताता है जिसे आप मैप कर रहे हैं। नया उपकरण इस ब्लूप्रिंट के साथ एक विशिष्ट समूह क्रिया (घूमने का एक तरीका) जोड़ता है।

3. "रेड शिफ्ट" (अनुवादक)
लेखक रेड शिफ्ट (Red Shift) नामक एक जादुई प्रक्रिया का उल्लेख करते हैं।

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

मुख्य खोज: "फॉर्मल ग्रूपॉइड" (The "Formal Groupoid")

इस शोध पत्र का सबसे रोमांचक परिणाम इंटीग्रैबिलिटी (Integrability) के बारे में है।

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

यह क्यों मायने रखता है? (पेपर के अनुसार)

लेखक यह दावा नहीं करते कि यह कल बीमारियों का इलाज करेगा या पुल बनाएगा। इसके बजाय, वे दो मुख्य लाभों पर प्रकाश डालते हैं:

सार्वभौमिकता (Universality): यह "खुरदरी" गणितीय दुनिया (characteristic $p$ ) में काम करता है जहाँ पुराने उपकरण विफल हो गए थे। यह एक कार के इंजन को अपग्रेड करने जैसा है ताकि वह प्रीमियम गैस और सस्ती, किरकिरी ईंधन दोनों पर चल सके।
"इन्फिनिटेसिमल कोहोमोलॉजी" से संबंध: नया उपकरण इन्फिनिटेसिमल कोहोमोलॉजी नामक अवधारणा के साथ खूबसूरती से जुड़ता है।
- उपमा: कल्पना कीजिए कि पुराने उपकरण ने लेजर (De Rham cohomology) का उपयोग करके एक कमरे के "आकार" को मापा था। नया उपकरण हवा में तैरते धूल के कणों (Infinitesimal cohomology) को देखकर कमरे के "आकार" को मापता है। लेखक दिखाते हैं कि उनके नए फोलिएशन इस "धूल" को मापने के लिए पूरी तरह से ट्यून किए गए हैं, जिससे गणित बहुत अधिक स्वच्छ और अनुमानित हो जाता है।

"टू-डू" लिस्ट (जो उन्होंने हल नहीं किया)

शोध पत्र अपनी सीमाओं के बारे में ईमानदार है। लेखक स्वीकार करते हैं कि उन्होंने अभी तक पुराने सिस्टम से नए सिस्टम में सब कुछ अनुवादित करने का तरीका पूरी तरह से नहीं निकाला है।

उन्हें संदेह है कि वहां एक "फॉरगेटल फंकटर" (forgetful functor - एक नया, जटिल मानचित्र लेकर उसे पुराने मानचित्र में सरल बनाने का तरीका) है, लेकिन उन्होंने अभी तक वह मशीन नहीं बनाई है।
वे सुझाव देते हैं कि ये नए फोलिएशन पार्टीशन ली अल्जेब्रॉइड्स (Partition Lie Algebroids) (एक बहुत ही उन्नत बीजगणितीय अवधारणा) से संबंधित हो सकते हैं, लेकिन वे भविष्य के शोधकर्ताओं के लिए इसे जांचने हेतु एक संकेत के रूप में छोड़ देते हैं।

सारांश

संक्षेप में, टोएन (Toën) और वेज़ोसी (Vezzosi) ने एक अधिक मजबूत संस्करण का गणितीय मानचित्र बनाया है।

पुराना मानचित्र: नाजुक, केवल चिकने वातावरण में काम करता है।
नया मानचित्र: मजबूत, हर जगह काम करता है, और गारंटी देता है कि यदि मानचित्र पर कोई पथ मौजूद है, तो वास्तविकता में एक सड़क मौजूद है।
चुनौती: उन्हें संदेह है कि नया मानचित्र पुराने का ही एक "रेड-शिफ्टेड" संस्करण है, लेकिन उन्हें यह साबित करने के लिए कि अनुवाद वास्तव में कैसे काम करता है, और अधिक समय की आवश्यकता है।

यह एक मौलिक गणितीय शोध पत्र है जो सभी संभावित गणितीय ब्रह्मांडों में ज्यामितीय आकृतों को समझने के लिए सैद्धांतिक ढांचे को मजबूत करता है।

यहाँ बर्ट्रेंड टोएन और गेब्रिएल वेज़ोसी के शोध पत्र "इन्फिनिटिसिमल डैरिभ्ड फोलिएशंस" (Infinitesimal Derived Foliations) का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र डैरिभ्ड फोलिएशंस (derived foliations) (जो Toë20 और TV में प्रस्तुत किए गए थे) के मौजूदा सिद्धांत की सीमाओं को संबोधित करता है, विशेष रूप से मनमाने अभिलक्षणों (arbitrary characteristics/non-zero characteristic) में उनके व्यवहार और उनकी औपचारिक समाकलनीयता (formal integrability) के गुणों के संबंध में।

अंतराल (The Gap): शास्त्रीय डैरिभ्ड फोलिएशंस, डी राम कोहोमोलॉजी (de Rham cohomology) से संबंधित हैं और इनमें समूह स्टैक $BKer $(जो ग्रेडेड सेटिंग में सर्कल ग्रुप$ S^1$ से संबंधित है) की क्रिया शामिल होती है। हालाँकि, ये संरचनाएँ शून्य अभिलक्षण (characteristic zero) के बाहर हमेशा मजबूत औपचारिक समाकलनीयता परिणामों को संतुष्ट नहीं करती हैं।
लक्ष्य (The Goal): लेखक एक नई अवधारणा, इन्फिनिटिसिमल डैरिभ्ड फोलिएशंस (infinitesimal derived foliations) को पेश करने का लक्ष्य रखते हैं, जो मनमाने अभिलक्षणों के लिए अधिक उपयुक्त है। इन वस्तुओं को इन्फिनिटिसिमल कोहोमोलॉजी (infinitesimal cohomology) (डी राम कोहोमोलॉजी के बजाय) से जोड़ने और अभिलक्षण $p$ में प्रतिबंधित फोलिएशंस (restricted foliations) पर एकेडाहल (Ekedahl) के कार्य के समान औपचारिक समाकलनीयता सिद्धांतों को संतुष्ट करने के लिए डिज़ाइन किया गया है।

2. कार्यप्रणाली और ढांचा (Methodology and Framework)

A. डैरिभ्ड एफ़ाइन स्टैक्स और कोसिम्पलिसियल-सिम्पलिसियल मॉडल (Derived Affine Stacks and Cosimplicial-Simplicial Models)

लेखक कोसिम्पलिसियल-सिम्पलिसियल कम्यूटेटिव रिंग्स ($csCR$) का उपयोग करके एक सुदृढ़ बीजगणितीय आधार स्थापित करते हैं।

वे $csCR$ पर एक मॉडल श्रेणी संरचना (model category structure) परिभाषित करते हैं जहाँ 'वीक इक्वीवलेंस' (weak equivalences) पूर्णता अर्ध-समरूपता (completed quasi-isomorphisms) हैं (वे मॉर्फिज्म जो कुल कॉम्प्लेक्स $Tot_\pi$ पर अर्ध-समरूपता प्रेरित करते हैं)।
वे इस मॉडल श्रेणी के विपरीत (opposite) के रूप में डैरिभ्ड एफ़ाइन स्टैक्स ($dAff $) की$ \infty$-श्रेणी का निर्माण करते हैं।
वे मल्टीप्लिकेटिव ग्रुप $\mathbb{G}_m$ की क्रियाओं की अनुमति देने के लिए, ग्रेडेड वर्जन वाले इन रिंग्स का उपयोग करके ग्रेडेड डैरिभ्ड एफ़ाइन स्टैक्स ( $dChAff_k^{gr}$ ) पेश करते हैं।

B. समूह स्कीम्स $G_0$ और $H_\pi$

एक केंद्रीय तकनीकी नवाचार $BKer$ (जो पिछले डैरिभ्ड फोलिएशन सिद्धांतों में उपयोग किया जाता था) से हटकर एक नए समूह स्कीमा की ओर जाना है:

$G_0$ : इसे ओरिजिन पर आधारित डैरिभ्ड लूप स्कीमा $\Omega_0 \mathbb{G}_a$ के रूप में परिभाषित किया गया है। यह $\text{Spec}(k[\epsilon^{-1}])$ के समतुल्य है, जहाँ $\epsilon^{-1}$ होमोटोपिकल डिग्री 1 में एक जनरेटर है।
$H_\pi$ : सेमी-डायरेक्ट प्रोडक्ट $\mathbb{G}_m \ltimes G_0$ ।
प्रतिनिधित्व सिद्धांत (Representation Theory): $H_\pi$ के प्रतिनिधित्व ग्रेडेड मिक्स्ड कॉम्प्लेक्स के अनुरूप होते हैं जहाँ मिक्स्ड संरचना का कोहोमोलॉजिकल डिग्री 1 होता है (जिसे $+_\epsilon\text{-dg}^{gr}_k$ द्वारा दर्शाया गया है)। यह पिछले कार्यों में उपयोग किए गए मानक डिग्री $-1$ वाले मिक्स्ड कॉम्प्लेक्स के विपरीत है।

C. रेड-शिफ्ट फलन (The Red-Shift Functor - $RS$)

लेखक एक "रेड-शिफ्ट" तुल्यता $RS: \epsilon\text{-dg}^{gr}_k \xrightarrow{\sim} +_\epsilon\text{-dg}^{gr}_k$ का उपयोग करते हैं।

यह फलन मिक्स्ड संरचना के कोहोमोलॉजिकल डिग्री को $-1 $से$ 1$ में बदल देता है।
महत्वपूर्ण रूप से, समूह वस्तुओं के स्तर पर, $RS$ $BKer $को$ G_0$ में मैप करता है।
लेखक डैरिभ्ड एफ़ाइन स्टैक्स पर इस शिफ्ट का एक ज्योमेट्रिक रियलाइजेशन (geometric realization) निर्मित करते हैं, हालांकि वे नोट करते हैं कि फ्री ऑब्जेक्ट्स और डिवाइडेड पावर्स की सूक्ष्मताओं के कारण यह स्टैक्स के स्तर पर एक पूर्ण तुल्यता नहीं है।

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

इन्फिनिटिसिमल डैरिभ्ड फोलिएशन (परिभाषा 2.1):
मान लीजिए कि $X$ एक डैरिभ्ड एफ़ाइन स्कीम है। $X$ पर एक इन्फिनिटिसिमल डैरिभ्ड फोलिएशन में निम्नलिखित शामिल हैं:

एक परफेक्ट कॉम्प्लेक्स $E$ (शिफ्टेड कोटोटेंट कॉम्प्लेक्स)।
$X$ के ऊपर एक $H_\pi$ -इक्विवेरिएंट डैरिभ्ड स्टैक $F$ ।
यह शर्त कि $F$ , एक $\mathbb{G}_m$ -इक्विवेरिएंट स्टैक के रूप में, $V(E[-1])$ के रूप में एक लीनियर डैरिभ्ड एफ़ाइन स्टैक है।
$V(E[-1])$ पर $G_0$ की क्रिया प्राकृतिक ग्रेडिंग के अनुकूल होनी चाहिए।

कोटोटेंट कॉम्प्लेक्स (Cotangent Complex):
एक इन्फिनिटिसिमल डैरिभ्ड फोलिएशन $F$ के लिए, कोटोटेंट कॉम्प्लेक्स $L_{F/k}$ इस प्रकार परिभाषित किया जाता है कि $F \simeq V(L_{F/k}[-1])$ ।

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

A. इन्फिनिटिसिमल कोहोमोलॉजी से संबंध (अनुभाग 3)

लेखक सिद्ध करते हैं कि इन्फिनिटिसिमल डैरिभ्ड फोलिएशंस से जुड़ी कोहोमोलॉजी थ्योरी शास्त्रीय इन्फिनिटिसिमल कोहोमोलॉजी को पुनः प्राप्त करती है।

प्रमेय 3.2: एक स्मूथ एफ़ाइन स्कीम $X$ के लिए, "टॉटोलॉजिकल" फोलिएशन $\ast_{X/k}$ (फोलिएशंस की श्रेणी में अंतिम वस्तु) की इन्फिनिटिसिमल कोहोमोलॉजी, $X$ की पूर्णित डैरिभ्ड इन्फिनिटिसिमल कोहोमोलॉजी के समतुल्य है:
$\hat{C}^*_{inf}(\ast_{X/k}, \mathcal{O}_X) \simeq R\hat{C}^*(X_{inf}, \mathcal{O})$
यह स्थापित करता है कि इन्फिनिटिसिमल डैरिभ्ड फोलिएशंस, इन्फिनिटिसिमल कोहोमोलॉजी के अध्ययन के लिए सही डैरिभ्ड ज्योमेट्रिक वस्तुएं हैं, ठीक वैसे ही जैसे डैरिभ्ड फोलिएशंस डी राम कोहोमोलॉजी से संबंधित हैं।

B. औपचारिक समाकलनीयता (Formal Integrability) (अनुभाग 4)

यह सबसे महत्वपूर्ण तकनीकी परिणाम है।

उपप्रमेय 4.2: एक स्मूथ स्कीम $X$ पर स्मूथ इन्फिनिटिसिमल डैरिभ्ड फोलिएशंस की श्रेणी, $X$ के ऊपर फॉर्मली स्मूथ फॉर्मल ग्रुपॉइड्स की श्रेणी के समतुल्य है।
तंत्र (Mechanism): किसी भी स्मूथ इन्फिनिटिसिमल डैभीड फोलिएशन $F$ को एक फॉर्मल ग्रुपॉइड $G_F$ में औपचारिक रूप से इंटीग्रेट किया जा सकता है। इस निर्माण में लूप स्पेस $\Omega_X F$ लेना और उसे फॉर्मल स्कीम्स में एक ग्रुपॉइड के रूप में साकार करना शामिल है।
तुलना: यह परिणाम शास्त्रीय डैरिभ्ड फोलिएशंस के लिए लागू नहीं होता है। शास्त्रीय सिद्धांत में, एक ली अल्जेब्रा एक डैरिभ्ड फोलिएशन को परिभाषित करता है, लेकिन वह आवश्यक रूप से एक फॉर्मल ग्रुपॉइड में इंटीग्रेट नहीं होता (विशेष रूप से अभिलक्षण $p$ में)। इन्फिनिटिसिमल संस्करण इस समाकलनीयता को अनिवार्य बनाता है।

C. शास्त्रीय डैरिभ्ड फोलिएशंस के साथ तुलना (अनुभाग 5)

लेखक रेड-शिफ्ट (Red-Shift) निर्माण के माध्यम से दोनों अवधारणाओं के बीच एक संबंध प्रस्तावित करते हैं:

वे डैरिभ्ड फोलिएशंस से इन्फिनिटिसिमल डैरिभ्ड फोलिएशंस की ओर एक "फॉरगेटिंग" (forgetful) फलन का सुझाव देते हैं।
परिकल्पना (Hypothesis): एक डैरिभ्ड फोलिएशन $F$ पर इन्फिनिटिसिमल संरचना (एक डैरिभ्ड स्टैक $V(L_F[-1])$ पर $G_0$ की क्रिया) को $V(L_F[1])$ पर $BKer $की क्रिया पर$ RS$ लागू करके प्राप्त किया जा सकता है।
अनुमान (Conjecture): इन्फिनिटिसिमल डैरिभ्ड फोलिएशंस, पार्टीशन ली अल्जेब्रॉइड्स (partition Lie algeboids) (BCN21 और Fu के संदर्भ में) के समतुल्य हो सकते हैं, जो उनके मजबूत समाकलनीयता गुणों की व्याख्या करता है।

5. महत्व और निहितार्थ (Significance and Implications)

अभिलक्षण स्वतंत्रता (Characteristic Independence): यह सिद्धांत मनमाने अभिलक्षणों में समान रूप से कार्य करता है, जबकि पिछला डैरिभ्ड फोलिएशन सिद्धांत काफी हद तक शून्य अभिलक्षण गुणों (जैसे डी राम और इन्फिनिटिसिमल कोहोमोलॉजी के बीच तुल्यता) पर निर्भर था।
औपचारिक समाकलनीयता (Formal Integrability): यह पेपर डैरिभ्ड ज्योमेट्रिक वस्तुओं के एक विशिष्ट वर्ग के लिए समाकलनीयता के मुद्दे को हल करता है। इन्फिनिटिसिमल डैरिभ्ड फोलिएशंस को फॉर्मल ग्रुपॉइड्स से जोड़कर, यह अभिलक्षण $p$ में प्रतिबंधित फोलिएशंस पर एकेडाहल के परिणामों का एक डैरिभ्ड-ज्योमेट्रिक सामान्यीकरण प्रदान करता है।
पार्टीशन ली अल्जेब्रा के साथ संबंध: यह कार्य डैरिभ्ड अल्जेब्रिक ज्योमेट्री और पार्टीशन ली अल्जेब्रा के सिद्धांत (जे. फु के कार्य के माध्यम से) के बीच के अंतर को पाटता है, जिससे यह संकेत मिलता है कि इन्फिनिटिसिमल डैरिभ्ड फोलिएशंस, पार्टीशन ली अल्जेब्रॉइड्स के ज्योमेट्रिक अवतार हैं।
नए कोहोमोलॉजिकल उपकरण: यह स्टैक्स और इक्वैरिएंट डैरिभ्ड ज्योमेट्री की भाषा का उपयोग करके इन्फिनिटिसिमल कोहोमोलॉजी की गणना करने के लिए एक डैरिभ्ड ढांचा प्रदान करता है, जो क्रिस्टलाइन और इन्फिनिटिसिमल कोहोमोलॉजी सिद्धांतों के लिए एक नया दृष्टिकोण प्रदान करता है।

निष्कर्ष

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