संवर्त विसर्जन

बीजगणितीय ज्यामिति में, योजनाओं का एक संवर्त विसर्जन योजनाओं का एक रूपवाद है$$f: Z \to X$$ जो Z को X के एक संवर्त उपसमूह के रूप में पहचानता है जिससे स्थानीय रूप से, Z पर नियमित कार्यों को X तक बढ़ाया जा सकता है। इसके पश्चात की स्थिति को यह कहकर औपचारिक रूप दिया जा सकता है कि $$f^\#:\mathcal{O}_X\rightarrow f_\ast\mathcal{O}_Z$$ विशेषण है।

एक उदाहरण विहित मानचित्र $$R \to R/I$$ द्वारा प्रेरित समावेशन मानचित्र $$\operatorname{Spec}(R/I) \to \operatorname{Spec}(R) $$ है।

अन्य लक्षण
निम्नलिखित समतुल्य हैं:


 * $$f: Z \to X$$ एक संवर्त विसर्जन है.
 * 1) प्रत्येक खुले संबंध के लिए $$U = \operatorname{Spec}(R) \subset X$$, वहाँ एक आदर्श मौजूद है $$I \subset R$$ ऐसा है कि $$f^{-1}(U) = \operatorname{Spec}(R/I)$$ यू पर योजनाओं के रूप में
 * 2) वहाँ एक खुला एफ़िन आवरण मौजूद है $$X = \bigcup U_j, U_j = \operatorname{Spec} R_j$$ और प्रत्येक j के लिए एक आदर्श मौजूद है $$I_j \subset R_j$$ ऐसा है कि $$f^{-1}(U_j) = \operatorname{Spec} (R_j / I_j)$$ जैसे योजनाएं ख़त्म हो गईं $$U_j$$.
 * 3) आदर्शों का एक अर्ध-सुसंगत पुलिंदा है $$\mathcal{I}$$ एक्स पर ऐसा कि $$f_\ast\mathcal{O}_Z\cong \mathcal{O}_X/\mathcal{I}$$ और f वैश्विक विशिष्टता पर Z का एक समरूपता है $$\mathcal{O}_X/\mathcal{I}$$ एक्स से अधिक

स्थानीय रूप से वलय स्थानों के लिए परिभाषा
स्थानीय रूप से वलय स्थानों के स्थिति में $$i:Z\to X$$ एक रूपवाद एक संवर्त विसर्जन है यदि मानदंडों की एक समान सूची संतुष्ट है

एकमात्र बदलती स्थिति तीसरी है। यह एक प्रति-उदाहरण को देखने के लिए शिक्षाप्रद है जिससे यह अनुभव किया जा सकता है कि एक मानचित्र को देखकर तीसरी स्थिति क्या उत्पन्न करती है जो एक संवर्त विसर्जन $$i:\mathbb{G}_m\hookrightarrow \mathbb{A}^1$$ नहीं है।
 * 1) मानचित्र $$i$$ इसकी छवि पर $$Z$$ का एक समरूपता है
 * 2) संबद्ध शीफ़ मानचित्र $$\mathcal{O}_X \to i_*\mathcal{O}_Z$$ कर्नेल $$\mathcal{I}$$ के साथ विशेषण है।
 * 3) कर्नेल $$\mathcal{I}$$ स्थानीय रूप से अनुभागों द्वारा $$\mathcal{O}_X$$-मॉड्यूल के रूप में उत्पन्न होता है

$$\mathbb{G}_m = \text{Spec}(\mathbb{Z}[x,x^{-1}])$$

यदि हम $$i_*\mathcal{O}_{\mathbb{G}_m}|_0$$ के स्टाल्क को $$0 \in \mathbb{A}^1$$ पर देखें तो कोई खंड नहीं हैं। इसका तात्पर्य यह है कि किसी भी विवर्त उपयोजना $$U \subset \mathbb{A}^1$$ जिसमें $$0$$ सम्मिलित है, के लिए शीफ में कोई अनुभाग नहीं है। यह तीसरी नियम का उल्लंघन करता है क्योंकि $$\mathbb{A}^1$$ को आवरण करने वाली कम से कम एक विवर्त उपयोजना $$U$$ में $$0$$ है।

गुण
एक संवर्त विसर्जन परिमित रूपवाद और रेडियल रूपवाद (सार्वभौमिक रूप से इंजेक्शन) है। विशेष रूप से, एक संवर्त विसर्जन सार्वभौमिक रूप से संवर्त है। आधार परिवर्तन और संरचना के अनुसार एक संवर्त विसर्जन स्थिर होता है। संवर्त विसर्जन की धारणा इस अर्थ में स्थानीय है कि f एक संवर्त विसर्जन है यदि और केवल यदि कुछ (समान रूप से प्रत्येक) विवर्त आवरण के लिए $$X=\bigcup U_j$$ प्रेरित मानचित्र $$f:f^{-1}(U_j)\rightarrow U_j$$ एक संवर्त विसर्जन है.

यदि रचना $$Z \to Y \to X$$ एक संवर्त विसर्जन है और $$Y \to X$$ तो अलग किया गया रूपवाद है जो की $$Z \to Y$$ का एक संवर्त विसर्जन है. यदि X एक अलग एस-योजना है, तो एक्स का प्रत्येक s-सेक्शन एक संवर्त विसर्जन है।

यदि $$i: Z \to X$$ एक संवर्त विसर्जन है और $$\mathcal{I} \subset \mathcal{O}_X$$ Z को काटने वाले आदर्शों का अर्ध-सुसंगत शीफ़ है, फिर प्रत्यक्ष छवि $$i_*$$ Z के ऊपर अर्ध-सुसंगत शीव्स की श्रेणी से लेकर X के ऊपर अर्ध-सुसंगत शीव्स की श्रेणी तक $$\mathcal{G}$$ से युक्त आवश्यक छवि के साथ स्पष्ट पूरी तरह से विश्वासी है ऐसा है कि $$\mathcal{I} \mathcal{G} = 0$$.

परिमित प्रस्तुति का एक सपाट संवर्त विसर्जन एक विवर्त संवर्त उपयोजना का विवर्त विसर्जन है।

यह भी देखें

 * सेग्रे एम्बेडिंग
 * नियमित एम्बेडिंग

संदर्भ

 * The Stacks Project
 * The Stacks Project