विशेषता वर्ग: Difference between revisions

From Vigyanwiki
No edit summary
 
(9 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Use American English|date=January 2019}}{{Short description|Association of cohomology classes to principal bundles
{{Short description|Association of cohomology classes to principal bundles
}}
}}
गणित में, एक विशिष्ट वर्ग ''X'' के प्रत्येक [[प्रमुख बंडल]] को ''X'' के सह-समरूपता वर्ग के साथ जोड़ने का एक तरीका है। [[ सह-समरूपता |सह-समरूपता]] वर्ग मापता है कि बंडल किस सीमा तक "मुड़ा हुआ" है और क्या इसमें [[अनुभाग (फाइबर बंडल)|अनुभाग]] हैं। चारित्रिक वर्ग वैश्विक अपरिवर्तनीय हैं जो वैश्विक उत्पाद संरचना से स्थानीय उत्पाद संरचना के विचलन को मापते हैं। वे बीजीय टोपोलॉजी, अंतर ज्यामिति और बीजगणितीय ज्यामिति में एकीकृत ज्यामितीय अवधारणाओं में से एक हैं।
गणित में, '''विशेषता वर्ग''' ''X'' के प्रत्येक [[प्रमुख बंडल]] को ''X'' के सह-समरूपता वर्ग के साथ जोड़ने का एक तरीका है। [[ सह-समरूपता |सह-समरूपता]] वर्ग मापता है कि बंडल किस सीमा तक "मुड़ा हुआ" है और क्या इसमें [[अनुभाग (फाइबर बंडल)|अनुभाग]] हैं। चारित्रिक वर्ग वैश्विक अपरिवर्तनीय हैं जो वैश्विक उत्पाद संरचना से स्थानीय उत्पाद संरचना के विचलन को मापते हैं। वे बीजीय टोपोलॉजी, अंतर ज्यामिति और बीजगणितीय ज्यामिति में एकीकृत ज्यामितीय अवधारणाओं में से एक हैं।


विशेषता वर्ग की धारणा 1935 में मैनिफोल्ड्स पर वेक्टर फ़ील्ड के बारे में एडुआर्ड स्टिफ़ेल और [[हस्लर व्हिटनी]] के काम में उत्पन्न हुई।
विशेषता वर्ग की धारणा 1935 में मैनिफोल्ड्स पर सदिश फ़ील्ड के बारे में एडुआर्ड स्टिफ़ेल और [[हस्लर व्हिटनी]] के काम में उत्पन्न हुई थी।


==परिभाषा==
==परिभाषा==


मान लीजिए कि G एक [[टोपोलॉजिकल समूह]] है, और एक टोपोलॉजिकल स्पेस <math>X</math> के लिए, <math>X</math> के ऊपर प्रमुख G-बंडलों के समरूपता वर्गों के सेट के लिए <math>b_G(X)</math> लिखें। यह <math>b_G</math> टॉप (टोपोलॉजिकल स्पेस और निरंतर कार्यों की श्रेणी) से सेट तक एक कंट्रावेरिएंट गुणक है (सेट और फ़ंक्शंस की श्रेणी), पुलबैक ऑपरेशन <math>f^*\colon b_G(Y)\to b_G(X)</math> के लिए एक मानचित्र <math>f\colon X\to Y</math> भेज रहा है।
मान लीजिए कि G [[टोपोलॉजिकल समूह]] है, और टोपोलॉजिकल स्पेस <math>X</math> के लिए, <math>X</math> के ऊपर प्रमुख G-बंडलों के समरूपता वर्गों के समूह के लिए <math>b_G(X)</math> लिखें। यह <math>b_G</math> टॉप (टोपोलॉजिकल स्पेस और निरंतर फंक्शन की श्रेणी) से समूह तक कंट्रावेरिएंट गुणक है (समूह और फ़ंक्शंस की श्रेणी), पुलबैक ऑपरेशन <math>f^*\colon b_G(Y)\to b_G(X)</math> के लिए एक मानचित्र <math>f\colon X\to Y</math> भेज रहा है।


