बीजगणितीय स्टैक: Difference between revisions
m (Abhishek moved page बीजगणितीय ढेर to बीजगणितीय स्टैक without leaving a redirect) |
No edit summary |
||
Line 16: | Line 16: | ||
<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> पर | यह <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> | ||
Line 25: | Line 25: | ||
जैसे कि | जैसे कि | ||
# <math>\mathcal{X}</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>fppf</math> योजना <math>U \to S</math> मे सम्मिलित है और सूत्र वाली श्रेणियों <math>\mathcal{U} \to \mathcal{X}</math> से जुड़ी 1-आकारिता सम्मिलित है जो कर्तृपदीय और समतल होता है जिसको मानचित्रावली कहते हैं। | ||
=== तकनीकी स्थितियों की व्याख्या === | === तकनीकी स्थितियों की व्याख्या === | ||
===== | ===== <math>fppf</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> है। | ||
Line 38: | Line 38: | ||
* <math>f:X\to Y</math> में <math>\mathcal{P}</math> है यदि और केवल यदि प्रत्येक <math>X\times_YY_i \to Y_i</math> में <math>\mathcal{P}</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>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> सांस्थिति एफ के लिए स्रोत पर पिछले गुणों के अतिरिक्त सार्वभौमिक रूप से विवृत होने के कारण स्रोत पर भी स्थानीय है।<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> | |||
===== प्रतिनिधित्व योग्य विकर्ण ===== | ===== प्रतिनिधित्व योग्य विकर्ण ===== | ||
परिभाषा के अनुसार 1- आकारिता<math>f:\mathcal{X} \to \mathcal{Y}</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> से संबंधित श्रेणी ग्रुपोइड्स में सूत्र की गई है:: | ||
<math>(Sch/U)_{fppf}\times_{\mathcal{Y}} \mathcal{X}</math> | <math>(Sch/U)_{fppf}\times_{\mathcal{Y}} \mathcal{X}</math> | ||
Line 49: | Line 49: | ||
<math>F:(Sch/S)^{op}_{fppf} \to Sets</math> | <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>\begin{matrix} | <math>\begin{matrix} | ||
Line 59: | Line 59: | ||
विकर्ण की प्रतिनिधित्व क्षमता <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> | विकर्ण की प्रतिनिधित्व क्षमता <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> जहां | ध्यान दें कि विकर्ण की प्रतिनिधित्व क्षमता की एक समान स्थिति उच्च स्टैक के कुछ योगों के लिए होती है।<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> का अस्तित्व और | एक <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> को आकारिता की पहचान के रूप में दर्शाया गया है। | ||
इसलिए | इसलिए | ||
Line 70: | Line 70: | ||
<math>h_{\mathcal{U}}:(Sch/S)_{fppf}^{op} \to Groupoids</math> | <math>h_{\mathcal{U}}:(Sch/S)_{fppf}^{op} \to Groupoids</math> | ||
ग्रुपोइड्स का 2-प्रकार्यक है इस 2-प्रकार्यक को एक शीफ दिखाना [[2-योनेदा लेम्मा]] योजना है। ग्रोथेंडिक निर्माण का उपयोग करते हुए <math>\mathcal{U} \to \mathcal{X}</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>\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>\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-ममफोर्ड ढेर|डेलिग्न-ममफोर्ड स्टैक]] कहा जाता है। | ||
Line 79: | Line 79: | ||
डेलिग्न-ममफोर्ड स्टैक का उपवर्ग उपयोगी है क्योंकि यह माना जाने वाले कई प्राकृतिक स्टैक के लिए सही सेटिंग प्रदान करता है जैसे कि बीजगणितीय वक्रों का मोडुली स्टैक इसके अतिरिक्त, वे अपेक्षाकृत उपयोगी हैं कि डेलिग्न-ममफोर्ड स्टैक में बिंदुओं द्वारा प्रदर्शित की गई वस्तु में अतिसूक्ष्म स्वसमाकृतिकता नहीं होती है। यह बहुत महत्वपूर्ण है क्योंकि अतिसूक्ष्म स्वसमाकृतिकता आर्टिन स्टैक के विरूपण सिद्धांत का अध्ययन करना बहुत कठिन बना देती है। उदाहरण के लिए, आर्टिन स्टैक के विरूपण सिद्धांत <math>BGL_n = [*/GL_n]</math> मे <math>n</math> सदिश स्टैक के मोडुली स्टैक, आंशिक रूप से लाई बीजगणित <math>\mathfrak{gl}_n</math> मे होते है। यह सामान्य रूप से विकृतियों और अवरोधों के एक अनंत अनुक्रम की ओर जाता है जो स्थिर समूह के मॉड्यूल के अध्ययन के लिए प्रेरणाओं में से एक है केवल लाइन समूह के विरूपण सिद्धांत की विशेष स्थिति में <math>[*/GL_1] = [*/\mathbb{G}_m]</math> विरूपण सिद्धांत को ध्यान में रखा जा सकता है क्योंकि संबंधित लाई बीजगणितीय विनिमेय समूह है। | डेलिग्न-ममफोर्ड स्टैक का उपवर्ग उपयोगी है क्योंकि यह माना जाने वाले कई प्राकृतिक स्टैक के लिए सही सेटिंग प्रदान करता है जैसे कि बीजगणितीय वक्रों का मोडुली स्टैक इसके अतिरिक्त, वे अपेक्षाकृत उपयोगी हैं कि डेलिग्न-ममफोर्ड स्टैक में बिंदुओं द्वारा प्रदर्शित की गई वस्तु में अतिसूक्ष्म स्वसमाकृतिकता नहीं होती है। यह बहुत महत्वपूर्ण है क्योंकि अतिसूक्ष्म स्वसमाकृतिकता आर्टिन स्टैक के विरूपण सिद्धांत का अध्ययन करना बहुत कठिन बना देती है। उदाहरण के लिए, आर्टिन स्टैक के विरूपण सिद्धांत <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>B\mu_n:(\mathrm{Sch}/S)^\text{op} \to \text{Cat}</math> | ||
[[टोर्सर (बीजगणितीय ज्यामिति)]] <math>\mu_n</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>0 \to \mu_p \to \mathbb{G}_m \to \mathbb{G}_m \to 0</math> | <math>0 \to \mu_p \to \mathbb{G}_m \to \mathbb{G}_m \to 0</math> | ||
केवल | केवल <math>fppf</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> | ||
Line 99: | Line 99: | ||
<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^{-1}</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>(Sch/S)_{fppf}</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> | ||
Line 156: | Line 156: | ||
* [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 बीजीय स्टैक पर नोट्स] | ||
Revision as of 11:59, 9 May 2023
गणित में, बीजगणितीय स्टैक बीजगणितीय रिक्त समष्टि या योजनाओं (गणित) का एक विशाल सामान्यीकरण है जो मॉडुलि सिद्धांत का अध्ययन करने के लिए मूलभूत हैं। बीजगणितीय स्टैक के लिए विशिष्ट तकनीकों का उपयोग करके कई मोडुली रिक्त समष्टि बनाए जाते हैं, जैसे कि आर्टिन की प्रतिनिधित्व क्षमता का प्रमेय, जिसका उपयोग बीजगणितीय वक्र के मोडुली समष्टि के निर्माण के लिए दीर्घवृत्तीय वक्र मे किया जाता है। मूल रूप से, उन्हें ग्रोथेंडिक द्वारा मोडुली समष्टि पर स्वसमाकृतिकता का नियंत्रण रखने के लिए प्रस्तुत किया गया था।[1] एक ऐसी तकनीक जो इन मोडुली समष्टि को परिवर्तित करने की स्वीकृति देती है जैसे कि उनकी अंतर्निहित योजनाएं या बीजगणितीय समष्टि मे है लेकिन कई सामान्यीकरणों के माध्यम से बीजगणितीय स्टैक की धारणा अंततः माइकल आर्टिन द्वारा खोजी गई थी।[2]
परिभाषा
प्रेरणा
बीजगणितीय स्टैक के प्रेरक उदाहरणों में से एक निश्चित योजना के ऊपर समूह योजना पर विचार करना है उदाहरण के लिए, यदि , प्रक्षेपण मानचित्र है और समूह क्रिया है तब
और गुणन मानचित्र है:
तब योजना दिए जाने पर ग्रुपॉइड योजना एक ग्रुपॉइड बनाता है जहाँ उनके संबंधित प्रकार्यक हैं इसके अतिरिक्त यह निर्माण पर क्रियात्मक है जो एक प्रतिपरिवर्ती 2-प्रकार्यक बनाता है:
जहाँ छोटी श्रेणियों की छोटी श्रेणी है इसे देखने का एक अन्य प्रकार ग्रोथेंडिक निर्माण के माध्यम से एक फाइब्रिन श्रेणी के रूप में है। सही तकनीकी स्थितियां प्राप्त करना जैसे पर ग्रोथेंडिक सांस्थिति, एक बीजगणितीय स्टैक की परिभाषा देता है। उदाहरण के लिए, मूल वस्तु पर क्षेत्र के लिए k-बिंदुओं के संबद्ध समूह में आकारिकी का समूह होता है। ध्यान दें कि से एक बीजगणितीय स्टैक प्राप्त करने के लिए न कि केवल एक स्टैक के लिए, के लिए अतिरिक्त तकनीकी परिकल्पनाओं की आवश्यकता होती है।[3]
बीजगणितीय स्टैक
यह पर सांस्थिति (समतल और स्थानीय रूप से परिमित प्रस्तुति) का उपयोग करके प्राप्त किया जाता है।[4] जो बीजगणितीय स्टैक को परिभाषित करने के लिए आधार बनाता है। जिससे बीजगणितीय स्टैक की फाइब्रिन श्रेणी है:[5]
जैसे कि
- ग्रुपोइड्स में सूत्र वाली एक श्रेणी है जिसका अर्थ है कि के लिए श्रेणी से अधिक एक ग्रुपॉइड है।
- विकर्ण मानचित्र सूत्र वाली श्रेणियों की संख्या बीजगणितीय रिक्त समष्टि के रूप में प्रतिनिधित्व योग्य है।
- योजना मे सम्मिलित है और सूत्र वाली श्रेणियों से जुड़ी 1-आकारिता सम्मिलित है जो कर्तृपदीय और समतल होता है जिसको मानचित्रावली कहते हैं।
तकनीकी स्थितियों की व्याख्या
सांस्थिति का प्रयोग करना
सबसे पहले, सांस्थिति का उपयोग किया जाता है क्योंकि यह प्रवणता सिद्धांत के संबंध में अच्छा व्यवहार करता है। उदाहरण के लिए, यदि एक योजना हैं और को के आच्छादन में परिशोधित किया जा सकता है यदि समतल है तब स्थानीय रूप से परिमित प्रकार या स्थानीय रूप से परिमित प्रस्तुति के पास यह गुण है। इस प्रकार के विचार को लक्ष्य पर स्थानीय गुणों या आकारिकी के स्रोत पर विचार करके आगे बढ़ाया जा सकता है। हम कहते हैं कि एक संपत्ति स्रोत पर स्थानीय है यदि
- में है यदि और केवल यदि प्रत्येक में है।
- लक्ष्य पर स्थानीय नामक लक्ष्य एक समान है। इसका तात्पर्य है कि एक समाविष्ट है।
- में है यदि और केवल यदि प्रत्येक में है।
सांस्थिति के लिए संलयन होना लक्ष्य पर स्थानीय है।[6] सांस्थिति एफ के लिए स्रोत पर पिछले गुणों के अतिरिक्त सार्वभौमिक रूप से विवृत होने के कारण स्रोत पर भी स्थानीय है।[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
यह भी देखें
- गेर्बर नियम
- चाउ समूह स्टैक
- सह-समरूपता स्टैक
- भागफल स्टैक
- बीजगणितीय शीफ स्टैक
- टोरिक स्टैक
- आर्टिन मानदंड
- पश्च स्टैक
- व्युत्पन्न बीजगणितीय ज्यामिति
संदर्भ
- ↑ A'Campo, Norbert; Ji, Lizhen; Papadopoulos, Athanase (2016-03-07). "On Grothendieck's construction of Teichmüller space". arXiv:1603.02229 [math.GT].
- ↑ 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.
- ↑ "Section 92.16 (04T3): From an algebraic stack to a presentation—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
- ↑ "Section 34.7 (021L): The fppf topology—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
- ↑ "Section 92.12 (026N): Algebraic stacks—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
- ↑ "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.
- ↑ "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.
- ↑ "Section 35.13 (034B): Properties of schemes local in the fppf topology—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
- ↑ Goerss, Paul. "औपचारिक समूहों के मोडुली ढेर पर अर्ध-सुसंगत ढेर" (PDF). Archived (PDF) from the original on 29 August 2020.
- ↑ "Section 92.9 (04SX): Morphisms representable by algebraic spaces—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
- ↑ "Section 92.7 (04SU): Split categories fibred in groupoids—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
- ↑ "Section 92.8 (02ZV): Categories fibred in groupoids representable by algebraic spaces—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
- ↑ 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
- ↑ "Lemma 92.10.11 (045G)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
- ↑ "Section 78.5 (046I): Bootstrapping the diagonal—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.
- ↑ Simpson, Carlos (1996-09-17). "बीजीय (ज्यामितीय) एन-ढेर". arXiv:alg-geom/9609014.
- ↑ "Section 92.6 (04ST): Representable morphisms of categories fibred in groupoids—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-03.
- ↑ "Section 94.3 (06TI): Presheaves—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.
- ↑ "Section 94.6 (06TU): The structure sheaf—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.
- ↑ "Section 94.8 (076N): Representable categories—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.
- ↑ "Lemma 94.13.2 (076S)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.
- ↑ "Section 76.12 (0440): Quasi-coherent sheaves on groupoids—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.
बाहरी संबंध
आर्टिन के स्वयंसिद्ध
- https://stacks.math.columbia.edu/tag/07SZ - अभिगृहीत और बीजगणितीय स्टैक देखें
- आर्टिन बीजगणित और भागफल स्टैक - जैरोड एल्पर
कागजात
- Alper, Jarod (2009). "बीजगणितीय ढेर पर साहित्य के लिए एक गाइड" (PDF). S2CID 51803452. Archived from the original (PDF) on 2020-02-13.
{{cite journal}}
: Cite journal requires|journal=
(help) - Hall, Jack; Rydh, David (2014). "हिल्बर्ट ढेर". Advances in Mathematics. 253: 194–233. arXiv:1011.5484. doi:10.1016/j.aim.2013.12.002. S2CID 55936583.
- Behrend, Kai A. (2003). "बीजगणितीय ढेर के लिए व्युत्पन्न ℓ-एडिक श्रेणियाँ" (PDF). Memoirs of the American Mathematical Society. 163 (774): 1–93. doi:10.1090/memo/0774. ISBN 978-1-4704-0372-0.
अनुप्रयोग
- Lafforgue, Vincent (2014). "रिडक्टिव ग्रुप्स के लिए चटौकास का परिचय और वैश्विक लैंगलैंड्स पैरामीटराइजेशन के लिए". arXiv:1404.6416 [math.AG].
- Deligne, P.; Rapoport, M. (1973). "Les Schémas de Modules de Courbes Elliptiques". एक चर II के मॉड्यूलर कार्य. Lecture Notes in Mathematics. Vol. 349. pp. 143–316. doi:10.1007/978-3-540-37855-6_4. ISBN 978-3-540-06558-6.
- Knudsen, Finn F. (1983). "स्थिर वक्रों के मोडुली स्थान की प्रोजेक्टिविटी, II: ढेर ". Mathematica Scandinavica. 52: 161. doi:10.7146/math.scand.a-12001.
- Jiang, Yunfeng (2019). "सतहों पर प्रोजेक्टिव हिग्स बंडलों के मोडुली स्टैक के निर्माण पर". arXiv:1911.00250 [math.AG].
मैथोवरफ्लो धागे
- क्या बीजगणितीय स्टैक fpqc डिसेंट को संतुष्ट करते हैं?
- fpqc सांस्थिति में स्टैक
- fpqc स्टैक के आच्छादन
अन्य
- स्टैक के उदाहरण
- arxiv:math/0412512|ग्रोथेंडिक सांस्थिति, सूत्र्ड कैटेगरी और डिसेंट थ्योरी पर नोट्स
- बीजीय स्टैक पर नोट्स
श्रेणी:बीजगणितीय वक्र श्रेणी:मोडुली सिद्धांत श्रेणी:बीजगणितीय ज्यामिति