मॉडल श्रेणी

गणित में, विशेष रूप से होमोटॉपी सिद्धांत में, एक मॉडल श्रेणी एक श्रेणी सिद्धांत है जिसमें आकारिकी ('तीर') के विशिष्ट वर्ग होते हैं, जिन्हें 'कमजोर समकक्ष (होमोटोपी सिद्धांत)', 'कंपन ' और 'cofibration' कहा जाता है, जो उनसे संबंधित कुछ सिद्धांतों को संतुष्ट करते हैं। टोपोलॉजिकल स्पेस या चेन कॉम्प्लेक्स (व्युत्पन्न श्रेणी सिद्धांत) की श्रेणी से ये सार। अवधारणा द्वारा पेश किया गया था Daniel G. Quillen (1967).

हाल के दशकों में, बीजगणितीय के-सिद्धांत के कुछ हिस्सों में मॉडल श्रेणियों की भाषा का उपयोग किया गया है। बीजगणितीय के-सिद्धांत और बीजगणितीय ज्यामिति, जहां होमोटॉपी-सैद्धांतिक दृष्टिकोण ने गहरे परिणाम दिए।

प्रेरणा

मॉडल श्रेणियां होमोटॉपी सिद्धांत के लिए एक प्राकृतिक सेटिंग प्रदान कर सकती हैं: टोपोलॉजिकल रिक्त स्थान की श्रेणी एक मॉडल श्रेणी है, सामान्य सिद्धांत के अनुरूप समरूपता के साथ। इसी तरह, जिन वस्तुओं को रिक्त स्थान के रूप में माना जाता है, वे अक्सर एक मॉडल श्रेणी संरचना को स्वीकार करते हैं, जैसे कि साधारण सेट की श्रेणी।

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

औपचारिक परिभाषा

क्विलेन द्वारा शुरू में दी गई परिभाषा एक बंद मॉडल श्रेणी की थी, जिसकी धारणा उस समय मजबूत लग रही थी, दूसरों को एक मॉडल श्रेणी को परिभाषित करने के लिए कुछ धारणाओं को कमजोर करने के लिए प्रेरित कर रही थी। व्यवहार में यह अंतर महत्वपूर्ण साबित नहीं हुआ है और सबसे हाल के लेखक (जैसे, मार्क होवे और फिलिप हिर्शहॉर्न) बंद मॉडल श्रेणियों के साथ काम करते हैं और केवल 'बंद' विशेषण को छोड़ देते हैं।

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

एक श्रेणी 'सी' पर एक मॉडल संरचना में आकारिकी के तीन विशिष्ट वर्ग होते हैं (समान रूप से उपश्रेणियाँ): कमजोर तुल्यता (होमोटोपी सिद्धांत), फ़िब्रेशन, और कॉफ़िब्रेशन, और दो कार्यात्मक कारक $(\alpha ,\beta )$ और $(\gamma ,\delta )$ निम्नलिखित स्वयंसिद्धों के अधीन। एक फ़िब्रेशन जो एक कमजोर तुल्यता भी है, उसे एसाइक्लिक (या तुच्छ) फ़िब्रेशन कहा जाता है और एक कोफिब्रेशन जो एक कमजोर तुल्यता भी है, उसे एसाइक्लिक (या ट्रिवियल) कोफिब्रेशन (या कभी-कभी एनोडीन मोर्फिज्म कहा जाता है) कहा जाता है।

अभिगृहीत:

1. रिट्रेक्ट्स: यदि जी विशिष्ट वर्गों में से एक से संबंधित आकारिकी है, और एफजी का एक रिट्रेक्ट (श्रेणी सिद्धांत) है (तीर श्रेणी में वस्तुओं के रूप में) $C^{2}$, जहां 2 2-तत्व आदेशित सेट है), तो f उसी विशिष्ट वर्ग से संबंधित है। स्पष्ट रूप से, आवश्यकता है कि एफ जी का एक वापसी है इसका मतलब है कि वहां मौजूद है i, j, r, और s, जैसे कि निम्न आरेख कम्यूट करता है:

   # 2 का 3: यदि एफ और जी सी में मानचित्र हैं जैसे कि जीएफ परिभाषित है और इनमें से कोई भी दो कमजोर समकक्ष हैं तो तीसरा भी है।

