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

Revision as of 12:14, 7 May 2023

गणित में, एक बीजगणितीय ढेर बीजगणितीय रिक्त स्थान या योजनाओं (गणित) का एक विशाल सामान्यीकरण है, जो मॉडुलि सिद्धांत का अध्ययन करने के लिए मूलभूत हैं। बीजगणितीय स्टैक के लिए विशिष्ट तकनीकों का उपयोग करके कई मोडुली रिक्त स्थान बनाए जाते हैं, जैसे कि आर्टिन की प्रतिनिधित्व क्षमता प्रमेय, जिसका उपयोग नुकीले बीजगणितीय वक्र ${\mathcal {M}}_{g,n}$ के मोडुली स्पेस के निर्माण के लिए किया जाता है। अण्डाकार वक्र। मूल रूप से, उन्हें ग्रोथेंडिक द्वारा मोडुली स्पेस पर ऑटोमोर्फिज्म का ट्रैक रखने के लिए पेश किया गया था^[1] एक ऐसी तकनीक जो इन मोडुली स्पेस को ट्रीट करने की अनुमति देती है जैसे कि उनकी अंतर्निहित योजनाएं या बीजगणितीय स्पेस स्मूद हैं। लेकिन, कई सामान्यीकरणों के माध्यम से बीजगणितीय ढेर की धारणा अंततः माइकल आर्टिन द्वारा खोजी गई थी।^[2]

परिभाषा

प्रेरणा

एक बीजगणितीय स्टैक के प्रेरक उदाहरणों में से एक है एक निश्चित योजना $S$ के ऊपर एक समूह योजना $(R,U,s,t,m)$ पर विचार करना। उदाहरण के लिए, यदि $R=\mu _{n}\times _{S}\mathbb {A} _{S}^{n}$ $U=\mathbb {A} _{S}^{n}$ , $s={\text{pr}}_{U}$ प्रक्षेपण मानचित्र है, $t$ समूह क्रिया है

$\zeta _{n}\cdot (x_{1},\ldots ,x_{n})=(\zeta _{n}x_{1},\ldots ,\zeta _{n}x_{n})$

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

$m:(\mu _{n}\times _{S}\mathbb {A} _{S}^{n})\times _{\mu _{n}\times _{S}\mathbb {A} _{S}^{n}}(\mu _{n}\times _{S}\mathbb {A} _{S}^{n})\to \mu _{n}\times _{S}\mathbb {A} _{S}^{n}$

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

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

जहाँ ${\text{Cat}}$ छोटी श्रेणियों की छोटी श्रेणी है। इसे देखने का एक अन्य तरीका ग्रोथेंडिक निर्माण के माध्यम से एक रेशेदार श्रेणी $[U/R]\to (\mathrm {Sch} /S)$ के रूप में है। सही तकनीकी स्थितियां प्राप्त करना, जैसे $(\mathrm {Sch} /S)$ पर ग्रोग्रोथेंडिक टोपोलॉजी, एक बीजगणितीय ढेर की परिभाषा देता है। उदाहरण के लिए, मूल वस्तु $0\in \mathbb {A} _{S}^{n}(k)$ पर फ़ील्ड $k$ के लिए k-बिंदुओं के संबद्ध समूह में ऑटोमोर्फिज़्म का समूह होता है $\mu _{n}(k)$ ध्यान दें कि $[U/R]$ से एक बीजगणितीय स्टैक प्राप्त करने के लिए, न कि केवल एक स्टैक के लिए, $[U/R]$ के लिए अतिरिक्त तकनीकी परिकल्पनाओं की आवश्यकता होती है।^[3]

बीजगणितीय ढेर

यह $(\mathrm {Sch} /S)$ पर fppf-topology[4] (ईमानदारी से फ्लैट और स्थानीय रूप से परिमित प्रस्तुति) का उपयोग करके निकलता है^[4], $(\mathrm {Sch} /S)_{fppf}$ बीजगणितीय ढेर को परिभाषित करने के लिए आधार बनाता है। फिर, एक बीजगणितीय स्टैक एक रेशेदार श्रेणी है^[5]

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

