सिद्धांत सजातीय समष्टि: Difference between revisions

From Vigyanwiki
(Created page with "{{redirect|Torsor|another use|Torsor (algebraic geometry)}} गणित में, एक प्रमुख सजातीय स्थान,<ref>{{cite journal|title=ए...")
 
No edit summary
 
(30 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{redirect|Torsor|another use|Torsor (algebraic geometry)}}
गणित में, '''सिद्धांत सजातीय समष्टि'''<ref>{{cite journal|title=एबेलियन किस्मों पर प्रमुख सजातीय स्थान|author=S. Lang and J. Tate|journal=American Journal of Mathematics|volume=80|issue=3|year=1958|pages=659–684|doi=10.2307/2372778}}</ref> अथवा टोरसर, समूह (गणित) ''G'' के लिए [[सजातीय स्थान|सजातीय समष्टि]] ''X'' है जिसमें प्रत्येक बिंदु का स्टेबलाइज़र उपसमूह है। सामान्यतः समूह ''G'' के लिए सिद्धांत सजातीय समष्टि गैर-रिक्त समुच्चय ''X'' है जिस पर ''G'' स्वतंत्र और सकर्मक रूप से कार्य करता है (अर्थात्, किसी भी ''x के लिए'', ''X में y,'' ''G'' में अद्वितीय ''g'' उपस्तिथ है जैसे कि {{nowrap|1=''x''·''g'' = ''y''}}, जहाँ X पर G की (दाईं ओर) क्रिया को प्रदर्शित करता है।
गणित में, एक प्रमुख सजातीय स्थान,<ref>{{cite journal|title=एबेलियन किस्मों पर प्रमुख सजातीय स्थान|author=S. Lang and J. Tate|journal=American Journal of Mathematics|volume=80|issue=3|year=1958|pages=659–684|doi=10.2307/2372778}}</ref> या torsor, एक [[समूह (गणित)]] के लिए ''G'' ''G'' के लिए एक [[सजातीय स्थान]] ''X'' है जिसमें हर बिंदु का स्टेबलाइज़र उपसमूह तुच्छ है। समान रूप से, एक समूह ''G'' के लिए एक प्रमुख सजातीय स्थान एक गैर-खाली सेट ''X'' है जिस पर ''G'' [[समूह क्रिया (गणित)]] समूह क्रिया (गणित)#Types_of_actions और समूह क्रिया (गणित) #Types_of_actions (अर्थात्, ''X'' में किसी भी ''x'', ''y'' के लिए, ''G'' में एक अद्वितीय ''g'' मौजूद है जैसे कि {{nowrap|1=''x''·''g'' = ''y''}}, जहाँ · X पर G की (दाईं ओर) क्रिया को दर्शाता है।
 
एक समान परिभाषा अन्य [[श्रेणी (गणित)]] में लागू होती है, जहां, उदाहरण के लिए,
समरूप परिभाषा अन्य [[श्रेणी (गणित)|श्रेणियों (गणित)]] में होती है| उदाहरण के लिए, जहां,
*G एक [[ टोपोलॉजिकल समूह ]] है, X एक [[टोपोलॉजिकल स्पेस]] है और एक्शन [[निरंतर (टोपोलॉजी)]] है।
*G[[ टोपोलॉजिकल समूह | टोपोलॉजिकल समूह]] है, X [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल समष्टि]] है और क्रिया [[निरंतर (टोपोलॉजी)]] होती है।
*G एक [[झूठ समूह]] है, X एक [[ चिकना कई गुना ]] है और एक्शन [[ चिकना समारोह ]] है,
*G [[झूठ समूह|समूह]] है, X[[ चिकना कई गुना | स्मूथ मैनिफोल्ड]] है और क्रिया[[ चिकना समारोह | स्मूथ]] होती है|
*G एक [[बीजगणितीय समूह]] है, X एक [[बीजगणितीय किस्म]] है और क्रिया नियमित कार्य है।
*G [[बीजगणितीय समूह]] है, X [[बीजगणितीय किस्म|बीजगणितीय प्रकार]] है और क्रिया नियमित होती है।


== परिभाषा ==
== परिभाषा ==
यदि G [[गैर-अबेलियन समूह]] है, तो किसी को बाएं और दाएं टॉर्सर्स के बीच अंतर करना चाहिए, चाहे कार्रवाई बाएं या दाएं हो। इस लेख में, हम सही कार्यों का उपयोग करेंगे।
यदि G [[गैर-अबेलियन समूह]] है, तो व्यक्ति को बाएं और दाएं टॉर्सर्स के मध्य अंतर क्रिया की दिशा के आधार पर करना चाहिए। इस लेख में, हम उत्तम कार्यों का उपयोग करेंगे।


