K3 सतह

3-स्पेस में स्मूथ चतुर्थक सतह यह आंकड़ा निश्चित जटिल K3 सतह (जटिल आयाम 2, इसलिए वास्तविक आयाम 4) में तर्कसंगत बिंदु (वास्तविक आयाम 2 का) का भाग प्रदर्शित करता है।

Dans la seconde partie de mon rapport, il s'agit des variétés kählériennes dites K3, ainsi nommées en l'honneur de Kummer, Kähler, Kodaira et de la belle montagne K2 au Cachemire.

In the second part of my report, we deal with the Kähler varieties known as K3, named in honor of Kummer, Kähler, Kodaira and of the beautiful mountain K2 in Kashmir.

André Weil (1958, p. 546), describing the reason for the name "K3 surface"

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

$x^{4}+y^{4}+z^{4}+w^{4}=0$

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

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

परिभाषा

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

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

बेट्टी संख्या की गणना

जटिल विश्लेषणात्मक K3 सतह की बेट्टी संख्याओं की गणना निम्नानुसार की जाती है। ( समान तर्क एल-एडिक कोहोमोलॉजी का उपयोग करके परिभाषित किसी भी क्षेत्र पर बीजगणितीय K3 सतह की बेट्टी संख्याओं के लिए समान उत्तर देता है।) परिभाषा के अनुसार, विहित बंडल $K_{X}=\Omega _{X}^{2}$ तुच्छ है, और अनियमितता 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 \mathbb {Z} _{X}\to O_{X}\to O_{X}^{*}\to 0$ कोहोमोलोजी समूहों का त्रुटिहीन क्रम देता है, $0\to H^{1}(X,\mathbb {Z} )\to H^{1}(X,O_{X})$, इसलिए $H^{1}(X,\mathbb {Z} )=0$. इस प्रकार बेट्टी संख्या $b_{1}(X)$ शून्य है, और पोंकारे द्वंद्व द्वारा, $b_{3}(X)$ शून्य भी है, $c_{2}(X)=24$ टोपोलॉजिकल यूलर विशेषता के समान है