ऐसा है कि

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

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

एफपीपीएफ टोपोलॉजी का प्रयोग करना

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

$f:X\to Y$ है ${\mathcal {P}}$ अगर और केवल अगर प्रत्येक $X_{i}\to Y$ है ${\mathcal {P}}$

लक्ष्य पर स्थानीय नामक लक्ष्य पर एक समान धारणा है। इसका मतलब है कि एक कवर दिया गया है $\{Y_{i}\to Y\}_{i\in I}$ <ब्लॉककोट> $f:X\to Y$ है ${\mathcal {P}}$ अगर और केवल अगर प्रत्येक $X\times _{Y}Y_{i}\to Y_{i}$ है ${\mathcal {P}}$ FPPF टोपोलॉजी के लिए, विसर्जन होना लक्ष्य पर स्थानीय है।^[7] एफपीपीएफ टोपोलॉजी के लिए स्रोत पर स्थानीय पिछले गुणों के अलावा, $f$ सार्वभौमिक रूप से खुला होना भी स्रोत पर स्थानीय है।^[8] इसके अलावा, स्थानीय रूप से नोथेरियन और जैकबसन स्रोत पर स्थानीय हैं और एफपीपीएफ टोपोलॉजी के लिए लक्षित हैं।^[9] यह fpqc टोपोलॉजी में नहीं है, जो इसे तकनीकी गुणों के मामले में उतना अच्छा नहीं बनाता है। हालांकि यह सच है, fpqc टोपोलॉजी पर बीजगणितीय ढेर का उपयोग करना अभी भी इसका उपयोग है, जैसे रंगीन होमोटोपी सिद्धांत में। यह औपचारिक समूह कानूनों के मोडुली स्टैक के कारण है ${\mathcal {M}}_{fg}$ एक एफपीक्यूसी-बीजगणितीय ढेर है^[10]^{पेज 40}.

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

परिभाषा के अनुसार, एक 1-रूपवाद $f:{\mathcal {X}}\to {\mathcal {Y}}$ ग्रुपॉयड्स में फाइबर की गई श्रेणियों की संख्या बीजगणितीय स्थानों द्वारा प्रदर्शित की जा सकती है^[11] अगर किसी एफपीपीएफ आकारिकी के लिए $U\to S$ योजनाओं की और कोई 1-मोर्फिज्म $y:(Sch/U)_{fppf}\to {\mathcal {Y}}$ , संबंधित श्रेणी Groupoids

में फाइबर की गई है $(Sch/U)_{fppf}\times _{\mathcal {Y}}{\mathcal {X}}$

एक बीजगणितीय स्थान के रूप में प्रदर्शित करने योग्य है,^[12]^[13] मतलब बीजगणितीय स्थान <ब्लॉककोट> मौजूद है $F:(Sch/S)_{fppf}^{op}\to Sets$ जैसे कि संबंधित फाइबरयुक्त श्रेणी ${\mathcal {S}}_{F}\to (Sch/S)_{fppf}$ ^[14] के बराबर है $(Sch/U)_{fppf}\times _{\mathcal {Y}}{\mathcal {X}}$ . विकर्ण के प्रतिनिधित्व के लिए कई समतुल्य शर्तें हैं^[15] जो इस तकनीकी स्थिति के लिए अंतर्ज्ञान देने में मदद करते हैं, लेकिन मुख्य प्रेरणाओं में से एक निम्नलिखित है: एक योजना के लिए $U$ और वस्तुएं $x,y\in \operatorname {Ob} ({\mathcal {X}}_{U})$ पुलिया $\operatorname {Isom} (x,y)$ एक बीजगणितीय स्थान के रूप में प्रतिनिधित्व करने योग्य है। विशेष रूप से, स्टैक पर किसी भी बिंदु के लिए स्टेबलाइज़र समूह $x:\operatorname {Spec} (k)\to {\mathcal {X}}_{\operatorname {Spec} (k)}$ एक बीजगणितीय स्थान के रूप में प्रतिनिधित्व करने योग्य है।