परिभाषा को और अधिक स्पष्ट रूप से बताने के लिए, एक्स एक जी-टोरसर या जी-प्रिंसिपल सजातीय स्थान है यदि एक्स गैर-रिक्त है और मानचित्र से सुसज्जित है (उपयुक्त श्रेणी में) {{nowrap|''X'' × ''G'' → ''X''}} ऐसा है कि
परिभाषा को स्पष्ट रूप से अध्यन्न करने के लिए, X, G-टोरसर या G-सिद्धांत सजातीय समष्टि है यदि X रिक्त है और मानचित्र से सुसज्जित है, तो (उपयुक्त श्रेणी में) {{nowrap|''X'' × ''G'' → ''X''}} जैसे कि
:x·1 = x
:x·1 = x
:x·(gh) = (x·g)·h
:x·(gh) = (x·g)·h
सभी के लिए {{nowrap|''x'' ∈ ''X''}} और सभी {{nowrap|''g'',''h'' ∈ ''G''}} और ऐसा है कि map {{nowrap|''X'' × ''G'' → ''X'' × ''X''}} द्वारा दिए गए
सभी {{nowrap|''x'' ∈ ''X''}} और सभी {{nowrap|''g'',''h'' ∈ ''G''}} के लिए मानचित्र {{nowrap|''X'' × ''G'' → ''X'' × ''X''}} द्वारा दी गयी
:<math>(x,g) \mapsto (x,x\cdot g)</math>
:<math>(x,g) \mapsto (x,x\cdot g)</math>
एक समरूपता है (सेट, या टोपोलॉजिकल रिक्त स्थान या ..., उपयुक्त के रूप में, यानी प्रश्न में श्रेणी में)।
ध्यान दें कि इसका अर्थ है कि X और ''G'' समरूप हैं (समूह के रूप में नहीं, प्रश्नगत श्रेणी में)। चूँकि यह आवश्यक बिंदु है, X ​​में कोई मुख्य 'प्रमाण' बिंदु नहीं है। अर्थात्, X पूर्णतय: G के समरूप है इसके अतिरिक्त कि कौन सा बिंदु प्रमाण को भूल गया है। (इस अवधारणा का उपयोग प्रायः गणित में अधिक आंतरिक दृष्टिकोण को पारित करने की विधि के रूप में किया जाता है, जिसका शीर्षक 'थ्रो अवे द ओरिजिन' है।)


ध्यान दें कि इसका मतलब है कि एक्स और जी आइसोमोर्फिक हैं (प्रश्न में श्रेणी में; समूह के रूप में नहीं: निम्नलिखित देखें)। हालाँकि- और यह आवश्यक बिंदु है- X ​​में कोई पसंदीदा 'पहचान' बिंदु नहीं है। यानी, X बिल्कुल G जैसा दिखता है सिवाय इसके कि कौन सा बिंदु पहचान को भुला दिया गया है। (इस अवधारणा का उपयोग अक्सर गणित में एक अधिक आंतरिक दृष्टिकोण को पारित करने के तरीके के रूप में किया जाता है, शीर्षक 'मूल को फेंक दें' के तहत।)
चूँकि X समूह नहीं है, इसलिए हम तत्वों का गुणन नहीं कर सकते हैं| यद्यपि, हम उनका भागफल ले सकते हैं। अर्थात् मानचित्र {{nowrap|''X'' × ''X'' → ''G''}}, जो अद्वितीय तत्व g = x \ y ∈ G को (x, y) भेजता है जैसे कि y = x·g


चूँकि X एक समूह नहीं है, हम तत्वों का गुणन नहीं कर सकते हैं; हालाँकि, हम उनका भागफल ले सकते हैं। यानी एक नक्शा है {{nowrap|''X'' × ''X'' → ''G''}} जो भेजता है {{nowrap|(''x'',''y'')}} अद्वितीय तत्व के लिए {{nowrap|1=''g'' = ''x'' \ ''y'' ∈ ''G''}} ऐसा है कि {{nowrap|1=''y'' = ''x''·''g''}}.
चूँकि, उत्तम समूह क्रिया के साथ संक्रिया की संरचना, त्रिगुट संक्रिया {{nowrap|''X'' × (''X'' × ''X'') → ''X''}}, उत्पन्न करती है, जो समूह गुणन के सामान्य रूप में कार्य करता है और जो प्रमुख सजातीय समष्टि को बीजगणितीय रूप से चिह्नित करने के लिए पर्याप्त है और इसके साथ जुड़े समूह को आंतरिक रूप से चिह्नित करता है| यदि इस त्रिगुट संक्रिया के परिणाम <math>x/y \cdot z \,:=\, x \cdot (y\backslash z)</math> को निरूपित करते हैं, तो सर्वसमिका (गणित) निम्नलिखित है-
 
हालांकि, सही समूह क्रिया के साथ बाद वाली संक्रिया की संरचना, एक त्रिगुट संक्रिया उत्पन्न करती है {{nowrap|''X'' × (''X'' × ''X'') → ''X''}}, जो समूह गुणन के एक सामान्य सामान्यीकरण के रूप में कार्य करता है और जो बीजगणितीय रूप से एक प्रमुख सजातीय स्थान को चिह्नित करने के लिए पर्याप्त है और आंतरिक रूप से उस समूह को चिह्नित करता है जिससे यह जुड़ा हुआ है। अगर हम निरूपित करते हैं <math>x/y \cdot z \,:=\, x \cdot (y\backslash z)</math> इस त्रिगुट संक्रिया के परिणाम के बाद निम्नलिखित सर्वसमिका (गणित)
:<math>x/y \cdot y = x = y/y \cdot x</math>
:<math>x/y \cdot y = x = y/y \cdot x</math>
:<math>v/w \cdot (x/y \cdot z) = (v/w \cdot x)/y \cdot z</math>
:<math>v/w \cdot (x/y \cdot z) = (v/w \cdot x)/y \cdot z</math>
अतिरिक्त संपत्ति के दौरान, एक प्रमुख सजातीय स्थान को परिभाषित करने के लिए पर्याप्त होगा
प्रमुख सजातीय समष्टि को परिभाषित करने के लिए पर्याप्त होगी| जबकि अतिरिक्त संपत्ति हैं-
:<math>x/y \cdot z = z/y \cdot x</math>
:<math>x/y \cdot z = z/y \cdot x</math>
उन जगहों की पहचान करता है जो एबेलियन समूहों से जुड़े हैं। समूह को औपचारिक भागफल के रूप में परिभाषित किया जा सकता है <math>x \backslash y</math> तुल्यता संबंध के अधीन
उन समष्टिों को प्रमाणित करती है जो एबेलियन समूहों से जुड़े होते हैं। समूह को औपचारिक भागफल के रूप में परिभाषित किया जा सकता है <math>x \backslash y</math> तुल्यता संबंध के अधीन के रूप में हैं-
:<math>x \backslash y = u \backslash v \quad \text{iff} \quad v = u/x \cdot y</math>,
:<math>x \backslash y = u \backslash v \quad \text{iff} \quad v = u/x \cdot y</math> ,
समूह उत्पाद के साथ, पहचान और व्युत्क्रम परिभाषित, क्रमशः, द्वारा
:समूह उत्पाद के साथ, प्रमाण और व्युत्क्रम में परिभाषित, क्रमशः हैं-
 
