बीजगणितीय स्टैक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(8 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{short description|Generalization of algebraic spaces or schemes}}
{{short description|Generalization of algebraic spaces or schemes}}
गणित में, एक '''बीजगणितीय स्टैक''' बीजगणितीय रिक्त स्थान या [[योजना (गणित)|योजनाओं (गणित)]] का एक विशाल सामान्यीकरण है, जो मॉडुलि सिद्धांत का अध्ययन करने के लिए मूलभूत हैं। बीजगणितीय स्टैक के लिए विशिष्ट तकनीकों का उपयोग करके कई मोडुली रिक्त स्थान बनाए जाते हैं, जैसे कि आर्टिन की प्रतिनिधित्व क्षमता प्रमेय, जिसका उपयोग नुकीले बीजगणितीय वक्र <math>\mathcal{M}_{g,n}</math> के मोडुली स्पेस के निर्माण के लिए किया जाता है। अण्डाकार वक्र। मूल रूप से, उन्हें ग्रोथेंडिक द्वारा मोडुली स्पेस पर ऑटोमोर्फिज्म का ट्रैक रखने के लिए पेश किया गया था<ref>{{cite arXiv|last1=A'Campo|first1=Norbert|last2=Ji|first2=Lizhen|last3=Papadopoulos|first3=Athanase|date=2016-03-07|title=On Grothendieck's construction of Teichmüller space|class=math.GT|eprint=1603.02229}}</ref> एक ऐसी तकनीक जो इन मोडुली स्पेस को ट्रीट करने की अनुमति देती है जैसे कि उनकी [[चिकनी योजना|अंतर्निहित]] योजनाएं या बीजगणितीय स्पेस स्मूद हैं। लेकिन, कई सामान्यीकरणों के माध्यम से बीजगणितीय स्टैक की धारणा अंततः [[माइकल आर्टिन]] द्वारा खोजी गई थी।<ref name=":0">{{Cite journal|last=Artin|first=M.|date=1974|title=वर्सल विकृति और बीजगणितीय ढेर|url=https://eudml.org/doc/142310|journal=Inventiones Mathematicae|volume=27|issue=3|pages=165–189|doi=10.1007/bf01390174|bibcode=1974InMat..27..165A|s2cid=122887093|issn=0020-9910}}</ref>
गणित में, '''बीजगणितीय स्टैक''' बीजगणितीय रिक्त समष्टि या [[योजना (गणित)|योजनाओं (गणित)]] का एक विशाल सामान्यीकरण है जो मॉडुलि सिद्धांत का अध्ययन करने के लिए मूलभूत हैं। बीजगणितीय स्टैक के लिए विशिष्ट तकनीकों का उपयोग करके कई मोडुली रिक्त समष्टि बनाए जाते हैं, जैसे कि आर्टिन की प्रतिनिधित्व क्षमता का प्रमेय, जिसका उपयोग बीजगणितीय वक्र <math>\mathcal{M}_{g,n}</math> के मोडुली समष्टि के निर्माण के लिए दीर्घवृत्तीय वक्र मे किया जाता है। मूल रूप से, उन्हें ग्रोथेंडिक द्वारा मोडुली समष्टि पर स्वसमाकृतिकता का नियंत्रण रखने के लिए प्रस्तुत किया गया था।<ref>{{cite arXiv|last1=A'Campo|first1=Norbert|last2=Ji|first2=Lizhen|last3=Papadopoulos|first3=Athanase|date=2016-03-07|title=On Grothendieck's construction of Teichmüller space|class=math.GT|eprint=1603.02229}}</ref> एक ऐसी तकनीक जो इन मोडुली समष्टि को परिवर्तित करने की स्वीकृति देती है जैसे कि उनकी [[चिकनी योजना|अंतर्निहित]] योजनाएं या बीजगणितीय समष्टि मे है लेकिन कई सामान्यीकरणों के माध्यम से बीजगणितीय स्टैक की धारणा अंततः [[माइकल आर्टिन]] द्वारा खोजी गई थी।<ref name=":0">{{Cite journal|last=Artin|first=M.|date=1974|title=वर्सल विकृति और बीजगणितीय ढेर|url=https://eudml.org/doc/142310|journal=Inventiones Mathematicae|volume=27|issue=3|pages=165–189|doi=10.1007/bf01390174|bibcode=1974InMat..27..165A|s2cid=122887093|issn=0020-9910}}</ref>
== परिभाषा ==
== परिभाषा ==


=== प्रेरणा ===
=== प्रेरणा ===
एक बीजगणितीय स्टैक के प्रेरक उदाहरणों में से एक है एक निश्चित योजना <math>S</math> के ऊपर एक समूह योजना<math>(R,U,s,t,m)</math> पर विचार करना। उदाहरण के लिए, यदि <math>R = \mu_n\times_S\mathbb{A}^n_S</math><math>U = \mathbb{A}^n_S</math>, <math>s = \text{pr}_U</math> प्रक्षेपण मानचित्र है, <math>t</math> समूह क्रिया है
बीजगणितीय स्टैक के प्रेरक उदाहरणों में से एक निश्चित योजना <math>S</math> के ऊपर समूह योजना <math>(R,U,s,t,m)</math> पर विचार करना है उदाहरण के लिए, यदि <math>R = \mu_n\times_S\mathbb{A}^n_S</math><math>U = \mathbb{A}^n_S</math>, <math>s = \text{pr}_U</math> प्रक्षेपण मानचित्र है और <math>t</math> समूह क्रिया है तब


<math>\zeta_n \cdot (x_1,\ldots, x_n)=(\zeta_n  x_1,\ldots,\zeta_n x_n)</math>
<math>\zeta_n \cdot (x_1,\ldots, x_n)=(\zeta_n  x_1,\ldots,\zeta_n x_n)</math>


और <math>m</math> गुणन मानचित्र है
और <math>m</math> गुणन मानचित्र है:


<math>m: (\mu_n\times_S \mathbb{A}^n_S)\times_{\mu_n\times_S \mathbb{A}^n_S} (\mu_n\times_S \mathbb{A}^n_S) \to \mu_n\times_S \mathbb{A}^n_S</math>
<math>m: (\mu_n\times_S \mathbb{A}^n_S)\times_{\mu_n\times_S \mathbb{A}^n_S} (\mu_n\times_S \mathbb{A}^n_S) \to \mu_n\times_S \mathbb{A}^n_S</math>


<math>\mu_n</math> पर। फिर, एक <math>S</math>-योजना <math>\pi:X\to S</math> दिए जाने पर, ग्रुपॉइड स्कीम <math>(R(X),U(X),s,t,m)</math> एक ग्रुपॉइड बनाता है जहाँ <math>R,U</math> उनके संबंधित फ़ैक्टर हैं इसके अलावा, यह निर्माण <math>(\mathrm{Sch}/S)</math> पर क्रियात्मक है जो एक प्रतिपरिवर्ती 2-फ़ंक्टर बनाता है:
तब <math>S</math> योजना <math>\pi:X\to S</math> दिए जाने पर ग्रुपॉइड योजना <math>(R(X),U(X),s,t,m)</math> एक ग्रुपॉइड बनाता है जहाँ <math>R,U</math> उनके संबंधित प्रकार्यक हैं इसके अतिरिक्त यह निर्माण <math>(\mathrm{Sch}/S)</math> पर क्रियात्मक है जो एक प्रतिपरिवर्ती 2-प्रकार्यक बनाता है:


<math>(R(-),U(-),s,t,m): (\mathrm{Sch}/S)^\mathrm{op} \to \text{Cat}</math>
<math>(R(-),U(-),s,t,m): (\mathrm{Sch}/S)^\mathrm{op} \to \text{Cat}</math>


जहाँ <math>\text{Cat}</math> छोटी श्रेणियों की [[छोटी श्रेणी]] है। इसे देखने का एक अन्य तरीका [[ग्रोथेंडिक निर्माण]] के माध्यम से एक रेशेदार श्रेणी <math>[U/R] \to (\mathrm{Sch}/S)</math> के रूप में है। सही तकनीकी स्थितियां प्राप्त करना, जैसे <math>(\mathrm{Sch}/S)</math> पर ग्रो[[ग्रोथेंडिक टोपोलॉजी]], एक बीजगणितीय स्टैक की परिभाषा देता है। उदाहरण के लिए, मूल वस्तु <math>0 \in \mathbb{A}^n_S(k)</math> पर फ़ील्ड <math>k</math> के लिए k-बिंदुओं के संबद्ध समूह में ऑटोमोर्फिज़्म का समूह होता है <math>\mu_n(k)</math> ध्यान दें कि <math>[U/R]</math> से एक बीजगणितीय स्टैक प्राप्त करने के लिए, न कि केवल एक स्टैक के लिए, <math>[U/R]</math> के लिए अतिरिक्त तकनीकी परिकल्पनाओं की आवश्यकता होती है।<ref>{{Cite web|title=Section 92.16 (04T3): From an algebraic stack to a presentation—The Stacks project|url=https://stacks.math.columbia.edu/tag/04T3|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref>
जहाँ <math>\text{Cat}</math> छोटी श्रेणियों की [[छोटी श्रेणी]] है इसे देखने का एक अन्य प्रकार [[ग्रोथेंडिक निर्माण]] के माध्यम से एक फाइब्रिन श्रेणी <math>[U/R] \to (\mathrm{Sch}/S)</math> के रूप में है। सही तकनीकी स्थितियां प्राप्त करना जैसे <math>(\mathrm{Sch}/S)</math> पर [[ग्रोथेंडिक टोपोलॉजी|ग्रोथेंडिक सांस्थिति]], एक बीजगणितीय स्टैक की परिभाषा देता है। उदाहरण के लिए, मूल वस्तु <math>0 \in \mathbb{A}^n_S(k)</math> पर क्षेत्र <math>k</math> के लिए k-बिंदुओं के संबद्ध समूह में आकारिकी <math>\mu_n(k)</math> का समूह होता है। ध्यान दें कि <math>[U/R]</math> से एक बीजगणितीय स्टैक प्राप्त करने के लिए न कि केवल एक स्टैक के लिए, <math>[U/R]</math> के लिए अतिरिक्त तकनीकी परिकल्पनाओं की आवश्यकता होती है।<ref>{{Cite web|title=Section 92.16 (04T3): From an algebraic stack to a presentation—The Stacks project|url=https://stacks.math.columbia.edu/tag/04T3|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref>
=== बीजगणितीय स्टैक ===
=== बीजगणितीय स्टैक ===


यह <math>(\mathrm{Sch}/S)</math> पर fppf-topology[4] (ईमानदारी से फ्लैट और स्थानीय रूप से परिमित प्रस्तुति) का उपयोग करके निकलता है<ref>{{Cite web|title=Section 34.7 (021L): The fppf topology—The Stacks project|url=https://stacks.math.columbia.edu/tag/021L|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref>, <math>(\mathrm{Sch}/S)_{fppf}</math> बीजगणितीय स्टैक को परिभाषित करने के लिए आधार बनाता है। फिर, एक बीजगणितीय स्टैक एक रेशेदार श्रेणी है<ref>{{Cite web|title=Section 92.12 (026N): Algebraic stacks—The Stacks project|url=https://stacks.math.columbia.edu/tag/026N|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref>
यह <math>(\mathrm{Sch}/S)</math> पर '''''<math>fppf</math>''''' सांस्थिति (समतल और स्थानीय रूप से परिमित प्रस्तुति) का उपयोग करके <math>(\mathrm{Sch}/S)_{fppf}</math> प्राप्त किया जाता है।<ref>{{Cite web|title=Section 34.7 (021L): The fppf topology—The Stacks project|url=https://stacks.math.columbia.edu/tag/021L|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> जो बीजगणितीय स्टैक को परिभाषित करने के लिए आधार बनाता है। जिससे बीजगणितीय स्टैक की फाइब्रिन श्रेणी है:<ref>{{Cite web|title=Section 92.12 (026N): Algebraic stacks—The Stacks project|url=https://stacks.math.columbia.edu/tag/026N|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref>


<math>p: \mathcal{X} \to (\mathrm{Sch}/S)_{fppf}</math>
<math>p: \mathcal{X} \to (\mathrm{Sch}/S)_{fppf}</math>


ऐसा है कि
जैसे कि


# <math>\mathcal{X}</math> ग्रुपोइड्स में फाइबर वाली एक श्रेणी है, जिसका अर्थ है कि कुछ <math>\pi:X\to S</math> के लिए ओवरकैटेगरी एक ग्रुपॉइड है।  
# <math>\mathcal{X}</math> ग्रुपोइड्स में सूत्र वाली एक श्रेणी है जिसका अर्थ है कि <math>\pi:X\to S</math> के लिए श्रेणी से अधिक एक ग्रुपॉइड है।
# विकर्ण नक्शा <math>\Delta:\mathcal{X} \to \mathcal{X}\times_S\mathcal{X}</math> फाइबर वाली श्रेणियों की संख्या बीजगणितीय रिक्त स्थान के रूप में प्रतिनिधित्व योग्य है
# विकर्ण मानचित्र <math>\Delta:\mathcal{X} \to \mathcal{X}\times_S\mathcal{X}</math> सूत्र वाली श्रेणियों की संख्या बीजगणितीय रिक्त समष्टि के रूप में प्रतिनिधित्व योग्य है।
# एक <math>fppf</math> स्कीम <math>U \to S</math> मौजूद है और फाइबर वाली श्रेणियों <math>\mathcal{U} \to \mathcal{X}</math> से जुड़ी एक 1-मोर्फिज्म मौजूद है, जो विशेषण है और चिकने को एटलस कहते हैं।
# <math>fppf</math> योजना <math>U \to S</math> मे सम्मिलित है और सूत्र वाली श्रेणियों मे <math>\mathcal{U} \to \mathcal{X}</math> से सम्बद्ध 1-आकारिता सम्मिलित है जो कर्तृपदीय और समतल है जिसको मानचित्रावली कहते हैं।


==== तकनीकी स्थितियों की व्याख्या ====
=== तकनीकी स्थितियों की व्याख्या ===


===== एफपीपीएफ टोपोलॉजी का प्रयोग करना =====
===== <math>fppf</math> सांस्थिति का प्रयोग करना =====
सबसे पहले, एफपीपीएफ-टोपोलॉजी का उपयोग किया जाता है क्योंकि यह [[ वंश सिद्धांत |वंश सिद्धांत]] के संबंध में अच्छा व्यवहार करता है। उदाहरण के लिए, यदि स्कीमें हैं <math>X,Y \in \operatorname{Ob}(\mathrm{Sch}/S)</math> और <math>X \to Y</math> को <math>Y</math> के fppf-कवर में परिशोधित किया जा सकता है, यदि <math>X</math> सपाट है, स्थानीय रूप से परिमित प्रकार, या स्थानीय रूप से परिमित प्रस्तुति, तो <math>Y</math> के पास यह गुण है। इस तरह के विचार को लक्ष्य पर स्थानीय गुणों या आकारिकी <math>f:X\to Y</math> के स्रोत पर विचार करके आगे बढ़ाया जा सकता है। <math>\{X_i \to X\}_{i \in I}</math> हम कहते हैं कि एक संपत्ति <math>\mathcal{P}</math> स्रोत पर स्थानीय है यदि
सबसे पहले, <math>fppf</math> सांस्थिति का उपयोग किया जाता है क्योंकि यह [[ वंश सिद्धांत |प्रवणता सिद्धांत]] के संबंध में अच्छा व्यवहार करता है। उदाहरण के लिए, यदि <math>X,Y \in \operatorname{Ob}(\mathrm{Sch}/S)</math> एक योजना हैं और <math>X \to Y</math> को <math>Y</math> के <math>fppf</math> आच्छादन में परिशोधित किया जा सकता है यदि <math>X</math> समतल है तब स्थानीय रूप से परिमित प्रकार या स्थानीय रूप से परिमित प्रस्तुति <math>Y</math> के पास यह गुण है। इस प्रकार के विचार को लक्ष्य पर स्थानीय गुणों या आकारिकी <math>f:X\to Y</math> के स्रोत पर विचार करके आगे बढ़ाया जा सकता है। हम कहते हैं कि <math>\{X_i \to X\}_{i \in I}</math> एक संपत्ति <math>\mathcal{P}</math> स्रोत पर स्थानीय है यदि:


<math>f:X\to Y</math>में <math>\mathcal{P}</math> है अगर और केवल अगर प्रत्येक <math>X_i \to Y</math> में <math>\mathcal{P}</math> है।
* <math>f:X\to Y</math>में <math>\mathcal{P}</math> है यदि और केवल यदि प्रत्येक <math>X_i \to Y</math> में <math>\mathcal{P}</math> है।
* लक्ष्य पर स्थानीय नामक लक्ष्य एक समान है। इसका तात्पर्य है कि <math>\{Y_i \to Y \}_{i \in I}</math> एक समाविष्ट है।
* <math>f:X\to Y</math> में <math>\mathcal{P}</math> है यदि और केवल यदि प्रत्येक <math>X\times_YY_i \to Y_i</math> में <math>\mathcal{P}</math> है।


लक्ष्य पर स्थानीय नामक लक्ष्य पर एक समान धारणा है। इसका मतलब है कि <math>\{Y_i \to Y \}_{i \in I}</math> को एक कवर दिया गया है।
<math>fppf</math> सांस्थिति के लिए संलयन होना लक्ष्य पर स्थानीय है।<ref>{{Cite web|title=Section 35.21 (02YL): Properties of morphisms local in the fppf topology on the target—The Stacks project|url=https://stacks.math.columbia.edu/tag/02YL|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> <math>fppf</math> सांस्थिति f के लिए स्रोत पर पिछले गुणों के अतिरिक्त सार्वभौमिक रूप से विवृत होने के कारण स्रोत पर भी स्थानीय है।<ref>{{Cite web|title=Section 35.25 (036M): Properties of morphisms local in the fppf topology on the source—The Stacks project|url=https://stacks.math.columbia.edu/tag/036M|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> इसके अतिरिक्त, स्थानीय रूप से नोथेरियन और जैकबसन स्रोत पर स्थानीय हैं और <math>fppf</math> सांस्थिति के लिए लक्ष्य हैं।<ref>{{Cite web|title=Section 35.13 (034B): Properties of schemes local in the fppf topology—The Stacks project|url=https://stacks.math.columbia.edu/tag/034B|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> यह <math>fpqc</math> सांस्थिति में नहीं है, तकनीकी गुणों की स्थिति में यह अपेक्षाकृत अच्छा नहीं होता है। हालांकि यह सच है कि <math>fpqc</math> सांस्थिति पर बीजगणितीय स्टैक का उपयोग करना अभी भी इसका उपयोग है जैसे कि सह-समरूपता सिद्धांत में ऐसा इसलिए है क्योंकि औपचारिक समूहों का मोडुली स्टैक <math>\mathcal{M}_{fg}</math> <math>fpqc</math> बीजगणितीय स्टैक है।<ref>{{Cite web|last=Goerss|first=Paul|title=औपचारिक समूहों के मोडुली ढेर पर अर्ध-सुसंगत ढेर|url=https://sites.math.northwestern.edu/~pgoerss/papers/modfg.pdf|url-status=live|archive-url=https://web.archive.org/web/20200829022756/https://sites.math.northwestern.edu/~pgoerss/papers/modfg.pdf|archive-date=29 August 2020}}</ref><sup>पेज 40</sup>


<math>f:X\to Y</math> में <math>\mathcal{P}</math> है अगर और केवल अगर प्रत्येक <math>X\times_YY_i \to Y_i</math> में <math>\mathcal{P}</math> है।
===== प्रतिनिधित्व योग्य विकर्ण =====
परिभाषा के अनुसार 1- आकारिता<math>f:\mathcal{X} \to \mathcal{Y}</math> ग्रुपोइड्स में सूत्र की गई श्रेणियां बीजगणितीय रिक्त समष्टि द्वारा प्रस्तुत की जा सकती हैं।<ref>{{Cite web|title=Section 92.9 (04SX): Morphisms representable by algebraic spaces—The Stacks project|url=https://stacks.math.columbia.edu/tag/04SX|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> यदि किसी <math>fppf</math> आकारिकी के लिए योजनाओ का <math>U \to S</math> और कोई भी 1- आकारिता <math>y: (Sch/U)_{fppf} \to \mathcal{Y}</math> से संबंधित श्रेणी ग्रुपोइड्स में सूत्र की गई है:


एफ़पीपीएफ टोपोलॉजी के लिए, एक निमज्जन लक्ष्य पर स्थानीय है।<ref>{{Cite web|title=Section 35.21 (02YL): Properties of morphisms local in the fppf topology on the target—The Stacks project|url=https://stacks.math.columbia.edu/tag/02YL|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> एफपीपीएफ टोपोलॉजी एफ के लिए स्रोत पर पिछले गुणों के अलावा सार्वभौमिक रूप से खुला होने के कारण स्रोत पर भी स्थानीय है।<ref>{{Cite web|title=Section 35.25 (036M): Properties of morphisms local in the fppf topology on the source—The Stacks project|url=https://stacks.math.columbia.edu/tag/036M|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> इसके अलावा, स्थानीय रूप से नोथेरियन और जैकबसन स्रोत पर स्थानीय हैं और एफपीपीएफ टोपोलॉजी के लिए लक्ष्य हैं।<ref>{{Cite web|title=Section 35.13 (034B): Properties of schemes local in the fppf topology—The Stacks project|url=https://stacks.math.columbia.edu/tag/034B|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> यह एफपीक्यूसी टोपोलॉजी में नहीं है, तकनीकी गुणों के मामले में यह "अच्छा" नहीं है। हालांकि यह सच है, fpqc टोपोलॉजी पर बीजगणितीय ढेर का उपयोग करना अभी भी इसका उपयोग है, जैसे रंगीन होमोटोपी सिद्धांत में। ऐसा इसलिए है क्योंकि औपचारिक समूह कानूनों का मोडुली स्टैक <math>\mathcal{M}_{fg}</math> एक fpqc-बीजगणितीय स्टैक है।<ref>{{Cite web|last=Goerss|first=Paul|title=औपचारिक समूहों के मोडुली ढेर पर अर्ध-सुसंगत ढेर|url=https://sites.math.northwestern.edu/~pgoerss/papers/modfg.pdf|url-status=live|archive-url=https://web.archive.org/web/20200829022756/https://sites.math.northwestern.edu/~pgoerss/papers/modfg.pdf|archive-date=29 August 2020}}</ref><sup>पेज 40</sup>
<math>(Sch/U)_{fppf}\times_{\mathcal{Y}} \mathcal{X}</math>  


===== प्रतिनिधित्व योग्य विकर्ण =====
एक बीजगणितीय समष्टि के रूप में प्रतिनिधित्व योग्य है जिसका अर्थ है कि एक बीजगणितीय समष्टि सम्मिलित है:<ref>{{Cite web|title=Section 92.7 (04SU): Split categories fibred in groupoids—The Stacks project|url=https://stacks.math.columbia.edu/tag/04SU|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref><ref>{{Cite web|title=Section 92.8 (02ZV): Categories fibred in groupoids representable by algebraic spaces—The Stacks project|url=https://stacks.math.columbia.edu/tag/02ZV|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref>  
परिभाषा के अनुसार, 1-मोर्फिज्म<math>f:\mathcal{X} \to \mathcal{Y}</math> ग्रुपोइड्स में फाइबर की गई श्रेणियां बीजगणितीय रिक्त स्थान द्वारा प्रस्तुत की जा सकती हैं<ref>{{Cite web|title=Section 92.9 (04SX): Morphisms representable by algebraic spaces—The Stacks project|url=https://stacks.math.columbia.edu/tag/04SX|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> यदि किसी fppf आकारिकी के लिए स्कीमों का <math>U \to S</math> और कोई भी 1-मोर्फिज्म <math>y: (Sch/U)_{fppf} \to \mathcal{Y}</math> ग्रुपॉयड्स में फाइबर की गई संबद्ध श्रेणी


में फाइबर की गई है<math>(Sch/U)_{fppf}\times_{\mathcal{Y}} \mathcal{X}</math>
<math>F:(Sch/S)^{op}_{fppf} \to Sets</math>


'''एक बीजगणितीय स्थान के रूप में प्रदर्शित करने योग्य है,<ref>{{Cite web|title=Section 92.7 (04SU): Split categories fibred in groupoids—The Stacks project|url=https://stacks.math.columbia.edu/tag/04SU|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref><ref>{{Cite web|title=Section 92.8 (02ZV): Categories fibred in groupoids representable by algebraic spaces—The Stacks project|url=https://stacks.math.columbia.edu/tag/02ZV|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> मतलब बीजगणितीय स्थान <ब्लॉककोट'''> मौजूद है<math>F:(Sch/S)^{op}_{fppf} \to Sets</math>जैसे कि संबंधित फाइबरयुक्त श्रेणी <math>\mathcal{S}_F \to (Sch/S)_{fppf}</math><ref><math>Sets \to Cat</math> is the embedding sending a set <math>S</math> to the category of objects <math>S</math> and only identity morphisms. Then, the Grothendieck construction can be applied to give a category fibered in groupoids</ref> के बराबर है <math>(Sch/U)_{fppf}\times_{\mathcal{Y}} \mathcal{X}</math>. विकर्ण के प्रतिनिधित्व के लिए कई समतुल्य शर्तें हैं<ref>{{Cite web|title=Lemma 92.10.11 (045G)—The Stacks project|url=https://stacks.math.columbia.edu/tag/045G|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> जो इस तकनीकी स्थिति के लिए अंतर्ज्ञान देने में मदद करते हैं, लेकिन मुख्य प्रेरणाओं में से एक निम्नलिखित है: एक योजना के लिए <math>U</math> और वस्तुएं <math>x, y \in \operatorname{Ob}(\mathcal{X}_U)</math> पुलिया <math>\operatorname{Isom}(x,y)</math> एक बीजगणितीय स्थान के रूप में प्रतिनिधित्व करने योग्य है। विशेष रूप से, स्टैक पर किसी भी बिंदु के लिए स्टेबलाइज़र समूह <math>x : \operatorname{Spec}(k) \to \mathcal{X}_{\operatorname{Spec}(k)}</math> एक बीजगणितीय स्थान के रूप में प्रतिनिधित्व करने योग्य है।
जैसे कि संबंधित सूत्र युक्त श्रेणी <math>\mathcal{S}_F \to (Sch/S)_{fppf}</math><ref><math>Sets \to Cat</math> is the embedding sending a set <math>S</math> to the category of objects <math>S</math> and only identity morphisms. Then, the Grothendieck construction can be applied to give a category fibered in groupoids</ref> के बराबर है <math>(Sch/U)_{fppf}\times_{\mathcal{Y}} \mathcal{X}</math> विकर्ण के प्रतिनिधित्व के लिए कई समतुल्य शर्तें हैं।<ref>{{Cite web|title=Lemma 92.10.11 (045G)—The Stacks project|url=https://stacks.math.columbia.edu/tag/045G|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> जो इस तकनीकी स्थिति के लिए अंतर्ज्ञान देने में सहायता करते हैं, लेकिन मुख्य प्रेरणाओं में से एक निम्नलिखित है एक योजना के लिए <math>U</math> और वस्तुएं <math>x, y \in \operatorname{Ob}(\mathcal{X}_U)</math> मे शीफ <math>\operatorname{Isom}(x,y)</math> बीजगणितीय समष्टि के रूप में प्रतिनिधित्व करने योग्य है। विशेष रूप से, स्टैक पर किसी भी बिंदु के लिए स्थिरता समूह <math>x : \operatorname{Spec}(k) \to \mathcal{X}_{\operatorname{Spec}(k)}</math> के रूप में प्रतिनिधित्व योग्य है बीजगणितीय समष्टि एक प्रतिनिधित्व योग्य विकर्ण होने का एक अन्य महत्वपूर्ण समकक्ष तकनीकी स्थिति है कि एक बीजगणितीय स्टैक में किसी भी दो बीजगणितीय रिक्त समष्टि का प्रतिच्छेदन एक बीजगणितीय समष्टि है जिसमे सूत्र उत्पादों का उपयोग करके सुधार किया गया है:


एक प्रतिनिधित्व योग्य विकर्ण होने का एक अन्य महत्वपूर्ण समकक्ष तकनीकी स्थिति है कि एक बीजगणितीय स्टैक में किसी भी दो बीजगणितीय रिक्त स्थान का प्रतिच्छेदन एक बीजगणितीय स्थान है। फाइबर उत्पादों <ब्लॉककोट> का उपयोग करके पुन: तैयार किया गया<math>\begin{matrix}
<math>\begin{matrix}
Y \times_{\mathcal{X}}Z & \to & Y \\
Y \times_{\mathcal{X}}Z & \to & Y \\
\downarrow & & \downarrow \\
\downarrow & & \downarrow \\
Z & \to & \mathcal{X}
Z & \to & \mathcal{X}
\end{matrix}</math>विकर्ण की प्रतिनिधित्व क्षमता इसके बराबर है <math>Y \to \mathcal{X}</math> एक बीजगणितीय स्थान के लिए प्रतिनिधित्व योग्य होना <math>Y</math>. ऐसा इसलिए है क्योंकि दिए गए आकारिकी <math>Y \to \mathcal{X}, Z \to \mathcal{X}</math> बीजगणितीय स्थानों से, वे मानचित्रों तक विस्तारित होते हैं <math>\mathcal{X}\times\mathcal{X}</math> विकर्ण मानचित्र से। बीजगणितीय रिक्त स्थान के लिए एक समान कथन है जो एक शीफ की प्रतिनिधित्व क्षमता देता है <math>(F/S)_{fppf}</math> एक बीजगणितीय स्थान के रूप में।<ref>{{Cite web|title=Section 78.5 (046I): Bootstrapping the diagonal—The Stacks project|url=https://stacks.math.columbia.edu/tag/046I|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref>
\end{matrix}</math>
ध्यान दें कि [[उच्च ढेर|उच्च स्टैक]] के कुछ योगों के लिए विकर्ण की प्रतिनिधित्व क्षमता की एक समान स्थिति होती है<ref>{{cite arXiv|last=Simpson|first=Carlos|date=1996-09-17|title=बीजीय (ज्यामितीय) ''एन''-ढेर|eprint=alg-geom/9609014}}</ref> जहां फाइबर उत्पाद एक है <math>(n-1)</math>-एक के लिए स्टैक <math>n</math>-स्टैक <math>\mathcal{X}</math>.
 
विकर्ण की प्रतिनिधित्व क्षमता <math>Y \to \mathcal{X}</math> के समतुल्य है जो एक बीजगणितीय समष्टि <math>Y</math> के लिए प्रतिनिधित्व योग्य है ऐसा इसलिए है क्योंकि दिए गए आकारिकी <math>Y \to \mathcal{X}, Z \to \mathcal{X}</math> बीजगणितीय समष्टि से मानचित्र विकर्ण <math>\mathcal{X}\times\mathcal{X}</math> तक विस्तारित होते हैं बीजगणितीय रिक्त समष्टि के लिए एक समान कथन है जो एक बीजगणितीय समष्टि के रूप में <math>(F/S)_{fppf}</math> पर एक शीफ की प्रतिनिधित्व क्षमता प्रदान करता है।<ref>{{Cite web|title=Section 78.5 (046I): Bootstrapping the diagonal—The Stacks project|url=https://stacks.math.columbia.edu/tag/046I|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref>
 
ध्यान दें कि विकर्ण की प्रतिनिधित्व क्षमता की एक समान स्थिति उच्च स्टैक के कुछ योगों के लिए होती है।<ref>{{cite arXiv|last=Simpson|first=Carlos|date=1996-09-17|title=बीजीय (ज्यामितीय) ''एन''-ढेर|eprint=alg-geom/9609014}}</ref> जहां सूत्र उत्पाद एक <math>n</math>-स्टैक <math>\mathcal{X}</math> के लिए एक <math>(n-1)</math> स्टैक है।


==== विशेषण और चिकनी एटलस ====
==== विशेषण और चिकनी मानचित्र ====


===== 2-योनेदा लेम्मा =====
===== 2-योनेदा लेम्मा =====
एक का अस्तित्व <math>fppf</math> योजना <math>U \to S</math> और फाइबरयुक्त श्रेणियों का 1-मोर्फिज्म <math>\mathcal{U} \to \mathcal{X}</math> जो विशेषण और चिकना है, फाइबरयुक्त श्रेणियों के एक चिकने और विशेषण आकारिकी को परिभाषित करने पर निर्भर करता है। यहाँ <math>\mathcal{U}</math> प्रतिनिधित्व करने योग्य मज़ेदार से बीजगणितीय स्टैक है <math>h_U</math> पर <math>h_U: (Sch/S)_{fppf}^{op} \to Sets</math> ग्रुपोइड्स में फाइबर वाली श्रेणी में अपग्रेड किया गया जहां श्रेणियों में केवल तुच्छ आकारिकी होती है। इसका मतलब है सेट <ब्लॉककोट><math>h_U(T) = \text{Hom}_{(Sch/S)_{fppf}}(T,U)</math>को एक श्रेणी के रूप में माना जाता है, निरूपित <math>h_\mathcal{U}(T)</math>, वस्तुओं के साथ <math>h_U(T)</math> जैसा <math>fppf</math> आकारिकी <ब्लॉककोट><math>f:T \to U</math>और morphisms पहचान morphism हैं। इसलिए <ब्लॉककोट><math>h_{\mathcal{U}}:(Sch/S)_{fppf}^{op} \to Groupoids</math>ग्रुपॉइड्स का 2-फ़ंक्टर है। इस 2-फंक्टर को एक शीफ दिखाना [[2-योनेदा लेम्मा]] की सामग्री है। ग्रोथेंडिक कंस्ट्रक्शन का उपयोग करते हुए, ग्रुपॉयड्स में एक संबंधित श्रेणी को फाइबर किया गया है <math>\mathcal{U} \to \mathcal{X}</math>.
एक <math>fppf</math> योजना <math>U \to S</math> का अस्तित्व और सूत्र वाली श्रेणियों का 1-आकारिकी <math>\mathcal{U} \to \mathcal{X}</math> जो विशेषण है और सहज सूत्र युक्त श्रेणियों के समतल और विशेषण आकारिकी को परिभाषित करने पर निर्भर करता है जहाँ <math>h_U: (Sch/S)_{fppf}^{op} \to Sets</math> पर प्रदर्शित करने योग्य प्रकार्यक <math>\mathcal{U}</math> से बीजगणितीय स्टैक है ग्रुपोइड्स में सूत्र की गई श्रेणियों में जहां श्रेणियों में केवल तुच्छ आकारिकी होती है। इसका तात्पर्य यह है कि समुच्चय <math>h_U(T) = \text{Hom}_{(Sch/S)_{fppf}}(T,U)</math> को एक श्रेणी के रूप में माना जाता है और <math>h_\mathcal{U}(T)</math>, <math>h_U(T)</math> में वस्तुओं को <math>fppf</math> के रूप में दर्शाया गया है और <math>f:T \to U</math> को आकारिता की पहचान के रूप में दर्शाया गया है। इसलिए <math>h_{\mathcal{U}}:(Sch/S)_{fppf}^{op} \to Groupoids</math> ग्रुपोइड्स का 2-प्रकार्यक है इस 2-प्रकार्यक को एक शीफ दिखाना [[2-योनेदा लेम्मा]] योजना है। ग्रोथेंडिक निर्माण का उपयोग करते हुए <math>\mathcal{U} \to \mathcal{X}</math> दर्शाए गए ग्रुपोइड्स में एक संबद्ध श्रेणी सूत्र की गई है।
 
===== ग्रुपोइड्स में सूत्र की गई श्रेणियों के प्रतिनिधित्व योग्य आकार =====
<math>\mathcal{U} \to \mathcal{X}</math> समतल या कर्तृपदीय है हमें प्रतिनिधित्व योग्य आकारिता को प्रस्तुत करना है।<ref>{{Cite web|title=Section 92.6 (04ST): Representable morphisms of categories fibred in groupoids—The Stacks project|url=https://stacks.math.columbia.edu/tag/04ST|access-date=2020-10-03|website=stacks.math.columbia.edu}}</ref> <math>p:\mathcal{X} \to \mathcal{Y}</math> पर ग्रुपोइड्स में सूत्र की गई श्रेणियों का एक आकारिकी <math>(Sch/S)_{fppf}</math> को प्रतिनिधित्व योग्य कहा जाता है यदि वस्तु <math>T \to S</math> में और एक वस्तु <math>(Sch/S)_{fppf}</math> <math>t \in \text{Ob}(\mathcal{Y}_T)</math> मे 2-सूत्र उत्पाद <math>(Sch/T)_{fppf}\times_{t,\mathcal{Y}} \mathcal{X}_T</math> दिये गए है तब ये योजना द्वारा प्रतिनिधित्व योग्य है जिससे हम कह सकते हैं कि ग्रुपोइड्स <math>p</math> में आकारिता वाली श्रेणियों का रूपवाद समतल और कर्तृपदीय है यदि संबंधित आकारिता<math>(Sch/T)_{fppf}\times_{t,\mathcal{Y}} \mathcal{X}_T \to (Sch/T)_{fppf}</math> योजनाओं मे सहज और कर्तृपदीय है।
=== डेलिग्न-ममफोर्ड स्टैक ===
बीजगणितीय स्टैक, जिन्हें आर्टिन स्टैक के रूप में भी जाना जाता है परिभाषा के अनुसार एक समतल कर्तृपदीय मानचित्र <math>\mathcal{U} \to \mathcal{X}</math> उपस्थित हैं जहां <math>\mathcal{U}</math> स्टैक है किसी योजना से संबंधित <math>U \to S</math> यदि मानचित्र <math>\mathcal{U}\to \mathcal{X}</math> इसके अतिरिक्त ईटेल है तो <math>\mathcal{X}</math> को [[Deligne-ममफोर्ड ढेर|डेलिग्न-ममफोर्ड स्टैक]] कहा जाता है।
 
डेलिग्न-ममफोर्ड स्टैक का उपवर्ग उपयोगी है क्योंकि यह माने जाने वाले कई प्राकृतिक स्टैक के लिए सही सेटिंग प्रदान करता है जैसे कि बीजगणितीय वक्रों का मोडुली स्टैक इसके अतिरिक्त, वे अपेक्षाकृत उपयोगी हैं कि डेलिग्न-ममफोर्ड स्टैक में बिंदुओं द्वारा प्रदर्शित की गई वस्तु में अतिसूक्ष्म स्वसमाकृतिकता नहीं होती है। यह बहुत महत्वपूर्ण है क्योंकि अतिसूक्ष्म स्वसमाकृतिकता आर्टिन स्टैक के विरूपण सिद्धांत का अध्ययन करना बहुत कठिन बना देती है। उदाहरण के लिए, आर्टिन स्टैक के विरूपण सिद्धांत <math>BGL_n = [*/GL_n]</math> मे <math>n</math> सदिश स्टैक के मोडुली स्टैक, आंशिक रूप से लाई बीजगणित <math>\mathfrak{gl}_n</math> मे होते है। यह सामान्य रूप से विकृतियों और अवरोधों के एक अनंत अनुक्रम की ओर जाता है जो स्थिर समूह के मॉड्यूल के अध्ययन के लिए प्रेरणाओं में से एक है केवल लाइन समूह के विरूपण सिद्धांत की विशेष स्थिति में <math>[*/GL_1] = [*/\mathbb{G}_m]</math> विरूपण सिद्धांत को ध्यान में रखा जा सकता है क्योंकि संबंधित लाई बीजगणितीय विनिमेय समूह है।
 
ध्यान दें कि कई स्टैक स्वाभाविक रूप से डेलिग्न-ममफोर्ड स्टैक के रूप में प्रदर्शित नहीं किए जा सकते हैं क्योंकि यह केवल सीमित आच्छादन या सीमित आच्छादन वाले बीजगणितीय स्टैक की स्वीकृति देता है। ध्यान दें कि क्योंकि प्रत्येक ईटेल आच्छादन समतल है और स्थानीय रूप से परिमित प्रस्तुति के है <math>fppf</math> सांस्थिति के साथ परिभाषित बीजगणितीय स्टैक इस सिद्धांत को समाहित करते हैं लेकिन ये अभी भी उपयोगी है क्योंकि प्रकृति में पाए जाने वाले कई स्टैक इस रूप के हैं जैसे कि मॉड्यूल वक्र <math>\mathcal{M}_g</math> इसके अतिरिक्त, इस प्रकार के स्टैक के अंतर-ज्यामितीय एनालॉग को कक्षीय संरचना कहा जाता है। एटेल स्थिति का तात्पर्य 2-प्रकार्यक से है:


===== ग्रुपोइड्स में फाइबर की गई श्रेणियों के प्रतिनिधित्व योग्य आकार =====
<math>B\mu_n:(\mathrm{Sch}/S)^\text{op} \to \text{Cat}</math>
यह रूपवाद कहने के लिए <math>\mathcal{U} \to \mathcal{X}</math> चिकनी या प्रक्षेपण है, हमें प्रतिनिधित्व योग्य morphisms पेश करना है।<ref>{{Cite web|title=Section 92.6 (04ST): Representable morphisms of categories fibred in groupoids—The Stacks project|url=https://stacks.math.columbia.edu/tag/04ST|access-date=2020-10-03|website=stacks.math.columbia.edu}}</ref> एक रूपवाद <math>p:\mathcal{X} \to \mathcal{Y}</math> ग्रुपॉयड्स ओवर में फाइबर की गई श्रेणियों की संख्या <math>(Sch/S)_{fppf}</math> यदि कोई वस्तु दी जाए तो प्रतिनिधित्व योग्य कहा जाता है <math>T \to S</math> में <math>(Sch/S)_{fppf}</math> और एक वस्तु <math>t \in \text{Ob}(\mathcal{Y}_T)</math> 2-फाइबर वाला उत्पाद <blockquote><math>(Sch/T)_{fppf}\times_{t,\mathcal{Y}} \mathcal{X}_T</math></blockquote>एक योजना द्वारा प्रतिनिधित्व योग्य है। फिर, हम कह सकते हैं कि ग्रुपोइड्स में रेशे वाली श्रेणियों का आकारिकी <math>p</math> यदि संबंधित आकृतिवाद <ब्लॉकक्वोट> है, तो यह चिकना और विशेषण है<math>(Sch/T)_{fppf}\times_{t,\mathcal{Y}} \mathcal{X}_T \to (Sch/T)_{fppf}</math>योजनाओं का सहज और विशेषण है।


=== डेलिग्न-ममफोर्ड स्टैक ===
[[टोर्सर (बीजगणितीय ज्यामिति)]] <math>\mu_n</math> के अपने समूह में एक योजना एटेल सांस्थिति पर एक स्टैक के रूप में प्रतिनिधित्व करने योग्य है लेकिन पिकार्ड-स्टैक <math>B\mathbb{G}_m</math> का <math>\mathbb{G}_m</math> टॉर्सर्स (समान रूप से लाइन स्टैक की श्रेणी) प्रतिनिधित्व योग्य नहीं है। इस रूप के स्टैक <math>fppf</math> सांस्थिति पर स्टैक के रूप में प्रदर्शित किए जा सकते हैं। <math>fppf</math> सांस्थिति और ईटेल सांस्थिति पर विचार करने का एक अन्य कारण 'कुमर-अनुक्रम' की विशेषता <math>p</math> से अधिक होती है:
बीजगणितीय स्टैक, जिसे आर्टिन स्टैक के रूप में भी जाना जाता है, परिभाषा के अनुसार एक चिकनी विशेषण एटलस से सुसज्जित हैं <math>\mathcal{U} \to \mathcal{X}</math>, कहाँ <math>\mathcal{U}</math> किसी योजना से जुड़ा स्टैक है <math>U \to S</math>. अगर एटलस <math>\mathcal{U}\to \mathcal{X}</math> अधिक सुस्त है, फिर <math>\mathcal{X}</math> [[Deligne-ममफोर्ड ढेर|Deligne-ममफोर्ड स्टैक]] कहा जाता है। Deligne-Mumford स्टैक का उपवर्ग उपयोगी है क्योंकि यह माना जाने वाले कई प्राकृतिक स्टैक के लिए सही सेटिंग प्रदान करता है, जैसे कि बीजगणितीय वक्रों का मोडुली स्टैक। इसके अलावा, वे काफी सख्त हैं कि <u>Deligne-Mumford स्टैक में बिंदुओं द्वारा दर्शाई गई वस्तु में अतिसूक्ष्म ऑटोमोर्फिज्म नहीं है</u>। यह बहुत महत्वपूर्ण है क्योंकि अतिसूक्ष्म ऑटोमोर्फिज्म आर्टिन स्टैक के विरूपण सिद्धांत का अध्ययन करना बहुत कठिन बना देता है। उदाहरण के लिए, आर्टिन स्टैक का विरूपण सिद्धांत <math>BGL_n = [*/GL_n]</math>, रैंक का मोडुली स्टैक <math>n</math> सदिश बंडलों में आंशिक रूप से लाई बीजगणित द्वारा नियंत्रित अतिसूक्ष्म ऑटोमोर्फिज्म होते हैं <math>\mathfrak{gl}_n</math>. यह सामान्य रूप से विकृतियों और अवरोधों के अनंत अनुक्रम की ओर जाता है, जो स्थिर बंडलों के मोडुली स्थान का अध्ययन करने के लिए प्रेरणाओं में से एक है। केवल लाइन बंडलों के विरूपण सिद्धांत के विशेष मामले में <math>[*/GL_1] = [*/\mathbb{G}_m]</math> विरूपण सिद्धांत सुगम्य है, चूंकि संबद्ध लाई बीजगणित एबेलियन लाई बीजगणित है।


ध्यान दें कि कई स्टैक स्वाभाविक रूप से Deligne-Mumford स्टैक के रूप में प्रदर्शित नहीं किए जा सकते हैं क्योंकि यह केवल सीमित कवर, या सीमित कवर वाले बीजगणितीय स्टैक की अनुमति देता है। ध्यान दें कि क्योंकि प्रत्येक एटाले कवर सपाट है और स्थानीय रूप से परिमित प्रस्तुति है, एफपीपीएफ-टोपोलॉजी के साथ परिभाषित बीजगणितीय स्टैक इस सिद्धांत को समाहित करते हैं; लेकिन, यह अभी भी उपयोगी है क्योंकि प्रकृति में पाए जाने वाले कई स्टैक इस रूप के हैं, जैसे कि बीजगणितीय वक्रों के मोडुली <math>\mathcal{M}_g</math>. इसके अलावा, इस तरह के स्टैक के अंतर-ज्यामितीय एनालॉग को [[ orbifold |orbifold]] ्स कहा जाता है। एटाले स्थिति का तात्पर्य 2-फ़ंक्टर <ब्लॉककोट> से है<math>B\mu_n:(\mathrm{Sch}/S)^\text{op} \to \text{Cat}</math>स्कीम को इसके groupoid of में भेजना <math>\mu_n</math>-[[टोर्सर (बीजगणितीय ज्यामिति)]] एटाले टोपोलॉजी पर एक स्टैक के रूप में प्रतिनिधित्व योग्य है, लेकिन पिकार्ड-स्टैक <math>B\mathbb{G}_m</math> का <math>\mathbb{G}_m</math>-टॉर्सर्स (समान रूप से लाइन बंडलों की श्रेणी) प्रतिनिधित्व योग्य नहीं है। इस फॉर्म के स्टैक एफपीपीएफ-टोपोलॉजी पर स्टैक के रूप में प्रदर्शित किए जा सकते हैं।
<math>0 \to \mu_p \to \mathbb{G}_m \to \mathbb{G}_m \to 0</math>  


एफपीपीएफ-टोपोलॉजी बनाम ईटेल टोपोलॉजी पर विचार करने का एक अन्य कारण विशेषता से अधिक है <math>p</math> द [[शोक क्रम]]<ब्लॉककोट><math>0 \to \mu_p \to \mathbb{G}_m \to \mathbb{G}_m \to 0</math> केवल fppf स्टैकों के अनुक्रम के रूप में सटीक है, लेकिन ईटेल स्टैकों के अनुक्रम के रूप में नहीं।
केवल <math>fppf</math> स्टैकों के अनुक्रम के रूप में यह शुद्ध हैलेकिन ईटेल स्टैकों के अनुक्रम के रूप में नहीं होता है।


=== अन्य टोपोलॉजी पर बीजगणितीय स्टैक को परिभाषित करना ===
=== अन्य सांस्थिति पर बीजगणितीय स्टैक को परिभाषित करना ===
अन्य ग्रोथेंडिक टोपोलॉजी का उपयोग करना <math>(F/S)</math> बीजगणितीय स्टैक के वैकल्पिक सिद्धांत देता है जो या तो पर्याप्त सामान्य नहीं हैं, या कवर के आधार से कवर के कुल स्थान तक गुणों का आदान-प्रदान करने के संबंध में अच्छा व्यवहार नहीं करते हैं। यह याद रखना उपयोगी है कि सामान्यीकरण के निम्नलिखित पदानुक्रम हैं
अन्य ग्रोथेंडिक सांस्थिति का उपयोग करना <math>(F/S)</math> बीजगणितीय स्टैक का वैकल्पिक सिद्धांत देता है जो या तो पर्याप्त सामान्य नहीं हैं या आच्छादन के आधार से आच्छादन की कुल समष्टि तक गुणों का आदान-प्रदान करने के संबंध में अच्छा व्यवहार नहीं करते हैं यह याद रखना उपयोगी है कि <math>(F/S)</math> पर बड़ी सांस्थिति के सामान्यीकरण का निम्न पदानुक्रम है:


<math>\text{fpqc} \supset \text{fppf} \supset \text{smooth} \supset \text{etale} \supset \text{Zariski}</math>
<math>\text{fpqc} \supset \text{fppf} \supset \text{smooth} \supset \text{etale} \supset \text{Zariski}</math>
बड़ी टोपोलॉजी पर <math>(F/S)</math>.


== संरचना शीफ ​​==
== संरचना शीफ ​​==
बीजगणितीय स्टैक का संरचना शीफ साइट<math>(Sch/S)_{fppf}</math> पर सार्वभौमिक संरचना शीफ <math>\mathcal{O}</math> से वापस खींची गई वस्तु है।<ref>{{Cite web|title=Section 94.3 (06TI): Presheaves—The Stacks project|url=https://stacks.math.columbia.edu/tag/06TI|access-date=2020-10-01|website=stacks.math.columbia.edu}}</ref> इस सार्वभौमिक संरचना शीफ ​​[20] को इस रूप में परिभाषित किया गया है:<ref>{{Cite web|title=Section 94.6 (06TU): The structure sheaf—The Stacks project|url=https://stacks.math.columbia.edu/tag/06TU|access-date=2020-10-01|website=stacks.math.columbia.edu}}</ref>
बीजगणितीय स्टैक की संरचना शीफ स्थिति <math>(Sch/S)_{fppf}</math> पर सार्वभौमिक संरचना शीफ <math>\mathcal{O}</math> से वापस प्राप्त की गई वस्तु है।<ref>{{Cite web|title=Section 94.3 (06TI): Presheaves—The Stacks project|url=https://stacks.math.columbia.edu/tag/06TI|access-date=2020-10-01|website=stacks.math.columbia.edu}}</ref> इस सार्वभौमिक संरचना शीफ को निम्न रूप में परिभाषित किया गया है:<ref>{{Cite web|title=Section 94.6 (06TU): The structure sheaf—The Stacks project|url=https://stacks.math.columbia.edu/tag/06TU|access-date=2020-10-01|website=stacks.math.columbia.edu}}</ref>


<math>\mathcal{O}:(Sch/S)_{fppf}^{op} \to Rings, \text{ where } U/X \mapsto \Gamma(U,\mathcal{O}_U)</math>
<math>\mathcal{O}:(Sch/S)_{fppf}^{op} \to Rings, \text{ where } U/X \mapsto \Gamma(U,\mathcal{O}_U)</math>


और संबंधित संरचना शीफ ​​ग्रुपोइड्स में फाइबर वाली श्रेणी पर <math>p:\mathcal{X} \to (Sch/S)_{fppf}</math> को <math>\mathcal{O}_\mathcal{X} := p^{-1}\mathcal{O}</math> के रूप में परिभाषित किया जाता है।
इससे संबंधित संरचना शीफ ​​ग्रुपोइड्स में सूत्र वाली श्रेणी पर <math>p:\mathcal{X} \to (Sch/S)_{fppf}</math> को <math>\mathcal{O}_\mathcal{X} := p^{-1}\mathcal{O}</math> के रूप में परिभाषित किया जाता है।
 
जहां  <math>p^{-1}</math> ग्रोथेंडिक टोपोलॉजी के मानचित्र से आता है। विशेष रूप से, इसका अर्थ है <math>x \in \text{Ob}(\mathcal{X})</math> <math>U</math>के ऊपर स्थित है, इसलिए <math>p(x) = U</math> फिर {\<math>\mathcal{O}_\mathcal{X}(x)=\Gamma(U,\mathcal{O}_U)</math> विवेक जांच के रूप में, विभिन्न टोपोलॉजी के लिए <math>S</math>-स्कीम <math>X</math> से आने वाले ग्रुपोइड्स में फाइबर वाली श्रेणी से इसकी तुलना करना उचित है।<ref>{{Cite web|title=Section 94.8 (076N): Representable categories—The Stacks project|url=https://stacks.math.columbia.edu/tag/076N|access-date=2020-10-01|website=stacks.math.columbia.edu}}</ref> उदाहरण के लिए, यदि


<math>(\mathcal{X}_{Zar},\mathcal{O}_\mathcal{X}) = ((Sch/X)_{Zar}, \mathcal{O}_X)</math>
जहां <math>p^{-1}</math> ग्रोथेंडिक सांस्थिति के मानचित्र से प्राप्त होता है। विशेष रूप से, इसका अर्थ यह है कि <math>x \in \text{Ob}(\mathcal{X})</math> <math>U</math>के ऊपर स्थित है और <math>p(x) = U</math> को {\<math>\mathcal{O}_\mathcal{X}(x)=\Gamma(U,\mathcal{O}_U)</math> की जांच के रूप में विभिन्न सांस्थिति के लिए <math>S</math>-योजना <math>X</math> से आने वाले ग्रुपोइड्स में सूत्र श्रेणी से इसकी तुलना करना उपयुक्त है।<ref>{{Cite web|title=Section 94.8 (076N): Representable categories—The Stacks project|url=https://stacks.math.columbia.edu/tag/076N|access-date=2020-10-01|website=stacks.math.columbia.edu}}</ref>  


<math>(Sch/S)_{fppf}</math> पर ग्रुपोइड्स में फाइबर वाली एक श्रेणी है, एक खुली उपयोजना के लिए संरचना शीफ ​​<math>U \to X</math> देता है
उदाहरण के लिए, यदि <math>(\mathcal{X}_{Zar},\mathcal{O}_\mathcal{X}) = ((Sch/X)_{Zar}, \mathcal{O}_X)</math> <math>(Sch/S)_{fppf}</math> पर ग्रुपोइड्स में सूत्र वाली एक श्रेणी है तब विवृत उपयोजना के लिए संरचना शीफ ​​<math>U \to X</math> प्राप्त होता है:


<math>\mathcal{O}_\mathcal{X}(U) = \mathcal{O}_X(U) = \Gamma(U,\mathcal{O}_X)</math>
<math>\mathcal{O}_\mathcal{X}(U) = \mathcal{O}_X(U) = \Gamma(U,\mathcal{O}_X)</math>


इसलिए यह परिभाषा एक योजना पर क्लासिक संरचना शीफ ​​को पुनः प्राप्त करती है। इसके अलावा, [[भागफल ढेर|भागफल स्टैक]] के लिए <math>\mathcal{X} = [X/G]</math> संरचना शीफ ​​यह सिर्फ <math>G</math>-इनवेरिएंट सेक्शन देता है
इसलिए यह परिभाषा एक योजना पर उत्कृष्ट संरचना शीफ ​​को पुनः प्राप्त करती है। इसके अतिरिक्त, [[भागफल ढेर|भागफल स्टैक]] के लिए <math>\mathcal{X} = [X/G]</math> संरचना शीफ ​​यह <math>G</math>- अचर बहुपद<math>\mathcal{O}_{\mathcal{X}}(U) = \Gamma(U,u^*\mathcal{O}_X)^{G}</math> के लिए <math>u:U\to X</math> में <math>(Sch/S)_{fppf}</math> प्रदान करती है।<ref>{{Cite web|title=Lemma 94.13.2 (076S)—The Stacks project|url=https://stacks.math.columbia.edu/tag/076S|access-date=2020-10-01|website=stacks.math.columbia.edu}}</ref><ref>{{Cite web|title=Section 76.12 (0440): Quasi-coherent sheaves on groupoids—The Stacks project|url=https://stacks.math.columbia.edu/tag/0440|access-date=2020-10-01|website=stacks.math.columbia.edu}}</ref>
 
<math>\mathcal{O}_{\mathcal{X}}(U) = \Gamma(U,u^*\mathcal{O}_X)^{G}</math>
 
के लिए <math>u:U\to X</math> में <math>(Sch/S)_{fppf}</math>.<ref>{{Cite web|title=Lemma 94.13.2 (076S)—The Stacks project|url=https://stacks.math.columbia.edu/tag/076S|access-date=2020-10-01|website=stacks.math.columbia.edu}}</ref><ref>{{Cite web|title=Section 76.12 (0440): Quasi-coherent sheaves on groupoids—The Stacks project|url=https://stacks.math.columbia.edu/tag/0440|access-date=2020-10-01|website=stacks.math.columbia.edu}}</ref>
 
 


== उदाहरण ==
== उदाहरण ==
Line 106: Line 108:
{{See also|भागफल स्टैक}}
{{See also|भागफल स्टैक}}


बीजगणितीय समूहों के लिए कई वर्गीकृत स्टैक बीजगणितीय स्टैक हैं। वास्तव में, एक बीजगणितीय समूह स्थान <math>G</math> के लिए एक योजना <math>S</math> पर जो परिमित प्रस्तुति का सपाट है, स्टैक <math>BG</math>बीजगणितीय है।<ref name=":0" /><sup>प्रमेय 6.1
बीजगणितीय समूहों के लिए कई वर्गीकृत स्टैक बीजगणितीय स्टैक हैं। वास्तव में एक बीजगणितीय समूह समष्टि <math>G</math> के लिए योजना <math>S</math> पर जो परिमित प्रस्तुति का समतल है और स्टैक <math>BG</math> एक बीजगणितीय स्टैक है।<ref name=":0" /><sup>प्रमेय 6.1


== यह भी देखें ==
== यह भी देखें ==
Line 115: Line 117:
* भागफल स्टैक
* भागफल स्टैक
* [[एक बीजगणितीय स्टैक पर शीफ|बीजगणितीय शीफ स्टैक]]
* [[एक बीजगणितीय स्टैक पर शीफ|बीजगणितीय शीफ स्टैक]]
* [[ टोरिक ढेर | टोरिक]] [[एक बीजगणितीय स्टैक पर शीफ|स्टैक]]  
* [[ टोरिक ढेर |टोरिक]] [[एक बीजगणितीय स्टैक पर शीफ|स्टैक]]  
* आर्टिन मानदंड
* आर्टिन मानदंड
* पश्च स्टैक
* पश्च स्टैक
Line 148: Line 150:


* [https://mathoverflow.net/questions/200990/do-algebraic-stacks-satisfy-fpqc-descent क्या बीजगणितीय स्टैक fpqc डिसेंट को संतुष्ट करते हैं?]
* [https://mathoverflow.net/questions/200990/do-algebraic-stacks-satisfy-fpqc-descent क्या बीजगणितीय स्टैक fpqc डिसेंट को संतुष्ट करते हैं?]
* [https://mathoverflow.net/questions/29268/stacks-in-the-fpqc-topology fpqc टोपोलॉजी में स्टैक]
* [https://mathoverflow.net/questions/29268/stacks-in-the-fpqc-topology fpqc सांस्थिति में स्टैक]
* [https://mathoverflow.net/questions/15082/fpqc-covers-of-stacks?rq=1 fpqc स्टैक के कवर]
* [https://mathoverflow.net/questions/15082/fpqc-covers-of-stacks?rq=1 fpqc स्टैक के आच्छादन]


=== अन्य ===
=== अन्य ===


* [https://stacks.math.columbia.edu/tag/04SL स्टैक के उदाहरण]
* [https://stacks.math.columbia.edu/tag/04SL स्टैक के उदाहरण]
* arxiv:math/0412512|ग्रोथेंडिक टोपोलॉजी, फाइबर्ड कैटेगरी और डिसेंट थ्योरी पर नोट्स
* arxiv:math/0412512|ग्रोथेंडिक सांस्थिति, सूत्र्ड कैटेगरी और डिसेंट थ्योरी पर नोट्स
* [https://web.archive.org/web/20200801212411/https://folk.uio.no/fredrme/algstacks.pdf बीजीय स्टैक पर नोट्स]
* [https://web.archive.org/web/20200801212411/https://folk.uio.no/fredrme/algstacks.pdf बीजीय स्टैक पर नोट्स]


Line 161: Line 163:
श्रेणी:बीजगणितीय ज्यामिति
श्रेणी:बीजगणितीय ज्यामिति


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category: Machine Translated Page]]
[[Category:CS1 errors]]
[[Category:Created On 01/05/2023]]
[[Category:Created On 01/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]

Latest revision as of 11:27, 18 May 2023

गणित में, बीजगणितीय स्टैक बीजगणितीय रिक्त समष्टि या योजनाओं (गणित) का एक विशाल सामान्यीकरण है जो मॉडुलि सिद्धांत का अध्ययन करने के लिए मूलभूत हैं। बीजगणितीय स्टैक के लिए विशिष्ट तकनीकों का उपयोग करके कई मोडुली रिक्त समष्टि बनाए जाते हैं, जैसे कि आर्टिन की प्रतिनिधित्व क्षमता का प्रमेय, जिसका उपयोग बीजगणितीय वक्र के मोडुली समष्टि के निर्माण के लिए दीर्घवृत्तीय वक्र मे किया जाता है। मूल रूप से, उन्हें ग्रोथेंडिक द्वारा मोडुली समष्टि पर स्वसमाकृतिकता का नियंत्रण रखने के लिए प्रस्तुत किया गया था।[1] एक ऐसी तकनीक जो इन मोडुली समष्टि को परिवर्तित करने की स्वीकृति देती है जैसे कि उनकी अंतर्निहित योजनाएं या बीजगणितीय समष्टि मे है लेकिन कई सामान्यीकरणों के माध्यम से बीजगणितीय स्टैक की धारणा अंततः माइकल आर्टिन द्वारा खोजी गई थी।[2]

परिभाषा

प्रेरणा

बीजगणितीय स्टैक के प्रेरक उदाहरणों में से एक निश्चित योजना के ऊपर समूह योजना पर विचार करना है उदाहरण के लिए, यदि , प्रक्षेपण मानचित्र है और समूह क्रिया है तब

और गुणन मानचित्र है:

तब योजना दिए जाने पर ग्रुपॉइड योजना एक ग्रुपॉइड बनाता है जहाँ उनके संबंधित प्रकार्यक हैं इसके अतिरिक्त यह निर्माण पर क्रियात्मक है जो एक प्रतिपरिवर्ती 2-प्रकार्यक बनाता है:

जहाँ छोटी श्रेणियों की छोटी श्रेणी है इसे देखने का एक अन्य प्रकार ग्रोथेंडिक निर्माण के माध्यम से एक फाइब्रिन श्रेणी के रूप में है। सही तकनीकी स्थितियां प्राप्त करना जैसे पर ग्रोथेंडिक सांस्थिति, एक बीजगणितीय स्टैक की परिभाषा देता है। उदाहरण के लिए, मूल वस्तु पर क्षेत्र के लिए k-बिंदुओं के संबद्ध समूह में आकारिकी का समूह होता है। ध्यान दें कि से एक बीजगणितीय स्टैक प्राप्त करने के लिए न कि केवल एक स्टैक के लिए, के लिए अतिरिक्त तकनीकी परिकल्पनाओं की आवश्यकता होती है।[3]

बीजगणितीय स्टैक

यह पर सांस्थिति (समतल और स्थानीय रूप से परिमित प्रस्तुति) का उपयोग करके प्राप्त किया जाता है।[4] जो बीजगणितीय स्टैक को परिभाषित करने के लिए आधार बनाता है। जिससे बीजगणितीय स्टैक की फाइब्रिन श्रेणी है:[5]

जैसे कि

  1. ग्रुपोइड्स में सूत्र वाली एक श्रेणी है जिसका अर्थ है कि के लिए श्रेणी से अधिक एक ग्रुपॉइड है।
  2. विकर्ण मानचित्र सूत्र वाली श्रेणियों की संख्या बीजगणितीय रिक्त समष्टि के रूप में प्रतिनिधित्व योग्य है।
  3. योजना मे सम्मिलित है और सूत्र वाली श्रेणियों मे से सम्बद्ध 1-आकारिता सम्मिलित है जो कर्तृपदीय और समतल है जिसको मानचित्रावली कहते हैं।

तकनीकी स्थितियों की व्याख्या

सांस्थिति का प्रयोग करना

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

  • में है यदि और केवल यदि प्रत्येक में है।
  • लक्ष्य पर स्थानीय नामक लक्ष्य एक समान है। इसका तात्पर्य है कि एक समाविष्ट है।
  • में है यदि और केवल यदि प्रत्येक में है।

सांस्थिति के लिए संलयन होना लक्ष्य पर स्थानीय है।[6] सांस्थिति f के लिए स्रोत पर पिछले गुणों के अतिरिक्त सार्वभौमिक रूप से विवृत होने के कारण स्रोत पर भी स्थानीय है।[7] इसके अतिरिक्त, स्थानीय रूप से नोथेरियन और जैकबसन स्रोत पर स्थानीय हैं और सांस्थिति के लिए लक्ष्य हैं।[8] यह सांस्थिति में नहीं है, तकनीकी गुणों की स्थिति में यह अपेक्षाकृत अच्छा नहीं होता है। हालांकि यह सच है कि सांस्थिति पर बीजगणितीय स्टैक का उपयोग करना अभी भी इसका उपयोग है जैसे कि सह-समरूपता सिद्धांत में ऐसा इसलिए है क्योंकि औपचारिक समूहों का मोडुली स्टैक बीजगणितीय स्टैक है।[9]पेज 40

प्रतिनिधित्व योग्य विकर्ण

परिभाषा के अनुसार 1- आकारिता ग्रुपोइड्स में सूत्र की गई श्रेणियां बीजगणितीय रिक्त समष्टि द्वारा प्रस्तुत की जा सकती हैं।[10] यदि किसी आकारिकी के लिए योजनाओ का और कोई भी 1- आकारिता से संबंधित श्रेणी ग्रुपोइड्स में सूत्र की गई है:

एक बीजगणितीय समष्टि के रूप में प्रतिनिधित्व योग्य है जिसका अर्थ है कि एक बीजगणितीय समष्टि सम्मिलित है:[11][12]

जैसे कि संबंधित सूत्र युक्त श्रेणी [13] के बराबर है विकर्ण के प्रतिनिधित्व के लिए कई समतुल्य शर्तें हैं।[14] जो इस तकनीकी स्थिति के लिए अंतर्ज्ञान देने में सहायता करते हैं, लेकिन मुख्य प्रेरणाओं में से एक निम्नलिखित है एक योजना के लिए और वस्तुएं मे शीफ बीजगणितीय समष्टि के रूप में प्रतिनिधित्व करने योग्य है। विशेष रूप से, स्टैक पर किसी भी बिंदु के लिए स्थिरता समूह के रूप में प्रतिनिधित्व योग्य है बीजगणितीय समष्टि एक प्रतिनिधित्व योग्य विकर्ण होने का एक अन्य महत्वपूर्ण समकक्ष तकनीकी स्थिति है कि एक बीजगणितीय स्टैक में किसी भी दो बीजगणितीय रिक्त समष्टि का प्रतिच्छेदन एक बीजगणितीय समष्टि है जिसमे सूत्र उत्पादों का उपयोग करके सुधार किया गया है:

विकर्ण की प्रतिनिधित्व क्षमता के समतुल्य है जो एक बीजगणितीय समष्टि के लिए प्रतिनिधित्व योग्य है ऐसा इसलिए है क्योंकि दिए गए आकारिकी बीजगणितीय समष्टि से मानचित्र विकर्ण तक विस्तारित होते हैं बीजगणितीय रिक्त समष्टि के लिए एक समान कथन है जो एक बीजगणितीय समष्टि के रूप में पर एक शीफ की प्रतिनिधित्व क्षमता प्रदान करता है।[15]

ध्यान दें कि विकर्ण की प्रतिनिधित्व क्षमता की एक समान स्थिति उच्च स्टैक के कुछ योगों के लिए होती है।[16] जहां सूत्र उत्पाद एक -स्टैक के लिए एक स्टैक है।

विशेषण और चिकनी मानचित्र

2-योनेदा लेम्मा

एक योजना का अस्तित्व और सूत्र वाली श्रेणियों का 1-आकारिकी जो विशेषण है और सहज सूत्र युक्त श्रेणियों के समतल और विशेषण आकारिकी को परिभाषित करने पर निर्भर करता है जहाँ पर प्रदर्शित करने योग्य प्रकार्यक से बीजगणितीय स्टैक है ग्रुपोइड्स में सूत्र की गई श्रेणियों में जहां श्रेणियों में केवल तुच्छ आकारिकी होती है। इसका तात्पर्य यह है कि समुच्चय को एक श्रेणी के रूप में माना जाता है और , में वस्तुओं को के रूप में दर्शाया गया है और को आकारिता की पहचान के रूप में दर्शाया गया है। इसलिए ग्रुपोइड्स का 2-प्रकार्यक है इस 2-प्रकार्यक को एक शीफ दिखाना 2-योनेदा लेम्मा योजना है। ग्रोथेंडिक निर्माण का उपयोग करते हुए दर्शाए गए ग्रुपोइड्स में एक संबद्ध श्रेणी सूत्र की गई है।

ग्रुपोइड्स में सूत्र की गई श्रेणियों के प्रतिनिधित्व योग्य आकार

समतल या कर्तृपदीय है हमें प्रतिनिधित्व योग्य आकारिता को प्रस्तुत करना है।[17] पर ग्रुपोइड्स में सूत्र की गई श्रेणियों का एक आकारिकी को प्रतिनिधित्व योग्य कहा जाता है यदि वस्तु में और एक वस्तु मे 2-सूत्र उत्पाद दिये गए है तब ये योजना द्वारा प्रतिनिधित्व योग्य है जिससे हम कह सकते हैं कि ग्रुपोइड्स में आकारिता वाली श्रेणियों का रूपवाद समतल और कर्तृपदीय है यदि संबंधित आकारिता योजनाओं मे सहज और कर्तृपदीय है।

डेलिग्न-ममफोर्ड स्टैक

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

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

ध्यान दें कि कई स्टैक स्वाभाविक रूप से डेलिग्न-ममफोर्ड स्टैक के रूप में प्रदर्शित नहीं किए जा सकते हैं क्योंकि यह केवल सीमित आच्छादन या सीमित आच्छादन वाले बीजगणितीय स्टैक की स्वीकृति देता है। ध्यान दें कि क्योंकि प्रत्येक ईटेल आच्छादन समतल है और स्थानीय रूप से परिमित प्रस्तुति के है सांस्थिति के साथ परिभाषित बीजगणितीय स्टैक इस सिद्धांत को समाहित करते हैं लेकिन ये अभी भी उपयोगी है क्योंकि प्रकृति में पाए जाने वाले कई स्टैक इस रूप के हैं जैसे कि मॉड्यूल वक्र इसके अतिरिक्त, इस प्रकार के स्टैक के अंतर-ज्यामितीय एनालॉग को कक्षीय संरचना कहा जाता है। एटेल स्थिति का तात्पर्य 2-प्रकार्यक से है:

टोर्सर (बीजगणितीय ज्यामिति) के अपने समूह में एक योजना एटेल सांस्थिति पर एक स्टैक के रूप में प्रतिनिधित्व करने योग्य है लेकिन पिकार्ड-स्टैक का टॉर्सर्स (समान रूप से लाइन स्टैक की श्रेणी) प्रतिनिधित्व योग्य नहीं है। इस रूप के स्टैक सांस्थिति पर स्टैक के रूप में प्रदर्शित किए जा सकते हैं। सांस्थिति और ईटेल सांस्थिति पर विचार करने का एक अन्य कारण 'कुमर-अनुक्रम' की विशेषता से अधिक होती है:

केवल स्टैकों के अनुक्रम के रूप में यह शुद्ध हैलेकिन ईटेल स्टैकों के अनुक्रम के रूप में नहीं होता है।

अन्य सांस्थिति पर बीजगणितीय स्टैक को परिभाषित करना

अन्य ग्रोथेंडिक सांस्थिति का उपयोग करना बीजगणितीय स्टैक का वैकल्पिक सिद्धांत देता है जो या तो पर्याप्त सामान्य नहीं हैं या आच्छादन के आधार से आच्छादन की कुल समष्टि तक गुणों का आदान-प्रदान करने के संबंध में अच्छा व्यवहार नहीं करते हैं यह याद रखना उपयोगी है कि पर बड़ी सांस्थिति के सामान्यीकरण का निम्न पदानुक्रम है:

संरचना शीफ ​​

बीजगणितीय स्टैक की संरचना शीफ स्थिति पर सार्वभौमिक संरचना शीफ से वापस प्राप्त की गई वस्तु है।[18] इस सार्वभौमिक संरचना शीफ को निम्न रूप में परिभाषित किया गया है:[19]

इससे संबंधित संरचना शीफ ​​ग्रुपोइड्स में सूत्र वाली श्रेणी पर को के रूप में परिभाषित किया जाता है।

जहां ग्रोथेंडिक सांस्थिति के मानचित्र से प्राप्त होता है। विशेष रूप से, इसका अर्थ यह है कि के ऊपर स्थित है और को {\ की जांच के रूप में विभिन्न सांस्थिति के लिए -योजना से आने वाले ग्रुपोइड्स में सूत्र श्रेणी से इसकी तुलना करना उपयुक्त है।[20]

उदाहरण के लिए, यदि पर ग्रुपोइड्स में सूत्र वाली एक श्रेणी है तब विवृत उपयोजना के लिए संरचना शीफ ​​ प्राप्त होता है:

इसलिए यह परिभाषा एक योजना पर उत्कृष्ट संरचना शीफ ​​को पुनः प्राप्त करती है। इसके अतिरिक्त, भागफल स्टैक के लिए संरचना शीफ ​​यह - अचर बहुपद के लिए में प्रदान करती है।[21][22]

उदाहरण

स्टैक का वर्गीकरण

बीजगणितीय समूहों के लिए कई वर्गीकृत स्टैक बीजगणितीय स्टैक हैं। वास्तव में एक बीजगणितीय समूह समष्टि के लिए योजना पर जो परिमित प्रस्तुति का समतल है और स्टैक एक बीजगणितीय स्टैक है।[2]प्रमेय 6.1

यह भी देखें

संदर्भ

  1. A'Campo, Norbert; Ji, Lizhen; Papadopoulos, Athanase (2016-03-07). "On Grothendieck's construction of Teichmüller space". arXiv:1603.02229 [math.GT].
  2. 2.0 2.1 Artin, M. (1974). "वर्सल विकृति और बीजगणितीय ढेर". Inventiones Mathematicae. 27 (3): 165–189. Bibcode:1974InMat..27..165A. doi:10.1007/bf01390174. ISSN 0020-9910. S2CID 122887093.
  3. "Section 92.16 (04T3): From an algebraic stack to a presentation—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  4. "Section 34.7 (021L): The fppf topology—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  5. "Section 92.12 (026N): Algebraic stacks—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  6. "Section 35.21 (02YL): Properties of morphisms local in the fppf topology on the target—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  7. "Section 35.25 (036M): Properties of morphisms local in the fppf topology on the source—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  8. "Section 35.13 (034B): Properties of schemes local in the fppf topology—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  9. Goerss, Paul. "औपचारिक समूहों के मोडुली ढेर पर अर्ध-सुसंगत ढेर" (PDF). Archived (PDF) from the original on 29 August 2020.
  10. "Section 92.9 (04SX): Morphisms representable by algebraic spaces—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  11. "Section 92.7 (04SU): Split categories fibred in groupoids—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  12. "Section 92.8 (02ZV): Categories fibred in groupoids representable by algebraic spaces—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  13. is the embedding sending a set to the category of objects and only identity morphisms. Then, the Grothendieck construction can be applied to give a category fibered in groupoids
  14. "Lemma 92.10.11 (045G)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  15. "Section 78.5 (046I): Bootstrapping the diagonal—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
  16. Simpson, Carlos (1996-09-17). "बीजीय (ज्यामितीय) एन-ढेर". arXiv:alg-geom/9609014.
  17. "Section 92.6 (04ST): Representable morphisms of categories fibred in groupoids—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-03.
  18. "Section 94.3 (06TI): Presheaves—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.
  19. "Section 94.6 (06TU): The structure sheaf—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.
  20. "Section 94.8 (076N): Representable categories—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.
  21. "Lemma 94.13.2 (076S)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.
  22. "Section 76.12 (0440): Quasi-coherent sheaves on groupoids—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.


बाहरी संबंध

आर्टिन के स्वयंसिद्ध

कागजात

अनुप्रयोग

मैथोवरफ्लो धागे

अन्य

श्रेणी:बीजगणितीय वक्र श्रेणी:मोडुली सिद्धांत श्रेणी:बीजगणितीय ज्यामिति