🔢 mathematics

Representable tangent structures for affine schemes

यह शोध पत्र "टैंजेंटॉइड्स" (tangentoids) को प्रस्तुत करके और यह सिद्ध करके कि, एक मुख्य आदर्श डोमेन (principal ideal domain) पर, केवल तुच्छ संरचना और मानक केहलर डिफरेंशियल (Kähler differentials) संरचना ही अस्तित्व में हैं, एफाइन स्कीम्स (affine schemes) की श्रेणी पर निरूपणीय स्पर्शज (representable tangent) संरचनाओं को अभिलक्षित करता है।

मूल लेखक: Marcello Lanfranchi, Jean-Simon Pacaud Lemay

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

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

CC BY 4.0

मूल लेखक: Marcello Lanfranchi, Jean-Simon Pacaud Lemay

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो किसी शहर के "आकार" को समझने की कोशिश कर रहे हैं। गणित में, एक क्षेत्र है जिसे बीजगणितीय ज्यामिति (Algebraic Geometry) कहा जाता है, जो समीकरणों (जैसे वक्र और सतहों) द्वारा परिभाषित आकारों का अध्ययन करता है। इन आकारों के मुड़ने, झुकने या बदलने के तरीके को समझने के लिए, गणितज्ञ टैंजेंट बंडल (Tangent Bundle) नामक चीज़ का उपयोग करते हैं।

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

दशकों तक, गणितज्ञों को इन बीजगणितीय आकारों के लिए इस निर्देश मैनुअल को बनाने का एक विशिष्ट तरीका पता था। उन्होंने केलर डिफरेंशियल (Kähler differentials) नामक एक विशेष उपकरण का उपयोग किया (जो एक विशिष्ट प्रकार का कैलकुलस है)। यह उपकरण पूरी तरह से काम करता था और यह डुअल नंबर्स (Dual Numbers) नामक संख्याओं के एक रिंग से जुड़ा हुआ था (संख्याएँ जिनमें एक छोटा, लचीला हिस्सा होता है जो वर्ग होने पर गायब हो जाता है, जैसे $x + \epsilon$ जहाँ $\epsilon^2 = 0$ )।

बड़ा प्रश्न:
इस शोध पत्र के लेखकों ने पूछा: "क्या इस निर्देश मैनुअल को बनाने का यह एकमात्र तरीका है? या क्या अन्य छिपे हुए तरीके भी मौजूद हैं?"

वे इन बीजगणितीय आकारों के लिए सभी संभावित "टैंजेंट संरचनाओं" को खोजना चाहते थे।

जासूसी कार्य: "टैंजेंटॉइड्स" (Tangentoids)

इस समस्या को हल करने के लिए, लेखकों ने एक नया जासूसी उपकरण बनाया जिसे उन्होंने "टैंजेंटॉइड" (Tangentoid) नाम दिया।

यहाँ इसका एक सादृश्य (analogy) दिया गया है:

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

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

खोज: "ठोस" सामग्रियाँ (Solid Ingredients)

लेखक इन जादुई सामग्रियों (टैंजेंटॉइड्स) की तलाश के लिए कम्यूटेटिव अल्जेब्रा (Commutative Algebras - जो आकारों के निर्माण खंड हैं) की दुनिया में निकले। उन्हें एक बहुत ही विशिष्ट नियम मिला:

एक टैंजेंटॉइड के काम करने के लिए, इसे एक विशेष प्रकार के "ठोस" (Solid) बीजगणित से बना होना चाहिए।

रूपक (Metaphor): एक स्पंज की कल्पना करें। एक सामान्य स्पंज पानी सोखता है लेकिन जरूरी नहीं कि उसे दबाने पर वह अपना आकार पूरी तरह से बनाए रखे। एक ठोस बीजगणित (Solid Algebra) एक ऐसे स्पंज की तरह है जो इतना कठोर और पूर्णतः संरचित होता है कि यदि आप इसे खींचने या दबाने की कोशिश करते हैं, तो यह तुरंत वापस अपने सटीक और समान आकार में आ जाता है।
गणितीय शब्दों में, इसका अर्थ है कि बीजगणित के भीतर का गुणन एक पूर्ण "आइसोमोर्फिज्म" (एक-से-एक मिलान जो पूरी तरह से प्रतिवर्ती है) है।

