पोंट्रीगिन वर्ग

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

परिभाषा

M के ऊपर एक वास्तविक वेक्टर बंडल E दिया गया है, यह k-th पोंट्रीगिन वर्ग है $p_{k}(E)$ परिभाषित किया जाता है

$p_{k}(E)=p_{k}(E,\mathbb {Z} )=(-1)^{k}c_{2k}(E\otimes \mathbb {C} )\in H^{4k}(M,\mathbb {Z} ),$

कहाँ:

• $c_{2k}(E\otimes \mathbb {C} )$ को दर्शाता है $2k$जटिलता का -वाँ चेर्न वर्ग $E\otimes \mathbb {C} =E\oplus iE$ ई का,
• $H^{4k}(M,\mathbb {Z} )$ है $4k$-पूर्णांक गुणांक के साथ एम का सह-समरूपता समूह।

तर्कसंगत पोंट्रीगिन वर्ग $p_{k}(E,\mathbb {Q} )$ की छवि के रूप में परिभाषित किया गया है $p_{k}(E)$ में $H^{4k}(M,\mathbb {Q} )$, द $4k$-तर्कसंगत संख्या गुणांक के साथ एम का सह-समरूपता समूह।

गुण

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

$p(E)=1+p_{1}(E)+p_{2}(E)+\cdots \in H^{*}(M,\mathbb {Z} ),$

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

$2p(E\oplus F)=2p(E)\smile p(F)$

एम के ऊपर दो वेक्टर बंडल ई और एफ के लिए। व्यक्तिगत पोंट्रीगिन वर्गों पी के संदर्भ में_k,

$2p_{1}(E\oplus F)=2p_{1}(E)+2p_{1}(F),$

$2p_{2}(E\oplus F)=2p_{2}(E)+2p_{1}(E)\smile p_{1}(F)+2p_{2}(F)$

और इसी तरह।

वेक्टर बंडल के पोंट्रीगिन वर्गों और स्टिफ़ेल-व्हिटनी वर्गों का लुप्त होना यह गारंटी नहीं देता है कि वेक्टर बंडल तुच्छ है। उदाहरण के लिए, वेक्टर बंडल#वेक्टर बंडल मॉर्फिज्म तक, एक अद्वितीय गैर-तुच्छ रैंक 10 वेक्टर बंडल है $E_{10}$ N-गोले|9-गोले के ऊपर। (क्लचिंग निर्माण के लिए $E_{10}$ ऑर्थोगोनल समूह#होमोटोपी समूहों से उत्पन्न होता है $\pi _{8}(\mathrm {O} (10))=\mathbb {Z} /2\mathbb {Z}$.) पोंट्रीगिन कक्षाएं और स्टिफ़ेल-व्हिटनी कक्षाएं सभी गायब हो जाती हैं: पोंट्रीगिन कक्षाएं 9 डिग्री में मौजूद नहीं हैं, और स्टिफ़ेल-व्हिटनी कक्षा डब्ल्यू₉ ई का₁₀ स्टिफ़ेल-व्हिटनी वर्ग द्वारा गायब हो जाता है#स्टीनरोड बीजगणित पर संबंध₉ = डब्ल्यू₁w₈ + वर्ग¹(v₈). इसके अलावा, यह वेक्टर बंडल निश्चित रूप से गैर-तुच्छ है, यानी अंतर ज्यामिति और टोपोलॉजी की शब्दावली # ई का डब्ल्यू₁₀ किसी भी तुच्छ बंडल के साथ गैर-तुच्छ रहता है। (Hatcher 2009, p. 76)

हमारे पास 2k-आयामी वेक्टर बंडल E दिया गया है

$p_{k}(E)=e(E)\smile e(E),$

जहां e(E) E के यूलर वर्ग को दर्शाता है, और $\smile$ कोहोमोलॉजी कक्षाओं के कप उत्पाद को दर्शाता है।

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

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

$p_{k}(E,\mathbf {Q} )\in H^{4k}(M,\mathbf {Q} )$

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

एक कनेक्शन प्रपत्र से सुसज्जित एन-डायमेंशनल विभेदक अनेक गुना एम पर एक वेक्टर बंडल ई के लिए, कुल पोंट्रीगिन वर्ग को इस प्रकार व्यक्त किया गया है

$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),$

जहां Ω वक्रता रूप को दर्शाता है, और H*_dR(एम) डॉ कहलमज गर्भाशय समूहों को दर्शाता है।

मैनिफोल्ड की पोंट्रीगिन कक्षाएं

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

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

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

चेर्न कक्षाओं से पोंट्रीगिन कक्षाएं

