पोंट्रीगिन वर्ग: Difference between revisions

From Vigyanwiki
No edit summary
 
(12 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित में, पोंट्रीगिन वर्ग, जिनका नाम [[लेव पोंट्रीगिन]] के नाम पर रखा गया है, वास्तविक सदिश समूह के कुछ विशिष्ट वर्ग हैं। पोंट्रीगिन वर्ग चार के गुणज अंश वाले सह समरूप समूहों में स्थित हैं।
गणित में, '''पोंट्रीगिन वर्ग''', जिनका नाम [[लेव पोंट्रीगिन]] के नाम पर रखा गया है, वास्तविक सदिश समूह के कुछ विशिष्ट वर्ग हैं। पोंट्रीगिन वर्ग चार के गुणज अंश वाले सह समरूप समूहों में स्थित हैं।


== परिभाषा ==
== परिभाषा ==
M के ऊपर एक वास्तविक सदिश समूह E दिया गया है, यह k-th पोंट्रीगिन वर्ग  <math>p_k(E)</math>से परिभाषित किया जाता है
M के ऊपर एक वास्तविक सदिश समूह E दिया गया है, यह k-th पोंट्रीगिन वर्ग  <math>p_k(E)</math> से परिभाषित किया जाता है
:<math>p_k(E) = p_k(E, \Z) = (-1)^k c_{2k}(E\otimes \Complex) \in  H^{4k}(M, \Z),</math>
:<math>p_k(E) = p_k(E, \Z) = (-1)^k c_{2k}(E\otimes \Complex) \in  H^{4k}(M, \Z),</math>
जहाँ:
जहाँ:
Line 11: Line 11:


== गुण ==
== गुण ==
कुल पोंट्रीगिन वर्ग
'''कुल पोंट्रीगिन वर्ग'''
:<math>p(E)=1+p_1(E)+p_2(E)+\cdots\in H^*(M,\Z),</math>
:<math>p(E)=1+p_1(E)+p_2(E)+\cdots\in H^*(M,\Z),</math>
(मॉड्यूलो 2-टोरसन) के संबंध में गुणक है
(मॉड्यूलो 2-टोरसन) सदिश समूहों के विटनी योग के सम्बन्ध में गुणक हैं, अर्थात
विभेदक ज्यामिति और टोपोलॉजी की शब्दावली#वेक्टर बंडलों की, यानी,
:<math>2p(E\oplus F)=2p(E)\smile p(F)</math>
:<math>2p(E\oplus F)=2p(E)\smile p(F)</math>
एम के ऊपर दो वेक्टर बंडल ई और एफ के लिए। व्यक्तिगत पोंट्रीगिन वर्गों पी के संदर्भ में<sub>k</sub>,  
M के ऊपर दो सदिश समूह E और F के लिए होता हैं। एकल पोंट्रीगिन वर्गों P<sub>k</sub> के सम्बन्ध में,
:<math>2p_1(E\oplus F)=2p_1(E)+2p_1(F),</math>
:<math>2p_1(E\oplus F)=2p_1(E)+2p_1(F),</math>
:<math>2p_2(E\oplus F)=2p_2(E)+2p_1(E)\smile p_1(F)+2p_2(F)</math>
:<math>2p_2(E\oplus F)=2p_2(E)+2p_1(E)\smile p_1(F)+2p_2(F)</math>
और इसी तरह।
और इसी प्रकार होता हैं।


वेक्टर बंडल के पोंट्रीगिन वर्गों और स्टिफ़ेल-व्हिटनी वर्गों का लुप्त होना यह गारंटी नहीं देता है कि वेक्टर बंडल तुच्छ है। उदाहरण के लिए, वेक्टर बंडल#वेक्टर बंडल मॉर्फिज्म तक, एक अद्वितीय गैर-तुच्छ रैंक 10 वेक्टर बंडल है <math>E_{10}</math> N-गोले|9-गोले के ऊपर। ([[क्लचिंग निर्माण]] के लिए <math>E_{10}</math> ऑर्थोगोनल समूह#होमोटोपी समूहों से उत्पन्न होता है <math>\pi_8(\mathrm{O}(10)) = \Z/2\Z</math>.) पोंट्रीगिन कक्षाएं और स्टिफ़ेल-व्हिटनी कक्षाएं सभी गायब हो जाती हैं: पोंट्रीगिन कक्षाएं 9 डिग्री में मौजूद नहीं हैं, और स्टिफ़ेल-व्हिटनी कक्षा डब्ल्यू<sub>9</sub> का<sub>10</sub> स्टिफ़ेल-व्हिटनी वर्ग द्वारा गायब हो जाता है#स्टीनरोड बीजगणित पर संबंध<sub>9</sub> = डब्ल्यू<sub>1</sub>w<sub>8</sub> + वर्ग<sup>1</sup>(v<sub>8</sub>). इसके अलावा, यह वेक्टर बंडल निश्चित रूप से गैर-तुच्छ है, यानी अंतर ज्यामिति और टोपोलॉजी की शब्दावली # ई का डब्ल्यू<sub>10</sub> किसी भी तुच्छ बंडल के साथ गैर-तुच्छ रहता है। {{Harv|Hatcher|2009|p=76}}
सदिश समूहों के पोंट्रीगिन वर्गों और स्टिफ़ेल-व्हिटनी वर्गों का लुप्त होना यह निश्चितता नहीं देता है कि सदिश समूह नगण्य हैं। उदाहरण के लिए, सदिश समूह समरूपता तक, एक अद्वितीय स्तर 10 सदिश समूह है <math>E_{10}</math> N-गोले, 9-गोले के ऊपर नगण्य नहीं हैं। ([[क्लचिंग निर्माण|क्लचिंग फलन]] के लिए <math>E_{10}</math> समस्थेय समूहों <math>\pi_8(\mathrm{O}(10)) = \Z/2\Z</math>) से उत्पन्न होता है। पोंट्रीगिन वर्ग और स्टिफ़ेल-व्हिटनी वर्ग सभी समाप्त हो जाती हैं: पोंट्रीगिन वर्ग  9 अंश में उपस्थित नहीं हैं, और स्टिफ़ेल-व्हिटनी वर्ग E<sub>10</sub> का w<sub>9</sub> वू सूत्र w<sub>9</sub> = w<sub>1</sub>w<sub>8</sub> + Sq<sup>1</sup>(w<sub>8</sub>) द्वारा समाप्त हो जाता है। इसके अतिरिक्त, यह सदिश समूह निश्चित रूप से नगण्य नहीं हैं, अर्थात E<sub>10</sub> के साथ कोई भी नगण्य समूह का व्हिटनी योग नगण्य नहीं रहता हैं। {{Harv|Hatcher|2009|p=76}}


हमारे पास 2k-आयामी वेक्टर बंडल E दिया गया है
दिया हैं की हमारे पास 2k-आयामी सदिश समूह E है
:<math>p_k(E)=e(E)\smile e(E),</math>
:<math>p_k(E)=e(E)\smile e(E),</math>
जहां e(E) E के [[यूलर वर्ग]] को दर्शाता है, और <math>\smile</math> कोहोमोलॉजी कक्षाओं के [[कप उत्पाद]] को दर्शाता है।
जहां e(E) E के [[यूलर वर्ग]] को दर्शाता है, और <math>\smile</math> समरूप समूहों के [[कप उत्पाद|कप गुणन]] को दर्शाता है।


=== पोंट्रीगिन कक्षाएं और वक्रता ===
=== पोंट्रीगिन वर्ग और वक्रता ===
जैसा कि 1948 के आसपास [[शिंग-शेन चेर्न]] और आंद्रे वेइल द्वारा दिखाया गया था, तर्कसंगत पोंट्रीगिन कक्षाएं
जैसा कि 1948 के आसपास [[शिंग-शेन चेर्न]] और आंद्रे वेइल द्वारा बताया गया था, परिमेय पोंट्रीगिन वर्ग
:<math>p_k(E,\mathbf{Q})\in H^{4k}(M,\mathbf{Q})</math>
:<math>p_k(E,\mathbf{Q})\in H^{4k}(M,\mathbf{Q})</math>
विभेदक रूपों के रूप में प्रस्तुत किया जा सकता है जो [[वेक्टर बंडल]] के [[वक्रता रूप]] पर बहुपद रूप से निर्भर करते हैं। इस चेर्न-वेइल सिद्धांत ने बीजगणितीय टोपोलॉजी और वैश्विक अंतर ज्यामिति के बीच एक प्रमुख संबंध का खुलासा किया।
विभेदक रूपों के रूप में प्रस्तुत किया जा सकता है जो [[वेक्टर बंडल|सदिश समूह]] के [[वक्रता रूप]] के बहुपद पर निर्भर करते हैं। इस चेर्न-वेइल सिद्धांत ने बीजगणितीय समरूपता और वैश्विक अंतर ज्यामिति के बीच एक प्रमुख संबंध को दर्शाता हैं।


एक [[ कनेक्शन प्रपत्र ]] से सुसज्जित एन-डायमेंशनल [[विभेदक अनेक गुना]] एम पर एक वेक्टर बंडल ई के लिए, कुल पोंट्रीगिन वर्ग को इस प्रकार व्यक्त किया गया है
एक[[ कनेक्शन प्रपत्र | संयोग प्रपत्र]] से सुसज्जित n-विमीय [[विभेदक अनेक गुना|विविध अवकलनीय]] ''M'' पर सदिश समूह ''E'' के लिए, कुल पोंट्रीगिन वर्ग को इस प्रकार व्यक्त किया गया है
:<math>p=\left[1-\frac{{\rm Tr}(\Omega ^2)}{8 \pi ^2}+\frac{{\rm Tr}(\Omega ^2)^2-2 {\rm Tr}(\Omega ^4)}{128 \pi ^4}-\frac{{\rm Tr}(\Omega ^2)^3-6 {\rm Tr}(\Omega ^2) {\rm Tr}(\Omega ^4)+8 {\rm Tr}(\Omega ^6)}{3072 \pi ^6}+\cdots\right]\in H^*_{dR}(M),</math>
:<math>p=\left[1-\frac{{\rm Tr}(\Omega ^2)}{8 \pi ^2}+\frac{{\rm Tr}(\Omega ^2)^2-2 {\rm Tr}(\Omega ^4)}{128 \pi ^4}-\frac{{\rm Tr}(\Omega ^2)^3-6 {\rm Tr}(\Omega ^2) {\rm Tr}(\Omega ^4)+8 {\rm Tr}(\Omega ^6)}{3072 \pi ^6}+\cdots\right]\in H^*_{dR}(M),</math>
जहां Ω वक्रता रूप को दर्शाता है, और H*<sub>dR</sub>(एम) [[डॉ कहलमज गर्भाशय]] समूहों को दर्शाता है।<ref>{{Cite web|title=De Rham Cohomology - an overview {{!}} ScienceDirect Topics|url=https://www.sciencedirect.com/topics/mathematics/de-rham-cohomology|access-date=2022-02-02|website=www.sciencedirect.com}}</ref>
जहां Ω वक्रता रूप को दर्शाता है, और ''H''*<sub>dR</sub>(''M'') [[डॉ कहलमज गर्भाशय|डे राम समरूप]] समूहों को दर्शाता है।<ref>{{Cite web|title=De Rham Cohomology - an overview {{!}} ScienceDirect Topics|url=https://www.sciencedirect.com/topics/mathematics/de-rham-cohomology|access-date=2022-02-02|website=www.sciencedirect.com}}</ref>




=== मैनिफोल्ड की पोंट्रीगिन कक्षाएं ===
=== बहुरूप की पोंट्रीगिन वर्ग ===
स्मूथ मैनिफोल्ड के पोंट्रीगिन वर्गों को इसके [[स्पर्शरेखा बंडल]] के पोंट्रीगिन वर्गों के रूप में परिभाषित किया गया है।
'''समतल बहुरूप का पोंट्रीगिन वर्ग''' को इसके [[स्पर्शरेखा बंडल|स्पर्शरेखा समूह]] के पोंट्रीगिन वर्गों के रूप में परिभाषित किया गया है।


[[सर्गेई नोविकोव (गणितज्ञ)]] ने 1966 में साबित किया कि यदि दो कॉम्पैक्ट, उन्मुख, चिकनी मैनिफोल्ड [[होमियोमोर्फिज्म]] हैं तो उनके तर्कसंगत पोंट्रीगिन वर्ग '' पी<sub>k</sub>(एम, 'क्यू') एच में<sup>4k</sup>(M, 'Q') समान हैं।
[[सर्गेई नोविकोव (गणितज्ञ)]] ने 1966 में सिद्ध किया कि यदि दो संकुचित, उन्मुख, समतल बहुरूप [[होमियोमोर्फिज्म|होमियोमॉर्फिक]] हैं तो उनके परिमेय पोंट्रीगिन वर्ग ''p<sub>k</sub>(M, ''''Q'''<nowiki/>') H<sup>4k</sup>(M, 'Q') में समान हैं।''


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


=== चेर्न कक्षाओं से पोंट्रीगिन कक्षाएं ===
=== चेर्न वर्गों से पोंट्रीगिन वर्गों ===
एक वास्तविक वेक्टर बंडल की पोंट्रीगिन कक्षाएं <math>\pi: E \to X</math> इसकी जटिलता के चेर्न वर्गों द्वारा पूरी तरह से निर्धारित किया जा सकता है। यह इस तथ्य से पता चलता है कि <math>E\otimes_{\mathbb{R}}\mathbb{C} \cong E\oplus \bar{E}</math>, व्हिटनी योग सूत्र, और इसके जटिल संयुग्म बंडल के चेर्न वर्गों के गुण। वह है, <math>c_i(\bar{E}) = (-1)^ic_i(E)</math> और <math>c(E\oplus\bar{E}) = c(E)c(\bar{E})</math>. फिर, इसने संबंध <ब्लॉककोट> दिया<math>
वास्तविक सदिश समूह की पोंट्रीगिन वर्ग <math>\pi: E \to X</math> इसकी समायोजन के चेर्न वर्गों द्वारा पूरी तरह से निर्धारित किया जा सकता है। यह इस तथ्य से पता चलता है कि <math>E\otimes_{\mathbb{R}}\mathbb{C} \cong E\oplus \bar{E}</math>, व्हिटनी योग सूत्र, और इसके समायोजित संयुग्म समूह के चेर्न वर्गों के गुण होते हैं। वह, <math>c_i(\bar{E}) = (-1)^ic_i(E)</math> और <math>c(E\oplus\bar{E}) = c(E)c(\bar{E})</math> हैं। फिर, इसने संबंध दिया कि<math>
1 - p_1(E) + p_2(E) - \cdots + (-1)^np_n(E) =  
1 - p_1(E) + p_2(E) - \cdots + (-1)^np_n(E) =  
(1 + c_1(E) + \cdots + c_n(E)) \cdot  
(1 + c_1(E) + \cdots + c_n(E)) \cdot  
(1 - c_1(E) + c_2(E) -\cdots + (-1)^nc_n(E))
(1 - c_1(E) + c_2(E) -\cdots + (-1)^nc_n(E))
</math><ref>{{Cite web|url=https://www.math.stonybrook.edu/~markmclean/MAT566/lecture13.pdf|title=पोंट्रीगिन क्लासेस|last=Mclean|first=Mark|date=|website=|url-status=live|archive-url=https://web.archive.org/web/20161108093927/https://www.math.stonybrook.edu/~markmclean/MAT566/lecture13.pdf|archive-date=2016-11-08}}</ref></blockquote>उदाहरण के लिए, हम एक वक्र और एक सतह पर एक वेक्टर बंडल के पोंट्रीगिन वर्गों को खोजने के लिए इस सूत्र को लागू कर सकते हैं। एक वक्र के लिए, हमारे पास <ब्लॉककोट> है<math>(1-c_1(E))(1 + c_1(E)) = 1 + c_1(E)^2</math></blockquote>इसलिए जटिल वेक्टर बंडलों के सभी पोंट्रीगिन वर्ग तुच्छ हैं। एक सतह पर, हमारे पास <ब्लॉककोट> है<math>(1-c_1(E) + c_2(E))(1 + c_1(E) + c_2(E)) = 1 - c_1(E)^2 + 2c_2(E)</math></ब्लॉकउद्धरण>दिखा रहा है <math>p_1(E) = c_1(E)^2 - 2c_2(E)</math>. ऑन लाइन बंडलों से यह और भी सरल हो जाता है <math>c_2(L) = 0</math> आयाम कारणों से.
</math><ref>{{Cite web|url=https://www.math.stonybrook.edu/~markmclean/MAT566/lecture13.pdf|title=पोंट्रीगिन क्लासेस|last=Mclean|first=Mark|date=|website=|url-status=live|archive-url=https://web.archive.org/web/20161108093927/https://www.math.stonybrook.edu/~markmclean/MAT566/lecture13.pdf|archive-date=2016-11-08}}</ref>उदाहरण के लिए, हम एक वक्र और एक सतह पर एक सदिश समूह के पोंट्रीगिन वर्गों को खोजने के लिए इस सूत्र को क्रियान्वित कर सकते हैं। वक्र के लिए, हमारे पास <math>(1-c_1(E))(1 + c_1(E)) = 1 + c_1(E)^2</math> हैं, इसलिए समायोजित सदिश समूह के सभी पोंट्रीगिन वर्ग नगण्य हैं। सतह पर, हमारे पास <math>(1-c_1(E) + c_2(E))(1 + c_1(E) + c_2(E)) = 1 - c_1(E)^2 + 2c_2(E)</math> हैं


=== क्वार्टिक K3 सतह पर पोंट्रीगिन कक्षाएं ===
जो  <math>p_1(E) = c_1(E)^2 - 2c_2(E)</math> दिखा रहा है। <math>c_2(L) = 0</math> आयामी कारणों से रेखा समूहों पर यह और भी सरल हो जाता है।
उस चतुर्थक बहुपद को याद करें जिसका लुप्त होने वाला स्थान है <math>\mathbb{CP}^3</math> एक चिकनी उपविविधता K3 सतह है। यदि हम सामान्य अनुक्रम<ब्लॉककोट> का उपयोग करते हैं<math>0 \to \mathcal{T}_X \to \mathcal{T}_{\mathbb{CP}^3}|_X \to \mathcal{O}(4) \to 0</math></blockquote>हम <blockquote> पा सकते हैं<math>\begin{align}
 
=== क्वार्टिक K3 सतह पर पोंट्रीगिन वर्ग ===
उस चतुर्थक बहुपद को याद करें जिसका समाप्ति स्थान <math>\mathbb{CP}^3</math> है। समतल उपविविधता K3 सतह है। यदि हम सामान्य अनुक्रम <math>0 \to \mathcal{T}_X \to \mathcal{T}_{\mathbb{CP}^3}|_X \to \mathcal{O}(4) \to 0</math> का उपयोग करते हैं
 
हम जानते हैं कि  <blockquote> <math>\begin{align}
c(\mathcal{T}_X) &= \frac{c(\mathcal{T}_{\mathbb{CP}^3}|_X)}{c(\mathcal{O}(4))} \\
c(\mathcal{T}_X) &= \frac{c(\mathcal{T}_{\mathbb{CP}^3}|_X)}{c(\mathcal{O}(4))} \\
&= \frac{(1+[H])^4}{(1+4[H])} \\
&= \frac{(1+[H])^4}{(1+4[H])} \\
&= (1 + 4[H] + 6[H]^2)\cdot(1 - 4[H] + 16[H]^2) \\
&= (1 + 4[H] + 6[H]^2)\cdot(1 - 4[H] + 16[H]^2) \\
&= 1 + 6[H]^2
&= 1 + 6[H]^2
\end{align}</math></ब्लॉकउद्धरण>दिखा रहा है <math>c_1(X) = 0</math> और <math>c_2(X) = 6[H]^2</math>. तब से <math>[H]^2</math> चार बिंदुओं से मेल खाता है, बेज़ाउट के लेम्मा के कारण, हमारे पास दूसरा चेर्न नंबर है <math>24</math>. तब से <math>p_1(X) = -2c_2(X)</math> इस मामले में, हमारे पास है
\end{align}</math>


<math>p_1(X) = -48</math>. इस संख्या का उपयोग गोले के तीसरे स्थिर समरूप समूह की गणना करने के लिए किया जा सकता है।<ref>{{Cite web|url=http://math.mit.edu/~guozhen/homotopy%20groups.pdf|title=क्षेत्रों और सह-बॉर्डिज्म के समरूप समूहों की संगणना का एक सर्वेक्षण|last=|first=|date=|website=|page=16|url-status=live|archive-url=https://web.archive.org/web/20160122111116/http://math.mit.edu/~guozhen/homotopy%20groups.pdf|archive-date=2016-01-22|access-date=}}</ref>
जो <math>c_1(X) = 0</math> और <math>c_2(X) = 6[H]^2</math>दर्शा रहा हैं। तब <math>[H]^2</math> बेज़ाउट के लेम्मा के कारण,चार बिंदुओं से मिलता है, हमारे पास दूसरा चेर्न संख्या <math>24</math> है। तब  <math>p_1(X) = -2c_2(X)</math> इस स्थिति में, हमारे पास
 
<math>p_1(X) = -48</math> है। इस संख्या का उपयोग गोले के तीसरे स्थिर समरूप समूह की गणना करने के लिए किया जा सकता है।<ref>{{Cite web|url=http://math.mit.edu/~guozhen/homotopy%20groups.pdf|title=क्षेत्रों और सह-बॉर्डिज्म के समरूप समूहों की संगणना का एक सर्वेक्षण|last=|first=|date=|website=|page=16|url-status=live|archive-url=https://web.archive.org/web/20160122111116/http://math.mit.edu/~guozhen/homotopy%20groups.pdf|archive-date=2016-01-22|access-date=}}</ref>




== पोंट्रीगिन संख्या ==
== पोंट्रीगिन संख्या ==
पोंट्रीगिन संख्याएं स्मूथ [[ कई गुना ]] के कुछ [[ टोपोलॉजिकल अपरिवर्तनीय ]] हैं। यदि ''एम'' का आयाम 4 से विभाज्य नहीं है, तो मैनिफोल्ड ''एम'' की प्रत्येक पोंट्रीगिन संख्या गायब हो जाती है। इसे मैनिफोल्ड ''एम'' के पोंट्रीगिन वर्गों के संदर्भ में निम्नानुसार परिभाषित किया गया है:
'''पोंट्रीगिन संख्याएं''' समतल [[ कई गुना |कई गुना]] के कुछ[[ टोपोलॉजिकल अपरिवर्तनीय | टोपोलॉजिकल अपरिवर्तनीय]] हैं। यदि ''M'' का आयाम 4 से विभाज्य नहीं है, तो विविध ''M'' की प्रत्येक पोंट्रीगिन संख्या समाप्त हो जाती है। इसे विविध ''M'' के पोंट्रीगिन वर्गों के संदर्भ में निम्नानुसार परिभाषित किया गया है:


एक सहजता दी गई <math>4 n</math>-आयामी मैनिफोल्ड एम और प्राकृतिक संख्याओं का संग्रह
एक समतल <math>4 n</math>-आयामी मैविविध ''M'' और प्राकृतिक संख्याओं का संग्रह दिया गया हैं
:<math>k_1, k_2, \ldots , k_m</math> ऐसा है कि <math>k_1+k_2+\cdots +k_m =n</math>,
:<math>k_1, k_2, \ldots , k_m</math> ऐसा है कि <math>k_1+k_2+\cdots +k_m =n</math>,
पोंट्रीगिन संख्या <math>P_{k_1,k_2,\dots,k_m}</math> द्वारा परिभाषित किया गया है
पोंट्रीगिन संख्या <math>P_{k_1,k_2,\dots,k_m}</math> द्वारा परिभाषित किया गया है
:<math>P_{k_1,k_2,\dots, k_m}=p_{k_1}\smile p_{k_2}\smile \cdots\smile p_{k_m}([M])</math>
:<math>P_{k_1,k_2,\dots, k_m}=p_{k_1}\smile p_{k_2}\smile \cdots\smile p_{k_m}([M])</math>
कहाँ <math>p_k</math> के-वें पोंट्रीगिन वर्ग और [एम] एम के [[मौलिक वर्ग]] को दर्शाता है।
जहाँ <math>p_k</math> k-वें पोंट्रीगिन वर्ग और [M] M के [[मौलिक वर्ग]] को दर्शाता है।


=== गुण ===
=== गुण ===
#पोंट्रीगिन संख्याएं उन्मुख [[सह-बॉर्डिज्म]] अपरिवर्तनीय हैं; और स्टिफ़ेल-व्हिटनी संख्याओं के साथ मिलकर वे एक ओरिएंटेड मैनिफोल्ड के ओरिएंटेड कोबॉर्डिज्म वर्ग का निर्धारण करते हैं।
#पोंट्रीगिन संख्याएं उन्मुख [[सह-बॉर्डिज्म]] अपरिवर्तनीय हैं; और स्टिफ़ेल-व्हिटनी संख्याओं के साथ मिलकर वे केंद्रीय बहुरूप के केंद्रीय सह बोर्डिज्ज्म वर्ग का निर्धारण करते हैं।
बंद रीमैनियन मैनिफोल्ड्स (साथ ही पोंट्रीगिन वर्गों) की #पोंट्रीगिन संख्याओं की गणना रीमैनियन मैनिफोल्ड के वक्रता टेंसर से कुछ बहुपदों के अभिन्न अंग के रूप में की जा सकती है।
2. सिमित रीमैनियन बहुरूप (साथ ही पोंट्रीगिन वर्गों) की पोंट्रीगिन संख्याओं की गणना रीमैनियन बहुरूप के वक्रता प्रदीश से कुछ बहुपदों के अभिन्न अंग के रूप में की जा सकती है।
#इनवेरिएंट जैसे [[ हस्ताक्षर (टोपोलॉजी) ]] और जीनस|<math>\hat A</math>-जीनस को पोंट्रीगिन संख्याओं के माध्यम से व्यक्त किया जा सकता है। हस्ताक्षर देने वाले पोंट्रीगिन संख्याओं के रैखिक संयोजन का वर्णन करने वाले प्रमेय के लिए हिरज़ेब्रुक हस्ताक्षर प्रमेय देखें।


3. अचर, जैसे [[ हस्ताक्षर (टोपोलॉजी) |संकेत (टोपोलॉजी)]] और <math>\hat A</math>-जीनस को पोंट्रीगिन संख्याओं के माध्यम से व्यक्त किया जा सकता है। संकेत देने वाले पोंट्रीगिन संख्याओं के रैखिक संयोजन का वर्णन करने वाले प्रमेय के                  लिए हिरज़ेब्रुक संकेत प्रमेय पर ध्यान देते हैं।
== सामान्यीकरण ==
== सामान्यीकरण ==
चतुर्धातुक संरचना वाले वेक्टर बंडलों के लिए एक चतुर्धातुक पोंट्रीगिन वर्ग भी है।
चतुर्धातुक संरचना वाले सदिश समूहों के लिए चतुर्धातुक पोंट्रीगिन वर्ग भी है।


== यह भी देखें ==
== यह भी देखें ==
*चेर्न-साइमन्स फॉर्म
*चेर्न-साइमन्स प्रकार
*हिर्ज़ेब्रुच हस्ताक्षर प्रमेय
*हिर्ज़ेब्रुच संकेत प्रमेय


== संदर्भ ==
== संदर्भ ==
Line 101: Line 106:
==बाहरी संबंध==
==बाहरी संबंध==
* {{springer|title=Pontryagin class|id=p/p073750}}
* {{springer|title=Pontryagin class|id=p/p073750}}
[[Category: विशेषता वर्ग]] [[Category: विभेदक टोपोलॉजी]]


[[Category: Machine Translated Page]]
[[Category:CS1 errors]]
[[Category:Created On 08/07/2023]]
[[Category:Created On 08/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:विभेदक टोपोलॉजी]]
[[Category:विशेषता वर्ग]]

Latest revision as of 10:25, 24 July 2023

गणित में, पोंट्रीगिन वर्ग, जिनका नाम लेव पोंट्रीगिन के नाम पर रखा गया है, वास्तविक सदिश समूह के कुछ विशिष्ट वर्ग हैं। पोंट्रीगिन वर्ग चार के गुणज अंश वाले सह समरूप समूहों में स्थित हैं।

परिभाषा

M के ऊपर एक वास्तविक सदिश समूह E दिया गया है, यह k-th पोंट्रीगिन वर्ग से परिभाषित किया जाता है

जहाँ:

  • के रूपरेखा का -वाँ चेर्न वर्ग ,E को दर्शाता है,
  • -पूर्णांक गुणांक के साथ M का सह-समरूपता समूह है।

परिमेय पोंट्रीगिन वर्ग , में की चित्र के रूप में परिभाषित किया गया है, -परिमेय संख्या गुणांक के साथ M का सह-समरूप समूह हैं।

गुण

कुल पोंट्रीगिन वर्ग

(मॉड्यूलो 2-टोरसन) सदिश समूहों के विटनी योग के सम्बन्ध में गुणक हैं, अर्थात

M के ऊपर दो सदिश समूह E और F के लिए होता हैं। एकल पोंट्रीगिन वर्गों Pk के सम्बन्ध में,

और इसी प्रकार होता हैं।

सदिश समूहों के पोंट्रीगिन वर्गों और स्टिफ़ेल-व्हिटनी वर्गों का लुप्त होना यह निश्चितता नहीं देता है कि सदिश समूह नगण्य हैं। उदाहरण के लिए, सदिश समूह समरूपता तक, एक अद्वितीय स्तर 10 सदिश समूह है N-गोले, 9-गोले के ऊपर नगण्य नहीं हैं। (क्लचिंग फलन के लिए समस्थेय समूहों ) से उत्पन्न होता है। पोंट्रीगिन वर्ग और स्टिफ़ेल-व्हिटनी वर्ग सभी समाप्त हो जाती हैं: पोंट्रीगिन वर्ग 9 अंश में उपस्थित नहीं हैं, और स्टिफ़ेल-व्हिटनी वर्ग E10 का w9 वू सूत्र w9 = w1w8 + Sq1(w8) द्वारा समाप्त हो जाता है। इसके अतिरिक्त, यह सदिश समूह निश्चित रूप से नगण्य नहीं हैं, अर्थात E10 के साथ कोई भी नगण्य समूह का व्हिटनी योग नगण्य नहीं रहता हैं। (Hatcher 2009, p. 76)

दिया हैं की हमारे पास 2k-आयामी सदिश समूह E है

जहां e(E) E के यूलर वर्ग को दर्शाता है, और समरूप समूहों के कप गुणन को दर्शाता है।

पोंट्रीगिन वर्ग और वक्रता

जैसा कि 1948 के आसपास शिंग-शेन चेर्न और आंद्रे वेइल द्वारा बताया गया था, परिमेय पोंट्रीगिन वर्ग

विभेदक रूपों के रूप में प्रस्तुत किया जा सकता है जो सदिश समूह के वक्रता रूप के बहुपद पर निर्भर करते हैं। इस चेर्न-वेइल सिद्धांत ने बीजगणितीय समरूपता और वैश्विक अंतर ज्यामिति के बीच एक प्रमुख संबंध को दर्शाता हैं।

एक संयोग प्रपत्र से सुसज्जित n-विमीय विविध अवकलनीय M पर सदिश समूह E के लिए, कुल पोंट्रीगिन वर्ग को इस प्रकार व्यक्त किया गया है

जहां Ω वक्रता रूप को दर्शाता है, और H*dR(M) डे राम समरूप समूहों को दर्शाता है।[1]


बहुरूप की पोंट्रीगिन वर्ग

समतल बहुरूप का पोंट्रीगिन वर्ग को इसके स्पर्शरेखा समूह के पोंट्रीगिन वर्गों के रूप में परिभाषित किया गया है।

सर्गेई नोविकोव (गणितज्ञ) ने 1966 में सिद्ध किया कि यदि दो संकुचित, उन्मुख, समतल बहुरूप होमियोमॉर्फिक हैं तो उनके परिमेय पोंट्रीगिन वर्ग pk(M, 'Q') H4k(M, 'Q') में समान हैं।

यदि आयाम कम से कम पांच है, तो दिए गए समस्थेय समतुल्य रिक्त स्थान और पोंट्रीगिन वर्गों के साथ अधिकतम सीमित रूप से कई अलग-अलग समतल बहुरूप हैं।

चेर्न वर्गों से पोंट्रीगिन वर्गों

वास्तविक सदिश समूह की पोंट्रीगिन वर्ग इसकी समायोजन के चेर्न वर्गों द्वारा पूरी तरह से निर्धारित किया जा सकता है। यह इस तथ्य से पता चलता है कि , व्हिटनी योग सूत्र, और इसके समायोजित संयुग्म समूह के चेर्न वर्गों के गुण होते हैं। वह, और हैं। फिर, इसने संबंध दिया कि[2]उदाहरण के लिए, हम एक वक्र और एक सतह पर एक सदिश समूह के पोंट्रीगिन वर्गों को खोजने के लिए इस सूत्र को क्रियान्वित कर सकते हैं। वक्र के लिए, हमारे पास हैं, इसलिए समायोजित सदिश समूह के सभी पोंट्रीगिन वर्ग नगण्य हैं। सतह पर, हमारे पास हैं

जो दिखा रहा है। आयामी कारणों से रेखा समूहों पर यह और भी सरल हो जाता है।

क्वार्टिक K3 सतह पर पोंट्रीगिन वर्ग

उस चतुर्थक बहुपद को याद करें जिसका समाप्ति स्थान है। समतल उपविविधता K3 सतह है। यदि हम सामान्य अनुक्रम का उपयोग करते हैं

हम जानते हैं कि

जो और दर्शा रहा हैं। तब बेज़ाउट के लेम्मा के कारण,चार बिंदुओं से मिलता है, हमारे पास दूसरा चेर्न संख्या है। तब इस स्थिति में, हमारे पास

है। इस संख्या का उपयोग गोले के तीसरे स्थिर समरूप समूह की गणना करने के लिए किया जा सकता है।[3]


पोंट्रीगिन संख्या

पोंट्रीगिन संख्याएं समतल कई गुना के कुछ टोपोलॉजिकल अपरिवर्तनीय हैं। यदि M का आयाम 4 से विभाज्य नहीं है, तो विविध M की प्रत्येक पोंट्रीगिन संख्या समाप्त हो जाती है। इसे विविध M के पोंट्रीगिन वर्गों के संदर्भ में निम्नानुसार परिभाषित किया गया है:

एक समतल -आयामी मैविविध M और प्राकृतिक संख्याओं का संग्रह दिया गया हैं

ऐसा है कि ,

पोंट्रीगिन संख्या द्वारा परिभाषित किया गया है

जहाँ k-वें पोंट्रीगिन वर्ग और [M] M के मौलिक वर्ग को दर्शाता है।

गुण

  1. पोंट्रीगिन संख्याएं उन्मुख सह-बॉर्डिज्म अपरिवर्तनीय हैं; और स्टिफ़ेल-व्हिटनी संख्याओं के साथ मिलकर वे केंद्रीय बहुरूप के केंद्रीय सह बोर्डिज्ज्म वर्ग का निर्धारण करते हैं।

2. सिमित रीमैनियन बहुरूप (साथ ही पोंट्रीगिन वर्गों) की पोंट्रीगिन संख्याओं की गणना रीमैनियन बहुरूप के वक्रता प्रदीश से कुछ बहुपदों के अभिन्न अंग के रूप में की जा सकती है।

3. अचर, जैसे संकेत (टोपोलॉजी) और -जीनस को पोंट्रीगिन संख्याओं के माध्यम से व्यक्त किया जा सकता है। संकेत देने वाले पोंट्रीगिन संख्याओं के रैखिक संयोजन का वर्णन करने वाले प्रमेय के लिए हिरज़ेब्रुक संकेत प्रमेय पर ध्यान देते हैं।

सामान्यीकरण

चतुर्धातुक संरचना वाले सदिश समूहों के लिए चतुर्धातुक पोंट्रीगिन वर्ग भी है।

यह भी देखें

  • चेर्न-साइमन्स प्रकार
  • हिर्ज़ेब्रुच संकेत प्रमेय

संदर्भ

  1. "De Rham Cohomology - an overview | ScienceDirect Topics". www.sciencedirect.com. Retrieved 2022-02-02.
  2. Mclean, Mark. "पोंट्रीगिन क्लासेस" (PDF). Archived (PDF) from the original on 2016-11-08.
  3. "क्षेत्रों और सह-बॉर्डिज्म के समरूप समूहों की संगणना का एक सर्वेक्षण" (PDF). p. 16. Archived (PDF) from the original on 2016-01-22.


बाहरी संबंध