प्रिंसिपल ''G''-बंडलों का एक '''विशिष्ट वर्ग ''c''''' तब <math>b_G</math> से एक कोहोमोलॉजी गुणक <math>H^*</math> में एक [[प्राकृतिक परिवर्तन]] होता है, जिसे सेट के लिए एक गुणक के रूप में भी माना जाता है।
प्रिंसिपल ''G''-बंडलों का '''विशेषता वर्ग ''c''''' तब <math>b_G</math> से कोहोमोलॉजी गुणक <math>H^*</math> में [[प्राकृतिक परिवर्तन]] होता है, जिसे समूह के लिए गुणक के रूप में भी माना जाता है।


दूसरे शब्दों में, एक विशिष्ट वर्ग प्रत्येक प्रिंसिपल ''G''-बंडल <math>P\to X</math> <math>b_G(X)</math> के साथ ''H''*(''X'') में एक तत्व ''c''(''P'') को जोड़ता है, जैसे कि, अगर f : Y → X एक सतत मानचित्र है, तो ''c(f*P) = f*c(P)'' बाईं ओर ''P'' से ''Y'' तक के पुलबैक का वर्ग है; दाईं ओर कोहोमोलॉजी में प्रेरित मानचित्र के अंतर्गत ''P'' के वर्ग की छवि है।  
दूसरे शब्दों में, विशेषता वर्ग प्रत्येक प्रिंसिपल ''G''-बंडल <math>P\to X</math> <math>b_G(X)</math> के साथ ''H''*(''X'') में अवयव ''c''(''P'') को जोड़ता है, जैसे कि, अगर f : Y → X सतत मानचित्र है, तो ''c(f*P) = f*c(P)'' बाईं ओर ''P'' से ''Y'' तक के पुलबैक का वर्ग है; दाईं ओर कोहोमोलॉजी में प्रेरित मानचित्र के अंतर्गत ''P'' के वर्ग की छवि है।  


==विशेषता संख्या==
==विशेषता संख्या==
{{For|द्रव गतिकी में विशेषता संख्याएँ|विशेषता संख्या (द्रव गतिकी)}}
{{For|द्रव गतिकी में विशेषता संख्याएँ|विशेषता संख्या (द्रव गतिकी)}}
विशेषता वर्ग कोहॉमोलॉजी समूहों के तत्व हैं;<ref>Informally, characteristic classes "live" in cohomology.</ref> कोई भी विशेषता वर्गों से पूर्णांक प्राप्त कर सकता है, जिन्हें विशेषता संख्या कहा जाता है। विशिष्ट संख्याओं के कुछ महत्वपूर्ण उदाहरण स्टिफ़ेल-व्हिटनी संख्याएँ, चेर्न संख्याएँ, पोंट्रीगिन संख्याएँ और यूलर विशेषताएँ हैं।
विशेषता वर्ग कोहॉमोलॉजी समूहों के अवयव हैं;<ref>Informally, characteristic classes "live" in cohomology.</ref> कोई भी विशेषता वर्गों से पूर्णांक प्राप्त कर सकता है, जिन्हें विशेषता संख्या कहा जाता है। विशेषता संख्याओं के कुछ महत्वपूर्ण उदाहरण स्टिफ़ेल-व्हिटनी संख्याएँ, चेर्न संख्याएँ, पोंट्रीगिन संख्याएँ और यूलर विशेषताएँ हैं।


[[मौलिक वर्ग]] <math>[M] \in H_n(M)</math> के साथ आयाम ''n'' के एक उन्मुख मैनिफोल्ड ''M'' को देखते हुए, और विशिष्ट वर्गों <math>c_1,\dots,c_k</math> के साथ एक G-बंडल, कोई कुल डिग्री ''n'' के विशिष्ट वर्गों के उत्पाद को मूल वर्ग के साथ जोड़ सकता है। विशिष्ट विशिष्ट संख्याओं की संख्या विशिष्ट वर्गों में डिग्री ''n'' के एकपदी की संख्या है, या समकक्ष रूप से ''n'' से <math>\mbox{deg}\,c_i</math> में विभाजन है।
[[मौलिक वर्ग]] <math>[M] \in H_n(M)</math> के साथ आयाम ''n'' के एक उन्मुख मैनिफोल्ड ''M'' को देखते हुए, और विशेषता वर्गों <math>c_1,\dots,c_k</math> के साथ G-बंडल, कोई कुल डिग्री ''n'' के विशेषता वर्गों के उत्पाद को मूल वर्ग के साथ जोड़ सकता है। विशेषता विशेषता संख्याओं की संख्या विशेषता वर्गों में डिग्री ''n'' के एकपदी की संख्या है, या समकक्ष रूप से ''n'' से <math>\mbox{deg}\,c_i</math> में विभाजन है।