:<math>(x \backslash y) \cdot (u \backslash v) = x \backslash (y/u \cdot v) = (u/y \cdot x)\backslash v</math>,
:<math>(x \backslash y) \cdot (u \backslash v) = x \backslash (y/u \cdot v) = (u/y \cdot x)\backslash v</math>,
:<math>e = x \backslash x</math>,
:<math>e = x \backslash x</math>,
:<math>(x \backslash y)^{-1} = y \backslash x,</math>
:<math>(x \backslash y)^{-1} = y \backslash x,</math>
और समूह कार्रवाई द्वारा
जो निम्नलिखित समूह द्वारा क्रिया के रूप में हैं-
:<math>x\cdot (y \backslash z) = x/y \cdot z.</math>
:<math>x\cdot (y \backslash z) = x/y \cdot z.</math>


Line 37: Line 36:
== उदाहरण ==
== उदाहरण ==


बाएं या दाएं गुणन की प्राकृतिक क्रिया के तहत प्रत्येक समूह G को स्वयं बाएं या दाएं G-torsor के रूप में सोचा जा सकता है।
गुणन की प्राकृतिक क्रिया के अधीन प्रत्येक समूह G को स्वयं बाएं या दाएं G-टोरसर के रूप में विचार किया जा सकता है।


एक अन्य उदाहरण [[affine space]] अवधारणा है: एक सदिश स्थान V के अंतर्निहित affine स्थान A का विचार संक्षेप में यह कहकर कहा जा सकता है कि A, V के लिए एक प्रमुख सजातीय स्थान है जो अनुवादों के योज्य समूह के रूप में कार्य करता है।
अन्य उदाहरण [[affine space|एफ्फिन समष्टि]] की अवधारणा है, सदिश समष्टि V के अंतर्निहित एफ्फिन समष्टि A का विचार संक्षेप में यह कहा जा सकता है कि A, V के लिए प्रमुख सजातीय समष्टि है जो अनुवादों के योज्य समूह के रूप में कार्य करता है।


किसी भी [[नियमित पॉलीटॉप]] का ध्वज (ज्यामिति) इसके समरूपता समूह के लिए एक टोरसर बनाता है।
किसी भी [[नियमित पॉलीटॉप]] का ध्वज (ज्यामिति) समरूपता समूह के लिए टोरसर बनाता है।


सदिश समष्टि V दिए जाने पर हम G को [[सामान्य रैखिक समूह]] GL(V) और X को V के सभी (आदेशित) [[आधार (रैखिक बीजगणित)]] का समुच्चय मान सकते हैं। तब G, X पर इस तरह कार्य करता है कि यह कार्य करता है वी के वैक्टर पर; और यह समूह क्रिया (गणित) का कार्य करता है क्योंकि किसी भी आधार को G के माध्यम से किसी अन्य में रूपांतरित किया जा सकता है। क्या अधिक है, एक आधार के प्रत्येक वेक्टर को ठीक करने वाला एक रैखिक परिवर्तन V में सभी v को ठीक करेगा, इसलिए सामान्य रैखिक समूह GL(V) का तटस्थ तत्व होने के नाते: ताकि X वास्तव में एक प्रमुख सजातीय स्थान हो। एक रेखीय बीजगणित तर्क में आधार-निर्भरता का पालन करने का एक तरीका एक्स में चर एक्स को ट्रैक करना है। इसी तरह, [[ऑर्थोनॉर्मल आधार]] का स्थान (स्टीफेल कई गुना <math>V_n(\mathbf{R}^n)</math> k-frame|n-frames) [[ऑर्थोगोनल समूह]] के लिए एक प्रमुख सजातीय स्थान है।
सदिश समष्टि V दिए जाने पर हम G को [[सामान्य रैखिक समूह]] GL(V) और X को V के सभी (आदेशित) [[आधार (रैखिक बीजगणित)]] का समुच्चय मान सकते हैं। तब, X पर G इस प्रकार कार्य करता है जैसे कि यह V के सदिशों पर कार्य करता है और यह समूह क्रिया (गणित) का कार्य करता है क्योंकि किसी भी आधार को G के माध्यम से अन्य में रूपांतरित किया जा सकता है। आधार के प्रत्येक वेक्टर को उचित करने वाला रैखिक परिवर्तन, सामान्य रैखिक समूह GL(V) का तटस्थ तत्व होने के कारण V में सभी v को उत्तम करेगा, जिससे वास्तव में X प्रमुख सजातीय समष्टि हो सके। रेखीय बीजगणित पद्धति में आधार-निर्भरता का पालन करने का मार्ग ''X'' में ''x'' को ट्रैक करना है। इसी प्रकार, [[ऑर्थोनॉर्मल आधार]] का समष्टि (एन-फ्रेम्स के स्टीफेल मनीफोल्ड <math>V_n(\mathbf{R}^n)</math>) [[ऑर्थोगोनल समूह]] के लिए प्रमुख सजातीय समष्टि है।