एक प्रतिनिधित्व योग्य विकर्ण होने का एक अन्य महत्वपूर्ण समकक्ष तकनीकी स्थिति है कि एक बीजगणितीय ढेर में किसी भी दो बीजगणितीय रिक्त स्थान का प्रतिच्छेदन एक बीजगणितीय स्थान है। फाइबर उत्पादों <ब्लॉककोट> का उपयोग करके पुन: तैयार किया गया ${\begin{matrix}Y\times _{\mathcal {X}}Z&\to &Y\\\downarrow &&\downarrow \\Z&\to &{\mathcal {X}}\end{matrix}}$ विकर्ण की प्रतिनिधित्व क्षमता इसके बराबर है $Y\to {\mathcal {X}}$ एक बीजगणितीय स्थान के लिए प्रतिनिधित्व योग्य होना $Y$ . ऐसा इसलिए है क्योंकि दिए गए आकारिकी $Y\to {\mathcal {X}},Z\to {\mathcal {X}}$ बीजगणितीय स्थानों से, वे मानचित्रों तक विस्तारित होते हैं ${\mathcal {X}}\times {\mathcal {X}}$ विकर्ण मानचित्र से। बीजगणितीय रिक्त स्थान के लिए एक समान कथन है जो एक शीफ की प्रतिनिधित्व क्षमता देता है $(F/S)_{fppf}$ एक बीजगणितीय स्थान के रूप में।^[16] ध्यान दें कि उच्च ढेर के कुछ योगों के लिए विकर्ण की प्रतिनिधित्व क्षमता की एक समान स्थिति होती है^[17] जहां फाइबर उत्पाद एक है $(n-1)$ -एक के लिए ढेर $n$ -ढेर ${\mathcal {X}}$ .

विशेषण और चिकनी एटलस

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

एक का अस्तित्व $fppf$ योजना $U\to S$ और फाइबरयुक्त श्रेणियों का 1-मोर्फिज्म ${\mathcal {U}}\to {\mathcal {X}}$ जो विशेषण और चिकना है, फाइबरयुक्त श्रेणियों के एक चिकने और विशेषण आकारिकी को परिभाषित करने पर निर्भर करता है। यहाँ ${\mathcal {U}}$ प्रतिनिधित्व करने योग्य मज़ेदार से बीजगणितीय ढेर है $h_{U}$ पर $h_{U}:(Sch/S)_{fppf}^{op}\to Sets$ ग्रुपोइड्स में फाइबर वाली श्रेणी में अपग्रेड किया गया जहां श्रेणियों में केवल तुच्छ आकारिकी होती है। इसका मतलब है सेट <ब्लॉककोट> $h_{U}(T)={\text{Hom}}_{(Sch/S)_{fppf}}(T,U)$ को एक श्रेणी के रूप में माना जाता है, निरूपित $h_{\mathcal {U}}(T)$ , वस्तुओं के साथ $h_{U}(T)$ जैसा $fppf$ आकारिकी <ब्लॉककोट> $f:T\to U$ और morphisms पहचान morphism हैं। इसलिए <ब्लॉककोट> $h_{\mathcal {U}}:(Sch/S)_{fppf}^{op}\to Groupoids$ ग्रुपॉइड्स का 2-फ़ंक्टर है। इस 2-फंक्टर को एक शीफ दिखाना 2-योनेदा लेम्मा की सामग्री है। ग्रोथेंडिक कंस्ट्रक्शन का उपयोग करते हुए, ग्रुपॉयड्स में एक संबंधित श्रेणी को फाइबर किया गया है ${\mathcal {U}}\to {\mathcal {X}}$ .

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

