समूह-योजना कार्रवाई

बीजगणितीय ज्यामिति में, समूह योजना की एक क्रिया समूह योजना के लिए समूह क्रिया (गणित) का सामान्यीकरण है। संक्षेप में, एक समूह एस-स्कीम जी दिया गया है, एस-स्कीम एक्स पर जी की एक बाईं कार्रवाई एक एस'-मोर्फिज्म है

$\sigma :G\times _{S}X\to X$

ऐसा है कि

• (साहचर्य) $\sigma \circ (1_{G}\times \sigma )=\sigma \circ (m\times 1_{X})$, कहाँ $m:G\times _{S}G\to G$ समूह कानून है,
• (एकता) $\sigma \circ (e\times 1_{X})=1_{X}$, कहाँ $e:S\to G$ G का पहचान खंड है।

एक 'एक्स पर जी की सही कार्रवाई' को समान रूप से परिभाषित किया गया है। एक समूह योजना जी की बाएं या दाएं कार्रवाई से लैस एक योजना को 'जी-स्कीम' कहा जाता है। जी-योजनाओं के बीच एक समान रूपवाद योजनाओं का एक रूपवाद है जो संबंधित जी-क्रियाओं को आपस में जोड़ता है।

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

बनाता है

समूह क्रिया (गणित) के लिए सामान्य निर्माण जैसे कक्षाएँ समूह-योजना क्रिया के लिए सामान्यीकृत होती हैं। होने देना $\sigma$ ऊपर के रूप में दी गई समूह-योजना क्रिया हो।

• एक टी-वैल्यू पॉइंट दिया गया है $x:T\to X$, कक्षा का नक्शा $\sigma _{x}:G\times _{S}T\to X\times _{S}T$ के रूप में दिया जाता है $(\sigma \circ (1_{G}\times x),p_{2})$.
• एक्स की कक्षा (समूह सिद्धांत) कक्षा मानचित्र की छवि है $\sigma _{x}$.
• X का स्टेबलाइजर उपसमूह योजना-सैद्धांतिक फाइबर ओवर है $\sigma _{x}$ मानचित्र का $(x,1_{T}):T\to X\times _{S}T.$

एक भागफल बनाने की समस्या

एक सेट-सैद्धांतिक समूह क्रिया के विपरीत, समूह-योजना क्रिया के लिए भागफल बनाने का कोई सीधा तरीका नहीं है। एक अपवाद वह मामला है जब कार्रवाई मुक्त होती है, एक प्रमुख फाइबर बंडल का मामला।

इस कठिनाई को दूर करने के लिए कई उपाय हैं:

• स्तर संरचना (बीजगणितीय ज्यामिति) - शायद सबसे पुराना, दृष्टिकोण एक वस्तु द्वारा एक स्तर संरचना के साथ वर्गीकृत करने के लिए एक वस्तु को प्रतिस्थापित करता है
• ज्यामितीय अपरिवर्तनीय सिद्धांत - खराब कक्षाओं को फेंक दें और फिर भागफल लें। दोष यह है कि खराब कक्षाओं की धारणा को पेश करने का कोई प्रामाणिक तरीका नहीं है; धारणा रैखिककरण के विकल्प पर निर्भर करती है। यह भी देखें: श्रेणीबद्ध भागफल, GIT भागफल।
• बोरेल निर्माण - यह अनिवार्य रूप से बीजगणितीय टोपोलॉजी से एक दृष्टिकोण है; इस दृष्टिकोण के लिए व्यक्ति को अनंत-आयामी स्थान के साथ काम करने की आवश्यकता होती है।
• विश्लेषणात्मक दृष्टिकोण, टेकमूलर अंतरिक्ष का सिद्धांत
• भागफल ढेर - एक अर्थ में, यह समस्या का अंतिम उत्तर है। मोटे तौर पर, एक भागफल प्रीस्टैक कक्षाओं की श्रेणी है और एक स्टैकिफिकेशन (यानी, एक टॉर्सर की धारणा का परिचय) यह एक भागफल स्टैक प्राप्त करने के लिए है।

अनुप्रयोगों के आधार पर, एक अन्य दृष्टिकोण फोकस को एक स्थान से दूर एक स्थान पर सामान पर स्थानांतरित करना होगा; उदा., topos . तो समस्या कक्षाओं के वर्गीकरण से समभिन्न वस्तुओं के वर्गीकरण में बदल जाती है।