औपचारिक रूप से, <math>i_1,\dots,i_l</math>दिया गया है, जैसे कि <math>\sum \mbox{deg}\,c_{i_j} = n</math> संबंधित विशेषता संख्या है:
औपचारिक रूप से, <math>i_1,\dots,i_l</math>दिया गया है, जैसे कि <math>\sum \mbox{deg}\,c_{i_j} = n</math> संबंधित विशेषता संख्या है:
:<math>c_{i_1}\smile c_{i_2}\smile \dots \smile c_{i_l}([M])</math>
:<math>c_{i_1}\smile c_{i_2}\smile \dots \smile c_{i_l}([M])</math>
कहाँ <math>\smile</math> कोहोमोलॉजी कक्षाओं के [[कप उत्पाद]] को दर्शाता है।
जहां  <math>\smile</math> कोहोमोलॉजी कक्षाओं के कप उत्पाद को दर्शाता है। इन्हें विभिन्न प्रकार से या तो विशेषता वर्गों के उत्पाद के रूप में नोट किया जाता है, जैसे कि <math>c_1^2</math>, या कुछ वैकल्पिक संकेतन द्वारा, जैसे कि <math>P_{1,1}</math>, <math>p_1^2</math> के अनुरूप पोंट्रीगिन संख्या के लिए, या यूलर विशेषता के लिए <math>\chi</math> है।
इन्हें विभिन्न प्रकार से या तो विशिष्ट वर्गों के उत्पाद के रूप में जाना जाता है, जैसे <math>c_1^2</math>, या कुछ वैकल्पिक संकेतन द्वारा, जैसे <math>P_{1,1}</math> पोंट्रीगिन वर्ग के लिए#पोंट्रीगिन संख्याओं के अनुरूप <math>p_1^2</math>, या <math>\chi</math> यूलर विशेषता के लिए.


[[डॉ कहलमज गर्भाशय]] के दृष्टिकोण से, कोई विशिष्ट वर्गों का प्रतिनिधित्व करने वाले भिन्न रूप ले सकता है,<ref>By [[Chern–Weil theory]], these are polynomials in the curvature; by [[Hodge theory]], one can take harmonic form.</ref> एक वेज उत्पाद लें ताकि एक शीर्ष आयामी रूप प्राप्त हो, फिर मैनिफोल्ड पर एकीकृत हो; यह उत्पाद को कोहोमोलॉजी में लेने और मौलिक वर्ग के साथ जोड़ने के समान है।
डी राम कोहोमोलॉजी के दृष्टिकोण से, कोई व्यक्ति विशेषता वर्गों का प्रतिनिधित्व करने वाले विभेदक रूप ले सकता है,<ref>By [[Chern–Weil theory]], these are polynomials in the curvature; by [[Hodge theory]], one can take harmonic form.</ref> पच्चर गुणनफल ले सकता है ताकि कोई एक शीर्ष आयामी रूप प्राप्त कर सके, और फिर कई गुना पर एकीकृत हो सके; यह उत्पाद को कोहोमोलॉजी में लेने और मूल वर्ग के साथ जोड़ने के समान है।


यह नॉन-ओरिएंटेबल मैनिफ़ोल्ड्स के लिए भी काम करता है, जिनमें a <math>\mathbf{Z}/2\mathbf{Z}</math>-अभिविन्यास, जिस स्थिति में कोई प्राप्त करता है <math>\mathbf{Z}/2\mathbf{Z}</math>-मूल्यवान विशेषता संख्याएँ, जैसे कि स्टिफ़ेल-व्हिटनी संख्याएँ।
यह नॉन-ओरिएंटेबल मैनिफोल्ड्स के लिए भी काम करता है, जिसमें <math>\mathbf{Z}/2\mathbf{Z}</math>-ओरिएंटेशन होता है, जिस स्थिति में किसी को <math>\mathbf{Z}/2\mathbf{Z}</math>-मूल्यवान विशेषता संख्याएं प्राप्त होती हैं, जैसे कि स्टिफ़ेल-व्हिटनी संख्याएं।