यह रूपवाद कहने के लिए ${\mathcal {U}}\to {\mathcal {X}}$ चिकनी या प्रक्षेपण है, हमें प्रतिनिधित्व योग्य morphisms पेश करना है।^[18] एक रूपवाद $p:{\mathcal {X}}\to {\mathcal {Y}}$ ग्रुपॉयड्स ओवर में फाइबर की गई श्रेणियों की संख्या $(Sch/S)_{fppf}$ यदि कोई वस्तु दी जाए तो प्रतिनिधित्व योग्य कहा जाता है $T\to S$ में $(Sch/S)_{fppf}$ और एक वस्तु $t\in {\text{Ob}}({\mathcal {Y}}_{T})$ 2-फाइबर वाला उत्पाद

$(Sch/T)_{fppf}\times _{t,{\mathcal {Y}}}{\mathcal {X}}_{T}$

एक योजना द्वारा प्रतिनिधित्व योग्य है। फिर, हम कह सकते हैं कि ग्रुपोइड्स में रेशे वाली श्रेणियों का आकारिकी $p$ यदि संबंधित आकृतिवाद <ब्लॉकक्वोट> है, तो यह चिकना और विशेषण है $(Sch/T)_{fppf}\times _{t,{\mathcal {Y}}}{\mathcal {X}}_{T}\to (Sch/T)_{fppf}$ योजनाओं का सहज और विशेषण है।

डेलिग्न-ममफोर्ड ढेर

बीजगणितीय ढेर, जिसे आर्टिन ढेर के रूप में भी जाना जाता है, परिभाषा के अनुसार एक चिकनी विशेषण एटलस से सुसज्जित हैं ${\mathcal {U}}\to {\mathcal {X}}$ , कहाँ ${\mathcal {U}}$ किसी योजना से जुड़ा ढेर है $U\to S$ . अगर एटलस ${\mathcal {U}}\to {\mathcal {X}}$ अधिक सुस्त है, फिर ${\mathcal {X}}$ Deligne-ममफोर्ड ढेर कहा जाता है। Deligne-Mumford स्टैक का उपवर्ग उपयोगी है क्योंकि यह माना जाने वाले कई प्राकृतिक स्टैक के लिए सही सेटिंग प्रदान करता है, जैसे कि बीजगणितीय वक्रों का मोडुली स्टैक। इसके अलावा, वे काफी सख्त हैं कि Deligne-Mumford स्टैक में बिंदुओं द्वारा दर्शाई गई वस्तु में अतिसूक्ष्म ऑटोमोर्फिज्म नहीं है। यह बहुत महत्वपूर्ण है क्योंकि अतिसूक्ष्म ऑटोमोर्फिज्म आर्टिन स्टैक के विरूपण सिद्धांत का अध्ययन करना बहुत कठिन बना देता है। उदाहरण के लिए, आर्टिन स्टैक का विरूपण सिद्धांत $BGL_{n}=[*/GL_{n}]$ , रैंक का मोडुली ढेर $n$ सदिश बंडलों में आंशिक रूप से लाई बीजगणित द्वारा नियंत्रित अतिसूक्ष्म ऑटोमोर्फिज्म होते हैं ${\mathfrak {gl}}_{n}$ . यह सामान्य रूप से विकृतियों और अवरोधों के अनंत अनुक्रम की ओर जाता है, जो स्थिर बंडलों के मोडुली स्थान का अध्ययन करने के लिए प्रेरणाओं में से एक है। केवल लाइन बंडलों के विरूपण सिद्धांत के विशेष मामले में $[*/GL_{1}]=[*/\mathbb {G} _{m}]$ विरूपण सिद्धांत सुगम्य है, चूंकि संबद्ध लाई बीजगणित एबेलियन लाई बीजगणित है।

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

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

अन्य टोपोलॉजी पर बीजगणितीय ढेर को परिभाषित करना

अन्य ग्रोथेंडिक टोपोलॉजी का उपयोग करना $(F/S)$ बीजगणितीय स्टैक के वैकल्पिक सिद्धांत देता है जो या तो पर्याप्त सामान्य नहीं हैं, या कवर के आधार से कवर के कुल स्थान तक गुणों का आदान-प्रदान करने के संबंध में अच्छा व्यवहार नहीं करते हैं। यह याद रखना उपयोगी है कि सामान्यीकरण <ब्लॉककोट> के निम्नलिखित पदानुक्रम हैं ${\text{fpqc}}\supset {\text{fppf}}\supset {\text{smooth}}\supset {\text{etale}}\supset {\text{Zariski}}$ </blockquot>बड़ी टोपोलॉजी पर $(F/S)$ .

