चेर्न वर्ग: Difference between revisions
(Created page with "{{Short description|Characteristic classes on algebraic vector bundles}} {{Use American English|date=January 2019}} गणित में, विशेष रूप से ...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Characteristic classes on algebraic vector bundles}} | {{Short description|Characteristic classes on algebraic vector bundles}} | ||
गणित में, विशेष रूप से [[बीजगणितीय टोपोलॉजी]], [[विभेदक ज्यामिति और टोपोलॉजी]] और [[बीजगणितीय ज्यामिति]] में, चेर्न कक्षाएं जटिल [[वेक्टर बंडल]] वेक्टर बंडलों से जुड़े विशिष्ट वर्ग हैं। तब से वे गणित और भौतिकी की कई शाखाओं में मौलिक अवधारणाएँ बन गए हैं, जैसे कि [[स्ट्रिंग सिद्धांत]], चेर्न-साइमन्स सिद्धांत, गाँठ सिद्धांत, ग्रोमोव-विटन सिद्धांत|ग्रोमोव-विटन इनवेरिएंट्स। | गणित में, विशेष रूप से [[बीजगणितीय टोपोलॉजी]], [[विभेदक ज्यामिति और टोपोलॉजी]] और [[बीजगणितीय ज्यामिति]] में, चेर्न कक्षाएं जटिल [[वेक्टर बंडल]] वेक्टर बंडलों से जुड़े विशिष्ट वर्ग हैं। तब से वे गणित और भौतिकी की कई शाखाओं में मौलिक अवधारणाएँ बन गए हैं, जैसे कि [[स्ट्रिंग सिद्धांत]], चेर्न-साइमन्स सिद्धांत, गाँठ सिद्धांत, ग्रोमोव-विटन सिद्धांत|ग्रोमोव-विटन इनवेरिएंट्स। | ||
| Line 71: | Line 70: | ||
\right].</math> | \right].</math> | ||
'''यूलर वर्ग के माध्यम से''' | |||
कोई चेर्न वर्ग को यूलर वर्ग के संदर्भ में परिभाषित कर सकता है। मिल्नोर और स्टैशेफ की पुस्तक में यह दृष्टिकोण है, और एक वेक्टर बंडल के अभिविन्यास की भूमिका पर जोर देता है। | कोई चेर्न वर्ग को यूलर वर्ग के संदर्भ में परिभाषित कर सकता है। मिल्नोर और स्टैशेफ की पुस्तक में यह दृष्टिकोण है, और एक वेक्टर बंडल के अभिविन्यास की भूमिका पर जोर देता है। | ||
| Line 89: | Line 88: | ||
इसके बाद इस परिभाषा के लिए चेर्न वर्गों के सिद्धांतों को संतुष्ट करने के लिए कुछ काम करना पड़ता है। | इसके बाद इस परिभाषा के लिए चेर्न वर्गों के सिद्धांतों को संतुष्ट करने के लिए कुछ काम करना पड़ता है। | ||
यह भी देखें: थॉम स्पेस#द थॉम आइसोमोर्फिज्म। | यह भी देखें: थॉम स्पेस#द थॉम आइसोमोर्फिज्म। | ||
== उदाहरण == | |||
==उदाहरण== | |||
===रीमैन क्षेत्र का जटिल स्पर्शरेखा बंडल=== | ===रीमैन क्षेत्र का जटिल स्पर्शरेखा बंडल=== | ||
| Line 140: | Line 136: | ||
विशेष रूप से, किसी के लिए <math>k\ge 0</math>, | विशेष रूप से, किसी के लिए <math>k\ge 0</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> | ||
| Line 175: | Line 169: | ||
<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>गणना सूत्र == | ||
मान लीजिए E रैंक r का एक वेक्टर बंडल है और <math>c_t(E) = \sum_{i = 0}^r c_i(E)t^i</math> इसका #चेर्न बहुपद। | मान लीजिए E रैंक r का एक वेक्टर बंडल है और <math>c_t(E) = \sum_{i = 0}^r c_i(E)t^i</math> इसका #चेर्न बहुपद। | ||
*दोहरे बंडल के लिए <math>E^*</math> का <math>E</math>, <math>c_i(E^*) = (-1)^i c_i(E)</math>.<ref>{{harvnb|Fulton|loc=Remark 3.2.3. (a)}}</ref> | *दोहरे बंडल के लिए <math>E^*</math> का <math>E</math>, <math>c_i(E^*) = (-1)^i c_i(E)</math>.<ref>{{harvnb|Fulton|loc=Remark 3.2.3. (a)}}</ref> | ||
| Line 239: | Line 231: | ||
=== स्वयंसिद्ध वर्णन === | === स्वयंसिद्ध वर्णन === | ||
चेर्न कक्षाओं का एक और निर्माण है जो कोहोमोलॉजी रिंग, [[चाउ रिंग]] के बीजगणितीय एनालॉग में मान लेता है। यह दिखाया जा सकता है कि चेर्न कक्षाओं का एक अनूठा सिद्धांत है जैसे कि यदि आपको बीजगणितीय वेक्टर बंडल दिया जाता है <math>E \to X</math> अर्ध-प्रक्षेपी विविधता पर वर्गों का एक क्रम होता है <math>c_i(E) \in A^i(X)</math> ऐसा है कि | चेर्न कक्षाओं का एक और निर्माण है जो कोहोमोलॉजी रिंग, [[चाउ रिंग]] के बीजगणितीय एनालॉग में मान लेता है। यह दिखाया जा सकता है कि चेर्न कक्षाओं का एक अनूठा सिद्धांत है जैसे कि यदि आपको बीजगणितीय वेक्टर बंडल दिया जाता है <math>E \to X</math> अर्ध-प्रक्षेपी विविधता पर वर्गों का एक क्रम होता है <math>c_i(E) \in A^i(X)</math> ऐसा है कि | ||
# <math>c_0(E) = 1</math> | # <math>c_0(E) = 1</math> | ||
| Line 247: | Line 238: | ||
# <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> | ||
'''डिग्री डी हाइपरसर्फेस''' | |||
अगर <math>X \subset \mathbb{P}^3</math> एक डिग्री है <math>d</math> चिकनी हाइपरसतह, हमारे पास संक्षिप्त सटीक अनुक्रम है <math display="block">0 \to \mathcal{T}_X \to \mathcal{T}_{\mathbb{P}^3}|_X \to \mathcal{O}_X(d) \to 0</math> रिश्ता दे रहा हूँ <math display="block">c(\mathcal{T}_X) = \frac{c(\mathcal{T}_{\mathbb{P}^3|_X})}{c(\mathcal{O}_X(d))}</math> फिर हम इसकी गणना इस प्रकार कर सकते हैं | अगर <math>X \subset \mathbb{P}^3</math> एक डिग्री है <math>d</math> चिकनी हाइपरसतह, हमारे पास संक्षिप्त सटीक अनुक्रम है <math display="block">0 \to \mathcal{T}_X \to \mathcal{T}_{\mathbb{P}^3}|_X \to \mathcal{O}_X(d) \to 0</math> रिश्ता दे रहा हूँ <math display="block">c(\mathcal{T}_X) = \frac{c(\mathcal{T}_{\mathbb{P}^3|_X})}{c(\mathcal{O}_X(d))}</math> फिर हम इसकी गणना इस प्रकार कर सकते हैं | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
Revision as of 17:37, 20 July 2023
गणित में, विशेष रूप से बीजगणितीय टोपोलॉजी, विभेदक ज्यामिति और टोपोलॉजी और बीजगणितीय ज्यामिति में, चेर्न कक्षाएं जटिल वेक्टर बंडल वेक्टर बंडलों से जुड़े विशिष्ट वर्ग हैं। तब से वे गणित और भौतिकी की कई शाखाओं में मौलिक अवधारणाएँ बन गए हैं, जैसे कि स्ट्रिंग सिद्धांत, चेर्न-साइमन्स सिद्धांत, गाँठ सिद्धांत, ग्रोमोव-विटन सिद्धांत|ग्रोमोव-विटन इनवेरिएंट्स।
चेर्न कक्षाएं शुरू की गईं Shiing-Shen Chern (1946).
ज्यामितीय दृष्टिकोण
मूल विचार और प्रेरणा
चेर्न वर्ग विशिष्ट वर्ग हैं। वे एक चिकने मैनिफोल्ड पर वेक्टर बंडलों से जुड़े टोपोलॉजिकल अपरिवर्तनीय हैं। इस प्रश्न का उत्तर देना काफी कठिन हो सकता है कि क्या दो प्रत्यक्ष रूप से भिन्न वेक्टर बंडल एक जैसे हैं। चेर्न वर्ग एक सरल परीक्षण प्रदान करते हैं: यदि वेक्टर बंडलों की एक जोड़ी के चेर्न वर्ग सहमत नहीं हैं, तो वेक्टर बंडल अलग हैं। हालाँकि, इसका उलटा सच नहीं है।
टोपोलॉजी, विभेदक ज्यामिति और बीजगणितीय ज्यामिति में, यह गिनना अक्सर महत्वपूर्ण होता है कि एक वेक्टर बंडल में कितने रैखिक रूप से स्वतंत्र अनुभाग हैं। उदाहरण के लिए, चेर्न कक्षाएं इसके बारे में कुछ जानकारी प्रदान करती हैं, उदाहरण के लिए, रीमैन-रोच प्रमेय और अतियाह-सिंगर सूचकांक प्रमेय।
अभ्यास में चेर्न कक्षाओं की गणना करना भी संभव है। विभेदक ज्यामिति (और कुछ प्रकार की बीजगणितीय ज्यामिति) में, चेर्न वर्गों को वक्रता रूप के गुणांकों में बहुपद के रूप में व्यक्त किया जा सकता है।
निर्माण
विषय तक पहुंचने के विभिन्न तरीके हैं, जिनमें से प्रत्येक चेर्न वर्ग के थोड़े अलग स्वाद पर केंद्रित है।
चेर्न कक्षाओं के लिए मूल दृष्टिकोण बीजगणितीय टोपोलॉजी के माध्यम से था: चेर्न कक्षाएं होमोटोपी सिद्धांत के माध्यम से उत्पन्न होती हैं जो एक वर्गीकृत स्थान (इस मामले में एक अनंत ग्रासमैनियन) के लिए वेक्टर बंडल से जुड़ी मैपिंग प्रदान करती है। मैनिफोल्ड एम पर किसी भी जटिल वेक्टर बंडल वी के लिए, एम से वर्गीकरण स्थान तक एक नक्शा एफ मौजूद है जैसे कि बंडल वी, वर्गीकरण स्थान पर एक सार्वभौमिक बंडल के पुलबैक और एफ के बराबर है, और चेर्न कक्षाएं इसलिए 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
समरूपता तक अद्वितीय। बोरेल का प्रमेय जी की कोहोमोलॉजी रिंग कहता हैn बिल्कुल सममित बहुपदों का वलय है, जो प्राथमिक सममित बहुपदों में बहुपद हैं σk; तो, एफ का पुलबैकE पढ़ता है:
गणना सूत्र
मान लीजिए 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