घन सतह: Difference between revisions

Revision as of 22:55, 15 May 2023

गणित में, एक घन सतह 3-आयामी अंतरिक्ष में एक सतह है जिसे डिग्री 3 के एक बहुपद समीकरण द्वारा परिभाषित किया गया है। घन सतहें बीजगणितीय ज्यामिति में मौलिक उदाहरण हैं। थ्योरी को affine अंतरिक्ष के अतिरिक्त प्रक्षेपण स्थान में काम करके सरल किया जाता है, और इसलिए क्यूबिक सतहों को सामान्यतः प्रोजेक्टिव 3-स्पेस में माना जाता है $\mathbf {P} ^{3}$ . वास्तविक संख्याओं के अतिरिक्त जटिल संख्याओं पर सतहों पर ध्यान केंद्रित करने से सिद्धांत भी अधिक समान हो जाता है; ध्यान दें कि एक जटिल सतह का वास्तविक आयाम 4 होता है। एक सरल उदाहरण फर्मेट क्यूबिक सतह है

x^{3}+y^{3}+z^{3}+w^{3}=0

में $\mathbf {P} ^{3}$ . क्यूबिक सतहों के कई गुण सामान्यतः डेल पेज़ो सतहों के लिए अधिक होते हैं।

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

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

एक बीजगणितीय रूप से बंद क्षेत्र पर चिकनी स्कीम क्यूबिक सतहों एक्स की एक केंद्रीय विशेषता यह है कि वे सभी तर्कसंगत विविधताएं हैं, जैसा कि 1866 में अल्फ्रेड क्लेब्सच द्वारा दिखाया गया था।^[1] यही है, प्रोजेक्टिव प्लेन के बीच तर्कसंगत कार्यों द्वारा परिभाषित एक-से-एक पत्राचार है $\mathbf {P} ^{2}$ माइनस एक लो-डायमेंशनल सब्मिट और X माइनस एक लो-डायमेंशनल सब्मिट। अधिक सामान्यतः , बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक इर्रिडिएबल क्यूबिक सतह (संभवतः एकवचन) तर्कसंगत है जब तक कि यह क्यूबिक वक्र पर प्रक्षेपी शंकु न हो।^[2] इस संबंध में, क्यूबिक सतहें कम से कम 4 इंच की चिकनी सतहों की तुलना में बहुत सरल होती हैं $\mathbf {P} ^{3}$ , जो कभी तर्कसंगत नहीं होते। अभिलाक्षणिक (बीजगणित) शून्य में, कम से कम 4 इंच की डिग्री की चिकनी सतहें $\mathbf {P} ^{3}$ अनियंत्रित किस्म भी नहीं हैं।^[3] अधिक दृढ़ता से, क्लेब्स ने दिखाया कि प्रत्येक चिकनी घन सतह $\mathbf {P} ^{3}$ एक बीजगणितीय रूप से बंद क्षेत्र के ऊपर उड़ाते हुए | ब्लो-अप के लिए आइसोमोर्फिक है $\mathbf {P} ^{2}$ 6 बिंदुओं पर।^[4] परिणाम स्वरुप , जटिल संख्याओं पर हर चिकनी घन सतह जुड़ी हुई राशि के लिए अलग-अलग होती है $bold upper C bold upper P squared number sign 6 left parenthesis minus bold upper C bold upper P squared right parenthesis$

[1]

[2]

[3]

[4]

