समूह-योजना कार्रवाई: Difference between revisions
From Vigyanwiki
No edit summary |
|||
| Line 1: | Line 1: | ||
[[बीजगणितीय ज्यामिति]] में, एक [[समूह योजना|'''समूह योजना''']] की एक क्रिया समूह योजना के लिए एक [[समूह क्रिया (गणित)|समूह]] क्रिया का सामान्यीकरण है। संक्षेप में, एक समूह '''''S''-स्कीम''' ''G'' दिया गया है, एक '''''S''-स्कीम''' एक्स पर ''G'' की एक बाईं | [[बीजगणितीय ज्यामिति]] में, एक [[समूह योजना|'''समूह योजना''']] की एक क्रिया समूह योजना के लिए एक [[समूह क्रिया (गणित)|समूह]] क्रिया का सामान्यीकरण है। संक्षेप में, एक समूह '''''S''-स्कीम''' ''G'' दिया गया है, एक '''''S''-स्कीम''' एक्स पर ''G'' की एक बाईं क्रिया एक ''S''-मॉर्फिज्म है | ||
:<math>\sigma: G \times_S X \to X</math> | :<math>\sigma: G \times_S X \to X</math> | ||
यह ऐसा है | यह ऐसा है | ||
| Line 5: | Line 5: | ||
*(एकता) <math>\sigma \circ (e \times 1_X) = 1_X</math>, जहाँ <math>e: S \to G</math> का तत्समक खंड है। | *(एकता) <math>\sigma \circ (e \times 1_X) = 1_X</math>, जहाँ <math>e: S \to G</math> का तत्समक खंड है। | ||
''X'' पर ''G'' की एक सही क्रिया को अनुरूप रूप से परिभाषित किया गया है। एक समूह योजना ''G'' की बाएं या दाएं | ''X'' पर ''G'' की एक सही क्रिया को अनुरूप रूप से परिभाषित किया गया है। एक समूह योजना ''G'' की बाएं या दाएं क्रिया से सुसज्जित योजना को ''G''-योजना कहा जाता है। ''G''-योजनाओं के बीच एक समान रूपवाद उन योजनाओं का आकार है जो संबंधित जी-कार्यों को आपस में जोड़ता है। | ||
अधिक आम तौर पर, एक समूह फ़ैक्टर की | अधिक आम तौर पर, एक समूह फ़ैक्टर की क्रिया (कम से कम कुछ विशेष स्थिति) पर भी विचार कर सकता है: ''G'' को एक फ़ंक्टर के रूप में देखते हुए, उपरोक्त के अनुरूप शर्तों को पूरा करने वाले प्राकृतिक परिवर्तन के रूप में एक क्रिया दी जाती है।<ref>In details, given a group-scheme action <math>\sigma</math>, for each morphism <math>T \to S</math>, <math>\sigma</math> determines a group action <math>G(T) \times X(T) \to X(T)</math>; i.e., the group <math>G(T)</math> acts on the set of ''T''-points <math>X(T)</math>. Conversely, if for each <math>T \to S</math>, there is a group action <math>\sigma_T: G(T) \times X(T) \to X(T)</math> and if those actions are compatible; i.e., they form a [[natural transformation]], then, by the [[Yoneda lemma]], they determine a group-scheme action <math>\sigma: G \times_S X \to X</math>.</ref> वैकल्पिक रूप से, कुछ लेखक समूह क्रिया का अध्ययन समूह की भाषा में करते हैं; एक ग्रुप-स्कीम क्रिया तब एक ग्रुपॉइड स्कीम का एक उदाहरण है। | ||
== बनाता है == | == बनाता है == | ||
समूह क्रिया (गणित) के लिए सामान्य निर्माण जैसे कक्षाएँ समूह-योजना क्रिया के लिए सामान्यीकृत होती हैं। होने देना <math>\sigma</math> ऊपर के रूप में दी गई समूह-योजना क्रिया हो। | समूह क्रिया (गणित) के लिए सामान्य निर्माण जैसे कक्षाएँ समूह-योजना क्रिया के लिए सामान्यीकृत होती हैं। होने देना <math>\sigma</math> ऊपर के रूप में दी गई समूह-योजना क्रिया हो। | ||
* एक | * एक T-मूल्यवान बिंदु <math>x: T \to X</math> दिया गया है, कक्षा मानचित्र <math>\sigma_x: G \times_S T \to X \times_S T</math> को <math>(\sigma \circ (1_G \times x), p_2)</math> के रूप में दिया गया है। | ||
* | *x की कक्षा कक्षा मानचित्र <math>\sigma_x</math> की छवि है। | ||
* | *x का स्टेबलाइज़र मैप के <math>\sigma_x</math> पर फाइबर है <math>(x, 1_T): T \to X \times_S T.</math> | ||
== एक भागफल बनाने की समस्या == | == एक भागफल बनाने की समस्या == | ||
एक सेट-सैद्धांतिक समूह क्रिया के विपरीत, समूह-योजना क्रिया के लिए भागफल बनाने का कोई सीधा तरीका नहीं है। एक अपवाद वह मामला है जब | एक सेट-सैद्धांतिक समूह क्रिया के विपरीत, समूह-योजना क्रिया के लिए भागफल बनाने का कोई सीधा तरीका नहीं है। एक अपवाद वह मामला है जब क्रिया मुक्त होती है, एक [[प्रमुख फाइबर बंडल]] का मामला। | ||
इस कठिनाई को दूर करने के लिए कई उपाय हैं: | इस कठिनाई को दूर करने के लिए कई उपाय हैं: | ||
Revision as of 13:25, 31 May 2023
बीजगणितीय ज्यामिति में, एक समूह योजना की एक क्रिया समूह योजना के लिए एक समूह क्रिया का सामान्यीकरण है। संक्षेप में, एक समूह S-स्कीम G दिया गया है, एक S-स्कीम एक्स पर G की एक बाईं क्रिया एक S-मॉर्फिज्म है
यह ऐसा है
- (साहचर्य) , जहाँ समूह नियम है,
- (एकता) , जहाँ का तत्समक खंड है।
X पर G की एक सही क्रिया को अनुरूप रूप से परिभाषित किया गया है। एक समूह योजना G की बाएं या दाएं क्रिया से सुसज्जित योजना को G-योजना कहा जाता है। G-योजनाओं के बीच एक समान रूपवाद उन योजनाओं का आकार है जो संबंधित जी-कार्यों को आपस में जोड़ता है।
अधिक आम तौर पर, एक समूह फ़ैक्टर की क्रिया (कम से कम कुछ विशेष स्थिति) पर भी विचार कर सकता है: G को एक फ़ंक्टर के रूप में देखते हुए, उपरोक्त के अनुरूप शर्तों को पूरा करने वाले प्राकृतिक परिवर्तन के रूप में एक क्रिया दी जाती है।[1] वैकल्पिक रूप से, कुछ लेखक समूह क्रिया का अध्ययन समूह की भाषा में करते हैं; एक ग्रुप-स्कीम क्रिया तब एक ग्रुपॉइड स्कीम का एक उदाहरण है।
बनाता है
समूह क्रिया (गणित) के लिए सामान्य निर्माण जैसे कक्षाएँ समूह-योजना क्रिया के लिए सामान्यीकृत होती हैं। होने देना ऊपर के रूप में दी गई समूह-योजना क्रिया हो।
- एक T-मूल्यवान बिंदु दिया गया है, कक्षा मानचित्र को के रूप में दिया गया है।
- x की कक्षा कक्षा मानचित्र की छवि है।
- x का स्टेबलाइज़र मैप के पर फाइबर है
एक भागफल बनाने की समस्या
एक सेट-सैद्धांतिक समूह क्रिया के विपरीत, समूह-योजना क्रिया के लिए भागफल बनाने का कोई सीधा तरीका नहीं है। एक अपवाद वह मामला है जब क्रिया मुक्त होती है, एक प्रमुख फाइबर बंडल का मामला।
इस कठिनाई को दूर करने के लिए कई उपाय हैं:
- स्तर संरचना (बीजगणितीय ज्यामिति) - शायद सबसे पुराना, दृष्टिकोण एक वस्तु द्वारा एक स्तर संरचना के साथ वर्गीकृत करने के लिए एक वस्तु को प्रतिस्थापित करता है
- ज्यामितीय अपरिवर्तनीय सिद्धांत - खराब कक्षाओं को फेंक दें और फिर भागफल लें। दोष यह है कि खराब कक्षाओं की धारणा को पेश करने का कोई प्रामाणिक तरीका नहीं है; धारणा रैखिककरण के विकल्प पर निर्भर करती है। यह भी देखें: श्रेणीबद्ध भागफल, GIT भागफल।
- बोरेल निर्माण - यह अनिवार्य रूप से बीजगणितीय टोपोलॉजी से एक दृष्टिकोण है; इस दृष्टिकोण के लिए व्यक्ति को अनंत-आयामी स्थान के साथ काम करने की आवश्यकता होती है।
- विश्लेषणात्मक दृष्टिकोण, टेकमूलर अंतरिक्ष का सिद्धांत
- भागफल ढेर - एक अर्थ में, यह समस्या का अंतिम उत्तर है। मोटे तौर पर, एक भागफल प्रीस्टैक कक्षाओं की श्रेणी है और एक स्टैकिफिकेशन (यानी, एक टॉर्सर की धारणा का परिचय) यह एक भागफल स्टैक प्राप्त करने के लिए है।
अनुप्रयोगों के आधार पर, एक अन्य दृष्टिकोण फोकस को एक स्थान से दूर एक स्थान पर सामान पर स्थानांतरित करना होगा; उदा., topos . तो समस्या कक्षाओं के वर्गीकरण से समभिन्न वस्तुओं के वर्गीकरण में बदल जाती है।
- ↑ In details, given a group-scheme action , for each morphism , determines a group action ; i.e., the group acts on the set of T-points . Conversely, if for each , there is a group action and if those actions are compatible; i.e., they form a natural transformation, then, by the Yoneda lemma, they determine a group-scheme action .