एक वास्तविक वेक्टर बंडल की पोंट्रीगिन कक्षाएं $\pi :E\to X$ इसकी जटिलता के चेर्न वर्गों द्वारा पूरी तरह से निर्धारित किया जा सकता है। यह इस तथ्य से पता चलता है कि $E\otimes _{\mathbb {R} }\mathbb {C} \cong E\oplus {\bar {E}}$, व्हिटनी योग सूत्र, और इसके जटिल संयुग्म बंडल के चेर्न वर्गों के गुण। वह है, $c_{i}({\bar {E}})=(-1)^{i}c_{i}(E)$ और $c(E\oplus {\bar {E}})=c(E)c({\bar {E}})$. फिर, इसने संबंध <ब्लॉककोट> दिया$1-p_{1}(E)+p_{2}(E)-\cdots +(-1)^{n}p_{n}(E)=(1+c_{1}(E)+\cdots +c_{n}(E))\cdot (1-c_{1}(E)+c_{2}(E)-\cdots +(-1)^{n}c_{n}(E))$उदाहरण के लिए, हम एक वक्र और एक सतह पर एक वेक्टर बंडल के पोंट्रीगिन वर्गों को खोजने के लिए इस सूत्र को लागू कर सकते हैं। एक वक्र के लिए, हमारे पास <ब्लॉककोट> है$(1-c_{1}(E))(1+c_{1}(E))=1+c_{1}(E)^{2}$इसलिए जटिल वेक्टर बंडलों के सभी पोंट्रीगिन वर्ग तुच्छ हैं। एक सतह पर, हमारे पास <ब्लॉककोट> है$(1-c_{1}(E)+c_{2}(E))(1+c_{1}(E)+c_{2}(E))=1-c_{1}(E)^{2}+2c_{2}(E)$</ब्लॉकउद्धरण>दिखा रहा है $p_{1}(E)=c_{1}(E)^{2}-2c_{2}(E)$. ऑन लाइन बंडलों से यह और भी सरल हो जाता है $c_{2}(L)=0$ आयाम कारणों से.

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

उस चतुर्थक बहुपद को याद करें जिसका लुप्त होने वाला स्थान है $\mathbb {CP} ^{3}$ एक चिकनी उपविविधता K3 सतह है। यदि हम सामान्य अनुक्रम<ब्लॉककोट> का उपयोग करते हैं$0\to {\mathcal {T}}_{X}\to {\mathcal {T}}_{\mathbb {CP} ^{3}}|_{X}\to {\mathcal {O}}(4)\to 0$हम

पा सकते हैं${\begin{aligned}c({\mathcal {T}}_{X})&={\frac {c({\mathcal {T}}_{\mathbb {CP} ^{3}}|_{X})}{c({\mathcal {O}}(4))}}\\&={\frac {(1+[H])^{4}}{(1+4[H])}}\\&=(1+4[H]+6[H]^{2})\cdot (1-4[H]+16[H]^{2})\\&=1+6[H]^{2}\end{aligned}}$</ब्लॉकउद्धरण>दिखा रहा है $c_{1}(X)=0$ और $c_{2}(X)=6[H]^{2}$. तब से $[H]^{2}$ चार बिंदुओं से मेल खाता है, बेज़ाउट के लेम्मा के कारण, हमारे पास दूसरा चेर्न नंबर है $24$. तब से $p_{1}(X)=-2c_{2}(X)$ इस मामले में, हमारे पास है

$p_{1}(X)=-48$. इस संख्या का उपयोग गोले के तीसरे स्थिर समरूप समूह की गणना करने के लिए किया जा सकता है।

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

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

एक सहजता दी गई $4n$-आयामी मैनिफोल्ड एम और प्राकृतिक संख्याओं का संग्रह

$k_{1},k_{2},\ldots ,k_{m}$ ऐसा है कि $k_{1}+k_{2}+\cdots +k_{m}=n$,

पोंट्रीगिन संख्या $P_{k_{1},k_{2},\dots ,k_{m}}$ द्वारा परिभाषित किया गया है

$P_{k_{1},k_{2},\dots ,k_{m}}=p_{k_{1}}\smile p_{k_{2}}\smile \cdots \smile p_{k_{m}}([M])$

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

गुण

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

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

1. इनवेरिएंट जैसे हस्ताक्षर (टोपोलॉजी) और जीनस|${\hat {A}}$-जीनस को पोंट्रीगिन संख्याओं के माध्यम से व्यक्त किया जा सकता है। हस्ताक्षर देने वाले पोंट्रीगिन संख्याओं के रैखिक संयोजन का वर्णन करने वाले प्रमेय के लिए हिरज़ेब्रुक हस्ताक्षर प्रमेय देखें।

सामान्यीकरण

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

यह भी देखें

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

संदर्भ

• Milnor John W.; Stasheff, James D. (1974). Characteristic classes. ISBN 0-691-08122-0. {{cite book}}: |work= ignored (help)
• Hatcher, Allen (2009). "Vector Bundles & K-Theory" (2.1 ed.). {{cite journal}}: Cite journal requires |journal= (help)

बाहरी संबंध

• "Pontryagin class", Encyclopedia of Mathematics, EMS Press, 2001 [1994]