संरचना शीफ

एक बीजगणितीय ढेर का संरचना शीफ एक सार्वभौमिक संरचना शीफ से वापस खींची गई वस्तु है ${\mathcal {O}}$ स्थल पर $(Sch/S)_{fppf}$ .^[19] यह सार्वभौमिक संरचना शीफ^[20]

के रूप में परिभाषित किया गया है ${\mathcal {O}}:(Sch/S)_{fppf}^{op}\to Rings,{\text{ where }}U/X\mapsto \Gamma (U,{\mathcal {O}}_{U})$

और ग्रुपोइड्स

में फाइबर की गई श्रेणी पर संबंधित संरचना शीफ $p:{\mathcal {X}}\to (Sch/S)_{fppf}$

को

के रूप में परिभाषित किया गया है ${\mathcal {O}}_{\mathcal {X}}:=p^{-1}{\mathcal {O}}$

कहाँ $p^{-1}$ ग्रोथेंडिक टोपोलॉजी के मानचित्र से आता है। विशेष रूप से इसका अर्थ है $x\in {\text{Ob}}({\mathcal {X}})$ पड़ा हुआ है $U$ , इसलिए $p(x)=U$ , तब ${\mathcal {O}}_{\mathcal {X}}(x)=\Gamma (U,{\mathcal {O}}_{U})$ . एक विवेक जांच के रूप में, यह एक से आने वाले ग्रुपोइड्स में फाइबर वाली श्रेणी से तुलना करने लायक है $S$ -योजना $X$ विभिन्न टोपोलॉजी के लिए।^[21] उदाहरण के लिए, यदि

$({\mathcal {X}}_{Zar},{\mathcal {O}}_{\mathcal {X}})=((Sch/X)_{Zar},{\mathcal {O}}_{X})$

ग्रुपोइड्स में फाइबर वाली एक श्रेणी है $(Sch/S)_{fppf}$ , एक खुली उपयोजना के लिए संरचना शीफ $U\to X$ देता है ${\mathcal {O}}_{\mathcal {X}}(U)={\mathcal {O}}_{X}(U)=\Gamma (U,{\mathcal {O}}_{X})$ इसलिए यह परिभाषा एक योजना पर क्लासिक संरचना शीफ को पुनः प्राप्त करती है। इसके अलावा, एक भागफल ढेर के लिए ${\mathcal {X}}=[X/G]$ , संरचना शीफ यह सिर्फ देता है $G$ -इनवेरिएंट सेक्शन <ब्लॉककोट> ${\mathcal {O}}_{\mathcal {X}}(U)=\Gamma (U,u^{*}{\mathcal {O}}_{X})^{G}$ के लिए $u:U\to X$ में $(Sch/S)_{fppf}$ .^[22]^[23]

उदाहरण

ढेर का वर्गीकरण

