K3 सतह



गणित में, एक जटिल विश्लेषणात्मक K3 सतह एक तुच्छ विहित बंडल और सतह शून्य की अनियमितता के साथ आयाम 2 का एक कॉम्पैक्ट कनेक्टेड जटिल अनेक गुना  है। किसी भी क्षेत्र (गणित) पर एक (बीजगणितीय) K3 सतह का अर्थ है एक चिकनी योजना उचित आकारवाद ज्यामितीय रूप से जुड़ी बीजगणितीय सतह जो समान स्थितियों को संतुष्ट करती है। सतहों के एनरिकेस-कोडैरा वर्गीकरण में, K3 सतहें कोडैरा आयाम शून्य की न्यूनतम सतहों के चार वर्गों में से एक बनाती हैं। एक सरल उदाहरण फ़र्मेट चतुर्थक सतह है
 * $$x^4+y^4+z^4+w^4=0$$

जटिल प्रक्षेप्य स्थान में|जटिल प्रक्षेप्य 3-स्थान।

द्वि-आयामी कॉम्पैक्ट जटिल तोरी के साथ, K3 सतहें आयाम दो के कैलाबी-याउ मैनिफोल्ड्स (और हाइपरकेहलर मैनिफोल्ड्स) हैं। इस प्रकार, वे सकारात्मक रूप से घुमावदार डेल पेज़ो सतहों (जिन्हें वर्गीकृत करना आसान है) और सामान्य प्रकार की नकारात्मक घुमावदार सतहों (जो अनिवार्य रूप से अवर्गीकृत हैं) के बीच, बीजीय सतहों के वर्गीकरण के केंद्र में हैं। K3 सतहों को सबसे सरल बीजगणितीय किस्में माना जा सकता है जिनकी संरचना बीजगणितीय वक्र या एबेलियन किस्मों तक कम नहीं होती है, और फिर भी जहां पर्याप्त समझ संभव है। एक जटिल K3 सतह का वास्तविक आयाम 4 है, और यह चिकनी 4-कई गुना के अध्ययन में एक महत्वपूर्ण भूमिका निभाता है। K3 सतहों को Kac-Moody बीजगणित, दर्पण समरूपता (स्ट्रिंग सिद्धांत) और स्ट्रिंग सिद्धांत पर लागू किया गया है।

जटिल विश्लेषणात्मक K3 सतहों के व्यापक परिवार के हिस्से के रूप में जटिल बीजगणितीय K3 सतहों के बारे में सोचना उपयोगी हो सकता है। कई अन्य प्रकार की बीजगणितीय किस्मों में ऐसी गैर-बीजगणितीय विकृतियाँ नहीं होती हैं।

परिभाषा
K3 सतहों को परिभाषित करने के कई समान तरीके हैं। तुच्छ विहित बंडल वाली एकमात्र कॉम्पैक्ट जटिल सतहें K3 सतहें और कॉम्पैक्ट कॉम्प्लेक्स टोरी हैं, और इसलिए कोई K3 सतहों को परिभाषित करने के लिए बाद वाले को छोड़कर किसी भी शर्त को जोड़ सकता है। उदाहरण के लिए, यह एक जटिल विश्लेषणात्मक K3 सतह को आयाम 2 के एक सरल रूप से जुड़े हुए कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड के रूप में परिभाषित करने के बराबर है, जिसमें कहीं भी गायब नहीं होने वाला होलोमोर्फिक विभेदक रूप  | 2-फॉर्म है। (बाद वाली शर्त बिल्कुल यही कहती है कि विहित बंडल तुच्छ है।)

परिभाषा के कुछ प्रकार भी हैं। जटिल संख्याओं पर, कुछ लेखक केवल बीजीय K3 सतहों पर विचार करते हैं। (एक बीजगणितीय K3 सतह स्वचालित रूप से प्रक्षेप्य किस्म है। ) या कोई K3 सतहों को चिकनी होने के बजाय डु वैल विलक्षणताएं (आयाम 2 की विहित विलक्षणताएं) रखने की अनुमति दे सकता है।

बेटी संख्या की गणना
एक जटिल विश्लेषणात्मक K3 सतह की बेट्टी संख्याओं की गणना निम्नानुसार की जाती है। (एक समान तर्क एल-एडिक कोहोमोलॉजी का उपयोग करके परिभाषित किसी भी क्षेत्र पर बीजगणितीय K3 सतह की बेट्टी संख्याओं के लिए समान उत्तर देता है।) परिभाषा के अनुसार, विहित बंडल $$ K_X = \Omega^2_X$$ तुच्छ है, और अनियमितता q(X) (आयाम $$h^1(X,O_X)$$ सुसंगत शीफ़ कोहोमोलॉजी समूह का $$H^1(X,O_X)$$) शून्य है. सेरे द्वैत द्वारा,
 * $$h^2(X,\mathcal{O}_X)=h^0(X,K_X)=1.$$

