सिद्धांत सजातीय समष्टि

"Torsor" redirects here. For another use, see Torsor (algebraic geometry).

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

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

• G टोपोलॉजिकल समूह है, X टोपोलॉजिकल स्पेस है और क्रिया निरंतर (टोपोलॉजी) है।
• G झूठे समूह है, X स्मूथ मैनिफोल्ड है और क्रिया स्मूथ है|
• G बीजगणितीय समूह है, X बीजगणितीय प्रकार है और क्रिया नियमित है।

परिभाषा

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

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

x·1 = x

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

सभी x ∈ X और सभी g,h ∈ G के लिए और मानचित्र X × G → X × X द्वारा दी गयी

$(x,g)\mapsto (x,x\cdot g)$

एक समरूपता है (समुच्चयों की संख्या, या टोपोलॉजिकल स्थान या ..., जैसा उपयुक्त हो, अर्थात् प्रश्नगत श्रेणी में)।

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

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

चूँकि, सही समूह क्रिया के साथ संक्रिया की संरचना, त्रिगुट संक्रिया X × (X × X) → X, उत्पन्न करती है, जो समूह गुणन के सामान्य रूप में कार्य करता है और जो प्रमुख सजातीय स्थान को बीजगणितीय रूप से चिह्नित करने के लिए पर्याप्त है और इसके साथ जुड़े समूह को आंतरिक रूप से चिह्नित करता है| यदि इस त्रिगुट संक्रिया के परिणाम $x/y\cdot z\,:=\,x\cdot (y\backslash z)$ को निरूपित करते हैं, तो निम्नलिखित सर्वसमिका (गणित)

$x/y\cdot y=x=y/y\cdot x$

$v/w\cdot (x/y\cdot z)=(v/w\cdot x)/y\cdot z$

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

$x/y\cdot z=z/y\cdot x$

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

$x\backslash y=u\backslash v\quad {\text{iff}}\quad v=u/x\cdot y$ ,

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

$(x\backslash y)\cdot (u\backslash v)=x\backslash (y/u\cdot v)=(u/y\cdot x)\backslash v$,

$e=x\backslash x$,

$(x\backslash y)^{-1}=y\backslash x,$

द्वारा और

$x\cdot (y\backslash z)=x/y\cdot z.$

द्वारा समूह क्रिया है|

उदाहरण

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

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

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

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

श्रेणी सिद्धांत में, यदि दो वस्तुएँ 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 पर एक बिंदु की आवश्यकता होती है।

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

अन्य उपयोग

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

$E\times _{X}G\rightarrow E\times _{X}E$ द्वारा दी गयी

$(x,g)\mapsto (x,xg)$ उपयुक्त श्रेणी (गणित) में समाकृतिकता है, और जैसे E, X पर स्थानीय रूप से तुच्छ है, जिसमे, X पर E → X स्थानीय रूप से खंड प्राप्त करता है। इस अर्थ में टॉर्सर्स की आइसोमोर्फिज्म कक्षाएं सह-समरूपता समूह एच में कक्षाओं के अनुरूप हैं, (एक्स,जी)|

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

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

यह भी देखें

• सजातीय स्थान
• ढेर (गणित)

अग्रिम पठन

• Garibaldi, Skip; Merkurjev, Alexander; Serre, Jean-Pierre (2003). Cohomological invariants in Galois cohomology. University Lecture Series. Vol. 28. Providence, RI: American Mathematical Society. ISBN 0-8218-3287-5. Zbl 1159.12311.
• Skorobogatov, A. (2001). Torsors and rational points. Cambridge Tracts in Mathematics. Vol. 144. Cambridge: Cambridge University Press. ISBN 0-521-80237-7. Zbl 0972.14015.

बाहरी संबंध

• Torsors made easy by John Baez