बीजगणितीय समूहों के लिए कई वर्गीकृत ढेर बीजगणितीय ढेर हैं। वास्तव में, एक बीजगणितीय समूह स्थान के लिए $G$ एक योजना के ऊपर $S$ जो परिमित प्रस्तुति का सपाट है, ढेर $BG$ बीजीय है^[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.
↑ "Lemma 35.11.8 (06NB)—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.
↑ $Sets\to Cat$ is the embedding sending a set $S$ to the category of objects $S$ 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: ढेर ${\mathcal {M}}_{g,n}$ ". Mathematica Scandinavica. 52: 161. doi:10.7146/math.scand.a-12001.
Jiang, Yunfeng (2019). "सतहों पर प्रोजेक्टिव हिग्स बंडलों के मोडुली स्टैक के निर्माण पर". arXiv:1911.00250 [math.AG].

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

अन्य

ढेर के उदाहरण
arxiv:math/0412512|ग्रोथेंडिक टोपोलॉजी, फाइबर्ड कैटेगरी और डिसेंट थ्योरी पर नोट्स
बीजीय ढेर पर नोट्स

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

[1] A'Campo, Norbert; Ji, Lizhen; Papadopoulos, Athanase (2016-03-07). "On Grothendieck's construction of Teichmüller space". arXiv:1603.02229 [math.GT].

[:0-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] "Lemma 35.11.8 (06NB)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.

[7] "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.

[8] "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.

[9] "Section 35.13 (034B): Properties of schemes local in the fppf topology—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.

[10] Goerss, Paul. "औपचारिक समूहों के मोडुली ढेर पर अर्ध-सुसंगत ढेर" (PDF). Archived (PDF) from the original on 29 August 2020.

[11] "Section 92.9 (04SX): Morphisms representable by algebraic spaces—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.

[12] "Section 92.7 (04SU): Split categories fibred in groupoids—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.

[13] "Section 92.8 (02ZV): Categories fibred in groupoids representable by algebraic spaces—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.

[14] $Sets\to Cat$ is the embedding sending a set $S$ to the category of objects $S$ and only identity morphisms. Then, the Grothendieck construction can be applied to give a category fibered in groupoids

[15] "Lemma 92.10.11 (045G)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.

[16] "Section 78.5 (046I): Bootstrapping the diagonal—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-08-29.

[17] Simpson, Carlos (1996-09-17). "बीजीय (ज्यामितीय) एन-ढेर". arXiv:alg-geom/9609014.

[18] "Section 92.6 (04ST): Representable morphisms of categories fibred in groupoids—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-03.

[19] "Section 94.3 (06TI): Presheaves—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.

[20] "Section 94.6 (06TU): The structure sheaf—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.

[21] "Section 94.8 (076N): Representable categories—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.

[22] "Lemma 94.13.2 (076S)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.

[23] "Section 76.12 (0440): Quasi-coherent sheaves on groupoids—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-10-01.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

@@ Line 1: / Line 1: @@
 {{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>\zeta_n \cdot (x_1,\ldots, x_n)=(\zeta_n  x_1,\ldots,\zeta_n x_n)</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>\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>(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>(R,U,s,t,m)</math> एक निश्चित योजना पर <math>S</math>. उदाहरण के लिए, अगर <math>R = \mu_n\times_S\mathbb{A}^n_S</math> (कहाँ <math>\mu_n</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>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>\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>(R(-),U(-),s,t,m): (\mathrm{Sch}/S)^\mathrm{op} \to \text{Cat}</math>कहाँ <math>\text{Cat}</math> [[2 श्रेणी]] है | [[छोटी श्रेणी]] की 2-श्रेणी है। इसे देखने का एक अन्य तरीका [[रेशेदार श्रेणी]] के रूप में है <math>[U/R] \to (\mathrm{Sch}/S)</math> [[ग्रोथेंडिक निर्माण]] के माध्यम से। [[ग्रोथेंडिक टोपोलॉजी]] जैसी सही तकनीकी स्थितियां प्राप्त करना <math>(\mathrm{Sch}/S)</math>, एक बीजगणितीय ढेर की परिभाषा देता है। उदाहरण के लिए, के संबद्ध समूह में <math>k</math>-एक क्षेत्र के लिए अंक <math>k</math>, मूल वस्तु पर <math>0 \in \mathbb{A}^n_S(k)</math> ऑटोमोर्फिज्म का समूह है <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>
@@ Line 12: / Line 22: @@
 === बीजगणितीय ढेर ===
-यह Fppf टोपोलॉजी|fppf-topology का उपयोग करके निकलता है<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)</math>, निरूपित <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>p: \mathcal{X} \to (\mathrm{Sch}/S)_{fppf}</math></blockquote>ऐसे कि
+यह <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>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> और फाइबरयुक्त श्रेणियों का एक संबद्ध 1-रूपवाद <math>\mathcal{U} \to \mathcal{X}</math> जो आच्छादनशील और चिकना होता है उसे एटलस कहा जाता है।
@@ Line 21: / Line 35: @@
 ===== एफपीपीएफ टोपोलॉजी का प्रयोग करना =====
-सबसे पहले, एफपीपीएफ-टोपोलॉजी का उपयोग किया जाता है क्योंकि यह [[ वंश सिद्धांत ]] के संबंध में अच्छा व्यवहार करता है। उदाहरण के लिए, यदि योजनाएं हैं <math>X,Y \in \operatorname{Ob}(\mathrm{Sch}/S)</math> और <math>X \to Y</math>के एफपीपीएफ-कवर में परिष्कृत किया जा सकता है <math>Y</math>, अगर <math>X</math> समतल, स्थानीय रूप से परिमित प्रकार, या स्थानीय रूप से परिमित प्रस्तुति है, तब <math>Y</math> यह संपत्ति है।<ref>{{Cite web|title=Lemma 35.11.8 (06NB)—The Stacks project|url=https://stacks.math.columbia.edu/tag/06NB|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> इस तरह के विचार को या तो लक्ष्य पर या आकारिकी के स्रोत पर स्थानीय गुणों पर विचार करके आगे बढ़ाया जा सकता है <math>f:X\to Y</math>. एक कवर के लिए <math>\{X_i \to X\}_{i \in I}</math> हम संपत्ति कहते हैं <math>\mathcal{P}</math> स्रोत पर स्थानीय है if<blockquote><math>f:X\to Y</math> है <math>\mathcal{P}</math> अगर और केवल अगर प्रत्येक <math>X_i \to Y</math> है <math>\mathcal{P}</math></blockquote>लक्ष्य पर स्थानीय नामक लक्ष्य पर एक समान धारणा है। इसका मतलब है कि एक कवर दिया गया है <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></blockquote>FPPF टोपोलॉजी के लिए, विसर्जन होना लक्ष्य पर स्थानीय है।<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>f</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> इसके अलावा, स्थानीय रूप से नोथेरियन और जैकबसन स्रोत पर स्थानीय हैं और एफपीपीएफ टोपोलॉजी के लिए लक्षित हैं।<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 टोपोलॉजी में नहीं है, जो इसे तकनीकी गुणों के मामले में उतना अच्छा नहीं बनाता है। हालांकि यह सच है, fpqc टोपोलॉजी पर बीजगणितीय ढेर का उपयोग करना अभी भी इसका उपयोग है, जैसे रंगीन होमोटोपी सिद्धांत में। यह औपचारिक समूह कानूनों के मोडुली स्टैक के कारण है <math>\mathcal{M}_{fg}</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>X,Y \in \operatorname{Ob}(\mathrm{Sch}/S)</math> और <math>X \to Y</math>के एफपीपीएफ-कवर में परिष्कृत किया जा सकता है <math>Y</math>, अगर <math>X</math> समतल, स्थानीय रूप से परिमित प्रकार, या स्थानीय रूप से परिमित प्रस्तुति है, तब <math>Y</math> यह संपत्ति है।<ref>{{Cite web|title=Lemma 35.11.8 (06NB)—The Stacks project|url=https://stacks.math.columbia.edu/tag/06NB|access-date=2020-08-29|website=stacks.math.columbia.edu}}</ref> इस तरह के विचार को या तो लक्ष्य पर या आकारिकी के स्रोत पर स्थानीय गुणों पर विचार करके आगे बढ़ाया जा सकता है <math>f:X\to Y</math>. एक कवर के लिए <math>\{X_i \to X\}_{i \in I}</math> हम संपत्ति कहते हैं <math>\mathcal{P}</math> स्रोत पर स्थानीय है if<blockquote><math>f:X\to Y</math> है <math>\mathcal{P}</math> अगर और केवल अगर प्रत्येक <math>X_i \to Y</math> है <math>\mathcal{P}</math></blockquote>लक्ष्य पर स्थानीय नामक लक्ष्य पर एक समान धारणा है। इसका मतलब है कि एक कवर दिया गया है <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></blockquote>FPPF टोपोलॉजी के लिए, विसर्जन होना लक्ष्य पर स्थानीय है।<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>f</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> इसके अलावा, स्थानीय रूप से नोथेरियन और जैकबसन स्रोत पर स्थानीय हैं और एफपीपीएफ टोपोलॉजी के लिए लक्षित हैं।<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 टोपोलॉजी में नहीं है, जो इसे तकनीकी गुणों के मामले में उतना अच्छा नहीं बनाता है। हालांकि यह सच है, fpqc टोपोलॉजी पर बीजगणितीय ढेर का उपयोग करना अभी भी इसका उपयोग है, जैसे रंगीन होमोटोपी सिद्धांत में। यह औपचारिक समूह कानूनों के मोडुली स्टैक के कारण है <math>\mathcal{M}_{fg}</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>.
 ===== प्रतिनिधित्व योग्य विकर्ण =====
@@ Line 39: / Line 53: @@
 ===== ग्रुपोइड्स में फाइबर की गई श्रेणियों के प्रतिनिधित्व योग्य आकार =====
-यह रूपवाद कहने के लिए <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>\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>\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-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 ]]्स कहा जाता है। एटाले स्थिति का तात्पर्य 2-फ़ंक्टर <ब्लॉककोट> से है<math>B\mu_n:(\mathrm{Sch}/S)^\text{op} \to \text{Cat}</math></blockquote>स्कीम को इसके groupoid of में भेजना <math>\mu_n</math>-[[टोर्सर (बीजगणितीय ज्यामिति)]] एटाले टोपोलॉजी पर एक ढेर के रूप में प्रतिनिधित्व योग्य है, लेकिन पिकार्ड-स्टैक <math>B\mathbb{G}_m</math> का <math>\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>p</math> द [[शोक क्रम]]<ब्लॉककोट><math>0 \to \mu_p \to \mathbb{G}_m \to \mathbb{G}_m \to 0</math></blockquote> केवल fppf ढेरों के अनुक्रम के रूप में सटीक है, लेकिन ईटेल ढेरों के अनुक्रम के रूप में नहीं।
+एफपीपीएफ-टोपोलॉजी बनाम ईटेल टोपोलॉजी पर विचार करने का एक अन्य कारण विशेषता से अधिक है <math>p</math> द [[शोक क्रम]]<ब्लॉककोट><math>0 \to \mu_p \to \mathbb{G}_m \to \mathbb{G}_m \to 0</math> केवल fppf ढेरों के अनुक्रम के रूप में सटीक है, लेकिन ईटेल ढेरों के अनुक्रम के रूप में नहीं।
 === अन्य टोपोलॉजी पर बीजगणितीय ढेर को परिभाषित करना ===

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 12:14, 7 May 2023

Contents

परिभाषा

प्रेरणा

बीजगणितीय ढेर

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

एफपीपीएफ टोपोलॉजी का प्रयोग करना

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

विशेषण और चिकनी एटलस

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

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

डेलिग्न-ममफोर्ड ढेर

अन्य टोपोलॉजी पर बीजगणितीय ढेर को परिभाषित करना

संरचना शीफ

उदाहरण

ढेर का वर्गीकरण

यह भी देखें

संदर्भ

बाहरी संबंध

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

कागजात

अनुप्रयोग

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

अन्य

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 12:14, 7 May 2023

परिभाषा

प्रेरणा

बीजगणितीय ढेर

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

एफपीपीएफ टोपोलॉजी का प्रयोग करना

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

विशेषण और चिकनी एटलस

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

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

डेलिग्न-ममफोर्ड ढेर

अन्य टोपोलॉजी पर बीजगणितीय ढेर को परिभाषित करना

संरचना शीफ ​​

उदाहरण

ढेर का वर्गीकरण

यह भी देखें

संदर्भ

बाहरी संबंध

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

कागजात

अनुप्रयोग

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

अन्य

Navigation

Wiki tools

Page tools

Other projects

Hidden categories

संरचना शीफ