2. लिफ्टिंग: एसाइक्लिक कोफिब्रेशन में फाइब्रेशन के संबंध में लेफ्ट लिफ्टिंग प्रॉपर्टी होती है, और कोफिब्रेशन में एसाइक्लिक फाइब्रेशन के संबंध में लेफ्ट लिफ्टिंग प्रॉपर्टी होती है। स्पष्ट रूप से, यदि निम्नलिखित आरेख का बाहरी वर्ग कम्यूट करता है, जहां i एक कोफ़िब्रेशन है और p एक फ़िब्रेशन है, और i या p एसाइक्लिक है, तो आरेख को पूरा करने वाला h मौजूद है।

   # गुणनखंडन:

   • C में प्रत्येक आकारिकी f को इस रूप में लिखा जा सकता है $p\circ i$ एक फ़िब्रेशन p और एक एसाइक्लिक कोफ़िब्रेशन i के लिए;
   • C में प्रत्येक आकारिकी f को इस रूप में लिखा जा सकता है $p\circ i$ एसाइक्लिक फाइब्रेशन पी और कोफिब्रेशन आई के लिए।

एक 'मॉडल श्रेणी' एक ऐसी श्रेणी है जिसमें एक मॉडल संरचना होती है और सभी (छोटी) सीमा (श्रेणी सिद्धांत) और सीमा (श्रेणी सिद्धांत)#Colimits, यानी मॉडल संरचना के साथ एक पूर्ण श्रेणी।

कमजोर गुणनखंड प्रणाली के माध्यम से परिभाषा

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

• C की सभी सीमाएँ और सीमाएँ हैं,

• $(C\cap W,F)$ एक कमजोर गुणनखंड प्रणाली है,

• $(C,F\cap W)$ एक कमजोर कारककरण प्रणाली है
• $W$ 3 में से 2 संपत्ति को संतुष्ट करता है।

परिभाषा के पहले परिणाम

स्वयंसिद्धों का अर्थ है कि मानचित्रों के तीन वर्गों में से कोई भी दो तीसरे का निर्धारण करते हैं (उदाहरण के लिए, कोफिब्रेशन और कमजोर समतुल्य फाइब्रेशन निर्धारित करते हैं)।

साथ ही, परिभाषा स्व-द्वैत है: यदि C एक मॉडल श्रेणी है, तो इसकी विपरीत श्रेणी ${\mathcal {C}}^{op}$ एक मॉडल संरचना को भी स्वीकार करता है ताकि कमजोर तुल्यताएं उनके विरोधों के अनुरूप हों, तंतुकरणों के विपरीत तंतु और तंतुओं के विपरीत सह-संरचनाएं।

उदाहरण

टोपोलॉजिकल स्पेस

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

चेन कॉम्प्लेक्स

आर-मॉड्यूल की (गैर-नकारात्मक रूप से वर्गीकृत) श्रृंखला परिसरों की श्रेणी में कम से कम दो मॉडल संरचनाएं होती हैं, जो दोनों होमोलॉजिकल बीजगणित में प्रमुख रूप से प्रदर्शित होती हैं:

• कमजोर समतुल्यता ऐसे नक्शे हैं जो समरूपता में समरूपता को प्रेरित करते हैं;
• कोफिब्रेशन वे मानचित्र होते हैं जो प्रोजेक्टिव cokernel के साथ प्रत्येक डिग्री में समाकृतिकता होते हैं; और
• तंतु ऐसे मानचित्र हैं जो प्रत्येक गैर-शून्य डिग्री में एपीमोर्फिज्म हैं

या

