समूह-योजना कार्रवाई: Difference between revisions

From Vigyanwiki
No edit summary
Tag: Manual revert
 
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
[[बीजगणितीय ज्यामिति]] में, एक [[समूह योजना|'''समूह योजना''']] की एक क्रिया समूह योजना के लिए एक [[समूह क्रिया (गणित)|समूह]] क्रिया का सामान्यीकरण है। संक्षेप में, एक समूह '''''S''-स्कीम''' ''G'' दिया गया है, एक '''''S''-स्कीम''' एक्स पर ''G'' की एक बाईं क्रिया एक ''S''-मॉर्फिज्म है
[[बीजगणितीय ज्यामिति]] में, [[समूह योजना|'''समूह योजना''']] की एक क्रिया समूह योजना के लिए [[समूह क्रिया (गणित)|समूह]] क्रिया का सामान्यीकरण है। संक्षेप में, समूह '''''S''-स्कीम''' ''G'' दिया गया है, '''''S''-स्कीम ''X''''' पर ''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'' की बाएं या दाएं क्रिया से सुसज्जित योजना को ''G''-योजना कहा जाता है। ''G''-योजनाओं के बीच एक समान रूपवाद उन योजनाओं का आकार है जो संबंधित जी-कार्यों को आपस में जोड़ता है।
''X'' पर ''G'' की एक सही क्रिया को अनुरूप रूप से परिभाषित किया गया है। समूह योजना ''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> वैकल्पिक रूप से, कुछ लेखक समूह क्रिया का अध्ययन समूह की भाषा में करते हैं; एक ग्रुप-स्कीम क्रिया तब एक ग्रुपॉइड स्कीम का एक उदाहरण है।
अधिक सामान्यतः समूह गुणन खंड की क्रिया (कम से कम कुछ विशेष स्थिति) पर भी विचार कर सकता है: ''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> के रूप में दिया गया है।
* 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> की प्रतिकृति है।
*x का स्टेबलाइज़र मैप के <math>\sigma_x</math> पर फाइबर है <math>(x, 1_T): T \to X \times_S T.</math>
*x का स्टेबलाइज़र मैप के <math>\sigma_x</math> <math>(x, 1_T): T \to X \times_S T.</math>पर फाइबर है।
== एक भागफल बनाने की समस्या ==
== भागफल बनाने की समस्या ==
एक सेट-सैद्धांतिक समूह क्रिया के विपरीत, समूह-योजना क्रिया के लिए भागफल का निर्माण करने का कोई सीधा तरीका नहीं है। एक अपवाद तब होता है जब कार्रवाई मुक्त होती है, एक [[प्रमुख फाइबर बंडल]] की स्थिति है।
सेट-सैद्धांतिक समूह क्रिया के विपरीत, समूह-योजना क्रिया के लिए भागफल का निर्माण करने का कोई सीधा तरीका नहीं है। अपवाद तब होता है जब कार्रवाई मुक्त होती है, [[प्रमुख फाइबर बंडल]] की स्थिति है।


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


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


== यह भी देखें ==
== यह भी देखें ==
* ग्रुपॉयड स्कीम
* सुमिहिरो की प्रमेय
* [[समतुल्य शीफ]]
* [[बोरेल फिक्स्ड-पॉइंट प्रमेय]]


== संदर्भ ==
* समूहबद्ध योजना
{{reflist}}
* सुमिहिरो प्रमेय
*{{Cite book| last1=Mumford | first1=David | author1-link=David Mumford | last2=Fogarty | first2=J. | last3=Kirwan | first3=F. | author3-link=Frances Kirwan | title=Geometric invariant theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=3rd | series=Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)] | isbn=978-3-540-56963-3 |mr=1304906 | year=1994 | volume=34}}
* समतुल्य शीफ
* बोरेल निश्चित बिंदु प्रमेय
<references />


 
[[Category:Machine Translated Page]]
{{algebraic-geometry-stub}}
 
 
[[Category: बीजगणितीय ज्यामिति]]
 
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 26/05/2023]]-->
 
<references />

Latest revision as of 15:37, 15 June 2023

बीजगणितीय ज्यामिति में, समूह योजना की एक क्रिया समूह योजना के लिए समूह क्रिया का सामान्यीकरण है। संक्षेप में, समूह S-स्कीम G दिया गया है, S-स्कीम X पर G की बाईं क्रिया S-मॉर्फिज्म है

यह ऐसा है

  • (साहचर्य) , जहाँ समूह नियम है,
  • (एकता) , जहाँ का तत्समक खंड है।

X पर G की एक सही क्रिया को अनुरूप रूप से परिभाषित किया गया है। समूह योजना G की बाएं या दाएं क्रिया से सुसज्जित योजना को G-योजना कहा जाता है। G-स्कीम के बीच एक समान रूपवाद उन स्कीम का आकार है जो संबंधित G-कार्यों को आपस में जोड़ता है।

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

बनाता है

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

  • T-मूल्यवान बिंदु दिया गया है, कक्षा मानचित्र को के रूप में दिया गया है।
  • x की कक्षा कक्षा मानचित्र की प्रतिकृति है।
  • x का स्टेबलाइज़र मैप के पर फाइबर है।

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

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

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

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

यह भी देखें

  • समूहबद्ध योजना
  • सुमिहिरो प्रमेय
  • समतुल्य शीफ
  • बोरेल निश्चित बिंदु प्रमेय
  1. 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 .