उन्होंने खोजा कि टैंजेंट संरचना बनाने के प्रत्येक संभावित तरीके का संबंध इन "ठोस" सामग्रियों में से एक से है।

मोड़: "प्रिंसिपल आइडियल डोमेन" (PID)

यह शोध पत्र तब और भी दिलचस्प हो जाता है जब यह प्रिंसिपल आइडियल डोमेन (PID) नामक संख्या प्रणाली को देखता है। एक PID को एक बहुत ही व्यवस्थित, सुव्यवस्थित पड़ोस के रूप में सोचें (जैसे पूर्णांक, $\mathbb{Z}$ , या बहुपद)।

इन व्यवस्थित पड़ोसों में, लेखकों ने पाया कि "ठोस" सामग्रियाँ अविश्वसनीय रूप से दुर्लभ हैं। वास्तव में, वहाँ केवल दो ही संभावित सामग्रियाँ हैं:

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

व्यवस्थित पड़ोसों के लिए निष्कर्ष:
यदि आपका गणितीय संसार एक व्यवस्थित PID (जैसे पूर्णांक) है, तो टैंजेंट संरचना को परिभाषित करने के केवल दो ही तरीके हैं: उबाऊ "स्थिर रहने" वाला तरीका, और मानक "कैलकुलस" वाला तरीका। कोई अन्य छिपे हुए रहस्य मौजूद नहीं हैं।

मोड़: जब चीजें अस्त-व्यस्त होती हैं

हालाँकि, लेखकों ने यह भी दिखाया कि यदि आपकी संख्या प्रणाली अस्त-व्यस्त (PID नहीं, जैसे ज़ीरो डिवाइडर्स वाला रिंग) है, तो नियम बदल जाते हैं।

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

शोध पत्र के प्रभाव का सारांश

उन्होंने टैंजेंट्स का "DNA" खोजा: उन्होंने सिद्ध किया कि टैंजेंट संरचना को परिभाषित करने का हर संभव तरीका एक विशिष्ट प्रकार के "ठोस" बीजगणितीय घटक से जुड़ा हुआ है।
उन्होंने "व्यवस्थित" मामले को सुलझाया: उन्होंने सिद्ध किया कि सबसे सामान्य, व्यवस्थित गणितीय दुनिया (जैसे पूर्णांक) में, मानक कैलकुलस उपकरण ही एकमात्र गैर-तुच्छ (non-trivial) विकल्प है।
उन्होंने "अस्त-व्यस्त" मामले का द्वार खोला: उन्होंने दिखाया कि अधिक जटिल दुनिया में, नई और विचित्र टैंजेंट संरचनाओं की एक पूरी दुनिया खोजे जाने की प्रतीक्षा कर रही है।

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

यहाँ मार्सेलो लैनफ्रैंची और जीन-साइमन पकाड लेमे द्वारा लिखित शोध पत्र "Representable tangent structures for affine schemes" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र एक निश्चित कम्यूटेटिव यूनिटल रिंग $R$ पर एफाइन स्कीम्स ( $\mathbf{AFF}_R$ ) की श्रेणी में रिप्रेजेंटेबल टेंजेंट संरचनाओं (representable tangent structures) के वर्गीकरण को संबोधित करता है।