@@ Line 1: / Line 1: @@
-{{Use dmy dates|date=July 2013}}
+गणित में, एक घन सतह 3-आयामी अंतरिक्ष में एक सतह है जिसे डिग्री 3 के एक [[बहुपद]] समीकरण द्वारा परिभाषित किया गया है। घन सतहें [[बीजगणितीय ज्यामिति]] में मौलिक उदाहरण हैं। थ्योरी को [[ affine अंतरिक्ष ]] के अतिरिक्त  [[ प्रक्षेपण स्थान ]] में काम करके सरल किया जाता है, और इसलिए क्यूबिक सतहों को सामान्यतः  प्रोजेक्टिव 3-स्पेस में माना जाता है <math>\mathbf{P}^3</math>. [[वास्तविक संख्या]]ओं के अतिरिक्त  [[जटिल संख्या]]ओं पर सतहों पर ध्यान केंद्रित करने से सिद्धांत भी अधिक समान हो जाता है; ध्यान दें कि एक जटिल सतह का वास्तविक आयाम 4 होता है। एक सरल उदाहरण [[फर्मेट क्यूबिक सतह]] है
-गणित में, एक घन सतह 3-आयामी अंतरिक्ष में एक सतह है जिसे डिग्री 3 के एक [[बहुपद]] समीकरण द्वारा परिभाषित किया गया है। घन सतहें [[बीजगणितीय ज्यामिति]] में मौलिक उदाहरण हैं। थ्योरी को [[ affine अंतरिक्ष ]] के बजाय [[ प्रक्षेपण स्थान ]] में काम करके सरल किया जाता है, और इसलिए क्यूबिक सतहों को आमतौर पर प्रोजेक्टिव 3-स्पेस में माना जाता है <math>\mathbf{P}^3</math>. [[वास्तविक संख्या]]ओं के बजाय [[जटिल संख्या]]ओं पर सतहों पर ध्यान केंद्रित करने से सिद्धांत भी अधिक समान हो जाता है; ध्यान दें कि एक जटिल सतह का वास्तविक आयाम 4 होता है। एक सरल उदाहरण [[फर्मेट क्यूबिक सतह]] है
 :<math>x^3+y^3+z^3+w^3=0</math>
-में <math>\mathbf{P}^3</math>. क्यूबिक सतहों के कई गुण आमतौर पर डेल पेज़ो सतहों के लिए अधिक होते हैं।
+में <math>\mathbf{P}^3</math>. क्यूबिक सतहों के कई गुण सामान्यतः  डेल पेज़ो सतहों के लिए अधिक होते हैं।
 [[File:Clebsch_Cubic.png|thumb|right|एक चिकनी घन सतह (क्लबश सतह)]]
 == घन सतहों की तर्कसंगतता ==
