गणित में, बीजगणितीय टोपोलॉजी में सेलुलर होमोलॉजी (सेलुलर सजातीयता) सीडब्ल्यू-सम्मिश्र की श्रेणी के लिए एक होमोलॉजी सिद्धांत है। यह एकवचन होमोलॉजी से सहमत है, और होमोलॉजी मॉड्यूल की गणना का एक प्रभावी साधन प्रदान कर सकता है।
परिभाषा
अगर n-स्केलेटन|n-स्केलेटन वाला एक सीडब्ल्यू-सम्मिश्र है , सेलुलर-होमोलॉजी मॉड्यूल को होमोलॉजी समूह Hi के रूप में परिभाषित किया गया सेलुलर श्रृंखका सम्मिश्र हैl
जहाँ रिक्त समुच्चय माना जाता है।
समूह
निःशुल्क मॉड्यूल है, जनरेटर के साथ जिसे पहचाना जा सकता है -की सेल . होने देना सेम -की कोशिका , और जाने संलग्न मानचित्र हो. फिर रचना पर विचार करें
जहां पहला मानचित्र पहचान करता है साथ विशेषता मानचित्र के माध्यम से का , जो वस्तु एक -X का कक्ष, तीसरा मानचित्र वह भागफल मानचित्र है जो ढह जाता है एक बिंदु तक (इस प्रकार लपेटना एक गोले में ), और अंतिम मानचित्र पहचान करता है साथ विशेषता मानचित्र के माध्यम से का .
सीमा मानचित्र
फिर सूत्र द्वारा दिया जाता है
जहाँ की सतत मानचित्रण की डिग्री है और रकम सब पर ले ली जाती है -की सेल , के जनरेटर के रूप में माना जाता है .
उदाहरण
निम्नलिखित उदाहरण बताते हैं कि क्यों सेलुलर होमोलॉजी के साथ की गई गणनाएं अकेले सेलुलर होमोलॉजी का उपयोग करके की गई गणनाओं की तुलना में अधिक कुशल होती हैं।
n-क्षेत्र
n-गोला|n-आयामी क्षेत्र Sn दो सेलुलर, एक 0-सेल और एक n-सेल के साथ एक सीडब्ल्यू संरचना को स्वीकार करता है। यहां n-सेल निरंतर मैपिंग द्वारा जुड़ा हुआ है 0-सेल तक. सेलुलर श्रृंखला समूहों के जनरेटर के बाद से S की k-सेलुलर से पहचाना जा सकता हैn, हमारे पास वह है के लिए और अन्यथा तुच्छ है.
इसलिए के लिए , परिणामी श्रृंखला सम्मिश्र है
लेकिन फिर चूंकि सभी सीमा मानचित्र या तो तुच्छ समूहों से हैं या उनसे हैं, वे सभी शून्य होने चाहिए, जिसका अर्थ है कि सेलुलर होमोलॉजी समूह बराबर हैं
जब , यह सत्यापित करना संभव है कि सीमा मानचित्र शून्य है, जिसका अर्थ है कि उपरोक्त सूत्र सभी घनात्मक के लिए मान्य है .
जीनस g सतह
सेलुलर होमोलॉजी का उपयोग जीनस g सतह की होमोलॉजी की गणना के लिए भी किया जा सकता है . का मौलिक बहुभुज एक है -गॉन जो देता है एक 2-सेल वाली सीडब्ल्यू-संरचना, 1-सेल, और एक 0-सेल। 2-सेल की सीमा के साथ जुड़ा हुआ है -गॉन, जिसमें प्रत्येक 1-कोशिका दो बार होती है, एक बार आगे की ओर और एक बार पीछे की ओर। इसका तात्पर्य है कि संलग्न मानचित्र शून्य है, क्योंकि प्रत्येक 1-सेल की आगे और पीछे की दिशाएं रद्द हो जाती हैं। इसी प्रकार, प्रत्येक 1-सेल के लिए संलग्न मानचित्र भी शून्य है, क्योंकि यह निरंतर मानचित्रण है 0-सेल के लिए. इसलिए, परिणामी श्रृंखला सम्मिश्र है
जहां सभी सीमा मानचित्र शून्य हैं। इसलिए, इसका तात्पर्य है कि जीनस जी सतह की सेलुलर होमोलॉजी दी गई है
इसी तरह, कोई 1 0-सेल, g 1-सेल और 1 2-सेल के साथ सीडब्ल्यू सम्मिश्र के रूप में जुड़े क्रॉसकैप के साथ जीनस जी सतह का निर्माण कर सकता है। इसके होमोलॉजी समूह हैं
टोरस
n-टोरस 1 0-सेल, n 1-सेल, ..., और 1 n-सेल के साथ सीडब्ल्यू सम्मिश्र के रूप में बनाया जा सकता है। शृंखला संकुल है
और सभी सीमा मानचित्र शून्य हैं। इसे स्पष्ट रूप से मामलों का निर्माण करके समझा जा सकता है
, फिर पैटर्न देखें।
इस प्रकार, .
सम्मिश्र प्रक्षेप्य स्थान
अगर इसमें कोई आसन्न-आयामी सेल नहीं हैं, (इसलिए यदि इसमें n-सेल हैं, तो इसमें कोई (n-1)-सेल और (n+1)-सेल नहीं हैं), तो प्रत्येक के लिए इसकी n-सेलुलर द्वारा उत्पन्न मुक्त एबेलियन समूह है .
सम्मिश्र प्रक्षेप्य स्थान इस प्रकार 0-सेल, 2-सेल, ..., और (2n)-सेल को एक साथ जोड़कर प्राप्त किया जाता है के लिए , और अन्यथा शून्य.
वास्तविक प्रक्षेप्य स्थान एक के साथ सीडब्ल्यू-संरचना स्वीकार करता है -कक्ष सभी के लिए .
इनके लिए संलग्न मानचित्र -सेल्स को 2-फोल्ड कवरिंग मैप द्वारा दिया गया है .
(देखें कि -स्केलेटन सभी के लिए .)
ध्यान दें कि इस मामले में, सभी के लिए .
सीमा मानचित्र की गणना करना
हमें मानचित्र की डिग्री ज्ञात करनी होगी
अब, उस पर ध्यान दें , और प्रत्येक बिंदु के लिए , हमारे पास वह है इसमें दो बिंदु होते हैं, प्रत्येक जुड़े घटक (खुले गोलार्ध) में एक .
इस प्रकार, मानचित्र की डिग्री ज्ञात करने के लिए , यह की स्थानीय डिग्री खोजने के लिए पर्याप्त है इनमें से प्रत्येक खुले गोलार्ध पर।
अंकन में आसानी के लिए, हमने जाने दिया और के जुड़े हुए घटकों को निरूपित करें .
तब और होमोमोर्फिज्म हैं, और , जहाँ प्रतिपादक मानचित्र है।
अब, एंटीपोडल मानचित्र की डिग्री पर है .
इसलिए, व्यापकता की हानि के बिना, हमारे पास वह स्थानीय डिग्री है पर है और की स्थानीय डिग्री पर है .
स्थानीय डिग्रियों को जोड़ने पर, हमारे पास वह है
सीमा मानचित्र फिर द्वारा दिया जाता है .
इस प्रकार हमारे पास सीडब्ल्यू-संरचना चालू है निम्नलिखित श्रृंखला परिसर को उत्पत्ति करता है:
जहाँ अगर सम है और अगर अजीब है।
इसलिए, सेलुलर होमोलॉजी समूह के लिए निम्नलिखित हैं:
अन्य गुण
कोई सेलुलर श्रृंखला परिसर से देख सकता है कि -स्केलेटन सभी निम्न-आयामी होमोलॉजी मॉड्यूल निर्धारित करता है:
के लिए .
इस सेलुलर परिप्रेक्ष्य का एक महत्वपूर्ण परिणाम यह है कि यदि सीडब्ल्यू-सम्मिश्र में लगातार आयामों में कोई कोशिका नहीं है, तो इसके सभी होमोलॉजी मॉड्यूल स्वतंत्र हैं। उदाहरण के लिए, सम्मिश्र प्रक्षेप्य स्थान प्रत्येक सम आयाम में एक कोशिका के साथ एक कोशिका संरचना होती है; यह उसके लिए अनुसरण करता है ,
और
सामान्यीकरण
अतियाह-हिर्ज़ेब्रुक वर्णक्रमीय अनुक्रम तुल्यरूप से असाधारण होमोलॉजी सिद्धांत असाधारण (सह) होमोलॉजी सिद्धांत के लिए सीडब्ल्यू-सम्मिश्र की (सह) होमोलॉजी की गणना करने की अनुरूप विधि है।
यूलर विशेषता
सेलुलर सम्मिश्र के लिए , होने देना यह हो -वें स्केलेटन, और की संख्या हो -सेल्स, यानी, फ्री मॉड्यूल की रैंक . यूलर की विशेषता फिर द्वारा परिभाषित किया गया है
यूलर विशेषता एक समरूप अपरिवर्तनीय है। वास्तव में, बेट्टी संख्या के संदर्भ में ,
इसे इस प्रकार उचित ठहराया जा सकता है। त्रिक के लिए सापेक्ष समरूपता के लंबे सटीक अनुक्रम पर विचार करें :
अनुक्रम के माध्यम से सटीकता का पीछा करना देता है
यही गणना त्रिगुणों पर भी लागू होती है , , आदि। प्रेरण द्वारा,
संदर्भ