• कमजोर समतुल्यता ऐसे नक्शे हैं जो समरूपता में समरूपता को प्रेरित करते हैं;
• तंतु वे मानचित्र हैं जो इंजेक्शन कर्नेल (श्रेणी सिद्धांत) के साथ प्रत्येक डिग्री में अधिरूपता हैं; और
• कोफिब्रेशन वे मानचित्र होते हैं जो प्रत्येक अशून्य डिग्री में एकरूपता होते हैं।

यह बताता है कि क्यों आर-मॉड्यूल के एक्सट-ग्रुप्स की गणना या तो स्रोत को अनुमानित रूप से हल करके या लक्ष्य को इंजेक्ट करके की जा सकती है। ये संबंधित मॉडल संरचनाओं में कोफाइब्रेंट या फाइब्रेंट प्रतिस्थापन हैं।

आर-मॉड्यूल की मनमानी श्रृंखला-परिसरों की श्रेणी में एक मॉडल संरचना होती है जिसे परिभाषित किया जाता है

• कमजोर तुल्यताएं श्रृंखला-परिसरों की श्रृंखला समरूपताएं हैं;
• कोफिब्रेशन मोनोमोर्फिज्म हैं जो अंतर्निहित आर-मॉड्यूल के आकारिकी के रूप में विभाजित हैं; और
• तंतु एपिमोर्फिज्म हैं जो अंतर्निहित आर-मॉड्यूल के आकारिकी के रूप में विभाजित हैं।

अन्य उदाहरण

मॉडल संरचनाओं को स्वीकार करने वाली श्रेणियों के अन्य उदाहरणों में सभी छोटी श्रेणियों की श्रेणी, किसी भी छोटे ग्रोथेंडिक साइट पर सिंपलियल सेट या सिंपल प्रीशेफ की श्रेणी, टोपोलॉजिकल स्पेक्ट्रा की श्रेणी और छोटे ग्रोथेंडिक साइट पर सिंपल स्पेक्ट्रा या स्पेक्ट्रा के शीफ की श्रेणियां शामिल हैं। .

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

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

एक ही अंतर्निहित श्रेणी पर एक नई मॉडल श्रेणी संरचना में कुछ नक्शों को कमजोर तुल्यता बनने के लिए मजबूर करने की प्रक्रिया को बोसफील्ड स्थानीयकरण के रूप में जाना जाता है। उदाहरण के लिए, साधारण शीफ (गणित) की श्रेणी को साधारण presheaf के मॉडल श्रेणी के बोसफील्ड स्थानीयकरण के रूप में प्राप्त किया जा सकता है।

डेनिस-चार्ल्स सिसिंस्की ने विकसित किया है प्रीशेफ श्रेणियों पर मॉडल संरचनाओं का एक सामान्य सिद्धांत (सरलीकृत सेटों का सामान्यीकरण, जो सिम्प्लेक्स श्रेणी पर प्रीशेव हैं)।

यदि सी एक मॉडल श्रेणी है, तो सी में समर्थक वस्तु ्स की श्रेणी प्रो (सी) भी है। हालांकि, प्रो (सी) पर एक मॉडल संरचना भी सी के स्वयंसिद्धों के एक कमजोर सेट को लागू करके बनाई जा सकती है।

कुछ निर्माण

प्रत्येक बंद मॉडल श्रेणी में पूर्णता से एक टर्मिनल वस्तु और सह-पूर्णता द्वारा एक प्रारंभिक वस्तु होती है, क्योंकि ये वस्तुएं खाली आरेख की क्रमशः सीमा और कोलिमिट हैं। मॉडल श्रेणी में किसी वस्तु X को देखते हुए, यदि प्रारंभिक वस्तु से X तक का अद्वितीय मानचित्र एक कोफिब्रेशन है, तो X को 'कोफ़िब्रेंट' कहा जाता है। अनुरूप रूप से, यदि एक्स से टर्मिनल ऑब्जेक्ट का अद्वितीय नक्शा एक फ़िब्रेशन है तो एक्स को 'फ़ाइब्रेंट' कहा जाता है।