[[श्रेणी सिद्धांत]] में, यदि दो वस्तुएँ X और Y समरूपी हैं, तो उनके बीच की समरूपता, Iso(X,Y), X, Aut(X) के ऑटोमोर्फिज़्म समूह के लिए एक टॉर्सर बनाती है, और इसी तरह Aut(Y) के लिए; वस्तुओं के बीच समरूपता का एक विकल्प इन समूहों के बीच एक समरूपता को जन्म देता है और इन दो समूहों के साथ टॉर्सर की पहचान करता है, टॉर्सर को एक समूह संरचना देता है (क्योंकि अब इसका एक [[आधार बिंदु]] है)।
[[श्रेणी सिद्धांत]] में, यदि दो वस्तुएँ X और Y समरूपी हैं, तो उनके मध्य की समरूपता, Iso(X,Y) है| ऑटोमोर्फिज़्म समूह Aut(X) के लिए X टॉर्सर बनाती है, और इसी प्रकार Aut(Y) के लिए टॉर्सर बनाती है| वस्तुओं के मध्य समरूपता का विकल्प समूहों   को उत्पन्न करता है और इन दो समूहों के साथ टॉर्सर को प्रमाणित करता है जो टॉर्सर को समूह संरचना देता है (क्योंकि अब इसका [[आधार बिंदु]] है)।


== अनुप्रयोग ==
== अनुप्रयोग ==


प्रिंसिपल सजातीय अंतरिक्ष अवधारणा प्रिंसिपल बंडल का एक विशेष मामला है: इसका मतलब है कि एक एकल बिंदु के आधार के साथ एक प्रिंसिपल बंडल। दूसरे शब्दों में [[प्रमुख बंडल]]ों का स्थानीय सिद्धांत आधार में कुछ मापदंडों के आधार पर प्रमुख सजातीय रिक्त स्थान के परिवार का है। 'मूल' की आपूर्ति एक फाइबर बंडल द्वारा की जा सकती है # बंडल के खंड - ऐसे वर्गों को आमतौर पर आधार पर स्थानीय रूप से मौजूद माना जाता है - बंडल स्थानीय रूप से तुच्छ होता है, ताकि स्थानीय संरचना एक कार्टेशियन उत्पाद की हो। लेकिन खंड अक्सर विश्व स्तर पर मौजूद नहीं होंगे। उदाहरण के लिए एक [[ अंतर कई गुना ]] M में [[फ्रेम बंडल]] का एक प्रमुख बंडल होता है जो उसके [[स्पर्शरेखा बंडल]] से जुड़ा होता है। एक वैश्विक खंड मौजूद होगा (परिभाषा के अनुसार) केवल तभी जब एम समानांतर हो, जो कि मजबूत स्थलीय प्रतिबंधों का तात्पर्य है।
सिद्धांत सजातीय समष्टि की अवधारणा प्रमुख बंडल का विशिष्ट विषय है| इसका अर्थ एकल बिंदु आधार का प्रमुख बंडल है। अन्य शब्दों में [[प्रमुख बंडल|प्रमुख]] बंडलों के समष्टिीय सिद्धांत में कुछ मापदंडों के आधार पर प्रमुख सजातीय रिक्त समष्टि के सदस्य का है। बंडल के खंड द्वारा 'मूल' की आपूर्ति की जा सकती है| सामान्यतः ऐसे वर्गों को आधार पर समष्टिीय रूप से उपस्थित किया जाता है| बंडल समष्टिीय रूप से महत्त्वहीन होता है, जिससे समष्टिीय संरचना कार्टेशियन उत्पाद की हो सकती है। किन्तु खंड अधिकांशतः विश्व स्तर पर उपस्थित नहीं होते हैं। उदाहरण के लिए ,[[ अंतर कई गुना | डिफरेंशियल मैनिफोल्ड]] M में [[फ्रेम बंडल]] का प्रमुख बंडल होता है जो उसके [[स्पर्शरेखा बंडल]] से जुड़ा होता है। वैश्विक खंड तभी उपस्थित होगा जब M समानांतर हो, जिसका तात्पर्य दृढ़ सामयिक प्रतिबंधों से होता है।


[[संख्या सिद्धांत]] में एक क्षेत्र K (और अधिक सामान्य [[एबेलियन किस्म]]) पर परिभाषित अण्डाकार घटता E के लिए प्रमुख सजातीय स्थानों पर विचार करने का एक (सतही रूप से भिन्न) कारण है। एक बार जब यह समझ में आ गया तो अन्य बीजगणितीय समूहों के लिए शीर्षक के तहत कई अन्य उदाहरण एकत्र किए गए: ऑर्थोगोनल समूहों के लिए [[द्विघात रूप]], और सेवेरी-ब्राउर किस्म | [[प्रक्षेपी रैखिक समूह]]ों के लिए सेवेरी-ब्राउर किस्में दो हैं।
[[संख्या सिद्धांत]] में, क्षेत्र K (और अधिक सामान्य [[एबेलियन किस्म|एबेलियन प्रकार]]) पर परिभाषित अण्डाकार वक्र E के लिए प्रमुख सजातीय समष्टिों पर विचार करने का (सतही रूप से भिन्न) कारण है। जब ज्ञान हो गया तो बीजगणितीय समूहों के लिए अन्य उदाहरण एकत्रित किए गए| ऑर्थोगोनल समूहों के लिए [[द्विघात रूप]], और [[प्रक्षेपी रैखिक समूह|प्रक्षेपी रैखिक]] समूहों के लिए सेवेरी-ब्राउर दो प्रकार के हैं।


