Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories

समस्या और प्रेरणा

टैन्जेंट श्रेणियाँ (Tangent categories) विभेदक ज्यामितीय तर्क के अध्ययन के लिए एक न्यूनतम अर्थगत ढांचा प्रदान करती हैं, जिसे मूल रूप से रोसिकी (Rosický) द्वारा विकसित किया गया था और बाद में कॉकेट और क्रटरल (Cockett and Cruttell) द्वारा विस्तारित किया गया। जबकि इस सिद्धांत को स्मूथ मैनिफोल्ड्स, बीजगणितीय ज्यामिति (algebraic geometry), क्रमविनिमेय बीजगणित (commutative algebra), और कार्टेशियन डिफरेंशियल कैटेगरीज (CDCs) में सफलतापूर्वक लागू किया गया है, मोर्फिज्मों के मूलभूत वर्गों—विशेष रूप से इमर्शन (immersions), सबमर्सन (submersions), लोकल डिफियोमॉर्फिज्म (local diffeomorphisms), और अनरैम्फाइड मैप्स (unramified maps)—के विविध परिवेशों में व्यवहार को समझने के लिए एक व्यवस्थित समझ का अभाव रहा है।

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

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

लेखक टैन्जेंट कैटेगरीज के अभिगृयों (axioms) पर आधारित एक व्यवस्थित, श्रेणीगत दृष्टिकोण अपनाते हैं। मुख्य कार्यप्रणाली में शामिल है:

1. होरिज़ोंटल डिसेंट (Horizontal Descent): पेश किया गया एक केंद्रीय तकनीकी उपकरण "होरिज़ोंटल डिसेंट" $\theta_f$ है, जो एक मोर्फिज्म $f: X \to Y$ का है। इसे $TX$से$f$के साथ$TY$के टेंगेंट बंडल के पुलबैक (जिसे "होरिज़ोंटल बंडल" कहा जाता है) तक के अद्वितीय मानचित्र के रूप में परिभाषित किया गया है, बशर्ते कि पुलबैक मौजूद हो। शोध पत्र विभिन्न मोर्फिज्म वर्गों के वर्गीकरण और लक्षण वर्णन को सरल बनाने के लिए$\theta_f$ के गुणों की व्यापक जांच करता है।
2. कैरेबल मोर्फिज्म (Carrable Morphisms): यह अध्ययन "कैरेबल" मोर्फिज्म (वे मानचित्र जो डिफरेंशियल बंडल प्रोजेक्शन्स के साथ पुलबैक को स्वीकार करते हैं और जिन्हें टैन्जेंट फंक्टर द्वारा संरक्षित किया जाता है) की धारणा पर निर्भर करता है। विशेष रूप से, लेखक आवश्यक संरचनाओं जैसे कि होरिज़ोंटल बंडल और रिलेटिव टेंगेंट बंडल की उपस्थिति सुनिश्चित करने के लिए $p$-कैरेबल (टैन्जेंट प्रोजेक्शन के साथ पुलबैक) और $0$-कैरेबल (जीरो सेक्शन के साथ पुलबैक) मोर्फिज्मों पर ध्यान केंद्रित करते हैं।
3. रिलेटिव कोटैजेंट सीक्वेंस (Relative Cotangent Sequence): होरिज़ोंटल डिसेंट को रिलेटिव टेंगेंट बंडल (जो $0$-कैरेबल पुलबैक के माध्यम से परिभाषित है) के साथ जोड़कर, लेखक किसी भी टैन्जेंट कैटेगरी में एक "रिलेटिव कोटैजेंट सीक्वेंस" का निर्माण करते हैं। यह अनुक्रम बीजगणितीय ज्यामिति में पाए जाने वाले कैलर डिफरेंशियल (Kähler differentials) के शास्त्रीय सटीक अनुक्रम का सामान्यीकरण करता है।
4. लिनियराइजेशन (Linearization): लेखक "स्ट्रॉन्ग" परिभाषाओं (सामान्य श्रेणीगत गुणों जैसे कि प्रीपुलबैक पर आधारित) और "लिनियर" परिभाषाओं (डिफरेंशियल बंडल, $DBun(X)$पर आधारित) के बीच अंतर करते हैं। वे मोनोमोर्फिज्म को ट्रिवियल कर्नेल से जोड़ने के लिए$DBun(X)$ के कम्यूटेटिव मोनोइड्स (और रोसिकी टैन्जेंट कैटेगरीज में अबेलियन ग्रुप्स) में संवर्धन (enrichment) का उपयोग करते हैं।

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

यह शोध पत्र टैन्जेंट कैटेगरीज में चार प्राथमिक वर्गों के मोर्फिज्म का एक व्यापक वर्गीकरण और लक्षण वर्णन प्रदान करता है:

• T-इमर्सन्स (T-Immersions):

  • स्ट्रॉन्ग T-इमर्सन्स: उन्हें उन मानचित्रों के रूप में परिभाषित किया गया है जहाँ टैन्जेंट प्रोजेक्शन का नैचुरलिटी स्क्वायर एक "T-प्रीपुलबैक" है। स्मूथ मैनिफोल्ड्स ($SMan$) में, वे मानक इमर्शन के अनुरूप हैं। बीजगणितीय ज्यामिति ($CAlg_R^{op}$) में, वे फॉर्मली अनरैम्फाइड मोर्फिज्म के अनुरूप हैं।
  • T-इमर्सन्स (लिनियर): उन्हें $p$-कैरेबल मानचित्रों के रूप में परिभाषित किया गया है जहाँ होरिज़ोंटल डिसेंट $\theta_f$, $DBun(X)$ में एक लिनियर T-मोनोमोर्फिज्म है।
  • मुख्य परिणाम: एक रोसिकी टैन्जेंट कैटेगरी (नेगेशन के साथ वाली) में, स्ट्रॉन्ग T-इमर्सन, T-इमर्सन और T-अनरैम्फाइड मोर्फिज्म की धारणाएं समान होती हैं। बिना नेगेशन वाली सामान्य टैन्जेंट कैटेगरीज में, ये वर्ग भिन्न होते हैं (उदाहरण के लिए, कम्यूटेटिव मोनोइड्स की श्रेणी में, एक मानचित्र T-अनरैम्फाइड हो सकता है लेकिन स्ट्रॉन्ग T-इमर्सन नहीं)।

• T-सबमर्सन्स (T-Submersions):

  • उन्हें $p$- और $0$-कैरेबल मानचित्रों के रूप में परिभाषित किया गया है जहाँ होरिज़ोंटल डिसेंट$\theta_f$, $DBun(X)$ में एक लिनियर T-कोइक्वलाइज़र (रेगुलर T-एपिमॉर्फिज्म) है। यह एक "लोकलली सरजेक्टिव डिफरेंशियल" के विचार को पकड़ता है।
  • स्प्लिट T-सबमर्सन्स: इन्हें नैचुरलिटी स्क्वायर के "T-वीक पुलबैक" होने के माध्यम से परिभाषित किया गया है। शोध पत्र यह सिद्ध करता है कि $p$-कैरेबल मानचित्रों के लिए, स्प्लिट T-सबमर्सन होना $\theta_f$ के एक सेक्शन होने के समतुल्य है।
  • मुख्य परिणाम: रोसिकी टैन्जेंट कैटेगरीज और स्कीम्स की श्रेणियों में, एक स्प्लिट T-सबमर्सन एक लिनियर सेक्शन को स्वीकार करता है, न कि केवल एक सेट-थ्योरेटिक सेक्शन को। यह श्रेणीगत परिभाषा को कोटैजेंट सीक्वेंस के विभाजन (splitting) से जोड़ता है।

• T-एटेले मोर्फिज्म (T-Étale Morphisms - लोकल डिफियोमॉर्फिज्म):

  • उन्हें उन मानचित्रों के रूप में परिभाषित किया गया है जहाँ टैन्जेंट प्रोजेक्शन का नैचुरलिटी स्क्वायर एक T-पुलबैक है।
  • मुख्य परिणाम: एक मानचित्र T-एटेले है यदि और केवल यदि वह एक स्ट्रॉन्ग T-इमर्सन और एक स्प्लिट T-सबमर्सन दोनों है। $p$-कैरेबल मानचित्रों के लिए, यह $\theta_f$ के एक आइसोमोर्फिज्म होने के समतुल्य है।
  • विभेद: शोध पत्र स्पष्ट करता है कि बीजगणितीय ज्यामिति में T-एटेले मानचित्र, फॉर्मली एटेले (formally étale) मानचित्रों के समान नहीं हैं। जबकि फॉर्मली एटेले मानचित्र T-एटेले होते हैं, ऐसे T-एटेले मानचित्र मौजूद हैं (जैसे स्कीम्स में कुछ क्लोज्ड इमर्शन) जो फॉर्मली एटेले नहीं हैं।

• रिलेटिव कोटैजेंट सीक्वेंस (The Relative Cotangent Sequence):

  • शोध पत्र एक डी रॅम रिलेटिव कोटैजेंट सीक्वेंस $X \to TX/Y \to TX \to f^*(TY)$ का निर्माण करता है, जहाँ $f$ $0$- और$p$-कैरेबल है।
  • यह दिखाया गया है कि यह अनुक्रम $DBun(X)$ में सटीक (exact) है, जो एक एकीकृत ढांचा प्रदान करता है जो स्मूथ मैनिफोल्ड और स्कीम्स के लिए शास्त्रीय कोटैजेंट अनुक्रमों को पुनः प्राप्त करता है।