परिणामस्वरूप, X का अंकगणितीय जीनस (या होलोमोर्फिक यूलर विशेषता) है:
 * $$\chi(X,\mathcal{O}_X):=\sum_i (-1)^i h^i(X,\mathcal{O}_X)=1-0+1=2.$$

दूसरी ओर, सतहों के लिए रीमैन-रोच प्रमेय|रीमैन-रोच प्रमेय (नोएदर का सूत्र) कहता है:
 * $$\chi(X,\mathcal{O}_X) = \frac{1}{12} \left(c_1(X)^2+c_2(X)\right),$$

कहाँ $$c_i(X)$$ स्पर्शरेखा बंडल का i-वाँ चेर्न वर्ग है। तब से $$K_X$$ तुच्छ है, इसकी पहली चेर्न क्लास $$c_1(K_X)=-c_1(X)$$ शून्य है, इत्यादि $$c_2(X)=24$$.

अगला, घातीय अनुक्रम $$0\to \Z_X\to O_X\to O_X^*\to 0$$ कोहोमोलोजी समूहों का सटीक क्रम देता है $$0\to H^1(X,\Z) \to H^1(X,O_X)$$, इसलिए $$H^1(X,\Z)=0$$. इस प्रकार बेट्टी संख्या $$b_1(X)$$ शून्य है, और पोंकारे द्वंद्व द्वारा, $$b_3(X)$$ शून्य भी है. आखिरकार, $$c_2(X)=24$$ टोपोलॉजिकल यूलर विशेषता के बराबर है
 * $$\chi(X)=\sum_i (-1)^ib_i(X).$$

तब से $$b_0(X)=b_4(X)=1$$ और $$b_1(X)=b_3(X)=0$$, यह इस प्रकार है कि $$b_2(X)=22$$.

गुण

 * कुनिहिको कोदैरा द्वारा कोई भी दो जटिल विश्लेषणात्मक K3 सतहें चिकनी 4-मैनिफोल्ड के रूप में भिन्न होती हैं।
 * प्रत्येक जटिल विश्लेषणात्मक K3 सतह में यम-टोंग सिउ द्वारा एक काहलर मीट्रिक होता है। (अनुरूप रूप से, लेकिन बहुत आसान: एक क्षेत्र पर प्रत्येक बीजगणितीय K3 सतह प्रक्षेप्य है।) कैलाबी अनुमान के शिंग-तुंग याउ के समाधान से, यह निम्नानुसार है कि प्रत्येक जटिल विश्लेषणात्मक K3 सतह में एक रिक्की-सपाट काहलर मीट्रिक है।
 * हॉज सिद्धांत#किसी भी K3 सतह की जटिल प्रक्षेप्य किस्मों के लिए हॉज सिद्धांत हॉज हीरे में सूचीबद्ध हैं:
 * इसे दिखाने का एक तरीका एक विशिष्ट K3 सतह के जैकोबियन आदर्श की गणना करना है, और फिर बीजगणितीय K3 सतहों के मॉड्यूली स्थान पर हॉज संरचना की भिन्नता का उपयोग करके यह दिखाना है कि ऐसी सभी K3 सतहों में समान हॉज संख्याएं हैं। हॉज संरचना के हिस्सों के साथ-साथ बेट्टी संख्याओं की गणना का उपयोग करके अधिक कम-भौंह गणना की जा सकती है $$H^2(X;\Z) $$ एक मनमानी K3 सतह के लिए। इस मामले में, हॉज समरूपता बल देता है $$H^0(X;\Omega_X^2)\cong \mathbb{C}$$, इस तरह $$H^1(X,\Omega_X) \cong \mathbb{C}^{20}$$. विशेषता (बीजगणित) p > 0 में K3 सतहों के लिए, यह पहली बार एलेक्सी रुडाकोव और इगोर शफ़ारेविच  द्वारा दिखाया गया था।
 * एक जटिल विश्लेषणात्मक K3 सतह X के लिए, प्रतिच्छेदन प्रपत्र (या कप उत्पाद) पर $$H^2(X,\Z)\cong\Z^{22}$$ पूर्णांकों में मानों वाला एक सममित द्विरेखीय रूप है, जिसे K3 जाली के रूप में जाना जाता है। यह सम एकरूपी जाली के समरूपी है $$\operatorname{II}_{3,19}$$, या समकक्ष $$E_8(-1)^{\oplus 2}\oplus U^{\oplus 3}$$, जहां यू रैंक 2 की अतिशयोक्तिपूर्ण जाली है $$E_8$$ E8 जाली है.
 * युकिओ मात्सुमोतो का 4-मैनिफोल्ड#स्मूथ 4-मैनिफोल्ड्स|11/8 अनुमान भविष्यवाणी करता है कि सम प्रतिच्छेदन फॉर्म के साथ प्रत्येक स्मूथ उन्मुखी  4-मैनिफोल्ड एक्स में दूसरा बेट्टी नंबर हस्ताक्षर (टोपोलॉजी) के पूर्ण मूल्य से कम से कम 11/8 गुना है। यदि सत्य है तो यह इष्टतम होगा, क्योंकि समानता एक जटिल K3 सतह के लिए है, जिसका हस्ताक्षर 3−19 = −16 है। अनुमान का अर्थ यह होगा कि सम प्रतिच्छेदन रूप के साथ प्रत्येक सरल रूप से जुड़ा हुआ चिकना 4-मैनिफोल्ड K3 सतह और की प्रतियों के जुड़े योग के लिए  होम्योमॉर्फिक  है $$S^2\times S^2$$.
 * रॉबर्ट फ्रीडमैन और जॉन मॉर्गन (गणितज्ञ) द्वारा प्रत्येक जटिल सतह जो K3 सतह से भिन्न होती है, K3 सतह होती है। दूसरी ओर, चिकनी जटिल सतहें हैं (उनमें से कुछ प्रक्षेपी हैं) जो होमियोमॉर्फिक हैं लेकिन K3 सतह से भिन्न नहीं हैं, कोडैरा और माइकल फ्रीडमैन द्वारा। इन समरूप K3 सतहों में कोडैरा आयाम 1 है।
 * रॉबर्ट फ्रीडमैन और जॉन मॉर्गन (गणितज्ञ) द्वारा प्रत्येक जटिल सतह जो K3 सतह से भिन्न होती है, K3 सतह होती है। दूसरी ओर, चिकनी जटिल सतहें हैं (उनमें से कुछ प्रक्षेपी हैं) जो होमियोमॉर्फिक हैं लेकिन K3 सतह से भिन्न नहीं हैं, कोडैरा और माइकल फ्रीडमैन द्वारा। इन समरूप K3 सतहों में कोडैरा आयाम 1 है।