अंडाकार वक्र मामले में डायोफैंटिन समीकरणों के लिए रुचि का कारण यह है कि के [[बीजगणितीय रूप से बंद]] नहीं हो सकता है। ऐसे वक्र C मौजूद हो सकते हैं जिनके पास K पर परिभाषित कोई बिंदु नहीं है, और जो E के लिए एक बड़े क्षेत्र पर आइसोमोर्फिक बन जाते हैं, जिसकी परिभाषा के अनुसार इसके अतिरिक्त कानून के लिए पहचान तत्व के रूप में कार्य करने के लिए K पर एक बिंदु है। यही है, इस मामले के लिए हमें सी को अलग करना चाहिए जिसमें [[जीनस (गणित)]] 1 है, अंडाकार वक्र से जिसमें के-पॉइंट है (या, दूसरे शब्दों में, एक डायोफैंटिन समीकरण प्रदान करें जिसका समाधान के में है)। घटता C, E के ऊपर टॉर्सर्स बन जाता है, और इस मामले में एक समृद्ध संरचना वाला एक सेट बनाता है कि K एक [[संख्या क्षेत्र]] ([[सेल्मर समूह]] का सिद्धांत) है। वास्तव में 'Q' के ऊपर एक विशिष्ट समतल घन वक्र C के पास परिमेय बिंदु होने का कोई विशेष कारण नहीं है; मानक वीयरस्ट्रैस मॉडल हमेशा करता है, अर्थात् अनंत पर बिंदु, लेकिन आपको के पर उस रूप में सी डालने के लिए के पर एक बिंदु की आवश्यकता होती है।
अंडाकार वक्र स्तिथि में डायोफैंटिन समीकरणों के लिए रुचि का कारण यह है कि K [[बीजगणितीय रूप से बंद]] नहीं हो सकता है। ऐसे वक्र C उपस्थित हो सकते हैं जिनके निकट K पर परिभाषित कोई बिंदु नहीं है, और जो E के लिए बड़े क्षेत्र पर समरूप बन जाते हैं| परिभाषा के अनुसार, K पर बिंदु है जो इसके अतिरिक्त कानून के लिए प्रमाण तत्व के रूप में कार्य करता है। इस स्तिथि के लिए हमें C को भिन्न करना चाहिए जिसमें [[जीनस (गणित)]] 1 है, अंडाकार वक्र E से जिसमें K-बिंदु है (या, दूसरे शब्दों में, डायोफैंटिन समीकरण प्रदान करता है जिसका समाधान K में है)। वक्र C, E के ऊपर टॉर्सर्स बन जाता है और इस स्तिथि में समृद्ध संरचना का सेट बनाता है, जहाँ K [[संख्या क्षेत्र]] ([[सेल्मर समूह]] का सिद्धांत) है। वास्तव में 'Q' के ऊपर विशिष्ट समतल घन वक्र C के निकट परिमेय बिंदु होने का कोई विशेष कारण नहीं है; मानक वीयरस्ट्रैस मॉडल सदैव करता है, अर्थात् अनंत पर बिंदु K के रूप में C के लिए K पर बिंदु की आवश्यकता होती है।


इस सिद्धांत को [[स्थानीय विश्लेषण]] पर बहुत ध्यान देकर विकसित किया गया है, जिससे [[टेट-शफारेविच समूह]] की परिभाषा को बढ़ावा मिला है। सामान्य तौर पर टॉरसर सिद्धांत को लेने का दृष्टिकोण, बीजगणितीय रूप से बंद क्षेत्र पर आसान, और एक छोटे से क्षेत्र में 'नीचे' जाने की कोशिश करना [[वंश (श्रेणी सिद्धांत)]] का एक पहलू है। यह एक बार में [[गैलोइस कोहोलॉजी]] के प्रश्नों की ओर ले जाता है, क्योंकि टॉर्स [[समूह कोहोलॉजी]] एच में कक्षाओं का प्रतिनिधित्व करते हैं<sup>1</उप>।
इस सिद्धांत को [[स्थानीय विश्लेषण|समष्टिीय विश्लेषण]] पर अत्यन्त ध्यान से विकसित किया गया है, जिससे [[टेट-शफारेविच समूह]] की परिभाषा को बढ़ावा मिला है। सामान्य रूप से टॉरसर सिद्धांत को लेने का दृष्टिकोण, बीजगणितीय रूप से बंद क्षेत्र पर सरल, और छोटे से क्षेत्र में 'नीचे' जाने का प्रयास करना [[वंश (श्रेणी सिद्धांत)]] का स्वरूप है। यह [[गैलोइस कोहोलॉजी]] के प्रश्नों की ओर ले जाता है, क्योंकि टॉर्स [[समूह कोहोलॉजी]] एच में कक्षाओं का प्रतिनिधित्व करते हैं|