संदर्भ: टेंजेंट कैटेगरी थ्योरी (Tangent category theory) अवकल ज्यामिति (differential geometry) के लिए एक श्रेणीबद्ध ढांचा प्रदान करती है। एक प्रसिद्ध उदाहरण कहलर डिफरेंशियल (Kähler differentials) से प्राप्त टेंजेंट स्ट्रक्चर वाली एफाइन स्कीम्स की श्रेणी है, जहाँ टेंजेंट बंडल फंकशनर (tangent bundle functor) को ड्यूल नंबर्स $R[\varepsilon]$ द्वारा रिप्रेजेंट किया जाता है।
प्रश्न: यह विशिष्ट टेंजेंट स्ट्रक्चर कितना अद्वितीय है? क्या $\mathbf{AFF}_R$ पर अन्य गैर-तुच्छ (non-trivial) रिप्रेजेंटेबल टेंजेंट स्ट्रक्चर मौजूद हैं?
लक्ष्य: $\mathbf{AFF}_R$ पर सभी रिप्रेजेंटेबल टेंजेंट स्ट्रक्चर का पूर्ण वर्गीकरण करना और यह निर्धारित करना कि किन स्थितियों में (जैसे, विशिष्ट बेस रिंग्स) कहलर डिफरेंशियल स्ट्रक्चर ही एकमात्र गैर-तुच्छ विकल्प है।

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

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

A. इन्फिनिटेसिमल ऑब्जेक्ट्स के माध्यम से ड्यूलाइजेशन

एक श्रेणी जिसमें फाइनाइट प्रोडक्ट्स (finite products) हों, उसमें एक टेंजेंट स्ट्रक्चर तब रिप्रेजेंटेबल होता है जब टेंजेंट बंडल फंकशनर $T$ एक ऑब्जेक्ट $D$ (एक इन्फिनिटेसिमल ऑब्जेक्ट) द्वारा रिप्रेजेंट किया जाता है, ताकि $T(X) \cong X^D$ हो।
एफाइन स्कीम्स की श्रेणी $\mathbf{AFF}_R$ , कम्यूटेटिव यूनिटल $R$ -अल्जेब्रा की श्रेणी $\mathbf{CALG}_R$ की विपरीत श्रेणी (opposite category) है।
इसलिए, $\mathbf{AFF}_R$ में इन्फिनिटेसिमल ऑब्जेक्ट्स का वर्गीकरण $\mathbf{CALG}_R$ में को-एक्सपोनेंटिएबल टेंजेंटॉइड्स (coexponentiable tangentoids) के वर्गीकरण के समान है।

B. टेंजेंटॉइड्स का परिचय

लेखक टेंजेंटॉइड्स को एक नए उपकरण के रूप में पेश करते हैं जो произвоische (arbitrary) मोनॉइडल श्रेणियों में इन्फिनिटेसिमल ऑब्जेक्ट्स को सामान्यीकृत करने के लिए है।

परिभाषा: एक मोनॉइडल श्रेणी $(\mathcal{E}, \otimes, I)$ में एक टेंजेंटॉइड एक ऑब्जेक्ट $D$ है जो विशिष्ट मॉर्फिज्म (प्रोजेक्शन, ज़ीरो, सम, वर्टिकल लिफ्ट, कैनोनिकल फ्लिप) से सुसज्जित है, ताकि फंकशनर $D \otimes -$ $\mathcal{E}$ पर एक टेंजेंट स्ट्रक्चर प्रेरित करे।
को-एक्सपोनेंटिएबिलिटी (Coexponentiability): एक टेंजेंटॉइड को-एक्सपोनेंटिएबल है यदि फंकशनर $D^n \otimes -$ के लेफ्ट एडजॉइंट्स (left adjoints) मौजूद हों। यह गुण सुनिश्चित करता है कि $\mathcal{E}$ पर प्रेरित टेंजेंट स्ट्रक्चर $\mathcal{E}^{op}$ पर एक रिप्रेजेंटेबल टेंजेंट स्ट्रक्चर में ड्यूलाइज होता है।

C. संरचनात्मक लक्षण वर्णन (Structural Characterization)

लेखक निम्नलिखित समकक्षताओं की श्रृंखला के माध्यम से आगे बढ़ते हैं:

