स्टैक (गणित): Difference between revisions
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
गणित में स्टैक या 2-शेफ सामान्यतौर पर एक [[शीफ (गणित)]] है जो संग्रह के बजाय श्रेणियों में मान लेता है। स्टैक्स का उपयोग [[ वंश सिद्धांत | वंश सिद्धांत]] के कुछ मुख्य निर्माणों को औपचारिक रूप देने के लिए किया जाता है और जब [[ ठीक मोडुली स्पेस | उत्कृष्ट मोडुली स्पेस]] स्थित नहीं होते हैं तो उत्कृष्ट मोडुली स्टैक का निर्माण किया जाता है। | गणित में स्टैक या 2-शेफ सामान्यतौर पर एक [[शीफ (गणित)]] है जो संग्रह के बजाय श्रेणियों में मान लेता है। स्टैक्स का उपयोग [[ वंश सिद्धांत | वंश सिद्धांत]] के कुछ मुख्य निर्माणों को औपचारिक रूप देने के लिए किया जाता है और जब [[ ठीक मोडुली स्पेस | उत्कृष्ट मोडुली स्पेस]] स्थित नहीं होते हैं तो उत्कृष्ट मोडुली स्टैक का निर्माण किया जाता है। | ||
वंश [[वंश सिद्धांत|सिद्धांत]] का संबंध उन स्थितियों के सामान्यीकरण से है जहां समरूपता, संयोज्य ज्यामितीय वस्तुएं (जैसे [[टोपोलॉजिकल स्पेस|संस्थानिक स्पेस]] पर [[वेक्टर बंडल]]) को [[टोपोलॉजिकल स्पेस|संस्थानिक]] आधार के प्रतिबंध के भीतर एक साथ चिपकाया जा सकता है। ज्यादातर सामान्य संग्रह -अप में प्रतिबंधों को [[पुलबैक (श्रेणी सिद्धांत)]] से बदल दिया जाता है तंतुमय श्रेणी तब इस तरह के ग्लूइंग की संभावना पर चर्चा करने के लिए एक अच्छा फ्रेम बनाती है। स्टैक का सहज अर्थ यह है कि यह एक [[रेशेदार श्रेणी|तंतुमय श्रेणी]] है जैसे कि सभी संभावित ग्लूइंग काम करते हैं। ग्लूइंग्स के विनिर्देशन के लिए आवरण की परिभाषा की आवश्यकता होती है जिसके संबंध में ग्लूइंग्स पर विचार किया जा सकता है यह पता चला है कि इन आवरणों का वर्णन करने के लिए सामान्य भाषा [[ग्रोथेंडिक टोपोलॉजी|ग्रोथेंडिक सांस्थिति]] है, इस प्रकार स्टैक को औपचारिक रूप से अन्य ''आधार'' श्रेणी पर एक तंतु श्रेणी के रूप में दिया जाता है, जहां आधार ग्रोथेंडिक सांस्थिति होती है जहां तंतु श्रेणी कुछ स्वयंसिद्धों को संतुष्ट करती है जो ग्रोथेंडिक सांस्थिति के संबंध में कुछ ग्लूइंग के अस्तित्व और विशिष्टता को सुनिश्चित करती है। | वंश [[वंश सिद्धांत|सिद्धांत]] का संबंध उन स्थितियों के सामान्यीकरण से है जहां समरूपता, संयोज्य ज्यामितीय वस्तुएं (जैसे [[टोपोलॉजिकल स्पेस|संस्थानिक स्पेस]] पर [[वेक्टर बंडल|सदिश बंडल]]) को [[टोपोलॉजिकल स्पेस|संस्थानिक]] आधार के प्रतिबंध के भीतर एक साथ चिपकाया जा सकता है। ज्यादातर सामान्य संग्रह -अप में प्रतिबंधों को [[पुलबैक (श्रेणी सिद्धांत)]] से बदल दिया जाता है तंतुमय श्रेणी तब इस तरह के ग्लूइंग की संभावना पर चर्चा करने के लिए एक अच्छा फ्रेम बनाती है। स्टैक का सहज अर्थ यह है कि यह एक [[रेशेदार श्रेणी|तंतुमय श्रेणी]] है जैसे कि सभी संभावित ग्लूइंग काम करते हैं। ग्लूइंग्स के विनिर्देशन के लिए आवरण की परिभाषा की आवश्यकता होती है जिसके संबंध में ग्लूइंग्स पर विचार किया जा सकता है यह पता चला है कि इन आवरणों का वर्णन करने के लिए सामान्य भाषा [[ग्रोथेंडिक टोपोलॉजी|ग्रोथेंडिक सांस्थिति]] है, इस प्रकार स्टैक को औपचारिक रूप से अन्य ''आधार'' श्रेणी पर एक तंतु श्रेणी के रूप में दिया जाता है, जहां आधार ग्रोथेंडिक सांस्थिति होती है जहां तंतु श्रेणी कुछ स्वयंसिद्धों को संतुष्ट करती है जो ग्रोथेंडिक सांस्थिति के संबंध में कुछ ग्लूइंग के अस्तित्व और विशिष्टता को सुनिश्चित करती है। | ||
== सिंहावलोकन == | == सिंहावलोकन == | ||
| Line 66: | Line 66: | ||
=== वस्तुओं का स्टैक === | === वस्तुओं का स्टैक === | ||
*[[ समूह ढेर | समूह स्टैक]]। | *[[ समूह ढेर | समूह स्टैक]]। | ||
*[[वेक्टर बंडलों का मोडुली स्टैक]]: | *[[वेक्टर बंडलों का मोडुली स्टैक|सदिश बंडलों का मोडुली स्टैक]]: सदिश बंडलों की श्रेणी V→S संस्थानिक स्पेस S की श्रेणी पर एक स्टैक है। V→S से W→T तक आकारिकी में S से T और V से W तक निरंतर मानचित्र होते हैं। (तंतु पर रैखिक) ऐसा कि स्पष्ट वर्ग आवागमन करता है। स्थिति यह है कि यह एक तंतुयुक्त श्रेणी है क्योंकि कोई संस्थानिक स्पेस के निरंतर मानचित्रों पर सदिश बंडलों के पुलबैक ले सकता है और डिसेंट डेटम प्रभावी होने की स्थिति का अनुसरण करता है क्योंकि कोई सदिश बंडलों को एक साथ जोड़कर स्थान पर सदिश बंडल का निर्माण कर सकता है। | ||
* योजनाओं पर अर्ध-सुसंगत स्टैकों का स्टैक ([[ fpqc-टोपोलॉजी | fpqc-सांस्थिति]] | * योजनाओं पर अर्ध-सुसंगत स्टैकों का स्टैक ([[ fpqc-टोपोलॉजी |fpqc-सांस्थिति]] और अशक्त सांस्थिति के संबंध में) | ||
* | *आधारभूत योजना पर एफ़िन योजनाओं का स्टैक (फिर से fpqc सांस्थिति या अशक्त के संबंध में) | ||
=== स्टैक के साथ निर्माण === | === स्टैक के साथ निर्माण === | ||
==== स्टैक उद्धरण ==== | ==== स्टैक उद्धरण ==== | ||
यदि <math>X</math> एक योजना | यदि <math>X</math> एक योजना <math>(Sch/S)</math> है और <math>G</math> पर कार्य करने वाली एक सहज समूह योजना <math>X</math> है फिर [[भागफल बीजगणितीय ढेर|भागफल बीजगणितीय स्टैक]]<math>[X/G]</math>है,<ref>{{Citation |last=Heinloth |first=Jochen |title=Lectures on the Moduli Stack of Vector Bundles on a Curve |date=January 29, 2009 |publication-date=2010 |work=Affine Flag Manifolds and Principal Bundles |pages=123–153 |place=Basel |publisher=Springer Basel |doi=10.1007/978-3-0346-0288-4_4 |isbn=978-3-0346-0287-7}}</ref> एक योजना <math>Y \to S</math> के समूह के लिए <math>G</math>-टॉर्स ओवर <math>S</math>-योजना <math>Y</math> के साथ <math>G</math>-समतुल्य नक्शे <math>X</math> के साथ स्पष्ट रूप से एक स्पेस दिए गए <math>X</math> के साथ <math>G</math>-स्पेस दिया गया है, तो स्टैक <math>[X/G]</math> पुलबैक आरेखों के समूह के लिए <math>[X/G](Y) = \begin{Bmatrix} | ||
Z & \xrightarrow{\Phi} & X \\ | Z & \xrightarrow{\Phi} & X \\ | ||
\downarrow & & \downarrow \\ | \downarrow & & \downarrow \\ | ||
| Line 80: | Line 80: | ||
==== स्टैक का वर्गीकरण ==== | ==== स्टैक का वर्गीकरण ==== | ||
इसकी एक विशेष स्थिति जब x एक बिंदु होता है, तो एक स्मूथ एफाइन समूह योजना G का वर्गीकृत स्टैक BG देता है: <math>\textbf{B}G := [pt/G].</math> इसका नाम श्रेणी <math>\mathbf{B}G(Y)</math>के बाद से रखा गया है, जो तंतु के ऊपर है Y से अधिक तंतु श्रेणी है <math>\operatorname{Bun}_G(Y)</math> प्रमुख <math>G</math>-bundles <math>Y</math> की श्रेणी है। ध्यान दें कि <math>\operatorname{Bun}_G(Y)</math> को स्टैक के रूप में माना जा सकता है, प्रमुख G बंडलों का मोडुली स्टैक Y पर। | |||
इस निर्माण से एक महत्वपूर्ण उप उदाहरण | इस निर्माण से एक महत्वपूर्ण उप उदाहरण <math>\mathbf{B}GL_n</math> है, जो प्रमुख <math>GL_n</math>-बंडल का मोडुली स्टैक है चूंकि प्रमुख <math>GL_n</math> बंडल का डेटा श्रेणी <math>n</math> सदिश बंडल के डेटा के बराबर है, यह श्रेणी <math>n</math> के मोडुली स्टैक n सदिश बंडल <math>Vect_n</math> के लिए आइसोमॉर्फिक है। | ||
===== लाइन बंडलों का मोडुली स्टैक ===== | ===== लाइन बंडलों का मोडुली स्टैक ===== | ||
लाइन बंडलों का मोडुली स्टैक <math>B\mathbb{G}_m</math> हैं चूंकि प्रत्येक पंक्ति बंडल कैनोनिक रूप से एक | लाइन बंडलों का मोडुली स्टैक <math>B\mathbb{G}_m</math> हैं चूंकि प्रत्येक पंक्ति बंडल कैनोनिक रूप से एक प्रमुख के लिए आइसोमोर्फिक है <math>\mathbb{G}_m</math>-बंडल। वास्तव में एक योजना लाइन बंडल <math>L</math> एक योजना <math>S</math> के ऊपर सापेक्ष विशिष्टता <math>\underline{\text{Spec}}_S(\text{Sym}_S(L^\vee)) \to S</math> एक ज्यामितीय लाइन बंडल देता है। शून्य खंड की छवि को हटाकर एक मूलधन <math>\mathbb{G}_m</math>-बंडल प्राप्त होता है। इसके विपरीत प्रतिनिधित्व से <math>id:\mathbb{G}_m \to \text{Aut}(\mathbb{A}^1)</math> संबंधित लाइन बंडल का पुनर्निर्माण किया जा सकता है। | ||
==== गेर्ब्स ==== | ==== गेर्ब्स ==== | ||
गेर्बे ग्रुपोइड्स में एक स्टैक है जिसमें हमेशा एक गैर-शून्य श्रेणी होती है, उदाहरण के लिए अप्रत्यक्ष [[gerbe|गेर्ब्स]] <math>BG</math> जो प्रत्येक योजना को समूह <math>G</math>- के लिए योजना के ऊपर प्रमुख <math>G</math>- बंडलों के ग्रुपॉयड को निर्दिष्ट करता है। | |||
==== सापेक्ष युक्ति और परियोजना ==== | ==== सापेक्ष युक्ति और परियोजना ==== | ||
Revision as of 23:30, 13 May 2023
गणित में स्टैक या 2-शेफ सामान्यतौर पर एक शीफ (गणित) है जो संग्रह के बजाय श्रेणियों में मान लेता है। स्टैक्स का उपयोग वंश सिद्धांत के कुछ मुख्य निर्माणों को औपचारिक रूप देने के लिए किया जाता है और जब उत्कृष्ट मोडुली स्पेस स्थित नहीं होते हैं तो उत्कृष्ट मोडुली स्टैक का निर्माण किया जाता है।
वंश सिद्धांत का संबंध उन स्थितियों के सामान्यीकरण से है जहां समरूपता, संयोज्य ज्यामितीय वस्तुएं (जैसे संस्थानिक स्पेस पर सदिश बंडल) को संस्थानिक आधार के प्रतिबंध के भीतर एक साथ चिपकाया जा सकता है। ज्यादातर सामान्य संग्रह -अप में प्रतिबंधों को पुलबैक (श्रेणी सिद्धांत) से बदल दिया जाता है तंतुमय श्रेणी तब इस तरह के ग्लूइंग की संभावना पर चर्चा करने के लिए एक अच्छा फ्रेम बनाती है। स्टैक का सहज अर्थ यह है कि यह एक तंतुमय श्रेणी है जैसे कि सभी संभावित ग्लूइंग काम करते हैं। ग्लूइंग्स के विनिर्देशन के लिए आवरण की परिभाषा की आवश्यकता होती है जिसके संबंध में ग्लूइंग्स पर विचार किया जा सकता है यह पता चला है कि इन आवरणों का वर्णन करने के लिए सामान्य भाषा ग्रोथेंडिक सांस्थिति है, इस प्रकार स्टैक को औपचारिक रूप से अन्य आधार श्रेणी पर एक तंतु श्रेणी के रूप में दिया जाता है, जहां आधार ग्रोथेंडिक सांस्थिति होती है जहां तंतु श्रेणी कुछ स्वयंसिद्धों को संतुष्ट करती है जो ग्रोथेंडिक सांस्थिति के संबंध में कुछ ग्लूइंग के अस्तित्व और विशिष्टता को सुनिश्चित करती है।
सिंहावलोकन
बीजगणितीय स्टैक्स (जिसे आर्टिन स्टैक्स भी कहा जाता है) डेलिग्ने-ममफोर्ड स्टैक्स की अंतर्निहित संरचना है, जो योजना (गणित) और बीजगणितीय स्पेस को सामान्यीकृत करते हैं और मोडुली स्पेस का अध्ययन करने में विशेष रूप से उपयोगी होते हैं। इसमें समावेशन हैं:
योजनाएं ⊆ बीजगणितीय स्पेस ⊆ डेलिग्ने-ममफोर्ड स्टैक ⊆ बीजगणितीय स्टैक (आर्टिन स्टैक) ⊆ स्टैक।
एडिडिन (2003) और फैंटेची (2001) स्टैक का संक्षिप्त परिचयात्मक विवरण देते हैं, गोमेज़ (2001), ओल्सन (2007) और विस्टोली (2005) अधिक विस्तृत परिचय देते हैं और लॉमोन एंड & मोरेट-बेली (2000) अधिक उन्नत सिद्धांत का वर्णन करते है।
प्रेरणा और इतिहास
La conclusion pratique à laquelle je suis arrivé dès maintenant, c'est que chaque fois que en vertu de mes critères, une variété de modules (ou plutôt, un schéma de modules) pour la classification des variations (globales, ou infinitésimales) de certaines structures (variétés complètes non singulières, fibrés vectoriels, etc.) ne peut exister, malgré de bonnes hypothèses de platitude, propreté, et non singularité éventuellement, la raison en est seulement l'existence d'automorphismes de la structure qui empêche la technique de descente de marcher.
Grothendieck's letter to Serre, 1959 Nov 5.
स्टैक की अवधारणा का मूल ग्रोथेंडिक (1959)में प्रभावी अन्वय डेटा की परिभाषा में है। 1959 में सेरे को लिखे एक पत्र में ग्रोथेंडिक ने देखा कि अच्छे मॉडुलि स्पेस के निर्माण में एक मूलभूत बाधा ऑटोमोर्फिज़्म का अस्तित्व है। स्टैक के लिए एक प्रमुख प्रेरणा यह है कि अगर ऑटोमोर्फिज्म के अस्तित्व के कारण किसी समस्या के लिए मॉडुलि स्पेस स्थित नहीं है, तब भी मोडुली स्टैक का निर्माण संभव हो सकता है।
स्टैक परिभाषित किए जाने से पहले ममफोर्ड (1965) ने गोलाकार वक्रों के मोडुली स्टैक के पिकार्ड समूह का अध्ययन किया। स्टैक को सबसे पहले जिराउड (1966, 1971)द्वारा परिभाषित किया गया था और स्टैक शब्द डेलिग्ने एंड & ममफोर्ड (1969) द्वारा मूल फ्रांसीसी शब्द "चैंप" के लिए "फ़ील्ड" के रूप में प्रस्तुत किया गया था। इस लेख में उन्होंने डेलिग्ने-ममफोर्ड स्टैक भी प्रस्तुत किए जिसे उन्होंने बीजगणितीय स्टैक कहा हालांकि बीजगणितीय स्टैक शब्द अब सामान्यतौर पर आर्टिन (1974) द्वारा प्रस्तुत किए गए सामान्य आर्टिन स्टैक को संदर्भित करता है।
समूह फंक्शन द्वारा योजनाओं के भागफल को परिभाषित करते समय भागफल के लिए एक योजना होना और वांछनीय गुणों को संतुष्ट करना ज्यादातर असंभव होता है। उदाहरण के लिए यदि कुछ बिंदुओं में गैर-तुच्छ स्टेबलाइजर्स हैं, तो योजनाओं के बीच श्रेणीबद्ध भागफल उपस्थित नहीं होगा लेकिन यह स्टैक के रूप में स्थित रहेगा।
उसी तरह वक्र, सदिश बंडल या अन्य ज्यामितीय वस्तुओं के मॉडुलि स्पेस ज्यादातर योजनाओं के बजाय स्टैक के रूप में परिभाषित किए जाते हैं। मॉडुलि स्पेस निर्माण ज्यादातर प्रश्न में वस्तुओं का मानकीकरण करने के लिए पहले एक बड़े स्थान का निर्माण करके आगे बढ़ते हैं और उसके बाद ऑटोमोर्फिज्म वाली वस्तुओं के लिएसमूह क्रिया द्वारा उद्धरण देते है।
परिभाषाएँ
निराकार स्टैक
श्रेणी के फ़ंक्टर वाली श्रेणी को के ऊपर एक तंतुयुक्त श्रेणी कहा जाता है यदि किसी आकारिकी के लिए में और कोई वस्तु का प्रतिबिंब के साथ एक पुलबैक है द्वारा इसका मतलब प्रतिबिंब के साथ एक आकृतिवाद है जैसे कि कोई आकारिकी प्रतिबिंब के साथ के रूप में गिना जा सकता है एक अद्वितीय आकारिकी द्वारा में फ़ंक्टर को से मानचित्र करता है। तत्व का पुलबैक के साथ कहा जाता है और विहित समरूपता तक अद्वितीय है।
श्रेणी c को ग्रोथेंडिक सांस्थिति के साथ श्रेणी C पर ' प्रीस्टैक ' कहा जाता है यदि इसे c पर तंतु किया जाता है और c के किसी वस्तु u के लिए प्रतिबिंब u के साथ c की वस्तु x, y ओवर श्रेणी c/u से फ़ंक्टर संग्रहित करने के लिए F:V→U से (F*x,F*y) एक शीफ है। यह स्टैकों के लिए शब्दावली के अनुरूप नहीं है: प्रीस्टैक प्रीशेव्स से अलग किए गए प्रीशेव्स के अनुरूप हैं, कुछ लेखकों को इसे प्रीस्टैक की बजाय स्टैक की संपत्ति के रूप में आवश्यकता होती है।
श्रेणी c को ग्रोथेंडिक सांस्थिति के साथ श्रेणी c के ऊपर एक 'स्टैक' कहा जाता है यदि यह c पर एक प्रीस्टैक है और प्रत्येक वंश मूल डेटा प्रभावी है। एक 'वंश तिथि' में सामान्य तौर पर वर्ग V द्वारा C की वस्तु V का आवरण i होता है पर तंतु में तत्व xi और xj के प्रतिबंधों के बीच आकारिकी fji से Vij = Vi × VVj अनुकूलता की स्थिति को संतुष्ट करता है वंश तिथि को 'प्रभावी' कहा जाता है यदि तत्व xi अनिवार्य रूप से प्रतिबिंब V के साथ तत्व x के पुलबैक हैं।
स्टैक को 'ग्रुपॉइड्स में 'स्टैक' या (2,1)-शेफ' कहा जाता है अगर ग्रुपोइड्स में भी तंतु होता है, जिसका अर्थ है कि इसके तंतु (c की वस्तुओं का उल्टा प्रतिबिंब) ग्रुपोइड्स हैं। कुछ लेखक "स्टैक" शब्द का उपयोग ग्रुपोइड्स में स्टैक की अधिक प्रतिबंधात्मक धारणा को संदर्भित करने के लिए करते हैं।
बीजगणितीय स्टैक
बीजगणितीय स्टैक या आर्टिन स्टैक