अभिलक्षणिक संख्याएँ उन्मुख और अउन्मुख कोबॉर्डिज्म को हल करती हैं#कोबॉर्डिज़्म वर्ग: दो मैनिफ़ोल्ड (क्रमशः उन्मुख या अउन्मुख) कोबॉर्डेंट होते हैं यदि और केवल तभी जब उनकी विशेषता संख्याएँ समान हों।
विशेषता संख्याएँ उन्मुख और गैर-उन्मुख बोर्डिज़्म प्रश्न को हल करती हैं: दो मैनिफ़ोल्ड (क्रमशः उन्मुख या गैर-उन्मुख) समन्वयात्मक होते हैं यदि और केवल तभी जब उनकी विशेषता संख्याएँ समान हों।


==प्रेरणा==
==प्रेरणा==


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


जब सिद्धांत को 1950 के आसपास एक संगठित आधार पर रखा गया था (परिभाषाओं को होमोटॉपी सिद्धांत में घटाकर) यह स्पष्ट हो गया कि उस समय ज्ञात सबसे मौलिक विशेषता वर्ग (स्टीफेल-व्हिटनी वर्ग, चेर्न वर्ग और [[पोंट्रीगिन वर्ग]]) थे शास्त्रीय रैखिक समूहों और उनकी [[अधिकतम टोरस]] संरचना के प्रतिबिंब। इससे भी अधिक, चेर्न वर्ग स्वयं इतना नया नहीं था, जो [[ग्रासमैनियन]]्स पर [[शुबर्ट कैलकुलस]] और बीजगणितीय ज्यामिति के इतालवी स्कूल के काम में परिलक्षित होता था। दूसरी ओर अब एक ऐसा ढाँचा था जो वर्गों के परिवारों का निर्माण करता था, जब भी कोई [[वेक्टर बंडल]] शामिल होता था।
जब सिद्धांत को 1950 के आसपास एक संगठित आधार पर रखा गया था (परिभाषाओं को होमोटॉपी सिद्धांत में घटाकर) यह स्पष्ट हो गया कि उस समय ज्ञात सबसे मौलिक विशेषता वर्ग (स्टीफेल-व्हिटनी वर्ग, चेर्न वर्ग और [[पोंट्रीगिन वर्ग]]) थे शास्त्रीय रैखिक समूहों और उनकी [[अधिकतम टोरस]] संरचना के प्रतिबिंब। इससे भी अधिक, चेर्न वर्ग स्वयं इतना नया नहीं था, जो [[ग्रासमैनियन]] पर [[शुबर्ट कैलकुलस]] और बीजगणितीय ज्यामिति के इतालवी स्कूल के काम में परिलक्षित होता था। दूसरी ओर अब एक ऐसा ढाँचा था जो वर्गों के परिवारों का निर्माण करता था, जब भी कोई [[वेक्टर बंडल|सदिश बंडल]] सम्मिलित होता था।


