डिसेन्ट (गणित)

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

सदिश बंडलों का अवतरण

टोपोलॉजिकल रिक्त स्थान के असंबद्ध संघ पर डेटा से वेक्टर बंडलों के निर्माण का मामला शुरू करने के लिए एक सीधी जगह है।

मान लीजिए कि X एक टोपोलॉजिकल स्पेस है जो खुले सेट X_i द्वारा कवर किया गया है। मान लीजिए कि Y X_i का असंयुक्त संघ है, ताकि एक प्राकृतिक मानचित्रण हो

$p:Y\rightarrow X.$

हम Y को X से 'ऊपर' मानते हैं, X_i प्रक्षेपण के साथ X पर 'नीचे' है। उन बंडलों V_i को, X पर एक एकल बंडल V बनाने के लिए। हमारा मतलब यह है कि V को, जब X_i तक सीमित किया जाता है, तो बंडल समरूपता तक V_i को वापस देना चाहिए।

आवश्यक डेटा तब यह है: प्रत्येक अतिव्यापी पर

$X_{ij},$

X_i और X_j का प्रतिच्छेदन, हमें मैपिंग की आवश्यकता होगी

$f_{ij}:V_{i}\rightarrow V_{j}$

V_i और V_j की पहचान करने के लिए फाइबर द्वारा फाइबर का उपयोग करें। इसके अलावा, f_ij को तुल्यता संबंध (ग्लूइंग की स्थिति) के परावर्तक, सममित और संक्रमणीय गुणों के आधार पर शर्तों को पूरा करना होगा। उदाहरण के लिए, रचना

$f_{jk}\circ f_{ij}=f_{ik}$

परिवर्तनशीलता के लिए (और उपयुक्त संकेतन चुनना)। एफ_ii पहचान मानचित्र होना चाहिए और इसलिए समरूपता बन जाती है $f_{ij}=f_{ji}^{-1}$ (ताकि यह फाइबरवार एक समरूपता हो)।

ये वास्तव में फाइबर बंडल सिद्धांत में मानक स्थितियां हैं (संक्रमण मानचित्र देखें)। ध्यान देने योग्य एक महत्वपूर्ण अनुप्रयोग फाइबर का परिवर्तन है: यदि एफ_ij एक बंडल बनाने के लिए आपको बस इतना ही चाहिए, तो संबंधित बंडल बनाने के कई तरीके हैं। अर्थात्, हम मूलतः वही f ले सकते हैं_ij, विभिन्न तंतुओं पर कार्य करता है।

एक अन्य प्रमुख बिंदु श्रृंखला नियम के साथ संबंध है: टेंसर फ़ील्ड के निर्माण के तरीके की चर्चा को संक्षेप में प्रस्तुत किया जा सकता है 'एक बार जब आप स्पर्शरेखा बंडल को उतरना सीख जाते हैं, जिसके लिए परिवर्तनशीलता जैकोबियन मैट्रिक्स और निर्धारक श्रृंखला नियम है, बाकी यह सिर्फ 'टेंसर निर्माण की स्वाभाविकता' है।

अमूर्त सिद्धांत की ओर करीब बढ़ने के लिए हमें असंयुक्त संघ की व्याख्या करने की आवश्यकता है

$X_{ij}$

नहीं था

$Y\times _{X}Y,$

प्रक्षेपण पी की दो प्रतियों का फाइबर उत्पाद (यहां एक तुल्यकारक (गणित))। एक्स पर बंडल_ij हमें V′ और V को नियंत्रित करना चाहिए, X के दो अलग-अलग प्रक्षेपण मानचित्रों के माध्यम से V के फाइबर में पुलबैक।

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

इतिहास

ये विचार 1955-1965 की अवधि में विकसित हुए थे (यह मोटे तौर पर वह समय था जब बीजगणितीय टोपोलॉजी की आवश्यकताएं पूरी हो गई थीं लेकिन बीजगणितीय ज्यामिति की आवश्यकताएं पूरी नहीं हुई थीं)। अमूर्त श्रेणी सिद्धांत के दृष्टिकोण से बेक के कॉमोनैड का कार्य उन विचारों का सारांश था; बेक की अद्वैतता प्रमेय देखें।

भागफल तक पहुँचने के साथ बीजगणितीय ज्यामिति की कठिनाइयाँ तीव्र हैं। जियोमीटर के लिए समस्या की तात्कालिकता (इसे इस तरह से रखने के लिए) 1959 के अलेक्जेंडर ग्रोथेंडिक सेमिनार टीडीटीई के शीर्षक के लिए वंश और अस्तित्व की तकनीकों के प्रमेय पर आधारित है (फॉन्डेमेंट्स डे ला जियोमेट्री अल्जेब्रिक देखें) जो वंश के प्रश्न को प्रतिनिधित्व योग्य फ़नकार के साथ जोड़ता है। सामान्य तौर पर बीजगणितीय ज्यामिति में प्रश्न, और विशेष रूप से मॉड्यूली समस्या।

पूरी तरह से वफादार वंश

होने देना $p:X'\to X$. एक्स पर प्रत्येक शीफ एफ एक वंश डेटा को जन्म देता है:

$(F'=p^{*}F,\alpha :p_{0}^{*}F'\simeq p_{1}^{*}F'),\,p_{i}:X''=X'\times _{X}X'\to X'$

कहाँ $\alpha$ सहचक्रीय स्थिति को संतुष्ट करता है:

$p_{02}^{*}\alpha =p_{12}^{*}\alpha \circ p_{01}^{*}\alpha ,\,p_{ij}:X'\times _{X}X'\times _{X}X'\to X'\times _{X}X'$.

पूरी तरह से वफादार वंश कहता है: $F\mapsto (F',\alpha )$ पूर्णतः वफादार है. वंश सिद्धांत उन स्थितियों को बताता है जिनके लिए पूरी तरह से वफादार वंश होता है।

यह भी देखें

• ग्रोथेंडिक कनेक्शन
• स्टैक (गणित)
• गैलोइस वंश
• ग्रोथेंडिक टोपोलॉजी
• रेशेदार श्रेणी
• बेक की अद्वैतता प्रमेय
• कोहोमोलॉजिकल वंश

संदर्भ

• SGA 1, Ch VIII – this is the main reference
• Siegfried Bosch; Werner Lütkebohmert; Michel Raynaud (1990). Néron Models. Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3. Folge. Vol. 21. Springer-Verlag. ISBN 3540505873. A chapter on the descent theory is more accessible than SGA.
• Pedicchio, Maria Cristina; Tholen, Walter, eds. (2004). Categorical foundations. Special topics in order, topology, algebra, and sheaf theory. Encyclopedia of Mathematics and Its Applications. Vol. 97. Cambridge: Cambridge University Press. ISBN 0-521-83414-7. Zbl 1034.18001.

अग्रिम पठन

Other possible sources include:

• Angelo Vistoli, Notes on Grothendieck topologies, fibered categories and descent theory arXiv:math.AG/0412512
• Mattieu Romagny, A straight way to algebraic stacks

बाहरी संबंध

• What is descent theory?