यदि Z और X एक मॉडल श्रेणी की वस्तुएँ हैं जैसे कि Z कोफ़िब्रेंट है और Z से X तक एक कमजोर तुल्यता है तो Z को X के लिए एक 'कॉफ़िब्रेंट प्रतिस्थापन' कहा जाता है। इसी तरह, यदि Z फ़िब्रेंट है और एक कमजोर है X से Z तक तुल्यता तब Z को X के लिए एक 'फाइब्रेंट रिप्लेसमेंट' कहा जाता है। सामान्य तौर पर, सभी वस्तुएं रेशेदार या कोफाइब्रेंट नहीं होती हैं, हालांकि यह कभी-कभी मामला होता है। उदाहरण के लिए, सभी ऑब्जेक्ट सरलीकृत सेट के मानक मॉडल श्रेणी में कोफ़ाइब्रेंट हैं और सभी ऑब्जेक्ट टोपोलॉजिकल स्पेस के लिए ऊपर दी गई मानक मॉडल श्रेणी संरचना के लिए फ़िब्रेंट हैं।

लेफ्ट होमोटोपी को सिलिंडर ऑब्जेक्ट्स के संबंध में परिभाषित किया गया है और राइट होमोटॉपी को [2] के संबंध में परिभाषित किया गया है + वस्तु पथ अंतरिक्ष वस्तुओं]। ये धारणाएं मेल खाती हैं जब डोमेन कॉफिब्रेंट होता है और कोडोमेन फाइब्रेंट होता है। उस स्थिति में, होमोटॉपी मॉडल श्रेणी में होम सेट पर समतुल्य संबंध को परिभाषित करता है जिससे होमोटॉपी क्लासेस को जन्म मिलता है।

गुणों को उठाने से फाइब्रेशन और कॉफिब्रेशन के लक्षण

कोफ़िब्रेशन को उन नक्शों के रूप में चित्रित किया जा सकता है, जिनमें एसाइक्लिक फ़ाइब्रेशन के संबंध में बाईं ओर उठाने वाली संपत्ति होती है, और एसाइक्लिक कोफ़िब्रेशन को उन मानचित्रों के रूप में चित्रित किया जाता है, जिनमें फ़िब्रेशन के संबंध में लेफ्ट लिफ्टिंग प्रॉपर्टी होती है। इसी तरह, फ़िब्रेशन को उन नक्शों के रूप में चित्रित किया जा सकता है जिनके पास एसाइक्लिक कोफ़िब्रेशन के संबंध में सही उठाने वाली संपत्ति है, और एसाइक्लिक फ़िब्रेशन को उन मानचित्रों के रूप में चित्रित किया जाता है जिनके पास कोफ़िब्रेशन के संबंध में सही उठाने की संपत्ति है।

समरूपता और समरूपता श्रेणी

एक मॉडल श्रेणी C की होमोटोपी श्रेणी कमजोर तुल्यता के वर्ग के संबंध में C की श्रेणी का स्थानीयकरण है। होमोटॉपी श्रेणी की यह परिभाषा फ़िब्रेशन और कॉफ़िब्रेशन की पसंद पर निर्भर नहीं करती है। हालांकि, फ़िब्रेशन और कॉफ़िब्रेशन की कक्षाएं एक अलग तरीके से होमोटोपी श्रेणी का वर्णन करने और विशेष रूप से श्रेणियों के सामान्य स्थानीयकरणों में उत्पन्न होने वाले सेट-सैद्धांतिक मुद्दों से बचने में उपयोगी होती हैं। अधिक सटीक रूप से, मॉडल श्रेणियों के मौलिक प्रमेय में कहा गया है कि C की होमोटोपी श्रेणी उस श्रेणी के समतुल्य है, जिसकी वस्तुएं C की वस्तुएं हैं, जो कि रेशेदार और कोफिब्रेंट दोनों हैं, और जिनके आकारिकी मानचित्रों के होमोटॉपी वर्ग हैं (समकक्ष रूप से, सही होमोटॉपी वर्ग) मानचित्रों का) जैसा कि ऊपर परिभाषित किया गया है। (उदाहरण के लिए होवी द्वारा मॉडल श्रेणियाँ देखें, Thm 1.2.10)