उदाहरण

 * प्रक्षेप्य तल का शाखित आवरण X एक चिकने सेक्सटिक (डिग्री 6) वक्र के साथ शाखाबद्ध होता है, जो जीनस 2 की K3 सतह है (अर्थात, डिग्री 2g−2 = 2)। (इस शब्दावली का अर्थ है कि एक सामान्य हाइपरप्लेन की एक्स में उलटी छवि $$\mathbf{P}^2$$ जीनस का एक सहज वक्र है (गणित) 2.)
 * एक चिकनी चतुर्थक (डिग्री 4) सतह $$\mathbf{P}^3$$ जीनस 3 (अर्थात डिग्री 4) की K3 सतह है।
 * एक कुमेर सतह क्रिया द्वारा द्वि-आयामी एबेलियन किस्म ए का भागफल है $$a\mapsto -a$$. इसके परिणामस्वरूप A के 2-मरोड़ बिंदुओं पर 16 विलक्षणताएँ होती हैं। इस विलक्षण सतह की विलक्षणताओं के रिज़ॉल्यूशन को कुमेर सतह भी कहा जा सकता है; वह रिज़ॉल्यूशन K3 सतह है। जब ए जीनस 2 के वक्र की जैकोबियन किस्म है, तो कुमेर ने भागफल दिखाया $$A/(\pm 1)$$ में एम्बेड किया जा सकता है $$\mathbf{P}^3$$ बीजगणितीय विविधता #नोड्स के 16 एकवचन बिंदु के साथ एक चतुर्थक सतह के रूप में।
 * अधिक सामान्यतः: डु वैल विलक्षणताओं वाले किसी भी चतुर्थक सतह Y के लिए, Y का न्यूनतम रिज़ॉल्यूशन एक बीजगणितीय K3 सतह है।
 * एक चतुर्भुज (बीजगणितीय ज्यामिति) और एक घन का प्रतिच्छेदन $$\mathbf{P}^4$$ जीनस 4 (अर्थात्, डिग्री 6) की K3 सतह है।
 * तीन चतुर्भुजों का प्रतिच्छेदन $$\mathbf{P}^5$$ जीनस 5 (अर्थात, डिग्री 8) की K3 सतह है।
 * भारित प्रक्षेप्य स्थानों में डु वैल विलक्षणताओं के साथ K3 सतहों के कई डेटाबेस हैं।

पिकार्ड जाली
जटिल विश्लेषणात्मक K3 सतह X के पिकार्ड समूह Pic(X) का अर्थ है X पर जटिल विश्लेषणात्मक रेखा बंडलों का एबेलियन समूह। बीजीय K3 सतह के लिए, Pic(X) का अर्थ है जीन पियरे सेरे  के GAGA प्रमेय द्वारा एक जटिल बीजगणितीय K3 सतह के लिए।

