घन सतह: Difference between revisions

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

बीजगणितीय रूप से बंद क्षेत्र 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}^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>

 

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

 

भौतिकी में, 27 पंक्तियों को छह-आयामी [[ टोरस्र्स |टोरस्र्स]] (6 मोमेंटा; 15 ब्रानेस; 6 [[ Fivebrane |फाइवब्रेन]]) और समूह E₆ पर [[एम-सिद्धांत]] के 27 संभावित अभिकथन के साथ पहचाना जा सकता है। तब स्वाभाविक रूप से U-द्वैत समूह के रूप में कार्य करता है। डेल पेज़ो सतहों और टोरी पर M-सिद्धांत के बीच के इस मानचित्र को [[रहस्यमय द्वंद्व|रहस्यमय द्वैत]] के रूप में जाना जाता है।

चिकनी जटिल घन सतह में <math>\mathbf{P}^3</math> सबसे बड़े ऑटोमोर्फिज्म समूह के साथ फ़र्मेट घन सतह के रूप में होते है, जिसे परिभाषित किया गया है।

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

 

अगली सबसे सममित चिकनी घनीय सतह क्लेब्स्च सतह के रूप में होती है, जो दो समीकरणों द्वारा <math>\mathbf{P}^4</math> के रूप में परिभाषित किया जा सकता है

इसका ऑटोमोर्फिज्म समूह सममित समूह <math>S_5</math>, क्रम 120 के रूप में है। निर्देशांक के जटिल रैखिक परिवर्तन के बाद क्लेब्सच सतह को समीकरण द्वारा भी परिभाषित किया जा सकता है

[[File:Cayley_cubic_2.png|thumb|right|केली की नोडल घन सतह]]अद्वितीय जटिल घन सतहों के बीच केली की नोडल घन सतह अद्वितीय सतह के रूप में होती है, जिसमें नोड की अधिकतम 4 संख्या बीजगणितीय ज्यामिति है,

इसका ऑटोमोर्फिज्म समूह <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 के रूप में है।

एक चिकनी वास्तविक घन सतह 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> में X के एम्बेडिंग के संदर्भ के बिना बीजगणितीय रूप से बंद क्षेत्र पर घन सतह X की रेखाओं को आंतरिक रूप से वर्णित किया जा सकता है। वे वास्तव में (−1)-''X'' पर वक्र के रूप में होती है, जिसका अर्थ है कि <math>\mathbf{P}^1</math> के समतुल्य वक्र हैं जिनमें स्व-प्रतिच्छेदन -1 है। इसके अतिरिक्त X के पिकार्ड जाली में रेखाओ के वर्ग या समतुल्य रूप से वि[[भाजक वर्ग समूह]] वास्तव में पिक (एक्स) के तत्व यू हैं जैसे कि <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> यदि X(k) गैर-रिक्त है, तो [[बेंजामिन सीक्रेट|बेनिएमिनो सेग्रे]] और जेनोस कोल्लार द्वारा X कम से कम अपरिमेय से अधिक है।<ref>Kollár, Smith, Corti (2004), Theorems 1.37 and 1.38.</ref> k अनंत के लिए, अनिरर्थकता का अर्थ है कि k-तर्कसंगत बिंदुओं का समुच्चय X में ज़रिस्की डेनस के रूप में है।

K का निरपेक्ष गैलोज़ समूह<math>E_6</math> के वेइल समूह के कुछ उपसमूह के माध्यम से k के बीजगणितीय समापन k पर X की 27 पंक्तियों की अनुमति देता है। यदि इस क्रिया की कुछ कक्षा में भिन्न -भिन्न रेखाएँ होती हैं, तो X एक बंद बिंदु पर k के ऊपर एक सरल डेल पेज़ो सतह का ब्लो-अप के रूप में होता है। अन्यथा, X का पिकार्ड नंबर 1 है। X का पिकार्ड समूह ज्यामितीय पिकार्ड समूह का <math>\operatorname{Pic}(X_{\overline{k}})\cong \mathbf{Z}^7</math>एक उपसमूह है और इस प्रकार बाद के स्थिति में, सेग्रे ने दिखाया कि X कभी भी तर्कसंगत नहीं है और अधिक दृढ़ता से, [[यूरी मैनिन]] ने द्विपक्षीय कठोरता बयान सिद्ध कर दिया जो पिकार्ड नंबर 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|