== अन्य उपयोग ==
== अन्य उपयोग ==
एक प्रमुख सजातीय स्थान की अवधारणा को निम्नानुसार वैश्वीकृत भी किया जा सकता है। X को एक स्थान (एक [[योजना (गणित)]]/[[कई गुना]]/स्थलीय स्थान आदि) होने दें, और G को X पर एक समूह होने दें, अर्थात, X से अधिक रिक्त स्थान की श्रेणी (गणित) में एक [[समूह वस्तु]]इस मामले में, एक (दाएं, कहते हैं) X पर G-torsor E एक (दाएं) G ग्रुप एक्शन (गणित) के साथ X के ऊपर एक स्थान E (उसी प्रकार का) है, जैसे कि आकृतिवाद
प्रमुख सजातीय समष्टि की अवधारणा को निम्नानुसार वैश्वीकृत भी किया जा सकता है। यदि X को समष्टि ([[योजना (गणित)]]/[[कई गुना]]/स्थलीय समष्टि आदि) और G को X पर समूह माने, अर्थात, X पर समष्टि की श्रेणी (गणित) में [[समूह वस्तु]] है। तो इस स्तिथि में, X पर G-टॉर्सर E, (दाएं) G समूह एक्शन (गणित) के साथ X के ऊपर समष्टि E (उसी प्रकार का) है, जैसे कि आकृतिवाद


:<math>E \times_X G \rightarrow E \times_X E </math> द्वारा दिए गए
:<math>E \times_X G \rightarrow E \times_X E </math> द्वारा दी गयी


:<math>(x,g) \mapsto (x,xg)</math> उपयुक्त श्रेणी (गणित) में एक तुल्याकारिता है, और ऐसा कि E, X पर स्थानीय रूप से तुच्छ है, उसमें {{nowrap|''E'' → ''X''}} एक्स पर स्थानीय रूप से एक खंड प्राप्त करता है। इस अर्थ में टॉर्सर्स की आइसोमोर्फिज्म कक्षाएं [[सह-समरूपता]] समूह एच में कक्षाओं के अनुरूप हैं<sup>1</sup>(एक्स,जी).
:<math>(x,g) \mapsto (x,xg)</math> उपयुक्त श्रेणी (गणित) में समाकृतिकता है, और जैसे E, X पर समष्टिीय रूप से महत्त्वहीन है, जिसमे, X पर {{nowrap|''E'' → ''X''}} समष्टिीय रूप से खंड प्राप्त करता है। अर्थात, टॉर्सर्स की आइसोमोर्फिज्म कक्षाएं (X,G) [[सह-समरूपता]] समूह ''H''<sup>1</sup> में कक्षाओं के अनुरूप हैं|


जब हम स्मूथ मैनिफोल्ड कैटेगरी (गणित) में होते हैं, तब एक G-टॉर्सर (G a Lie समूह के लिए) ठीक एक प्रमुख G-प्रिंसिपल बंडल होता है, जैसा कि ऊपर परिभाषित किया गया है।
जब हम स्मूथ मैनिफोल्ड श्रेणी (गणित) में होते हैं, तब G-टॉर्सर का प्रमुख बंडल होता है, जैसा कि ऊपर परिभाषित किया गया है।


उदाहरण: यदि जी एक कॉम्पैक्ट लाई समूह (माना जाता है) है, तो <math>EG</math> वर्गीकरण स्थान पर एक G-torsor है <math>BG</math>.
उदाहरण यदि G कॉम्पैक्ट लाई समूह (माना जाता है) है, तो वर्गीकरण समष्टि BG पर EG एक G-टॉर्सर है|


== यह भी देखें ==
== यह भी देखें ==


* सजातीय स्थान
* सजातीय समष्टि
* ढेर (गणित)
* समूह (गणित)


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 84: Line 83:
==बाहरी संबंध==
==बाहरी संबंध==
*[http://math.ucr.edu/home/baez/torsors.html Torsors made easy] by John Baez
*[http://math.ucr.edu/home/baez/torsors.html Torsors made easy] by John Baez
[[Category: समूह सिद्धांत]] [[Category: सामयिक समूह]] [[Category: झूठ बोलने वाले समूह]] [[Category: बीजगणितीय सजातीय रिक्त स्थान]] [[Category: डायोफैंटाइन ज्यामिति]] [[Category: वेक्टर बंडल]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 05/04/2023]]
[[Category:Created On 05/04/2023]]
[[Category:Machine Translated Page]]
[[Category:Missing redirects]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:झूठ बोलने वाले समूह]]
[[Category:डायोफैंटाइन ज्यामिति]]
[[Category:बीजगणितीय सजातीय रिक्त स्थान]]
[[Category:वेक्टर बंडल]]
[[Category:समूह सिद्धांत]]
[[Category:सामयिक समूह]]

Latest revision as of 16:45, 12 October 2023