मुख्य तंत्र तब इस प्रकार दिखाई दिया: एक वेक्टर बंडल ले जाने वाले स्पेस एक्स को देखते हुए, [[सीडब्ल्यू कॉम्प्लेक्स]] में प्रासंगिक रैखिक समूह जी के लिए एक्स से वर्गीकृत स्पेस बीजी तक मैपिंग निहित है। होमोटॉपी सिद्धांत के लिए प्रासंगिक जानकारी ली जाती है कॉम्पैक्ट उपसमूहों द्वारा जैसे कि [[ऑर्थोगोनल समूह]] और जी के [[एकात्मक समूह]]। एक बार कोहोमोलॉजी <math>H^*(BG)</math> गणना की गई, एक बार और सभी के लिए, कोहोलॉजी की विरोधाभासी संपत्ति का मतलब था कि बंडल के लिए विशिष्ट वर्गों को परिभाषित किया जाएगा <math>H^*(X)</math> समान आयामों में. उदाहरण के लिए चेर्न वर्ग वास्तव में प्रत्येक सम आयाम में श्रेणीबद्ध घटकों वाला एक वर्ग है।
मुख्य तंत्र तब इस प्रकार दिखाई दिया: सदिश बंडल ले जाने वाले स्पेस एक्स को देखते हुए, [[सीडब्ल्यू कॉम्प्लेक्स]] में प्रासंगिक रैखिक समूह जी के लिए एक्स से वर्गीकृत स्पेस बीजी तक मैपिंग निहित है। होमोटॉपी सिद्धांत के लिए प्रासंगिक जानकारी ली जाती है कॉम्पैक्ट उपसमूहों द्वारा जैसे कि [[ऑर्थोगोनल समूह]] और जी के [[एकात्मक समूह]]। एक बार कोहोमोलॉजी <math>H^*(BG)</math> गणना की गई, एक बार और सभी के लिए, कोहोलॉजी की विरोधाभासी संपत्ति का मतलब था कि बंडल के लिए विशेषता वर्गों को परिभाषित किया जाएगा <math>H^*(X)</math> समान आयामों में. उदाहरण के लिए चेर्न वर्ग वास्तव में प्रत्येक सम आयाम में श्रेणीबद्ध घटकों वाला एक वर्ग है।


यह अभी भी क्लासिक व्याख्या है, हालांकि किसी दिए गए ज्यामितीय सिद्धांत में अतिरिक्त संरचना को ध्यान में रखना लाभदायक है। जब 1955 के बाद से के-सिद्धांत और कोबॉर्डिज्म सिद्धांत के आगमन के साथ कोहोलॉजी 'असाधारण' हो गई, तो यह कहने के लिए कि विशिष्ट वर्ग क्या थे, वास्तव में हर जगह एच अक्षर को बदलना आवश्यक था।
यह अभी भी उत्कृष्ट व्याख्या है, हालांकि किसी दिए गए ज्यामितीय सिद्धांत में अतिरिक्त संरचना को ध्यान में रखना लाभदायक है। जब 1955 के बाद से के-सिद्धांत और कोबॉर्डिज्म सिद्धांत के आगमन के साथ कोहोलॉजी 'असाधारण' हो गई, तो यह कहने के लिए कि विशेषता वर्ग क्या थे, वास्तव में हर जगह एच अक्षर को बदलना आवश्यक था।


बाद में [[ कई गुना ]]्स के पत्तों के लिए विशिष्ट वर्ग पाए गए; उनके पास (संशोधित अर्थ में, कुछ अनुमत विलक्षणताओं वाले पत्तों के लिए) [[होमोटॉपी]] सिद्धांत में एक वर्गीकृत अंतरिक्ष सिद्धांत है।
विशेषता वर्ग बाद में कई गुना के फोलियों के लिए पाए गए, उनके पास (संशोधित अर्थ में, कुछ स्वीकृत विलक्षणताओं के साथ फोलियों के लिए) [[होमोटॉपी]] सिद्धांत में वर्गीकरण स्पेस सिद्धांत है।


गणित और भौतिकी के मेल-मिलाप के बाद बाद के काम में, [[साइमन डोनाल्डसन]] और [[डाइटर कोट्सचिक]] द्वारा [[ एक पल ]] सिद्धांत में नए विशिष्ट वर्ग पाए गए। [[शिंग-शेन चेर्न]] का कार्य और दृष्टिकोण भी महत्वपूर्ण साबित हुआ है: चेर्न-साइमन्स|चेर्न-साइमन्स सिद्धांत देखें।
गणित और भौतिकी के ''पुनर्मेल'' के बाद बाद के काम में, इंस्टेंटन सिद्धांत में [[साइमन डोनाल्डसन]] और [[डाइटर कोट्सचिक]] द्वारा नए विशेषता वर्ग पाए गए। [[शिंग-शेन चेर्न|चेर्न]] के फंक्शन और दृष्टिकोण भी महत्वपूर्ण साबित हुए हैं: चेर्न-साइमन्स सिद्धांत देखें।


