फैनो किस्म: Difference between revisions
No edit summary |
No edit summary |
||
| Line 8: | Line 8: | ||
* विशेषता शून्य में प्रत्येक प्रक्षेप्य विविधता जो एक रैखिक बीजगणितीय समूह के अंतर्गत सजातीय फ़ानो है। | * विशेषता शून्य में प्रत्येक प्रक्षेप्य विविधता जो एक रैखिक बीजगणितीय समूह के अंतर्गत सजातीय फ़ानो है। | ||
== | ==विशिष्ट गुण== | ||
एक्स पर कुछ पर्याप्त लाइन बंडल का अस्तित्व एक्स के एक [[प्रक्षेप्य किस्म]] होने के बराबर है, इसलिए एक फ़ानो किस्म हमेशा प्रक्षेप्य होती है। जटिल संख्याओं पर फ़ानो किस्म <math>H^j(X , \mathcal{O}_X)</math> संरचना का शीफ़ गायब हो जाता है <math>j> 0</math>. विशेष रूप से, टोड जीनस <math>\chi (X, \mathcal{O})= \sum (-1)^j h^j(X , \mathcal{O}_X)</math> स्वचालित रूप से 1 के बराबर होता है. <math>j=1,2</math> h> इस लुप्त हो रहे कथन के मामले हमें यह भी बताते हैं कि पहला चेर्न वर्ग एक समरूपता उत्पन्न करता | एक्स पर कुछ पर्याप्त लाइन बंडल का अस्तित्व एक्स के एक [[प्रक्षेप्य किस्म]] होने के बराबर है, इसलिए एक फ़ानो किस्म हमेशा प्रक्षेप्य होती है। जटिल संख्याओं पर फ़ानो किस्म <math>H^j(X , \mathcal{O}_X)</math> संरचना का शीफ़ डिस्प्लेस्टाइल गायब हो जाता है <math>j> 0</math>. विशेष रूप से, टोड जीनस <math>\chi (X, \mathcal{O})= \sum (-1)^j h^j(X , \mathcal{O}_X)</math> स्वचालित रूप से 1 के बराबर होता है. <math>j=1,2</math> h> इस लुप्त हो रहे कथन के मामले हमें यह भी बताते हैं कि पहला चेर्न वर्ग एक समरूपता उत्पन्न करता है। <math>c_1: Pic(X)\to H^2(X, \mathbb{Z})</math> | ||
याउ के [[कैलाबी अनुमान]] के समाधान | याउ के [[कैलाबी अनुमान]] के समाधान के अनुसार, एक सहज जटिल विविधता सकारात्मक रिक्की वक्रता के काहलर मेट्रिक्स को स्वीकार करती है यदि और केवल यदि यह फ़ानो है। इसलिए मायर्स का प्रमेय हमें बताता है कि फैनो मैनिफोल्ड का [[सार्वभौमिक आवरण]] कॉम्पैक्ट है, और इसलिए यह केवल एक सीमित आवरण हो सकता है। हालाँकि, हमने अभी देखा है कि फैनो मैनिफोल्ड का टॉड जीनस 1 के बराबर होना चाहिए। चूंकि यह मैनिफोल्ड के सार्वभौमिक कवर पर भी लागू होगा, और चूंकि टॉड जीनस परिमित कवर के तहत गुणक है, इसलिए यह इस प्रकार है कि कोई भी फैनो मैनिफोल्ड से [[Index.php?title= जुड़ा हुआ|जुड़ा हुआ]] है। | ||
एक बहुत आसान तथ्य यह है कि प्रत्येक फ़ानो किस्म में कोडैरा आयाम होता | एक बहुत आसान तथ्य यह है कि प्रत्येक फ़ानो किस्म में कोडैरा आयाम होता है। -∞ | ||
कैम्पाना और | कैम्पाना और [[कोल्लार-मियाओका-मोरी]] ने दिखाया कि बीजगणितीय रूप से बंद क्षेत्र पर एक चिकनी फ़ानो किस्म [[तर्कसंगत रूप से श्रृंखला]] से जुड़ी हुई है; अर्थात्, किन्हीं दो बंद बिंदुओं को [[तर्कसंगत वक्रों]] की श्रृंखला से जोड़ा जा सकता है।<ref>J. Kollár. Rational Curves on Algebraic Varieties. Theorem V.2.13.</ref> कोल्लार-मियाओका-मोरी ने यह भी दिखाया कि विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर दिए गए आयाम की चिकनी फ़ानो किस्में एक बंधे हुए परिवार का निर्माण करती हैं, जिसका अर्थ है कि उन्हें सीमित रूप से कई बीजगणितीय किस्मों के बिंदुओं द्वारा वर्गीकृत किया जाता है।<ref>J. Kollár. Rational Curves on Algebraic Varieties. Corollary V.2.15.</ref> विशेष रूप से, प्रत्येक आयाम की फ़ानो किस्मों के केवल सीमित रूप से कई विरूपण वर्ग हैं। इस अर्थ में, फ़ानो किस्में [[सामान्य प्रकार]] की किस्मों जैसे अन्य वर्गों की तुलना में बहुत अधिक विशेष हैं। | ||
कोल्लार-मियाओका-मोरी ने यह भी दिखाया कि विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर दिए गए आयाम की चिकनी फ़ानो किस्में एक बंधे हुए परिवार का निर्माण करती हैं, जिसका अर्थ है कि उन्हें सीमित रूप से कई बीजगणितीय किस्मों के बिंदुओं द्वारा वर्गीकृत किया जाता है।<ref>J. Kollár. Rational Curves on Algebraic Varieties. Corollary V.2.15.</ref> विशेष रूप से, प्रत्येक आयाम की फ़ानो किस्मों के केवल सीमित रूप से कई विरूपण वर्ग हैं। इस अर्थ में, | |||
==छोटे आयामों में वर्गीकरण== | ==छोटे आयामों में वर्गीकरण== | ||
Revision as of 13:54, 22 July 2023
बीजगणितीय ज्यामिति में, गीनो फ़ानो द्वारा (फ़ानो 1934, 1942) में पेश की गई फ़ानो किस्म, एक पूर्ण किस्म X है जिसका एंटीकैनोनिकल बंडल KX* पर्याप्त है। इस परिभाषा में, कोई यह मान सकता है कि एक्स एक क्षेत्र पर चिकनी योजना है, लेकिन न्यूनतम मॉडल कार्यक्रम ने विभिन्न प्रकार की विलक्षणताओं, जैसे टर्मिनल या केएलटी विलक्षणताओं के साथ फ़ानो किस्मों के अध्ययन को भी प्रेरित किया है। हाल ही में विभेदक ज्यामिति में तकनीकों को जटिल संख्याओं पर फ़ानो किस्मों के अध्ययन के लिए लागू किया गया है, और फ़ानो किस्मों के मॉड्यूलि रिक्त स्थान का निर्माण करने और फ़ानो किस्मों की के-स्थिरता के अध्ययन के माध्यम से उन पर काहलर-आइंस्टीन मेट्रिक्स के अस्तित्व को साबित करने में सफलता मिली है।
उदाहरण
- फ़ानो किस्मों का मूल उदाहरण प्रक्षेप्य स्थान है: फ़ील्ड k पर Pn का एंटीकैनोनिकल लाइन बंडल O(n+1) है, जो बहुत पर्याप्त है (जटिल संख्याओं पर, इसकी वक्रता फ़ुबिनी-स्टडी सिम्पलेक्टिक फॉर्म का n+1 गुना है)।
- मान लीजिए D, Pn में एक सुचारु संहिता-1 उपविविधता है। सहायक सूत्र का तात्पर्य है कि KD = (KX + D)|D = (-(n+1)H + deg(D)H)|D, जहां H एक हाइपरप्लेन का वर्ग है। हाइपरसरफेस डी इसलिए फैनो है यदि और केवल यदि डिग्री (डी) < एन + 1 है।
- अधिक आम तौर पर, एन-आयामी प्रक्षेप्य स्थान में हाइपरसर्फेस का एक सहज पूर्ण प्रतिच्छेदन फ़ानो है यदि और केवल तभी जब उनकी डिग्री का योग अधिकतम एन हो।
- वेटेड प्रजेक्टिव स्पैस P(a0,...,an) एक विलक्षण (klt) फ़ानो किस्म है। यह एक श्रेणीबद्ध बहुपद रिंग से जुड़ी प्रक्षेप्य योजना है जिसके जनरेटर की डिग्री a0,...,an है। यदि यह अच्छी तरह से गठित है, इस अर्थ में कि संख्याओं में से किसी भी n का सामान्य गुणनखंड 1 से अधिक नहीं है, तो हाइपरसर्फेस का कोई भी पूर्ण प्रतिच्छेदन, जैसे कि उनकी डिग्री का योग a0+...+an से कम है, एक फ़ानो किस्म है।
- विशेषता शून्य में प्रत्येक प्रक्षेप्य विविधता जो एक रैखिक बीजगणितीय समूह के अंतर्गत सजातीय फ़ानो है।
विशिष्ट गुण
एक्स पर कुछ पर्याप्त लाइन बंडल का अस्तित्व एक्स के एक प्रक्षेप्य किस्म होने के बराबर है, इसलिए एक फ़ानो किस्म हमेशा प्रक्षेप्य होती है। जटिल संख्याओं पर फ़ानो किस्म संरचना का शीफ़ डिस्प्लेस्टाइल गायब हो जाता है . विशेष रूप से, टोड जीनस स्वचालित रूप से 1 के बराबर होता है. h> इस लुप्त हो रहे कथन के मामले हमें यह भी बताते हैं कि पहला चेर्न वर्ग एक समरूपता उत्पन्न करता है।
याउ के कैलाबी अनुमान के समाधान के अनुसार, एक सहज जटिल विविधता सकारात्मक रिक्की वक्रता के काहलर मेट्रिक्स को स्वीकार करती है यदि और केवल यदि यह फ़ानो है। इसलिए मायर्स का प्रमेय हमें बताता है कि फैनो मैनिफोल्ड का सार्वभौमिक आवरण कॉम्पैक्ट है, और इसलिए यह केवल एक सीमित आवरण हो सकता है। हालाँकि, हमने अभी देखा है कि फैनो मैनिफोल्ड का टॉड जीनस 1 के बराबर होना चाहिए। चूंकि यह मैनिफोल्ड के सार्वभौमिक कवर पर भी लागू होगा, और चूंकि टॉड जीनस परिमित कवर के तहत गुणक है, इसलिए यह इस प्रकार है कि कोई भी फैनो मैनिफोल्ड से जुड़ा हुआ है।
एक बहुत आसान तथ्य यह है कि प्रत्येक फ़ानो किस्म में कोडैरा आयाम होता है। -∞
कैम्पाना और कोल्लार-मियाओका-मोरी ने दिखाया कि बीजगणितीय रूप से बंद क्षेत्र पर एक चिकनी फ़ानो किस्म तर्कसंगत रूप से श्रृंखला से जुड़ी हुई है; अर्थात्, किन्हीं दो बंद बिंदुओं को तर्कसंगत वक्रों की श्रृंखला से जोड़ा जा सकता है।[1] कोल्लार-मियाओका-मोरी ने यह भी दिखाया कि विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर दिए गए आयाम की चिकनी फ़ानो किस्में एक बंधे हुए परिवार का निर्माण करती हैं, जिसका अर्थ है कि उन्हें सीमित रूप से कई बीजगणितीय किस्मों के बिंदुओं द्वारा वर्गीकृत किया जाता है।[2] विशेष रूप से, प्रत्येक आयाम की फ़ानो किस्मों के केवल सीमित रूप से कई विरूपण वर्ग हैं। इस अर्थ में, फ़ानो किस्में सामान्य प्रकार की किस्मों जैसे अन्य वर्गों की तुलना में बहुत अधिक विशेष हैं।
छोटे आयामों में वर्गीकरण
निम्नलिखित चर्चा जटिल संख्याओं पर चिकनी फ़ानो किस्मों से संबंधित है।
फ़ानो वक्र प्रक्षेप्य रेखा की समरूपता है।
फ़ानो सतह को टुकड़े की सतह का भी कहा जाता है। प्रत्येक डेल पेज़ो सतह या तो पी के समरूपी है1× पी1या प्रक्षेप्य तल को अधिकतम 8 बिंदुओं पर उड़ाया गया, जो सामान्य स्थिति में होना चाहिए। परिणामस्वरूप, वे सभी तर्कसंगत किस्म के हैं।
आयाम 3 में, चिकनी जटिल फ़ानो किस्में हैं जो तर्कसंगत नहीं हैं, उदाहरण के लिए पी में घन 3-गुना4 (हर्बर्ट क्लेमेंस द्वारा - फिलिप ग्रिफिथ्स) और पी में क्वार्टिक 3-फोल्ड्स4 (वसीली इस्कोव्स्कीख - यूरी मनिन होगा)। Iskovskih (1977, 1978, 1979) दूसरे बेटी नंबर 1 के साथ चिकनी फैनो 3-फोल्ड को 17 वर्गों में वर्गीकृत किया, और Mori & Mukai (1981) कम से कम 2 दूसरी बेट्टी संख्या के साथ चिकने लोगों को वर्गीकृत किया, 88 विरूपण वर्गों का पता लगाया। चिकनी फ़ानो 3-फ़ोल्ड्स के वर्गीकरण का एक विस्तृत सारांश दिया गया है Iskovskikh & Prokhorov (1999).
यह भी देखें
- आकृतियों की आवर्त सारणी सभी फ़ानो किस्मों को तीन, चार और पाँच आयामों में वर्गीकृत करने की एक परियोजना है।
टिप्पणियाँ
बाहरी संबंध
- Fanography - A tool to visually study the classification of threedimensional Fano varieties.
संदर्भ
- Fano, Gino (1934), "Sulle varietà algebriche a tre dimensioni aventi tutti i generi nulli", Proc. Internat. Congress Mathematicians (Bologna), 4, Zanichelli, pp. 115–119
- Fano, Gino (1942), "Su alcune varietà algebriche a tre dimensioni razionali, e aventi curve-sezioni canoniche", Commentarii Mathematici Helvetici, 14: 202–211, doi:10.1007/BF02565618, ISSN 0010-2571, MR 0006445, S2CID 123641847
- Iskovskih, V. A. (1977), "Fano threefolds. I", Math. USSR Izv., 11 (3): 485–527, doi:10.1070/IM1977v011n03ABEH001733, ISSN 0373-2436, MR 0463151
- Iskovskih, V. A. (1978), "Fano 3-folds II", Math USSR Izv., 12 (3): 469–506, Bibcode:1978IzMat..12..469I, doi:10.1070/im1978v012n03abeh001994, MR 0463151
- Iskovskih, V. A. (1979), "Anticanonical models of three-dimensional algebraic varieties", Current problems in mathematics, Vol. 12 (Russian), VINITI, Moscow, pp. 59–157, MR 0537685
- Iskovskikh, V. A. (1980). "Anticanonical models of three-dimensional algebraic varieties". Journal of Soviet Mathematics. 13 (6): 745–814. doi:10.1007/BF01084563. S2CID 119602399.
- Iskovskikh, V. A.; Prokhorov, Yu. G. (1999), "Fano varieties", in A. N. Parshin; I. R. Shafarevich (eds.), Algebraic Geometry, V. Encyclopedia Math. Sci., 47, Springer-Verlag, pp. 1–247, ISBN 3-540-61468-0, MR 1668579
- Kollár, János (1996), Rational Curves on Algebraic Varieties, Berlin, Heidelberg: Springer-Verlag, doi:10.1007/978-3-662-03276-3, ISBN 978-3-642-08219-1, MR 1440180
- Kulikov, Vik.S. (2001) [1994], "Fano_variety", Encyclopedia of Mathematics, EMS Press
- Mori, Shigefumi; Mukai, Shigeru (1981), "Classification of Fano 3-folds with B2≥2", Manuscripta Mathematica, 36 (2): 147–162, doi:10.1007/BF01170131, ISSN 0025-2611, MR 0641971, S2CID 189831516
- Mori, Shigefumi; Mukai, Shigeru (2003), "Erratum: "Classification of Fano 3-folds with B2≥2"", Manuscripta Mathematica, 110 (3): 407, doi:10.1007/s00229-002-0336-2, ISSN 0025-2611, MR 1969009, S2CID 121266346
