घन सतह: Difference between revisions

गणित में, घन सतह 3-आयामी क्षेत्र में सतह के रूप में होती है, जिसे घात 3 के [[बहुपद]] समीकरण द्वारा परिभाषित किया जाता है। [[बीजगणितीय ज्यामिति]] में घन सतह मौलिक उदाहरण के रूप में हैं। इस सिद्धांत को एफ़ेईन क्षेत्र के अतिरिक्त [[ प्रक्षेपण स्थान |प्रक्षेपण क्षेत्र]] में काम करके सरलीकृत किया गया है और इसलिए घन सतहों को सामान्यतः प्रक्षेपीय 3-स्पेस <math>\mathbf{P}^3</math> के रूप में जाना जाता है और इस प्रकार [[वास्तविक संख्या|वास्तविक संख्याओं]] के अतिरिक्त [[जटिल संख्या|जटिल]] [[वास्तविक संख्या|संख्याओं]] पर सतहों के फोकस करने पर सिद्धांत अधिक समरूप हो जाता है और इस प्रकार ध्यान दें कि जटिल सतह का वास्तविक आयाम 4 होता है। [[फर्मेट क्यूबिक सतह|फर्मेट घन]] सतह का एक सरल उदाहरण है।

घन सतहों के लिए तर्कसंगतता के अधिकांश प्रमाण सतह पर रेखा खोजने से प्रारंभ होते हैं। प्रक्षेपी ज्यामिति के संदर्भ में, रेखा में <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> है यह क्रम 51840 का एक समूह है, जो लाइनों के समुच्चय पर सकर्मक रूप से कार्य करता है।<ref name="Dnotes" /> इस समूह को धीरे-धीरे एली कार्टन 1896 [[आर्थर कोबल]] 1915-17 और [[पैट्रिक डु वैल]] 1936 में <math>E_6</math> प्रकार के वेइल समूह के रूप में पहचाना गया था, जो 6-आयामी वास्तविक सदिश स्थान पर प्रतिबिंबों द्वारा उत्पन्न समूह है, जो आयाम 78 के लाई समूह <math>E_6</math> से संबंधित है। <ref name="Dnotes" />

क्रम 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>.के रूप में होते है, घन सतह पर होने वाली विलक्षणता के संभावित समुच्चय को उप-प्रणालियों के संदर्भ में वर्णित किया जा सकता है।<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> के साथ की जा सकती है।

एकअरड बिंदु वह बिंदु है जहां 27 में से 3 रेखाएँ मिलती हैं और इस प्रकार अधिकांश घन सतहों में कोई एकार्ट पॉइंट नहीं होता है, लेकिन ऐसे बिंदु सभी चिकनी घन सतहों के समूह के [[ codimension |सह आयामी]] -1 उप समुच्चय के रूप में होते हैं।<ref>Dolgachev (2012), section 9.1.4.</ref>

X पर घन सतह और के विस्फोट के बीच एक पहचान को देखते हुए <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> दी गई घन सतह को विस्फोट के रूप में देखा जा सकता है, दिए गए घन सतह को एक से अधिक विधियों से वास्तव में, 72 भिन्न -भिन्न विधियों से <math>\mathbf{P}^2</math> के ऊपर विस्फोट के रूप में देखा जा सकता है.और इसलिए ब्लो-अप के रूप में एक विवरण सभी 27 पंक्तियों के बीच समरूपता को प्रकट नहीं करता है।

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

इसका ऑटोमोर्फिज्म समूह विस्तार <math>3^3:S_4</math>, क्रम 648 का होता है।<ref>Dolgachev (2012), Table 9.6.</ref>

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

एक चिकनी वास्तविक घन सतह R पर तर्कसंगत है यदि और केवल इसके वास्तविक बिंदुओं की जगह से जुड़ा है, इसलिए पिछले पांच स्थितियों में से पहले चार की जगह से जुड़ा है।<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>\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>, [[संयोजन सूत्र]] द्वारा।)

किसी भी प्रक्षेपी किस्म 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 की 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> इसके अतिरिक्त , उन्हें विलक्षणता के प्रकार से वर्गीकृत किया जा सकता है जो उनके सामान्य रूप में उत्पन्न होती है। इन विलक्षणताओं को [[डायनकिन आरेख]] का उपयोग करके वर्गीकृत किया गया है।

एक सामान्य विलक्षण घन सतह <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>

|+Classification of singular cubic surfaces by singularity type <ref name=":0" />  

![[Singular point of an algebraic variety|Singularity]]

सामान्य रूप में, जब भी एक घन सतह <math>X</math> कम से कम एक सम्मलित है <math>A_1</math> विलक्षणता, यह एक होगा <math>A_1</math> विलक्षणता पर <math>[0:0:0:1]</math>. <ref name=":1" />

 

 

=== अद्वितीय घनीय सतहों पर रेखाएँ ===

अद्वितीय घनीय सतहों के वर्गीकरण के अनुसार, निम्न तालिका प्रत्येक सतह में प्रक्षेपी रेखाओं की संख्या दर्शाती है।

|+Lines on singular cubic surfaces <ref name=":0" />

![[Singular point of an algebraic variety|Singularity]]

=== बिना किसी पैरामीटर के अद्वितीय घन सतहों के [[ automorphism |automorphism]] समूह ===

एक सामान्य विलक्षण घन सतह का एक ऑटोमोर्फिज्म <math>X</math> प्रक्षेपीय स्पेस के ऑटोमोर्फिज्म का [[प्रतिबंध (गणित)]] है <math>\textbf{P}^3</math> को <math>X</math>. इस तरह के ऑटोमोर्फिज्म अद्वितीय बिंदुओं को संरक्षित करते हैं। इसके अतिरिक्त , वे विभिन्न प्रकार की विलक्षणताओं की अनुमति नहीं देते हैं। यदि सतह में एक ही प्रकार की दो विलक्षणताएँ होती हैं, तो ऑटोमोर्फिज़्म उन्हें अनुमति दे सकता है। घन सतह पर ऑटोमोर्फिज्म का संग्रह एक समूह (गणित) बनाता है, जिसे ऑटोमोर्फिज्म समूह कहा जाता है। निम्न तालिका बिना किसी पैरामीटर के अद्वितीय घन सतहों के सभी ऑटोमोर्फिज़्म समूहों को दिखाती है।

|+Automorphism groups of singular cubic surfaces with no parameters <ref name=":0" />

![[Singular point of an algebraic variety|Singularity]]

!Automorphism group of <math>X</math>