गणित में, सिद्धांत सजातीय समष्टि[1] अथवा टोरसर, समूह (गणित) G के लिए सजातीय समष्टि X है जिसमें प्रत्येक बिंदु का स्टेबलाइज़र उपसमूह है। सामान्यतः समूह G के लिए सिद्धांत सजातीय समष्टि गैर-रिक्त समुच्चय X है जिस पर G स्वतंत्र और सकर्मक रूप से कार्य करता है (अर्थात्, किसी भी x के लिए, X में y, G में अद्वितीय g उपस्तिथ है जैसे कि x·g = y, जहाँ X पर G की (दाईं ओर) क्रिया को प्रदर्शित करता है।

समरूप परिभाषा अन्य श्रेणियों (गणित) में होती है| उदाहरण के लिए, जहां,

परिभाषा

यदि G गैर-अबेलियन समूह है, तो व्यक्ति को बाएं और दाएं टॉर्सर्स के मध्य अंतर क्रिया की दिशा के आधार पर करना चाहिए। इस लेख में, हम उत्तम कार्यों का उपयोग करेंगे।

परिभाषा को स्पष्ट रूप से अध्यन्न करने के लिए, X, G-टोरसर या G-सिद्धांत सजातीय समष्टि है यदि X रिक्त है और मानचित्र से सुसज्जित है, तो (उपयुक्त श्रेणी में) X × GX जैसे कि

x·1 = x
x·(gh) = (x·g)·h

सभी xX और सभी g,hG के लिए मानचित्र X × GX × X द्वारा दी गयी

ध्यान दें कि इसका अर्थ है कि X और G समरूप हैं (समूह के रूप में नहीं, प्रश्नगत श्रेणी में)। चूँकि यह आवश्यक बिंदु है, X ​​में कोई मुख्य 'प्रमाण' बिंदु नहीं है। अर्थात्, X पूर्णतय: G के समरूप है इसके अतिरिक्त कि कौन सा बिंदु प्रमाण को भूल गया है। (इस अवधारणा का उपयोग प्रायः गणित में अधिक आंतरिक दृष्टिकोण को पारित करने की विधि के रूप में किया जाता है, जिसका शीर्षक 'थ्रो अवे द ओरिजिन' है।)

चूँकि X समूह नहीं है, इसलिए हम तत्वों का गुणन नहीं कर सकते हैं| यद्यपि, हम उनका भागफल ले सकते हैं। अर्थात् मानचित्र X × XG, जो अद्वितीय तत्व g = x \ y ∈ G को (x, y) भेजता है जैसे कि y = x·g

चूँकि, उत्तम समूह क्रिया के साथ संक्रिया की संरचना, त्रिगुट संक्रिया X × (X × X) → X, उत्पन्न करती है, जो समूह गुणन के सामान्य रूप में कार्य करता है और जो प्रमुख सजातीय समष्टि को बीजगणितीय रूप से चिह्नित करने के लिए पर्याप्त है और इसके साथ जुड़े समूह को आंतरिक रूप से चिह्नित करता है| यदि इस त्रिगुट संक्रिया के परिणाम को निरूपित करते हैं, तो सर्वसमिका (गणित) निम्नलिखित है-

प्रमुख सजातीय समष्टि को परिभाषित करने के लिए पर्याप्त होगी| जबकि अतिरिक्त संपत्ति हैं-

उन समष्टिों को प्रमाणित करती है जो एबेलियन समूहों से जुड़े होते हैं। समूह को औपचारिक भागफल के रूप में परिभाषित किया जा सकता है तुल्यता संबंध के अधीन के रूप में हैं-

,
समूह उत्पाद के साथ, प्रमाण और व्युत्क्रम में परिभाषित, क्रमशः हैं-
,
,

जो निम्नलिखित समूह द्वारा क्रिया के रूप में हैं-


उदाहरण

गुणन की प्राकृतिक क्रिया के अधीन प्रत्येक समूह G को स्वयं बाएं या दाएं G-टोरसर के रूप में विचार किया जा सकता है।

अन्य उदाहरण एफ्फिन समष्टि की अवधारणा है, सदिश समष्टि V के अंतर्निहित एफ्फिन समष्टि A का विचार संक्षेप में यह कहा जा सकता है कि A, V के लिए प्रमुख सजातीय समष्टि है जो अनुवादों के योज्य समूह के रूप में कार्य करता है।

किसी भी नियमित पॉलीटॉप का ध्वज (ज्यामिति) समरूपता समूह के लिए टोरसर बनाता है।

सदिश समष्टि V दिए जाने पर हम G को सामान्य रैखिक समूह GL(V) और X को V के सभी (आदेशित) आधार (रैखिक बीजगणित) का समुच्चय मान सकते हैं। तब, X पर G इस प्रकार कार्य करता है जैसे कि यह V के सदिशों पर कार्य करता है और यह समूह क्रिया (गणित) का कार्य करता है क्योंकि किसी भी आधार को G के माध्यम से अन्य में रूपांतरित किया जा सकता है। आधार के प्रत्येक वेक्टर को उचित करने वाला रैखिक परिवर्तन, सामान्य रैखिक समूह GL(V) का तटस्थ तत्व होने के कारण V में सभी v को उत्तम करेगा, जिससे वास्तव में X प्रमुख सजातीय समष्टि हो सके। रेखीय बीजगणित पद्धति में आधार-निर्भरता का पालन करने का मार्ग X में x को ट्रैक करना है। इसी प्रकार, ऑर्थोनॉर्मल आधार का समष्टि (एन-फ्रेम्स के स्टीफेल मनीफोल्ड ) ऑर्थोगोनल समूह के लिए प्रमुख सजातीय समष्टि है।

श्रेणी सिद्धांत में, यदि दो वस्तुएँ X और Y समरूपी हैं, तो उनके मध्य की समरूपता, Iso(X,Y) है| ऑटोमोर्फिज़्म समूह Aut(X) के लिए X टॉर्सर बनाती है, और इसी प्रकार Aut(Y) के लिए टॉर्सर बनाती है| वस्तुओं के मध्य समरूपता का विकल्प समूहों को उत्पन्न करता है और इन दो समूहों के साथ टॉर्सर को प्रमाणित करता है जो टॉर्सर को समूह संरचना देता है (क्योंकि अब इसका आधार बिंदु है)।

अनुप्रयोग

सिद्धांत सजातीय समष्टि की अवधारणा प्रमुख बंडल का विशिष्ट विषय है| इसका अर्थ एकल बिंदु आधार का प्रमुख बंडल है। अन्य शब्दों में प्रमुख बंडलों के समष्टिीय सिद्धांत में कुछ मापदंडों के आधार पर प्रमुख सजातीय रिक्त समष्टि के सदस्य का है। बंडल के खंड द्वारा 'मूल' की आपूर्ति की जा सकती है| सामान्यतः ऐसे वर्गों को आधार पर समष्टिीय रूप से उपस्थित किया जाता है| बंडल समष्टिीय रूप से महत्त्वहीन होता है, जिससे समष्टिीय संरचना कार्टेशियन उत्पाद की हो सकती है। किन्तु खंड अधिकांशतः विश्व स्तर पर उपस्थित नहीं होते हैं। उदाहरण के लिए , डिफरेंशियल मैनिफोल्ड M में फ्रेम बंडल का प्रमुख बंडल होता है जो उसके स्पर्शरेखा बंडल से जुड़ा होता है। वैश्विक खंड तभी उपस्थित होगा जब M समानांतर हो, जिसका तात्पर्य दृढ़ सामयिक प्रतिबंधों से होता है।

संख्या सिद्धांत में, क्षेत्र K (और अधिक सामान्य एबेलियन प्रकार) पर परिभाषित अण्डाकार वक्र E के लिए प्रमुख सजातीय समष्टिों पर विचार करने का (सतही रूप से भिन्न) कारण है। जब ज्ञान हो गया तो बीजगणितीय समूहों के लिए अन्य उदाहरण एकत्रित किए गए| ऑर्थोगोनल समूहों के लिए द्विघात रूप, और प्रक्षेपी रैखिक समूहों के लिए सेवेरी-ब्राउर दो प्रकार के हैं।

अंडाकार वक्र स्तिथि में डायोफैंटिन समीकरणों के लिए रुचि का कारण यह है कि K बीजगणितीय रूप से बंद नहीं हो सकता है। ऐसे वक्र C उपस्थित हो सकते हैं जिनके निकट K पर परिभाषित कोई बिंदु नहीं है, और जो E के लिए बड़े क्षेत्र पर समरूप बन जाते हैं| परिभाषा के अनुसार, K पर बिंदु है जो इसके अतिरिक्त कानून के लिए प्रमाण तत्व के रूप में कार्य करता है। इस स्तिथि के लिए हमें C को भिन्न करना चाहिए जिसमें जीनस (गणित) 1 है, अंडाकार वक्र E से जिसमें K-बिंदु है (या, दूसरे शब्दों में, डायोफैंटिन समीकरण प्रदान करता है जिसका समाधान K में है)। वक्र C, E के ऊपर टॉर्सर्स बन जाता है और इस स्तिथि में समृद्ध संरचना का सेट बनाता है, जहाँ K संख्या क्षेत्र (सेल्मर समूह का सिद्धांत) है। वास्तव में 'Q' के ऊपर विशिष्ट समतल घन वक्र C के निकट परिमेय बिंदु होने का कोई विशेष कारण नहीं है; मानक वीयरस्ट्रैस मॉडल सदैव करता है, अर्थात् अनंत पर बिंदु K के रूप में C के लिए K पर बिंदु की आवश्यकता होती है।

इस सिद्धांत को समष्टिीय विश्लेषण पर अत्यन्त ध्यान से विकसित किया गया है, जिससे टेट-शफारेविच समूह की परिभाषा को बढ़ावा मिला है। सामान्य रूप से टॉरसर सिद्धांत को लेने का दृष्टिकोण, बीजगणितीय रूप से बंद क्षेत्र पर सरल, और छोटे से क्षेत्र में 'नीचे' जाने का प्रयास करना वंश (श्रेणी सिद्धांत) का स्वरूप है। यह गैलोइस कोहोलॉजी के प्रश्नों की ओर ले जाता है, क्योंकि टॉर्स समूह कोहोलॉजी एच में कक्षाओं का प्रतिनिधित्व करते हैं|

अन्य उपयोग

प्रमुख सजातीय समष्टि की अवधारणा को निम्नानुसार वैश्वीकृत भी किया जा सकता है। यदि X को समष्टि (योजना (गणित)/कई गुना/स्थलीय समष्टि आदि) और G को X पर समूह माने, अर्थात, X पर समष्टि की श्रेणी (गणित) में समूह वस्तु है। तो इस स्तिथि में, X पर G-टॉर्सर E, (दाएं) G समूह एक्शन (गणित) के साथ X के ऊपर समष्टि E (उसी प्रकार का) है, जैसे कि आकृतिवाद

द्वारा दी गयी
उपयुक्त श्रेणी (गणित) में समाकृतिकता है, और जैसे E, X पर समष्टिीय रूप से महत्त्वहीन है, जिसमे, X पर EX समष्टिीय रूप से खंड प्राप्त करता है। अर्थात, टॉर्सर्स की आइसोमोर्फिज्म कक्षाएं (X,G) सह-समरूपता समूह H1 में कक्षाओं के अनुरूप हैं|

जब हम स्मूथ मैनिफोल्ड श्रेणी (गणित) में होते हैं, तब G-टॉर्सर का प्रमुख बंडल होता है, जैसा कि ऊपर परिभाषित किया गया है।

उदाहरण यदि G कॉम्पैक्ट लाई समूह (माना जाता है) है, तो वर्गीकरण समष्टि BG पर EG एक G-टॉर्सर है|

यह भी देखें

  • सजातीय समष्टि
  • समूह (गणित)

टिप्पणियाँ

  1. S. Lang and J. Tate (1958). "एबेलियन किस्मों पर प्रमुख सजातीय स्थान". American Journal of Mathematics. 80 (3): 659–684. doi:10.2307/2372778.


अग्रिम पठन


बाहरी संबंध