==स्थिरता==
==स्थिरता==
[[स्थिर समरूपता सिद्धांत]] की भाषा में, चेर्न वर्ग, स्टिफ़ेल-व्हिटनी वर्ग और पोंट्रीगिन वर्ग स्थिर हैं, जबकि [[यूलर वर्ग]] अस्थिर है।
स्थिर होमोटॉपी सिद्धांत की भाषा में, चेर्न वर्ग, स्टिफ़ेल-व्हिटनी वर्ग और पोंट्रीगिन वर्ग स्थिर हैं, जबकि [[यूलर वर्ग]]''अस्थिर'' है।


सीधे तौर पर, एक स्थिर वर्ग वह है जो एक तुच्छ बंडल जोड़ने पर नहीं बदलता है: <math>c(V \oplus 1) = c(V)</math>. अधिक संक्षेप में, इसका मतलब है कि वर्गीकरण स्थान में कोहोलॉजी वर्ग <math>BG(n)</math> कोहोमोलॉजी कक्षा से वापस खींच लिया जाता है <math>BG(n+1)</math> समावेशन के अंतर्गत <math>BG(n) \to BG(n+1)</math> (जो समावेशन से मेल खाता है <math>\mathbf{R}^n \to \mathbf{R}^{n+1}</math> और समान)। समान रूप से, सभी परिमित विशेषता वर्ग एक स्थिर वर्ग से पीछे की ओर खींचते हैं <math>BG</math>.
सीधे तौर पर, स्थिर वर्ग वह है जो तुच्छ बंडल जोड़ने पर नहीं बदलता है: <math>c(V \oplus 1) = c(V)</math>अधिक संक्षेप में, इसका मतलब है कि <math>BG(n)</math> के लिए वर्गीकृत स्थान में कोहोमोलॉजी वर्ग <math>BG(n) \to BG(n+1)</math>को सम्मिलित करने के तहत <math>BG(n+1)</math>में कोहोमोलॉजी वर्ग से वापस खींचता है (जो कि से मेल खाता है) समावेशन <math>\mathbf{R}^n \to \mathbf{R}^{n+1}</math>और समान)। समान रूप से, सभी परिमित चारित्रिक वर्ग <math>BG</math> में एक स्थिर वर्ग से पीछे हट जाते हैं।


यह यूलर वर्ग के मामले में नहीं है, जैसा कि वहां विस्तृत है, कम से कम इसलिए नहीं क्योंकि के-आयामी बंडल का यूलर वर्ग रहता है <math>H^k(X)</math> (इसलिए से पीछे खींचता है <math>H^k(BO(k))</math>, इसलिए यह कक्षा से पीछे नहीं हट सकता <math>H^{k+1}</math>, क्योंकि आयाम भिन्न हैं।
यह यूलर वर्ग के स्तिथि में नहीं है, जैसा कि वहां विस्तृत है, कम से कम इसलिए नहीं क्योंकि के-आयामी बंडल का यूलर वर्ग <math>H^k(X)</math> में रहता है (इसलिए <math>H^k(BO(k))</math> से वापस खींचता है, इसलिए यह नहीं हो सकता है <math>H^{k+1}</math> में एक वर्ग से वापस खींचें, क्योंकि आयाम भिन्न होते हैं।


==यह भी देखें==
==यह भी देखें==
*[[अलग वर्ग]]
*[[अलग वर्ग]]
*[[यूलर विशेषता]]
*[[यूलर विशेषता]]
*चेर्न क्लास
*चेर्न वर्ग


== टिप्पणियाँ ==
== टिप्पणियाँ ==
<references/>
<references/>
== संदर्भ ==
== संदर्भ ==


Line 68: Line 65:
* {{cite book|first1=John W.|last1=Milnor|authorlink1=John Milnor| first2=Jim|last2=Stasheff| authorlink2=James D. Stasheff|title=Characteristic classes|series=Annals of Mathematics Studies|volume=76|publisher=[[Princeton University Press]], Princeton, NJ; [[University of Tokyo Press]], Tokyo|year= 1974|isbn=0-691-08122-0}}
* {{cite book|first1=John W.|last1=Milnor|authorlink1=John Milnor| first2=Jim|last2=Stasheff| authorlink2=James D. Stasheff|title=Characteristic classes|series=Annals of Mathematics Studies|volume=76|publisher=[[Princeton University Press]], Princeton, NJ; [[University of Tokyo Press]], Tokyo|year= 1974|isbn=0-691-08122-0}}


{{DEFAULTSORT:Characteristic Class}}[[Category: विशेषता वर्ग| विशेषता वर्ग]]
{{DEFAULTSORT:Characteristic Class}}
 
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Characteristic Class]]
[[Category:Created On 05/07/2023]]
[[Category:Created On 05/07/2023|Characteristic Class]]
[[Category:Lua-based templates|Characteristic Class]]
[[Category:Machine Translated Page|Characteristic Class]]
[[Category:Pages with script errors|Characteristic Class]]
[[Category:Templates Vigyan Ready|Characteristic Class]]
[[Category:Templates that add a tracking category|Characteristic Class]]
[[Category:Templates that generate short descriptions|Characteristic Class]]
[[Category:Templates using TemplateData|Characteristic Class]]
[[Category:विशेषता वर्ग| विशेषता वर्ग]]

