चेर्न वर्ग: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Characteristic classes on algebraic vector bundles}}
{{Short description|Characteristic classes on algebraic vector bundles}}
गणित में, विशेष रूप से [[बीजगणितीय टोपोलॉजी]], [[विभेदक ज्यामिति और टोपोलॉजी|विभेदक ज्यामिति एवं टोपोलॉजी]] एवं [[बीजगणितीय ज्यामिति]] में, चेर्न कक्षाएं जटिल [[वेक्टर बंडल|सदिश बंडल]] सदिश बंडलों से जुड़े विशिष्ट वर्ग हैं। तब से वे गणित एवं भौतिकी की कई शाखाओं में मौलिक अवधारणाएँ बन गए हैं, जैसे कि [[स्ट्रिंग सिद्धांत]], चेर्न-साइमन्स सिद्धांत, गाँठ सिद्धांत, ग्रोमोव-विटन सिद्धांत|ग्रोमोव-विटन इनवेरिएंट्स।
गणित में, विशेष रूप से [[बीजगणितीय टोपोलॉजी]], [[विभेदक ज्यामिति और टोपोलॉजी|विभेदक ज्यामिति एवं टोपोलॉजी]] एवं [[बीजगणितीय ज्यामिति]] में, '''चेर्न कक्षाएं''' समष्टि [[वेक्टर बंडल|सदिश बंडल]] सदिश बंडलों से जुड़े विशिष्ट वर्ग हैं। तब से वे गणित एवं भौतिकी की कई शाखाओं में मौलिक अवधारणाएँ बन गए हैं, जैसे कि [[स्ट्रिंग सिद्धांत]], चेर्न-साइमन्स सिद्धांत, गाँठ सिद्धांत, ग्रोमोव-विटन सिद्धांत|ग्रोमोव-विटन इनवेरिएंट्स।


चेर्न कक्षाएं {{harvs|txt|authorlink=Shiing-Shen Chern|first=Shiing-Shen|last=Chern|year=1946}} द्वारा प्रारम्भ की गईं।
चेर्न कक्षाएं {{harvs|txt|authorlink=Shiing-Shen Chern|first=Shiing-Shen|last=Chern|year=1946}} द्वारा प्रारम्भ की गईं।
Line 10: Line 10:
चेर्न वर्ग विशिष्ट वर्ग हैं। वे चिकने मैनिफोल्ड पर सदिश बंडलों से जुड़े [[ टोपोलॉजिकल अपरिवर्तनीय ]] हैं। इस प्रश्न का उत्तर देना अधिकतम कठिन हो सकता है, कि क्या दो प्रत्यक्ष रूप से भिन्न सदिश बंडल एक जैसे हैं। चेर्न वर्ग सरल परीक्षण प्रदान करते हैं: यदि सदिश बंडलों की जोड़ी के चेर्न वर्ग सहमत नहीं हैं, तो सदिश बंडल भिन्न हैं। चूंकि, इसका उलटा सच नहीं है।
चेर्न वर्ग विशिष्ट वर्ग हैं। वे चिकने मैनिफोल्ड पर सदिश बंडलों से जुड़े [[ टोपोलॉजिकल अपरिवर्तनीय ]] हैं। इस प्रश्न का उत्तर देना अधिकतम कठिन हो सकता है, कि क्या दो प्रत्यक्ष रूप से भिन्न सदिश बंडल एक जैसे हैं। चेर्न वर्ग सरल परीक्षण प्रदान करते हैं: यदि सदिश बंडलों की जोड़ी के चेर्न वर्ग सहमत नहीं हैं, तो सदिश बंडल भिन्न हैं। चूंकि, इसका उलटा सच नहीं है।


टोपोलॉजी, विभेदक ज्यामिति एवं बीजगणितीय ज्यामिति में, यह गिनना प्रायः महत्वपूर्ण होता है कि सदिश बंडल में कितने [[रैखिक रूप से स्वतंत्र]] अनुभाग हैं। उदाहरण के लिए, चेर्न कक्षाएं इसके बारे में कुछ जानकारी प्रदान करती हैं, उदाहरण के लिए, रीमैन-रोच प्रमेय एवं अतियाह-सिंगर सूचकांक प्रमेय होती है।
टोपोलॉजी, विभेदक ज्यामिति एवं बीजगणितीय ज्यामिति में, यह गिनना प्रायः महत्वपूर्ण होता है कि सदिश बंडल में कितने [[रैखिक रूप से स्वतंत्र]] अनुभाग हैं। उदाहरण के लिए, चेर्न कक्षाएं इसके बारे में कुछ जानकारी प्रदान करती हैं, उदाहरण के लिए, रीमैन-रोच प्रमेय एवं अतियाह-सिंगर सूचकांक प्रमेय होती है। अभ्यास में चेर्न कक्षाओं की गणना करना भी संभव है। विभेदक ज्यामिति (एवं कुछ प्रकार की बीजगणितीय ज्यामिति) में, चेर्न वर्गों को [[वक्रता रूप]] के गुणांकों में बहुपद के रूप में व्यक्त किया जा सकता है।
 
अभ्यास में चेर्न कक्षाओं की गणना करना भी संभव है। विभेदक ज्यामिति (एवं कुछ प्रकार की बीजगणितीय ज्यामिति) में, चेर्न वर्गों को [[वक्रता रूप]] के गुणांकों में बहुपद के रूप में व्यक्त किया जा सकता है।


=== निर्माण ===
=== निर्माण ===


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


यह दिखाया जा सकता है कि एम से वर्गीकृत स्थान तक किन्हीं दो मानचित्रों एफ, जी के लिए जिनके पुलबैक समान बंडल वी हैं, मानचित्र समस्थानिक होने चाहिए। इसलिए, किसी भी सार्वभौमिक चेर्न वर्ग के एफ या जी द्वारा एम के कोहोमोलॉजी वर्ग में पुलबैक एक ही वर्ग होना चाहिए। इससे पता चलता है कि वी की चेर्न कक्षाएं अच्छी तरह से परिभाषित हैं।
यह दिखाया जा सकता है कि एम से वर्गीकृत स्थान तक किन्हीं दो मानचित्रों एफ, जी के लिए जिनके पुलबैक समान बंडल वी हैं, मानचित्र समस्थानिक होने चाहिए। इसलिए, किसी भी सार्वभौमिक चेर्न वर्ग के एफ या जी द्वारा एम के कोहोमोलॉजी वर्ग में पुलबैक एक ही वर्ग होना चाहिए। इससे पता चलता है कि वी की चेर्न कक्षाएं अच्छी तरह से परिभाषित हैं।
Line 26: Line 22:
[[अलेक्जेंडर ग्रोथेंडिक]] का एक दृष्टिकोण यह भी दर्शाता है कि स्वयंसिद्ध रूप से किसी को केवल लाइन बंडल केस को परिभाषित करने की आवश्यकता है।
[[अलेक्जेंडर ग्रोथेंडिक]] का एक दृष्टिकोण यह भी दर्शाता है कि स्वयंसिद्ध रूप से किसी को केवल लाइन बंडल केस को परिभाषित करने की आवश्यकता है।


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


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


अधिक चर्चा के लिए चेर्न-साइमन्स सिद्धांत देखें।
अधिक चर्चा के लिए चेर्न-साइमन्स सिद्धांत देखें।
Line 40: Line 36:
एक महत्वपूर्ण विशेष मामला तब होता है जब V एक [[लाइन बंडल]] होता है। फिर एकमात्र गैर-तुच्छ चेर्न वर्ग पहला चेर्न वर्ग है, जो एक्स के दूसरे कोहोलॉजी समूह का एक तत्व है। चूंकि यह शीर्ष चेर्न वर्ग है, यह बंडल के [[यूलर वर्ग]] के बराबर है।
एक महत्वपूर्ण विशेष मामला तब होता है जब V एक [[लाइन बंडल]] होता है। फिर एकमात्र गैर-तुच्छ चेर्न वर्ग पहला चेर्न वर्ग है, जो एक्स के दूसरे कोहोलॉजी समूह का एक तत्व है। चूंकि यह शीर्ष चेर्न वर्ग है, यह बंडल के [[यूलर वर्ग]] के बराबर है।


