टॉटोलॉजिकल बंडल: Difference between revisions
(Created page with "गणित में, टॉटोलॉजिकल बंडल एक वेक्टर बंडल है जो प्राकृतिक टॉटोलॉज...") |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, टॉटोलॉजिकल बंडल एक [[वेक्टर बंडल]] है जो प्राकृतिक टॉटोलॉजिकल | गणित में, टॉटोलॉजिकल बंडल एक ऐसा [[वेक्टर बंडल|सदिश बंडल]] है जो प्राकृतिक टॉटोलॉजिकल विधि से [[ग्रासमैनियन]] पर होता है: <math>V</math> के <math>k</math>-[[आयाम (वेक्टर स्थान)|विमा (सदिश समष्टि)]] के [[रैखिक उपस्थान|रैखिक उपसमष्टि]] ग्रासमैनियन के लिए , <math>k</math>-विमीय सदिश उपसमष्टि <math>W \subseteq V</math> के अनुरूप ग्रासमैनियन में एक बिंदु दिया जाता है, फाइबर पर <math>W</math> स्वयं उप समष्टि <math>W</math> है। [[प्रक्षेप्य स्थान|प्रक्षेप्य समष्टि]] की समष्टि में टॉटोलॉजिकल बंडल को टॉटोलॉजिकल रेखा बंडल के रूप में जाना जाता है। | ||
किसी भी | किसी भी सदिश बंडल (कॉम्पैक्ट स्पेस पर) के बाद से टॉटोलॉजिकल बंडल को [[ सार्वभौमिक बंडल |सार्वभौमिक बंडल]] भी कहा जाता है<ref>Over a noncompact but paracompact base, this remains true provided one uses infinite Grassmannian.</ref>) टॉटोलॉजिकल बंडल का पुलबैक है; कहने का तात्पर्य यह है कि ग्रासमैनियन सदिश बंडलों के लिए वर्गीकृत समष्टि है। इस वजह से, विशिष्ट वर्गों के अध्ययन में टॉटोलॉजिकल बंडल महत्वपूर्ण है। | ||
टॉटोलॉजिकल बंडलों का निर्माण बीजगणितीय टोपोलॉजी और बीजगणितीय ज्यामिति दोनों में किया जाता है। बीजगणितीय ज्यामिति में, टॉटोलॉजिकल | टॉटोलॉजिकल बंडलों का निर्माण बीजगणितीय टोपोलॉजी और बीजगणितीय ज्यामिति दोनों में किया जाता है। बीजगणितीय ज्यामिति में, टॉटोलॉजिकल रेखा बंडल (उल्टे शीफ के रूप में) है | ||
:<math>\mathcal{O}_{\mathbb{P}^n}(-1),</math> | :<math>\mathcal{O}_{\mathbb{P}^n}(-1),</math> | ||
हाइपरप्लेन बंडल या सेरे के ट्विस्टिंग शीफ का [[दोहरा बंडल]] <math>\mathcal{O}_{\mathbb{P}^n}(1)</math>. हाइपरप्लेन बंडल हाइपरप्लेन (वि[[भाजक (बीजगणितीय ज्यामिति)]]) के अनुरूप | हाइपरप्लेन बंडल या सेरे के ट्विस्टिंग शीफ का [[दोहरा बंडल]] <math>\mathcal{O}_{\mathbb{P}^n}(1)</math>. हाइपरप्लेन बंडल हाइपरप्लेन (वि[[भाजक (बीजगणितीय ज्यामिति)]]) के अनुरूप रेखा बंडल है <math>\mathbb{P}^{n-1}</math> में <math>\mathbb{P}^n</math>. टॉटोलॉजिकल रेखा बंडल और हाइपरप्लेन बंडल वास्तव में प्रक्षेप्य समष्टि के [[पिकार्ड समूह]] के दो जनरेटर हैं।<ref>In literature and textbooks, they are both often called canonical generators.</ref> | ||
[[माइकल अतियाह]] के के-सिद्धांत में, | [[माइकल अतियाह]] के के-सिद्धांत में, [[जटिल प्रक्षेप्य स्थान|जटिल प्रक्षेप्य समष्टि]] पर टॉटोलॉजिकल रेखा बंडल को मानक रेखा बंडल कहा जाता है। मानक बंडल के गोलाकार बंडल को आमतौर पर [[हॉपफ बंडल]] कहा जाता है। (सीएफ. बोतल जनरेटर।) | ||
अधिक आम तौर पर, | अधिक आम तौर पर, सदिश बंडल के [[ प्रक्षेप्य बंडल |प्रक्षेप्य बंडल]] के साथ-साथ [[ग्रासमैन बंडल]] पर भी टॉटोलॉजिकल बंडल होते हैं। | ||
पुराना शब्द ''कैनोनिकल बंडल'' इस आधार पर अप्रचलित हो गया है कि ''[[विहित वर्ग]]बहुविकल्पी)'' गणितीय शब्दावली में अत्यधिक अतिभारित है, और (इससे भी बदतर) [[बीजगणितीय ज्यामिति]] में कैनोनिकल वर्ग के साथ भ्रम है शायद ही टाला जा सके। | पुराना शब्द ''कैनोनिकल बंडल'' इस आधार पर अप्रचलित हो गया है कि ''[[विहित वर्ग]]बहुविकल्पी)'' गणितीय शब्दावली में अत्यधिक अतिभारित है, और (इससे भी बदतर) [[बीजगणितीय ज्यामिति]] में कैनोनिकल वर्ग के साथ भ्रम है शायद ही टाला जा सके। | ||
Line 15: | Line 15: | ||
== सहज परिभाषा == | == सहज परिभाषा == | ||
परिभाषा के अनुसार ग्रासमैनियन किसी दिए गए [[सदिश स्थल]] में, दिए गए | परिभाषा के अनुसार ग्रासमैनियन किसी दिए गए [[सदिश स्थल]] में, दिए गए विमा के रैखिक उप-समष्टिों के लिए पैरामीटर समष्टि हैं <math>W</math>. अगर <math>G</math> ग्रासमैनियन है, और <math>V_g</math> का उपसमष्टि है <math>W</math> तदनुसार <math>g</math> में <math>G</math>, यह पहले से ही लगभग सदिश बंडल के लिए आवश्यक डेटा है: अर्थात् प्रत्येक बिंदु के लिए सदिश समष्टि <math>g</math>, लगातार बदलता रहता है। वह सब जो इस संकेत से टॉटोलॉजिकल बंडल की परिभाषा को रोक सकता है, वह कठिनाई है <math>V_g</math> प्रतिच्छेद करने जा रहे हैं. इसे ठीक करना [[ असंयुक्त संघ |असंयुक्त संघ]] डिवाइस का नियमित अनुप्रयोग है, ताकि बंडल प्रक्षेपण [[फाइबर बंडल]] से हो जो कि समान प्रतियों से बना हो। <math>V_g</math>, जो अब प्रतिच्छेद नहीं करते। इसके साथ ही हमारे पास बंडल है. | ||
प्रक्षेप्य अंतरिक्ष मामला शामिल है। रिवाज के सन्दर्भ मे <math>P(V)</math> दोहरे अंतरिक्ष अर्थ में टॉटोलॉजिकल बंडल को उपयोगी रूप से ले जा सकता है। यानी साथ में <math>V^*</math> दोहरी जगह, के बिंदु <math>P(V)</math> के सदिश उप- | प्रक्षेप्य अंतरिक्ष मामला शामिल है। रिवाज के सन्दर्भ मे <math>P(V)</math> दोहरे अंतरिक्ष अर्थ में टॉटोलॉजिकल बंडल को उपयोगी रूप से ले जा सकता है। यानी साथ में <math>V^*</math> दोहरी जगह, के बिंदु <math>P(V)</math> के सदिश उप-समष्टि ले जाएं <math>V^*</math> यह उनकी गुठली है, जब इसे [[रैखिक कार्यात्मक]]ताओं की (किरणों) के रूप में माना जाता है <math>V^*</math>. अगर <math>V</math> विमा है <math>n+1</math>, टॉटोलॉजिकल [[लाइन बंडल|रेखा बंडल]] टॉटोलॉजिकल बंडल है, और दूसरा, जिसका अभी वर्णन किया गया है, रैंक का है <math>n</math>. | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
होने देना <math>G_n(\R^{n+k})</math> में एन- | होने देना <math>G_n(\R^{n+k})</math> में एन-विमीय सदिश उप-समष्टिों का ग्रासमैनियन बनें <math>\R^{n+k};</math> समुच्चय के रूप में यह सभी n-विमीय सदिश उप-समष्टिों का समुच्चय है <math>\R^{n+k}.</math> उदाहरण के लिए, यदि n = 1 है, तो यह वास्तविक प्रक्षेप्य k-स्पेस है। | ||
हम टॉटोलॉजिकल बंडल γ को परिभाषित करते हैं<sub>''n'', ''k''</sub> ऊपर <math>G_n(\R^{n+k})</math> निम्नलिखित नुसार। बंडल का कुल | हम टॉटोलॉजिकल बंडल γ को परिभाषित करते हैं<sub>''n'', ''k''</sub> ऊपर <math>G_n(\R^{n+k})</math> निम्नलिखित नुसार। बंडल का कुल समष्टि सभी जोड़ों (वी, वी) का सेट है जिसमें ग्रासमैनियन का बिंदु वी और वी में सदिश वी शामिल है; इसे कार्टेशियन उत्पाद की उप-समष्टि टोपोलॉजी दी गई है <math>G_n(\R^{n+k}) \times \R^{n+k}.</math> प्रक्षेपण मानचित्र π, π(V, v) = V द्वारा दिया जाता है। यदि F, π के अंतर्गत V की पूर्व छवि है, तो इसे a(V, v) + b(V, w) द्वारा सदिश समष्टि की संरचना दी जाती है। ) = (वी, एवी + बीडब्ल्यू)। अंत में, समष्टिीय तुच्छता को देखने के लिए, ग्रासमैनियन में बिंदु<ref>''U'' is open since <math>G_n(\R^{n+k})</math> is given a topology such that | ||
:<math>\begin{cases} G_n(\R^{n+k}) \to \operatorname{End}(\R^{n+k}) \\ V \mapsto p_V \end{cases}</math> | :<math>\begin{cases} G_n(\R^{n+k}) \to \operatorname{End}(\R^{n+k}) \\ V \mapsto p_V \end{cases}</math> | ||
Line 29: | Line 29: | ||
:<math>\begin{cases} \phi: \pi^{-1}(U) \to U\times X\subseteq G_n(\R^{n+k}) \times X \\ \phi(V,v) = (V, p(v)) \end{cases}</math> | :<math>\begin{cases} \phi: \pi^{-1}(U) \to U\times X\subseteq G_n(\R^{n+k}) \times X \\ \phi(V,v) = (V, p(v)) \end{cases}</math> | ||
जो स्पष्ट रूप से | जो स्पष्ट रूप से होम्योमोर्फिज्म है। इसलिए, परिणाम रैंक n का सदिश बंडल है। | ||
यदि हम प्रतिस्थापित करें तो उपरोक्त परिभाषा का अर्थ बना रहता है <math>\R</math> [[जटिल क्षेत्र]] के साथ <math>\C.</math> | यदि हम प्रतिस्थापित करें तो उपरोक्त परिभाषा का अर्थ बना रहता है <math>\R</math> [[जटिल क्षेत्र]] के साथ <math>\C.</math> | ||
परिभाषा के अनुसार, अनंत ग्रासमैनियन <math>G_n</math> की सीधी सीमा है <math>G_n(\R^{n+k})</math> जैसा <math>k\to\infty.</math> बंडलों की सीधी सीमा लेना γ<sub>''n'', ''k''</sub> टॉटोलॉजिकल बंडल γ देता है<sub>''n''</sub> का <math>G_n.</math> यह इस अर्थ में | परिभाषा के अनुसार, अनंत ग्रासमैनियन <math>G_n</math> की सीधी सीमा है <math>G_n(\R^{n+k})</math> जैसा <math>k\to\infty.</math> बंडलों की सीधी सीमा लेना γ<sub>''n'', ''k''</sub> टॉटोलॉजिकल बंडल γ देता है<sub>''n''</sub> का <math>G_n.</math> यह इस अर्थ में सार्वभौमिक बंडल है: प्रत्येक कॉम्पैक्ट स्पेस एक्स के लिए, प्राकृतिक आक्षेप है | ||
:<math>\begin{cases} [X, G_n] \to \operatorname{Vect}^{\R}_n(X) \\ f \mapsto f^*(\gamma_n) \end{cases}</math> | :<math>\begin{cases} [X, G_n] \to \operatorname{Vect}^{\R}_n(X) \\ f \mapsto f^*(\gamma_n) \end{cases}</math> | ||
जहां बाईं ओर कोष्ठक का अर्थ समरूपता वर्ग है और दाईं ओर रैंक एन के वास्तविक | जहां बाईं ओर कोष्ठक का अर्थ समरूपता वर्ग है और दाईं ओर रैंक एन के वास्तविक सदिश बंडलों के समरूपता वर्गों का सेट है। उलटा नक्शा इस प्रकार दिया गया है: चूंकि एक्स कॉम्पैक्ट है, कोई भी सदिश बंडल ई तुच्छ बंडल का सबबंडल है: <math>E \hookrightarrow X \times \R^{n+k}</math> कुछ k के लिए और इसलिए E मानचित्र निर्धारित करता है | ||
:<math>\begin{cases}f_E: X \to G_n \\ x \mapsto E_x \end{cases}</math> | :<math>\begin{cases}f_E: X \to G_n \\ x \mapsto E_x \end{cases}</math> | ||
समरूपता तक अद्वितीय। | समरूपता तक अद्वितीय। | ||
टिप्पणी: बदले में, कोई | टिप्पणी: बदले में, कोई टॉटोलॉजिकल बंडल को सार्वभौमिक बंडल के रूप में परिभाषित कर सकता है; मान लीजिए कि कोई स्वाभाविक आपत्ति है | ||
:<math>[X, G_n] = \operatorname{Vect}^{\R}_n(X)</math> | :<math>[X, G_n] = \operatorname{Vect}^{\R}_n(X)</math> | ||
किसी भी [[पैराकॉम्पैक्ट स्पेस]] X के लिए <math>G_n</math> कॉम्पैक्ट स्पेस की प्रत्यक्ष सीमा है, यह पैराकॉम्पैक्ट है और इसलिए इसके ऊपर | किसी भी [[पैराकॉम्पैक्ट स्पेस]] X के लिए <math>G_n</math> कॉम्पैक्ट स्पेस की प्रत्यक्ष सीमा है, यह पैराकॉम्पैक्ट है और इसलिए इसके ऊपर अद्वितीय सदिश बंडल है <math>G_n</math> जो कि पहचान मानचित्र से मेल खाता है <math>G_n.</math> यह वास्तव में टॉटोलॉजिकल बंडल है और, प्रतिबंध के द्वारा, किसी को सभी पर टॉटोलॉजिकल बंडल मिलते हैं <math>G_n(\R^{n+k}).</math> | ||
== हाइपरप्लेन बंडल == | == हाइपरप्लेन बंडल == | ||
वास्तविक प्रक्षेप्य ''k''-स्पेस पर हाइपरप्लेन बंडल ''H'' को इस प्रकार परिभाषित किया गया है। ''H'' का कुल | वास्तविक प्रक्षेप्य ''k''-स्पेस पर हाइपरप्लेन बंडल ''H'' को इस प्रकार परिभाषित किया गया है। ''H'' का कुल समष्टि सभी युग्मों (''L'', ''f'') का समुच्चय है, जिसमें मूल बिंदु से होकर जाने वाली रेखा ''L'' शामिल है। <math>\R^{k+1}</math> और एफ एल पर रैखिक कार्यात्मक है। प्रक्षेपण मानचित्र π π (एल, एफ) = एल द्वारा दिया गया है (ताकि एल पर फाइबर एल का दोहरी सदिश समष्टि हो।) बाकी बिल्कुल टॉटोलॉजिकल रेखा बंडल की तरह है। | ||
दूसरे शब्दों में, एच टॉटोलॉजिकल | दूसरे शब्दों में, एच टॉटोलॉजिकल रेखा बंडल का दोहरा बंडल है। | ||
बीजगणितीय ज्यामिति में, हाइपरप्लेन बंडल 'हाइपरप्लेन विभाजक' के अनुरूप | बीजगणितीय ज्यामिति में, हाइपरप्लेन बंडल 'हाइपरप्लेन विभाजक' के अनुरूप रेखा बंडल (उलटा शीफ के रूप में) है | ||
:<math>H = \mathbb{P}^{n-1} \sub \mathbb{P}^{n}</math> | :<math>H = \mathbb{P}^{n-1} \sub \mathbb{P}^{n}</math> | ||
मान लीजिए, x के रूप में दिया गया है<sub>0</sub> = 0, जब x<sub>i</sub>सजातीय निर्देशांक हैं. इस प्रकार इसे देखा जा सकता है। यदि D | मान लीजिए, x के रूप में दिया गया है<sub>0</sub> = 0, जब x<sub>i</sub>सजातीय निर्देशांक हैं. इस प्रकार इसे देखा जा सकता है। यदि D वेइल विभाजक है|(वेइल) विभाजक है <math>X=\mathbb{P}^n,</math> one, X पर संबंधित रेखा बंडल O(D) को परिभाषित करता है | ||
:<math>\Gamma(U, O(D)) = \{ f \in K | (f) + D \ge 0 \text{ on } U \}</math> | :<math>\Gamma(U, O(D)) = \{ f \in K | (f) + D \ge 0 \text{ on } U \}</math> | ||
Line 60: | Line 58: | ||
:<math>\begin{cases}O(H) \simeq O(1)\\ f \mapsto f x_0\end{cases}</math> | :<math>\begin{cases}O(H) \simeq O(1)\\ f \mapsto f x_0\end{cases}</math> | ||
कहां एक्स<sub>0</sub> हमेशा की तरह, ट्विस्टिंग शीफ़ O(1) के | कहां एक्स<sub>0</sub> हमेशा की तरह, ट्विस्टिंग शीफ़ O(1) के वैश्विक खंड के रूप में देखा जाता है। (वास्तव में, उपरोक्त समरूपता वेइल डिवाइडर और कार्टियर डिवाइडर के बीच सामान्य पत्राचार का हिस्सा है।) अंत में, ट्विस्टिंग शीफ का दोहरा टॉटोलॉजिकल रेखा बंडल (नीचे देखें) से मेल खाता है। | ||
==बीजगणितीय ज्यामिति में टॉटोलॉजिकल | ==बीजगणितीय ज्यामिति में टॉटोलॉजिकल रेखा बंडल== | ||
बीजगणितीय ज्यामिति में, यह धारणा किसी भी क्षेत्र k पर मौजूद होती है। ठोस परिभाषा इस प्रकार है. होने देना <math>A = k[y_0, \dots, y_n]</math> और <math>\mathbb{P}^n = \operatorname{Proj}A</math>. ध्यान दें कि हमारे पास है: | बीजगणितीय ज्यामिति में, यह धारणा किसी भी क्षेत्र k पर मौजूद होती है। ठोस परिभाषा इस प्रकार है. होने देना <math>A = k[y_0, \dots, y_n]</math> और <math>\mathbb{P}^n = \operatorname{Proj}A</math>. ध्यान दें कि हमारे पास है: | ||
Line 70: | Line 68: | ||
:<math>L = \mathbf{Spec} \left (\mathcal{O}_{\mathbb{P}^n}[x_0, \dots, x_n]/I \right )</math> | :<math>L = \mathbf{Spec} \left (\mathcal{O}_{\mathbb{P}^n}[x_0, \dots, x_n]/I \right )</math> | ||
जहां I वैश्विक वर्गों द्वारा उत्पन्न आदर्श शीफ है <math>x_iy_j-x_jy_i</math>. तब L | जहां I वैश्विक वर्गों द्वारा उत्पन्न आदर्श शीफ है <math>x_iy_j-x_jy_i</math>. तब L बंद उपयोजना है <math>\mathbb{A}^{n+1}_{\mathbb{P}^n}</math> ही आधार योजना पर <math>\mathbb{P}^n</math>; इसके अलावा, L के बंद बिंदु बिल्कुल (x, y) के ही हैं <math>\mathbb{A}^{n+1} \times_k \mathbb{P}^n</math> जैसे कि या तो x शून्य है या x की छवि है <math>\mathbb{P}^n</math> य है. इस प्रकार, L टॉटोलॉजिकल रेखा बंडल है जैसा कि पहले परिभाषित किया गया है यदि k वास्तविक या जटिल संख्याओं का क्षेत्र है। | ||
अधिक संक्षिप्त शब्दों में, एल एफ़िन स्पेस की उत्पत्ति का ब्लो-अप | ब्लो-अप है <math>\mathbb{A}^{n+1}</math>, जहां एल में लोकस x = 0 [[असाधारण भाजक]] है। (सीएफ. हार्टशोर्न, अध्याय I, § 4 का अंत) | अधिक संक्षिप्त शब्दों में, एल एफ़िन स्पेस की उत्पत्ति का ब्लो-अप | ब्लो-अप है <math>\mathbb{A}^{n+1}</math>, जहां एल में लोकस x = 0 [[असाधारण भाजक]] है। (सीएफ. हार्टशोर्न, अध्याय I, § 4 का अंत) | ||
सामान्य रूप में, <math>\mathbf{Spec}(\operatorname{Sym} \check{E})</math> परिमित रैंक के | सामान्य रूप में, <math>\mathbf{Spec}(\operatorname{Sym} \check{E})</math> परिमित रैंक के समष्टिीय रूप से मुक्त शीफ ई के अनुरूप [[बीजगणितीय वेक्टर बंडल|बीजगणितीय सदिश बंडल]] है।<ref>Editorial note: this definition differs from Hartshorne in that he does not take dual, but is consistent with the standard practice and the other parts of Wikipedia.</ref> चूँकि हमारे पास सटीक क्रम है: | ||
:<math>0 \to I \to \mathcal{O}_{\mathbb{P}^n}[x_0, \ldots, x_n] \overset{x_i \mapsto y_i}{\longrightarrow} \operatorname{Sym} \mathcal{O}_{\mathbb{P}^n}(1) \to 0,</math> | :<math>0 \to I \to \mathcal{O}_{\mathbb{P}^n}[x_0, \ldots, x_n] \overset{x_i \mapsto y_i}{\longrightarrow} \operatorname{Sym} \mathcal{O}_{\mathbb{P}^n}(1) \to 0,</math> | ||
जैसा कि ऊपर परिभाषित है, टॉटोलॉजिकल | जैसा कि ऊपर परिभाषित है, टॉटोलॉजिकल रेखा बंडल एल, दोहरे से मेल खाता है <math>\mathcal{O}_{\mathbb{P}^n}(-1)</math> सेरे के घुमाव वाले पूले का। व्यवहार में दोनों धारणाओं (टॉटोलॉजिकल रेखा बंडल और ट्विस्टिंग शीफ के दोहरे) का परस्पर उपयोग किया जाता है। | ||
एक क्षेत्र के ऊपर, इसकी दोहरी रेखा बंडल [[हाइपरप्लेन विभाजक]] एच से जुड़ी रेखा बंडल है, जिसके वैश्विक खंड [[रैखिक रूप]] हैं। इसका चेर्न वर्ग −H है। यह एंटी-[[ पर्याप्त लाइन बंडल ]] का | एक क्षेत्र के ऊपर, इसकी दोहरी रेखा बंडल [[हाइपरप्लेन विभाजक]] एच से जुड़ी रेखा बंडल है, जिसके वैश्विक खंड [[रैखिक रूप]] हैं। इसका चेर्न वर्ग −H है। यह एंटी-[[ पर्याप्त लाइन बंडल | पर्याप्त रेखा बंडल]] का उदाहरण है। ऊपर <math>\C,</math> यह कहने के बराबर है कि यह नकारात्मक रेखा बंडल है, जिसका अर्थ है कि इसके चेर्न वर्ग को घटाकर मानक काहलर फॉर्म का डी राम वर्ग है। | ||
==तथ्य== | ==तथ्य== | ||
*टॉटोलॉजिकल | *टॉटोलॉजिकल रेखा बंडल γ<sub>1, ''k''</sub> फाइबर बंडल है लेकिन फाइबर बंडल नहीं#उदाहरण, k ≥ 1 के लिए। यह अन्य क्षेत्रों पर भी सत्य है।{{citation needed|date=December 2014}} | ||
वास्तव में, यह दिखाना सीधा है कि, k = 1 के लिए, वास्तविक टॉटोलॉजिकल | वास्तव में, यह दिखाना सीधा है कि, k = 1 के लिए, वास्तविक टॉटोलॉजिकल रेखा बंडल कोई और नहीं बल्कि प्रसिद्ध बंडल है जिसका फाइबर बंडल मोबियस स्ट्रिप है। उपरोक्त तथ्य के पूर्ण प्रमाण के लिए देखें।<ref>{{harvnb|Milnor|Stasheff|1974|loc=§2. Theorem 2.1.}}</ref> | ||
* | * रेखा बंडलों का पिकार्ड समूह <math>\mathbb{P}(V)</math> [[अनंत चक्रीय]] है, और [[टॉटोलॉजिकल लाइन बंडल|टॉटोलॉजिकल रेखा बंडल]] जनरेटर है। | ||
* प्रक्षेप्य | * प्रक्षेप्य समष्टि की समष्टि में, जहां टॉटोलॉजिकल बंडल रेखा बंडल है, अनुभागों का संबंधित उलटा शीफ है <math>\mathcal{O}(-1)</math>, हाइपरप्लेन बंडल या प्रोज#द ट्विस्टिंग शीफ का टेंसर व्युत्क्रम (यानी दोहरी सदिश बंडल) <math>\mathcal{O}(1)</math>; दूसरे शब्दों में हाइपरप्लेन बंडल पिकार्ड समूह का सकारात्मक डिग्री वाला जनरेटर है (एक विभाजक (बीजगणितीय ज्यामिति) के रूप में) और टॉटोलॉजिकल बंडल इसके विपरीत है: नकारात्मक डिग्री का जनरेटर। | ||
==यह भी देखें== | ==यह भी देखें== | ||
Line 101: | Line 99: | ||
==संदर्भ== | ==संदर्भ== | ||
{{reflist}} | {{reflist}} | ||
==स्रोत== | ==स्रोत== | ||
Line 118: | Line 115: | ||
*{{Citation| last1=Rubei | first1=Elena | title=Algebraic Geometry: A Concise Dictionary | publisher=Walter De Gruyter | location=Berlin/Boston | isbn=978-3-11-031622-3 | year=2014}} | *{{Citation| last1=Rubei | first1=Elena | title=Algebraic Geometry: A Concise Dictionary | publisher=Walter De Gruyter | location=Berlin/Boston | isbn=978-3-11-031622-3 | year=2014}} | ||
श्रेणी: | श्रेणी:सदिश बंडल | ||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 10/07/2023]] | [[Category:Created On 10/07/2023]] |
Revision as of 20:11, 20 July 2023
गणित में, टॉटोलॉजिकल बंडल एक ऐसा सदिश बंडल है जो प्राकृतिक टॉटोलॉजिकल विधि से ग्रासमैनियन पर होता है: के -विमा (सदिश समष्टि) के रैखिक उपसमष्टि ग्रासमैनियन के लिए , -विमीय सदिश उपसमष्टि के अनुरूप ग्रासमैनियन में एक बिंदु दिया जाता है, फाइबर पर स्वयं उप समष्टि है। प्रक्षेप्य समष्टि की समष्टि में टॉटोलॉजिकल बंडल को टॉटोलॉजिकल रेखा बंडल के रूप में जाना जाता है।
किसी भी सदिश बंडल (कॉम्पैक्ट स्पेस पर) के बाद से टॉटोलॉजिकल बंडल को सार्वभौमिक बंडल भी कहा जाता है[1]) टॉटोलॉजिकल बंडल का पुलबैक है; कहने का तात्पर्य यह है कि ग्रासमैनियन सदिश बंडलों के लिए वर्गीकृत समष्टि है। इस वजह से, विशिष्ट वर्गों के अध्ययन में टॉटोलॉजिकल बंडल महत्वपूर्ण है।
टॉटोलॉजिकल बंडलों का निर्माण बीजगणितीय टोपोलॉजी और बीजगणितीय ज्यामिति दोनों में किया जाता है। बीजगणितीय ज्यामिति में, टॉटोलॉजिकल रेखा बंडल (उल्टे शीफ के रूप में) है
हाइपरप्लेन बंडल या सेरे के ट्विस्टिंग शीफ का दोहरा बंडल . हाइपरप्लेन बंडल हाइपरप्लेन (विभाजक (बीजगणितीय ज्यामिति)) के अनुरूप रेखा बंडल है में . टॉटोलॉजिकल रेखा बंडल और हाइपरप्लेन बंडल वास्तव में प्रक्षेप्य समष्टि के पिकार्ड समूह के दो जनरेटर हैं।[2] माइकल अतियाह के के-सिद्धांत में, जटिल प्रक्षेप्य समष्टि पर टॉटोलॉजिकल रेखा बंडल को मानक रेखा बंडल कहा जाता है। मानक बंडल के गोलाकार बंडल को आमतौर पर हॉपफ बंडल कहा जाता है। (सीएफ. बोतल जनरेटर।)
अधिक आम तौर पर, सदिश बंडल के प्रक्षेप्य बंडल के साथ-साथ ग्रासमैन बंडल पर भी टॉटोलॉजिकल बंडल होते हैं।
पुराना शब्द कैनोनिकल बंडल इस आधार पर अप्रचलित हो गया है कि विहित वर्गबहुविकल्पी) गणितीय शब्दावली में अत्यधिक अतिभारित है, और (इससे भी बदतर) बीजगणितीय ज्यामिति में कैनोनिकल वर्ग के साथ भ्रम है शायद ही टाला जा सके।
सहज परिभाषा
परिभाषा के अनुसार ग्रासमैनियन किसी दिए गए सदिश स्थल में, दिए गए विमा के रैखिक उप-समष्टिों के लिए पैरामीटर समष्टि हैं . अगर ग्रासमैनियन है, और का उपसमष्टि है तदनुसार में , यह पहले से ही लगभग सदिश बंडल के लिए आवश्यक डेटा है: अर्थात् प्रत्येक बिंदु के लिए सदिश समष्टि , लगातार बदलता रहता है। वह सब जो इस संकेत से टॉटोलॉजिकल बंडल की परिभाषा को रोक सकता है, वह कठिनाई है प्रतिच्छेद करने जा रहे हैं. इसे ठीक करना असंयुक्त संघ डिवाइस का नियमित अनुप्रयोग है, ताकि बंडल प्रक्षेपण फाइबर बंडल से हो जो कि समान प्रतियों से बना हो। , जो अब प्रतिच्छेद नहीं करते। इसके साथ ही हमारे पास बंडल है.
प्रक्षेप्य अंतरिक्ष मामला शामिल है। रिवाज के सन्दर्भ मे दोहरे अंतरिक्ष अर्थ में टॉटोलॉजिकल बंडल को उपयोगी रूप से ले जा सकता है। यानी साथ में दोहरी जगह, के बिंदु के सदिश उप-समष्टि ले जाएं यह उनकी गुठली है, जब इसे रैखिक कार्यात्मकताओं की (किरणों) के रूप में माना जाता है . अगर विमा है , टॉटोलॉजिकल रेखा बंडल टॉटोलॉजिकल बंडल है, और दूसरा, जिसका अभी वर्णन किया गया है, रैंक का है .
औपचारिक परिभाषा
होने देना में एन-विमीय सदिश उप-समष्टिों का ग्रासमैनियन बनें समुच्चय के रूप में यह सभी n-विमीय सदिश उप-समष्टिों का समुच्चय है उदाहरण के लिए, यदि n = 1 है, तो यह वास्तविक प्रक्षेप्य k-स्पेस है।
हम टॉटोलॉजिकल बंडल γ को परिभाषित करते हैंn, k ऊपर निम्नलिखित नुसार। बंडल का कुल समष्टि सभी जोड़ों (वी, वी) का सेट है जिसमें ग्रासमैनियन का बिंदु वी और वी में सदिश वी शामिल है; इसे कार्टेशियन उत्पाद की उप-समष्टि टोपोलॉजी दी गई है प्रक्षेपण मानचित्र π, π(V, v) = V द्वारा दिया जाता है। यदि F, π के अंतर्गत V की पूर्व छवि है, तो इसे a(V, v) + b(V, w) द्वारा सदिश समष्टि की संरचना दी जाती है। ) = (वी, एवी + बीडब्ल्यू)। अंत में, समष्टिीय तुच्छता को देखने के लिए, ग्रासमैनियन में बिंदु[3] और फिर परिभाषित करें
जो स्पष्ट रूप से होम्योमोर्फिज्म है। इसलिए, परिणाम रैंक n का सदिश बंडल है।
यदि हम प्रतिस्थापित करें तो उपरोक्त परिभाषा का अर्थ बना रहता है जटिल क्षेत्र के साथ परिभाषा के अनुसार, अनंत ग्रासमैनियन की सीधी सीमा है जैसा बंडलों की सीधी सीमा लेना γn, k टॉटोलॉजिकल बंडल γ देता हैn का यह इस अर्थ में सार्वभौमिक बंडल है: प्रत्येक कॉम्पैक्ट स्पेस एक्स के लिए, प्राकृतिक आक्षेप है
जहां बाईं ओर कोष्ठक का अर्थ समरूपता वर्ग है और दाईं ओर रैंक एन के वास्तविक सदिश बंडलों के समरूपता वर्गों का सेट है। उलटा नक्शा इस प्रकार दिया गया है: चूंकि एक्स कॉम्पैक्ट है, कोई भी सदिश बंडल ई तुच्छ बंडल का सबबंडल है: कुछ k के लिए और इसलिए E मानचित्र निर्धारित करता है
समरूपता तक अद्वितीय।
टिप्पणी: बदले में, कोई टॉटोलॉजिकल बंडल को सार्वभौमिक बंडल के रूप में परिभाषित कर सकता है; मान लीजिए कि कोई स्वाभाविक आपत्ति है
किसी भी पैराकॉम्पैक्ट स्पेस X के लिए कॉम्पैक्ट स्पेस की प्रत्यक्ष सीमा है, यह पैराकॉम्पैक्ट है और इसलिए इसके ऊपर अद्वितीय सदिश बंडल है जो कि पहचान मानचित्र से मेल खाता है यह वास्तव में टॉटोलॉजिकल बंडल है और, प्रतिबंध के द्वारा, किसी को सभी पर टॉटोलॉजिकल बंडल मिलते हैं
हाइपरप्लेन बंडल
वास्तविक प्रक्षेप्य k-स्पेस पर हाइपरप्लेन बंडल H को इस प्रकार परिभाषित किया गया है। H का कुल समष्टि सभी युग्मों (L, f) का समुच्चय है, जिसमें मूल बिंदु से होकर जाने वाली रेखा L शामिल है। और एफ एल पर रैखिक कार्यात्मक है। प्रक्षेपण मानचित्र π π (एल, एफ) = एल द्वारा दिया गया है (ताकि एल पर फाइबर एल का दोहरी सदिश समष्टि हो।) बाकी बिल्कुल टॉटोलॉजिकल रेखा बंडल की तरह है।
दूसरे शब्दों में, एच टॉटोलॉजिकल रेखा बंडल का दोहरा बंडल है।
बीजगणितीय ज्यामिति में, हाइपरप्लेन बंडल 'हाइपरप्लेन विभाजक' के अनुरूप रेखा बंडल (उलटा शीफ के रूप में) है
मान लीजिए, x के रूप में दिया गया है0 = 0, जब xiसजातीय निर्देशांक हैं. इस प्रकार इसे देखा जा सकता है। यदि D वेइल विभाजक है|(वेइल) विभाजक है one, X पर संबंधित रेखा बंडल O(D) को परिभाषित करता है
जहां K, X पर परिमेय फलनों का क्षेत्र है। D को H मानते हुए, हमारे पास है:
कहां एक्स0 हमेशा की तरह, ट्विस्टिंग शीफ़ O(1) के वैश्विक खंड के रूप में देखा जाता है। (वास्तव में, उपरोक्त समरूपता वेइल डिवाइडर और कार्टियर डिवाइडर के बीच सामान्य पत्राचार का हिस्सा है।) अंत में, ट्विस्टिंग शीफ का दोहरा टॉटोलॉजिकल रेखा बंडल (नीचे देखें) से मेल खाता है।
बीजगणितीय ज्यामिति में टॉटोलॉजिकल रेखा बंडल
बीजगणितीय ज्यामिति में, यह धारणा किसी भी क्षेत्र k पर मौजूद होती है। ठोस परिभाषा इस प्रकार है. होने देना और . ध्यान दें कि हमारे पास है:
जहां स्पेक सापेक्ष स्पेक है। अब, डालें:
जहां I वैश्विक वर्गों द्वारा उत्पन्न आदर्श शीफ है . तब L बंद उपयोजना है ही आधार योजना पर ; इसके अलावा, L के बंद बिंदु बिल्कुल (x, y) के ही हैं जैसे कि या तो x शून्य है या x की छवि है य है. इस प्रकार, L टॉटोलॉजिकल रेखा बंडल है जैसा कि पहले परिभाषित किया गया है यदि k वास्तविक या जटिल संख्याओं का क्षेत्र है।
अधिक संक्षिप्त शब्दों में, एल एफ़िन स्पेस की उत्पत्ति का ब्लो-अप | ब्लो-अप है , जहां एल में लोकस x = 0 असाधारण भाजक है। (सीएफ. हार्टशोर्न, अध्याय I, § 4 का अंत)
सामान्य रूप में, परिमित रैंक के समष्टिीय रूप से मुक्त शीफ ई के अनुरूप बीजगणितीय सदिश बंडल है।[4] चूँकि हमारे पास सटीक क्रम है:
जैसा कि ऊपर परिभाषित है, टॉटोलॉजिकल रेखा बंडल एल, दोहरे से मेल खाता है सेरे के घुमाव वाले पूले का। व्यवहार में दोनों धारणाओं (टॉटोलॉजिकल रेखा बंडल और ट्विस्टिंग शीफ के दोहरे) का परस्पर उपयोग किया जाता है।
एक क्षेत्र के ऊपर, इसकी दोहरी रेखा बंडल हाइपरप्लेन विभाजक एच से जुड़ी रेखा बंडल है, जिसके वैश्विक खंड रैखिक रूप हैं। इसका चेर्न वर्ग −H है। यह एंटी- पर्याप्त रेखा बंडल का उदाहरण है। ऊपर यह कहने के बराबर है कि यह नकारात्मक रेखा बंडल है, जिसका अर्थ है कि इसके चेर्न वर्ग को घटाकर मानक काहलर फॉर्म का डी राम वर्ग है।
तथ्य
- टॉटोलॉजिकल रेखा बंडल γ1, k फाइबर बंडल है लेकिन फाइबर बंडल नहीं#उदाहरण, k ≥ 1 के लिए। यह अन्य क्षेत्रों पर भी सत्य है।[citation needed]
वास्तव में, यह दिखाना सीधा है कि, k = 1 के लिए, वास्तविक टॉटोलॉजिकल रेखा बंडल कोई और नहीं बल्कि प्रसिद्ध बंडल है जिसका फाइबर बंडल मोबियस स्ट्रिप है। उपरोक्त तथ्य के पूर्ण प्रमाण के लिए देखें।[5]
- रेखा बंडलों का पिकार्ड समूह अनंत चक्रीय है, और टॉटोलॉजिकल रेखा बंडल जनरेटर है।
- प्रक्षेप्य समष्टि की समष्टि में, जहां टॉटोलॉजिकल बंडल रेखा बंडल है, अनुभागों का संबंधित उलटा शीफ है , हाइपरप्लेन बंडल या प्रोज#द ट्विस्टिंग शीफ का टेंसर व्युत्क्रम (यानी दोहरी सदिश बंडल) ; दूसरे शब्दों में हाइपरप्लेन बंडल पिकार्ड समूह का सकारात्मक डिग्री वाला जनरेटर है (एक विभाजक (बीजगणितीय ज्यामिति) के रूप में) और टॉटोलॉजिकल बंडल इसके विपरीत है: नकारात्मक डिग्री का जनरेटर।
यह भी देखें
- हॉपफ बंडल
- स्टिफ़ेल-व्हिटनी वर्ग
- यूलर अनुक्रम
- चेर्न वर्ग (टॉटोलॉजिकल बंडलों का चेर्न वर्ग अनंत ग्रासमैनियन के कोहोमोलॉजी रिंग का बीजगणितीय रूप से स्वतंत्र जनरेटर है।)
- बोरेल का प्रमेय
- थॉम स्पेस (टॉटोलॉजिकल बंडलों के थॉम स्पेस γn चूँकि n →∞ को थॉम स्पेक्ट्रम कहा जाता है।)
- ग्रासमैन बंडल
संदर्भ
- ↑ Over a noncompact but paracompact base, this remains true provided one uses infinite Grassmannian.
- ↑ In literature and textbooks, they are both often called canonical generators.
- ↑ U is open since is given a topology such that
- ↑ Editorial note: this definition differs from Hartshorne in that he does not take dual, but is consistent with the standard practice and the other parts of Wikipedia.
- ↑ Milnor & Stasheff 1974, §2. Theorem 2.1.
स्रोत
- Atiyah, Michael Francis (1989), K-theory, Advanced Book Classics (2nd ed.), Addison-Wesley, ISBN 978-0-201-09394-0, MR 1043170
- Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library, New York: John Wiley & Sons, doi:10.1002/9781118032527, ISBN 978-0-471-05059-9, MR 1288523.
- Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052.
- Milnor, John W.; Stasheff, James D. (1974), Characteristic Classes, Annals of Mathematics Studies, vol. 76, Princeton, New Jersey: Princeton University Press, MR 0440554
- Rubei, Elena (2014), Algebraic Geometry: A Concise Dictionary, Berlin/Boston: Walter De Gruyter, ISBN 978-3-11-031622-3
श्रेणी:सदिश बंडल