Latest revision as of 09:33, 6 September 2023

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

विशेषता वर्ग की धारणा 1935 में मैनिफोल्ड्स पर सदिश फ़ील्ड के बारे में एडुआर्ड स्टिफ़ेल और हस्लर व्हिटनी के काम में उत्पन्न हुई थी।

परिभाषा

मान लीजिए कि G टोपोलॉजिकल समूह है, और टोपोलॉजिकल स्पेस के लिए, के ऊपर प्रमुख G-बंडलों के समरूपता वर्गों के समूह के लिए लिखें। यह टॉप (टोपोलॉजिकल स्पेस और निरंतर फंक्शन की श्रेणी) से समूह तक कंट्रावेरिएंट गुणक है (समूह और फ़ंक्शंस की श्रेणी), पुलबैक ऑपरेशन के लिए एक मानचित्र भेज रहा है।

प्रिंसिपल G-बंडलों का विशेषता वर्ग c तब से कोहोमोलॉजी गुणक में प्राकृतिक परिवर्तन होता है, जिसे समूह के लिए गुणक के रूप में भी माना जाता है।

दूसरे शब्दों में, विशेषता वर्ग प्रत्येक प्रिंसिपल G-बंडल के साथ H*(X) में अवयव c(P) को जोड़ता है, जैसे कि, अगर f : Y → X सतत मानचित्र है, तो c(f*P) = f*c(P) बाईं ओर P से Y तक के पुलबैक का वर्ग है; दाईं ओर कोहोमोलॉजी में प्रेरित मानचित्र के अंतर्गत P के वर्ग की छवि है।

विशेषता संख्या

विशेषता वर्ग कोहॉमोलॉजी समूहों के अवयव हैं;[1] कोई भी विशेषता वर्गों से पूर्णांक प्राप्त कर सकता है, जिन्हें विशेषता संख्या कहा जाता है। विशेषता संख्याओं के कुछ महत्वपूर्ण उदाहरण स्टिफ़ेल-व्हिटनी संख्याएँ, चेर्न संख्याएँ, पोंट्रीगिन संख्याएँ और यूलर विशेषताएँ हैं।

मौलिक वर्ग के साथ आयाम n के एक उन्मुख मैनिफोल्ड M को देखते हुए, और विशेषता वर्गों के साथ G-बंडल, कोई कुल डिग्री n के विशेषता वर्गों के उत्पाद को मूल वर्ग के साथ जोड़ सकता है। विशेषता विशेषता संख्याओं की संख्या विशेषता वर्गों में डिग्री n के एकपदी की संख्या है, या समकक्ष रूप से n से में विभाजन है।

औपचारिक रूप से, दिया गया है, जैसे कि संबंधित विशेषता संख्या है:

जहां कोहोमोलॉजी कक्षाओं के कप उत्पाद को दर्शाता है। इन्हें विभिन्न प्रकार से या तो विशेषता वर्गों के उत्पाद के रूप में नोट किया जाता है, जैसे कि , या कुछ वैकल्पिक संकेतन द्वारा, जैसे कि , के अनुरूप पोंट्रीगिन संख्या के लिए, या यूलर विशेषता के लिए है।