पहला चेर्न वर्ग अपरिवर्तनीयों का एक पूरा सेट बन जाता है जिसके साथ टोपोलॉजिकल रूप से बोलते हुए, जटिल लाइन बंडलों को वर्गीकृत किया जाता है। अर्थात्, X एवं तत्वों के ऊपर लाइन बंडलों के समरूपता वर्गों के बीच एक आक्षेप है <math>H^2(X;\Z)</math>, जो अपने पहले चेर्न क्लास को एक लाइन बंडल से जोड़ता है। इसके अलावा, यह आक्षेप एक समूह समरूपता है (इस प्रकार एक समरूपता):
पहला चेर्न वर्ग अपरिवर्तनीयों का एक पूरा सेट बन जाता है जिसके साथ टोपोलॉजिकल रूप से बोलते हुए, समष्टि लाइन बंडलों को वर्गीकृत किया जाता है। अर्थात्, X एवं तत्वों के ऊपर लाइन बंडलों के समरूपता वर्गों के बीच एक आक्षेप है <math>H^2(X;\Z)</math>, जो अपने पहले चेर्न क्लास को एक लाइन बंडल से जोड़ता है। इसके अलावा, यह आक्षेप एक समूह समरूपता है (इस प्रकार एक समरूपता):
<math display="block">c_1(L \otimes L') = c_1(L) + c_1(L');</math>
<math display="block">c_1(L \otimes L') = c_1(L) + c_1(L');</math>
जटिल लाइन बंडलों का [[टेंसर उत्पाद]] दूसरे कोहोमोलॉजी समूह में जोड़ से मेल खाता है।<ref>{{cite book | first1=Raoul | last1=Bott| first2=Loring|last2=Tu |author1-link=Raoul Bott |title=बीजगणितीय टोपोलॉजी में विभेदक रूप| date=1995|publisher=Springer|location=New York [u.a.]|isbn=3-540-90613-4|page=267ff|edition=Corr. 3. print.}}</ref><ref>{{cite web |at=Proposition 3.10.|first=Allen|last= Hatcher|author-link=Allen Hatcher| url=http://www.math.cornell.edu/~hatcher/VBKT/VB.pdf |title= Vector Bundles and K-theory}}</ref>
समष्टि लाइन बंडलों का [[टेंसर उत्पाद]] दूसरे कोहोमोलॉजी समूह में जोड़ से मेल खाता है।<ref>{{cite book | first1=Raoul | last1=Bott| first2=Loring|last2=Tu |author1-link=Raoul Bott |title=बीजगणितीय टोपोलॉजी में विभेदक रूप| date=1995|publisher=Springer|location=New York [u.a.]|isbn=3-540-90613-4|page=267ff|edition=Corr. 3. print.}}</ref><ref>{{cite web |at=Proposition 3.10.|first=Allen|last= Hatcher|author-link=Allen Hatcher| url=http://www.math.cornell.edu/~hatcher/VBKT/VB.pdf |title= Vector Bundles and K-theory}}</ref>
बीजगणितीय ज्यामिति में, प्रथम चेर्न वर्ग द्वारा जटिल रेखा बंडलों (आइसोमोर्फिज्म वर्गों) का यह वर्गीकरण वि[[भाजक (बीजगणितीय ज्यामिति)]] के [[रैखिक तुल्यता]] वर्गों द्वारा [[होलोमोर्फिक लाइन बंडल]]ों के (आइसोमोर्फिज्म वर्गों) वर्गीकरण का एक अपरिष्कृत अनुमान है।
बीजगणितीय ज्यामिति में, प्रथम चेर्न वर्ग द्वारा समष्टि रेखा बंडलों (आइसोमोर्फिज्म वर्गों) का यह वर्गीकरण वि[[भाजक (बीजगणितीय ज्यामिति)]] के [[रैखिक तुल्यता]] वर्गों द्वारा [[होलोमोर्फिक लाइन बंडल]]ों के (आइसोमोर्फिज्म वर्गों) वर्गीकरण का एक अपरिष्कृत अनुमान है।


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


== निर्माण ==
== निर्माण ==
Line 52: Line 48:
{{main|Chern–Weil theory}}
{{main|Chern–Weil theory}}


एक चिकनी मैनिफोल्ड एम पर सदिश बंडल एन के एक जटिल [[हर्मिटियन मीट्रिक]] सदिश बंडल वी को देखते हुए, प्रत्येक चेर्न वर्ग के प्रतिनिधि (जिसे 'चेर्न फॉर्म' भी कहा जाता है) <math>c_k(V)</math> V को वक्रता रूप के विशिष्ट बहुपद के गुणांक के रूप में दिया गया है <math>\Omega</math> वी का.
एक चिकनी मैनिफोल्ड एम पर सदिश बंडल एन के एक समष्टि [[हर्मिटियन मीट्रिक]] सदिश बंडल वी को देखते हुए, प्रत्येक चेर्न वर्ग के प्रतिनिधि (जिसे 'चेर्न फॉर्म' भी कहा जाता है) <math>c_k(V)</math> V को वक्रता रूप के विशिष्ट बहुपद के गुणांक के रूप में दिया गया है <math>\Omega</math> वी का.


<math display="block">\det \left(\frac {it\Omega}{2\pi} +I\right) = \sum_k c_k(V) t^k</math>
<math display="block">\det \left(\frac {it\Omega}{2\pi} +I\right) = \sum_k c_k(V) t^k</math>
निर्धारक रिंग के ऊपर है <math>n \times n</math> आव्यूह जिनकी प्रविष्टियाँ टी में बहुपद हैं एवं एम पर सम जटिल अंतर रूपों के क्रमविनिमेय बीजगणित में गुणांक हैं। वक्रता रूप <math>\Omega</math> V को इस प्रकार परिभाषित किया गया है
निर्धारक रिंग के ऊपर है <math>n \times n</math> आव्यूह जिनकी प्रविष्टियाँ टी में बहुपद हैं एवं एम पर सम समष्टि अंतर रूपों के क्रमविनिमेय बीजगणित में गुणांक हैं। वक्रता रूप <math>\Omega</math> V को इस प्रकार परिभाषित किया गया है
<math display="block">\Omega = d\omega+\frac{1}{2}[\omega,\omega]</math>
<math display="block">\Omega = d\omega+\frac{1}{2}[\omega,\omega]</math>
ω के साथ [[ कनेक्शन प्रपत्र ]] एवं डी [[बाहरी व्युत्पन्न]], या उसी अभिव्यक्ति के माध्यम से जिसमें ω वी के [[गेज समूह]] के लिए एक [[गेज क्षेत्र]] है। स्केलर टी का उपयोग केवल फ़ंक्शन से योग उत्पन्न करने के लिए एक [[अनिश्चित (चर)]] के रूप में किया जाता है निर्धारक, एवं I n × n पहचान मैट्रिक्स को दर्शाता है।
ω के साथ [[ कनेक्शन प्रपत्र ]] एवं डी [[बाहरी व्युत्पन्न]], या उसी अभिव्यक्ति के माध्यम से जिसमें ω वी के [[गेज समूह]] के लिए एक [[गेज क्षेत्र]] है। स्केलर टी का उपयोग केवल फ़ंक्शन से योग उत्पन्न करने के लिए एक [[अनिश्चित (चर)]] के रूप में किया जाता है निर्धारक, एवं I n × n पहचान मैट्रिक्स को दर्शाता है।
Line 74: Line 70:
कोई चेर्न वर्ग को यूलर वर्ग के संदर्भ में परिभाषित कर सकता है। मिल्नोर एवं स्टैशेफ की पुस्तक में यह दृष्टिकोण है, एवं एक सदिश बंडल के अभिविन्यास की भूमिका पर जोर देता है।
कोई चेर्न वर्ग को यूलर वर्ग के संदर्भ में परिभाषित कर सकता है। मिल्नोर एवं स्टैशेफ की पुस्तक में यह दृष्टिकोण है, एवं एक सदिश बंडल के अभिविन्यास की भूमिका पर जोर देता है।


मूल अवलोकन यह है कि एक जटिल सदिश बंडल एक विहित अभिविन्यास के साथ आता है, अंततः क्योंकि <math>\operatorname{GL}_n(\Complex)</math> जुड़ा है। इसलिए, कोई बस बंडल के शीर्ष चेर्न वर्ग को उसके यूलर वर्ग (अंतर्निहित वास्तविक सदिश बंडल का यूलर वर्ग) के रूप में परिभाषित करता है एवं निचले चेर्न वर्गों को आगमनात्मक तरीके से संभालता है।
मूल अवलोकन यह है कि एक समष्टि सदिश बंडल एक विहित अभिविन्यास के साथ आता है, अंततः क्योंकि <math>\operatorname{GL}_n(\Complex)</math> जुड़ा है। इसलिए, कोई बस बंडल के शीर्ष चेर्न वर्ग को उसके यूलर वर्ग (अंतर्निहित वास्तविक सदिश बंडल का यूलर वर्ग) के रूप में परिभाषित करता है एवं निचले चेर्न वर्गों को आगमनात्मक विधियां से संभालता है।


सटीक निर्माण इस प्रकार है. एक-कम रैंक का बंडल प्राप्त करने के लिए आधार परिवर्तन करने का विचार है। होने देना <math>\pi\colon E \to B</math> एक [[पैराकॉम्पैक्ट स्पेस]] बी पर एक जटिल सदिश बंडल बनें। बी को शून्य खंड के रूप में ई में एम्बेडेड होने के बारे में सोचें, आइए <math>B' = E \setminus B</math> एवं नए सदिश बंडल को परिभाषित करें:
सटीक निर्माण इस प्रकार है. एक-कम रैंक का बंडल प्राप्त करने के लिए आधार परिवर्तन करने का विचार है। होने देना <math>\pi\colon E \to B</math> एक [[पैराकॉम्पैक्ट स्पेस]] बी पर एक समष्टि सदिश बंडल बनें। बी को शून्य खंड के रूप में ई में एम्बेडेड होने के बारे में सोचें, आइए <math>B' = E \setminus B</math> एवं नए सदिश बंडल को परिभाषित करें:
<math display="block">E' \to B'</math>
<math display="block">E' \to B'</math>
ऐसा है कि प्रत्येक फाइबर एफ में एक गैर-शून्य सदिश वी द्वारा फैली रेखा द्वारा ई के फाइबर एफ का भागफल है (बी' का एक बिंदु ई के फाइबर एफ एवं एफ पर एक गैर-शून्य सदिश द्वारा निर्दिष्ट किया गया है।)<ref>Editorial note: Our notation differs from Milnor−Stasheff, but seems more natural.</ref> तब <math>E'</math> फाइबर बंडल के लिए गाइसिन अनुक्रम से ई की तुलना में रैंक एक कम है <math>\pi|_{B'}\colon B' \to B</math>:
ऐसा है कि प्रत्येक फाइबर एफ में एक गैर-शून्य सदिश वी द्वारा फैली रेखा द्वारा ई के फाइबर एफ का भागफल है (बी' का एक बिंदु ई के फाइबर एफ एवं एफ पर एक गैर-शून्य सदिश द्वारा निर्दिष्ट किया गया है।)<ref>Editorial note: Our notation differs from Milnor−Stasheff, but seems more natural.</ref> तब <math>E'</math> फाइबर बंडल के लिए गाइसिन अनुक्रम से ई की तुलना में रैंक एक कम है <math>\pi|_{B'}\colon B' \to B</math>:
Line 92: Line 88:
== उदाहरण ==
== उदाहरण ==


===रीमैन क्षेत्र का जटिल स्पर्शरेखा बंडल===
===रीमैन क्षेत्र का समष्टि स्पर्शरेखा बंडल===


होने देना <math>\mathbb{CP}^1</math> [[रीमैन क्षेत्र]] बनें: 1-आयामी [[जटिल प्रक्षेप्य स्थान]]। मान लीजिए कि रीमैन क्षेत्र के लिए z एक [[होलोमोर्फिक फ़ंक्शन]] [[कई गुना]] है। होने देना <math>V=T\mathbb{CP}^1</math> जटिल स्पर्शरेखा वाले सदिशों का बंडल बनें <math>a \partial/\partial z</math> प्रत्येक बिंदु पर, जहां a एक सम्मिश्र संख्या है। हम हेयरी बॉल प्रमेय के जटिल संस्करण को सिद्ध करते हैं: V में कोई खंड नहीं है जो हर जगह गैर-शून्य है।
होने देना <math>\mathbb{CP}^1</math> [[रीमैन क्षेत्र]] बनें: 1-आयामी [[जटिल प्रक्षेप्य स्थान|समष्टि प्रक्षेप्य स्थान]]। मान लीजिए कि रीमैन क्षेत्र के लिए z एक [[होलोमोर्फिक फ़ंक्शन]] [[कई गुना]] है। होने देना <math>V=T\mathbb{CP}^1</math> समष्टि स्पर्शरेखा वाले सदिशों का बंडल बनें <math>a \partial/\partial z</math> प्रत्येक बिंदु पर, जहां a एक सम्मिश्र संख्या है। हम हेयरी बॉल प्रमेय के समष्टि संस्करण को सिद्ध करते हैं: V में कोई खंड नहीं है जो हर जगह गैर-शून्य है।


इसके लिए, हमें निम्नलिखित तथ्य की आवश्यकता है: एक तुच्छ बंडल का पहला चेर्न वर्ग शून्य है, अर्थात,
इसके लिए, हमें निम्नलिखित तथ्य की आवश्यकता है: एक तुच्छ बंडल का पहला चेर्न वर्ग शून्य है, अर्थात,
Line 112: Line 108:
इससे यह सिद्ध होता है <math>T\mathbb{CP}^1</math> कोई मामूली सदिश बंडल नहीं है.
इससे यह सिद्ध होता है <math>T\mathbb{CP}^1</math> कोई मामूली सदिश बंडल नहीं है.


=== जटिल प्रक्षेप्य स्थान ===
=== समष्टि प्रक्षेप्य स्थान ===
ढेरों/बंडलों का एक सटीक क्रम है:<ref>The sequence is sometimes called the [[Euler sequence]].</ref>
ढेरों/बंडलों का एक सटीक क्रम है:<ref>The sequence is sometimes called the [[Euler sequence]].</ref>
<math display="block">0 \to \mathcal{O}_{\mathbb{CP}^n} \to \mathcal{O}_{\mathbb{CP}^n}(1)^{\oplus (n+1)} \to T\mathbb{CP}^n \to 0</math>
<math display="block">0 \to \mathcal{O}_{\mathbb{CP}^n} \to \mathcal{O}_{\mathbb{CP}^n}(1)^{\oplus (n+1)} \to T\mathbb{CP}^n \to 0</math>
कहाँ <math>\mathcal{O}_{\mathbb{CP}^n} </math> संरचना शीफ़ है (यानी, तुच्छ रेखा बंडल), <math>\mathcal{O}_{\mathbb{CP}^n}(1)</math> सेरे का ट्विस्टिंग शीफ (यानी, [[हाइपरप्लेन बंडल]]) है एवं अंतिम गैर-शून्य पद [[स्पर्शरेखा शीफ]]/बंडल है।
कहाँ <math>\mathcal{O}_{\mathbb{CP}^n} </math> संरचना शीफ़ है (यानी, तुच्छ रेखा बंडल), <math>\mathcal{O}_{\mathbb{CP}^n}(1)</math> सेरे का ट्विस्टिंग शीफ (यानी, [[हाइपरप्लेन बंडल]]) है एवं अंतिम गैर-शून्य पद [[स्पर्शरेखा शीफ]]/बंडल है।


उपरोक्त अनुक्रम प्राप्त करने के दो तरीके हैं:
उपरोक्त अनुक्रम प्राप्त करने के दो विधियां हैं:


{{Ordered list
{{Ordered list
Line 138: Line 134:


== <math display="block">c_k(\Complex\mathbb{P}^n) = \binom{n+1}{k} a^k.</math>चेर्न बहुपद ==
== <math display="block">c_k(\Complex\mathbb{P}^n) = \binom{n+1}{k} a^k.</math>चेर्न बहुपद ==
चेर्न बहुपद चेर्न वर्गों एवं संबंधित धारणाओं को व्यवस्थित रूप से संभालने का एक सुविधाजनक तरीका है। परिभाषा के अनुसार, एक जटिल सदिश बंडल ई के लिए, 'चेर्न बहुपद' सी<sub>''t''</sub> E का मान निम्न द्वारा दिया गया है:
चेर्न बहुपद चेर्न वर्गों एवं संबंधित धारणाओं को व्यवस्थित रूप से संभालने का एक सुविधाजनक तरीका है। परिभाषा के अनुसार, एक समष्टि सदिश बंडल ई के लिए, 'चेर्न बहुपद' सी<sub>''t''</sub> E का मान निम्न द्वारा दिया गया है:
<math display="block">c_t(E) =1 + c_1(E) t + \cdots + c_n(E) t^n.</math>
<math display="block">c_t(E) =1 + c_1(E) t + \cdots + c_n(E) t^n.</math>
यह कोई नया अपरिवर्तनीय नहीं है: औपचारिक चर t केवल c की डिग्री का ट्रैक रखता है<sub>''k''</sub>(एवं)।<ref>In a ring-theoretic term, there is an isomorphism of graded rings:
यह कोई नया अपरिवर्तनीय नहीं है: औपचारिक चर t केवल c की डिग्री का ट्रैक रखता है<sub>''k''</sub>(एवं)।<ref>In a ring-theoretic term, there is an isomorphism of graded rings:
Line 147: Line 143:
व्हिटनी योग सूत्र, चेर्न वर्गों के सिद्धांतों में से एक (नीचे देखें), कहता है कि सी<sub>''t''</sub> इस अर्थ में योगात्मक है:
व्हिटनी योग सूत्र, चेर्न वर्गों के सिद्धांतों में से एक (नीचे देखें), कहता है कि सी<sub>''t''</sub> इस अर्थ में योगात्मक है:
<math display="block">c_t(E \oplus E') = c_t(E) c_t(E').</math>
<math display="block">c_t(E \oplus E') = c_t(E) c_t(E').</math>
अब अगर <math>E = L_1 \oplus \cdots \oplus L_n</math> (जटिल) लाइन बंडलों का प्रत्यक्ष योग है, तो यह योग सूत्र से निम्नानुसार है:
अब अगर <math>E = L_1 \oplus \cdots \oplus L_n</math> (समष्टि) लाइन बंडलों का प्रत्यक्ष योग है, तो यह योग सूत्र से निम्नानुसार है:
<math display="block">c_t(E) = (1+a_1(E) t) \cdots (1+a_n(E) t)</math>
<math display="block">c_t(E) = (1+a_1(E) t) \cdots (1+a_n(E) t)</math>
कहाँ <math>a_i(E) = c_1(L_i)</math> पहली चेर्न कक्षाएं हैं। जड़ें <math>a_i(E)</math>, जिसे ''ई'' की चेर्न जड़ें कहा जाता है, बहुपद के गुणांक निर्धारित करते हैं: यानी,
कहाँ <math>a_i(E) = c_1(L_i)</math> पहली चेर्न कक्षाएं हैं। जड़ें <math>a_i(E)</math>, जिसे ''ई'' की चेर्न जड़ें कहा जाता है, बहुपद के गुणांक निर्धारित करते हैं: यानी,
Line 162: Line 158:
उदाहरण: ''ई'' का टोड वर्ग इस प्रकार दिया गया है:
उदाहरण: ''ई'' का टोड वर्ग इस प्रकार दिया गया है:
<math display="block">\operatorname{td}(E) = \prod_1^n {a_i \over 1 - e^{-a_i}} = 1 + {1 \over 2} c_1 + {1 \over 12} (c_1^2 + c_2) + \cdots.</math>
<math display="block">\operatorname{td}(E) = \prod_1^n {a_i \over 1 - e^{-a_i}} = 1 + {1 \over 2} c_1 + {1 \over 12} (c_1^2 + c_2) + \cdots.</math>
टिप्पणी: यह अवलोकन कि चेर्न वर्ग अनिवार्य रूप से एक प्राथमिक सममित बहुपद है, चेर्न वर्गों को परिभाषित करने के लिए उपयोग किया जा सकता है। चलो ''जी''<sub>''n''</sub> एन-आयामी जटिल सदिश स्थानों के [[अनंत ग्रासमैनियन]] बनें। यह इस अर्थ में एक वर्गीकृत स्थान है कि, एक्स के ऊपर रैंक एन के एक जटिल सदिश बंडल ई को देखते हुए, एक सतत मानचित्र है
टिप्पणी: यह अवलोकन कि चेर्न वर्ग अनिवार्य रूप से एक प्राथमिक सममित बहुपद है, चेर्न वर्गों को परिभाषित करने के लिए उपयोग किया जा सकता है। चलो ''जी''<sub>''n''</sub> एन-आयामी समष्टि सदिश स्थानों के [[अनंत ग्रासमैनियन]] बनें। यह इस अर्थ में एक वर्गीकृत स्थान है कि, एक्स के ऊपर रैंक एन के एक समष्टि सदिश बंडल ई को देखते हुए, एक सतत मानचित्र है
<math display="block">f_E: X \to G_n</math>
<math display="block">f_E: X \to G_n</math>
समरूपता तक अद्वितीय। बोरेल का प्रमेय जी की कोहोमोलॉजी रिंग कहता है<sub>''n''</sub> बिल्कुल सममित बहुपदों का वलय है, जो प्राथमिक सममित बहुपदों में बहुपद हैं σ<sub>''k''</sub>; तो, एफ का पुलबैक<sub>''E''</sub> पढ़ता है:
समरूपता तक अद्वितीय। बोरेल का प्रमेय जी की कोहोमोलॉजी रिंग कहता है<sub>''n''</sub> बिल्कुल सममित बहुपदों का वलय है, जो प्राथमिक सममित बहुपदों में बहुपद हैं σ<sub>''k''</sub>; तो, एफ का पुलबैक<sub>''E''</sub> पढ़ता है:
Line 168: Line 164:
फिर एक कहता है:
फिर एक कहता है:
<math display="block">c_k(E) = f_E^*(\sigma_k).</math>
<math display="block">c_k(E) = f_E^*(\sigma_k).</math>
टिप्पणी: कोई भी चारित्रिक वर्ग चेर्न वर्गों में एक बहुपद है, जिसका कारण इस प्रकार है। होने देना <math>\operatorname{Vect}_n^{\Complex}</math> कॉन्ट्रावेरिएंट फ़ैक्टर बनें, जो सीडब्ल्यू कॉम्प्लेक्स एक्स के लिए, एक्स के ऊपर रैंक एन के जटिल सदिश बंडलों के आइसोमोर्फिज्म वर्गों का सेट निर्दिष्ट करता है एवं, एक मानचित्र पर, इसका पुलबैक प्रदान करता है। परिभाषा के अनुसार, एक विशिष्ट वर्ग एक प्राकृतिक परिवर्तन है <math>\operatorname{Vect}_n^{\Complex } = [-, G_n]</math> कोहोमोलॉजी फ़ैक्टर के लिए <math>H^*(-, \Z ).</math> सहसंयोजी वलय की वलय संरचना के कारण विशिष्ट वर्ग एक वलय बनाते हैं। योनेडा की लेम्मा कहती है कि विशिष्ट वर्गों का यह वलय वास्तव में जी का कोहोमोलॉजी वलय है<sub>''n''</sub>:
टिप्पणी: कोई भी चारित्रिक वर्ग चेर्न वर्गों में एक बहुपद है, जिसका कारण इस प्रकार है। होने देना <math>\operatorname{Vect}_n^{\Complex}</math> कॉन्ट्रावेरिएंट फ़ैक्टर बनें, जो सीडब्ल्यू कॉम्प्लेक्स एक्स के लिए, एक्स के ऊपर रैंक एन के समष्टि सदिश बंडलों के आइसोमोर्फिज्म वर्गों का सेट निर्दिष्ट करता है एवं, एक मानचित्र पर, इसका पुलबैक प्रदान करता है। परिभाषा के अनुसार, एक विशिष्ट वर्ग एक प्राकृतिक परिवर्तन है <math>\operatorname{Vect}_n^{\Complex } = [-, G_n]</math> कोहोमोलॉजी फ़ैक्टर के लिए <math>H^*(-, \Z ).</math> सहसंयोजी वलय की वलय संरचना के कारण विशिष्ट वर्ग एक वलय बनाते हैं। योनेडा की लेम्मा कहती है कि विशिष्ट वर्गों का यह वलय वास्तव में जी का कोहोमोलॉजी वलय है<sub>''n''</sub>:


== <math display="block">\operatorname{Nat}([-, G_n], H^*(-, \Z )) = H^*(G_n, \Z ) = \Z [\sigma_1, \ldots, \sigma_n].</math>गणना सूत्र ==
== <math display="block">\operatorname{Nat}([-, G_n], H^*(-, \Z )) = H^*(G_n, \Z ) = \Z [\sigma_1, \ldots, \sigma_n].</math>गणना सूत्र ==
Line 187: Line 183:
== गुण ==
== गुण ==


[[टोपोलॉजिकल स्पेस]] X पर एक जटिल सदिश बंडल E को देखते हुए, E की चेर्न कक्षाएं<sub>k</sub>(ई), का एक तत्व है
[[टोपोलॉजिकल स्पेस]] X पर एक समष्टि सदिश बंडल E को देखते हुए, E की चेर्न कक्षाएं<sub>k</sub>(ई), का एक तत्व है
<math display="block">H^{2k}(X;\Z),</math>
<math display="block">H^{2k}(X;\Z),</math>
[[पूर्णांक]] गुणांकों के साथ X की सहसंरूपता। कोई 'कुल चेर्न क्लास' को भी परिभाषित कर सकता है
[[पूर्णांक]] गुणांकों के साथ X की सहसंरूपता। कोई 'कुल चेर्न क्लास' को भी परिभाषित कर सकता है
Line 197: Line 193:
# <math>c_0(E) = 1</math> सभी ई के लिए
# <math>c_0(E) = 1</math> सभी ई के लिए
# स्वाभाविकता: यदि <math>f : Y \to X</math> [[सतत कार्य (टोपोलॉजी)]] है एवं f*E, E का [[पुलबैक बंडल]] है <math>c_k(f^* E) = f^* c_k(E)</math>.
# स्वाभाविकता: यदि <math>f : Y \to X</math> [[सतत कार्य (टोपोलॉजी)]] है एवं f*E, E का [[पुलबैक बंडल]] है <math>c_k(f^* E) = f^* c_k(E)</math>.
# [[हस्लर व्हिटनी]] योग सूत्र: यदि <math>F \to X</math> एक एवं जटिल सदिश बंडल है, फिर सदिश बंडलों के प्रत्यक्ष योग का चेर्न वर्ग <math>E \oplus F</math> द्वारा दिए गए हैं <math display="block">c(E \oplus F) = c(E) \smile c(F);</math> वह है, <math display="block">c_k(E \oplus F) = \sum_{i = 0}^k c_i(E) \smile c_{k - i}(F).</math>
# [[हस्लर व्हिटनी]] योग सूत्र: यदि <math>F \to X</math> एक एवं समष्टि सदिश बंडल है, फिर सदिश बंडलों के प्रत्यक्ष योग का चेर्न वर्ग <math>E \oplus F</math> द्वारा दिए गए हैं <math display="block">c(E \oplus F) = c(E) \smile c(F);</math> वह है, <math display="block">c_k(E \oplus F) = \sum_{i = 0}^k c_i(E) \smile c_{k - i}(F).</math>
# सामान्यीकरण: [[टॉटोलॉजिकल लाइन बंडल]] का कुल चेर्न वर्ग <math>\mathbb{CP}^k</math> 1−H है, जहां H पोंकारे द्वैत है|[[हाइपरप्लेन]] के लिए पोंकारे दोहरा है <math>\mathbb{CP}^{k - 1} \subseteq \mathbb{CP}^k</math>.
# सामान्यीकरण: [[टॉटोलॉजिकल लाइन बंडल]] का कुल चेर्न वर्ग <math>\mathbb{CP}^k</math> 1−H है, जहां H पोंकारे द्वैत है|[[हाइपरप्लेन]] के लिए पोंकारे दोहरा है <math>\mathbb{CP}^{k - 1} \subseteq \mathbb{CP}^k</math>.


Line 208: Line 204:
* सामान्यीकरण: यदि ई एक लाइन बंडल है, तो <math>c(E)=1+e(E_{\R})</math> कहाँ <math>e(E_{\R})</math> अंतर्निहित वास्तविक सदिश बंडल का यूलर वर्ग है।
* सामान्यीकरण: यदि ई एक लाइन बंडल है, तो <math>c(E)=1+e(E_{\R})</math> कहाँ <math>e(E_{\R})</math> अंतर्निहित वास्तविक सदिश बंडल का यूलर वर्ग है।


वह लेरे-हिर्श प्रमेय का उपयोग करके दिखाते हैं कि एक मनमाना परिमित रैंक जटिल सदिश बंडल के कुल चेर्न वर्ग को टॉटोलॉजिकल रूप से परिभाषित लाइन बंडल के पहले चेर्न वर्ग के संदर्भ में परिभाषित किया जा सकता है।
वह लेरे-हिर्श प्रमेय का उपयोग करके दिखाते हैं कि एक मनमाना परिमित रैंक समष्टि सदिश बंडल के कुल चेर्न वर्ग को टॉटोलॉजिकल रूप से परिभाषित लाइन बंडल के पहले चेर्न वर्ग के संदर्भ में परिभाषित किया जा सकता है।


अर्थात्, प्रोजेक्टिवाइज़ेशन का परिचय देना <math>\mathbb{P}(E)</math> रैंक एन जटिल सदिश बंडल ई → बी पर फाइबर बंडल के रूप में बी जिसका फाइबर किसी भी बिंदु पर है <math>b\in B</math> फाइबर ई का प्रक्षेप्य स्थान है<sub>b</sub>. इस बंडल का कुल स्थान <math>\mathbb{P}(E)</math> इसके टॉटोलॉजिकल कॉम्प्लेक्स लाइन बंडल से सुसज्जित है, जिसे हम निरूपित करते हैं <math>\tau</math>, एवं पहला चेर्न वर्ग
अर्थात्, प्रोजेक्टिवाइज़ेशन का परिचय देना <math>\mathbb{P}(E)</math> रैंक एन समष्टि सदिश बंडल ई → बी पर फाइबर बंडल के रूप में बी जिसका फाइबर किसी भी बिंदु पर है <math>b\in B</math> फाइबर ई का प्रक्षेप्य स्थान है<sub>b</sub>. इस बंडल का कुल स्थान <math>\mathbb{P}(E)</math> इसके टॉटोलॉजिकल कॉम्प्लेक्स लाइन बंडल से सुसज्जित है, जिसे हम निरूपित करते हैं <math>\tau</math>, एवं पहला चेर्न वर्ग
<math display="block">c_1(\tau)=: -a</math>
<math display="block">c_1(\tau)=: -a</math>
प्रत्येक फाइबर पर प्रतिबंध लगाता है <math>\mathbb{P}(E_b)</math> हाइपरप्लेन के (पोंकारे-डुअल) वर्ग को घटाकर, जो जटिल प्रक्षेप्य स्थानों के सह-समरूपता को ध्यान में रखते हुए, फाइबर के सह-समरूपता को फैलाता है।
प्रत्येक फाइबर पर प्रतिबंध लगाता है <math>\mathbb{P}(E_b)</math> हाइपरप्लेन के (पोंकारे-डुअल) वर्ग को घटाकर, जो समष्टि प्रक्षेप्य स्थानों के सह-समरूपता को ध्यान में रखते हुए, फाइबर के सह-समरूपता को फैलाता है।


कक्षाएं
कक्षाएं
Line 237: Line 233:
# सदिश बंडलों का सटीक क्रम दिया गया है <math> 0 \to E' \to E \to E'' \to 0 </math> व्हिटनी योग सूत्र मानता है: <math>c(E) = c(E')c(E'')</math>
# सदिश बंडलों का सटीक क्रम दिया गया है <math> 0 \to E' \to E \to E'' \to 0 </math> व्हिटनी योग सूत्र मानता है: <math>c(E) = c(E')c(E'')</math>
# <math>c_i(E) = 0</math> के लिए <math>i > \text{rank}(E)</math>
# <math>c_i(E) = 0</math> के लिए <math>i > \text{rank}(E)</math>
# वो नक्शा <math>E \mapsto c(E)</math> एक वलय आकारिकी तक विस्तारित है <math>c:K_0(X) \to A^\bullet(X)</math>
# वो मैप <math>E \mapsto c(E)</math> एक वलय आकारिकी तक विस्तारित है <math>c:K_0(X) \to A^\bullet(X)</math>
'''डिग्री डी हाइपरसर्फेस'''
'''डिग्री डी हाइपरसर्फेस'''


Line 287: Line 283:
यदि हम आयाम के एक [[ कुंडा कई गुना ]] पर काम करते हैं <math>2n</math>, फिर कुल डिग्री के चेर्न वर्गों का कोई भी उत्पाद <math>2n</math> (अर्थात, उत्पाद में चेर्न वर्गों के सूचकांकों का योग होना चाहिए <math>n</math>) को एक पूर्णांक, सदिश बंडल का चेर्न नंबर देने के लिए [[ओरिएंटेशन होमोलॉजी क्लास]] (या मैनिफोल्ड पर एकीकृत) के साथ जोड़ा जा सकता है। उदाहरण के लिए, यदि मैनिफोल्ड का आयाम 6 है, तो तीन रैखिक रूप से स्वतंत्र चेर्न संख्याएँ दी गई हैं <math>c_1^3</math>, <math>c_1 c_2</math>, एवं <math>c_3</math>. सामान्य तौर पर, यदि मैनिफ़ोल्ड में आयाम है <math>2n</math>, संभावित स्वतंत्र चेर्न संख्याओं की संख्या [[पूर्णांक विभाजन]]ों की संख्या है <math>n</math>.
यदि हम आयाम के एक [[ कुंडा कई गुना ]] पर काम करते हैं <math>2n</math>, फिर कुल डिग्री के चेर्न वर्गों का कोई भी उत्पाद <math>2n</math> (अर्थात, उत्पाद में चेर्न वर्गों के सूचकांकों का योग होना चाहिए <math>n</math>) को एक पूर्णांक, सदिश बंडल का चेर्न नंबर देने के लिए [[ओरिएंटेशन होमोलॉजी क्लास]] (या मैनिफोल्ड पर एकीकृत) के साथ जोड़ा जा सकता है। उदाहरण के लिए, यदि मैनिफोल्ड का आयाम 6 है, तो तीन रैखिक रूप से स्वतंत्र चेर्न संख्याएँ दी गई हैं <math>c_1^3</math>, <math>c_1 c_2</math>, एवं <math>c_3</math>. सामान्य तौर पर, यदि मैनिफ़ोल्ड में आयाम है <math>2n</math>, संभावित स्वतंत्र चेर्न संख्याओं की संख्या [[पूर्णांक विभाजन]]ों की संख्या है <math>n</math>.


एक जटिल (या लगभग जटिल) मैनिफोल्ड के स्पर्शरेखा बंडल के चेर्न नंबरों को मैनिफोल्ड के चेर्न नंबर कहा जाता है, एवं महत्वपूर्ण अपरिवर्तनीय हैं।
एक समष्टि (या लगभग समष्टि) मैनिफोल्ड के स्पर्शरेखा बंडल के चेर्न नंबरों को मैनिफोल्ड के चेर्न नंबर कहा जाता है, एवं महत्वपूर्ण अपरिवर्तनीय हैं।


===सामान्यीकृत सहसंगति सिद्धांत===
===सामान्यीकृत सहसंगति सिद्धांत===


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


===बीजगणितीय ज्यामिति===
===बीजगणितीय ज्यामिति===
Line 297: Line 293:
बीजगणितीय ज्यामिति में सदिश बंडलों के चेर्न वर्गों का एक समान सिद्धांत है। चेर्न वर्ग किन समूहों में आते हैं, इसके आधार पर कई भिन्नताएँ हैं:
बीजगणितीय ज्यामिति में सदिश बंडलों के चेर्न वर्गों का एक समान सिद्धांत है। चेर्न वर्ग किन समूहों में आते हैं, इसके आधार पर कई भिन्नताएँ हैं:


*जटिल किस्मों के लिए चेर्न कक्षाएं ऊपर बताए अनुसार सामान्य कोहोलॉजी में मान ले सकती हैं।
*समष्टि किस्मों के लिए चेर्न कक्षाएं ऊपर बताए अनुसार सामान्य कोहोलॉजी में मान ले सकती हैं।
* सामान्य क्षेत्रों की किस्मों के लिए, चेर्न वर्ग कोहॉमोलॉजी सिद्धांतों जैसे कि [[ईटेल कोहोमोलोजी]] या [[एल-एडिक कोहोमोलॉजी]] में मान ले सकते हैं।
* सामान्य क्षेत्रों की किस्मों के लिए, चेर्न वर्ग कोहॉमोलॉजी सिद्धांतों जैसे कि [[ईटेल कोहोमोलोजी]] या [[एल-एडिक कोहोमोलॉजी]] में मान ले सकते हैं।
* सामान्य क्षेत्रों में किस्मों वी के लिए चेर्न वर्ग [[चाउ समूह]]ों सीएच (वी) के समरूपता में भी मान ले सकते हैं: उदाहरण के लिए, विविधता वी पर लाइन बंडल का पहला चेर्न वर्ग सीएच (वी) से सीएच तक एक समरूपता है ( वी) डिग्री को 1 से कम करना। यह इस तथ्य से मेल खाता है कि चाउ समूह एक प्रकार के होमोलॉजी समूहों के एनालॉग हैं, एवं कोहोमोलॉजी समूहों के तत्वों को कैप उत्पाद का उपयोग करके होमोलॉजी समूहों के होमोमोर्फिज्म के रूप में माना जा सकता है।
* सामान्य क्षेत्रों में किस्मों वी के लिए चेर्न वर्ग [[चाउ समूह]]ों सीएच (वी) के समरूपता में भी मान ले सकते हैं: उदाहरण के लिए, विविधता वी पर लाइन बंडल का पहला चेर्न वर्ग सीएच (वी) से सीएच तक एक समरूपता है ( वी) डिग्री को 1 से कम करना। यह इस तथ्य से मेल खाता है कि चाउ समूह एक प्रकार के होमोलॉजी समूहों के एनालॉग हैं, एवं कोहोमोलॉजी समूहों के तत्वों को कैप उत्पाद का उपयोग करके होमोलॉजी समूहों के होमोमोर्फिज्म के रूप में माना जा सकता है।
Line 303: Line 299:
=== संरचना के साथ कई गुना ===
=== संरचना के साथ कई गुना ===


चेर्न वर्गों का सिद्धांत [[लगभग जटिल विविधता]]ओं के लिए [[सह-बॉर्डिज्म]] आक्रमणकारियों को जन्म देता है।
चेर्न वर्गों का सिद्धांत [[लगभग जटिल विविधता|लगभग समष्टि विविधता]]ओं के लिए [[सह-बॉर्डिज्म]] आक्रमणकारियों को जन्म देता है।


यदि एम लगभग एक जटिल मैनिफोल्ड है, तो इसका [[स्पर्शरेखा बंडल]] एक जटिल सदिश बंडल है। इस प्रकार एम के 'चेर्न वर्ग' को इसके स्पर्शरेखा बंडल के चेर्न वर्ग के रूप में परिभाषित किया गया है। यदि M भी [[सघन स्थान]] है एवं आयाम 2d का है, तो चेर्न वर्गों में कुल डिग्री 2d के प्रत्येक [[एकपद]]ी को M के मूल वर्ग के साथ जोड़ा जा सकता है, एक पूर्णांक देते हुए, M का 'चेर्न संख्या'। यदि M' एक एवं लगभग है समान आयाम का जटिल मैनिफोल्ड, तो यह एम के लिए कोबॉर्डेंट है यदि एवं केवल यदि एम' की चेर्न संख्याएं एम के साथ मेल खाती हैं।
यदि एम लगभग एक समष्टि मैनिफोल्ड है, तो इसका [[स्पर्शरेखा बंडल]] एक समष्टि सदिश बंडल है। इस प्रकार एम के 'चेर्न वर्ग' को इसके स्पर्शरेखा बंडल के चेर्न वर्ग के रूप में परिभाषित किया गया है। यदि M भी [[सघन स्थान]] है एवं आयाम 2d का है, तो चेर्न वर्गों में कुल डिग्री 2d के प्रत्येक [[एकपद]]ी को M के मूल वर्ग के साथ जोड़ा जा सकता है, एक पूर्णांक देते हुए, M का 'चेर्न संख्या'। यदि M' एक एवं लगभग है समान आयाम का समष्टि मैनिफोल्ड, तो यह एम के लिए कोबॉर्डेंट है यदि एवं केवल यदि एम' की चेर्न संख्याएं एम के साथ मेल खाती हैं।


सिद्धांत संगत लगभग जटिल संरचनाओं की मध्यस्थता द्वारा, वास्तविक [[सिंपलेक्टिक ज्यामिति]] सदिश बंडलों तक भी फैला हुआ है। विशेष रूप से, [[ सिंपलेक्टिक मैनिफ़ोल्ड ]]्स में एक अच्छी तरह से परिभाषित चेर्न वर्ग होता है।
सिद्धांत संगत लगभग समष्टि संरचनाओं की मध्यस्थता द्वारा, वास्तविक [[सिंपलेक्टिक ज्यामिति]] सदिश बंडलों तक भी फैला हुआ है। विशेष रूप से, [[ सिंपलेक्टिक मैनिफ़ोल्ड ]]्स में एक अच्छी तरह से परिभाषित चेर्न वर्ग होता है।


=== अंकगणितीय योजनाएं एवं डायोफैंटाइन समीकरण ===
=== अंकगणितीय योजनाएं एवं डायोफैंटाइन समीकरण ===

Revision as of 18:04, 20 July 2023

गणित में, विशेष रूप से बीजगणितीय टोपोलॉजी, विभेदक ज्यामिति एवं टोपोलॉजी एवं बीजगणितीय ज्यामिति में, चेर्न कक्षाएं समष्टि सदिश बंडल सदिश बंडलों से जुड़े विशिष्ट वर्ग हैं। तब से वे गणित एवं भौतिकी की कई शाखाओं में मौलिक अवधारणाएँ बन गए हैं, जैसे कि स्ट्रिंग सिद्धांत, चेर्न-साइमन्स सिद्धांत, गाँठ सिद्धांत, ग्रोमोव-विटन सिद्धांत|ग्रोमोव-विटन इनवेरिएंट्स।

चेर्न कक्षाएं Shiing-Shen Chern (1946) द्वारा प्रारम्भ की गईं।

ज्यामितीय दृष्टिकोण

मूल विचार एवं प्रेरणा

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

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

निर्माण

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

यह दिखाया जा सकता है कि एम से वर्गीकृत स्थान तक किन्हीं दो मानचित्रों एफ, जी के लिए जिनके पुलबैक समान बंडल वी हैं, मानचित्र समस्थानिक होने चाहिए। इसलिए, किसी भी सार्वभौमिक चेर्न वर्ग के एफ या जी द्वारा एम के कोहोमोलॉजी वर्ग में पुलबैक एक ही वर्ग होना चाहिए। इससे पता चलता है कि वी की चेर्न कक्षाएं अच्छी तरह से परिभाषित हैं।

इस आलेख में मुख्य रूप से वर्णित वक्रता दृष्टिकोण के माध्यम से, चेर्न के दृष्टिकोण ने विभेदक ज्यामिति का उपयोग किया। उन्होंने दिखाया कि पिछली परिभाषा वास्तव में उनके समकक्ष थी। परिणामी सिद्धांत को चेर्न-वील सिद्धांत के रूप में जाना जाता है।

अलेक्जेंडर ग्रोथेंडिक का एक दृष्टिकोण यह भी दर्शाता है कि स्वयंसिद्ध रूप से किसी को केवल लाइन बंडल केस को परिभाषित करने की आवश्यकता है।

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

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

अधिक चर्चा के लिए चेर्न-साइमन्स सिद्धांत देखें।

लाइन बंडलों का चेर्न वर्ग

(मान लीजिए कि

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

पहला चेर्न वर्ग अपरिवर्तनीयों का एक पूरा सेट बन जाता है जिसके साथ टोपोलॉजिकल रूप से बोलते हुए, समष्टि लाइन बंडलों को वर्गीकृत किया जाता है। अर्थात्, X एवं तत्वों के ऊपर लाइन बंडलों के समरूपता वर्गों के बीच एक आक्षेप है , जो अपने पहले चेर्न क्लास को एक लाइन बंडल से जोड़ता है। इसके अलावा, यह आक्षेप एक समूह समरूपता है (इस प्रकार एक समरूपता):

समष्टि लाइन बंडलों का टेंसर उत्पाद दूसरे कोहोमोलॉजी समूह में जोड़ से मेल खाता है।[1][2] बीजगणितीय ज्यामिति में, प्रथम चेर्न वर्ग द्वारा समष्टि रेखा बंडलों (आइसोमोर्फिज्म वर्गों) का यह वर्गीकरण विभाजक (बीजगणितीय ज्यामिति) के रैखिक तुल्यता वर्गों द्वारा होलोमोर्फिक लाइन बंडलों के (आइसोमोर्फिज्म वर्गों) वर्गीकरण का एक अपरिष्कृत अनुमान है।

एक से अधिक आयाम वाले समष्टि सदिश बंडलों के लिए, चेर्न वर्ग पूर्ण अपरिवर्तनीय नहीं हैं।

निर्माण

चेर्न-वेइल सिद्धांत के माध्यम से

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

निर्धारक रिंग के ऊपर है आव्यूह जिनकी प्रविष्टियाँ टी में बहुपद हैं एवं एम पर सम समष्टि अंतर रूपों के क्रमविनिमेय बीजगणित में गुणांक हैं। वक्रता रूप V को इस प्रकार परिभाषित किया गया है
ω के साथ कनेक्शन प्रपत्र एवं डी बाहरी व्युत्पन्न, या उसी अभिव्यक्ति के माध्यम से जिसमें ω वी के गेज समूह के लिए एक गेज क्षेत्र है। स्केलर टी का उपयोग केवल फ़ंक्शन से योग उत्पन्न करने के लिए एक अनिश्चित (चर) के रूप में किया जाता है निर्धारक, एवं I n × n पहचान मैट्रिक्स को दर्शाता है।

यह कहने के लिए कि दी गई अभिव्यक्ति चेर्न वर्ग का प्रतिनिधि है, यह दर्शाता है कि यहां 'वर्ग' का अर्थ सटीक अंतर रूप को जोड़ने तक है। अर्थात्, चेर्न कक्षाएं डी राम कोहोमोलोजी वर्ग अर्थ में कोहोमोलॉजी कक्षाएं हैं। यह दिखाया जा सकता है कि चेर्न रूपों की कोहोमोलॉजी कक्षाएं वी में कनेक्शन की पसंद पर निर्भर नहीं करती हैं।

यदि मैट्रिक्स पहचान से अनुसरण करता है वह . अब टेलर श्रृंखला को लागू कर रहे हैं , हमें चेर्न रूपों के लिए निम्नलिखित अभिव्यक्ति मिलती है:

यूलर वर्ग के माध्यम से

कोई चेर्न वर्ग को यूलर वर्ग के संदर्भ में परिभाषित कर सकता है। मिल्नोर एवं स्टैशेफ की पुस्तक में यह दृष्टिकोण है, एवं एक सदिश बंडल के अभिविन्यास की भूमिका पर जोर देता है।

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

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

ऐसा है कि प्रत्येक फाइबर एफ में एक गैर-शून्य सदिश वी द्वारा फैली रेखा द्वारा ई के फाइबर एफ का भागफल है (बी' का एक बिंदु ई के फाइबर एफ एवं एफ पर एक गैर-शून्य सदिश द्वारा निर्दिष्ट किया गया है।)[3] तब फाइबर बंडल के लिए गाइसिन अनुक्रम से ई की तुलना में रैंक एक कम है :
हमने देखा कि के लिए एक समरूपता है . होने देना
इसके बाद इस परिभाषा के लिए चेर्न वर्गों के सिद्धांतों को संतुष्ट करने के लिए कुछ काम करना पड़ता है।

यह भी देखें: थॉम स्पेस#द थॉम आइसोमोर्फिज्म।

उदाहरण

रीमैन क्षेत्र का समष्टि स्पर्शरेखा बंडल

होने देना रीमैन क्षेत्र बनें: 1-आयामी समष्टि प्रक्षेप्य स्थान। मान लीजिए कि रीमैन क्षेत्र के लिए z एक होलोमोर्फिक फ़ंक्शन कई गुना है। होने देना समष्टि स्पर्शरेखा वाले सदिशों का बंडल बनें प्रत्येक बिंदु पर, जहां a एक सम्मिश्र संख्या है। हम हेयरी बॉल प्रमेय के समष्टि संस्करण को सिद्ध करते हैं: V में कोई खंड नहीं है जो हर जगह गैर-शून्य है।

इसके लिए, हमें निम्नलिखित तथ्य की आवश्यकता है: एक तुच्छ बंडल का पहला चेर्न वर्ग शून्य है, अर्थात,

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

इससे यह सिद्ध होता है कोई मामूली सदिश बंडल नहीं है.

समष्टि प्रक्षेप्य स्थान

ढेरों/बंडलों का एक सटीक क्रम है:[4]

कहाँ संरचना शीफ़ है (यानी, तुच्छ रेखा बंडल), सेरे का ट्विस्टिंग शीफ (यानी, हाइपरप्लेन बंडल) है एवं अंतिम गैर-शून्य पद स्पर्शरेखा शीफ/बंडल है।

उपरोक्त अनुक्रम प्राप्त करने के दो विधियां हैं:

  1. [5] Let be the coordinates of let be the canonical projection, and let . Then we have:

    In other words, the cotangent sheaf , which is a free -module with basis , fits into the exact sequence

    where are the basis of the middle term. The same sequence is clearly then exact on the whole projective space and the dual of it is the aforementioned sequence.
  2. Let L be a line in that passes through the origin. It is an elementary geometry to see that the complex tangent space to at the point L is naturally the set of linear maps from L to its complement. Thus, the tangent bundle can be identified with the hom bundle
    where η is the vector bundle such that . It follows:

कुल चेर्न वर्ग की योगात्मकता द्वारा (अर्थात, व्हिटनी योग सूत्र),

जहां a कोहोमोलॉजी समूह का विहित जनरेटर है ; यानी, टॉटोलॉजिकल लाइन बंडल के पहले चेर्न वर्ग का नकारात्मक (टिप्पणी: कब E का द्वैत है।)

विशेष रूप से, किसी के लिए ,

चेर्न बहुपद

चेर्न बहुपद चेर्न वर्गों एवं संबंधित धारणाओं को व्यवस्थित रूप से संभालने का एक सुविधाजनक तरीका है। परिभाषा के अनुसार, एक समष्टि सदिश बंडल ई के लिए, 'चेर्न बहुपद' सीt E का मान निम्न द्वारा दिया गया है:

यह कोई नया अपरिवर्तनीय नहीं है: औपचारिक चर t केवल c की डिग्री का ट्रैक रखता हैk(एवं)।[6] विशेष रूप से, पूरी तरह से के कुल चेर्न वर्ग द्वारा निर्धारित होता है: एवं इसके विपरीत।

व्हिटनी योग सूत्र, चेर्न वर्गों के सिद्धांतों में से एक (नीचे देखें), कहता है कि सीt इस अर्थ में योगात्मक है:

अब अगर (समष्टि) लाइन बंडलों का प्रत्यक्ष योग है, तो यह योग सूत्र से निम्नानुसार है:
कहाँ पहली चेर्न कक्षाएं हैं। जड़ें , जिसे की चेर्न जड़ें कहा जाता है, बहुपद के गुणांक निर्धारित करते हैं: यानी,
जहां पीk प्राथमिक सममित बहुपद हैं। दूसरे शब्दों में, ए के बारे में सोचनाi औपचारिक चर के रूप में, सीk पी हैंk. सममित बहुपद पर एक बुनियादी तथ्य यह है कि कोई भी सममित बहुपद, मान लीजिए, टीiटी में प्राथमिक सममित बहुपदों में एक बहुपद हैi'एस। या तो विभाजन सिद्धांत द्वारा या रिंग सिद्धांत द्वारा, कोई चेर्न बहुपद कोहोमोलॉजी रिंग को बड़ा करने के बाद रैखिक कारकों में गुणनखंडित किया जाता है; E को पिछली चर्चा में लाइन बंडलों का सीधा योग होना आवश्यक नहीं है। निष्कर्ष यह है

"One can evaluate any symmetric polynomial f at a complex vector bundle E by writing f as a polynomial in σk and then replacing σk by ck(E)."

उदाहरण: हमारे पास बहुपद s हैंk

साथ एवं इसी तरह (cf. न्यूटन की पहचान#प्राथमिक सममित बहुपदों के संदर्भ में शक्ति योग व्यक्त करना|न्यूटन की पहचान)। योग
को E का चेर्न वर्ण कहा जाता है, जिसके पहले कुछ पद हैं: (हम E को लिखने से हटा देते हैं।)
उदाहरण: का टोड वर्ग इस प्रकार दिया गया है:
टिप्पणी: यह अवलोकन कि चेर्न वर्ग अनिवार्य रूप से एक प्राथमिक सममित बहुपद है, चेर्न वर्गों को परिभाषित करने के लिए उपयोग किया जा सकता है। चलो जीn एन-आयामी समष्टि सदिश स्थानों के अनंत ग्रासमैनियन बनें। यह इस अर्थ में एक वर्गीकृत स्थान है कि, एक्स के ऊपर रैंक एन के एक समष्टि सदिश बंडल ई को देखते हुए, एक सतत मानचित्र है
समरूपता तक अद्वितीय। बोरेल का प्रमेय जी की कोहोमोलॉजी रिंग कहता हैn बिल्कुल सममित बहुपदों का वलय है, जो प्राथमिक सममित बहुपदों में बहुपद हैं σk; तो, एफ का पुलबैकE पढ़ता है:
फिर एक कहता है:
टिप्पणी: कोई भी चारित्रिक वर्ग चेर्न वर्गों में एक बहुपद है, जिसका कारण इस प्रकार है। होने देना कॉन्ट्रावेरिएंट फ़ैक्टर बनें, जो सीडब्ल्यू कॉम्प्लेक्स एक्स के लिए, एक्स के ऊपर रैंक एन के समष्टि सदिश बंडलों के आइसोमोर्फिज्म वर्गों का सेट निर्दिष्ट करता है एवं, एक मानचित्र पर, इसका पुलबैक प्रदान करता है। परिभाषा के अनुसार, एक विशिष्ट वर्ग एक प्राकृतिक परिवर्तन है कोहोमोलॉजी फ़ैक्टर के लिए सहसंयोजी वलय की वलय संरचना के कारण विशिष्ट वर्ग एक वलय बनाते हैं। योनेडा की लेम्मा कहती है कि विशिष्ट वर्गों का यह वलय वास्तव में जी का कोहोमोलॉजी वलय हैn:

गणना सूत्र

मान लीजिए E रैंक r का एक सदिश बंडल है एवं इसका #चेर्न बहुपद।

  • दोहरे बंडल के लिए का , .[7]
  • यदि L एक लाइन बंडल है, तो[8][9]
    इसलिए हैं
  • चेर्न जड़ों के लिए का ,[10]
    विशेष रूप से,
  • उदाहरण के लिए,[11] के लिए ,
    कब , *:कब ,
(सीएफ. सेग्रे क्लास#उदाहरण 2.)

सूत्रों का अनुप्रयोग

हम लाइन बंडलों के शेष चेरन वर्गों की गणना करने के लिए इन अमूर्त गुणों का उपयोग कर सकते हैं . याद करें कि दिखा . फिर टेंसर शक्तियों का उपयोग करके, हम उन्हें चेर्न वर्गों से जोड़ सकते हैं किसी भी पूर्णांक के लिए.

गुण

टोपोलॉजिकल स्पेस X पर एक समष्टि सदिश बंडल E को देखते हुए, E की चेर्न कक्षाएंk(ई), का एक तत्व है

पूर्णांक गुणांकों के साथ X की सहसंरूपता। कोई 'कुल चेर्न क्लास' को भी परिभाषित कर सकता है
चूँकि मान वास्तविक गुणांकों के साथ सह-समरूपता के बजाय अभिन्न सह-समरूपता समूहों में हैं, ये चेर्न वर्ग रीमैनियन उदाहरण की तुलना में थोड़ा अधिक परिष्कृत हैं।[clarification needed]

शास्त्रीय स्वयंसिद्ध परिभाषा

चेर्न वर्ग निम्नलिखित चार सिद्धांतों को संतुष्ट करते हैं:

  1. सभी ई के लिए
  2. स्वाभाविकता: यदि सतत कार्य (टोपोलॉजी) है एवं f*E, E का पुलबैक बंडल है .
  3. हस्लर व्हिटनी योग सूत्र: यदि एक एवं समष्टि सदिश बंडल है, फिर सदिश बंडलों के प्रत्यक्ष योग का चेर्न वर्ग द्वारा दिए गए हैं
    वह है,
  4. सामान्यीकरण: टॉटोलॉजिकल लाइन बंडल का कुल चेर्न वर्ग 1−H है, जहां H पोंकारे द्वैत है|हाइपरप्लेन के लिए पोंकारे दोहरा है .

ग्रोथेंडिक स्वयंसिद्ध दृष्टिकोण

वैकल्पिक रूप से, Alexander Grothendieck (1958) इन्हें सिद्धांतों के थोड़े छोटे सेट से प्रतिस्थापित किया गया:

  • स्वाभाविकता: (ऊपर के समान)
  • एडिटिविटी: यदि तो, सदिश बंडलों का एक सटीक क्रम है .
  • सामान्यीकरण: यदि ई एक लाइन बंडल है, तो कहाँ अंतर्निहित वास्तविक सदिश बंडल का यूलर वर्ग है।

वह लेरे-हिर्श प्रमेय का उपयोग करके दिखाते हैं कि एक मनमाना परिमित रैंक समष्टि सदिश बंडल के कुल चेर्न वर्ग को टॉटोलॉजिकल रूप से परिभाषित लाइन बंडल के पहले चेर्न वर्ग के संदर्भ में परिभाषित किया जा सकता है।

अर्थात्, प्रोजेक्टिवाइज़ेशन का परिचय देना रैंक एन समष्टि सदिश बंडल ई → बी पर फाइबर बंडल के रूप में बी जिसका फाइबर किसी भी बिंदु पर है फाइबर ई का प्रक्षेप्य स्थान हैb. इस बंडल का कुल स्थान इसके टॉटोलॉजिकल कॉम्प्लेक्स लाइन बंडल से सुसज्जित है, जिसे हम निरूपित करते हैं , एवं पहला चेर्न वर्ग

प्रत्येक फाइबर पर प्रतिबंध लगाता है हाइपरप्लेन के (पोंकारे-डुअल) वर्ग को घटाकर, जो समष्टि प्रक्षेप्य स्थानों के सह-समरूपता को ध्यान में रखते हुए, फाइबर के सह-समरूपता को फैलाता है।

कक्षाएं

इसलिए, फाइबर के सह-समरूपता के आधार तक सीमित परिवेशीय सह-समरूपता वर्गों का एक परिवार बनाते हैं। लेरे-हिर्श प्रमेय तब बताता है कि किसी भी वर्ग में 1, ए, ए के रैखिक संयोजन के रूप में विशिष्ट रूप से लिखा जा सकता है2, ..., एn−1गुणांक के रूप में आधार पर वर्गों के साथ।

विशेष रूप से, कोई ई के चेर्न वर्गों को ग्रोथेंडिक के अर्थ में परिभाषित कर सकता है, जिसे दर्शाया गया है इस प्रकार कक्षा का विस्तार करके , संबंध के साथ:

फिर कोई यह जाँच सकता है कि यह वैकल्पिक परिभाषा किसी भी अन्य परिभाषा से मेल खाती है जिसे कोई पसंद कर सकता है, या पिछले स्वयंसिद्ध लक्षण वर्णन का उपयोग कर सकता है।

शीर्ष चेर्न वर्ग

वास्तव में, ये गुण विशिष्ट रूप से चेर्न वर्गों की विशेषता बताते हैं। अन्य बातों के अलावा, उनका तात्पर्य यह है:

  • यदि n, V की सम्मिश्र रैंक है, तो सभी k > n के लिए। इस प्रकार कुल चेर्न वर्ग समाप्त हो जाता है।
  • वी (अर्थ) का शीर्ष चेर्न वर्ग , जहां n V का रैंक है) हमेशा अंतर्निहित वास्तविक सदिश बंडल के यूलर वर्ग के बराबर होता है।

बीजगणितीय ज्यामिति में

स्वयंसिद्ध वर्णन

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

  1. एक उलटे पूले के लिए (ताकि एक कार्टियर विभाजक है),
  2. सदिश बंडलों का सटीक क्रम दिया गया है व्हिटनी योग सूत्र मानता है:
  3. के लिए
  4. वो मैप एक वलय आकारिकी तक विस्तारित है

डिग्री डी हाइपरसर्फेस

अगर एक डिग्री है चिकनी हाइपरसतह, हमारे पास संक्षिप्त सटीक अनुक्रम है

रिश्ता दे रहा हूँ
फिर हम इसकी गणना इस प्रकार कर सकते हैं
कुल चर्न वर्ग देना। विशेष रूप से, हम पा सकते हैं एक स्पिन 4-मैनिफोल्ड है यदि सम है, इसलिए डिग्री की प्रत्येक चिकनी हाइपरसतह एक कई गुना घूमना है।

निकटतम धारणाएँ

चेर्न चरित्र

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

अधिक सामान्यतः, यदि प्रथम चेर्न कक्षाओं के साथ लाइन बंडलों का सीधा योग है चेर्न चरित्र को योगात्मक रूप से परिभाषित किया गया है
इसे इस प्रकार पुनः लिखा जा सकता है:[12]

विभाजन सिद्धांत को लागू करके उचित ठहराए गए इस अंतिम अभिव्यक्ति को मनमाने ढंग से सदिश बंडल वी के लिए परिभाषा सीएच (वी) के रूप में लिया जाता है।

यदि एक कनेक्शन का उपयोग चेर्न वर्गों को परिभाषित करने के लिए किया जाता है जब आधार कई गुना होता है (यानी, चेर्न-वेइल सिद्धांत), तो चेर्न चरित्र का स्पष्ट रूप है

कहाँ Ω कनेक्शन का वक्रता रूप है।

चेर्न चरित्र आंशिक रूप से उपयोगी है क्योंकि यह टेंसर उत्पाद के चेर्न वर्ग की गणना की सुविधा प्रदान करता है। विशेष रूप से, यह निम्नलिखित पहचानों का पालन करता है:

जैसा कि ऊपर कहा गया है, चेर्न कक्षाओं के लिए ग्रोथेंडिक एडिटिविटी एक्सिओम का उपयोग करते हुए, इनमें से पहली पहचान को यह बताने के लिए सामान्यीकृत किया जा सकता है कि सीएच के-सिद्धांत के (एक्स) से एक्स के तर्कसंगत कोहोमोलॉजी में एबेलियन समूहों का एक समरूपता है। दूसरी पहचान इस तथ्य को स्थापित करता है कि यह समरूपता K(X) में उत्पादों का भी सम्मान करती है, एवं इसलिए ch छल्लों की एक समरूपता है।

चेर्न वर्ण का उपयोग हिरज़ेब्रुच-रीमैन-रोच प्रमेय में किया जाता है।

चेर्न संख्या

यदि हम आयाम के एक कुंडा कई गुना पर काम करते हैं , फिर कुल डिग्री के चेर्न वर्गों का कोई भी उत्पाद (अर्थात, उत्पाद में चेर्न वर्गों के सूचकांकों का योग होना चाहिए ) को एक पूर्णांक, सदिश बंडल का चेर्न नंबर देने के लिए ओरिएंटेशन होमोलॉजी क्लास (या मैनिफोल्ड पर एकीकृत) के साथ जोड़ा जा सकता है। उदाहरण के लिए, यदि मैनिफोल्ड का आयाम 6 है, तो तीन रैखिक रूप से स्वतंत्र चेर्न संख्याएँ दी गई हैं , , एवं . सामान्य तौर पर, यदि मैनिफ़ोल्ड में आयाम है , संभावित स्वतंत्र चेर्न संख्याओं की संख्या पूर्णांक विभाजनों की संख्या है .

एक समष्टि (या लगभग समष्टि) मैनिफोल्ड के स्पर्शरेखा बंडल के चेर्न नंबरों को मैनिफोल्ड के चेर्न नंबर कहा जाता है, एवं महत्वपूर्ण अपरिवर्तनीय हैं।

सामान्यीकृत सहसंगति सिद्धांत

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

बीजगणितीय ज्यामिति

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

  • समष्टि किस्मों के लिए चेर्न कक्षाएं ऊपर बताए अनुसार सामान्य कोहोलॉजी में मान ले सकती हैं।
  • सामान्य क्षेत्रों की किस्मों के लिए, चेर्न वर्ग कोहॉमोलॉजी सिद्धांतों जैसे कि ईटेल कोहोमोलोजी या एल-एडिक कोहोमोलॉजी में मान ले सकते हैं।
  • सामान्य क्षेत्रों में किस्मों वी के लिए चेर्न वर्ग चाउ समूहों सीएच (वी) के समरूपता में भी मान ले सकते हैं: उदाहरण के लिए, विविधता वी पर लाइन बंडल का पहला चेर्न वर्ग सीएच (वी) से सीएच तक एक समरूपता है ( वी) डिग्री को 1 से कम करना। यह इस तथ्य से मेल खाता है कि चाउ समूह एक प्रकार के होमोलॉजी समूहों के एनालॉग हैं, एवं कोहोमोलॉजी समूहों के तत्वों को कैप उत्पाद का उपयोग करके होमोलॉजी समूहों के होमोमोर्फिज्म के रूप में माना जा सकता है।

संरचना के साथ कई गुना

चेर्न वर्गों का सिद्धांत लगभग समष्टि विविधताओं के लिए सह-बॉर्डिज्म आक्रमणकारियों को जन्म देता है।

यदि एम लगभग एक समष्टि मैनिफोल्ड है, तो इसका स्पर्शरेखा बंडल एक समष्टि सदिश बंडल है। इस प्रकार एम के 'चेर्न वर्ग' को इसके स्पर्शरेखा बंडल के चेर्न वर्ग के रूप में परिभाषित किया गया है। यदि M भी सघन स्थान है एवं आयाम 2d का है, तो चेर्न वर्गों में कुल डिग्री 2d के प्रत्येक एकपदी को M के मूल वर्ग के साथ जोड़ा जा सकता है, एक पूर्णांक देते हुए, M का 'चेर्न संख्या'। यदि M' एक एवं लगभग है समान आयाम का समष्टि मैनिफोल्ड, तो यह एम के लिए कोबॉर्डेंट है यदि एवं केवल यदि एम' की चेर्न संख्याएं एम के साथ मेल खाती हैं।

सिद्धांत संगत लगभग समष्टि संरचनाओं की मध्यस्थता द्वारा, वास्तविक सिंपलेक्टिक ज्यामिति सदिश बंडलों तक भी फैला हुआ है। विशेष रूप से, सिंपलेक्टिक मैनिफ़ोल्ड ्स में एक अच्छी तरह से परिभाषित चेर्न वर्ग होता है।

अंकगणितीय योजनाएं एवं डायोफैंटाइन समीकरण

(अरकेलोव ज्यामिति देखें)

यह भी देखें

टिप्पणियाँ

  1. Bott, Raoul; Tu, Loring (1995). बीजगणितीय टोपोलॉजी में विभेदक रूप (Corr. 3. print. ed.). New York [u.a.]: Springer. p. 267ff. ISBN 3-540-90613-4.
  2. Hatcher, Allen. "Vector Bundles and K-theory" (PDF). Proposition 3.10.
  3. Editorial note: Our notation differs from Milnor−Stasheff, but seems more natural.
  4. The sequence is sometimes called the Euler sequence.
  5. Hartshorne, Ch. II. Theorem 8.13.
  6. In a ring-theoretic term, there is an isomorphism of graded rings:
    where the left is the cohomology ring of even terms, η is a ring homomorphism that disregards grading and x is homogeneous and has degree |x|.
  7. Fulton, Remark 3.2.3. (a)
  8. Fulton, Remark 3.2.3. (b)
  9. Fulton, Example 3.2.2.
  10. Fulton, Remark 3.2.3. (c)
  11. Use, for example, WolframAlpha to expand the polynomial and then use the fact are elementary symmetric polynomials in 's.
  12. (See also § Chern polynomial.) Observe that when V is a sum of line bundles, the Chern classes of V can be expressed as elementary symmetric polynomials in the , In particular, on the one hand
    while on the other hand
    Consequently, Newton's identities may be used to re-express the power sums in ch(V) above solely in terms of the Chern classes of V, giving the claimed formula.


संदर्भ


बाहरी संबंध