K3 सतह X का पिकार्ड समूह हमेशा एक सीमित रूप से उत्पन्न एबेलियन समूह मुक्त एबेलियन समूह होता है; इसकी रैंक को 'पिकार्ड नंबर' कहा जाता है $$\rho$$. जटिल मामले में, Pic(X) का एक उपसमूह है $$H^2(X,\Z)\cong\Z^{22}$$. यह K3 सतहों की एक महत्वपूर्ण विशेषता है कि कई अलग-अलग पिकार्ड संख्याएँ हो सकती हैं। X के लिए एक जटिल बीजगणितीय K3 सतह, $$\rho$$ 1 और 20 के बीच कोई भी पूर्णांक हो सकता है। जटिल विश्लेषणात्मक मामले में, $$\rho$$ शून्य भी हो सकता है. (उस स्थिति में, K3 सतह पर, पिकार्ड संख्या 22 के साथ।

K3 सतह के 'पिकार्ड जाली' का अर्थ है एबेलियन समूह Pic(X) इसके प्रतिच्छेदन रूप के साथ, पूर्णांकों में मानों के साथ एक सममित द्विरेखीय रूप। (ऊपर $$\Complex$$, प्रतिच्छेदन प्रपत्र का अर्थ है प्रतिच्छेदन प्रपत्र पर प्रतिबंध $$H^2(X,\Z)$$. एक सामान्य क्षेत्र पर, विभाजक वर्ग समूह के साथ पिकार्ड समूह की पहचान करके, सतह पर वक्रों के प्रतिच्छेदन सिद्धांत का उपयोग करके प्रतिच्छेदन रूप को परिभाषित किया जा सकता है।) K3 सतह का पिकार्ड जाली हमेशा सम होती है, जिसका अर्थ है कि पूर्णांक $$u^2$$ प्रत्येक के लिए सम है $$u\in\operatorname{Pic}(X)$$.

हॉज सूचकांक प्रमेय का तात्पर्य है कि बीजगणितीय K3 सतह के पिकार्ड जाली में हस्ताक्षर हैं $$(1,\rho-1)$$. K3 सतह के कई गुण पूर्णांकों पर एक सममित द्विरेखीय रूप के रूप में, इसके पिकार्ड जाली द्वारा निर्धारित किए जाते हैं। इससे K3 सतहों के सिद्धांत और सममित द्विरेखीय रूपों के अंकगणित के बीच एक मजबूत संबंध बनता है। इस कनेक्शन के पहले उदाहरण के रूप में: एक जटिल विश्लेषणात्मक K3 सतह बीजगणितीय है यदि और केवल यदि कोई तत्व है $$u\in\operatorname{Pic}(X)$$ साथ $$u^2>0$$. मोटे तौर पर, सभी जटिल विश्लेषणात्मक K3 सतहों के स्थान का जटिल आयाम 20 है, जबकि K3 सतहों का स्थान पिकार्ड संख्या के साथ है $$\rho$$ आयाम है $$20-\rho$$ (सुपरसिंगुलर केस को छोड़कर)। विशेष रूप से, बीजगणितीय K3 सतहें 19-आयामी परिवारों में होती हैं। K3 सतहों के मॉड्यूलि स्पेस के बारे में अधिक विवरण नीचे दिए गए हैं।

K3 सतहों के पिकार्ड लैटिस के रूप में कौन सी जाली हो सकती है, इसका सटीक विवरण जटिल है। व्याचेस्लाव निकुलिन और डेविड आर. मॉरिसन (गणितज्ञ) के कारण एक स्पष्ट कथन यह है कि हस्ताक्षर की प्रत्येक सम जाली $$(1,\rho-1)$$ साथ $$\rho\leq 11$$ कुछ जटिल प्रक्षेप्य K3 सतह की पिकार्ड जाली है। ऐसी सतहों के स्थान में आयाम होता है $$20-\rho$$.

अण्डाकार K3 सतहें
K3 सतहों का एक महत्वपूर्ण उपवर्ग, सामान्य मामले की तुलना में विश्लेषण करना आसान है, इसमें अण्डाकार कंपन वाली K3 सतहें शामिल हैं $$X\to\mathbf{P}^1$$. अण्डाकार का अर्थ है कि इस रूपवाद के सभी लेकिन सीमित रूप से कई फाइबर जीनस 1 के चिकने वक्र हैं। एकवचन फाइबर तर्कसंगत वक्रों के संघ हैं, जिनमें कोडैरा द्वारा वर्गीकृत संभावित प्रकार के एकवचन फाइबर होते हैं। हमेशा कुछ एकवचन फाइबर होते हैं, क्योंकि एकवचन फाइबर की टोपोलॉजिकल यूलर विशेषताओं का योग होता है $$\chi(X)=24$$. एक सामान्य अण्डाकार K3 सतह में बिल्कुल 24 एकवचन फाइबर होते हैं, प्रत्येक प्रकार के $$I_1$$ (एक नोडल घन वक्र). K3 सतह अण्डाकार है या नहीं, इसे इसके पिकार्ड जाली से पढ़ा जा सकता है। अर्थात्, विशेषता 2 या 3 में नहीं, K3 सतह X में एक अण्डाकार कंपन होता है यदि और केवल तभी जब कोई गैर-शून्य तत्व हो $$u\in\operatorname{Pic}(X)$$ साथ $$u^2=0$$. (विशेषता 2 या 3 में, बाद वाली स्थिति एनरिकेस-कोडैरा वर्गीकरण के अनुरूप भी हो सकती है#कोडैरा आयाम 1 की सतहें|अर्ध-अण्डाकार फ़िब्रेशन।) यह इस प्रकार है कि अण्डाकार फ़िब्रेशन होना K3 सतह पर एक कोडायमेंशन-1 स्थिति है। तो अण्डाकार कंपन के साथ जटिल विश्लेषणात्मक K3 सतहों के 19-आयामी परिवार हैं, और अण्डाकार कंपन के साथ प्रक्षेप्य K3 सतहों के 18-आयामी मॉड्यूल स्थान हैं।

उदाहरण: प्रत्येक चिकनी चतुर्थक सतह X इंच $$\mathbf{P}^3$$ जिसमें एक रेखा L होती है उसमें अण्डाकार कंपन होता है $$X\to \mathbf{P}^1$$, एल से दूर प्रक्षेपित करके दिया गया है। सभी चिकनी चतुर्थक सतहों (समरूपता तक) के मॉड्यूलि स्थान का आयाम 19 है, जबकि एक रेखा वाले चतुर्थक सतहों के उपस्थान का आयाम 18 है।

K3 सतहों पर परिमेय वक्र
डेल पेज़ो सतहों जैसी सकारात्मक रूप से घुमावदार किस्मों के विपरीत, एक जटिल बीजगणितीय K3 सतह X अनियंत्रित किस्म नहीं है; अर्थात्, यह तर्कसंगत वक्रों के एक सतत परिवार द्वारा कवर नहीं किया गया है। दूसरी ओर, सामान्य प्रकार की सतहों जैसे नकारात्मक रूप से घुमावदार किस्मों के विपरीत, एक्स में तर्कसंगत वक्रों (संभवतः एकवचन) का एक बड़ा असतत सेट होता है। विशेष रूप से, फेडर बोगोमोलोव और डेविड मम्फोर्ड  ने दिखाया कि एक्स पर प्रत्येक वक्र तर्कसंगत वक्रों के सकारात्मक रैखिक संयोजन के रैखिक रूप से बराबर है। नकारात्मक रूप से घुमावदार किस्मों का एक और विरोधाभास यह है कि जटिल विश्लेषणात्मक K3 सतह X पर कोबायाशी मीट्रिक समान रूप से शून्य है। प्रमाण का उपयोग करता है कि एक बीजगणितीय K3 सतह X हमेशा अण्डाकार वक्रों की छवियों के एक सतत परिवार द्वारा कवर किया जाता है। (ये वक्र X में एकवचन हैं, जब तक कि X एक अण्डाकार K3 सतह न हो।) एक मजबूत प्रश्न जो खुला रहता है वह यह है कि क्या प्रत्येक जटिल K3 सतह एक गैर-अपक्षयी होलोमोर्फिक मानचित्र को स्वीकार करती है $$\C^2$$ (जहां नॉनडीजेनरेट का अर्थ है कि मानचित्र का व्युत्पन्न किसी बिंदु पर एक समरूपता है)।

अवधि मानचित्र
एक जटिल विश्लेषणात्मक K3 सतह X के अंकन को जालकों की समरूपता के रूप में परिभाषित करें $$H^2(X,\Z)$$ K3 जाली के लिए $$\Lambda=E_8(-1)^{\oplus 2}\oplus U^{\oplus 3}$$. चिह्नित कॉम्प्लेक्स K3 सतहों का स्पेस N, आयाम 20 का एक हॉसडॉर्फ़ स्थान कॉम्प्लेक्स मैनिफोल्ड है। जटिल विश्लेषणात्मक K3 सतहों के समरूपता वर्गों का सेट ऑर्थोगोनल समूह द्वारा N का भागफल है $$O(\Lambda)$$, लेकिन यह भागफल ज्यामितीय रूप से सार्थक मॉड्यूलि स्पेस नहीं है, क्योंकि की क्रिया $$O(\Lambda)$$ ठीक से बंद होने से बहुत दूर है। (उदाहरण के लिए, चिकनी चतुर्थक सतहों का स्थान आयाम 19 का अपरिवर्तनीय है, और फिर भी 20-आयामी परिवार एन में प्रत्येक जटिल विश्लेषणात्मक K3 सतह में मनमाने ढंग से छोटी विकृतियाँ हैं जो चिकनी चतुर्थक के समरूपी हैं। ) इसी कारण से, कम से कम 2 आयाम के कॉम्पैक्ट कॉम्प्लेक्स टोरी का कोई सार्थक मॉड्यूल स्पेस नहीं है।

अवधि मानचित्रण एक K3 सतह को उसकी हॉज संरचना में भेजती है। जब ध्यान से कहा जाता है, तो टोरेली प्रमेय मानता है: एक K3 सतह इसकी हॉज संरचना द्वारा निर्धारित की जाती है। पीरियड डोमेन को 20-आयामी कॉम्प्लेक्स मैनिफोल्ड के रूप में परिभाषित किया गया है
 * $$D=\{u\in P(\Lambda\otimes\Complex): u^2=0,\, u\cdot\overline{u} > 0\}.$$

अवधि मानचित्रण $$N\to D$$ एक चिह्नित K3 सतह X को जटिल रेखा पर भेजता है $$H^0(X,\Omega^2)\subset H^2(X,\Complex)\cong \Lambda\otimes\Complex$$. यह विशेषण है, और एक स्थानीय समरूपता है, लेकिन एक समरूपता नहीं है (विशेष रूप से क्योंकि डी हॉसडॉर्फ है और एन नहीं है)। हालाँकि, K3 सतहों के लिए 'वैश्विक टोरेली प्रमेय' कहता है कि सेट का भागफल मानचित्र
 * $$N/O(\Lambda)\to D/O(\Lambda)$$

वस्तुनिष्ठ है. इससे यह निष्कर्ष निकलता है कि दो जटिल विश्लेषणात्मक K3 सतहें $$H^2(X,\Z)$$ को $$H^2(Y,\Z)$$, अर्थात्, एबेलियन समूहों का एक समरूपता जो प्रतिच्छेदन रूप को संरक्षित करता है और भेजता है $$H^0(X,\Omega^2)\subset H^2(X,\Complex)$$ को $$H^0(Y,\Omega^2)$$.

प्रक्षेप्य K3 सतहों के मॉड्यूलि स्थान
जीनस जी की एक ध्रुवीकृत K3 सतह X को एक प्रक्षेपी K3 सतह के साथ एक पर्याप्त रेखा बंडल L के रूप में परिभाषित किया गया है, जैसे कि L आदिम है (अर्थात, 2 नहीं) या अधिक बार एक पर्याप्त लाइन बंडल) और $$c_1(L)^2=2g-2$$. इसे 2g−2 डिग्री की ध्रुवीकृत K3 सतह भी कहा जाता है। इन धारणाओं के तहत, एल आधार-बिंदु-मुक्त है। विशेषता शून्य में, बर्टिनी के प्रमेय का तात्पर्य है कि विभाजकों की रैखिक प्रणाली में एक चिकना वक्र C है |L| ऐसे सभी वक्रों में जीनस g होता है, जो बताता है कि क्यों (X,L) को जीनस g कहा जाता है।

एल के अनुभागों के वेक्टर स्थान का आयाम जी + 1 है, और इसलिए एल एक्स से प्रक्षेप्य स्थान तक एक रूपवाद देता है $$\mathbf{P}^g$$. ज्यादातर मामलों में, यह रूपवाद एक एम्बेडिंग है, ताकि एक्स डिग्री 2g-2 की सतह पर आइसोमोर्फिक हो $$\mathbf{P}^g$$.

एक इरेड्यूसेबल मोटे मॉड्यूलि स्पेस है $$\mathcal{F}_g$$ प्रत्येक के लिए जीनस जी की ध्रुवीकृत जटिल K3 सतहों की $$g\geq 2$$; इसे समूह अनिश्चितकालीन ऑर्थोगोनल समूह|एसओ(2,19) के लिए शिमुरा किस्म के ज़ारिस्की खुले उपसमुच्चय के रूप में देखा जा सकता है। प्रत्येक जी के लिए, $$\mathcal{F}_g$$ आयाम 19 की एक अर्ध-प्रक्षेपी जटिल विविधता है। विलोम ने दिखाया कि यह मॉड्यूलि स्पेस अतार्किक है $$g\leq 13$$ या $$g=18,20$$. इन कंट्रास्ट, वालेरी गृत्सेंको, क्लॉस हुलेक एंड ग्रेगोरी संकरन शोवेद ठाट $$\mathcal{F}_g$$ सामान्य प्रकार का है यदि $$g\geq 63$$ या $$g=47,51,55,58,59,61$$. द्वारा इस क्षेत्र का एक सर्वेक्षण दिया गया.

विभिन्न 19-आयामी मॉड्यूलि स्थान $$\mathcal{F}_g$$ एक जटिल तरीके से ओवरलैप करें। वास्तव में, प्रत्येक की कोडिमेंशन-1 उप-किस्मों का एक अनगिनत अनंत सेट है $$\mathcal{F}_g$$ पिकार्ड संख्या की K3 सतहों के अनुरूप कम से कम 2. उन K3 सतहों में केवल 2g-2 ही नहीं, बल्कि अनंत रूप से कई अलग-अलग डिग्री का ध्रुवीकरण होता है। तो कोई यह कह सकता है कि अन्य मॉड्यूली रिक्त स्थान अनंत हैं $$\mathcal{F}_h$$ मिलना $$\mathcal{F}_g$$. यह सटीक नहीं है, क्योंकि सभी मॉडुली स्थानों को समाहित करने वाला कोई अच्छा व्यवहार वाला स्थान नहीं है $$\mathcal{F}_g$$. हालाँकि, इस विचार का एक ठोस संस्करण यह तथ्य है कि कोई भी दो जटिल बीजगणितीय K3 सतहें बीजगणितीय K3 सतहों के माध्यम से विरूपण-समतुल्य हैं। अधिक आम तौर पर, जीनस जी की एक अर्ध-ध्रुवीकृत K3 सतह का अर्थ है एक आदिम नेफ लाइन बंडल और बड़ी लाइन बंडल लाइन बंडल एल के साथ एक प्रक्षेप्य K3 सतह जैसे कि $$c_1(L)^2=2g-2$$. ऐसा लाइन बंडल अभी भी एक रूपवाद देता है $$\mathbf{P}^g$$, लेकिन अब यह परिमित रूप से कई (−2)-वक्रों को अनुबंधित कर सकता है, ताकि X की छवि Y एकवचन हो। (किसी सतह पर '(−2)-वक्र' का अर्थ एक समरूपी वक्र है $$\mathbf{P}^1$$ स्व-प्रतिच्छेदन -2 के साथ।) जीनस जी की अर्ध-ध्रुवीकृत K3 सतहों का मॉड्यूलि स्पेस अभी भी आयाम 19 का अपरिवर्तनीय है (पिछले मॉड्यूलि स्पेस को एक खुले उपसमुच्चय के रूप में शामिल करते हुए)। औपचारिक रूप से, इसे डु वैल विलक्षणताओं के साथ K3 सतहों Y के मॉड्यूलि स्पेस के रूप में देखना बेहतर काम करता है।

विस्तारित शंकु और वक्रों का शंकु
बीजगणितीय K3 सतहों की एक उल्लेखनीय विशेषता यह है कि पिकार्ड जाली सतह के कई ज्यामितीय गुणों को निर्धारित करती है, जिसमें पर्याप्त विभाजक के उत्तल शंकु (पिकार्ड जाली के ऑटोमोर्फिज्म तक) शामिल हैं। पर्याप्त शंकु पिकार्ड जाली द्वारा निम्नानुसार निर्धारित किया जाता है। हॉज इंडेक्स प्रमेय के अनुसार, वास्तविक वेक्टर स्थान पर प्रतिच्छेदन बनता है $$N^1(X):=\operatorname{Pic}(X)\otimes\R$$ हस्ताक्षर है $$(1,\rho-1)$$. यह इस प्रकार है कि तत्वों का सेट $$N^1(X)$$ सकारात्मक स्व-प्रतिच्छेदन के साथ दो जुड़े हुए घटक (टोपोलॉजी) हैं। धनात्मक शंकु को वह घटक कहें जिसमें X पर कोई पर्याप्त भाजक हो।

केस 1: Pic(X) का कोई तत्व u नहीं है $$u^2=-2$$. तब पर्याप्त शंकु धनात्मक शंकु के बराबर होता है। इस प्रकार यह मानक गोल शंकु है।

केस 2: अन्यथा, चलो $$\Delta=\{u\in\operatorname{Pic}(X):u^2=-2\}$$, पिकार्ड जाली की जड़ों का समूह। जड़ों के ऑर्थोगोनल पूरक हाइपरप्लेन का एक सेट बनाते हैं जो सभी सकारात्मक शंकु से गुजरते हैं। फिर पर्याप्त शंकु सकारात्मक शंकु में इन हाइपरप्लेन के पूरक का एक जुड़ा घटक है। ऐसे कोई भी दो घटक जाली पिक (एक्स) के ऑर्थोगोनल समूह के माध्यम से आइसोमोर्फिक हैं, क्योंकि इसमें प्रत्येक रूट हाइपरप्लेन में प्रतिबिंब (गणित) शामिल है। इस अर्थ में, पिकार्ड जाली समरूपता तक पर्याप्त शंकु निर्धारित करती है। सैंडोर कोवाक्स के कारण एक संबंधित कथन यह है कि Pic(X) में एक पर्याप्त भाजक A को जानने से X के वक्रों का पूरा शंकु निर्धारित होता है। अर्थात्, मान लीजिए कि X के पास पिकार्ड संख्या है $$\rho\geq 3$$. यदि जड़ों का समुच्चय $$\Delta$$ खाली है, तो वक्रों का बंद शंकु धनात्मक शंकु का बंद होना है। अन्यथा, वक्रों का बंद शंकु सभी तत्वों द्वारा फैला हुआ बंद उत्तल शंकु है $$u\in\Delta$$ साथ $$A\cdot u>0$$. पहले मामले में, X में कोई (−2)-वक्र नहीं है; दूसरे मामले में, वक्रों का बंद शंकु सभी (−2)-वक्रों द्वारा फैला हुआ बंद उत्तल शंकु है। (अगर $$\rho=2$$, एक अन्य संभावना है: वक्रों का शंकु एक (−2)-वक्र और स्व-प्रतिच्छेदन 0 के साथ एक वक्र द्वारा फैलाया जा सकता है।) इसलिए वक्रों का शंकु या तो मानक गोल शंकु है, या फिर इसमें तेज कोने हैं (क्योंकि प्रत्येक (−2)-वक्र वक्रों के शंकु की एक पृथक चरम किरण तक फैला होता है)।

ऑटोमोर्फिज्म समूह
बीजगणितीय किस्मों के बीच K3 सतहें कुछ हद तक असामान्य हैं क्योंकि उनके ऑटोमोर्फिज्म समूह अनंत, असतत और अत्यधिक नॉनबेलियन हो सकते हैं। टोरेली प्रमेय के एक संस्करण के अनुसार, एक जटिल बीजगणितीय K3 सतह X का पिकार्ड जाली अनुरूपता (समूह सिद्धांत) तक X के ऑटोमोर्फिज्म समूह को निर्धारित करता है। अर्थात्, मान लें कि 'वेइल समूह' W जड़ों के सेट में प्रतिबिंबों द्वारा उत्पन्न ऑर्थोगोनल समूह O(Pic(X)) का उपसमूह है $$\Delta$$. तब W, O(Pic(X)) का एक सामान्य उपसमूह है, और X का ऑटोमोर्फिज्म समूह भागफल समूह O(Pic(X))/W के अनुरूप है। हंस स्टर्क के कारण एक संबंधित कथन यह है कि ऑट (एक्स) एक तर्कसंगत पॉलीहेड्रल मौलिक डोमेन के साथ एक्स के नेफ शंकु पर कार्य करता है।

स्ट्रिंग द्वंद्व से संबंध
K3 सतहें स्ट्रिंग द्वैत में लगभग सर्वव्यापी दिखाई देती हैं और इसे समझने के लिए एक महत्वपूर्ण उपकरण प्रदान करती हैं। कॉम्पैक्टीफिकेशन (भौतिकी)#इन सतहों पर स्ट्रिंग सिद्धांत में कॉम्पैक्टीफिकेशन मामूली नहीं है, फिर भी वे अपने अधिकांश गुणों का विस्तार से विश्लेषण करने के लिए काफी सरल हैं। प्रकार IIA स्ट्रिंग, प्रकार IIB स्ट्रिंग, E8×E8 हेटेरोटिक स्ट्रिंग, स्पिन(32)/जेड2 हेटेरोटिक स्ट्रिंग, और एम-सिद्धांत K3 सतह पर संघनन द्वारा संबंधित हैं। उदाहरण के लिए, K3 सतह पर संकुचित प्रकार IIA स्ट्रिंग 4-टोरस पर संकुचित हेटेरोटिक स्ट्रिंग के बराबर है.

इतिहास
चतुर्थक सतहों में $$\mathbf{P}^3$$ गंभीर दुःख, आर्थर केली, फ्रेडरिक शूर और अन्य 19वीं सदी के जियोमीटर द्वारा अध्ययन किया गया था। अधिक सामान्यतः, फेडरिको एनरिक्स ने 1893 में देखा कि विभिन्न संख्याओं g के लिए, डिग्री 2g−2 की सतहें होती हैं $$\mathbf{P}^g$$ तुच्छ विहित बंडल और अनियमितता शून्य के साथ। 1909 में, एनरिकेज़ ने दिखाया कि ऐसी सतहें सभी के लिए मौजूद हैं $$g\geq 3$$, और फ्रांसिस सेवेरी ने दिखाया कि ऐसी सतहों के मॉड्यूलि स्पेस में प्रत्येक जी के लिए आयाम 19 है। आंद्रे ने K3 सतहों को उनका नाम दिया (ऊपर उद्धरण देखें) और उनके वर्गीकरण के बारे में कई प्रभावशाली अनुमान लगाए। कुनिहिको कोदैरा ने 1960 के आसपास बुनियादी सिद्धांत पूरा किया, विशेष रूप से जटिल विश्लेषणात्मक K3 सतहों का पहला व्यवस्थित अध्ययन किया जो बीजगणितीय नहीं हैं। उन्होंने दिखाया कि कोई भी दो जटिल विश्लेषणात्मक K3 सतहें विरूपण-समतुल्य हैं और इसलिए भिन्नरूपी हैं, जो बीजगणितीय K3 सतहों के लिए भी नया था। एक महत्वपूर्ण बाद की प्रगति जटिल बीजीय K3 सतहों के लिए इल्या पियाटेत्स्की-शापिरो और इगोर शफ़ारेविच (1971) द्वारा टोरेली प्रमेय का प्रमाण था, जिसे डैनियल बर्न्स और माइकल रैपोपोर्ट (1975) द्वारा जटिल विश्लेषणात्मक K3 सतहों तक विस्तारित किया गया था।

यह भी देखें

 * सतह को समृद्ध करता है
 * टेट अनुमान
 * छत्रछाया चांदनी, K3 सतहों और मैथ्यू समूह M24 के बीच एक रहस्यमय संबंध।

बाहरी संबंध

 * Graded Ring Database homepage for a catalog of K3 surfaces
 * K3 database for the Magma computer algebra system
 * The geometry of K3 surfaces, lectures by David Morrison (1988).