इसे ऊपर दिए गए मॉडल संरचना के साथ टोपोलॉजिकल रिक्त स्थान की श्रेणी में लागू करना, परिणामी होमोटॉपी श्रेणी सीडब्ल्यू परिसरों की श्रेणी और निरंतर मानचित्रों के होमोटोपी वर्गों के बराबर है, जहां से नाम है।

क्विलन एडजंक्शन

आसन्न फ़ैक्टरों की एक जोड़ी

$F:C\leftrightarrows D:G$

दो मॉडल श्रेणियों सी और डी के बीच एक क्विलन संयोजन कहा जाता है यदि एफ कॉफिब्रेशन और एसाइक्लिक कोफिब्रेशन को संरक्षित करता है या, समकक्ष रूप से बंद मॉडल स्वयंसिद्धों द्वारा, जैसे कि जी फाइब्रेशन और एसाइक्लिक फाइब्रेशन को संरक्षित करता है। इस मामले में एफ और जी एक संयोजन को प्रेरित करते हैं

$LF:Ho(C)\leftrightarrows Ho(D):RG$

होमोटॉपी श्रेणियों के बीच। उत्तरार्द्ध के लिए एक समानता होने के लिए एक स्पष्ट मानदंड भी है (फिर एफ और जी को क्विलन समकक्ष कहा जाता है)।

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

$|-|:\mathbf {sSet} \leftrightarrows \mathbf {Top} :Sing$

कुछ सामयिक स्थान में एक साधारण सेट और एकवचन श्रृंखला के ज्यामितीय अहसास को शामिल करना। श्रेणियाँ sSet और Top समतुल्य नहीं हैं, लेकिन उनकी होमोटॉपी श्रेणियां हैं। इसलिए, होमोटॉपी श्रेणियों की इस समानता के कारण सरल सेटों को अक्सर टोपोलॉजिकल स्पेस के लिए मॉडल के रूप में उपयोग किया जाता है।

यह भी देखें

• (∞,1)-श्रेणी
• कोसायकल श्रेणी
• स्थिर मॉडल श्रेणी

संदर्भ

• Denis-Charles Cisinski: Les préfaisceaux commes modèles des types d'homotopie, Astérisque, (308) 2006, xxiv+392 pp.
• Dwyer, William G.; Spaliński, Jan (1995), "Homotopy theories and model categories" (PDF), Handbook of algebraic topology, Amsterdam: North-Holland, pp. 73–126, doi:10.1016/B978-044481779-2/50003-1, MR 1361887
• Philip S. Hirschhorn: Model Categories and Their Localizations, 2003, ISBN 0-8218-3279-4.
• Mark Hovey: Model Categories, 1999, ISBN 0-8218-1359-5.
• Klaus Heiner Kamps and Timothy Porter: Abstract homotopy and simple homotopy theory, 1997, World Scientific, ISBN 981-02-1602-5.
• Georges Maltsiniotis: La théorie de l'homotopie de Grothendieck. Astérisque, (301) 2005, vi+140 pp.

• Riehl, Emily (2014), Categorical homotopy theory, Cambridge University Press, doi:10.1017/CBO9781107261457, ISBN 978-1-107-04845-4, MR 3221774

• Quillen, Daniel G. (1967), Homotopical algebra, Lecture Notes in Mathematics, No. 43, vol. 43, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0097438, MR 0223432

• Balchin, Scott (2021), A Handbook of Model Categories, Springer, doi:10.1007/978-3-030-75035-0, ISBN 978-3-030-75034-3, MR 4385504

अग्रिम पठन

• "Do we still need model categories?"
• "(infinity,1)-categories directly from model categories"
• Paul Goerss and Kristen Schemmerhorn, Model Categories and Simplicial Methods

बाहरी संबंध

• Model category at the nLab
• Model category in Joyal's catlab