स्थिर वक्र

See also: वक्रों का स्थिर मानचित्र

बीजगणितीय ज्यामिति में, एक स्थिर वक्र एक बीजगणितीय वक्र होता है जो ज्यामितीय अपरिवर्तनीय सिद्धांत के अर्थ में असम्बद्ध रूप से स्थिर होता है।

यह इस स्थिति के समतुल्य है कि यह एक पूर्ण रूप से जुड़ा हुआ वक्र है, जिसकी एकमात्र विलक्षणताएँ साधारण दोहरे बिंदु हैं और जिसका ऑटोमोर्फिज्म समूह परिमित है। ऑटोमोर्फिज्म समूह परिमित होने की स्थिति को इस परिस्थिति से बदला जा सकता है कि यह अंकगणितीय प्रजाति का नहीं है और प्रत्येक गैर-एकवचन परिमेय वक्र घटक कम से कम 3 बिंदुओं में अन्य घटकों से मिलता है (डिलाइन & ममफोर्ड 1969).

एक अर्ध-स्थिर वक्र एक समान स्थितियों को संतुष्ट करता है, सिवाय इसके कि ऑटोमोर्फिज़्म समूह को परिमित होने के बजाय रिडक्टिव होने की अनुमति है (या समतुल्य रूप से इसका जुड़ा हुआ घटक एक टोरस हो सकता है)। वैकल्पिक रूप से परिस्थिति यह है कि गैर-एकवचन परिमेय घटक कम से कम तीन बिंदुओं में अन्य घटकों से मिलते हैं, उन्हें इस परिस्थिति से बदल दिया जाता है कि वे कम से कम दो बिंदुओं पर मिलते हैं।

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

सम्मिश्र संख्याओं पर, एक जुड़ा हुआ वक्र स्थिर होता है यदि और केवल तभी, जब सभी एकवचन और चिह्नित बिंदुओं को हटाने के बाद, इसके सभी घटकों के सार्वभौमिक कवर यूनिट डिस्क के लिए समरूपी होते हैं।

परिभाषा

एक स्वेच्छाचारी योजना $S$ दी और सेटिंग $g\geq 2$ एक स्थिर जीनस g वक्र $S$ पर एक उचित सपाट आकारिकी के रूप में परिभाषित किया गया है $\pi :C\to S$ जैसे कि ज्यामितीय तंतुओं को कम किया जाता है, 1-आयामी योजनाओं $C_{s}$को जोड़ा जाता है ऐसा है कि

1. $C_{s}$ केवल साधारण द्वि-बिन्दु विलक्षणताएँ हैं
2. प्रत्येक परिमेय घटक $E$ $2$ से अधिक बिंदुओं पर अन्य घटकों से मिलता है
3. $\dim H^{1}({\mathcal {O}}_{C_{s}})=g$

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

उदाहरण

स्थिर वक्रों के एक परिवार का एक चिरसम्मत उदाहरण वक्रों के वीयरस्ट्रैस परिवार द्वारा दिया गया है

${\begin{matrix}\operatorname {Proj} \left({\frac {\mathbb {Q} [t][x,y,z]}{(y^{2}z-x(x-z)(x-tz)}}\right)\\\downarrow \\\operatorname {Spec} (\mathbb {Q} [t])\end{matrix}}$

जहां हर बिंदु $\neq 0,1$ पर फाइबर होते हैं चिकने होते हैं और पतित बिंदुओं में केवल एक द्वि-बिंदु विलक्षणता होती है। इस उदाहरण को चिकने हाइपरेलिप्टिक वक्रों के एक-पैरामीटर परिवार की स्थिति में सामान्यीकृत किया जा सकता है, जो कई बिंदुओं पर विकृत होता है।

गैर-उदाहरण

एक से अधिक पैरामीटर की सामान्य स्थिति में उन वक्रों को हटाने के लिए देखभाल की जानी चाहिए जो डबल-पॉइंट सिंगुलैरिटी से भी अधिक खराब हैं। उदाहरण के लिए, $\mathbb {A} _{s,t}^{2}$परिवार पर विचार करें बहुपदों

$y^{2}=x(x-s)(x-t)(x-1)(x-2)$

से निर्मित चूंकि विकर्ण के साथ $s=t$ गैर-द्वि-बिंदु विलक्षणताएं हैं। एक और गैर-उदाहरण परिवार $\mathbb {A} _{t}^{1}$पर बहुपदों द्वारा दिया गया

$x^{3}-y^{2}+t$

जो अण्डाकार वक्रों का एक परिवार है जो एक पुच्छल के साथ एक परिमेय वक्र में पतित होता है।

गुण

स्थिर वक्रों के सबसे महत्वपूर्ण गुणों में से एक तथ्य यह है कि वे स्थानीय पूर्ण प्रतिच्छेदी हैं। इसका तात्पर्य है कि मानक सेरे-द्वैत सिद्धांत का उपयोग किया जा सकता है। विशेष रूप से, यह दिखाया जा सकता है कि प्रत्येक स्थिर वक्र के लिए $\omega _{C/S}^{\otimes 3}$ एक अपेक्षाकृत बहुत-पर्याप्त पुलिंदा है; इसका उपयोग वक्र को $\mathbb {P} _{S}^{5g-6}$में अंतःस्थापित करने के लिए किया जा सकता है। मानक हिल्बर्ट योजना सिद्धांत का उपयोग करके हम जीनस $g$ के घटता की एक मोडुली योजना का निर्माण कर सकते हैं जो कुछ प्रक्षेपीय स्थान में सन्निहित है। हिल्बर्ट बहुपद द्वारा दिया जाता है

$P_{g}(n)=(6n-1)(g-1)$

हिल्बर्ट स्कीम में निहित स्थिर वक्रों का एक सबलोकस है

$H_{g}\subset {\textbf {Hilb}}_{\mathbb {P} _{\mathbb {Z} }^{5g-6}}^{P_{g}}$

यह कारक का प्रतिनिधित्व करता है

${\mathcal{M}}_g(S)\cong <!--\; \cong \; -->\{\begin{array}{cc}& \text{stable curves }\mathrm{\pi <!--\; \pi \; -->}:C\to <!--\; \to \; -->S\\ & \text{ with an iso }\\ & \mathbb{P}({\mathrm{\pi <!--\; \pi \; -->}}_{\ast <!--\; \ast \; -->}({\mathrm{\omega <!--\; \omega \; -->}}_{C/S}^{\otimes <!--\; \otimes \; -->3}))\cong <!--\; \cong \; -->{\mathbb{P}}^{}\end{array}$