घन सतह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
गणित में, एक घन सतह 3-आयामी अंतरिक्ष में एक सतह है जिसे डिग्री 3 के एक [[बहुपद]] समीकरण द्वारा परिभाषित किया गया है। घन सतहें [[बीजगणितीय ज्यामिति]] में मौलिक उदाहरण हैं। थ्योरी को [[ affine अंतरिक्ष ]] के अतिरिक्त [[ प्रक्षेपण स्थान ]] में काम करके सरल किया जाता है, और इसलिए क्यूबिक सतहों को सामान्यतः  प्रोजेक्टिव 3-स्पेस में माना जाता है <math>\mathbf{P}^3</math>. [[वास्तविक संख्या]]ओं के अतिरिक्त [[जटिल संख्या]]ओं पर सतहों पर ध्यान केंद्रित करने से सिद्धांत भी अधिक समान हो जाता है; ध्यान दें कि एक जटिल सतह का वास्तविक आयाम 4 होता है। एक सरल उदाहरण [[फर्मेट क्यूबिक सतह]] है
गणित में, घन पृष्‍ठ 3-आयामी क्षेत्र में एक पृष्‍ठ के रूप में होती है, जिसे घात 3 के [[बहुपद]] समीकरण द्वारा परिभाषित किया जाता है। [[बीजगणितीय ज्यामिति]] में घन पृष्‍ठ में मौलिक उदाहरण के रूप में हैं। इस सिद्धांत को एफ़ेईन क्षेत्र के अतिरिक्त [[ प्रक्षेपण स्थान |प्रक्षेपण स्थान]] में काम करके सरलीकृत किया गया है और इसलिए घन सतहों को सामान्यतः  प्रक्षेपीय 3-स्पेस <math>\mathbf{P}^3</math> के रूप में माना जाता है और इस प्रकार [[वास्तविक संख्या|वास्तविक संख्याओं]] के अतिरिक्त [[जटिल संख्या|जटिल]] [[वास्तविक संख्या|संख्या]]ओं पर सतहों के फोकस करने पर सिद्धांत अधिक समरूप हो जाता है और इस प्रकार ध्यान दें कि जटिल पृष्‍ठ का वास्तविक आयाम 4 होता है। [[फर्मेट क्यूबिक सतह|फर्मेट घन]] पृष्‍ठ का एक सरल उदाहरण है।
:<math>x^3+y^3+z^3+w^3=0</math>
:<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|एक चिकनी घन सतह (क्लबश सतह)]]
[[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 रेखाएँ==
==एक घन पृष्‍ठ पर 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वीं शताब्दी में श्लाफली डबल सिक्स कॉन्फ़िगरेशन जैसे सबग्राफ का उपयोग करके किया गया था। पूरक ग्राफ (एक किनारे के साथ जब भी दो रेखाएँ अलग होती हैं) को श्लाफली ग्राफ के रूप में जाना जाता है।
आदेश 51840 के समान समूह को कॉम्बिनेटरियल शब्दों में वर्णित किया जा सकता है, 27 पंक्तियों के [[ग्राफ (असतत गणित)]] के ऑटोमोर्फिज़्म समूह के रूप में, प्रत्येक पंक्ति के लिए एक शीर्ष और जब भी दो रेखाएँ मिलती हैं, एक किनारे के साथ।<ref>Hartshorne (1997), Exercise V.4.11.</ref> इस ग्राफ का विश्लेषण 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 पंक्तियों के बीच समरूपता को प्रकट नहीं करता है।


घन सतहों और के बीच संबंध <math>E_6</math> रूट सिस्टम सभी डेल पेज़ो सतहों और रूट सिस्टम के बीच संबंध का सामान्यीकरण करता है। यह गणित में कई ADE वर्गीकरणों में से एक है। इन उपमाओं का अनुसरण करते हुए, [[वेरा सर्गनोवा]] और [[एलेक्सी स्कोरोबोगाटोव]] ने घन सतहों और लाइ समूह के बीच एक सीधा ज्यामितीय संबंध दिया। <math>E_6</math>.<ref>Serganova & Skorobogatov (2007).</ref>
घन सतहों और के बीच संबंध <math>E_6</math> रूट सिस्टम सभी डेल पेज़ो सतहों और रूट सिस्टम के बीच संबंध का सामान्यीकरण करता है। यह गणित में कई ADE वर्गीकरणों में से एक है। इन उपमाओं का अनुसरण करते हुए, [[वेरा सर्गनोवा]] और [[एलेक्सी स्कोरोबोगाटोव]] ने घन सतहों और लाइ समूह के बीच एक सीधा ज्यामितीय संबंध दिया। <math>E_6</math>.<ref>Serganova & Skorobogatov (2007).</ref>
Line 23: Line 23:


==विशेष घनीय सतहें==
==विशेष घनीय सतहें==
चिकनी जटिल घन सतह में <math>\mathbf{P}^3</math> सबसे बड़े ऑटोमोर्फिज्म समूह के साथ फ़र्मेट क्यूबिक सतह है, जिसे परिभाषित किया गया है
चिकनी जटिल घन पृष्‍ठ में <math>\mathbf{P}^3</math> सबसे बड़े ऑटोमोर्फिज्म समूह के साथ फ़र्मेट घन पृष्‍ठ है, जिसे परिभाषित किया गया है
:<math>x^3+y^3+z^3+w^3=0.</math>
:<math>x^3+y^3+z^3+w^3=0.</math>
इसका ऑटोमोर्फिज्म समूह एक विस्तार है <math>3^3:S_4</math>, क्रम 648 का।<ref>Dolgachev (2012), Table 9.6.</ref>
इसका ऑटोमोर्फिज्म समूह एक विस्तार है <math>3^3:S_4</math>, क्रम 648 का।<ref>Dolgachev (2012), Table 9.6.</ref>
अगली सबसे सममित चिकनी घनीय सतह क्लेब्स्च सतह है, जो
अगली सबसे सममित चिकनी घनीय पृष्‍ठ क्लेब्स्च पृष्‍ठ है, जो
में परिभाषित किया जा सकता है <math>\mathbf{P}^4</math> दो समीकरणों द्वारा
में परिभाषित किया जा सकता है <math>\mathbf{P}^4</math> दो समीकरणों द्वारा
:<math>x_0+x_1+x_2+x_3+x_4=x_0^3+x_1^3+x_2^3+x_3^3+x_4^3=0.</math>
:<math>x_0+x_1+x_2+x_3+x_4=x_0^3+x_1^3+x_2^3+x_3^3+x_4^3=0.</math>
इसका ऑटोमोर्फिज्म समूह सममित समूह है <math>S_5</math>, आदेश 120। निर्देशांक के एक जटिल रैखिक परिवर्तन के बाद, क्लेब्सच सतह को समीकरण द्वारा भी परिभाषित किया जा सकता है
इसका ऑटोमोर्फिज्म समूह सममित समूह है <math>S_5</math>, आदेश 120। निर्देशांक के एक जटिल रैखिक परिवर्तन के बाद, क्लेब्सच पृष्‍ठ को समीकरण द्वारा भी परिभाषित किया जा सकता है
:<math>x^2y+y^2z+z^2w+w^2x=0</math>
:<math>x^2y+y^2z+z^2w+w^2x=0</math>
में <math>\mathbf{P}^3</math>.
में <math>\mathbf{P}^3</math>.


[[File:Cayley_cubic_2.png|thumb|right|केली की नोडल क्यूबिक सतह]]एकवचन जटिल घन सतहों के बीच, केली की नोडल घन सतह अद्वितीय सतह है जिसमें नोड की अधिकतम संख्या (बीजगणितीय ज्यामिति) है, 4:
[[File:Cayley_cubic_2.png|thumb|right|केली की नोडल घन सतह]]एकवचन जटिल घन सतहों के बीच, केली की नोडल घन पृष्‍ठ अद्वितीय पृष्‍ठ है जिसमें नोड की अधिकतम संख्या (बीजगणितीय ज्यामिति) है, 4:
:<math>wxy+xyz+yzw+zwx=0.</math>
:<math>wxy+xyz+yzw+zwx=0.</math>
इसका ऑटोमोर्फिज्म समूह है <math>S_4</math>, आदेश 24।
इसका ऑटोमोर्फिज्म समूह है <math>S_4</math>, आदेश 24।


== रियल क्यूबिक सरफेस ==
== रियल घन सरफेस ==
जटिल स्थिति े के विपरीत, वास्तविक संख्याओं पर चिकनी घन सतहों का स्थान क्लासिकल [[टोपोलॉजिकल स्पेस]] (आर के टोपोलॉजी पर आधारित) में [[जुड़ा हुआ स्थान]] नहीं है। इसके जुड़े घटक (दूसरे शब्दों में, समस्थानिक तक चिकनी वास्तविक घन सतहों का वर्गीकरण) लुडविग श्लाफली (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> जब एक्स के लिए परिभाषित बहुपद बॉम्बिएरी_नॉर्म द्वारा प्रेरित गॉसियन पहनावा से यादृच्छिक रूप से नमूना लिया जाता है।
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> जब एक्स के लिए परिभाषित बहुपद बॉम्बिएरी_नॉर्म द्वारा प्रेरित गॉसियन पहनावा से यादृच्छिक रूप से नमूना लिया जाता है।


Line 48: Line 48:


== वक्रों का शंकु ==
== वक्रों का शंकु ==
एक बीजगणितीय रूप से बंद क्षेत्र पर एक घन सतह एक्स पर लाइनों को एक्स के एम्बेडिंग के संदर्भ के बिना आंतरिक रूप से वर्णित किया जा सकता है <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>. किसी भी डेल पेज़ो सतह के लिए घटता के शंकु का एक समान विवरण है।
किसी भी प्रक्षेपी किस्म 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 के ऊपर कई घन पृष्‍ठ देते हैं जो अपरिमेय हैं लेकिन तर्कसंगत नहीं हैं।


== एकवचन घन सतहें ==
== एकवचन घन सतहें ==
Line 61: Line 61:


=== वर्गीकरण ===
=== वर्गीकरण ===
एक सामान्य विलक्षण घन सतह <math>X</math> में <math>\textbf{P}_{\mathbb{C}}^3</math> स्थानीय निर्देशांक के साथ <math>[x_0:x_1:x_2:x_3]</math> यदि इसके द्वारा दिया जाता है तो सामान्य रूप में कहा जाता है <math>F= x_3 f_2(x_0,x_1,x_2) -f_3(x_0,x_1,x_2) = 0</math>. विलक्षणता के प्रकार पर निर्भर करता है <math>X</math> सम्‍मिलित है, यह प्रक्षेपी सतह में समरूपता है <math>\textbf{P}^3</math> द्वारा दिए गए <math>F= x_3 f_2(x_0,x_1,x_2) -f_3(x_0,x_1,x_2) = 0</math> कहाँ <math>f_2, f_3</math> नीचे दी गई तालिका के अनुसार हैं। इसका अर्थ है कि हम सभी एकवचन घनीय सतहों का वर्गीकरण प्राप्त कर सकते हैं। निम्न तालिका के पैरामीटर इस प्रकार हैं: <math>a,b,c</math> के तीन भिन्न तत्व हैं <math>\mathbb{C} \setminus\{0,1\}</math>, पैरामीटर <math>d,e</math> में हैं <math>\mathbb{C} \setminus \{0,-1\}</math> और <math>u</math> का एक तत्व है <math>\mathbb{C}\setminus \{ 0\}</math>. ध्यान दें कि विलक्षणता के साथ दो अलग-अलग एकवचन घन सतहें हैं <math>D_4</math>. <ref name=":0">{{Cite journal|last=SAKAMAKI|first=YOSHIYUKI|title=बिना किसी पैरामीटर के सामान्य एकवचन घन सतहों पर ऑटोमोर्फिज्म समूह|date=2010|journal=Transactions of the American Mathematical Society|volume=362|issue=5|pages=2641–2666|doi=10.1090/S0002-9947-09-05023-5|jstor=25677798|issn=0002-9947|doi-access=free}}</ref>
एक सामान्य विलक्षण घन पृष्‍ठ <math>X</math> में <math>\textbf{P}_{\mathbb{C}}^3</math> स्थानीय निर्देशांक के साथ <math>[x_0:x_1:x_2:x_3]</math> यदि इसके द्वारा दिया जाता है तो सामान्य रूप में कहा जाता है <math>F= x_3 f_2(x_0,x_1,x_2) -f_3(x_0,x_1,x_2) = 0</math>. विलक्षणता के प्रकार पर निर्भर करता है <math>X</math> सम्‍मिलित है, यह प्रक्षेपी पृष्‍ठ में समरूपता है <math>\textbf{P}^3</math> द्वारा दिए गए <math>F= x_3 f_2(x_0,x_1,x_2) -f_3(x_0,x_1,x_2) = 0</math> कहाँ <math>f_2, f_3</math> नीचे दी गई तालिका के अनुसार हैं। इसका अर्थ है कि हम सभी एकवचन घनीय सतहों का वर्गीकरण प्राप्त कर सकते हैं। निम्न तालिका के पैरामीटर इस प्रकार हैं: <math>a,b,c</math> के तीन भिन्न तत्व हैं <math>\mathbb{C} \setminus\{0,1\}</math>, पैरामीटर <math>d,e</math> में हैं <math>\mathbb{C} \setminus \{0,-1\}</math> और <math>u</math> का एक तत्व है <math>\mathbb{C}\setminus \{ 0\}</math>. ध्यान दें कि विलक्षणता के साथ दो अलग-अलग एकवचन घन सतहें हैं <math>D_4</math>. <ref name=":0">{{Cite journal|last=SAKAMAKI|first=YOSHIYUKI|title=बिना किसी पैरामीटर के सामान्य एकवचन घन सतहों पर ऑटोमोर्फिज्म समूह|date=2010|journal=Transactions of the American Mathematical Society|volume=362|issue=5|pages=2641–2666|doi=10.1090/S0002-9947-09-05023-5|jstor=25677798|issn=0002-9947|doi-access=free}}</ref>
{| class="wikitable mw-collapsible"
{| class="wikitable mw-collapsible"
|+Classification of singular cubic surfaces by singularity type <ref name=":0" />  
|+Classification of singular cubic surfaces by singularity type <ref name=":0" />  
Line 156: Line 156:
|<math>x_1^2x_2-x_0(x_0-x_2)(x_0-ax_2)</math>
|<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" />




=== एकवचन घनीय सतहों पर रेखाएँ ===
=== एकवचन घनीय सतहों पर रेखाएँ ===
एकवचन घनीय सतहों के वर्गीकरण के अनुसार, निम्न तालिका प्रत्येक सतह में प्रक्षेपी रेखाओं की संख्या दर्शाती है।
एकवचन घनीय सतहों के वर्गीकरण के अनुसार, निम्न तालिका प्रत्येक पृष्‍ठ में प्रक्षेपी रेखाओं की संख्या दर्शाती है।
{| class="wikitable mw-collapsible"
{| class="wikitable mw-collapsible"
|+Lines on singular cubic surfaces <ref name=":0" />
|+Lines on singular cubic surfaces <ref name=":0" />
Line 212: Line 212:


=== बिना किसी पैरामीटर के एकवचन घन सतहों के [[ 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 22:35, 16 May 2023

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