घन सतह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 5: Line 5:


== घन सतहों की तर्कसंगतता ==
== घन सतहों की तर्कसंगतता ==
बीजगणितीय रूप से बंद क्षेत्र पर चिकनी स्कीम घन सतहों एक्स की एक केंद्रीय विशेषता यह है कि वे सभी तर्कसंगत विविधताएं हैं, जैसा कि 1866 में [[अल्फ्रेड क्लेब्सच]] द्वारा दिखाया गया था।<ref>Reid (1988), Corollary 7.4.</ref> यही है, प्रोजेक्टिव प्लेन के बीच [[तर्कसंगत कार्य]]ों द्वारा परिभाषित एक-से-एक पत्राचार है <math>\mathbf{P}^2</math> माइनस एक लो-डायमेंशनल सब्मिट और X माइनस एक लो-डायमेंशनल सब्मिट। अधिक सामान्यतः , बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक इर्रिडिएबल घन सतह (संभवतः एकवचन) तर्कसंगत है जब तक कि यह घन वक्र पर प्रक्षेपी शंकु न हो।<ref>Kollár, Smith, Corti (2004), Example 1.28.</ref> इस संबंध में, घन सतहें कम से कम 4 इंच की चिकनी सतहों की तुलना में बहुत सरल होती हैं <math>\mathbf{P}^3</math>, जो कभी तर्कसंगत नहीं होते। अभिलाक्षणिक (बीजगणित) शून्य में, कम से कम 4 इंच की  घात की चिकनी सतहें <math>\mathbf{P}^3</math> [[अनियंत्रित किस्म]] भी नहीं हैं।<ref>Kollár, Smith, Corti (2004), Exercise 1.59.</ref>
बीजगणितीय रूप से बंद क्षेत्र X पर चिकनी घन सतहों की केंद्रीय विशेषता यह है कि वे सभी तर्कसंगत विविधताएं है जैसा कि 1866 में [[अल्फ्रेड क्लेब्सच]] द्वारा दिखाया गया है।<ref>Reid (1988), Corollary 7.4.</ref> अर्थात, यहां एक से एक पत्राचार है जो प्रक्षेपीय समतल  <math>\mathbf{P}^2</math> के मध्य निम्न आयामी उप समुच्चय  तथा X शून्य से निम्न आयामी उपसमुच्चय के मध्य तार्किक फलनों द्वारा परिभाषित होता है। सामान्य रूप से, बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अलघुकरणीय घन सतह संभवतः अद्वितीय तर्कसंगत के रूप में होते है।<ref>Kollár, Smith, Corti (2004), Example 1.28.</ref> जब तक कि यह किसी घन वक्र पर काल्पनिक शंकु न हो। इस संबंध में, <math>\mathbf{P}^3</math> में कम से कम 4 डिग्री की चिकनी सतह की तुलना में घन सतहें बहुत सरल रूप में होती है, जो कभी भी तर्कसंगत नहीं होते हैं और इस प्रकार अभिलाक्षणिक (बीजगणित) शून्य में कम से कम 4 इंच की  चिकनी सतहें <math>\mathbf{P}^3</math> [[अनियंत्रित]] समान नहीं होती हैं।<ref>Kollár, Smith, Corti (2004), Exercise 1.59.</ref>
अधिक दृढ़ता से, क्लेब्स ने दिखाया कि प्रत्येक चिकनी घन सतह <math>\mathbf{P}^3</math> एक बीजगणितीय रूप से बंद क्षेत्र के ऊपर [[उड़ाते हुए]] | ब्लो-अप के लिए आइसोमोर्फिक है <math>\mathbf{P}^2</math> 6 बिंदुओं पर।<ref name="Dnotes">Dolgachev (2012), Chapter 9, Historical notes.</ref> परिणाम स्वरुप , जटिल संख्याओं पर हर चिकनी घन सतह जुड़ी हुई राशि के लिए अलग-अलग होती है <math>\mathbf{CP}^2\# 6(-\mathbf{CP}^2)</math>, जहां माइनस साइन [[ उन्मुखता ]] में बदलाव को दर्शाता है। इसके विपरीत, का झटका <math>\mathbf{P}^2</math> 6 बिंदुओं पर एक घन सतह के लिए आइसोमोर्फिक है यदि और केवल यदि बिंदु सामान्य स्थिति में हैं, जिसका अर्थ है कि तीन बिंदु एक रेखा पर नहीं हैं और सभी 6 एक शंकु पर स्थित नहीं हैं। [[जटिल कई गुना]] (या एक बीजगणितीय विविधता) के रूप में, सतह उन 6 बिंदुओं की व्यवस्था पर निर्भर करती है।
 
