टॉटोलॉजिकल बंडल: Difference between revisions
No edit summary |
(→स्रोत) |
||
(5 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, टॉटोलॉजिकल बंडल एक ऐसा [[वेक्टर बंडल|सदिश बंडल]] है जो प्राकृतिक टॉटोलॉजिकल विधि से [[ग्रासमैनियन]] पर होता है: <math>V</math> के <math>k</math>-[[आयाम (वेक्टर स्थान)|विमा (सदिश समष्टि)]] के [[रैखिक उपस्थान|रैखिक उपसमष्टि]] ग्रासमैनियन के लिए , <math>k</math>-विमीय सदिश उपसमष्टि <math>W \subseteq V</math> के अनुरूप ग्रासमैनियन में एक बिंदु दिया जाता है, फाइबर पर <math>W</math> स्वयं उप समष्टि <math>W</math> है। [[प्रक्षेप्य स्थान|प्रक्षेप्य समष्टि]] की समष्टि में टॉटोलॉजिकल बंडल को टॉटोलॉजिकल रेखा बंडल के रूप में जाना जाता है। | गणित में, '''टॉटोलॉजिकल बंडल''' एक ऐसा [[वेक्टर बंडल|'''सदिश बंडल''']] है जो प्राकृतिक टॉटोलॉजिकल विधि से [[ग्रासमैनियन]] पर होता है: <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> | इस प्रकार से किसी भी सदिश बंडल (संहत समष्टि पर) के बाद से टॉटोलॉजिकल बंडल को [[ सार्वभौमिक बंडल |'''सार्वभौमिक बंडल''']] भी कहा जाता है<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>\mathbb{P}^n</math> में अधिसमतल (वि[[भाजक (बीजगणितीय ज्यामिति)]]) <math>\mathbb{P}^{n-1}</math> के अनुरूप रेखा बंडल है। टॉटोलॉजिकल रेखा बंडल और अधिसमतल बंडल | [[दोहरा बंडल]] है। अतः '''अधिसमतल बंडल''', <math>\mathbb{P}^n</math> में अधिसमतल (वि[[भाजक (बीजगणितीय ज्यामिति)]]) <math>\mathbb{P}^{n-1}</math> के अनुरूप रेखा बंडल है। टॉटोलॉजिकल रेखा बंडल और अधिसमतल बंडल वस्तुतः प्रक्षेप्य समष्टि के [[पिकार्ड समूह]] के दो जनक हैं।<ref>In literature and textbooks, they are both often called canonical generators.</ref> | ||
[[माइकल अतियाह]] के K-सिद्धांत में, [[जटिल प्रक्षेप्य स्थान|जटिल प्रक्षेप्य समष्टि]] पर टॉटोलॉजिकल रेखा बंडल को मानक रेखा बंडल कहा जाता है। मानक बंडल के गोलाकार बंडल को सामान्यतः [[हॉपफ बंडल]] कहा जाता है। (सीएफ. बोट जनक।) | इस प्रकार से [[माइकल अतियाह]] के K-सिद्धांत में, [[जटिल प्रक्षेप्य स्थान|जटिल प्रक्षेप्य समष्टि]] पर टॉटोलॉजिकल रेखा बंडल को '''मानक रेखा बंडल''' कहा जाता है। मानक बंडल के गोलाकार बंडल को सामान्यतः [[हॉपफ बंडल]] कहा जाता है। (सीएफ. बोट जनक।) | ||
अधिक सामान्यतः, सदिश बंडल के [[ प्रक्षेप्य बंडल |प्रक्षेप्य बंडल]] के साथ-साथ [[ग्रासमैन बंडल]] पर भी टॉटोलॉजिकल बंडल होते हैं। | इस प्रकार से अधिक सामान्यतः, सदिश बंडल के [[ प्रक्षेप्य बंडल |प्रक्षेप्य बंडल]] के साथ-साथ [[ग्रासमैन बंडल]] पर भी टॉटोलॉजिकल बंडल होते हैं। | ||
प्राचीन शब्द ''कैनोनिकल बंडल'' इस आधार पर अप्रचलित हो गया है कि ''[[विहित वर्ग]]बहुविकल्पी | प्राचीन शब्द ''कैनोनिकल बंडल'' इस आधार पर अप्रचलित हो गया है कि ''[[विहित वर्ग]]बहुविकल्पी'' गणितीय शब्दावली में अत्यधिक अतिभारित है, और (इससे भी निकृष्ट) [[बीजगणितीय ज्यामिति]] में कैनोनिकल वर्ग के साथ भ्रम है संभवतः अवरोधित किया जा सके। | ||
== सहज परिभाषा == | == सहज परिभाषा == | ||
परिभाषा के अनुसार ग्रासमैनियन किसी दिए गए [[सदिश स्थल]] में, दिए गए विमा के रैखिक उप- | परिभाषा के अनुसार ग्रासमैनियन किसी दिए गए [[सदिश स्थल|सदिश]] समष्टि में, दिए गए विमा के रैखिक उप-समष्टि के लिए पैरामीटर समष्टि <math>W</math> हैं। यदि <math>G</math> ग्रासमैनियन है, और <math>V_g</math>, <math>G</math> में <math>g</math> के अनुरूप <math>W</math> का उप-समष्टि है, तो यह पहले से ही लगभग एक सदिश बंडल के लिए आवश्यक डेटा है: अर्थात् प्रत्येक बिंदु <math>g</math> के लिए एक सदिश स्थान, जो निरंतर बदलता रहता है। इस प्रकार से वह सभी जो इस संकेत से टॉटोलॉजिकल बंडल की परिभाषा को रोक सकता है, वह कठिनाई है जिसे <math>V_g</math> प्रतिच्छेद करने जा रहा है। इसे ठीक करना [[ असंयुक्त संघ |असंयुक्त संघ]] उपकरण का नियमित अनुप्रयोग है, ताकि बंडल प्रक्षेपण <math>V_g</math> की समान प्रतियों से बने [[फाइबर बंडल]] से हो, जो अब एक दूसरे को नहीं काटते हैं। इसके साथ ही हमारे निकट बंडल है। | ||
प्रक्षेप्य समष्टि स्थिति सम्मिलित है। परिपाटी के अनुसार <math>P(V)</math> दोहरे समष्टि अर्थ में टॉटोलॉजिकल बंडल को उपयोगी रूप से ले जा सकता है। अर्थात <math>V^*</math> दोहरे स्थान के साथ, <math>P(V)</math> के बिंदु <math>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>\R^{n+k}</math> में एन-विमीय सदिश उप- | इस प्रकार से मान लीजिए कि <math>G_n(\R^{n+k})</math> <math>\R^{n+k}</math> में एन-विमीय सदिश उप-समष्टि का ग्रासमैनियन का ग्रासमैनियन है; एक समुच्चय के रूप में यह <math>\R^{n+k}</math> के सभी एन-विमीय सदिश उप-समष्टि का समुच्चय है। अतः इस प्रकार से उदाहरण के लिए, यदि '''''n = 1''''' है, तो यह वास्तविक प्रक्षेप्य k-समष्टि है। | ||
हम टॉटोलॉजिकल बंडल γ<sub>''n'', ''k''</sub> पर <math>G_n(\R^{n+k})</math> पर निम्नानुसार परिभाषित करते हैं। बंडल का कुल समष्टि सभी युग्मों (''V'', ''v'') का | हम टॉटोलॉजिकल बंडल γ<sub>''n'', ''k''</sub> पर <math>G_n(\R^{n+k})</math> पर निम्नानुसार परिभाषित करते हैं। बंडल का कुल समष्टि सभी युग्मों (''V'', ''v'') का समुच्चय है जिसमें ग्रासमैनियन का एक बिंदु ''V'' और''V'' में एक सदिश ''v'' सम्मिलित है; इसे कार्तीय गुणनफल <math>G_n(\R^{n+k}) \times \R^{n+k}</math> की उप-समष्टि टोपोलॉजी दी गई है। इस प्रकार से प्रक्षेपण प्रतिचित्र '''''π, π(V, v) = V''''' द्वारा दिया गया है। यदि '''F, π''' के अंतर्गत V का पूर्व प्रतिबिम्ब है, तो इसे '''a(V, v) + b(V, w) = (V, av + bw)''' द्वारा एक सदिश स्थान की संरचना दी जाती है। अंत में, स्थानीय तुच्छता को देखने के लिए, ग्रासमैनियन में एक बिंदु X दिया गया है, U को सभी V का समूह होने दें,<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> | ||
where <math>p_V</math> is the orthogonal projection onto ''V'', is a homeomorphism onto the image.</ref> जैसे कि X पर | where <math>p_V</math> is the orthogonal projection onto ''V'', is a homeomorphism onto the image.</ref> जैसे कि X पर लाम्बिक प्रक्षेपण p, V को X पर समरूपी रूप से प्रतिचित्रित करता है, और फिर | ||
:<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 का सदिश बंडल है। | को परिभाषित करता है जो स्पष्ट रूप से एक होमोमोर्फिज्म है। इसलिए, परिणाम पद n का सदिश बंडल है। | ||
यदि हम | इस प्रकार से यदि हम <math>\R</math> को [[जटिल क्षेत्र]] <math>\C</math> से बदल दें तो उपरोक्त परिभाषा का अर्थ बना रहता है। | ||
परिभाषा | |||
:<math>\begin{cases} [X, G_n] \to \operatorname{Vect}^{\R}_n(X) \\ f \mapsto f^*(\gamma_n) \end{cases}</math> | अतः परिभाषा के अनुसार, अनंत ग्रासमैनियन <math>G_n</math> <math>G_n(\R^{n+k})</math> की <math>k\to\infty</math> के रूप में प्रत्यक्ष सीमा है। बंडलों की प्रत्यक्ष सीमा '''''γ<sub>n, k</sub>''''' लेते हुए, <math>G_n</math> का टॉटोलॉजिकल बंडल γ<sub>''n''</sub> देता है। टॉटोलॉजिकल बंडल यह इस अर्थ में सार्वभौमिक बंडल है: प्रत्येक संहत समष्टि X के लिए, प्राकृतिक आक्षेप<math>\begin{cases} [X, G_n] \to \operatorname{Vect}^{\R}_n(X) \\ f \mapsto f^*(\gamma_n) \end{cases}</math> | ||
जहां बाईं ओर कोष्ठक का अर्थ | |||
है जहां बाईं ओर कोष्ठक का अर्थ समस्थेयता कक्ष है और दाईं ओर पद एन के वास्तविक सदिश बंडलों के समरूपता वर्गों का समुच्चय है। व्युत्क्रम प्रतिचित्र इस प्रकार दिया गया है: चूंकि X संहत है, कोई भी सदिश बंडल E तुच्छ बंडल का उपबंडल है: कुछ k के लिए <math>E \hookrightarrow X \times \R^{n+k}</math> और इसलिए 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> | ||
निर्धारित करता है। | |||
टिप्पणी: | '''टिप्पणी''': इसके स्थान पर, कोई टॉटोलॉजिकल बंडल को सार्वभौमिक बंडल के रूप में परिभाषित कर सकता है; मान लीजिए कि किसी X के लिए एक प्राकृतिक आक्षेप | ||
:<math>[X, G_n] = \operatorname{Vect}^{\R}_n(X)</math> | :<math>[X, G_n] = \operatorname{Vect}^{\R}_n(X)</math> है। | ||
चूँकि <math>G_n</math> सघन समष्टि की प्रत्यक्ष सीमा है, यह अनुसंहत है और इसलिए <math>G_n</math> के ऊपर एक अद्वितीय सदिश बंडल है जो <math>G_n</math> पर पहचान प्रतिचित्र से मेल खाता है। यह वस्तुतः टॉटोलॉजिकल बंडल है और, प्रतिबंध के द्वारा, किसी को सभी <math>G_n(\R^{n+k})</math> पर टॉटोलॉजिकल बंडल प्राप्त होता है। | |||
== अधिसमतल बंडल == | == अधिसमतल बंडल == | ||
वास्तविक प्रक्षेप्य ''k''-समष्टि पर अधिसमतल बंडल ''H'' को इस प्रकार परिभाषित किया गया है। | इस प्रकार से वास्तविक प्रक्षेप्य ''k''-समष्टि पर अधिसमतल बंडल ''H'' को इस प्रकार परिभाषित किया गया है। H का कुल स्थान सभी युग्मों (L, f) का समुच्चय है, जिसमें <math>\R^{k+1}</math> में मूल बिंदु से होकर जाने वाली एक रेखा L और L पर एक रैखिक फलनात्मक f सम्मिलित है। प्रक्षेपण प्रतिचित्र π π(''L'', ''f'') = ''L'' द्वारा दिया गया है (ताकि L पर फाइबर L का दोहरी सदिश समष्टि हो।) शेष निश्चित टॉटोलॉजिकल रेखा बंडल के जैसे है। | ||
दूसरे शब्दों में, | इस प्रकार से दूसरे शब्दों में, H टॉटोलॉजिकल रेखा बंडल का दोहरा बंडल है। | ||
बीजगणितीय ज्यामिति में, अधिसमतल बंडल 'अधिसमतल विभाजक' | अतः बीजगणितीय ज्यामिति में, अधिसमतल बंडल '''<nowiki/>'अधिसमतल विभाजक'''' | ||
:<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, <math>X=\mathbb{P}^n</math> पर एक (वेइल) विभाजक है, तो कोई 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> | ||
जहां K, X पर | द्वारा परिभाषित करता है, जहां K, X पर तर्कसंगत फलनों का क्षेत्र है। D को H मानते हुए, हमारे निकट है: | ||
:<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> | ||
जहाँ X<sub>0</sub> को, सदैव के जैसे, व्यावर्ती शीफ़ O(1) के वैश्विक खंड के रूप में देखा जाता है। (वस्तुतः, उपरोक्त समरूपता वेइल भाजक और कार्टियर भाजक के बीच सामान्य पत्राचार का भाग है।) अंत में, व्यावर्ती शीफ का दोहरा टॉटोलॉजिकल रेखा बंडल (नीचे देखें) से मेल खाता है। | |||
==बीजगणितीय ज्यामिति में टॉटोलॉजिकल रेखा बंडल== | ==बीजगणितीय ज्यामिति में टॉटोलॉजिकल रेखा बंडल== | ||
बीजगणितीय ज्यामिति में, यह धारणा किसी भी क्षेत्र k पर | बीजगणितीय ज्यामिति में, यह धारणा किसी भी क्षेत्र k पर स्थित होती है। ठोस परिभाषा इस प्रकार है। इस प्रकार से मान लीजिए <math>A = k[y_0, \dots, y_n]</math> और <math>\mathbb{P}^n = \operatorname{Proj}A</math> है। ध्यान दें कि हमारे निकट है: | ||
:<math>\mathbf{Spec} \left (\mathcal{O}_{\mathbb{P}^n}[x_0, \ldots, x_n] \right ) = \mathbb{A}^{n+1}_{\mathbb{P}^n} = \mathbb{A}^{n+1} \times_k {\mathbb{P}^n}</math> | :<math>\mathbf{Spec} \left (\mathcal{O}_{\mathbb{P}^n}[x_0, \ldots, x_n] \right ) = \mathbb{A}^{n+1}_{\mathbb{P}^n} = \mathbb{A}^{n+1} \times_k {\mathbb{P}^n}</math> | ||
जहां स्पेक सापेक्ष स्पेक है। अब, डालें: | जहां '''स्पेक''' सापेक्ष '''स्पेक''' है। अब, डालें: | ||
:<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 वैश्विक | जहां I वैश्विक अनुभाग <math>x_iy_j-x_jy_i</math> द्वारा उत्पन्न आदर्श शीफ है। तब L उसी आधार योजना <math>\mathbb{P}^n</math> पर <math>\mathbb{A}^{n+1}_{\mathbb{P}^n}</math> की एक संवृत उपयोजना है; इसके अतिरिक्त, L के संवृत बिंदु निश्चित <math>\mathbb{A}^{n+1} \times_k \mathbb{P}^n</math> के (x, y) हैं जैसे कि या तो x शून्य है या <math>\mathbb{P}^n</math> में x की प्रतिबिम्ब y है। इस प्रकार, L टॉटोलॉजिकल रेखा बंडल है जैसा कि पहले परिभाषित किया गया है यदि k वास्तविक या जटिल संख्याओं का क्षेत्र है। | ||
अधिक संक्षिप्त शब्दों में, | अधिक संक्षिप्त शब्दों में, L एफ़िन समष्टि की उत्पत्ति का आवर्धित <math>\mathbb{A}^{n+1}</math> है, जहां L में बिन्दुपथ x = 0 एक [[असाधारण भाजक]] है। (सीएफ. हार्टशोर्न, अध्याय., § 4 का अंत) | ||
सामान्य रूप में, <math>\mathbf{Spec}(\operatorname{Sym} \check{E})</math> परिमित | इस प्रकार से सामान्य रूप में, <math>\mathbf{Spec}(\operatorname{Sym} \check{E})</math> परिमित पद के स्थानीय रूप से मुक्त शीफ E के अनुरूप [[बीजगणितीय वेक्टर बंडल|बीजगणितीय सदिश बंडल]] है।<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> | ||
जैसा कि ऊपर परिभाषित है, टॉटोलॉजिकल रेखा बंडल | जैसा कि ऊपर परिभाषित गया है, टॉटोलॉजिकल रेखा बंडल L, सेरे के व्यावर्ती शीफ के दोहरे <math>\mathcal{O}_{\mathbb{P}^n}(-1)</math> से मेल खाता है। व्यवहार में दोनों धारणाओं (टॉटोलॉजिकल रेखा बंडल और व्यावर्ती शीफ के दोहरे) का परस्पर उपयोग किया जाता है। | ||
एक क्षेत्र | अतः इस प्रकार से एक क्षेत्र पर, इसकी दोहरी रेखा बंडल [[हाइपरप्लेन विभाजक|अधिसमतल विभाजक]] H से जुड़ी रेखा बंडल है, जिसके वैश्विक खंड [[रैखिक रूप]] हैं। इसका चेर्न वर्ग −H है। यह प्रति-[[ पर्याप्त लाइन बंडल |पर्याप्त रेखा बंडल]] का उदाहरण है। <math>\C,</math> से अधिक, यह कहने के बराबर है कि यह एक ऋणात्मक रेखा बंडल है, जिसका अर्थ है कि इसके चेर्न वर्ग को घटाकर मानक काहलर रूप का डी राम वर्ग है। | ||
==तथ्य== | ==तथ्य== | ||
*टॉटोलॉजिकल रेखा बंडल γ<sub>1, ''k''</sub> | *टॉटोलॉजिकल रेखा बंडल γ<sub>1, ''k''</sub> स्थानीय रूप से तुच्छ है, परन्तु 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> का टेंसर व्युत्क्रम (अर्थात दोहरी सदिश बंडल); दूसरे शब्दों में अधिसमतल बंडल पिकार्ड समूह का धनात्मक घात वाला जनक है (एक विभाजक (बीजगणितीय ज्यामिति) के रूप में) और टॉटोलॉजिकल बंडल इसके विपरीत है: ऋणात्मक घात का जनक। | ||
==यह भी देखें== | ==यह भी देखें== | ||
* हॉपफ बंडल | * हॉपफ बंडल | ||
*[[ स्टिफ़ेल-व्हिटनी वर्ग ]] | *[[ स्टिफ़ेल-व्हिटनी वर्ग |स्टिफ़ेल-व्हिटनी वर्ग]] | ||
*[[यूलर अनुक्रम]] | *[[यूलर अनुक्रम]] | ||
*चेर्न वर्ग (टॉटोलॉजिकल बंडलों का चेर्न वर्ग अनंत ग्रासमैनियन के | *चेर्न वर्ग (टॉटोलॉजिकल बंडलों का चेर्न वर्ग अनंत ग्रासमैनियन के सह समरूपता वलय का बीजगणितीय रूप से स्वतंत्र जनक है।) | ||
*बोरेल का प्रमेय | *बोरेल का प्रमेय | ||
* [[थॉम स्पेस|थॉम समष्टि]] (टॉटोलॉजिकल बंडलों के थॉम समष्टि γ<sub>''n''</sub> चूँकि n →∞ को [[थॉम स्पेक्ट्रम]] कहा जाता है।) | * [[थॉम स्पेस|थॉम समष्टि]] (टॉटोलॉजिकल बंडलों के थॉम समष्टि γ<sub>''n''</sub> चूँकि n →∞ को [[थॉम स्पेक्ट्रम|थॉम वर्णक्रम]] कहा जाता है।) | ||
*ग्रासमैन बंडल | *ग्रासमैन बंडल | ||
Line 116: | Line 116: | ||
*{{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:Created On 10/07/2023]] | [[Category:Created On 10/07/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] |
Latest revision as of 15:40, 4 September 2023
गणित में, टॉटोलॉजिकल बंडल एक ऐसा सदिश बंडल है जो प्राकृतिक टॉटोलॉजिकल विधि से ग्रासमैनियन पर होता है: के -विमा (सदिश समष्टि) के रैखिक उपसमष्टि ग्रासमैनियन के लिए, -विमीय सदिश उपसमष्टि के अनुरूप ग्रासमैनियन में एक बिंदु दिया जाता है, फाइबर पर स्वयं उप समष्टि है। प्रक्षेप्य समष्टि की समष्टि में टॉटोलॉजिकल बंडल को टॉटोलॉजिकल रेखा बंडल के रूप में जाना जाता है।
इस प्रकार से किसी भी सदिश बंडल (संहत समष्टि पर) के बाद से टॉटोलॉजिकल बंडल को सार्वभौमिक बंडल भी कहा जाता है[1] टॉटोलॉजिकल बंडल का पुलबैक है; कहने का तात्पर्य यह है कि ग्रासमैनियन सदिश बंडलों के लिए वर्गीकृत समष्टि है। अतः इस कारण से, विशिष्ट वर्गों के अध्ययन में टॉटोलॉजिकल बंडल महत्वपूर्ण है।
इस प्रकार से टॉटोलॉजिकल बंडलों का निर्माण बीजगणितीय टोपोलॉजी और बीजगणितीय ज्यामिति दोनों में किया जाता है। बीजगणितीय ज्यामिति में, टॉटोलॉजिकल रेखा बंडल (व्युत्क्रम शीफ के रूप में) अधिसमतल बंडल या सेरे के व्यावर्ती शीफ का
दोहरा बंडल है। अतः अधिसमतल बंडल, में अधिसमतल (विभाजक (बीजगणितीय ज्यामिति)) के अनुरूप रेखा बंडल है। टॉटोलॉजिकल रेखा बंडल और अधिसमतल बंडल वस्तुतः प्रक्षेप्य समष्टि के पिकार्ड समूह के दो जनक हैं।[2]
इस प्रकार से माइकल अतियाह के K-सिद्धांत में, जटिल प्रक्षेप्य समष्टि पर टॉटोलॉजिकल रेखा बंडल को मानक रेखा बंडल कहा जाता है। मानक बंडल के गोलाकार बंडल को सामान्यतः हॉपफ बंडल कहा जाता है। (सीएफ. बोट जनक।)
इस प्रकार से अधिक सामान्यतः, सदिश बंडल के प्रक्षेप्य बंडल के साथ-साथ ग्रासमैन बंडल पर भी टॉटोलॉजिकल बंडल होते हैं।
प्राचीन शब्द कैनोनिकल बंडल इस आधार पर अप्रचलित हो गया है कि विहित वर्गबहुविकल्पी गणितीय शब्दावली में अत्यधिक अतिभारित है, और (इससे भी निकृष्ट) बीजगणितीय ज्यामिति में कैनोनिकल वर्ग के साथ भ्रम है संभवतः अवरोधित किया जा सके।
सहज परिभाषा
परिभाषा के अनुसार ग्रासमैनियन किसी दिए गए सदिश समष्टि में, दिए गए विमा के रैखिक उप-समष्टि के लिए पैरामीटर समष्टि हैं। यदि ग्रासमैनियन है, और , में के अनुरूप का उप-समष्टि है, तो यह पहले से ही लगभग एक सदिश बंडल के लिए आवश्यक डेटा है: अर्थात् प्रत्येक बिंदु के लिए एक सदिश स्थान, जो निरंतर बदलता रहता है। इस प्रकार से वह सभी जो इस संकेत से टॉटोलॉजिकल बंडल की परिभाषा को रोक सकता है, वह कठिनाई है जिसे प्रतिच्छेद करने जा रहा है। इसे ठीक करना असंयुक्त संघ उपकरण का नियमित अनुप्रयोग है, ताकि बंडल प्रक्षेपण की समान प्रतियों से बने फाइबर बंडल से हो, जो अब एक दूसरे को नहीं काटते हैं। इसके साथ ही हमारे निकट बंडल है।
इस प्रकार से प्रक्षेप्य समष्टि स्थिति सम्मिलित है। परिपाटी के अनुसार दोहरे समष्टि अर्थ में टॉटोलॉजिकल बंडल को उपयोगी रूप से ले जा सकता है। अर्थात दोहरे स्थान के साथ, के बिंदु के सदिश उप-समष्टि को ले जाते हैं, जो कि उनके कर्नेल हैं, जब पर (किरणों की) रैखिक फलनात्मकता के रूप में माना जाता है। यदि की विमा है, तो टॉटोलॉजिकल रेखा बंडल टॉटोलॉजिकल बंडल है, और दूसरा, जिसका अभी वर्णन किया गया है, पद का है।
औपचारिक परिभाषा
इस प्रकार से मान लीजिए कि में एन-विमीय सदिश उप-समष्टि का ग्रासमैनियन का ग्रासमैनियन है; एक समुच्चय के रूप में यह के सभी एन-विमीय सदिश उप-समष्टि का समुच्चय है। अतः इस प्रकार से उदाहरण के लिए, यदि n = 1 है, तो यह वास्तविक प्रक्षेप्य k-समष्टि है।
हम टॉटोलॉजिकल बंडल γn, k पर पर निम्नानुसार परिभाषित करते हैं। बंडल का कुल समष्टि सभी युग्मों (V, v) का समुच्चय है जिसमें ग्रासमैनियन का एक बिंदु V औरV में एक सदिश v सम्मिलित है; इसे कार्तीय गुणनफल की उप-समष्टि टोपोलॉजी दी गई है। इस प्रकार से प्रक्षेपण प्रतिचित्र π, π(V, v) = V द्वारा दिया गया है। यदि F, π के अंतर्गत V का पूर्व प्रतिबिम्ब है, तो इसे a(V, v) + b(V, w) = (V, av + bw) द्वारा एक सदिश स्थान की संरचना दी जाती है। अंत में, स्थानीय तुच्छता को देखने के लिए, ग्रासमैनियन में एक बिंदु X दिया गया है, U को सभी V का समूह होने दें,[3] जैसे कि X पर लाम्बिक प्रक्षेपण p, V को X पर समरूपी रूप से प्रतिचित्रित करता है, और फिर
को परिभाषित करता है जो स्पष्ट रूप से एक होमोमोर्फिज्म है। इसलिए, परिणाम पद n का सदिश बंडल है।
इस प्रकार से यदि हम को जटिल क्षेत्र से बदल दें तो उपरोक्त परिभाषा का अर्थ बना रहता है।
अतः परिभाषा के अनुसार, अनंत ग्रासमैनियन की के रूप में प्रत्यक्ष सीमा है। बंडलों की प्रत्यक्ष सीमा γn, k लेते हुए, का टॉटोलॉजिकल बंडल γn देता है। टॉटोलॉजिकल बंडल यह इस अर्थ में सार्वभौमिक बंडल है: प्रत्येक संहत समष्टि X के लिए, प्राकृतिक आक्षेप
है जहां बाईं ओर कोष्ठक का अर्थ समस्थेयता कक्ष है और दाईं ओर पद एन के वास्तविक सदिश बंडलों के समरूपता वर्गों का समुच्चय है। व्युत्क्रम प्रतिचित्र इस प्रकार दिया गया है: चूंकि X संहत है, कोई भी सदिश बंडल E तुच्छ बंडल का उपबंडल है: कुछ k के लिए और इसलिए E समरूपता तक अद्वितीय एक प्रतिचित्र
निर्धारित करता है।
टिप्पणी: इसके स्थान पर, कोई टॉटोलॉजिकल बंडल को सार्वभौमिक बंडल के रूप में परिभाषित कर सकता है; मान लीजिए कि किसी X के लिए एक प्राकृतिक आक्षेप
- है।
चूँकि सघन समष्टि की प्रत्यक्ष सीमा है, यह अनुसंहत है और इसलिए के ऊपर एक अद्वितीय सदिश बंडल है जो पर पहचान प्रतिचित्र से मेल खाता है। यह वस्तुतः टॉटोलॉजिकल बंडल है और, प्रतिबंध के द्वारा, किसी को सभी पर टॉटोलॉजिकल बंडल प्राप्त होता है।
अधिसमतल बंडल
इस प्रकार से वास्तविक प्रक्षेप्य k-समष्टि पर अधिसमतल बंडल H को इस प्रकार परिभाषित किया गया है। H का कुल स्थान सभी युग्मों (L, f) का समुच्चय है, जिसमें में मूल बिंदु से होकर जाने वाली एक रेखा L और L पर एक रैखिक फलनात्मक f सम्मिलित है। प्रक्षेपण प्रतिचित्र π π(L, f) = L द्वारा दिया गया है (ताकि L पर फाइबर L का दोहरी सदिश समष्टि हो।) शेष निश्चित टॉटोलॉजिकल रेखा बंडल के जैसे है।
इस प्रकार से दूसरे शब्दों में, H टॉटोलॉजिकल रेखा बंडल का दोहरा बंडल है।
अतः बीजगणितीय ज्यामिति में, अधिसमतल बंडल 'अधिसमतल विभाजक'
के अनुरूप रेखा बंडल (व्युत्क्रम शीफ के रूप में) होता है, जैसे कि, x0 = 0, जब xi सजातीय निर्देशांक होते हैं। इस प्रकार इसे देखा जा सकता है। यदि D, पर एक (वेइल) विभाजक है, तो कोई X पर संबंधित लाइन बंडल O(D) को
द्वारा परिभाषित करता है, जहां K, X पर तर्कसंगत फलनों का क्षेत्र है। D को H मानते हुए, हमारे निकट है:
जहाँ X0 को, सदैव के जैसे, व्यावर्ती शीफ़ O(1) के वैश्विक खंड के रूप में देखा जाता है। (वस्तुतः, उपरोक्त समरूपता वेइल भाजक और कार्टियर भाजक के बीच सामान्य पत्राचार का भाग है।) अंत में, व्यावर्ती शीफ का दोहरा टॉटोलॉजिकल रेखा बंडल (नीचे देखें) से मेल खाता है।
बीजगणितीय ज्यामिति में टॉटोलॉजिकल रेखा बंडल
बीजगणितीय ज्यामिति में, यह धारणा किसी भी क्षेत्र k पर स्थित होती है। ठोस परिभाषा इस प्रकार है। इस प्रकार से मान लीजिए और है। ध्यान दें कि हमारे निकट है:
जहां स्पेक सापेक्ष स्पेक है। अब, डालें:
जहां I वैश्विक अनुभाग द्वारा उत्पन्न आदर्श शीफ है। तब L उसी आधार योजना पर की एक संवृत उपयोजना है; इसके अतिरिक्त, L के संवृत बिंदु निश्चित के (x, y) हैं जैसे कि या तो x शून्य है या में x की प्रतिबिम्ब y है। इस प्रकार, L टॉटोलॉजिकल रेखा बंडल है जैसा कि पहले परिभाषित किया गया है यदि k वास्तविक या जटिल संख्याओं का क्षेत्र है।
अधिक संक्षिप्त शब्दों में, L एफ़िन समष्टि की उत्पत्ति का आवर्धित है, जहां L में बिन्दुपथ x = 0 एक असाधारण भाजक है। (सीएफ. हार्टशोर्न, अध्याय., § 4 का अंत)
इस प्रकार से सामान्य रूप में, परिमित पद के स्थानीय रूप से मुक्त शीफ E के अनुरूप बीजगणितीय सदिश बंडल है।[4] चूँकि हमारे निकट यथार्थ क्रम है:
जैसा कि ऊपर परिभाषित गया है, टॉटोलॉजिकल रेखा बंडल L, सेरे के व्यावर्ती शीफ के दोहरे से मेल खाता है। व्यवहार में दोनों धारणाओं (टॉटोलॉजिकल रेखा बंडल और व्यावर्ती शीफ के दोहरे) का परस्पर उपयोग किया जाता है।
अतः इस प्रकार से एक क्षेत्र पर, इसकी दोहरी रेखा बंडल अधिसमतल विभाजक H से जुड़ी रेखा बंडल है, जिसके वैश्विक खंड रैखिक रूप हैं। इसका चेर्न वर्ग −H है। यह प्रति-पर्याप्त रेखा बंडल का उदाहरण है। से अधिक, यह कहने के बराबर है कि यह एक ऋणात्मक रेखा बंडल है, जिसका अर्थ है कि इसके चेर्न वर्ग को घटाकर मानक काहलर रूप का डी राम वर्ग है।
तथ्य
- टॉटोलॉजिकल रेखा बंडल γ1, k स्थानीय रूप से तुच्छ है, परन्तु k ≥ 1 के लिए तुच्छ नहीं है। यह अन्य क्षेत्रों पर भी सत्य है।
वस्तुतः, यह दिखाना प्रत्यक्ष है कि, 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