ठोस लक्षण वर्णन (Concrete Characterizations)

शोध पत्र इन अमूर्त परिभाषाओं को स्पष्ट रूप से विशिष्ट श्रेणियों में मैप करता है:

• स्मूथ मैनिफोल्ड्स ($SMan$): T-इमर्सन्स मानक इमर्शन हैं; T-सबमर्सन्स मानक सबमर्सन हैं; T-एटेले मानचित्र लोकल डिफियोमॉर्फिज्म हैं।
• कम्यूटेटिव अल्जेब्रा ($CAlg_R$): T-इमर्सन्स इंजेक्टिव अल्जेब्रा होमोमोर्फिज्म हैं; T-सबमर्सन्स लिनियर सेक्शन वाले सरजेक्टिव होमोमोर्फिज्म हैं; T-एटेले मानचित्र आइसोमोर्फिज्म हैं।
• एफाइन स्कीम्स ($CAlg_R^{op}$): T-इमर्सन्स फॉर्मली अनरैम्फाइड मोर्फिज्म हैं; T-सबमर्सन्स बेस रिंग के सापेक्ष फॉर्मली स्मूथ मोर्फिज्म के अनुरूप हैं; T-एटेले मानचित्र फॉर्मली अनरैम्फाइड और फॉर्मली स्मूथ सापेक्ष मानचित्रों के अनुरूप हैं (जो फॉर्मली एटेले से भिन्न हैं)।
• कार्टेशियन डिफरेंशियल कैटेगरीज (CDCs): T-इमर्सन्स ऐसे मानचित्र हैं जिनकी डेरिवेटिव्स (और उच्च डेरिवेटिव्स) इंजेक्टिव हैं; T-सबमर्सन्स ऐसे मानचित्र हैं जिनके डेरिवेटिव्स सरजेक्टिव (रिट्रैक्ट्स) हैं; T-एटेले मानचित्र ऐसे मानचित्र हैं जिनके डेरिवेटिव्स इन्वर्टिबल हैं।

महत्व और दावे

लेखक दावा करते हैं कि यह कार्य एक "गहन और व्यवस्थित अध्ययन" प्रदान करता है जो बीजगणितीय ज्यामिति, विभेदक ज्यामिति और कंप्यूटर विज्ञान के माध्यम से विभेदक ज्यामितीय अवधारणाओं की समझ को एकीकृत करता है। इसका महत्व निम्नलिखित में निहित है:

1. एकीकरण: यह प्रदर्शित करता है कि कैसे समान श्रेणीगत मशीनरी (होरिज़ोंटल डिसेंट, रिलेटिव कोटैजेंट सीक्वेंस) विशिष्ट संदर्भों में सही, ज्ञात परिभाषाओं को प्राप्त करती है, जबकि सामान्य सेटिंग्स में सूक्ष्म अंतरों को प्रकट करती है (जैसे गैर-रोसिकी श्रेणियों में इमर्शन और अनरैम्फाइड मानचित्रों के बीच का अंतर)।
2. नए उपकरण: प्राथमिक उपकरण के रूप में होरिज़ोंटल डिसेंट की शुरूआत $\theta_f$ पर सेक्शन या मोनोमोर्फिज्म की शर्तों का उपयोग करके जटिल वीक पुलबैक स्थितियों को बदलकर, सबमर्सन और इमर्शन गुणों के सत्यापन को सरल बनाती है।
3. भविष्य के कार्य के लिए आधार: यह शोध पत्र इन परिणामों को भविष्य के अनुसंधान के लिए आवश्यक पूर्व शर्त के रूप में स्थापित करता है, विशेष रूप से एक आगामी परियोजना का उल्लेख करते हुए जो टैन्जेंट कैटेगरीज में "स्कीम्स" को परिभाषित करने और अध्ययन करने तथा टैन्जेंट कैटेगरीज के परिवारों के लिए एक ज़ारिस्की टोपोलॉजी (Zariski topology) के अस्तित्व पर केंद्रित है। लेखक नोट करते हैं कि इन मोर्फिज्म वर्गों को समझना महत्वपूर्ण है क्योंकि बीजगणितीय ज्यामिति में ओपन इमर्शन, विशेष रूप से T-मोनिक T-एटेले मानचित्र हैं।

यह शोध पत्र अपने घोषित सैद्धांतिक लक्ष्यों—टैन्जेंट कैटेगरी थ्योरी को परिष्कृत करना और इस ढांचे के भीतर स्कीम्स के अध्ययन को सक्षम बनाना—के परे कोई नए प्रयोगात्मक अनुप्रयोग या भविष्य के निहितार्थ प्रस्तावित नहीं करता है। यह श्रेणी सिद्धांत और उसके अनुप्रयोगों में ज्यामिति के लिए एक कठोर सैद्धांतिक योगदान बना हुआ है।