चेर्न वर्ग: Difference between revisions
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 को सार्वभौमिक बंडल के चेर्न वर्गों के पुलबैक के रूप में परिभाषित किया जा सकता है। परिवर्तन में, इन सार्वभौमिक चेर्न वर्गों को शूबर्ट चक्रों के संदर्भ में स्पष्ट रूप से लिखा जा सकता है। | ||
चेर्न कक्षाओं के लिए मूल दृष्टिकोण बीजगणितीय टोपोलॉजी के माध्यम से | |||
यह दिखाया जा सकता है कि एम से वर्गीकृत स्थान तक किन्हीं दो मानचित्रों एफ, जी के लिए जिनके पुलबैक समान बंडल वी हैं, मानचित्र समस्थानिक होने चाहिए। इसलिए, किसी भी सार्वभौमिक चेर्न वर्ग के एफ या जी द्वारा एम के कोहोमोलॉजी वर्ग में पुलबैक एक ही वर्ग होना चाहिए। इससे पता चलता है कि वी की चेर्न कक्षाएं अच्छी तरह से परिभाषित हैं। | यह दिखाया जा सकता है कि एम से वर्गीकृत स्थान तक किन्हीं दो मानचित्रों एफ, जी के लिए जिनके पुलबैक समान बंडल वी हैं, मानचित्र समस्थानिक होने चाहिए। इसलिए, किसी भी सार्वभौमिक चेर्न वर्ग के एफ या जी द्वारा एम के कोहोमोलॉजी वर्ग में पुलबैक एक ही वर्ग होना चाहिए। इससे पता चलता है कि वी की चेर्न कक्षाएं अच्छी तरह से परिभाषित हैं। | ||
| Line 26: | Line 22: | ||
[[अलेक्जेंडर ग्रोथेंडिक]] का एक दृष्टिकोण यह भी दर्शाता है कि स्वयंसिद्ध रूप से किसी को केवल लाइन बंडल केस को परिभाषित करने की आवश्यकता है। | [[अलेक्जेंडर ग्रोथेंडिक]] का एक दृष्टिकोण यह भी दर्शाता है कि स्वयंसिद्ध रूप से किसी को केवल लाइन बंडल केस को परिभाषित करने की आवश्यकता है। | ||
बीजगणितीय ज्यामिति में चेर्न वर्ग स्वाभाविक रूप से उत्पन्न होते हैं। बीजगणितीय ज्यामिति में सामान्यीकृत चेर्न वर्गों को किसी भी गैर-एकवचन विविधता पर सदिश बंडलों (या अधिक सटीक रूप से, स्थानीय रूप से मुक्त शीव्स) के लिए परिभाषित किया जा सकता है। बीजगणित-ज्यामितीय चेर्न वर्गों को अंतर्निहित क्षेत्र में किसी विशेष गुण की आवश्यकता नहीं होती है। विशेष रूप से, सदिश बंडलों का | बीजगणितीय ज्यामिति में चेर्न वर्ग स्वाभाविक रूप से उत्पन्न होते हैं। बीजगणितीय ज्यामिति में सामान्यीकृत चेर्न वर्गों को किसी भी गैर-एकवचन विविधता पर सदिश बंडलों (या अधिक सटीक रूप से, स्थानीय रूप से मुक्त शीव्स) के लिए परिभाषित किया जा सकता है। बीजगणित-ज्यामितीय चेर्न वर्गों को अंतर्निहित क्षेत्र में किसी विशेष गुण की आवश्यकता नहीं होती है। विशेष रूप से, सदिश बंडलों का समष्टि होना जरूरी नहीं है। | ||
विशेष प्रतिमान के बावजूद, चेर्न वर्ग का सहज अर्थ एक सदिश बंडल के [[अनुभाग (श्रेणी सिद्धांत)]] के 'आवश्यक शून्य' से संबंधित है: उदाहरण के लिए प्रमेय कहता है कि कोई बालों वाली गेंद को सपाट नहीं कर सकता ([[बालों वाली गेंद प्रमेय]])। यद्यपि यह वास्तव में एक वास्तविक सदिश बंडल (गेंद पर बाल वास्तव में वास्तविक रेखा की प्रतियां हैं) के बारे में एक प्रश्न बोल रहा है, ऐसे सामान्यीकरण हैं जिनमें बाल | विशेष प्रतिमान के बावजूद, चेर्न वर्ग का सहज अर्थ एक सदिश बंडल के [[अनुभाग (श्रेणी सिद्धांत)]] के 'आवश्यक शून्य' से संबंधित है: उदाहरण के लिए प्रमेय कहता है कि कोई बालों वाली गेंद को सपाट नहीं कर सकता ([[बालों वाली गेंद प्रमेय]])। यद्यपि यह वास्तव में एक वास्तविक सदिश बंडल (गेंद पर बाल वास्तव में वास्तविक रेखा की प्रतियां हैं) के बारे में एक प्रश्न बोल रहा है, ऐसे सामान्यीकरण हैं जिनमें बाल समष्टि हैं (नीचे समष्टि बालों वाली गेंद प्रमेय का उदाहरण देखें), या कई अन्य क्षेत्रों पर 1-आयामी प्रक्षेप्य स्थानों के लिए। | ||
अधिक चर्चा के लिए चेर्न-साइमन्स सिद्धांत देखें। | अधिक चर्चा के लिए चेर्न-साइमन्स सिद्धांत देखें। | ||
| Line 40: | Line 36: | ||
एक महत्वपूर्ण विशेष मामला तब होता है जब V एक [[लाइन बंडल]] होता है। फिर एकमात्र गैर-तुच्छ चेर्न वर्ग पहला चेर्न वर्ग है, जो एक्स के दूसरे कोहोलॉजी समूह का एक तत्व है। चूंकि यह शीर्ष चेर्न वर्ग है, यह बंडल के [[यूलर वर्ग]] के बराबर है। | एक महत्वपूर्ण विशेष मामला तब होता है जब V एक [[लाइन बंडल]] होता है। फिर एकमात्र गैर-तुच्छ चेर्न वर्ग पहला चेर्न वर्ग है, जो एक्स के दूसरे कोहोलॉजी समूह का एक तत्व है। चूंकि यह शीर्ष चेर्न वर्ग है, यह बंडल के [[यूलर वर्ग]] के बराबर है। | ||
पहला चेर्न वर्ग अपरिवर्तनीयों का एक पूरा सेट बन जाता है जिसके साथ टोपोलॉजिकल रूप से बोलते हुए, | पहला चेर्न वर्ग अपरिवर्तनीयों का एक पूरा सेट बन जाता है जिसके साथ टोपोलॉजिकल रूप से बोलते हुए, समष्टि लाइन बंडलों को वर्गीकृत किया जाता है। अर्थात्, 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> | |||
बीजगणितीय ज्यामिति में, प्रथम चेर्न वर्ग द्वारा | बीजगणितीय ज्यामिति में, प्रथम चेर्न वर्ग द्वारा समष्टि रेखा बंडलों (आइसोमोर्फिज्म वर्गों) का यह वर्गीकरण वि[[भाजक (बीजगणितीय ज्यामिति)]] के [[रैखिक तुल्यता]] वर्गों द्वारा [[होलोमोर्फिक लाइन बंडल]]ों के (आइसोमोर्फिज्म वर्गों) वर्गीकरण का एक अपरिष्कृत अनुमान है। | ||
एक से अधिक आयाम वाले | एक से अधिक आयाम वाले समष्टि सदिश बंडलों के लिए, चेर्न वर्ग पूर्ण अपरिवर्तनीय नहीं हैं। | ||
== निर्माण == | == निर्माण == | ||
| Line 52: | Line 48: | ||
{{main|Chern–Weil theory}} | {{main|Chern–Weil theory}} | ||
एक चिकनी मैनिफोल्ड एम पर सदिश बंडल एन के एक | एक चिकनी मैनिफोल्ड एम पर सदिश बंडल एन के एक समष्टि [[हर्मिटियन मीट्रिक]] सदिश बंडल वी को देखते हुए, प्रत्येक चेर्न वर्ग के प्रतिनिधि (जिसे 'चेर्न फॉर्म' भी कहा जाता है) <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>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>\pi\colon E \to 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>\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 का मान निम्न द्वारा दिया गया है: | ||
<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}</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 पर एक | [[टोपोलॉजिकल स्पेस]] 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>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>\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> | ||
'''डिग्री डी हाइपरसर्फेस''' | '''डिग्री डी हाइपरसर्फेस''' | ||
| 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' एक एवं लगभग है समान आयाम का समष्टि मैनिफोल्ड, तो यह एम के लिए कोबॉर्डेंट है यदि एवं केवल यदि एम' की चेर्न संख्याएं एम के साथ मेल खाती हैं। | ||
सिद्धांत संगत लगभग | सिद्धांत संगत लगभग समष्टि संरचनाओं की मध्यस्थता द्वारा, वास्तविक [[सिंपलेक्टिक ज्यामिति]] सदिश बंडलों तक भी फैला हुआ है। विशेष रूप से, [[ सिंपलेक्टिक मैनिफ़ोल्ड ]]्स में एक अच्छी तरह से परिभाषित चेर्न वर्ग होता है। | ||
=== अंकगणितीय योजनाएं एवं डायोफैंटाइन समीकरण === | === अंकगणितीय योजनाएं एवं डायोफैंटाइन समीकरण === | ||
Revision as of 18:04, 20 July 2023
गणित में, विशेष रूप से बीजगणितीय टोपोलॉजी, विभेदक ज्यामिति एवं टोपोलॉजी एवं बीजगणितीय ज्यामिति में, चेर्न कक्षाएं समष्टि सदिश बंडल सदिश बंडलों से जुड़े विशिष्ट वर्ग हैं। तब से वे गणित एवं भौतिकी की कई शाखाओं में मौलिक अवधारणाएँ बन गए हैं, जैसे कि स्ट्रिंग सिद्धांत, चेर्न-साइमन्स सिद्धांत, गाँठ सिद्धांत, ग्रोमोव-विटन सिद्धांत|ग्रोमोव-विटन इनवेरिएंट्स।
चेर्न कक्षाएं Shiing-Shen Chern (1946) द्वारा प्रारम्भ की गईं।
ज्यामितीय दृष्टिकोण
मूल विचार एवं प्रेरणा
चेर्न वर्ग विशिष्ट वर्ग हैं। वे चिकने मैनिफोल्ड पर सदिश बंडलों से जुड़े टोपोलॉजिकल अपरिवर्तनीय हैं। इस प्रश्न का उत्तर देना अधिकतम कठिन हो सकता है, कि क्या दो प्रत्यक्ष रूप से भिन्न सदिश बंडल एक जैसे हैं। चेर्न वर्ग सरल परीक्षण प्रदान करते हैं: यदि सदिश बंडलों की जोड़ी के चेर्न वर्ग सहमत नहीं हैं, तो सदिश बंडल भिन्न हैं। चूंकि, इसका उलटा सच नहीं है।
टोपोलॉजी, विभेदक ज्यामिति एवं बीजगणितीय ज्यामिति में, यह गिनना प्रायः महत्वपूर्ण होता है कि सदिश बंडल में कितने रैखिक रूप से स्वतंत्र अनुभाग हैं। उदाहरण के लिए, चेर्न कक्षाएं इसके बारे में कुछ जानकारी प्रदान करती हैं, उदाहरण के लिए, रीमैन-रोच प्रमेय एवं अतियाह-सिंगर सूचकांक प्रमेय होती है। अभ्यास में चेर्न कक्षाओं की गणना करना भी संभव है। विभेदक ज्यामिति (एवं कुछ प्रकार की बीजगणितीय ज्यामिति) में, चेर्न वर्गों को वक्रता रूप के गुणांकों में बहुपद के रूप में व्यक्त किया जा सकता है।
निर्माण
विषय तक पहुंचने की विभिन्न विधियां हैं, जिनमें से प्रत्येक चेर्न वर्ग के थोड़े भिन्न स्वाद पर केंद्रित है। चेर्न कक्षाओं के लिए मूल दृष्टिकोण बीजगणितीय टोपोलॉजी के माध्यम से था। चेर्न कक्षाएं होमोटोपी सिद्धांत के माध्यम से उत्पन्न होती हैं जो वर्गीकृत स्थान (इस स्थिति में अनंत ग्रासमैनियन) के लिए सदिश बंडल से जुड़ी मैपिंग प्रदान करती है। मैनिफोल्ड M पर किसी भी समष्टि सदिश बंडल V के लिए, M से वर्गीकरण स्थान तक मैप F उपस्थित है, जैसे कि बंडल V, वर्गीकरण स्थान पर सार्वभौमिक बंडल के पुलबैक एवं F के समान है, एवं चेर्न कक्षाएं इसलिए V को सार्वभौमिक बंडल के चेर्न वर्गों के पुलबैक के रूप में परिभाषित किया जा सकता है। परिवर्तन में, इन सार्वभौमिक चेर्न वर्गों को शूबर्ट चक्रों के संदर्भ में स्पष्ट रूप से लिखा जा सकता है।
यह दिखाया जा सकता है कि एम से वर्गीकृत स्थान तक किन्हीं दो मानचित्रों एफ, जी के लिए जिनके पुलबैक समान बंडल वी हैं, मानचित्र समस्थानिक होने चाहिए। इसलिए, किसी भी सार्वभौमिक चेर्न वर्ग के एफ या जी द्वारा एम के कोहोमोलॉजी वर्ग में पुलबैक एक ही वर्ग होना चाहिए। इससे पता चलता है कि वी की चेर्न कक्षाएं अच्छी तरह से परिभाषित हैं।
इस आलेख में मुख्य रूप से वर्णित वक्रता दृष्टिकोण के माध्यम से, चेर्न के दृष्टिकोण ने विभेदक ज्यामिति का उपयोग किया। उन्होंने दिखाया कि पिछली परिभाषा वास्तव में उनके समकक्ष थी। परिणामी सिद्धांत को चेर्न-वील सिद्धांत के रूप में जाना जाता है।
अलेक्जेंडर ग्रोथेंडिक का एक दृष्टिकोण यह भी दर्शाता है कि स्वयंसिद्ध रूप से किसी को केवल लाइन बंडल केस को परिभाषित करने की आवश्यकता है।
बीजगणितीय ज्यामिति में चेर्न वर्ग स्वाभाविक रूप से उत्पन्न होते हैं। बीजगणितीय ज्यामिति में सामान्यीकृत चेर्न वर्गों को किसी भी गैर-एकवचन विविधता पर सदिश बंडलों (या अधिक सटीक रूप से, स्थानीय रूप से मुक्त शीव्स) के लिए परिभाषित किया जा सकता है। बीजगणित-ज्यामितीय चेर्न वर्गों को अंतर्निहित क्षेत्र में किसी विशेष गुण की आवश्यकता नहीं होती है। विशेष रूप से, सदिश बंडलों का समष्टि होना जरूरी नहीं है।
विशेष प्रतिमान के बावजूद, चेर्न वर्ग का सहज अर्थ एक सदिश बंडल के अनुभाग (श्रेणी सिद्धांत) के 'आवश्यक शून्य' से संबंधित है: उदाहरण के लिए प्रमेय कहता है कि कोई बालों वाली गेंद को सपाट नहीं कर सकता (बालों वाली गेंद प्रमेय)। यद्यपि यह वास्तव में एक वास्तविक सदिश बंडल (गेंद पर बाल वास्तव में वास्तविक रेखा की प्रतियां हैं) के बारे में एक प्रश्न बोल रहा है, ऐसे सामान्यीकरण हैं जिनमें बाल समष्टि हैं (नीचे समष्टि बालों वाली गेंद प्रमेय का उदाहरण देखें), या कई अन्य क्षेत्रों पर 1-आयामी प्रक्षेप्य स्थानों के लिए।
अधिक चर्चा के लिए चेर्न-साइमन्स सिद्धांत देखें।
लाइन बंडलों का चेर्न वर्ग
(मान लीजिए कि
एक महत्वपूर्ण विशेष मामला तब होता है जब V एक लाइन बंडल होता है। फिर एकमात्र गैर-तुच्छ चेर्न वर्ग पहला चेर्न वर्ग है, जो एक्स के दूसरे कोहोलॉजी समूह का एक तत्व है। चूंकि यह शीर्ष चेर्न वर्ग है, यह बंडल के यूलर वर्ग के बराबर है।
पहला चेर्न वर्ग अपरिवर्तनीयों का एक पूरा सेट बन जाता है जिसके साथ टोपोलॉजिकल रूप से बोलते हुए, समष्टि लाइन बंडलों को वर्गीकृत किया जाता है। अर्थात्, X एवं तत्वों के ऊपर लाइन बंडलों के समरूपता वर्गों के बीच एक आक्षेप है , जो अपने पहले चेर्न क्लास को एक लाइन बंडल से जोड़ता है। इसके अलावा, यह आक्षेप एक समूह समरूपता है (इस प्रकार एक समरूपता):
एक से अधिक आयाम वाले समष्टि सदिश बंडलों के लिए, चेर्न वर्ग पूर्ण अपरिवर्तनीय नहीं हैं।
निर्माण
चेर्न-वेइल सिद्धांत के माध्यम से
एक चिकनी मैनिफोल्ड एम पर सदिश बंडल एन के एक समष्टि हर्मिटियन मीट्रिक सदिश बंडल वी को देखते हुए, प्रत्येक चेर्न वर्ग के प्रतिनिधि (जिसे 'चेर्न फॉर्म' भी कहा जाता है) V को वक्रता रूप के विशिष्ट बहुपद के गुणांक के रूप में दिया गया है वी का.
यह कहने के लिए कि दी गई अभिव्यक्ति चेर्न वर्ग का प्रतिनिधि है, यह दर्शाता है कि यहां 'वर्ग' का अर्थ सटीक अंतर रूप को जोड़ने तक है। अर्थात्, चेर्न कक्षाएं डी राम कोहोमोलोजी वर्ग अर्थ में कोहोमोलॉजी कक्षाएं हैं। यह दिखाया जा सकता है कि चेर्न रूपों की कोहोमोलॉजी कक्षाएं वी में कनेक्शन की पसंद पर निर्भर नहीं करती हैं।
यदि मैट्रिक्स पहचान से अनुसरण करता है वह . अब टेलर श्रृंखला को लागू कर रहे हैं , हमें चेर्न रूपों के लिए निम्नलिखित अभिव्यक्ति मिलती है:
यूलर वर्ग के माध्यम से
कोई चेर्न वर्ग को यूलर वर्ग के संदर्भ में परिभाषित कर सकता है। मिल्नोर एवं स्टैशेफ की पुस्तक में यह दृष्टिकोण है, एवं एक सदिश बंडल के अभिविन्यास की भूमिका पर जोर देता है।
मूल अवलोकन यह है कि एक समष्टि सदिश बंडल एक विहित अभिविन्यास के साथ आता है, अंततः क्योंकि जुड़ा है। इसलिए, कोई बस बंडल के शीर्ष चेर्न वर्ग को उसके यूलर वर्ग (अंतर्निहित वास्तविक सदिश बंडल का यूलर वर्ग) के रूप में परिभाषित करता है एवं निचले चेर्न वर्गों को आगमनात्मक विधियां से संभालता है।
सटीक निर्माण इस प्रकार है. एक-कम रैंक का बंडल प्राप्त करने के लिए आधार परिवर्तन करने का विचार है। होने देना एक पैराकॉम्पैक्ट स्पेस बी पर एक समष्टि सदिश बंडल बनें। बी को शून्य खंड के रूप में ई में एम्बेडेड होने के बारे में सोचें, आइए एवं नए सदिश बंडल को परिभाषित करें:
यह भी देखें: थॉम स्पेस#द थॉम आइसोमोर्फिज्म।
उदाहरण
रीमैन क्षेत्र का समष्टि स्पर्शरेखा बंडल
होने देना रीमैन क्षेत्र बनें: 1-आयामी समष्टि प्रक्षेप्य स्थान। मान लीजिए कि रीमैन क्षेत्र के लिए z एक होलोमोर्फिक फ़ंक्शन कई गुना है। होने देना समष्टि स्पर्शरेखा वाले सदिशों का बंडल बनें प्रत्येक बिंदु पर, जहां a एक सम्मिश्र संख्या है। हम हेयरी बॉल प्रमेय के समष्टि संस्करण को सिद्ध करते हैं: V में कोई खंड नहीं है जो हर जगह गैर-शून्य है।
इसके लिए, हमें निम्नलिखित तथ्य की आवश्यकता है: एक तुच्छ बंडल का पहला चेर्न वर्ग शून्य है, अर्थात,
इससे यह सिद्ध होता है कोई मामूली सदिश बंडल नहीं है.
समष्टि प्रक्षेप्य स्थान
ढेरों/बंडलों का एक सटीक क्रम है:[4]
उपरोक्त अनुक्रम प्राप्त करने के दो विधियां हैं:
- [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 sequencewhere 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.
- 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:
कुल चेर्न वर्ग की योगात्मकता द्वारा (अर्थात, व्हिटनी योग सूत्र),
विशेष रूप से, किसी के लिए ,
चेर्न बहुपद
चेर्न बहुपद चेर्न वर्गों एवं संबंधित धारणाओं को व्यवस्थित रूप से संभालने का एक सुविधाजनक तरीका है। परिभाषा के अनुसार, एक समष्टि सदिश बंडल ई के लिए, 'चेर्न बहुपद' सीt E का मान निम्न द्वारा दिया गया है:
व्हिटनी योग सूत्र, चेर्न वर्गों के सिद्धांतों में से एक (नीचे देखें), कहता है कि सीt इस अर्थ में योगात्मक है:
उदाहरण: हमारे पास बहुपद s हैंk
गणना सूत्र
मान लीजिए E रैंक r का एक सदिश बंडल है एवं इसका #चेर्न बहुपद।
- दोहरे बंडल के लिए का , .[7]
- यदि L एक लाइन बंडल है, तो[8][9] इसलिए हैं
- चेर्न जड़ों के लिए का ,[10] विशेष रूप से,
- उदाहरण के लिए,[11] के लिए ,
- कब , *:कब ,
- (सीएफ. सेग्रे क्लास#उदाहरण 2.)
सूत्रों का अनुप्रयोग
हम लाइन बंडलों के शेष चेरन वर्गों की गणना करने के लिए इन अमूर्त गुणों का उपयोग कर सकते हैं . याद करें कि दिखा . फिर टेंसर शक्तियों का उपयोग करके, हम उन्हें चेर्न वर्गों से जोड़ सकते हैं किसी भी पूर्णांक के लिए.
गुण
टोपोलॉजिकल स्पेस X पर एक समष्टि सदिश बंडल E को देखते हुए, E की चेर्न कक्षाएंk(ई), का एक तत्व है
शास्त्रीय स्वयंसिद्ध परिभाषा
चेर्न वर्ग निम्नलिखित चार सिद्धांतों को संतुष्ट करते हैं:
- सभी ई के लिए
- स्वाभाविकता: यदि सतत कार्य (टोपोलॉजी) है एवं f*E, E का पुलबैक बंडल है .
- हस्लर व्हिटनी योग सूत्र: यदि एक एवं समष्टि सदिश बंडल है, फिर सदिश बंडलों के प्रत्यक्ष योग का चेर्न वर्ग द्वारा दिए गए हैं वह है,
- सामान्यीकरण: टॉटोलॉजिकल लाइन बंडल का कुल चेर्न वर्ग 1−H है, जहां H पोंकारे द्वैत है|हाइपरप्लेन के लिए पोंकारे दोहरा है .
ग्रोथेंडिक स्वयंसिद्ध दृष्टिकोण
वैकल्पिक रूप से, Alexander Grothendieck (1958) इन्हें सिद्धांतों के थोड़े छोटे सेट से प्रतिस्थापित किया गया:
- स्वाभाविकता: (ऊपर के समान)
- एडिटिविटी: यदि तो, सदिश बंडलों का एक सटीक क्रम है .
- सामान्यीकरण: यदि ई एक लाइन बंडल है, तो कहाँ अंतर्निहित वास्तविक सदिश बंडल का यूलर वर्ग है।
वह लेरे-हिर्श प्रमेय का उपयोग करके दिखाते हैं कि एक मनमाना परिमित रैंक समष्टि सदिश बंडल के कुल चेर्न वर्ग को टॉटोलॉजिकल रूप से परिभाषित लाइन बंडल के पहले चेर्न वर्ग के संदर्भ में परिभाषित किया जा सकता है।
अर्थात्, प्रोजेक्टिवाइज़ेशन का परिचय देना रैंक एन समष्टि सदिश बंडल ई → बी पर फाइबर बंडल के रूप में बी जिसका फाइबर किसी भी बिंदु पर है फाइबर ई का प्रक्षेप्य स्थान हैb. इस बंडल का कुल स्थान इसके टॉटोलॉजिकल कॉम्प्लेक्स लाइन बंडल से सुसज्जित है, जिसे हम निरूपित करते हैं , एवं पहला चेर्न वर्ग
कक्षाएं
विशेष रूप से, कोई ई के चेर्न वर्गों को ग्रोथेंडिक के अर्थ में परिभाषित कर सकता है, जिसे दर्शाया गया है इस प्रकार कक्षा का विस्तार करके , संबंध के साथ:
शीर्ष चेर्न वर्ग
वास्तव में, ये गुण विशिष्ट रूप से चेर्न वर्गों की विशेषता बताते हैं। अन्य बातों के अलावा, उनका तात्पर्य यह है:
- यदि n, V की सम्मिश्र रैंक है, तो सभी k > n के लिए। इस प्रकार कुल चेर्न वर्ग समाप्त हो जाता है।
- वी (अर्थ) का शीर्ष चेर्न वर्ग , जहां n V का रैंक है) हमेशा अंतर्निहित वास्तविक सदिश बंडल के यूलर वर्ग के बराबर होता है।
बीजगणितीय ज्यामिति में
स्वयंसिद्ध वर्णन
चेर्न कक्षाओं का एक एवं निर्माण है जो कोहोमोलॉजी रिंग, चाउ रिंग के बीजगणितीय एनालॉग में मान लेता है। यह दिखाया जा सकता है कि चेर्न कक्षाओं का एक अनूठा सिद्धांत है जैसे कि यदि आपको बीजगणितीय सदिश बंडल दिया जाता है अर्ध-प्रक्षेपी विविधता पर वर्गों का एक क्रम होता है ऐसा है कि
- एक उलटे पूले के लिए (ताकि एक कार्टियर विभाजक है),
- सदिश बंडलों का सटीक क्रम दिया गया है व्हिटनी योग सूत्र मानता है:
- के लिए
- वो मैप एक वलय आकारिकी तक विस्तारित है
डिग्री डी हाइपरसर्फेस
अगर एक डिग्री है चिकनी हाइपरसतह, हमारे पास संक्षिप्त सटीक अनुक्रम है
निकटतम धारणाएँ
चेर्न चरित्र
चेर्न कक्षाओं का उपयोग किसी स्थान के टोपोलॉजिकल के-सिद्धांत से लेकर उसके तर्कसंगत कोहोमोलॉजी (पूरा होने) तक रिंगों की एक समरूपता का निर्माण करने के लिए किया जा सकता है। एक लाइन बंडल एल के लिए, चेर्न कैरेक्टर सीएच द्वारा परिभाषित किया गया है
यदि एक कनेक्शन का उपयोग चेर्न वर्गों को परिभाषित करने के लिए किया जाता है जब आधार कई गुना होता है (यानी, चेर्न-वेइल सिद्धांत), तो चेर्न चरित्र का स्पष्ट रूप है
चेर्न चरित्र आंशिक रूप से उपयोगी है क्योंकि यह टेंसर उत्पाद के चेर्न वर्ग की गणना की सुविधा प्रदान करता है। विशेष रूप से, यह निम्नलिखित पहचानों का पालन करता है:
चेर्न वर्ण का उपयोग हिरज़ेब्रुच-रीमैन-रोच प्रमेय में किया जाता है।
चेर्न संख्या
यदि हम आयाम के एक कुंडा कई गुना पर काम करते हैं , फिर कुल डिग्री के चेर्न वर्गों का कोई भी उत्पाद (अर्थात, उत्पाद में चेर्न वर्गों के सूचकांकों का योग होना चाहिए ) को एक पूर्णांक, सदिश बंडल का चेर्न नंबर देने के लिए ओरिएंटेशन होमोलॉजी क्लास (या मैनिफोल्ड पर एकीकृत) के साथ जोड़ा जा सकता है। उदाहरण के लिए, यदि मैनिफोल्ड का आयाम 6 है, तो तीन रैखिक रूप से स्वतंत्र चेर्न संख्याएँ दी गई हैं , , एवं . सामान्य तौर पर, यदि मैनिफ़ोल्ड में आयाम है , संभावित स्वतंत्र चेर्न संख्याओं की संख्या पूर्णांक विभाजनों की संख्या है .
एक समष्टि (या लगभग समष्टि) मैनिफोल्ड के स्पर्शरेखा बंडल के चेर्न नंबरों को मैनिफोल्ड के चेर्न नंबर कहा जाता है, एवं महत्वपूर्ण अपरिवर्तनीय हैं।
सामान्यीकृत सहसंगति सिद्धांत
चेर्न कक्षाओं के सिद्धांत का एक सामान्यीकरण है, जहां सामान्य कोहॉमोलॉजी को सामान्यीकृत कोहॉमोलॉजी सिद्धांत से बदल दिया जाता है। वे सिद्धांत जिनके लिए ऐसा सामान्यीकरण संभव है, समष्टि कोबॉर्डिज्म#औपचारिक समूह कानून कहलाते हैं। चेर्न वर्गों के औपचारिक गुण समान रहते हैं, एक महत्वपूर्ण अंतर के साथ: नियम जो कारकों के पहले चेर्न वर्गों के संदर्भ में लाइन बंडलों के टेंसर उत्पाद के पहले चेर्न वर्ग की गणना करता है, वह (सामान्य) जोड़ नहीं है, बल्कि एक है औपचारिक समूह कानून.
बीजगणितीय ज्यामिति
बीजगणितीय ज्यामिति में सदिश बंडलों के चेर्न वर्गों का एक समान सिद्धांत है। चेर्न वर्ग किन समूहों में आते हैं, इसके आधार पर कई भिन्नताएँ हैं:
- समष्टि किस्मों के लिए चेर्न कक्षाएं ऊपर बताए अनुसार सामान्य कोहोलॉजी में मान ले सकती हैं।
- सामान्य क्षेत्रों की किस्मों के लिए, चेर्न वर्ग कोहॉमोलॉजी सिद्धांतों जैसे कि ईटेल कोहोमोलोजी या एल-एडिक कोहोमोलॉजी में मान ले सकते हैं।
- सामान्य क्षेत्रों में किस्मों वी के लिए चेर्न वर्ग चाउ समूहों सीएच (वी) के समरूपता में भी मान ले सकते हैं: उदाहरण के लिए, विविधता वी पर लाइन बंडल का पहला चेर्न वर्ग सीएच (वी) से सीएच तक एक समरूपता है ( वी) डिग्री को 1 से कम करना। यह इस तथ्य से मेल खाता है कि चाउ समूह एक प्रकार के होमोलॉजी समूहों के एनालॉग हैं, एवं कोहोमोलॉजी समूहों के तत्वों को कैप उत्पाद का उपयोग करके होमोलॉजी समूहों के होमोमोर्फिज्म के रूप में माना जा सकता है।
संरचना के साथ कई गुना
चेर्न वर्गों का सिद्धांत लगभग समष्टि विविधताओं के लिए सह-बॉर्डिज्म आक्रमणकारियों को जन्म देता है।
यदि एम लगभग एक समष्टि मैनिफोल्ड है, तो इसका स्पर्शरेखा बंडल एक समष्टि सदिश बंडल है। इस प्रकार एम के 'चेर्न वर्ग' को इसके स्पर्शरेखा बंडल के चेर्न वर्ग के रूप में परिभाषित किया गया है। यदि M भी सघन स्थान है एवं आयाम 2d का है, तो चेर्न वर्गों में कुल डिग्री 2d के प्रत्येक एकपदी को M के मूल वर्ग के साथ जोड़ा जा सकता है, एक पूर्णांक देते हुए, M का 'चेर्न संख्या'। यदि M' एक एवं लगभग है समान आयाम का समष्टि मैनिफोल्ड, तो यह एम के लिए कोबॉर्डेंट है यदि एवं केवल यदि एम' की चेर्न संख्याएं एम के साथ मेल खाती हैं।
सिद्धांत संगत लगभग समष्टि संरचनाओं की मध्यस्थता द्वारा, वास्तविक सिंपलेक्टिक ज्यामिति सदिश बंडलों तक भी फैला हुआ है। विशेष रूप से, सिंपलेक्टिक मैनिफ़ोल्ड ्स में एक अच्छी तरह से परिभाषित चेर्न वर्ग होता है।
अंकगणितीय योजनाएं एवं डायोफैंटाइन समीकरण
(अरकेलोव ज्यामिति देखें)
यह भी देखें
- पोंट्रीगिन वर्ग
- स्टिफ़ेल-व्हिटनी क्लास
- यूलर क्लास
- भिन्न वर्ग
- शुबर्ट कैलकुलस
- क्वांटम हॉल प्रभाव
- स्थानीयकृत चेर्न वर्ग
टिप्पणियाँ
- ↑ Bott, Raoul; Tu, Loring (1995). बीजगणितीय टोपोलॉजी में विभेदक रूप (Corr. 3. print. ed.). New York [u.a.]: Springer. p. 267ff. ISBN 3-540-90613-4.
- ↑ Hatcher, Allen. "Vector Bundles and K-theory" (PDF). Proposition 3.10.
- ↑ Editorial note: Our notation differs from Milnor−Stasheff, but seems more natural.
- ↑ The sequence is sometimes called the Euler sequence.
- ↑ Hartshorne, Ch. II. Theorem 8.13.
- ↑ 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|.
- ↑ Fulton, Remark 3.2.3. (a)
- ↑ Fulton, Remark 3.2.3. (b)
- ↑ Fulton, Example 3.2.2.
- ↑ Fulton, Remark 3.2.3. (c)
- ↑ Use, for example, WolframAlpha to expand the polynomial and then use the fact are elementary symmetric polynomials in 's.
- ↑ (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 handConsequently, 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.
संदर्भ
- Chern, Shiing-Shen (1946), "Characteristic classes of Hermitian Manifolds", Annals of Mathematics, Second Series, 47 (1): 85–121, doi:10.2307/1969037, ISSN 0003-486X, JSTOR 1969037
- Fulton, W. (29 June 2013). Intersection Theory (in English). Springer Science & Business Media. ISBN 978-3-662-02421-8.
- Grothendieck, Alexander (1958), "La théorie des classes de Chern", Bulletin de la Société Mathématique de France, 86: 137–154, doi:10.24033/bsmf.1501, ISSN 0037-9484, MR 0116023
- Hartshorne, Robin (29 June 2013). Algebraic Geometry (in English). Springer Science & Business Media. ISBN 978-1-4757-3849-0.
- Jost, Jürgen (2005), Riemannian Geometry and Geometric Analysis (4th ed.), Springer-Verlag, ISBN 978-3-540-25907-7 (Provides a very short, introductory review of Chern classes).
- May, J. Peter (1999), A Concise Course in Algebraic Topology, University of Chicago Press, ISBN 9780226511832
- Milnor, John Willard; Stasheff, James D. (1974), Characteristic classes, Annals of Mathematics Studies, vol. 76, Princeton University Press; University of Tokyo Press, ISBN 978-0-691-08122-9
- Rubei, Elena (2014), Algebraic Geometry, a concise dictionary, Walter De Gruyter, ISBN 978-3-11-031622-3
बाहरी संबंध
- Vector Bundles & K-Theory – A downloadable book-in-progress by Allen Hatcher. Contains a chapter about characteristic classes.
- Dieter Kotschick, Chern numbers of algebraic varieties