अधिक दृढ़ता से, क्लेब्स ने दिखाया कि प्रत्येक चिकनी घन सतह <math>\mathbf{P}^3</math> एक बीजगणितीय रूप से बंद क्षेत्र के ऊपर [[उड़ाते हुए]] | ब्लो-अप के लिए आइसोमोर्फिक है <math>\mathbf{P}^2</math> 6 बिंदुओं पर।<ref name="Dnotes">Dolgachev (2012), Chapter 9, Historical notes.</ref> परिणाम स्वरुप , जटिल संख्याओं पर हर चिकनी घन सतह जुड़ी हुई राशि के लिए अलग-अलग होती है <math>\mathbf{CP}^2\# 6(-\mathbf{CP}^2)</math>, जहां माइनस साइन [[ उन्मुखता | उन्मुखता]] में बदलाव को दर्शाता है। इसके विपरीत, का झटका <math>\mathbf{P}^2</math> 6 बिंदुओं पर एक घन सतह के लिए आइसोमोर्फिक है यदि और केवल यदि बिंदु सामान्य स्थिति में हैं, जिसका अर्थ है कि तीन बिंदु एक रेखा पर नहीं हैं और सभी 6 एक शंकु पर स्थित नहीं हैं। [[जटिल कई गुना]] (या एक बीजगणितीय विविधता) के रूप में, सतह उन 6 बिंदुओं की व्यवस्था पर निर्भर करती है।
 
 


==एक घन सतह पर 27 रेखाएँ==
==एक घन सतह पर 27 रेखाएँ==
Line 16: Line 19:
[[File:Schläfli graph.svg|thumb|right|श्लाफली ग्राफ]]घन सतहों के बारे में कई समस्याओं को कॉम्बिनेटरिक्स के उपयोग से हल किया जा सकता है <math>E_6</math> [[मूल प्रक्रिया]]। उदाहरण के लिए, 27 पंक्तियों को वजन (प्रतिनिधित्व सिद्धांत) के साथ पहचाना जा सकता है # झूठ समूह के मौलिक प्रतिनिधित्व के अर्ध-सरल झूठ बीजगणित के प्रतिनिधित्व सिद्धांत में वजन <math>E_6</math>. एक घन सतह पर होने वाली विलक्षणता के संभावित सेट को उप-प्रणालियों के संदर्भ में वर्णित किया जा सकता है <math>E_6</math> मूल प्रक्रिया।<ref>Bruce & Wall (1979), section 4; Dolgachev (2012), Table 9.1.</ref> इस संबंध के लिए एक व्याख्या यह है कि <math>E_6</math> जाली [[एंटीकैनोनिकल]] वर्ग के ऑर्थोगोनल पूरक के रूप में उत्पन्न होती है <math>-K_X</math> [[पिकार्ड समूह]] में <math>\operatorname{Pic}(X)\cong \mathbf{Z}^7</math>, इसके प्रतिच्छेदन रूप के साथ (सतह पर घटता के [[प्रतिच्छेदन सिद्धांत]] से आ रहा है)। एक चिकनी जटिल घन सतह के लिए, पिकार्ड जाली को [[सह-समरूपता]] समूह के साथ भी पहचाना जा सकता है <math>H^2(X,\mathbf{Z})</math>.
[[File:Schläfli graph.svg|thumb|right|श्लाफली ग्राफ]]घन सतहों के बारे में कई समस्याओं को कॉम्बिनेटरिक्स के उपयोग से हल किया जा सकता है <math>E_6</math> [[मूल प्रक्रिया]]। उदाहरण के लिए, 27 पंक्तियों को वजन (प्रतिनिधित्व सिद्धांत) के साथ पहचाना जा सकता है # झूठ समूह के मौलिक प्रतिनिधित्व के अर्ध-सरल झूठ बीजगणित के प्रतिनिधित्व सिद्धांत में वजन <math>E_6</math>. एक घन सतह पर होने वाली विलक्षणता के संभावित सेट को उप-प्रणालियों के संदर्भ में वर्णित किया जा सकता है <math>E_6</math> मूल प्रक्रिया।<ref>Bruce & Wall (1979), section 4; Dolgachev (2012), Table 9.1.</ref> इस संबंध के लिए एक व्याख्या यह है कि <math>E_6</math> जाली [[एंटीकैनोनिकल]] वर्ग के ऑर्थोगोनल पूरक के रूप में उत्पन्न होती है <math>-K_X</math> [[पिकार्ड समूह]] में <math>\operatorname{Pic}(X)\cong \mathbf{Z}^7</math>, इसके प्रतिच्छेदन रूप के साथ (सतह पर घटता के [[प्रतिच्छेदन सिद्धांत]] से आ रहा है)। एक चिकनी जटिल घन सतह के लिए, पिकार्ड जाली को [[सह-समरूपता]] समूह के साथ भी पहचाना जा सकता है <math>H^2(X,\mathbf{Z})</math>.