-एक बीजगणितीय रूप से बंद क्षेत्र पर चिकनी स्कीम क्यूबिक सतहों एक्स की एक केंद्रीय विशेषता यह है कि वे सभी तर्कसंगत विविधताएं हैं, जैसा कि 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>
+एक बीजगणितीय रूप से बंद क्षेत्र पर चिकनी स्कीम क्यूबिक सतहों एक्स की एक केंद्रीय विशेषता यह है कि वे सभी तर्कसंगत विविधताएं हैं, जैसा कि 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>
-अधिक दृढ़ता से, क्लेब्स ने दिखाया कि प्रत्येक चिकनी घन सतह <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 रेखाएँ==
-क्यूबिक सतहों के लिए तर्कसंगतता के अधिकांश प्रमाण सतह पर एक रेखा खोजने से शुरू होते हैं। (प्रक्षेपी ज्यामिति के संदर्भ में, एक रेखा में <math>\mathbf{P}^3</math> के लिए आइसोमॉर्फिक है <math>\mathbf{P}^1</math>अधिक सटीक रूप से, [[आर्थर केली]] और [[जॉर्ज सामन]] ने 1849 में दिखाया कि बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक चिकनी घन सतह में ठीक 27 रेखाएँ होती हैं।<ref>Reid (1988), section 7.6.</ref> यह क्यूबिक्स की एक विशिष्ट विशेषता है: एक चिकनी चतुष्कोणीय (डिग्री 2) सतह रेखाओं के एक सतत परिवार द्वारा कवर की जाती है, जबकि डिग्री की अधिकांश सतहें कम से कम 4 इंच की होती हैं। <math>\mathbf{P}^3</math> कोई रेखा नहीं है। 27 पंक्तियों को खोजने के लिए एक अन्य उपयोगी तकनीक में [[शुबर्ट कैलकुलस]] शामिल है, जो लाइनों के [[ ग्रासमानियन ]] के प्रतिच्छेदन सिद्धांत का उपयोग करके लाइनों की संख्या की गणना करता है। <math>\mathbf{P}^3</math>.
+क्यूबिक सतहों के लिए तर्कसंगतता के अधिकांश प्रमाण सतह पर एक रेखा खोजने से प्रारंभ  होते हैं। (प्रक्षेपी ज्यामिति के संदर्भ में, एक रेखा में <math>\mathbf{P}^3</math> के लिए आइसोमॉर्फिक है <math>\mathbf{P}^1</math>अधिक यथार्थ  रूप से, [[आर्थर केली]] और [[जॉर्ज सामन]] ने 1849 में दिखाया कि बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक चिकनी घन सतह में ठीक 27 रेखाएँ होती हैं।<ref>Reid (1988), section 7.6.</ref> यह क्यूबिक्स की एक विशिष्ट विशेषता है: एक चिकनी चतुष्कोणीय (डिग्री 2) सतह रेखाओं के एक सतत परिवार द्वारा कवर की जाती है, जबकि डिग्री की अधिकांश सतहें कम से कम 4 इंच की होती हैं। <math>\mathbf{P}^3</math> कोई रेखा नहीं है। 27 पंक्तियों को खोजने के लिए एक अन्य उपयोगी तकनीक में [[शुबर्ट कैलकुलस]] सम्मलित  है, जो लाइनों के [[ ग्रासमानियन ]] के प्रतिच्छेदन सिद्धांत का उपयोग करके लाइनों की संख्या की गणना करता है। <math>\mathbf{P}^3</math>.
-चूंकि चिकनी जटिल घन सतह के गुणांक भिन्न होते हैं, 27 रेखाएं लगातार चलती हैं। नतीजतन, चिकनी घन सतहों के परिवार में एक बंद लूप 27 लाइनों का क्रम[[परिवर्तन]] निर्धारित करता है। इस प्रकार उत्पन्न होने वाली 27 रेखाओं के क्रमचय के [[समूह (गणित)]] को घनीय सतहों के परिवार का [[मोनोड्रोमी समूह]] कहा जाता है। 19वीं शताब्दी की एक उल्लेखनीय खोज यह थी कि मोनोड्रोमी समूह न तो तुच्छ है और न ही संपूर्ण [[सममित समूह]] <math>S_{27}</math>; यह एक E6 (गणित) #Weyl समूह है, जो लाइनों के सेट पर सकर्मक रूप से कार्य करता है।<ref name="Dnotes" />इस समूह को धीरे-धीरे मान्यता दी गई (एली कार्टन (1896), [[आर्थर कोबल]] (1915-17), और [[पैट्रिक डु वैल]] (1936) द्वारा) प्रकार के [[वेइल समूह]] के रूप में <math>E_6</math>, E6 (गणित) से संबंधित 6-आयामी वास्तविक सदिश स्थान पर प्रतिबिंबों द्वारा उत्पन्न एक समूह|झूठे समूह <math>E_6</math>आयाम 78 का।<ref name="Dnotes" />
+चूंकि चिकनी जटिल घन सतह के गुणांक भिन्न होते हैं, 27 रेखाएं लगातार चलती हैं। परिणाम स्वरुप , चिकनी घन सतहों के परिवार में एक बंद लूप 27 लाइनों का क्रम[[परिवर्तन]] निर्धारित करता है। इस प्रकार उत्पन्न होने वाली 27 रेखाओं के क्रमचय के [[समूह (गणित)]] को घनीय सतहों के परिवार का [[मोनोड्रोमी समूह]] कहा जाता है। 19वीं शताब्दी की एक उल्लेखनीय खोज यह थी कि मोनोड्रोमी समूह न तो तुच्छ है और न ही संपूर्ण [[सममित समूह]] <math>S_{27}</math>; यह एक E6 (गणित) #Weyl समूह है, जो लाइनों के सेट पर सकर्मक रूप से कार्य करता है।<ref name="Dnotes" />इस समूह को धीरे-धीरे मान्यता दी गई (एली कार्टन (1896), [[आर्थर कोबल]] (1915-17), और [[पैट्रिक डु वैल]] (1936) द्वारा) प्रकार के [[वेइल समूह]] के रूप में <math>E_6</math>, E6 (गणित) से संबंधित 6-आयामी वास्तविक सदिश स्थान पर प्रतिबिंबों द्वारा उत्पन्न एक समूह|झूठे समूह <math>E_6</math>आयाम 78 का।<ref name="Dnotes" />
 आदेश 51840 के समान समूह को कॉम्बिनेटरियल शब्दों में वर्णित किया जा सकता है, 27 पंक्तियों के [[ग्राफ (असतत गणित)]] के ऑटोमोर्फिज़्म समूह के रूप में, प्रत्येक पंक्ति के लिए एक शीर्ष और जब भी दो रेखाएँ मिलती हैं, एक किनारे के साथ।<ref>Hartshorne (1997), Exercise V.4.11.</ref> इस ग्राफ का विश्लेषण 19वीं शताब्दी में श्लाफली डबल सिक्स कॉन्फ़िगरेशन जैसे सबग्राफ का उपयोग करके किया गया था। पूरक ग्राफ (एक किनारे के साथ जब भी दो रेखाएँ अलग होती हैं) को श्लाफली ग्राफ के रूप में जाना जाता है।
@@ Line 18: / Line 17: @@
 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 पंक्तियों के बीच समरूपता को प्रकट नहीं करता है।
 घन सतहों और के बीच संबंध <math>E_6</math> रूट सिस्टम सभी डेल पेज़ो सतहों और रूट सिस्टम के बीच संबंध का सामान्यीकरण करता है। यह गणित में कई ADE वर्गीकरणों में से एक है। इन उपमाओं का अनुसरण करते हुए, [[वेरा सर्गनोवा]] और [[एलेक्सी स्कोरोबोगाटोव]] ने घन सतहों और लाइ समूह के बीच एक सीधा ज्यामितीय संबंध दिया। <math>E_6</math>.<ref>Serganova & Skorobogatov (2007).</ref>
@@ Line 39: / Line 38: @@
 == रियल क्यूबिक सरफेस ==
-जटिल मामले के विपरीत, वास्तविक संख्याओं पर चिकनी घन सतहों का स्थान क्लासिकल [[टोपोलॉजिकल स्पेस]] (आर के टोपोलॉजी पर आधारित) में [[जुड़ा हुआ स्थान]] नहीं है। इसके जुड़े घटक (दूसरे शब्दों में, समस्थानिक तक चिकनी वास्तविक घन सतहों का वर्गीकरण) लुडविग श्लाफली (1863), [[फेलिक्स क्लेन]] (1865), और हिरोनिमस जॉर्ज ज़्यूथेन | एच द्वारा निर्धारित किया गया था। जी ज़्यूथेन (1875)।<ref>Degtyarev and Kharlamov (2000), section 3.5.2. The various types of real cubic surfaces, and the lines on them, are pictured in Holzer & Labs (2006).</ref> अर्थात्, चिकनी वास्तविक घन सतहों X के 5 समस्थानिक वर्ग हैं <math>\mathbf{P}^3</math>, [[तर्कसंगत बिंदु]] के स्थान की टोपोलॉजी द्वारा प्रतिष्ठित <math>X(\mathbf{R})</math>. वास्तविक बिंदुओं का स्थान या तो भिन्न है <math>W_7, W_5, W_3, W_1</math>, या का असंयुक्त संघ <math>W_1</math> और 2-गोला, जहां <math>W_r</math> वास्तविक [[वास्तविक प्रक्षेपी विमान]] r प्रतियों के जुड़े योग को दर्शाता है <math>\mathbf{RP}^2</math>. तदनुसार, X में निहित वास्तविक रेखाओं की संख्या 27, 15, 7, 3 या 3 है।
+जटिल स्थिति े के विपरीत, वास्तविक संख्याओं पर चिकनी घन सतहों का स्थान क्लासिकल [[टोपोलॉजिकल स्पेस]] (आर के टोपोलॉजी पर आधारित) में [[जुड़ा हुआ स्थान]] नहीं है। इसके जुड़े घटक (दूसरे शब्दों में, समस्थानिक तक चिकनी वास्तविक घन सतहों का वर्गीकरण) लुडविग श्लाफली (1863), [[फेलिक्स क्लेन]] (1865), और हिरोनिमस जॉर्ज ज़्यूथेन | एच द्वारा निर्धारित किया गया था। जी ज़्यूथेन (1875)।<ref>Degtyarev and Kharlamov (2000), section 3.5.2. The various types of real cubic surfaces, and the lines on them, are pictured in Holzer & Labs (2006).</ref> अर्थात्, चिकनी वास्तविक घन सतहों X के 5 समस्थानिक वर्ग हैं <math>\mathbf{P}^3</math>, [[तर्कसंगत बिंदु]] के स्थान की टोपोलॉजी द्वारा प्रतिष्ठित <math>X(\mathbf{R})</math>. वास्तविक बिंदुओं का स्थान या तो भिन्न है <math>W_7, W_5, W_3, W_1</math>, या का असंयुक्त संघ <math>W_1</math> और 2-गोला, जहां <math>W_r</math> वास्तविक [[वास्तविक प्रक्षेपी विमान]] r प्रतियों के जुड़े योग को दर्शाता है <math>\mathbf{RP}^2</math>. तदनुसार, X में निहित वास्तविक रेखाओं की संख्या 27, 15, 7, 3 या 3 है।
-एक चिकनी वास्तविक घन सतह 'आर' पर तर्कसंगत है अगर और केवल अगर इसके वास्तविक बिंदुओं का स्थान जुड़ा हुआ है, इसलिए पिछले पांच मामलों में से पहले चार में।<ref>Silhol (1989), section VI.5.</ref>
+एक चिकनी वास्तविक घन सतह 'आर' पर तर्कसंगत है यदि  और केवल यदि  इसके वास्तविक बिंदुओं का स्थान जुड़ा हुआ है, इसलिए पिछले पांच स्थितियों  में से पहले चार में।<ref>Silhol (1989), section VI.5.</ref>
 X पर वास्तविक रेखाओं की औसत संख्या है <math>6 \sqrt{2}-3</math><ref>{{Cite journal|last1=Basu|first1=S.|last2=Lerario|first2=A.|last3=Lundberg|first3=E.|last4=Peterson|first4=C.|date=2019|title=यादृच्छिक क्षेत्र और वास्तविक और जटिल हाइपरसर्फ्स पर लाइनों की गणनात्मक ज्यामिति|url=https://link.springer.com/article/10.1007/s00208-019-01837-0|journal=Mathematische Annalen|volume=374|issue=3–4 |pages=1773–1810|doi=10.1007/s00208-019-01837-0|arxiv=1610.01205|s2cid=253717173 }}</ref> जब एक्स के लिए परिभाषित बहुपद बॉम्बिएरी_नॉर्म द्वारा प्रेरित गॉसियन पहनावा से यादृच्छिक रूप से नमूना लिया जाता है।
 ==घन सतहों का मापांक स्थान==
-दो चिकनी घन सतहें बीजगणितीय किस्मों के रूप में आइसोमोर्फिक हैं यदि और केवल अगर वे कुछ रैखिक ऑटोमोर्फिज्म के समतुल्य हैं <math>\mathbf{P}^3</math>. [[ज्यामितीय अपरिवर्तनीय सिद्धांत]] चिकनी घन सतहों के प्रत्येक आइसोमोर्फिज्म वर्ग के लिए एक बिंदु के साथ घन सतहों का एक मापांक स्थान देता है। इस [[मोडुली स्पेस]] का आयाम 4 है। अधिक सटीक रूप से, यह सैल्मन और क्लेबश (1860) द्वारा भारित [[भारित प्रक्षेप्य स्थान]](12345) का एक खुला उपसमुच्चय है। विशेष रूप से, यह एक तर्कसंगत 4 गुना है।<ref>Dolgachev (2012), equation (9.57).</ref>
+दो चिकनी घन सतहें बीजगणितीय किस्मों के रूप में आइसोमोर्फिक हैं यदि और केवल यदि  वे कुछ रैखिक ऑटोमोर्फिज्म के समतुल्य हैं <math>\mathbf{P}^3</math>. [[ज्यामितीय अपरिवर्तनीय सिद्धांत]] चिकनी घन सतहों के प्रत्येक आइसोमोर्फिज्म वर्ग के लिए एक बिंदु के साथ घन सतहों का एक मापांक स्थान देता है। इस [[मोडुली स्पेस]] का आयाम 4 है। अधिक यथार्थ  रूप से, यह सैल्मन और क्लेबश (1860) द्वारा भारित [[भारित प्रक्षेप्य स्थान]](12345) का एक खुला उपसमुच्चय है। विशेष रूप से, यह एक तर्कसंगत 4 गुना है।<ref>Dolgachev (2012), equation (9.57).</ref>
 == वक्रों का शंकु ==
-एक बीजगणितीय रूप से बंद क्षेत्र पर एक घन सतह एक्स पर लाइनों को एक्स के एम्बेडिंग के संदर्भ के बिना आंतरिक रूप से वर्णित किया जा सकता है <math>\mathbf{P}^3</math>: वे बिल्कुल (−1)-''X'' पर वक्र हैं, जिसका अर्थ है कि वक्र समरूपी हैं <math>\mathbf{P}^1</math> जिसका स्व-चौराहा -1 है। इसके अलावा, एक्स (या समतुल्य रूप से वि[[भाजक वर्ग समूह]]) के पिकार्ड जाली में लाइनों के वर्ग वास्तव में पिक (एक्स) के तत्व यू हैं जैसे कि <math>u^2=-1</math> और <math>-K_X\cdot u=1</math>. (यह उपयोग करता है कि सुसंगत शीफ का प्रतिबंध # वेक्टर बंडलों के उदाहरण O(1) पर <math>\mathbf{P}^3</math> X के लिए एंटीकैनोनिकल लाइन बंडल है <math>-K_X</math>, [[संयोजन सूत्र]] द्वारा।)
+एक बीजगणितीय रूप से बंद क्षेत्र पर एक घन सतह एक्स पर लाइनों को एक्स के एम्बेडिंग के संदर्भ के बिना आंतरिक रूप से वर्णित किया जा सकता है <math>\mathbf{P}^3</math>: वे बिल्कुल (−1)-''X'' पर वक्र हैं, जिसका अर्थ है कि वक्र समरूपी हैं <math>\mathbf{P}^1</math> जिसका स्व-चौराहा -1 है। इसके अतिरिक्त , एक्स (या समतुल्य रूप से वि[[भाजक वर्ग समूह]]) के पिकार्ड जाली में लाइनों के वर्ग वास्तव में पिक (एक्स) के तत्व यू हैं जैसे कि <math>u^2=-1</math> और <math>-K_X\cdot u=1</math>. (यह उपयोग करता है कि सुसंगत शीफ का प्रतिबंध # वेक्टर बंडलों के उदाहरण O(1) पर <math>\mathbf{P}^3</math> X के लिए एंटीकैनोनिकल लाइन बंडल है <math>-K_X</math>, [[संयोजन सूत्र]] द्वारा।)
 किसी भी प्रक्षेपी किस्म X के लिए, वक्रों के शंकु का अर्थ [[उत्तल शंकु]] है जो X में सभी वक्रों द्वारा फैला हुआ है (वास्तविक सदिश स्थान में) <math>N_1(X)</math> 1-चक्र सापेक्ष संख्यात्मक तुल्यता, या एकवचन होमोलॉजी में <math>H_2(X,\mathbf{R})</math> यदि आधार क्षेत्र सम्मिश्र संख्या है)। एक घनीय सतह के लिए, वक्रों के शंकु को 27 रेखाओं द्वारा फैलाया जाता है।<ref>Hartshorne (1997), Theorem V.4.11.</ref> विशेष रूप से, यह एक परिमेय बहुफलकीय शंकु है <math>N_1(X)\cong \mathbf{R}^7</math> एक बड़े समरूपता समूह के साथ, वेइल समूह <math>E_6</math>. किसी भी डेल पेज़ो सतह के लिए घटता के शंकु का एक समान विवरण है।
 == एक क्षेत्र पर घन सतहें ==
-फ़ील्ड k पर एक चिकनी घन सतह X जो बीजगणितीय रूप से बंद नहीं है, k पर तर्कसंगत होने की आवश्यकता नहीं है। एक चरम मामले के रूप में, परिमेय संख्या 'Q' (या p-adic संख्या) पर चिकनी घन सतहें होती हैं <math>\mathbf{Q}_p</math>) बिना परिमेय बिंदु के, जिस स्थिति में X निश्चित रूप से परिमेय नहीं है।<ref>Kollár, Smith, Corti (2004), Exercise 1.29.</ref> यदि एक्स (के) गैर-खाली है, तो [[बेंजामिन सीक्रेट]] और जेनोस कोल्लार द्वारा एक्स कम से कम अपरिमेय है।<ref>Kollár, Smith, Corti (2004), Theorems 1.37 and 1.38.</ref> के अनंत के लिए, एकता का अर्थ है कि के-तर्कसंगत बिंदुओं का सेट एक्स में ज़रिस्की घना है।
+फ़ील्ड k पर एक चिकनी घन सतह X जो बीजगणितीय रूप से बंद नहीं है, k पर तर्कसंगत होने की आवश्यकता नहीं है। एक चरम स्थिति े के रूप में, परिमेय संख्या 'Q' (या p-adic संख्या) पर चिकनी घन सतहें होती हैं <math>\mathbf{Q}_p</math>) बिना परिमेय बिंदु के, जिस स्थिति में X निश्चित रूप से परिमेय नहीं है।<ref>Kollár, Smith, Corti (2004), Exercise 1.29.</ref> यदि एक्स (के) गैर-खाली है, तो [[बेंजामिन सीक्रेट]] और जेनोस कोल्लार द्वारा एक्स कम से कम अपरिमेय है।<ref>Kollár, Smith, Corti (2004), Theorems 1.37 and 1.38.</ref> के अनंत के लिए, एकता का अर्थ है कि के-तर्कसंगत बिंदुओं का सेट एक्स में ज़रिस्की घना है।
-K का निरपेक्ष गैलोज़ समूह बीजगणितीय बंद होने पर X की 27 पंक्तियों की अनुमति देता है <math>\overline{k}</math> k का (Weyl समूह के कुछ उपसमूह के माध्यम से <math>E_6</math>). यदि इस क्रिया की कुछ कक्षा में अलग-अलग रेखाएँ होती हैं, तो X एक बंद बिंदु पर k के ऊपर एक सरल डेल पेज़ो सतह का ब्लो-अप है। अन्यथा, X का पिकार्ड नंबर 1 है। (X का पिकार्ड समूह ज्यामितीय पिकार्ड समूह का एक उपसमूह है <math>\operatorname{Pic}(X_{\overline{k}})\cong \mathbf{Z}^7</math>।) बाद के मामले में, सेग्रे ने दिखाया कि एक्स कभी भी तर्कसंगत नहीं है। अधिक दृढ़ता से, [[यूरी मैनिन]] ने एक द्विपक्षीय कठोरता बयान साबित कर दिया: पिकार्ड नंबर 1 के साथ दो चिकनी क्यूबिक सतहें एक पूर्ण क्षेत्र के ऊपर [[ द्विवार्षिक ]] हैं यदि और केवल अगर वे आइसोमोर्फिक हैं।<ref>Kollár, Smith, Corti (2004), Theorems 2.1 and 2.2.</ref> उदाहरण के लिए, ये परिणाम Q के ऊपर कई घन सतह देते हैं जो अपरिमेय हैं लेकिन तर्कसंगत नहीं हैं।
+K का निरपेक्ष गैलोज़ समूह बीजगणितीय बंद होने पर X की 27 पंक्तियों की अनुमति देता है <math>\overline{k}</math> k का (Weyl समूह के कुछ उपसमूह के माध्यम से <math>E_6</math>). यदि इस क्रिया की कुछ कक्षा में अलग-अलग रेखाएँ होती हैं, तो X एक बंद बिंदु पर k के ऊपर एक सरल डेल पेज़ो सतह का ब्लो-अप है। अन्यथा, X का पिकार्ड नंबर 1 है। (X का पिकार्ड समूह ज्यामितीय पिकार्ड समूह का एक उपसमूह है <math>\operatorname{Pic}(X_{\overline{k}})\cong \mathbf{Z}^7</math>।) बाद के स्थिति े में, सेग्रे ने दिखाया कि एक्स कभी भी तर्कसंगत नहीं है। अधिक दृढ़ता से, [[यूरी मैनिन]] ने एक द्विपक्षीय कठोरता बयान सिद्ध  कर दिया: पिकार्ड नंबर 1 के साथ दो चिकनी क्यूबिक सतहें एक पूर्ण क्षेत्र के ऊपर [[ द्विवार्षिक ]] हैं यदि और केवल यदि  वे आइसोमोर्फिक हैं।<ref>Kollár, Smith, Corti (2004), Theorems 2.1 and 2.2.</ref> उदाहरण के लिए, ये परिणाम Q के ऊपर कई घन सतह देते हैं जो अपरिमेय हैं लेकिन तर्कसंगत नहीं हैं।
 == एकवचन घन सतहें ==
-[[चिकनाई]] घन सतहों के विपरीत जिसमें 27 रेखाएँ होती हैं, [[विलक्षणता (गणित)]] घन सतहों में कम रेखाएँ होती हैं। <ref name=":1">{{Cite journal|last1=Bruce|first1=J. W.|last2=Wall|first2=C. T. C.|date=1979|title=घन सतहों के वर्गीकरण पर|url=https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/jlms/s2-19.2.245|journal=Journal of the London Mathematical Society|language=en|volume=s2-19|issue=2|pages=245–256|doi=10.1112/jlms/s2-19.2.245|issn=1469-7750}}</ref> इसके अलावा, उन्हें विलक्षणता के प्रकार से वर्गीकृत किया जा सकता है जो उनके सामान्य रूप में उत्पन्न होती है। इन विलक्षणताओं को [[डायनकिन आरेख]] का उपयोग करके वर्गीकृत किया गया है।
+[[चिकनाई]] घन सतहों के विपरीत जिसमें 27 रेखाएँ होती हैं, [[विलक्षणता (गणित)]] घन सतहों में कम रेखाएँ होती हैं। <ref name=":1">{{Cite journal|last1=Bruce|first1=J. W.|last2=Wall|first2=C. T. C.|date=1979|title=घन सतहों के वर्गीकरण पर|url=https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/jlms/s2-19.2.245|journal=Journal of the London Mathematical Society|language=en|volume=s2-19|issue=2|pages=245–256|doi=10.1112/jlms/s2-19.2.245|issn=1469-7750}}</ref> इसके अतिरिक्त , उन्हें विलक्षणता के प्रकार से वर्गीकृत किया जा सकता है जो उनके सामान्य रूप में उत्पन्न होती है। इन विलक्षणताओं को [[डायनकिन आरेख]] का उपयोग करके वर्गीकृत किया गया है।
 === वर्गीकरण ===
@@ Line 157: / Line 156: @@
 |<math>x_1^2x_2-x_0(x_0-x_2)(x_0-ax_2)</math>
 |}
-सामान्य रूप में, जब भी एक घन सतह <math>X</math> कम से कम एक शामिल है <math>A_1</math> विलक्षणता, यह एक होगा <math>A_1</math> विलक्षणता पर <math>[0:0:0:1]</math>. <ref name=":1" />
+सामान्य रूप में, जब भी एक घन सतह <math>X</math> कम से कम एक सम्मलित  है <math>A_1</math> विलक्षणता, यह एक होगा <math>A_1</math> विलक्षणता पर <math>[0:0:0:1]</math>. <ref name=":1" />
@@ Line 213: / Line 212: @@
 === बिना किसी पैरामीटर के एकवचन घन सतहों के [[ 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"
 |+Automorphism groups of singular cubic surfaces with no parameters <ref name=":0" />

Anonymous

Search

घन सतह: Difference between revisions

Namespaces

More

Page actions

Revision as of 22:55, 15 May 2023

Contents

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