डी राम कोहोमोलॉजी के दृष्टिकोण से, कोई व्यक्ति विशेषता वर्गों का प्रतिनिधित्व करने वाले विभेदक रूप ले सकता है,[2] पच्चर गुणनफल ले सकता है ताकि कोई एक शीर्ष आयामी रूप प्राप्त कर सके, और फिर कई गुना पर एकीकृत हो सके; यह उत्पाद को कोहोमोलॉजी में लेने और मूल वर्ग के साथ जोड़ने के समान है।

यह नॉन-ओरिएंटेबल मैनिफोल्ड्स के लिए भी काम करता है, जिसमें -ओरिएंटेशन होता है, जिस स्थिति में किसी को -मूल्यवान विशेषता संख्याएं प्राप्त होती हैं, जैसे कि स्टिफ़ेल-व्हिटनी संख्याएं।

विशेषता संख्याएँ उन्मुख और गैर-उन्मुख बोर्डिज़्म प्रश्न को हल करती हैं: दो मैनिफ़ोल्ड (क्रमशः उन्मुख या गैर-उन्मुख) समन्वयात्मक होते हैं यदि और केवल तभी जब उनकी विशेषता संख्याएँ समान हों।

प्रेरणा

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

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

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

यह अभी भी उत्कृष्ट व्याख्या है, हालांकि किसी दिए गए ज्यामितीय सिद्धांत में अतिरिक्त संरचना को ध्यान में रखना लाभदायक है। जब 1955 के बाद से के-सिद्धांत और कोबॉर्डिज्म सिद्धांत के आगमन के साथ कोहोलॉजी 'असाधारण' हो गई, तो यह कहने के लिए कि विशेषता वर्ग क्या थे, वास्तव में हर जगह एच अक्षर को बदलना आवश्यक था।

विशेषता वर्ग बाद में कई गुना के फोलियों के लिए पाए गए, उनके पास (संशोधित अर्थ में, कुछ स्वीकृत विलक्षणताओं के साथ फोलियों के लिए) होमोटॉपी सिद्धांत में वर्गीकरण स्पेस सिद्धांत है।

गणित और भौतिकी के पुनर्मेल के बाद बाद के काम में, इंस्टेंटन सिद्धांत में साइमन डोनाल्डसन और डाइटर कोट्सचिक द्वारा नए विशेषता वर्ग पाए गए। चेर्न के फंक्शन और दृष्टिकोण भी महत्वपूर्ण साबित हुए हैं: चेर्न-साइमन्स सिद्धांत देखें।

स्थिरता

स्थिर होमोटॉपी सिद्धांत की भाषा में, चेर्न वर्ग, स्टिफ़ेल-व्हिटनी वर्ग और पोंट्रीगिन वर्ग स्थिर हैं, जबकि यूलर वर्गअस्थिर है।

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

यह यूलर वर्ग के स्तिथि में नहीं है, जैसा कि वहां विस्तृत है, कम से कम इसलिए नहीं क्योंकि के-आयामी बंडल का यूलर वर्ग में रहता है (इसलिए से वापस खींचता है, इसलिए यह नहीं हो सकता है में एक वर्ग से वापस खींचें, क्योंकि आयाम भिन्न होते हैं।

यह भी देखें

टिप्पणियाँ

  1. Informally, characteristic classes "live" in cohomology.
  2. By Chern–Weil theory, these are polynomials in the curvature; by Hodge theory, one can take harmonic form.

संदर्भ

  • Chern, Shiing-Shen (1995). Complex manifolds without potential theory. Springer-Verlag Press. ISBN 0-387-90422-0. ISBN 3-540-90422-0.
    The appendix of this book: "Geometry of characteristic classes" is a very neat and profound introduction to the development of the ideas of characteristic classes.
  • Hatcher, Allen, Vector bundles & K-theory
  • Husemoller, Dale (1966). Fibre bundles (3rd Edition, Springer 1993 ed.). McGraw Hill. ISBN 0387940871.
  • Milnor, John W.; Stasheff, Jim (1974). Characteristic classes. Annals of Mathematics Studies. Vol. 76. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo. ISBN 0-691-08122-0.