मॉड्यूल्स में सिमेट्रिक टेंजेंटॉइड्स: वे पहले $R$ $R$ -मॉड्यूल्स ( $\mathbf{MOD}_R$ $MOD_{R}$ ) की श्रेणी में सिमेट्रिक टेंजेंटॉइड्स का विश्लेषण करते हैं। वे सिद्ध करते हैं कि ऐसे ऑब्जेक्ट्स $R$ $R$ -मॉड्यूल्स के रूप में होते हैं जो $R \oplus M$ $R \oplus M$ के रूप में होते हैं, जहाँ $M$ $M$ एक कम्यूटेटिव सॉलिड नॉन-यूनिटल $R$ -अल्जेब्रा (commutative solid non-unital $R$ -algebra) की संरचना वहन करता है।
- सॉलिड अल्जेब्रा: एक नॉन-यूनिटल अल्जेब्रा जहाँ मल्टीप्लिकेशन मैप $\alpha: M \otimes_R M \to M$ एक आइसोमोर्फिज्म (isomorphism) है।
अल्जेब्रा तक लिफ्टिंग: इस तथ्य का उपयोग करते हुए कि $\mathbf{CALG}_R$ , $\mathbf{MOD}_R$ में कम्यूटेटिव मोनोइड्स की श्रेणी है, वे इस परिणाम को यह दिखाने के लिए लिफ्ट करते हैं कि टेंजेंटॉइड्स सेमीडायरेक्ट प्रोडक्ट्स (semidirect products) (स्क्वायर-ज़ीरो एक्सटेंशन) $R \ltimes M$ के आइसोमोर्फिक हैं, जहाँ $M$ एक कम्यूटेटिव सॉलिड नॉन-यूनिटल $R$ -अल्जेब्रा है।
को-एक्सपोनेंटिएबिलिटी बाधा: वे नीफील्ड्स थ्योरम (Niefield's Theorem) लागू करते हैं, जो कहता है कि एक $R$ -अल्जेब्रा $\mathbf{CALG}_R$ में को-एक्सपोनेंटिएबल है यदि और केवल यदि उसका अंडरलाइंग $R$ -मॉड्यूल फाइनाइटली जेनरेटेड और प्रोजेक्टिव (finitely generated and projective) है।

3. मुख्य योगदान (Key Contributions)

टेंजेंटॉइड्स की परिभाषा: यह शोध पत्र "टेंजेंटॉइड" की अवधारणा को औपचारिक रूप देता है, जो विभिन्न श्रेणीबद्ध संदर्भों में टेंजेंट स्ट्रक्चर के अध्ययन के लिए एक एकीकृत ढांचा प्रदान करता है। यह आंतरिक टेंजेंट स्ट्रक्चर और रिप्रेजेंटेबल टेंजेंट स्ट्रक्चर के बीच के अंतर को पाटता है।
सॉलिड अल्जेब्रा के साथ तुल्यता: लेखक एक सटीक श्रेणीबद्ध तुल्यता स्थापित करते हैं:
- $\mathbf{MOD}_R$ में सिमेट्रिक टेंजेंटॉइड्स $\iff$ कम्यूटेटिव सॉलिड नॉन-यूनिटल $R$ -अल्जेब्रा।
- $\mathbf{CALG}_R$ में टेंजेंटॉइड्स $\iff$ $R \ltimes M$ के रूप में अल्जेब्रा जहाँ $M$ एक कम्यूटेटिव सॉलिड नॉन-यूनिटल $R$ -अल्जेब्रा है।
रिप्रेजेंटेबल स्ट्रक्चर्स का वर्गीकरण: वे सिद्ध करते हैं कि $\mathbf{AFF}_R$ पर रिप्रेजेंटेबल टेंजेंट स्ट्रक्चर, फाइनाइटली जेनरेटेड प्रोजेक्टिव कम्यूटेटिव सॉलिड नॉन-यूनिटल $R$ -अल्जेब्रा के बायोजेक्टिव रूप से संगत हैं।

4. मुख्य परिणाम (Main Results)

सामान्य मामला (Arbitrary Ring $R$ )

$\mathbf{AFF}_R$ पर एक टेंजेंट स्ट्रक्चर रिप्रेजेंटेबल है यदि और केवल यदि यह एक अल्जेब्रा $D = R \ltimes M$ द्वारा प्रेरित है, जहाँ $M$ एक फाइनाइटली जेनरेटेड प्रोजेक्टिव कम्यूटेटिव सॉलिड नॉन-यूनिटल $R$ -अल्जेब्रा है।

तुच्छ (Trivial) टेंजेंट स्ट्रक्चर $M = 0$ (इसलिए $D = R$ ) के अनुरूप है।
मानक कहलर डिफरेंशियल स्ट्रक्चर $M = R$ (इसलिए $D = R \ltimes R \cong R[\varepsilon]$ ) के अनुरूप है।
गैर-PID मामला: यदि $R$ एक प्रिसिपल आइडियल डोमेन (PID) नहीं है, तो ऐसे अन्य अल्जेब्रा $M$ मौजूद हो सकते हैं, जिससे नवीन रिप्रेजेंटेबल टेंजेंट स्ट्रक्चर प्राप्त हो सकते हैं। शोध पत्र $R = S \times S$ का उपयोग करके एक उदाहरण प्रदान करता है, जिससे एक गैर-तुच्छ सॉलिड अल्जेब्रा $M=S$ का निर्माण होता है।

विशेष मामला: प्रिसिपल आइडियल डोमेन (PID)

जब $R$ एक PID होता है, तो वर्गीकरण कठोर हो जाता है:

प्रमेय: एकमात्र फाइनाइटली जेनरेटेड प्रोजेक्टिव कम्यूटेटिव सॉलिड नॉन-यूनिटल $R$ -अल्जेब्रा $M=0$ और $M=R$ हैं।
प्रूफ स्केच: चूंकि $R$ एक PID है, प्रोजेक्टिव मॉड्यूल्स फ्री (free) होते हैं। यदि $M \cong R^n$ है, तो सॉलिड कंडीशन ( $M \otimes M \cong M$ ) यह दर्शाती है कि $R^{n^2} \cong R^n$ , जिससे $n^2 = n$ प्राप्त होता है। अतः, $n=0$ या $n=1$ ।
निष्कर्ष: PID (जिसमें $\mathbb{Z}$ $Z$ भी शामिल है) पर एफाइन स्कीम्स के लिए, ठीक दो रिप्रेजेंटेबल टेंजेंट स्ट्रक्चर हैं:
1. तुच्छ (Trivial) स्ट्रक्चर (जो $R$ द्वारा प्रेरित है)।
2. कहलर डिफरेंशियल स्ट्रक्चर (जो $R[\varepsilon]$ द्वारा प्रेरित है)।

गैर-रिप्रेजेंटेबल स्ट्रक्चर (Non-Representable Structures)

शोध पत्र नोट करता है कि जबकि रिप्रेजेंटेबल स्ट्रक्चर्स के लिए वर्गीकरण पूर्ण है, गैर-रिप्रेजेंटेबल टेंजेंट स्ट्रक्चर अभी भी मौजूद हो सकते हैं।

उदाहरण: परिमेय संख्याओं का रिंग $\mathbb{Z} \ltimes \mathbb{Q}$ में रिंग्स की श्रेणी में एक सॉलिड अल्जेब्रा स्ट्रक्चर को प्रेरित करता है। हालाँकि, चूंकि $\mathbb{Q}$ , $\mathbb{Z}$ पर फाइनाइटली जेनरेटेड नहीं है, इसलिए यह टेंजेंटॉइड को-एक्सपोनेंटिएबल नहीं है, और इस प्रकार एफाइन स्कीम्स पर रिप्रेजेंटेबल टेंजेंट स्ट्रक्चर प्रदान नहीं करता है।

5. महत्व (Significance)

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