एह्रेसमैन कनेक्शन: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Differential geometry construct on fiber bundles}} | {{Short description|Differential geometry construct on fiber bundles}} | ||
विभेदक ज्यामिति में, | विभेदक ज्यामिति में, एह्रेसमैन कनेक्शन (फ्रांसीसी गणितज्ञ [[चार्ल्स एह्रेसमैन]] के पश्चात, जिन्होंने प्रथम बार इस अवधारणा को औपचारिक रूप दिया था) [[कनेक्शन (गणित)|कनेक्शन]] की धारणा का संस्करण है, जो किसी भी चिकनी [[फाइबर बंडल]] पर समझ में आता है। विशेष रूप से, यह अंतर्निहित फाइबर बंडल की संभावित सदिश बंडल संरचना पर निर्भर नहीं करता है, किन्तु फिर भी, [[कनेक्शन (वेक्टर बंडल)|कनेक्शन (सदिश बंडल)]] को विशेष स्थिति के रूप में देखा जा सकता है। एह्रेसमैन कनेक्शन का अन्य महत्वपूर्ण विशेष मामला [[प्रमुख बंडल]]ों पर [[ कनेक्शन (प्रमुख बंडल) |कनेक्शन (प्रमुख बंडल)]] है, जो कि प्रिंसिपल [[झूठ समूह]] एक्शन में समकक्ष होना आवश्यक है। | ||
== परिचय == | == परिचय == | ||
डिफरेंशियल ज्योमेट्री में | डिफरेंशियल ज्योमेट्री में सहसंयोजक व्युत्पन्न रेखीय अंतर ऑपरेटर है जो सहसंयोजक_ट्रांसफॉर्मेशन तरीके से [[वेक्टर बंडल|सदिश बंडल]] के खंड के [[दिशात्मक व्युत्पन्न]] को लेता है। यह सदिश की दिशा में बंडल के [[समानांतर परिवहन]] खंड की धारणा तैयार करने की भी अनुमति देता है: सदिश एक्स के साथ खंड समानांतर है यदि <math>\nabla_X s = 0</math>. तो सहसंयोजक व्युत्पन्न कम से कम दो चीजें प्रदान करता है: अंतर ऑपरेटर, और प्रत्येक दिशा में समानांतर होने का अर्थ क्या है। 'एह्रेसमैन कनेक्शन' डिफरेंशियल ऑपरेटर को प्रत्येक प्रकार से हटा देता है और प्रत्येक दिशा में समानांतर अनुभागों के संदर्भ में स्वयंसिद्ध रूप से कनेक्शन को परिभाषित करता है {{harv|Ehresmann|1950}}. विशेष रूप से, एह्रेस्मान कनेक्शन फाइबर बंडल के कुल स्थान के लिए प्रत्येक [[स्पर्शरेखा स्थान]] के [[वेक्टर उप-स्थान|सदिश उप-स्थान]] को एकल करता है, जिसे क्षैतिज स्थान कहा जाता है। खंड s तब क्षैतिज (यानी, समानांतर) दिशा X में है यदि <math>{\rm d}s(X)</math> क्षैतिज स्थान में स्थित है। यहाँ हम फलन के रूप में s के बारे में बता रहे हैं <math>s\colon M\to E</math> बेस एम से फाइबर बंडल ई तक, जिससे कि <math>{\rm d}s\colon TM\to s^*TE</math> तब स्पर्शरेखा सदिशों का पुशफॉरवर्ड (अंतर) है। क्षैतिज रिक्त स्थान मिलकर सदिश सबबंडल बनाते हैं <math>TE</math>. | ||
यह मात्र | यह मात्र सदिश बंडलों की तुलना में संरचनाओं के व्यापक वर्ग पर निश्चित होने का तत्काल लाभ है। विशेष रूप से, यह सामान्य फाइबर बंडल पर अच्छी तरह से परिभाषित है। इसके अतिरिक्त, सहसंयोजक व्युत्पन्न की कई विशेषताएं अभी भी बनी हुई हैं: समानांतर परिवहन, [[वक्रता]] और समरूपता। | ||
रैखिकता के | रैखिकता के अतिरिक्त, कनेक्शन का लापता घटक सहप्रसरण है। शास्त्रीय सहसंयोजक डेरिवेटिव के साथ, सहप्रसरण डेरिवेटिव की पश्चवर्ती विशेषता है। उनके निर्माण में क्रिस्टोफेल प्रतीकों के परिवर्तन कानून को निर्दिष्ट करता है - जो कि सहसंयोजक नहीं है - और फिर परिणामस्वरूप व्युत्पन्न का सामान्य सहप्रसरण होता है। एह्रेसमैन कनेक्शन के लिए, फाइबर बंडल के तंतुओं पर अभिनय करने वाले लाई समूह को प्रारंभ करके प्रारंभ से ही सामान्यीकृत सहप्रसरण सिद्धांत लागू करना संभव है। उचित शर्त यह है कि क्षैतिज रिक्त स्थान निश्चित अर्थ में, समूह क्रिया के संबंध में समकक्ष हो। | ||
एह्रेस्मान कनेक्शन के लिए परिष्कृत स्पर्श यह है कि इसे | एह्रेस्मान कनेक्शन के लिए परिष्कृत स्पर्श यह है कि इसे अंतर रूप के रूप में प्रदर्शित किया जा सकता है, उसी तरह जैसे [[ कनेक्शन प्रपत्र |कनेक्शन प्रपत्र]] के स्थिति में। यदि समूह तंतुओं पर कार्य करता है और कनेक्शन समतुल्य है, तो रूप भी समतुल्य होगा। इसके अतिरिक्त , कनेक्शन फॉर्म वक्रता की परिभाषा को [[वक्रता रूप]] के रूप में भी अनुमति देता है। | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
[[File:Ehresmann connection.png|thumb|300px|एह्रेस्मान कनेक्शन क्षैतिज उप-स्थान का | [[File:Ehresmann connection.png|thumb|300px|एह्रेस्मान कनेक्शन क्षैतिज उप-स्थान का विकल्प है <math>H_p\subset T_pP</math> हर के लिए <math>p\in P</math>, कहाँ <math>P</math> कुछ फाइबर बंडल है, सामान्यतः प्रमुख बंडल।]]होने देना <math>\pi\colon E\to M</math> चिकना फाइबर बंडल बनें।<ref>These considerations apply equally well to the more general situation in which <math>\pi\colon E\to M</math> is a [[surjective]] [[submersion (mathematics)|submersion]]: i.e., ''E'' is a [[fibered manifold]] over ''M''. In an alternative generalization, due to {{harvp|Lang|1999}} and {{harvp|Eliason|1967}}, ''E'' and ''M'' are permitted to be [[Banach manifold]]s, with ''E'' a fiber bundle over ''M'' as above.</ref> होने देना | ||
:<math>V= \ker (\operatorname{d} \pi \colon TE\to TM)</math> 'ई' के तंतुओं, यानी 'वी' के तंतु पर स्पर्शरेखा सदिशों से युक्त ऊर्ध्वाधर बंडल बनें <math>e\in E</math> है <math>V_e =T_e(E_{\pi(e)})</math>. का यह उपसमूह <math>TE</math> आधार स्थान एम के लिए कोई विहित उप-स्पर्श स्पर्शरेखा नहीं होने पर भी विहित रूप से परिभाषित किया गया है। (बेशक, यह विषमता | :<math>V= \ker (\operatorname{d} \pi \colon TE\to TM)</math> 'ई' के तंतुओं, यानी 'वी' के तंतु पर स्पर्शरेखा सदिशों से युक्त ऊर्ध्वाधर बंडल बनें <math>e\in E</math> है <math>V_e =T_e(E_{\pi(e)})</math>. का यह उपसमूह <math>TE</math> आधार स्थान एम के लिए कोई विहित उप-स्पर्श स्पर्शरेखा नहीं होने पर भी विहित रूप से परिभाषित किया गया है। (बेशक, यह विषमता फाइबर बंडल की परिभाषा से आती है, जिसमें केवल प्रक्षेपण है <math>\pi\colon E\to M</math> जबकि उत्पाद <math>E=M\times F</math> दो होंगे।) | ||
===क्षैतिज उपस्थानों के माध्यम से परिभाषा === | ===क्षैतिज उपस्थानों के माध्यम से परिभाषा === | ||
''E'' पर | ''E'' पर Ehresmann कनेक्शन स्मूथ सबबंडल ''H'' का है <math>TE</math>, कनेक्शन का [[क्षैतिज बंडल]] कहा जाता है, जो ''V'' का पूरक है, इस अर्थ में कि यह सदिश बंडलों के अपघटन के प्रत्यक्ष योग को परिभाषित करता है <math>TE=H\oplus V</math>.{{sfnp|Kolář|Michor|Slovák|1993|p={{pn|date=November 2021}}}} अधिक विस्तार से, क्षैतिज बंडल में निम्नलिखित गुण होते हैं। | ||
* प्रत्येक बिंदु के लिए <math>e\in E</math>, <math>H_e</math> स्पर्शरेखा स्थान का | * प्रत्येक बिंदु के लिए <math>e\in E</math>, <math>H_e</math> स्पर्शरेखा स्थान का सदिश स्थान है <math>T_e E</math> ई पर ई, ई पर कनेक्शन के क्षैतिज उप-स्थान कहा जाता है। | ||
* <math>H_e</math> स्मूथ फंक्शन # स्मूथनेस ई पर निर्भर करता है। | * <math>H_e</math> स्मूथ फंक्शन # स्मूथनेस ई पर निर्भर करता है। | ||
* प्रत्येक के लिए <math>e\in E</math>, <math>H_e \cap V_e = \{0\}</math>. | * प्रत्येक के लिए <math>e\in E</math>, <math>H_e \cap V_e = \{0\}</math>. | ||
* टी में कोई स्पर्शरेखा सदिश<sub>''e''</sub>E (किसी भी e∈E के लिए) | * टी में कोई स्पर्शरेखा सदिश<sub>''e''</sub>E (किसी भी e∈E के लिए) क्षैतिज और ऊर्ध्वाधर घटक का योग है, जिससे कि T<sub>''e''</sub>ई = एच<sub>''e''</sub> + वी<sub>''e''</sub>. | ||
अधिक परिष्कृत शब्दों में, इन गुणों को संतुष्ट करने वाले क्षैतिज रिक्त स्थान का ऐसा असाइनमेंट [[जेट बंडल]] जे के | अधिक परिष्कृत शब्दों में, इन गुणों को संतुष्ट करने वाले क्षैतिज रिक्त स्थान का ऐसा असाइनमेंट [[जेट बंडल]] जे के चिकनी खंड से ठीक मेल खाता है<sup>1</sup>ई → ई. | ||
=== कनेक्शन फार्म के माध्यम से परिभाषा === | === कनेक्शन फार्म के माध्यम से परिभाषा === | ||
समान रूप से, चलो {{mvar|Φ}} ऊर्ध्वाधर बंडल V पर H के साथ प्रक्षेपण हो ( | समान रूप से, चलो {{mvar|Φ}} ऊर्ध्वाधर बंडल V पर H के साथ प्रक्षेपण हो (जिससे कि H = ker {{mvar|Φ}}). यह टीई के क्षैतिज और ऊर्ध्वाधर भागों में उपरोक्त प्रत्यक्ष योग अपघटन द्वारा निर्धारित किया जाता है और इसे कभी-कभी एह्रेसमैन कनेक्शन का कनेक्शन रूप कहा जाता है। इस प्रकार {{mvar|Φ}} निम्नलिखित गुणों (सामान्य रूप से अनुमानों) के साथ TE से स्वयं के लिए सदिश बंडल समरूपता है: | ||
* {{mvar|Φ}}<sup>2</sup> = {{mvar|Φ}}; | * {{mvar|Φ}}<sup>2</sup> = {{mvar|Φ}}; | ||
* {{mvar|Φ}} V =Im पर तत्समक है {{mvar|Φ}}. | * {{mvar|Φ}} V =Im पर तत्समक है {{mvar|Φ}}. | ||
Line 33: | Line 33: | ||
इसके विपरीत यदि {{mvar|Φ}} TE का सदिश बंडल [[एंडोमोर्फिज्म]] है जो इन दो गुणों को संतुष्ट करता है, तो H = ker {{mvar|Φ}} एह्रेस्मान कनेक्शन का क्षैतिज सबबंडल है। | इसके विपरीत यदि {{mvar|Φ}} TE का सदिश बंडल [[एंडोमोर्फिज्म]] है जो इन दो गुणों को संतुष्ट करता है, तो H = ker {{mvar|Φ}} एह्रेस्मान कनेक्शन का क्षैतिज सबबंडल है। | ||
अंत में, ध्यान दें {{mvar|Φ}}, अपने आप में प्रत्येक स्पर्शरेखा स्थान का | अंत में, ध्यान दें {{mvar|Φ}}, अपने आप में प्रत्येक स्पर्शरेखा स्थान का रेखीय मानचित्रण होने के नाते, E पर TE-मूल्यवान 1-रूप के रूप में भी माना जा सकता है। यह आने वाले अनुभागों में उपयोगी परिप्रेक्ष्य होगा। | ||
=== क्षैतिज लिफ्टों के माध्यम से समानांतर परिवहन === | === क्षैतिज लिफ्टों के माध्यम से समानांतर परिवहन === | ||
एह्रेस्मान कनेक्शन भी फाइबर बंडल ई की कुल जगह में बेस मैनिफोल्ड एम से वक्र उठाने के लिए | एह्रेस्मान कनेक्शन भी फाइबर बंडल ई की कुल जगह में बेस मैनिफोल्ड एम से वक्र उठाने के लिए तरीका निर्धारित करता है जिससे कि वक्र के स्पर्शक क्षैतिज हों।{{sfnp|Kolář|Michor|Slovák|1993|p={{pn|date=November 2021}}}}{{sfnp|Kobayashi|Nomizu|1996a|loc=Vol. 1|p={{pn|date=November 2021}}}} ये क्षैतिज लिफ्ट कनेक्शन औपचारिकता के अन्य संस्करणों के लिए समानांतर परिवहन का प्रत्यक्ष एनालॉग हैं। | ||
विशेष रूप से, मान लें कि ''γ''(''t''), ''M'' में बिंदु ''x'' = ''γ''(0) से होते हुए | विशेष रूप से, मान लें कि ''γ''(''t''), ''M'' में बिंदु ''x'' = ''γ''(0) से होते हुए चिकना वक्र है। चलो ''ई'' ∈ ''ई''<sub>''x''</sub> एक्स पर फाइबर में बिंदु बनें। ई के माध्यम से γ का 'लिफ्ट' वक्र है <math>\tilde{\gamma}(t)</math> कुल स्थान E में ऐसा है | ||
:<math>\tilde{\gamma}(0) = e</math>, और <math>\pi(\tilde{\gamma}(t)) = \gamma(t).</math> | :<math>\tilde{\gamma}(0) = e</math>, और <math>\pi(\tilde{\gamma}(t)) = \gamma(t).</math> | ||
लिफ्ट क्षैतिज है यदि, इसके | लिफ्ट क्षैतिज है यदि, इसके अतिरिक्त , वक्र का प्रत्येक स्पर्शरेखा ''TE'' के क्षैतिज उपबंडल में स्थित है: | ||
:<math>\tilde{\gamma}'(t) \in H_{\tilde{\gamma}(t)}.</math> | :<math>\tilde{\gamma}'(t) \in H_{\tilde{\gamma}(t)}.</math> | ||
इसे π और पर लागू रैंक-शून्यता प्रमेय का उपयोग करके दिखाया जा सकता है {{mvar|Φ}} कि प्रत्येक सदिश X∈T<sub>''x''</sub>एम में | इसे π और पर लागू रैंक-शून्यता प्रमेय का उपयोग करके दिखाया जा सकता है {{mvar|Φ}} कि प्रत्येक सदिश X∈T<sub>''x''</sub>एम में सदिश के लिए अद्वितीय क्षैतिज लिफ्ट है <math>\tilde{X} \in T_e E</math>. विशेष रूप से, γ के लिए स्पर्शरेखा क्षेत्र [[पुलबैक बंडल]] γ*E के कुल स्थान में क्षैतिज सदिश क्षेत्र उत्पन्न करता है। पिकार्ड-लिंडेलोफ प्रमेय के अनुसार, यह सदिश क्षेत्र सदिश क्षेत्र#प्रवाह वक्र है। इस प्रकार, किसी वक्र γ और बिंदु e पर x = γ(0) के लिए, छोटे समय t के लिए γ से e तक का अद्वितीय क्षैतिज लिफ़्ट मौजूद है। | ||
ध्यान दें कि, सामान्य एह्रेस्मान कनेक्शन के लिए, क्षैतिज लिफ्ट पथ-निर्भर है। जब M में दो चिकने वक्र, γ पर मेल खाते हैं<sub>1</sub>(0) = सी<sub>2</sub>(0) = एक्स<sub>0</sub> और | ध्यान दें कि, सामान्य एह्रेस्मान कनेक्शन के लिए, क्षैतिज लिफ्ट पथ-निर्भर है। जब M में दो चिकने वक्र, γ पर मेल खाते हैं<sub>1</sub>(0) = सी<sub>2</sub>(0) = एक्स<sub>0</sub> और अन्य बिंदु x पर भी प्रतिच्छेद करता है<sub>1</sub>∈ M, समान e ∈ π के माध्यम से क्षैतिज रूप से E तक उठाये जाते हैं<sup>-1</sup>(x<sub>0</sub>), वे सामान्यतः π के विभिन्न बिंदुओं से गुजरेंगे<sup>-1</sup>(x<sub>1</sub>). फाइबर बंडलों के विभेदक ज्यामिति के लिए इसका महत्वपूर्ण परिणाम है: एच के वर्गों का स्थान ई पर सदिश फ़ील्ड्स के स्थान का [[झूठ बोलना]] नहीं है, क्योंकि यह [[झूठ व्युत्पन्न]] के तहत (सामान्य रूप से) बंद नहीं है। लाई ब्रैकेट के नीचे बंद होने की इस विफलता को वक्रता द्वारा मापा जाता है। | ||
== गुण == | == गुण == | ||
Line 58: | Line 58: | ||
जहां एक्स = एक्स<sub>H</sub> + एक्स<sub>V</sub> क्रमशः एच और वी घटकों में प्रत्यक्ष योग अपघटन को दर्शाता है। वक्रता के लिए इस अंतिम अभिव्यक्ति से, यह समान रूप से गायब होने के लिए देखा जाता है, और केवल अगर, क्षैतिज उपबंडल फ्रोबेनियस एकीकरण प्रमेय है। इस प्रकार वक्रता क्षैतिज सबबंडल के लिए फाइबर बंडल ई → एम के अनुप्रस्थ वर्गों को प्राप्त करने के लिए [[अभिन्नता की स्थिति]] है। | जहां एक्स = एक्स<sub>H</sub> + एक्स<sub>V</sub> क्रमशः एच और वी घटकों में प्रत्यक्ष योग अपघटन को दर्शाता है। वक्रता के लिए इस अंतिम अभिव्यक्ति से, यह समान रूप से गायब होने के लिए देखा जाता है, और केवल अगर, क्षैतिज उपबंडल फ्रोबेनियस एकीकरण प्रमेय है। इस प्रकार वक्रता क्षैतिज सबबंडल के लिए फाइबर बंडल ई → एम के अनुप्रस्थ वर्गों को प्राप्त करने के लिए [[अभिन्नता की स्थिति]] है। | ||
एह्रेस्मान कनेक्शन की वक्रता भी [[बियांची पहचान]] के | एह्रेस्मान कनेक्शन की वक्रता भी [[बियांची पहचान]] के संस्करण को संतुष्ट करती है: | ||
:<math>\left[\varPhi, R\right] = 0</math> | :<math>\left[\varPhi, R\right] = 0</math> | ||
जहां फिर से [-,-] फ्रॉलीशर-निजेनहुइस का ब्रैकेट है {{mvar|Φ}∈ Ω<sup>1</sup>(ई, टीई) और आर ∈ Ω<sup>2</sup>(ई, टीई)। | जहां फिर से [-,-] फ्रॉलीशर-निजेनहुइस का ब्रैकेट है {{mvar|Φ}∈ Ω<sup>1</sup>(ई, टीई) और आर ∈ Ω<sup>2</sup>(ई, टीई)। | ||
Line 64: | Line 64: | ||
=== पूर्णता === | === पूर्णता === | ||
एह्रेस्मान कनेक्शन घटता को अद्वितीय क्षैतिज लिफ्ट [[स्थानीय संपत्ति]] रखने की अनुमति देता है। | एह्रेस्मान कनेक्शन घटता को अद्वितीय क्षैतिज लिफ्ट [[स्थानीय संपत्ति]] रखने की अनुमति देता है। पूर्ण एह्रेस्मान कनेक्शन के लिए, वक्र क्षैतिज रूप से अपने संपूर्ण डोमेन पर उठाया जा सकता है। | ||
===होलोनॉमी=== | ===होलोनॉमी=== | ||
कनेक्शन की सपाटता स्थानीय रूप से क्षैतिज रिक्त स्थान के फ्रोबेनियस प्रमेय (अंतर टोपोलॉजी) से मेल खाती है। दूसरे चरम पर, गैर-लुप्त होने वाली वक्रता का तात्पर्य कनेक्शन की समग्रता की उपस्थिति से है।<ref>Holonomy for Ehresmann connections in fiber bundles is sometimes called the '''Ehresmann-Reeb holonomy''' or '''leaf holonomy''' in reference to the first detailed study using Ehresmann connections to study [[foliation]]s in {{harv|Reeb|1952}}</ref> | कनेक्शन की सपाटता स्थानीय रूप से क्षैतिज रिक्त स्थान के फ्रोबेनियस प्रमेय (अंतर टोपोलॉजी) से मेल खाती है। दूसरे चरम पर, गैर-लुप्त होने वाली वक्रता का तात्पर्य कनेक्शन की समग्रता की उपस्थिति से है।<ref>Holonomy for Ehresmann connections in fiber bundles is sometimes called the '''Ehresmann-Reeb holonomy''' or '''leaf holonomy''' in reference to the first detailed study using Ehresmann connections to study [[foliation]]s in {{harv|Reeb|1952}}</ref> | ||
== विशेष | == विशेष स्थिति == | ||
=== प्रिंसिपल बंडल और प्रिंसिपल कनेक्शन === | === प्रिंसिपल बंडल और प्रिंसिपल कनेक्शन === | ||
{{main| | {{main|कनेक्शन (प्रमुख बंडल)}} | ||
[[File:Principal bundle connection form projection.png|thumb|300px|प्रिंसिपल बंडल कनेक्शन फॉर्म <math>\omega</math> स्पर्शरेखा बंडल पर प्रक्षेपण ऑपरेटर के रूप में सोचा जा सकता है <math>TP</math> मुख्य बंडल का <math>P</math>. कनेक्शन फॉर्म का कर्नेल संबंधित एह्रेसमैन कनेक्शन के लिए क्षैतिज उप-स्थानों द्वारा दिया गया है।]]मान लीजिए कि E | [[File:Principal bundle connection form projection.png|thumb|300px|प्रिंसिपल बंडल कनेक्शन फॉर्म <math>\omega</math> स्पर्शरेखा बंडल पर प्रक्षेपण ऑपरेटर के रूप में सोचा जा सकता है <math>TP</math> मुख्य बंडल का <math>P</math>. कनेक्शन फॉर्म का कर्नेल संबंधित एह्रेसमैन कनेक्शन के लिए क्षैतिज उप-स्थानों द्वारा दिया गया है।]]मान लीजिए कि E स्मूथ प्रिंसिपल बंडल है| M के ऊपर प्रिंसिपल G-बंडल है। फिर E पर Ehresmann कनेक्शन H को 'प्रिंसिपल (Ehresmann) कनेक्शन' कहा जाता है।{{sfnp|Kobayashi|Nomizu|1996a|loc=Vol. 1|p={{pn|date=November 2021}}}} यदि यह E पर G क्रिया के संबंध में इस अर्थ में अपरिवर्तनीय है | ||
:<math>H_{eg}=\mathrm d(R_g)_e (H_{e})</math> किसी भी e∈E और g∈G के लिए; यहाँ <math>\mathrm d(R_g)_e</math> ई पर ई पर जी के [[समूह क्रिया (गणित)]] के अंतर को दर्शाता है। | :<math>H_{eg}=\mathrm d(R_g)_e (H_{e})</math> किसी भी e∈E और g∈G के लिए; यहाँ <math>\mathrm d(R_g)_e</math> ई पर ई पर जी के [[समूह क्रिया (गणित)]] के अंतर को दर्शाता है। | ||
Line 79: | Line 79: | ||
इस प्रकार पुनर्व्याख्या की गई, कनेक्शन फॉर्म ω निम्नलिखित दो गुणों को संतुष्ट करता है: | इस प्रकार पुनर्व्याख्या की गई, कनेक्शन फॉर्म ω निम्नलिखित दो गुणों को संतुष्ट करता है: | ||
* यह G क्रिया के तहत समान रूप से रूपांतरित होता है: <math>R_h^*\omega=\hbox{Ad}(h^{-1})\omega</math> सभी h∈G के लिए, जहाँ R<sub>''h''</sub><sup>*</sup> सही क्रिया के तहत [[ पुलबैक (अंतर ज्यामिति) ]] है और विज्ञापन इसके लाई बीजगणित पर G का आसन्न प्रतिनिधित्व है। | * यह G क्रिया के तहत समान रूप से रूपांतरित होता है: <math>R_h^*\omega=\hbox{Ad}(h^{-1})\omega</math> सभी h∈G के लिए, जहाँ R<sub>''h''</sub><sup>*</sup> सही क्रिया के तहत [[ पुलबैक (अंतर ज्यामिति) |पुलबैक (अंतर ज्यामिति)]] है और विज्ञापन इसके लाई बीजगणित पर G का आसन्न प्रतिनिधित्व है। | ||
* यह लाई बीजगणित के उनके संबंधित तत्वों के लिए लंबवत | * यह लाई बीजगणित के उनके संबंधित तत्वों के लिए लंबवत सदिश फ़ील्ड को मैप करता है: ω(X)=ι(X) सभी X∈V के लिए। | ||
इसके विपरीत, यह दिखाया जा सकता है कि | इसके विपरीत, यह दिखाया जा सकता है कि प्रमुख बंडल पर ऐसा 'जी'-मूल्यवान 1-रूप उपरोक्त गुणों को संतुष्ट करने वाला क्षैतिज वितरण उत्पन्न करता है। | ||
स्थानीय तुच्छीकरण को देखते हुए क्षैतिज सदिश क्षेत्रों में ω को कम किया जा सकता है (इस तुच्छीकरण में)। यह पुलबैक (डिफरेंशियल ज्योमेट्री) के माध्यम से बी पर 1-फॉर्म ω' को परिभाषित करता है। फॉर्म ω' ω को | स्थानीय तुच्छीकरण को देखते हुए क्षैतिज सदिश क्षेत्रों में ω को कम किया जा सकता है (इस तुच्छीकरण में)। यह पुलबैक (डिफरेंशियल ज्योमेट्री) के माध्यम से बी पर 1-फॉर्म ω' को परिभाषित करता है। फॉर्म ω' ω को प्रत्येक प्रकार से निर्धारित करता है, किन्तु यह तुच्छीकरण के विकल्प पर निर्भर करता है। (इस फॉर्म को अक्सर 'कनेक्शन फॉर्म' भी कहा जाता है और इसे केवल ω द्वारा दर्शाया जाता है।) | ||
=== सदिश बंडल और सहपरिवर्ती डेरिवेटिव === | === सदिश बंडल और सहपरिवर्ती डेरिवेटिव === | ||
{{main|Connection (vector bundle)}} | {{main|Connection (vector bundle)}} | ||
मान लीजिए कि E, M के ऊपर | मान लीजिए कि E, M के ऊपर स्मूथ सदिश बंडल है। फिर E पर Ehresmann कनेक्शन H को 'रैखिक (Ehresmann) कनेक्शन' कहा जाता है यदि H<sub>''e''</sub> ई ∈ ई पर रैखिक रूप से निर्भर करता है<sub>''x''</sub> प्रत्येक x ∈ M के लिए। इसे सटीक बनाने के लिए, मान लीजिए S<sub>''λ''</sub> ई पर λ द्वारा स्केलर गुणा को निरूपित करें। फिर एच रैखिक है अगर और केवल अगर <math>H_{\lambda e} = \mathrm d(S_{\lambda})_e (H_{e})</math>किसी भी ई ∈ ई और अदिश λ के लिए। | ||
चूँकि E | चूँकि E सदिश बंडल है, इसका वर्टिकल बंडल V π*E के लिए आइसोमॉर्फिक है। इसलिए यदि s, E का भाग है, तब | ||
v(ds):TM→s*V=s*π*E=E. यह | v(ds):TM→s*V=s*π*E=E. यह सदिश बंडल आकारिकी है, और इसलिए सदिश बंडल होम (टीएम, ई) के खंड ∇s द्वारा दिया जाता है। तथ्य यह है कि एह्रेसमैन कनेक्शन रैखिक है, इसका अर्थ यह है कि इसके अतिरिक्त यह प्रत्येक कार्य के लिए सत्यापित करता है <math>f</math> पर <math>M</math> लीबनिज नियम, यानी <math>\nabla(f s) = f\nabla (s) + d(f)\otimes s</math>, और इसलिए s का कनेक्शन (सदिश बंडल) है। | ||
इसके विपरीत | इसके विपरीत कनेक्शन (सदिश बंडल) ∇ सदिश बंडल पर H को परिभाषित करके रैखिक एह्रेसमैन कनेक्शन को परिभाषित करता है<sub>''e''</sub>, x=π(e) के साथ e ∈ E के लिए, प्रतिबिंब ds होना चाहिए<sub>''x''</sub>(टी<sub>''x''</sub>M) जहां s, s(x) = e और ∇ के साथ E का खंड है<sub>''X''</sub>एस = 0 सभी एक्स ∈ टी के लिए<sub>''x''</sub>एम। | ||
ध्यान दें कि (ऐतिहासिक कारणों से) शब्द रेखीय जब कनेक्शन पर लागू होता है, तो कभी-कभी स्पर्शरेखा बंडल या [[फ्रेम बंडल]] पर परिभाषित कनेक्शन को संदर्भित करने के लिए उपयोग किया जाता है (जैसे शब्द affine - Affine कनेक्शन देखें)। | ध्यान दें कि (ऐतिहासिक कारणों से) शब्द रेखीय जब कनेक्शन पर लागू होता है, तो कभी-कभी स्पर्शरेखा बंडल या [[फ्रेम बंडल]] पर परिभाषित कनेक्शन को संदर्भित करने के लिए उपयोग किया जाता है (जैसे शब्द affine - Affine कनेक्शन देखें)। | ||
=== [[संबद्ध बंडल]] === | === [[संबद्ध बंडल]] === | ||
फाइबर बंडल ( संरचना समूह के साथ संपन्न) पर | फाइबर बंडल ( संरचना समूह के साथ संपन्न) पर एह्रेस्मान कनेक्शन कभी-कभी संबंधित बंडल पर एह्रेस्मान कनेक्शन को जन्म देता है। उदाहरण के लिए, (रैखिक) कनेक्शन (सदिश बंडल) ई, ऊपर के रूप में ई की समानता देने के बारे में सोचा, ई के फ्रेम पीई के जुड़े बंडल पर कनेक्शन प्रेरित करता है। इसके विपरीत, पीई में कनेक्शन (रैखिक) को जन्म देता है ई में कनेक्शन प्रदान किया गया है कि पीई में कनेक्शन फ्रेम पर सामान्य रैखिक समूह की कार्रवाई के संबंध में समतुल्य है (और इस प्रकार कनेक्शन (प्रमुख बंडल))। एह्रेसमैन कनेक्शन के लिए स्वाभाविक रूप से संबद्ध बंडल पर कनेक्शन को प्रेरित करना हमेशा संभव नहीं होता है। उदाहरण के लिए, सदिश बंडल के फ्रेम के बंडल पर गैर-समतुल्य एह्रेसमैन कनेक्शन सदिश बंडल पर कनेक्शन को प्रेरित नहीं कर सकता है। | ||
मान लीजिए कि E, P का संबद्ध बंडल है, जिससे कि E = P × है<sub>G</sub> एफ। ई पर | मान लीजिए कि E, P का संबद्ध बंडल है, जिससे कि E = P × है<sub>G</sub> एफ। ई पर 'जी-कनेक्शन' एह्रेस्मान कनेक्शन है जैसे समानांतर परिवहन मानचित्र τ: एफ<sub>x</sub> → एफ<sub>x′</sub> तंतुओं के जी-परिवर्तन द्वारा दिया जाता है (पर्याप्त रूप से पास के बिंदु x और x 'M में वक्र से जुड़ा हुआ है)।<ref>See also {{harvp|Lumiste|2001b|loc="Connections on a manifold"}}.</ref> | ||
पी पर | पी पर प्रमुख कनेक्शन दिया गया है, संबंधित फाइबर बंडल ई = पी × पर जी-कनेक्शन प्राप्त करता है<sub>G</sub> एफ पुलबैक (अंतर ज्यामिति) के माध्यम से। | ||
इसके विपरीत, ई पर | इसके विपरीत, ई पर जी-कनेक्शन दिया गया है, संबंधित प्रिंसिपल बंडल पी पर प्रिंसिपल कनेक्शन को पुनर्प्राप्त करना संभव है। इस प्रिंसिपल कनेक्शन को पुनर्प्राप्त करने के लिए, सामान्य फाइबर एफ पर फ्रेम की धारणा पेश करता है। चूंकि जी परिमित-आयामी है<ref>For convenience, we assume that ''G'' is finite-dimensional, although this assumption can safely be dropped with minor modifications.</ref> F पर प्रभावी ढंग से कार्य करने वाले झूठ समूह, बिंदुओं का परिमित विन्यास मौजूद होना चाहिए (y<sub>1</sub>,...,और<sub>m</sub>) F के अंदर ऐसा है कि G-ऑर्बिट R = {(gy<sub>1</sub>,...,जी<sub>m</sub>) | जी ∈ जी} जी का प्रमुख सजातीय स्थान है। एफ पर जी-एक्शन के लिए फ्रेम की धारणा का सामान्यीकरण देने के रूप में आर के बारे में सोच सकते हैं। ध्यान दें कि, चूंकि आर जी के लिए प्रमुख सजातीय स्थान है, फाइबर ठेठ फाइबर आर के साथ ई से जुड़ा बंडल ई (आर) ई से जुड़े प्रमुख बंडल (समतुल्य) है। किन्तु यह ई के एम-फोल्ड उत्पाद बंडल का सबबंडल भी है। ई पर क्षैतिज रिक्त स्थान का वितरण इस उत्पाद बंडल पर रिक्त स्थान के वितरण को प्रेरित करता है। चूंकि कनेक्शन से जुड़े समानांतर परिवहन मानचित्र जी-नक्शे हैं, वे उप-स्थान ई (आर) को संरक्षित करते हैं, और इसलिए जी-कनेक्शन ई (आर) पर प्रमुख जी-कनेक्शन के लिए उतरता है। | ||
सारांश में, संबंधित फाइबर बंडलों के प्रमुख कनेक्शनों के अवरोही और संबंधित फाइबर बंडलों पर जी-कनेक्शन के | सारांश में, संबंधित फाइबर बंडलों के प्रमुख कनेक्शनों के अवरोही और संबंधित फाइबर बंडलों पर जी-कनेक्शन के मध्य पत्राचार (समतुल्यता तक) है। इस कारण से, संरचना समूह जी के साथ फाइबर बंडलों की श्रेणी में, प्रमुख कनेक्शन में संबंधित बंडलों पर जी-कनेक्शन के लिए सभी प्रासंगिक जानकारी होती है। इसलिए, जब तक संबंधित बंडलों पर कनेक्शन पर विचार करने के लिए कोई प्रमुख कारण नहीं है (जैसा कि, उदाहरण के लिए, [[कार्टन कनेक्शन]] के स्थिति में है) सामान्यतः मुख्य कनेक्शन के साथ सीधे काम करता है। | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== |
Revision as of 20:03, 25 April 2023
विभेदक ज्यामिति में, एह्रेसमैन कनेक्शन (फ्रांसीसी गणितज्ञ चार्ल्स एह्रेसमैन के पश्चात, जिन्होंने प्रथम बार इस अवधारणा को औपचारिक रूप दिया था) कनेक्शन की धारणा का संस्करण है, जो किसी भी चिकनी फाइबर बंडल पर समझ में आता है। विशेष रूप से, यह अंतर्निहित फाइबर बंडल की संभावित सदिश बंडल संरचना पर निर्भर नहीं करता है, किन्तु फिर भी, कनेक्शन (सदिश बंडल) को विशेष स्थिति के रूप में देखा जा सकता है। एह्रेसमैन कनेक्शन का अन्य महत्वपूर्ण विशेष मामला प्रमुख बंडलों पर कनेक्शन (प्रमुख बंडल) है, जो कि प्रिंसिपल झूठ समूह एक्शन में समकक्ष होना आवश्यक है।
परिचय
डिफरेंशियल ज्योमेट्री में सहसंयोजक व्युत्पन्न रेखीय अंतर ऑपरेटर है जो सहसंयोजक_ट्रांसफॉर्मेशन तरीके से सदिश बंडल के खंड के दिशात्मक व्युत्पन्न को लेता है। यह सदिश की दिशा में बंडल के समानांतर परिवहन खंड की धारणा तैयार करने की भी अनुमति देता है: सदिश एक्स के साथ खंड समानांतर है यदि . तो सहसंयोजक व्युत्पन्न कम से कम दो चीजें प्रदान करता है: अंतर ऑपरेटर, और प्रत्येक दिशा में समानांतर होने का अर्थ क्या है। 'एह्रेसमैन कनेक्शन' डिफरेंशियल ऑपरेटर को प्रत्येक प्रकार से हटा देता है और प्रत्येक दिशा में समानांतर अनुभागों के संदर्भ में स्वयंसिद्ध रूप से कनेक्शन को परिभाषित करता है (Ehresmann 1950). विशेष रूप से, एह्रेस्मान कनेक्शन फाइबर बंडल के कुल स्थान के लिए प्रत्येक स्पर्शरेखा स्थान के सदिश उप-स्थान को एकल करता है, जिसे क्षैतिज स्थान कहा जाता है। खंड s तब क्षैतिज (यानी, समानांतर) दिशा X में है यदि क्षैतिज स्थान में स्थित है। यहाँ हम फलन के रूप में s के बारे में बता रहे हैं बेस एम से फाइबर बंडल ई तक, जिससे कि तब स्पर्शरेखा सदिशों का पुशफॉरवर्ड (अंतर) है। क्षैतिज रिक्त स्थान मिलकर सदिश सबबंडल बनाते हैं .
यह मात्र सदिश बंडलों की तुलना में संरचनाओं के व्यापक वर्ग पर निश्चित होने का तत्काल लाभ है। विशेष रूप से, यह सामान्य फाइबर बंडल पर अच्छी तरह से परिभाषित है। इसके अतिरिक्त, सहसंयोजक व्युत्पन्न की कई विशेषताएं अभी भी बनी हुई हैं: समानांतर परिवहन, वक्रता और समरूपता।
रैखिकता के अतिरिक्त, कनेक्शन का लापता घटक सहप्रसरण है। शास्त्रीय सहसंयोजक डेरिवेटिव के साथ, सहप्रसरण डेरिवेटिव की पश्चवर्ती विशेषता है। उनके निर्माण में क्रिस्टोफेल प्रतीकों के परिवर्तन कानून को निर्दिष्ट करता है - जो कि सहसंयोजक नहीं है - और फिर परिणामस्वरूप व्युत्पन्न का सामान्य सहप्रसरण होता है। एह्रेसमैन कनेक्शन के लिए, फाइबर बंडल के तंतुओं पर अभिनय करने वाले लाई समूह को प्रारंभ करके प्रारंभ से ही सामान्यीकृत सहप्रसरण सिद्धांत लागू करना संभव है। उचित शर्त यह है कि क्षैतिज रिक्त स्थान निश्चित अर्थ में, समूह क्रिया के संबंध में समकक्ष हो।
एह्रेस्मान कनेक्शन के लिए परिष्कृत स्पर्श यह है कि इसे अंतर रूप के रूप में प्रदर्शित किया जा सकता है, उसी तरह जैसे कनेक्शन प्रपत्र के स्थिति में। यदि समूह तंतुओं पर कार्य करता है और कनेक्शन समतुल्य है, तो रूप भी समतुल्य होगा। इसके अतिरिक्त , कनेक्शन फॉर्म वक्रता की परिभाषा को वक्रता रूप के रूप में भी अनुमति देता है।
औपचारिक परिभाषा
होने देना चिकना फाइबर बंडल बनें।[1] होने देना
- 'ई' के तंतुओं, यानी 'वी' के तंतु पर स्पर्शरेखा सदिशों से युक्त ऊर्ध्वाधर बंडल बनें है . का यह उपसमूह आधार स्थान एम के लिए कोई विहित उप-स्पर्श स्पर्शरेखा नहीं होने पर भी विहित रूप से परिभाषित किया गया है। (बेशक, यह विषमता फाइबर बंडल की परिभाषा से आती है, जिसमें केवल प्रक्षेपण है जबकि उत्पाद दो होंगे।)
क्षैतिज उपस्थानों के माध्यम से परिभाषा
E पर Ehresmann कनेक्शन स्मूथ सबबंडल H का है , कनेक्शन का क्षैतिज बंडल कहा जाता है, जो V का पूरक है, इस अर्थ में कि यह सदिश बंडलों के अपघटन के प्रत्यक्ष योग को परिभाषित करता है .[2] अधिक विस्तार से, क्षैतिज बंडल में निम्नलिखित गुण होते हैं।
- प्रत्येक बिंदु के लिए , स्पर्शरेखा स्थान का सदिश स्थान है ई पर ई, ई पर कनेक्शन के क्षैतिज उप-स्थान कहा जाता है।
- स्मूथ फंक्शन # स्मूथनेस ई पर निर्भर करता है।
- प्रत्येक के लिए , .
- टी में कोई स्पर्शरेखा सदिशeE (किसी भी e∈E के लिए) क्षैतिज और ऊर्ध्वाधर घटक का योग है, जिससे कि Teई = एचe + वीe.
अधिक परिष्कृत शब्दों में, इन गुणों को संतुष्ट करने वाले क्षैतिज रिक्त स्थान का ऐसा असाइनमेंट जेट बंडल जे के चिकनी खंड से ठीक मेल खाता है1ई → ई.
कनेक्शन फार्म के माध्यम से परिभाषा
समान रूप से, चलो Φ ऊर्ध्वाधर बंडल V पर H के साथ प्रक्षेपण हो (जिससे कि H = ker Φ). यह टीई के क्षैतिज और ऊर्ध्वाधर भागों में उपरोक्त प्रत्यक्ष योग अपघटन द्वारा निर्धारित किया जाता है और इसे कभी-कभी एह्रेसमैन कनेक्शन का कनेक्शन रूप कहा जाता है। इस प्रकार Φ निम्नलिखित गुणों (सामान्य रूप से अनुमानों) के साथ TE से स्वयं के लिए सदिश बंडल समरूपता है:
- Φ2 = Φ;
- Φ V =Im पर तत्समक है Φ.
इसके विपरीत यदि Φ TE का सदिश बंडल एंडोमोर्फिज्म है जो इन दो गुणों को संतुष्ट करता है, तो H = ker Φ एह्रेस्मान कनेक्शन का क्षैतिज सबबंडल है।
अंत में, ध्यान दें Φ, अपने आप में प्रत्येक स्पर्शरेखा स्थान का रेखीय मानचित्रण होने के नाते, E पर TE-मूल्यवान 1-रूप के रूप में भी माना जा सकता है। यह आने वाले अनुभागों में उपयोगी परिप्रेक्ष्य होगा।
क्षैतिज लिफ्टों के माध्यम से समानांतर परिवहन
एह्रेस्मान कनेक्शन भी फाइबर बंडल ई की कुल जगह में बेस मैनिफोल्ड एम से वक्र उठाने के लिए तरीका निर्धारित करता है जिससे कि वक्र के स्पर्शक क्षैतिज हों।[2][3] ये क्षैतिज लिफ्ट कनेक्शन औपचारिकता के अन्य संस्करणों के लिए समानांतर परिवहन का प्रत्यक्ष एनालॉग हैं।
विशेष रूप से, मान लें कि γ(t), M में बिंदु x = γ(0) से होते हुए चिकना वक्र है। चलो ई ∈ ईx एक्स पर फाइबर में बिंदु बनें। ई के माध्यम से γ का 'लिफ्ट' वक्र है कुल स्थान E में ऐसा है
- , और
लिफ्ट क्षैतिज है यदि, इसके अतिरिक्त , वक्र का प्रत्येक स्पर्शरेखा TE के क्षैतिज उपबंडल में स्थित है:
इसे π और पर लागू रैंक-शून्यता प्रमेय का उपयोग करके दिखाया जा सकता है Φ कि प्रत्येक सदिश X∈Txएम में सदिश के लिए अद्वितीय क्षैतिज लिफ्ट है . विशेष रूप से, γ के लिए स्पर्शरेखा क्षेत्र पुलबैक बंडल γ*E के कुल स्थान में क्षैतिज सदिश क्षेत्र उत्पन्न करता है। पिकार्ड-लिंडेलोफ प्रमेय के अनुसार, यह सदिश क्षेत्र सदिश क्षेत्र#प्रवाह वक्र है। इस प्रकार, किसी वक्र γ और बिंदु e पर x = γ(0) के लिए, छोटे समय t के लिए γ से e तक का अद्वितीय क्षैतिज लिफ़्ट मौजूद है।
ध्यान दें कि, सामान्य एह्रेस्मान कनेक्शन के लिए, क्षैतिज लिफ्ट पथ-निर्भर है। जब M में दो चिकने वक्र, γ पर मेल खाते हैं1(0) = सी2(0) = एक्स0 और अन्य बिंदु x पर भी प्रतिच्छेद करता है1∈ M, समान e ∈ π के माध्यम से क्षैतिज रूप से E तक उठाये जाते हैं-1(x0), वे सामान्यतः π के विभिन्न बिंदुओं से गुजरेंगे-1(x1). फाइबर बंडलों के विभेदक ज्यामिति के लिए इसका महत्वपूर्ण परिणाम है: एच के वर्गों का स्थान ई पर सदिश फ़ील्ड्स के स्थान का झूठ बोलना नहीं है, क्योंकि यह झूठ व्युत्पन्न के तहत (सामान्य रूप से) बंद नहीं है। लाई ब्रैकेट के नीचे बंद होने की इस विफलता को वक्रता द्वारा मापा जाता है।
गुण
वक्रता
होने देना Φ एह्रेस्मान कनेक्शन हो। फिर की वक्रता Φ द्वारा दिया गया है[2]
जहां [-,-] फ्रॉलीशर-निजेनहुइस ब्रैकेट को दर्शाता है {{mvar|Φ}∈ Ω1(ई, टीई) स्वयं के साथ। इस प्रकार आर ∈ Ω2(E,TE) E पर दो रूप है जिसमें TE द्वारा परिभाषित मान हैं
- ,
या, दूसरे शब्दों में,
- ,
जहां एक्स = एक्सH + एक्सV क्रमशः एच और वी घटकों में प्रत्यक्ष योग अपघटन को दर्शाता है। वक्रता के लिए इस अंतिम अभिव्यक्ति से, यह समान रूप से गायब होने के लिए देखा जाता है, और केवल अगर, क्षैतिज उपबंडल फ्रोबेनियस एकीकरण प्रमेय है। इस प्रकार वक्रता क्षैतिज सबबंडल के लिए फाइबर बंडल ई → एम के अनुप्रस्थ वर्गों को प्राप्त करने के लिए अभिन्नता की स्थिति है।
एह्रेस्मान कनेक्शन की वक्रता भी बियांची पहचान के संस्करण को संतुष्ट करती है:
जहां फिर से [-,-] फ्रॉलीशर-निजेनहुइस का ब्रैकेट है {{mvar|Φ}∈ Ω1(ई, टीई) और आर ∈ Ω2(ई, टीई)।
पूर्णता
एह्रेस्मान कनेक्शन घटता को अद्वितीय क्षैतिज लिफ्ट स्थानीय संपत्ति रखने की अनुमति देता है। पूर्ण एह्रेस्मान कनेक्शन के लिए, वक्र क्षैतिज रूप से अपने संपूर्ण डोमेन पर उठाया जा सकता है।
होलोनॉमी
कनेक्शन की सपाटता स्थानीय रूप से क्षैतिज रिक्त स्थान के फ्रोबेनियस प्रमेय (अंतर टोपोलॉजी) से मेल खाती है। दूसरे चरम पर, गैर-लुप्त होने वाली वक्रता का तात्पर्य कनेक्शन की समग्रता की उपस्थिति से है।[4]
विशेष स्थिति
प्रिंसिपल बंडल और प्रिंसिपल कनेक्शन
मान लीजिए कि E स्मूथ प्रिंसिपल बंडल है| M के ऊपर प्रिंसिपल G-बंडल है। फिर E पर Ehresmann कनेक्शन H को 'प्रिंसिपल (Ehresmann) कनेक्शन' कहा जाता है।[3] यदि यह E पर G क्रिया के संबंध में इस अर्थ में अपरिवर्तनीय है
- किसी भी e∈E और g∈G के लिए; यहाँ ई पर ई पर जी के समूह क्रिया (गणित) के अंतर को दर्शाता है।
जी के एक-पैरामीटर उपसमूह ई पर लंबवत रूप से कार्य करते हैं। इस क्रिया का अंतर किसी को उप-स्थान की पहचान करने की अनुमति देता है समूह 'जी' के झूठ बीजगणित जी के साथ, मानचित्र द्वारा कहें . Ehresmann कनेक्शन के कनेक्शन फॉर्म v को तब ω(X)=ι(v(X)) द्वारा परिभाषित 'g' में मानों के साथ E पर 1-फॉर्म ω के रूप में देखा जा सकता है।
इस प्रकार पुनर्व्याख्या की गई, कनेक्शन फॉर्म ω निम्नलिखित दो गुणों को संतुष्ट करता है:
- यह G क्रिया के तहत समान रूप से रूपांतरित होता है: सभी h∈G के लिए, जहाँ Rh* सही क्रिया के तहत पुलबैक (अंतर ज्यामिति) है और विज्ञापन इसके लाई बीजगणित पर G का आसन्न प्रतिनिधित्व है।
- यह लाई बीजगणित के उनके संबंधित तत्वों के लिए लंबवत सदिश फ़ील्ड को मैप करता है: ω(X)=ι(X) सभी X∈V के लिए।
इसके विपरीत, यह दिखाया जा सकता है कि प्रमुख बंडल पर ऐसा 'जी'-मूल्यवान 1-रूप उपरोक्त गुणों को संतुष्ट करने वाला क्षैतिज वितरण उत्पन्न करता है।
स्थानीय तुच्छीकरण को देखते हुए क्षैतिज सदिश क्षेत्रों में ω को कम किया जा सकता है (इस तुच्छीकरण में)। यह पुलबैक (डिफरेंशियल ज्योमेट्री) के माध्यम से बी पर 1-फॉर्म ω' को परिभाषित करता है। फॉर्म ω' ω को प्रत्येक प्रकार से निर्धारित करता है, किन्तु यह तुच्छीकरण के विकल्प पर निर्भर करता है। (इस फॉर्म को अक्सर 'कनेक्शन फॉर्म' भी कहा जाता है और इसे केवल ω द्वारा दर्शाया जाता है।)
सदिश बंडल और सहपरिवर्ती डेरिवेटिव
मान लीजिए कि E, M के ऊपर स्मूथ सदिश बंडल है। फिर E पर Ehresmann कनेक्शन H को 'रैखिक (Ehresmann) कनेक्शन' कहा जाता है यदि He ई ∈ ई पर रैखिक रूप से निर्भर करता हैx प्रत्येक x ∈ M के लिए। इसे सटीक बनाने के लिए, मान लीजिए Sλ ई पर λ द्वारा स्केलर गुणा को निरूपित करें। फिर एच रैखिक है अगर और केवल अगर किसी भी ई ∈ ई और अदिश λ के लिए।
चूँकि E सदिश बंडल है, इसका वर्टिकल बंडल V π*E के लिए आइसोमॉर्फिक है। इसलिए यदि s, E का भाग है, तब v(ds):TM→s*V=s*π*E=E. यह सदिश बंडल आकारिकी है, और इसलिए सदिश बंडल होम (टीएम, ई) के खंड ∇s द्वारा दिया जाता है। तथ्य यह है कि एह्रेसमैन कनेक्शन रैखिक है, इसका अर्थ यह है कि इसके अतिरिक्त यह प्रत्येक कार्य के लिए सत्यापित करता है पर लीबनिज नियम, यानी , और इसलिए s का कनेक्शन (सदिश बंडल) है।
इसके विपरीत कनेक्शन (सदिश बंडल) ∇ सदिश बंडल पर H को परिभाषित करके रैखिक एह्रेसमैन कनेक्शन को परिभाषित करता हैe, x=π(e) के साथ e ∈ E के लिए, प्रतिबिंब ds होना चाहिएx(टीxM) जहां s, s(x) = e और ∇ के साथ E का खंड हैXएस = 0 सभी एक्स ∈ टी के लिएxएम।
ध्यान दें कि (ऐतिहासिक कारणों से) शब्द रेखीय जब कनेक्शन पर लागू होता है, तो कभी-कभी स्पर्शरेखा बंडल या फ्रेम बंडल पर परिभाषित कनेक्शन को संदर्भित करने के लिए उपयोग किया जाता है (जैसे शब्द affine - Affine कनेक्शन देखें)।
संबद्ध बंडल
फाइबर बंडल ( संरचना समूह के साथ संपन्न) पर एह्रेस्मान कनेक्शन कभी-कभी संबंधित बंडल पर एह्रेस्मान कनेक्शन को जन्म देता है। उदाहरण के लिए, (रैखिक) कनेक्शन (सदिश बंडल) ई, ऊपर के रूप में ई की समानता देने के बारे में सोचा, ई के फ्रेम पीई के जुड़े बंडल पर कनेक्शन प्रेरित करता है। इसके विपरीत, पीई में कनेक्शन (रैखिक) को जन्म देता है ई में कनेक्शन प्रदान किया गया है कि पीई में कनेक्शन फ्रेम पर सामान्य रैखिक समूह की कार्रवाई के संबंध में समतुल्य है (और इस प्रकार कनेक्शन (प्रमुख बंडल))। एह्रेसमैन कनेक्शन के लिए स्वाभाविक रूप से संबद्ध बंडल पर कनेक्शन को प्रेरित करना हमेशा संभव नहीं होता है। उदाहरण के लिए, सदिश बंडल के फ्रेम के बंडल पर गैर-समतुल्य एह्रेसमैन कनेक्शन सदिश बंडल पर कनेक्शन को प्रेरित नहीं कर सकता है।
मान लीजिए कि E, P का संबद्ध बंडल है, जिससे कि E = P × हैG एफ। ई पर 'जी-कनेक्शन' एह्रेस्मान कनेक्शन है जैसे समानांतर परिवहन मानचित्र τ: एफx → एफx′ तंतुओं के जी-परिवर्तन द्वारा दिया जाता है (पर्याप्त रूप से पास के बिंदु x और x 'M में वक्र से जुड़ा हुआ है)।[5] पी पर प्रमुख कनेक्शन दिया गया है, संबंधित फाइबर बंडल ई = पी × पर जी-कनेक्शन प्राप्त करता हैG एफ पुलबैक (अंतर ज्यामिति) के माध्यम से।
इसके विपरीत, ई पर जी-कनेक्शन दिया गया है, संबंधित प्रिंसिपल बंडल पी पर प्रिंसिपल कनेक्शन को पुनर्प्राप्त करना संभव है। इस प्रिंसिपल कनेक्शन को पुनर्प्राप्त करने के लिए, सामान्य फाइबर एफ पर फ्रेम की धारणा पेश करता है। चूंकि जी परिमित-आयामी है[6] F पर प्रभावी ढंग से कार्य करने वाले झूठ समूह, बिंदुओं का परिमित विन्यास मौजूद होना चाहिए (y1,...,औरm) F के अंदर ऐसा है कि G-ऑर्बिट R = {(gy1,...,जीm) | जी ∈ जी} जी का प्रमुख सजातीय स्थान है। एफ पर जी-एक्शन के लिए फ्रेम की धारणा का सामान्यीकरण देने के रूप में आर के बारे में सोच सकते हैं। ध्यान दें कि, चूंकि आर जी के लिए प्रमुख सजातीय स्थान है, फाइबर ठेठ फाइबर आर के साथ ई से जुड़ा बंडल ई (आर) ई से जुड़े प्रमुख बंडल (समतुल्य) है। किन्तु यह ई के एम-फोल्ड उत्पाद बंडल का सबबंडल भी है। ई पर क्षैतिज रिक्त स्थान का वितरण इस उत्पाद बंडल पर रिक्त स्थान के वितरण को प्रेरित करता है। चूंकि कनेक्शन से जुड़े समानांतर परिवहन मानचित्र जी-नक्शे हैं, वे उप-स्थान ई (आर) को संरक्षित करते हैं, और इसलिए जी-कनेक्शन ई (आर) पर प्रमुख जी-कनेक्शन के लिए उतरता है।
सारांश में, संबंधित फाइबर बंडलों के प्रमुख कनेक्शनों के अवरोही और संबंधित फाइबर बंडलों पर जी-कनेक्शन के मध्य पत्राचार (समतुल्यता तक) है। इस कारण से, संरचना समूह जी के साथ फाइबर बंडलों की श्रेणी में, प्रमुख कनेक्शन में संबंधित बंडलों पर जी-कनेक्शन के लिए सभी प्रासंगिक जानकारी होती है। इसलिए, जब तक संबंधित बंडलों पर कनेक्शन पर विचार करने के लिए कोई प्रमुख कारण नहीं है (जैसा कि, उदाहरण के लिए, कार्टन कनेक्शन के स्थिति में है) सामान्यतः मुख्य कनेक्शन के साथ सीधे काम करता है।
टिप्पणियाँ
- ↑ These considerations apply equally well to the more general situation in which is a surjective submersion: i.e., E is a fibered manifold over M. In an alternative generalization, due to Lang (1999) and Eliason (1967), E and M are permitted to be Banach manifolds, with E a fiber bundle over M as above.
- ↑ 2.0 2.1 2.2 Kolář, Michor & Slovák (1993), p. [page needed].
- ↑ 3.0 3.1 Kobayashi & Nomizu (1996a), p. [page needed], Vol. 1.
- ↑ Holonomy for Ehresmann connections in fiber bundles is sometimes called the Ehresmann-Reeb holonomy or leaf holonomy in reference to the first detailed study using Ehresmann connections to study foliations in (Reeb 1952)
- ↑ See also Lumiste (2001b), "Connections on a manifold".
- ↑ For convenience, we assume that G is finite-dimensional, although this assumption can safely be dropped with minor modifications.
संदर्भ
- Ehresmann, Charles (1950), Les connexions infinitésimales dans un espace fibré différentiable (PDF), Colloque de Topologie, Bruxelles, Georges Thone, Liège; Masson & cie, Paris, pp. 29–55
- Ehresmann, Charles (1952), Les connexions infinitésimales dans un espace fibré différentiable (PDF), Séminaire N. Bourbaki, vol. 24, pp. 153–168
- Eliason, H (1967), "Geometry of manifolds of maps", Journal of Differential Geometry, 1: 169–194
- Kobayashi, Shoshichi (1957), "Theory of connections", Ann. Mat. Pura Appl., 43: 119–194, doi:10.1007/BF02411907, MR 0096276, S2CID 120972987
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996a), Foundations of Differential Geometry, vol. 1 (New ed.), Wiley-Interscience, ISBN 0-471-15733-3
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996b), Foundations of Differential Geometry, vol. 2 (New ed.), Wiley-Interscience, ISBN 978-0-471-15732-8
- Kolář, Ivan; Michor, Peter; Slovák, Jan (1993), Natural operators in differential geometry (PDF), Springer-Verlag, archived from the original (PDF) on 2017-03-30, retrieved 2007-04-25
- Lang, Serge (1999), Fundamentals of differential geometry, Springer-Verlag, ISBN 0-387-98593-X
- Lumiste, Ülo (2001a) [1994], "Connection on a fibre bundle", Encyclopedia of Mathematics, EMS Press
- Lumiste, Ülo (2001b) [1994], "Connections on a manifold", Encyclopedia of Mathematics, EMS Press
- Reeb, Georges (1952), Sur certaines propriétés topologiques des variétés feuilletées, Paris: Herman
अग्रिम पठन
- Raoul Bott (1970) "Topological obstruction to integrability", Proc. Symp. Pure Math., 16 Amer. Math. Soc., Providence, RI.
- Kubarski, Jan; Pradines, Jean; Rybicki, Tomasz; Wolak, Robert, eds. (2007). Geometry and topology of manifolds: The mathematical legacy of Charles Ehresmann on the occasion of the hundredth anniversary of his birthday. Banach Center Publications. Vol. 76. Warsaw: Polish Academy of Sciences. MR 2284825.