Ekardt बिंदु वह बिंदु है जहां 27 में से 3 रेखाएँ मिलती हैं। अधिकांश घन सतहों में कोई एकार्ट पॉइंट नहीं होता है, लेकिन ऐसे बिंदु सभी चिकनी घन सतहों के परिवार के [[ codimension ]] -1 सबसेट पर होते हैं।<ref>Dolgachev (2012), section 9.1.4.</ref>
Ekardt बिंदु वह बिंदु है जहां 27 में से 3 रेखाएँ मिलती हैं। अधिकांश घन सतहों में कोई एकार्ट पॉइंट नहीं होता है, लेकिन ऐसे बिंदु सभी चिकनी घन सतहों के परिवार के [[ codimension ]] -1 उप समुच्चय  पर होते हैं।<ref>Dolgachev (2012), section 9.1.4.</ref>
एक्स पर एक घन सतह और के विस्फोट के बीच एक पहचान को देखते हुए <math>\mathbf{P}^2</math> सामान्य स्थिति में 6 बिंदुओं पर, X पर 27 पंक्तियों को इस प्रकार देखा जा सकता है: ब्लो अप द्वारा बनाए गए 6 असाधारण वक्र, 6 बिंदुओं के जोड़े के माध्यम से 15 पंक्तियों के द्विवार्षिक परिवर्तन <math>\mathbf{P}^2</math>, और 6 शंकुओं के द्विभाजित रूपांतरण जिनमें 6 बिंदुओं में से एक को छोड़कर सभी सम्मलित  हैं।<ref>Hartshorne (1997), Theorem V.4.9.</ref> एक दी गई घन सतह को विस्फोट के रूप में देखा जा सकता है <math>\mathbf{P}^2</math> एक से अधिक विधियों  से (वास्तव में, 72 अलग-अलग विधियों  से), और इसलिए ब्लो-अप के रूप में एक विवरण सभी 27 पंक्तियों के बीच समरूपता को प्रकट नहीं करता है।
एक्स पर एक घन सतह और के विस्फोट के बीच एक पहचान को देखते हुए <math>\mathbf{P}^2</math> सामान्य स्थिति में 6 बिंदुओं पर, X पर 27 पंक्तियों को इस प्रकार देखा जा सकता है: ब्लो अप द्वारा बनाए गए 6 असाधारण वक्र, 6 बिंदुओं के जोड़े के माध्यम से 15 पंक्तियों के द्विवार्षिक परिवर्तन <math>\mathbf{P}^2</math>, और 6 शंकुओं के द्विभाजित रूपांतरण जिनमें 6 बिंदुओं में से एक को छोड़कर सभी सम्मलित  हैं।<ref>Hartshorne (1997), Theorem V.4.9.</ref> एक दी गई घन सतह को विस्फोट के रूप में देखा जा सकता है <math>\mathbf{P}^2</math> एक से अधिक विधियों  से (वास्तव में, 72 अलग-अलग विधियों  से), और इसलिए ब्लो-अप के रूप में एक विवरण सभी 27 पंक्तियों के बीच समरूपता को प्रकट नहीं करता है।