$\chi (X)=\sum _{i}(-1)^{i}b_{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 सतह की जटिल प्रक्षेप्य प्रकारो के लिए हॉज सिद्धांत हॉज हीरे में सूचीबद्ध हैं:

  		1
  	0		0
  1		20		1
  	0		0
  		1

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

उदाहरण

• प्रक्षेप्य तल का शाखित आवरण X चिकने सेक्सटिक (डिग्री 6) वक्र के साथ शाखाबद्ध होता है, जो जीनस 2 की K3 सतह है (अर्थात, डिग्री 2g−2 = 2) I (इस शब्दावली का अर्थ है कि सामान्य हाइपरप्लेन की X में विपरीत छवि $\mathbf {P} ^{2}$ जीनस का सहज वक्र है (गणित) 2.)
• स्मूथ चतुर्थक (डिग्री 4) सतह $\mathbf {P} ^{3}$ जीनस 3 (अर्थात डिग्री 4) की K3 सतह है।
• कुमेर सतह क्रिया द्वारा द्वि-आयामी एबेलियन प्रकार A का भागफल $a\mapsto -a$ है I इसके परिणामस्वरूप A के 2-मरोड़ बिंदुओं पर 16 विलक्षणताएँ होती हैं। इस विलक्षण सतह की विलक्षणताओं के समाधान को कुमेर सतह भी कहा जा सकता है; वह समाधान K3 सतह है। जब A जीनस 2 के वक्र की जैकोबियन प्रकार है, तो कुमेर ने भागफल प्रदर्शित किया I $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,\mathbb {Z} )\cong \mathbb {Z} ^{22}$. यह K3 सतहों की महत्वपूर्ण विशेषता है कि कई अलग-अलग पिकार्ड संख्याएँ हो सकती हैं। X के लिए जटिल बीजगणितीय K3 सतह, $\rho$ 1 और 20 के मध्य कोई भी पूर्णांक हो सकता है। जटिल विश्लेषणात्मक सम्बन्ध में, $\rho$ शून्य भी हो सकता है. (उस स्थिति में, K3 सतह पर, पिकार्ड संख्या 22 के साथ।

K3 सतह के 'पिकार्ड जाली' का अर्थ है एबेलियन समूह Pic(X) इसके प्रतिच्छेदन रूप के साथ, पूर्णांकों में मानों के साथ सममित द्विरेखीय रूप। (ऊपर $\mathbb {C}$, प्रतिच्छेदन प्रपत्र का अर्थ है प्रतिच्छेदन प्रपत्र पर प्रतिबंध $H^{2}(X,\mathbb {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 सतह गैर-अपक्षयी होलोमोर्फिक मानचित्र को स्वीकार करती है $\mathbb {C} ^{2}$ (जहां नॉनडीजेनरेट का अर्थ है कि मानचित्र का व्युत्पन्न किसी बिंदु पर समरूपता है)।

अवधि मानचित्र

जटिल विश्लेषणात्मक K3 सतह X के अंकन को जालकों की समरूपता के रूप में परिभाषित करें $H^{2}(X,\mathbb {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 \mathbb {C} ):u^{2}=0,\,u\cdot {\overline {u}}>0\}.$

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

$N/O(\Lambda )\to D/O(\Lambda )$

वस्तुनिष्ठ है. इससे यह निष्कर्ष निकलता है कि दो जटिल विश्लेषणात्मक K3 सतहें $H^{2}(X,\mathbb {Z} )$ को $H^{2}(Y,\mathbb {Z} )$, अर्थात्, एबेलियन समूहों का समरूपता जो प्रतिच्छेदन रूप को संरक्षित करता है और भेजता है $H^{0}(X,\Omega ^{2})\subset H^{2}(X,\mathbb {C} )$ को $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$. द्वारा इस क्षेत्र का सर्वेक्षण दिया गया Voisin (2008).

विभिन्न 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 \mathbb {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 स्ट्रिंग, E₈×E₈ हेटेरोटिक स्ट्रिंग, स्पिन(32)/जेड2 हेटेरोटिक स्ट्रिंग, और एम-सिद्धांत K3 सतह पर संघनन द्वारा संबंधित हैं। उदाहरण के लिए, K3 सतह पर संकुचित प्रकार IIA स्ट्रिंग 4-टोरस पर संकुचित हेटेरोटिक स्ट्रिंग के समान है (Aspinwall (1996)).

इतिहास

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

यह भी देखें

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

संदर्भ

• Aspinwall, Paul (1997), "K3 surfaces and string duality", Fields, strings and duality (Boulder, CO, 1996), World Scientific, pp. 421–540, arXiv:hep-th/9611137, MR 1479699
• Barth, Wolf P.; Hulek, Klaus; Peters, Chris A.M.; Van de Ven, Antonius (2004) [1984], Compact complex surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, vol. 4, Springer, doi:10.1007/978-3-642-57739-0, ISBN 978-3-540-00832-3, MR 2030225
• Beauville, Arnaud (1983), "Surfaces K3", Bourbaki seminar, Vol. 1982/83 Exp 609, Astérisque, vol. 105, Paris: Société Mathématique de France, pp. 217–229, MR 0728990
• Beauville, A.; Bourguignon, J.-P.; Demazure, M. (1985), Géométrie des surfaces K3: modules et périodes, Séminaire Palaiseau, Astérisque, vol. 126, Paris: Société Mathématique de France, MR 0785216
• Brown, Gavin (2007), "A database of polarized K3 surfaces", Experimental Mathematics, 16 (1): 7–20, doi:10.1080/10586458.2007.10128983, MR 2312974, S2CID 24693572
• Burns, Daniel; Rapoport, Michael (1975), "On the Torelli problem for kählerian K-3 surfaces", Annales Scientifiques de l'École Normale Supérieure, Série 4, 8 (2): 235–273, doi:10.24033/asens.1287, MR 0447635
• Enriques, Federigo (1893), "Richerche di geometria sulle superficie algebriche", Memorie Accademia di Torino, 2, 44: 171–232, JFM 25.1212.02
• Enriques, Federigo (1909), "Le superficie di genere uno", Rendiconti Accademia di Bologna, 13: 25–28, JFM 40.0685.01
• Gritsenko, V. A.; Hulek, Klaus; Sankaran, G. K. (2007), "The Kodaira dimension of the moduli of K3 surfaces", Inventiones Mathematicae, 169 (3): 519–567, arXiv:math/0607339, Bibcode:2007InMat.169..519G, doi:10.1007/s00222-007-0054-1, MR 2336040, S2CID 14877568
• Huybrechts, Daniel (2016), Lectures on K3 surfaces (PDF), Cambridge Studies in Advanced Mathematics, vol. 158, Cambridge University Press, ISBN 978-1107153042, MR 3586372
• Kamenova, Ljudmila; Lu, Steven; Verbitsky, Misha (2014), "Kobayashi pseudometric on hyperkähler manifolds", Journal of the London Mathematical Society, 90 (2): 436–450, arXiv:1308.5667, doi:10.1112/jlms/jdu038, MR 3263959, S2CID 28495199
• Mukai, Shigeru (2006), "Polarized K3 surfaces of genus thirteen", Moduli spaces and arithmetic geometry, Adv. Stud. Pure Math., vol. 45, Tokyo: Math. Soc. Japan, pp. 315–326, MR 2310254
• Pjateckiĭ-Šapiro, I. I.; Šafarevič, I. R. (1971), "Torelli's theorem for algebraic surfaces of type K3", Mathematics of the USSR – Izvestia, 5 (3): 547–588, Bibcode:1971IzMat...5..547P, doi:10.1070/IM1971v005n03ABEH001075, MR 0284440
• Rudakov, A.N. (2001) [1994], "K3 surface", Encyclopedia of Mathematics, EMS Press
• Scorpan, Alexandru (2005), The wild world of 4-manifolds, American Mathematical Society, ISBN 978-0-8218-3749-8, MR 2136212
• Severi, Francesco (1909), "Le superficie algebriche con curva canonica d'ordine zero" (PDF), Atti del Istituto Veneto, 68: 249–260, JFM 40.0683.03
• Voisin, Claire (2008), "Géométrie des espaces de modules de courbes et de surfaces K3 (d'après Gritsenko-Hulek-Sankaran, Farkas-Popa, Mukai, Verra, et al.)" (PDF), Astérisque, Séminaire Bourbaki. 2006/2007. Exp 981 (317): 467–490, ISBN 978-2-85629-253-2, MR 2487743
• Weil, André (1958), "Final report on contract AF 18(603)-57", Scientific works. Collected papers, vol. II, Berlin, New York: Springer-Verlag, pp. 390–395, 545–547, ISBN 978-0-387-90330-9, MR 0537935

बाहरी संबंध

• 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).