Line 212: Line 215:


=== बिना किसी पैरामीटर के एकवचन घन सतहों के [[ automorphism ]] समूह ===
=== बिना किसी पैरामीटर के एकवचन घन सतहों के [[ automorphism ]] समूह ===
एक सामान्य विलक्षण घन सतह का एक ऑटोमोर्फिज्म <math>X</math> प्रोजेक्टिव स्पेस के ऑटोमोर्फिज्म का [[प्रतिबंध (गणित)]] है <math>\textbf{P}^3</math> को <math>X</math>. इस तरह के ऑटोमोर्फिज्म एकवचन बिंदुओं को संरक्षित करते हैं। इसके अतिरिक्त , वे विभिन्न प्रकार की विलक्षणताओं की अनुमति नहीं देते हैं। यदि सतह में एक ही प्रकार की दो विलक्षणताएँ होती हैं, तो ऑटोमोर्फिज़्म उन्हें अनुमति दे सकता है। घन सतह पर ऑटोमोर्फिज्म का संग्रह एक समूह (गणित) बनाता है, जिसे ऑटोमोर्फिज्म समूह कहा जाता है। निम्न तालिका बिना किसी पैरामीटर के एकवचन घन सतहों के सभी ऑटोमोर्फिज़्म समूहों को दिखाती है।
एक सामान्य विलक्षण घन सतह का एक ऑटोमोर्फिज्म <math>X</math> प्रक्षेपीय स्पेस के ऑटोमोर्फिज्म का [[प्रतिबंध (गणित)]] है <math>\textbf{P}^3</math> को <math>X</math>. इस तरह के ऑटोमोर्फिज्म एकवचन बिंदुओं को संरक्षित करते हैं। इसके अतिरिक्त , वे विभिन्न प्रकार की विलक्षणताओं की अनुमति नहीं देते हैं। यदि सतह में एक ही प्रकार की दो विलक्षणताएँ होती हैं, तो ऑटोमोर्फिज़्म उन्हें अनुमति दे सकता है। घन सतह पर ऑटोमोर्फिज्म का संग्रह एक समूह (गणित) बनाता है, जिसे ऑटोमोर्फिज्म समूह कहा जाता है। निम्न तालिका बिना किसी पैरामीटर के एकवचन घन सतहों के सभी ऑटोमोर्फिज़्म समूहों को दिखाती है।
{| class="wikitable mw-collapsible"
{| class="wikitable mw-collapsible"
|+Automorphism groups of singular cubic surfaces with no parameters <ref name=":0" />
|+Automorphism groups of singular cubic surfaces with no parameters <ref name=":0" />

Revision as of 08:46, 17 May 2023

गणित में, घन सतह 3-आयामी क्षेत्र में सतह के रूप में होती है, जिसे घात 3 के बहुपद समीकरण द्वारा परिभाषित किया जाता है। बीजगणितीय ज्यामिति में घन सतह मौलिक उदाहरण के रूप में हैं। इस सिद्धांत को एफ़ेईन क्षेत्र के अतिरिक्त प्रक्षेपण क्षेत्र में काम करके सरलीकृत किया गया है और इसलिए घन सतहों को सामान्यतः प्रक्षेपीय 3-स्पेस के रूप में जाना जाता है और इस प्रकार वास्तविक संख्याओं के अतिरिक्त जटिल संख्याओं पर सतहों के फोकस करने पर सिद्धांत अधिक समरूप हो जाता है और इस प्रकार ध्यान दें कि जटिल सतह का वास्तविक आयाम 4 होता है। फर्मेट घन सतह का एक सरल उदाहरण है।

. घन सतहों के कई गुण सामान्यतः डेल पेज़ो की सतहों के लिए पकड़ अधिक होती है।

एक चिकनी घन सतह (क्लबश सतह)

घन सतहों की तर्कसंगतता

बीजगणितीय रूप से बंद क्षेत्र X पर चिकनी घन सतहों की केंद्रीय विशेषता यह है कि वे सभी तर्कसंगत विविधताएं है जैसा कि 1866 में अल्फ्रेड क्लेब्सच द्वारा दिखाया गया है।[1] अर्थात, यहां एक से एक पत्राचार है जो प्रक्षेपीय समतल के मध्य निम्न आयामी उप समुच्चय तथा X शून्य से निम्न आयामी उपसमुच्चय के मध्य तार्किक फलनों द्वारा परिभाषित होता है। सामान्य रूप से, बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अलघुकरणीय घन सतह संभवतः अद्वितीय तर्कसंगत के रूप में होते है।[2] जब तक कि यह किसी घन वक्र पर काल्पनिक शंकु न हो। इस संबंध में, में कम से कम 4 डिग्री की चिकनी सतह की तुलना में घन सतहें बहुत सरल रूप में होती है, जो कभी भी तर्कसंगत नहीं होते हैं और इस प्रकार अभिलाक्षणिक (बीजगणित) शून्य में कम से कम 4 इंच की चिकनी सतहें अनियंत्रित समान नहीं होती हैं।[3]

अधिक दृढ़ता से, क्लेब्स ने दिखाया कि प्रत्येक चिकनी घन सतह एक बीजगणितीय रूप से बंद क्षेत्र के ऊपर उड़ाते हुए | ब्लो-अप के लिए आइसोमोर्फिक है 6 बिंदुओं पर।[4] परिणाम स्वरुप , जटिल संख्याओं पर हर चिकनी घन सतह जुड़ी हुई राशि के लिए अलग-अलग होती है , जहां माइनस साइन उन्मुखता में बदलाव को दर्शाता है। इसके विपरीत, का झटका 6 बिंदुओं पर एक घन सतह के लिए आइसोमोर्फिक है यदि और केवल यदि बिंदु सामान्य स्थिति में हैं, जिसका अर्थ है कि तीन बिंदु एक रेखा पर नहीं हैं और सभी 6 एक शंकु पर स्थित नहीं हैं। जटिल कई गुना (या एक बीजगणितीय विविधता) के रूप में, सतह उन 6 बिंदुओं की व्यवस्था पर निर्भर करती है।


एक घन सतह पर 27 रेखाएँ

घन सतहों के लिए तर्कसंगतता के अधिकांश प्रमाण सतह पर एक रेखा खोजने से प्रारंभ होते हैं। (प्रक्षेपी ज्यामिति के संदर्भ में, एक रेखा में के लिए आइसोमॉर्फिक है अधिक यथार्थ रूप से, आर्थर केली और जॉर्ज सामन ने 1849 में दिखाया कि बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक चिकनी घन सतह में ठीक 27 रेखाएँ होती हैं।[5] यह क्यूबिक्स की एक विशिष्ट विशेषता है: एक चिकनी चतुष्कोणीय ( घात 2) सतह रेखाओं के एक सतत परिवार द्वारा कवर की जाती है, जबकि घात की अधिकांश सतहें कम से कम 4 इंच की होती हैं। कोई रेखा नहीं है। 27 पंक्तियों को खोजने के लिए एक अन्य उपयोगी तकनीक में शुबर्ट कैलकुलस सम्मलित है, जो लाइनों के ग्रासमानियन के प्रतिच्छेदन सिद्धांत का उपयोग करके लाइनों की संख्या की गणना करता है। .

चूंकि चिकनी जटिल घन सतह के गुणांक भिन्न होते हैं, 27 रेखाएं लगातार चलती हैं। परिणाम स्वरुप , चिकनी घन सतहों के परिवार में एक बंद लूप 27 लाइनों का क्रमपरिवर्तन निर्धारित करता है। इस प्रकार उत्पन्न होने वाली 27 रेखाओं के क्रमचय के समूह (गणित) को घनीय सतहों के परिवार का मोनोड्रोमी समूह कहा जाता है। 19वीं शताब्दी की एक उल्लेखनीय खोज यह थी कि मोनोड्रोमी समूह न तो तुच्छ है और न ही संपूर्ण सममित समूह ; यह एक E6 (गणित) #Weyl समूह है, जो लाइनों के सेट पर सकर्मक रूप से कार्य करता है।[4]इस समूह को धीरे-धीरे मान्यता दी गई (एली कार्टन (1896), आर्थर कोबल (1915-17), और पैट्रिक डु वैल (1936) द्वारा) प्रकार के वेइल समूह के रूप में , E6 (गणित) से संबंधित 6-आयामी वास्तविक सदिश स्थान पर प्रतिबिंबों द्वारा उत्पन्न एक समूह|झूठे समूह आयाम 78 का।[4]

आदेश 51840 के समान समूह को कॉम्बिनेटरियल शब्दों में वर्णित किया जा सकता है, 27 पंक्तियों के ग्राफ (असतत गणित) के ऑटोमोर्फिज़्म समूह के रूप में, प्रत्येक पंक्ति के लिए एक शीर्ष और जब भी दो रेखाएँ मिलती हैं, एक किनारे के साथ।[6] इस ग्राफ का विश्लेषण 19वीं शताब्दी में श्लाफली डबल सिक्स कॉन्फ़िगरेशन जैसे सबग्राफ का उपयोग करके किया गया था। पूरक ग्राफ (एक किनारे के साथ जब भी दो रेखाएँ अलग होती हैं) को श्लाफली ग्राफ के रूप में जाना जाता है।

श्लाफली ग्राफ

घन सतहों के बारे में कई समस्याओं को कॉम्बिनेटरिक्स के उपयोग से हल किया जा सकता है मूल प्रक्रिया। उदाहरण के लिए, 27 पंक्तियों को वजन (प्रतिनिधित्व सिद्धांत) के साथ पहचाना जा सकता है # झूठ समूह के मौलिक प्रतिनिधित्व के अर्ध-सरल झूठ बीजगणित के प्रतिनिधित्व सिद्धांत में वजन . एक घन सतह पर होने वाली विलक्षणता के संभावित सेट को उप-प्रणालियों के संदर्भ में वर्णित किया जा सकता है मूल प्रक्रिया।[7] इस संबंध के लिए एक व्याख्या यह है कि जाली एंटीकैनोनिकल वर्ग के ऑर्थोगोनल पूरक के रूप में उत्पन्न होती है पिकार्ड समूह में , इसके प्रतिच्छेदन रूप के साथ (सतह पर घटता के प्रतिच्छेदन सिद्धांत से आ रहा है)। एक चिकनी जटिल घन सतह के लिए, पिकार्ड जाली को सह-समरूपता समूह के साथ भी पहचाना जा सकता है .

Ekardt बिंदु वह बिंदु है जहां 27 में से 3 रेखाएँ मिलती हैं। अधिकांश घन सतहों में कोई एकार्ट पॉइंट नहीं होता है, लेकिन ऐसे बिंदु सभी चिकनी घन सतहों के परिवार के codimension -1 उप समुच्चय पर होते हैं।[8] एक्स पर एक घन सतह और के विस्फोट के बीच एक पहचान को देखते हुए सामान्य स्थिति में 6 बिंदुओं पर, X पर 27 पंक्तियों को इस प्रकार देखा जा सकता है: ब्लो अप द्वारा बनाए गए 6 असाधारण वक्र, 6 बिंदुओं के जोड़े के माध्यम से 15 पंक्तियों के द्विवार्षिक परिवर्तन , और 6 शंकुओं के द्विभाजित रूपांतरण जिनमें 6 बिंदुओं में से एक को छोड़कर सभी सम्मलित हैं।[9] एक दी गई घन सतह को विस्फोट के रूप में देखा जा सकता है