फ्लैट टोपोलॉजी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
गणित में, '''फ्लैट टोपोलॉजी''' एक [[ग्रोथेंडिक टोपोलॉजी]] है जिसका उपयोग [[बीजगणितीय ज्यामिति]] में किया जाता है। इसका उपयोग फ्लैट कोहोमोलॉजी के सिद्धांत को परिभाषित करने के लिए किया जाता है; यह वंशानुक्रम सिद्धांत (श्रेणी सिद्धांत) विश्वसनीय रूप से फ्लैट वंशानुक्रम) के सिद्धांत में भी एक मौलिक भूमिका निभाता है।<ref>{{SpringerEOM|title=Form of an (algebraic) structure}}</ref> यहां ''फ्लैट''  शब्द [[फ्लैट मॉड्यूल]] से आया है।
गणित में, '''फ्लैट टोपोलॉजी''' एक [[ग्रोथेंडिक टोपोलॉजी]] है जिसका उपयोग [[बीजगणितीय ज्यामिति]] में किया जाता है। इसका उपयोग फ्लैट कोहोमोलॉजी के सिद्धांत को परिभाषित करने के लिए किया जाता है; यह वंशानुक्रम सिद्धांत (श्रेणी सिद्धांत) विश्वसनीय रूप से फ्लैट वंशानुक्रम) के सिद्धांत में भी एक मौलिक भूमिका निभाता है।<ref>{{SpringerEOM|title=Form of an (algebraic) structure}}</ref> यहां ''फ्लैट''  शब्द [[फ्लैट मॉड्यूल]] से आया है।


कई अलग-अलग फ्लैट टोपोलॉजी होती हैं, जिनमें से सबसे सामान्य एफपीपीएफ टोपोलॉजी और एफपीक्यूसी टोपोलॉजी होती हैं। ''एफपीपीएफ'' का अर्थ है ''{{lang|fr|फिडेलमेंट प्लेट डी प्रेजेंटेशन फ़िनी,}}'' और इस टोपोलॉजी में, एफ़िन योजनाओं का एक कवरिंग रूपवाद होता है यदि यह विश्वसनीयता से फ्लैट और परिमित प्रस्तुति का है। एफपीक्यूसी का अर्थ है {{lang|fr|फिडेलमेंट प्लेट और अर्ध-कॉम्पैक्ट}}, और इस टोपोलॉजी में, एफ़िन योजनाओं का एक कवरिंग रूपवाद होता है यदि यह विश्वसनीयता से फ्लैट है। दोनों श्रेणियों में, एक कवरिंग श्रेणी को एक ऐसे श्रेणी के रूप में परिभाषित किया गया है जो ज़ारिस्की ओपन उपसमुच्चय पर एक आच्छादित होता है।<ref>SGA III<sub>1</sub>, IV 6.3.</ref> एफपीक्यूसी टोपोलॉजी में, कोई भी फ्लैट और अर्ध-सघन रूपवाद एक आवरण होता है।<ref>SGA III<sub>1</sub>, IV 6.3, Proposition 6.3.1(v).</ref> ये टोपोलॉजी (श्रेणी सिद्धांत) से समीपता से संबंधित होती हैं। अर्ध सघनता या परिमित प्रस्तुति जैसी किसी अतिरिक्त परिमितता की स्थिति के बिना फ्लैट टोपोलॉजी का अधिक उपयोग नहीं किया जाता है क्योंकि यह उपविहित नहीं होते है; दूसरे शब्दों में, प्रतिनिधित्व करने योग्य कारकों को ढेर होने की आवश्यकता नहीं है।
कई अलग-अलग फ्लैट टोपोलॉजी होती हैं, जिनमें से सबसे सामान्य एफपीपीएफ टोपोलॉजी और एफपीक्यूसी टोपोलॉजी होती हैं। ''एफपीपीएफ'' का अर्थ है ''{{lang|fr|फिडेलमेंट प्लेट डी प्रेजेंटेशन फ़िनी,}}'' और इस टोपोलॉजी में, एफ़िन योजनाओं का एक आवरणिंग आकारिता होता है यदि यह विश्वसनीयता से फ्लैट और परिमित प्रस्तुति का है। एफपीक्यूसी का अर्थ है {{lang|fr|फिडेलमेंट प्लेट और अर्ध-कॉम्पैक्ट}}, और इस टोपोलॉजी में, एफ़िन योजनाओं का एक आवरणिंग आकारिता होता है यदि यह विश्वसनीयता से फ्लैट है। दोनों श्रेणियों में, एक आवरणिंग श्रेणी को एक ऐसे श्रेणी के रूप में परिभाषित किया गया है जो ज़ारिस्की ओपन उपसमुच्चय पर एक आच्छादित होता है।<ref>SGA III<sub>1</sub>, IV 6.3.</ref> एफपीक्यूसी टोपोलॉजी में, कोई भी फ्लैट और अर्ध-सघन आकारिता एक आवरण होता है।<ref>SGA III<sub>1</sub>, IV 6.3, Proposition 6.3.1(v).</ref> ये टोपोलॉजी वंशानुक्रम (श्रेणी सिद्धांत) समीपता से संबंधित होती हैं। "शुद्ध" विश्वसनीयता से फ्लैट टोपोलॉजी बिना किसी अतिरिक्त परिमितता की स्थिति जैसे कि अर्ध सघनता या परिमित प्रस्तुति के रूप में अधिक उपयोग नहीं की जाती है क्योंकि यह उपविहित नहीं है; दूसरे शब्दों में, प्रतिनिधित्वयोग्य कारकों को पुलिंदा करने की आवश्यकता नहीं होती है।
 
दुर्भाग्य से फ्लैट टोपोलॉजी के लिए शब्दावली मानकीकृत नहीं है। कुछ लेखक प्रीटोपोलॉजी के लिए टोपोलॉजी शब्द का उपयोग करते हैं, और कई अलग-अलग प्रीटोपोलॉजी हैं जिन्हें कभी-कभी एफपीपीएफ या एफपीक्यूसी (प्री) टोपोलॉजी कहा जाता है, जो कभी-कभी एक ही टोपोलॉजी देते हैं।
 
फ़्लैट कोहोमोलॉजी की शुरुआत ग्रोथेंडिक ने लगभग 1960 में की थी।<ref>*{{Citation | last1=Grothendieck | first1=Alexander | author1-link=Alexander Grothendieck | last2=Raynaud | first2=Michèle | title=Revêtements étales et groupe fondamental (SGA 1) | orig-year=1971 | arxiv=math/0206203 | publisher=[[Société Mathématique de France]] | location=Paris | series=Documents Mathématiques (Paris) [Mathematical Documents (Paris)] | isbn=978-2-85629-141-2 | mr=2017446 | year=2003 | volume=3|page=XI.4.8| bibcode=2002math......6203G }}</ref>


दुर्भाग्य से फ्लैट टोपोलॉजी के लिए शब्दावली मानकीकृत नहीं होते है। कुछ लेखक प्रीटोपोलॉजी के लिए "टोपोलॉजी" शब्द का उपयोग करते हैं, और कई अलग-अलग प्रीटोपोलॉजी हैं जिन्हें कभी-कभी एफपीपीएफ या एफपीक्यूसी (प्री) टोपोलॉजी कहा जाता है, जो कभी-कभी एक ही टोपोलॉजी देते हैं।


फ़्लैट कोहोमोलॉजी को प्रारंभ ग्रोथेंडिक ने लगभग 1960 में की थी।<ref>*{{Citation | last1=Grothendieck | first1=Alexander | author1-link=Alexander Grothendieck | last2=Raynaud | first2=Michèle | title=Revêtements étales et groupe fondamental (SGA 1) | orig-year=1971 | arxiv=math/0206203 | publisher=[[Société Mathématique de France]] | location=Paris | series=Documents Mathématiques (Paris) [Mathematical Documents (Paris)] | isbn=978-2-85629-141-2 | mr=2017446 | year=2003 | volume=3|page=XI.4.8| bibcode=2002math......6203G }}</ref>
== बड़ी और छोटी एफपीपीएफ साइटें ==
== बड़ी और छोटी एफपीपीएफ साइटें ==


मान लीजिए कि X एक [[एफ़िन योजना]] है। हम एक्स के 'एफपीपीएफ कवर' को आकारिकी के एक सीमित और संयुक्त रूप से विशेषण श्रेणी के रूप में परिभाषित करते हैं
मान लीजिए कि X एक [[एफ़िन योजना]] है। हम X के 'एफपीपीएफ आवरण' को आकारिकी के एक सीमित और संयुक्त रूप से विशेषण श्रेणी के रूप में परिभाषित करते हैं
 
:(φ<sub>a</sub> : एक्स<sub>a</sub> → एक्स)


प्रत्येक एक्स के साथ<sub>a</sub> एफ़िन और प्रत्येक φ<sub>a</sub> समतल आकारिकी, योजना सिद्धांत की शब्दावली#परिमित.2सी अर्ध-परिमित.2सी परिमित प्रकार.2सी और परिमित प्रस्तुति आकारिकी। यह एक [[प्रीटोपोलॉजी]] उत्पन्न करता है: एक्स मनमाना के लिए, हम एक श्रेणी के रूप में एक्स के एफपीपीएफ कवर को परिभाषित करते हैं
(''φ''<sub>a</sub> : ''X''<sub>a</sub> → ''X'')


:(φ<sub>a</sub> : एक्स<sub>a</sub> → एक्स)
प्रत्येक  ''X''<sub>a</sub> एफ़िन और प्रत्येक φ<sub>a</sub> फ़्लैट के साथ, परिमित रूप से प्रस्तुत किया गया। यह एक [[प्रीटोपोलॉजी]] उत्पन्न करता है: X यादृच्छिक रूप के लिए, हम एक श्रेणी के रूप में ''X'' के एफपीपीएफ आवरण को परिभाषित करते हैं


जो कि आधार के एक्स के एक खुले एफ़िन उपयोजना में बदलने के बाद एक एफपीपीएफ कवर है। यह प्रीटोपोलॉजी एक टोपोलॉजी उत्पन्न करती है जिसे एफपीपीएफ टोपोलॉजी कहा जाता है। (यह उस टोपोलॉजी के समान नहीं है जो हमें मिलती यदि हम मनमाने ढंग से एक्स और एक्स के साथ शुरू करते<sub>a</sub> और कवरिंग श्रेणीों को फ्लैट, अंतिम रूप से प्रस्तुत आकारिकी के संयुक्त रूप से विशेषण वाले श्रेणी के रूप में लिया।) हम एफपीपीएफ टोपोलॉजी के साथ योजनाओं की श्रेणी के लिए एफपीपीएफ लिखते हैं।
:(φ<sub>a</sub> : X<sub>a</sub> → X)


'एक्स' की 'छोटी एफपीपीएफ साइट' श्रेणी ओ(एक्स) है<sub>fppf</sub>) जिनकी वस्तुएं एक निश्चित रूपवाद यू → एक्स के साथ योजनाएं यू हैं जो कुछ कवरिंग श्रेणी का हिस्सा हैं। (इसका मतलब यह नहीं है कि रूपवाद फ्लैट है, परिमित रूप से प्रस्तुत किया गया है।) रूपवाद एक्स के निश्चित मानचित्रों के साथ संगत योजनाओं के रूपवाद हैं। 'एक्स' की बड़ी एफपीपीएफ साइट श्रेणी एफपीपीएफ/एक्स है, यानी, X के लिए एक निश्चित मानचित्र वाली योजनाओं की श्रेणी, fppf टोपोलॉजी के साथ मानी जाती है।
जो कि आधार X के एक विवृत एफ़िन उपयोजना में बदलने के बाद एक एफपीपीएफ आवरण होता है। यह प्रीटोपोलॉजी एक टोपोलॉजी उत्पन्न करती है जिसे एफपीपीएफ टोपोलॉजी कहा जाता है। (यह उस टोपोलॉजी के समान नहीं है जो हमें तब मिलती जब हमें यादृच्छिक रूप से ''X'' और  ''X''<sub>a</sub> के साथ प्रारंभ करते और श्रेणीों को फ्लैट, अंतिम रूप से प्रस्तुत आकारिकी के संयुक्त रूप से विशेषण वाले श्रेणी के रूप में लिया जाता है।) हम एफपीपीएफ टोपोलॉजी के साथ योजनाओं की श्रेणी के लिए एफपीपीएफ लिखते हैं।


एफपीपीएफ फिडेलमेंट प्लेट डी प्रेजेंटेशन फ़िनी का संक्षिप्त नाम है, यानी, ईमानदारी से फ्लैट और सीमित प्रस्तुति। समतल और परिमित रूप से प्रस्तुत आकारिकी का प्रत्येक विशेषण श्रेणी इस टोपोलॉजी के लिए एक कवरिंग श्रेणी है, इसलिए यह नाम है। एफपीपीएफ प्रीटोपोलॉजी की परिभाषा एक अतिरिक्त अर्ध-परिमितता स्थिति के साथ भी दी जा सकती है; यह परिणाम 17.16.2 इंच से अनुसरण करता है
'X' की 'छोटी एफपीपीएफ साइट' श्रेणी ''O''(''X''<sub>fppf</sub>) होती है। जिनकी वस्तुएं एक निश्चित आकारिता U → X के साथ योजनाएं U होती हैं जो कुछ आवरण श्रेणी का हिस्सा होते हैं। (इसका अर्थ यह नहीं है कि आकारिता फ्लैट, परिमित रूप से प्रस्तुत किया गया है।) आकारिता X के निश्चित मानचित्रों के साथ संगत योजनाओं के रूपवाद होते हैं। 'X' की बड़ी एफपीपीएफ साइट श्रेणी एफपीपीएफ/X होती है, अर्थात , X के लिए एक निश्चित मानचित्र वाली योजनाओं की श्रेणी, जिसे एफपीपीएफ टोपोलॉजी के साथ माना जाता है।
ईजीए IV<sub>4</sub> कि यह वही टोपोलॉजी देता है।


एफपीपीएफ फिडेलमेंट प्लेट डी प्रेजेंटेशन फ़िनी का संक्षिप्त नाम है, अर्थात, विश्वसनीयता और सीमित प्रस्तुति" होती है। फ्लैट और परिमित रूप से प्रस्तुत आकारिकी का प्रत्येक विशेषण श्रेणी इस टोपोलॉजी के लिए एक आवरण श्रेणी होता है, इसलिए यह नाम है। एफपीपीएफ प्रीटोपोलॉजी की परिभाषा एक अतिरिक्त अर्ध-परिमितता स्थिति के साथ भी दी जा सकती है; EGA IV4 में परिणाम 17.16.2 से यह पता चलता है कि यह अनुसरण टोपोलॉजी करता है।
== बड़ी और छोटी एफपीक्यूसी साइटें ==
== बड़ी और छोटी एफपीक्यूसी साइटें ==


मान लीजिए कि X एक एफ़िन योजना है। हम एक्स के 'एफपीक्यूसी कवर' को आकारिकी के एक सीमित और संयुक्त रूप से विशेषण श्रेणी के रूप में परिभाषित करते हैं।<sub>α</sub> : एक्स<sub>α</sub> → X} प्रत्येक X के साथ<sub>α</sub> एफ़िन और प्रत्येक यू<sub>α</sub> फ्लैट रूपवाद. यह एक प्रीटोपोलॉजी उत्पन्न करता है: एक्स मनमाना के लिए, हम एक्स के एक एफपीक्यूसी कवर को एक श्रेणी के रूप में परिभाषित करते हैं {यू<sub>α</sub> : एक्स<sub>α</sub> → (यह उस टोपोलॉजी के समान नहीं है जो हमें मिलती यदि हम मनमाने ढंग से एक्स और एक्स के साथ शुरू करते<sub>α</sub> और कवरिंग श्रेणीों को फ्लैट आकारिकी के संयुक्त रूप से विशेषण वाले श्रेणी के रूप में लिया।) हम एफपीक्यूसी टोपोलॉजी के साथ योजनाओं की श्रेणी के लिए एफपीक्यूसी लिखते हैं।
मान लीजिए कि X एक एफ़िन योजना है। हम X के 'एफपीक्यूसी आवरण' को आकारिकी के एक सीमित और संयुक्त रूप से विशेषण श्रेणी के रूप में परिभाषित करते हैं।<sub>α</sub> : X<sub>α</sub> → X} प्रत्येक X के साथ<sub>α</sub> एफ़िन और प्रत्येक यू<sub>α</sub> फ्लैट आकारिता. यह एक प्रीटोपोलॉजी उत्पन्न करता है: X मनमाना के लिए, हम X के एक एफपीक्यूसी आवरण को एक श्रेणी के रूप में परिभाषित करते हैं {यू<sub>α</sub> : X<sub>α</sub> → (यह उस टोपोलॉजी के समान नहीं है जो हमें मिलती यदि हम यादृच्छिक ढंग से X और X के साथ प्रारंभ  करते<sub>α</sub> और आवरणिंग श्रेणीों को फ्लैट आकारिकी के संयुक्त रूप से विशेषण वाले श्रेणी के रूप में लिया।) हम एफपीक्यूसी टोपोलॉजी के साथ योजनाओं की श्रेणी के लिए एफपीक्यूसी लिखते हैं।


'एक्स' की 'छोटी एफपीक्यूसी साइट' श्रेणी ओ(एक्स) है<sub>fpqc</sub>) जिनकी वस्तुएं एक निश्चित रूपवाद यू → एक्स के साथ योजनाएं यू हैं जो कुछ कवरिंग श्रेणी का हिस्सा हैं। आकारिकी एक्स के लिए निश्चित मानचित्रों के साथ संगत योजनाओं के रूप हैं। 'एक्स' की 'बड़ी एफपीक्यूसी साइट' श्रेणी एफपीक्यूसी/एक्स है, यानी, एक्स के लिए एक निश्चित मानचित्र वाली योजनाओं की श्रेणी, एफपीक्यूसी टोपोलॉजी के साथ मानी जाती है। .
'X' की 'छोटी एफपीक्यूसी साइट' श्रेणी ओ(X) है<sub>fpqc</sub>) जिनकी वस्तुएं एक निश्चित आकारिता यू → X के साथ योजनाएं यू हैं जो कुछ आवरणिंग श्रेणी का हिस्सा हैं। आकारिकी X के लिए निश्चित मानचित्रों के साथ संगत योजनाओं के रूप हैं। 'X' की 'बड़ी एफपीक्यूसी साइट' श्रेणी एफपीक्यूसी/X है, अर्थात , X के लिए एक निश्चित मानचित्र वाली योजनाओं की श्रेणी, एफपीक्यूसी टोपोलॉजी के साथ मानी जाती है। .


  एफपीक्यूसी फिडेलमेंट प्लेट क्वासी-सघन का संक्षिप्त रूप है, यानी ईमानदारी से फ्लैट और क्वासी-सघन। फ्लैट और अर्ध-सघन आकारिकी का प्रत्येक विशेषण श्रेणी इस टोपोलॉजी के लिए एक कवरिंग श्रेणी है, इसलिए नाम।
  एफपीक्यूसी फिडेलमेंट प्लेट क्वासी-सघन का संक्षिप्त रूप है, अर्थात  ईमानदारी से फ्लैट और क्वासी-सघन। फ्लैट और अर्ध-सघन आकारिकी का प्रत्येक विशेषण श्रेणी इस टोपोलॉजी के लिए एक आवरणिंग श्रेणी है, इसलिए नाम।


==फ्लैट कोहोमोलॉजी==
==फ्लैट कोहोमोलॉजी==
Line 40: Line 36:
==उदाहरण==
==उदाहरण==


निम्नलिखित उदाहरण से पता चलता है कि बिना किसी परिमितता की स्थिति के ईमानदारी से फ्लैट टोपोलॉजी अच्छा व्यवहार क्यों नहीं करती है। मान लीजिए कि X बीजगणितीय रूप से बंद फ़ील्ड k पर एफ़िन रेखा है। X के प्रत्येक बंद बिंदु x के लिए हम स्थानीय रिंग R पर विचार कर सकते हैं<sub>''x''</sub> इस बिंदु पर, जो एक अलग मूल्यांकन रिंग है जिसके स्पेक्ट्रम में एक बंद बिंदु और एक खुला (सामान्य) बिंदु है। हम एक योजना Y प्राप्त करने के लिए उनके खुले बिंदुओं की पहचान करके इन स्पेक्ट्रा को एक साथ चिपकाते हैं। Y से X तक एक प्राकृतिक मानचित्र है। एफ़िन लाइन X सेट Spec(R) द्वारा कवर किया गया है<sub>''x''</sub>) जो ईमानदारी से फ्लैट टोपोलॉजी में खुले हैं, और इनमें से प्रत्येक सेट में Y के लिए एक प्राकृतिक मानचित्र है, और ये मानचित्र चौराहों पर समान हैं। हालाँकि उन्हें X से Y तक का नक्शा देने के लिए संयोजित नहीं किया जा सकता है, क्योंकि X और Y के अंतर्निहित स्थानों में अलग-अलग टोपोलॉजी हैं।
निम्नलिखित उदाहरण से पता चलता है कि बिना किसी परिमितता की स्थिति के ईमानदारी से फ्लैट टोपोलॉजी अच्छा व्यवहार क्यों नहीं करती है। मान लीजिए कि X बीजगणितीय रूप से बंद फ़ील्ड k पर एफ़िन रेखा है। X के प्रत्येक बंद बिंदु x के लिए हम स्थानीय रिंग R पर विचार कर सकते हैं<sub>''x''</sub> इस बिंदु पर, जो एक अलग मूल्यांकन रिंग है जिसके स्पेक्ट्रम में एक बंद बिंदु और एक खुला (सामान्य) बिंदु है। हम एक योजना Y प्राप्त करने के लिए उनके खुले बिंदुओं की पहचान करके इन स्पेक्ट्रा को एक साथ चिपकाते हैं। Y से X तक एक प्राकृतिक मानचित्र है। एफ़िन लाइन X सेट Spec(R) द्वारा आवरण किया गया है<sub>''x''</sub>) जो ईमानदारी से फ्लैट टोपोलॉजी में खुले हैं, और इनमें से प्रत्येक सेट में Y के लिए एक प्राकृतिक मानचित्र है, और ये मानचित्र चौराहों पर समान हैं। हालाँकि उन्हें X से Y तक का नक्शा देने के लिए संयोजित नहीं किया जा सकता है, क्योंकि X और Y के अंतर्निहित स्थानों में अलग-अलग टोपोलॉजी हैं।


== यह भी देखें ==
== यह भी देखें ==
* [[एफपीक्यूसी रूपवाद]]
* [[एफपीक्यूसी रूपवाद|एफपीक्यूसी आकारिता]]


==टिप्पणियाँ==
==टिप्पणियाँ==

Revision as of 02:06, 18 July 2023

गणित में, फ्लैट टोपोलॉजी एक ग्रोथेंडिक टोपोलॉजी है जिसका उपयोग बीजगणितीय ज्यामिति में किया जाता है। इसका उपयोग फ्लैट कोहोमोलॉजी के सिद्धांत को परिभाषित करने के लिए किया जाता है; यह वंशानुक्रम सिद्धांत (श्रेणी सिद्धांत) विश्वसनीय रूप से फ्लैट वंशानुक्रम) के सिद्धांत में भी एक मौलिक भूमिका निभाता है।[1] यहां फ्लैट शब्द फ्लैट मॉड्यूल से आया है।

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

दुर्भाग्य से फ्लैट टोपोलॉजी के लिए शब्दावली मानकीकृत नहीं होते है। कुछ लेखक प्रीटोपोलॉजी के लिए "टोपोलॉजी" शब्द का उपयोग करते हैं, और कई अलग-अलग प्रीटोपोलॉजी हैं जिन्हें कभी-कभी एफपीपीएफ या एफपीक्यूसी (प्री) टोपोलॉजी कहा जाता है, जो कभी-कभी एक ही टोपोलॉजी देते हैं।

फ़्लैट कोहोमोलॉजी को प्रारंभ ग्रोथेंडिक ने लगभग 1960 में की थी।[4]

बड़ी और छोटी एफपीपीएफ साइटें

मान लीजिए कि X एक एफ़िन योजना है। हम X के 'एफपीपीएफ आवरण' को आकारिकी के एक सीमित और संयुक्त रूप से विशेषण श्रेणी के रूप में परिभाषित करते हैं

(φa : XaX)

प्रत्येक Xa एफ़िन और प्रत्येक φa फ़्लैट के साथ, परिमित रूप से प्रस्तुत किया गया। यह एक प्रीटोपोलॉजी उत्पन्न करता है: X यादृच्छिक रूप के लिए, हम एक श्रेणी के रूप में X के एफपीपीएफ आवरण को परिभाषित करते हैं

a : Xa → X)

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

'X' की 'छोटी एफपीपीएफ साइट' श्रेणी O(Xfppf) होती है। जिनकी वस्तुएं एक निश्चित आकारिता U → X के साथ योजनाएं U होती हैं जो कुछ आवरण श्रेणी का हिस्सा होते हैं। (इसका अर्थ यह नहीं है कि आकारिता फ्लैट, परिमित रूप से प्रस्तुत किया गया है।) आकारिता X के निश्चित मानचित्रों के साथ संगत योजनाओं के रूपवाद होते हैं। 'X' की बड़ी एफपीपीएफ साइट श्रेणी एफपीपीएफ/X होती है, अर्थात , X के लिए एक निश्चित मानचित्र वाली योजनाओं की श्रेणी, जिसे एफपीपीएफ टोपोलॉजी के साथ माना जाता है।

एफपीपीएफ फिडेलमेंट प्लेट डी प्रेजेंटेशन फ़िनी का संक्षिप्त नाम है, अर्थात, विश्वसनीयता और सीमित प्रस्तुति" होती है। फ्लैट और परिमित रूप से प्रस्तुत आकारिकी का प्रत्येक विशेषण श्रेणी इस टोपोलॉजी के लिए एक आवरण श्रेणी होता है, इसलिए यह नाम है। एफपीपीएफ प्रीटोपोलॉजी की परिभाषा एक अतिरिक्त अर्ध-परिमितता स्थिति के साथ भी दी जा सकती है; EGA IV4 में परिणाम 17.16.2 से यह पता चलता है कि यह अनुसरण टोपोलॉजी करता है।

बड़ी और छोटी एफपीक्यूसी साइटें

मान लीजिए कि X एक एफ़िन योजना है। हम X के 'एफपीक्यूसी आवरण' को आकारिकी के एक सीमित और संयुक्त रूप से विशेषण श्रेणी के रूप में परिभाषित करते हैं।α : Xα → X} प्रत्येक X के साथα एफ़िन और प्रत्येक यूα फ्लैट आकारिता. यह एक प्रीटोपोलॉजी उत्पन्न करता है: X मनमाना के लिए, हम X के एक एफपीक्यूसी आवरण को एक श्रेणी के रूप में परिभाषित करते हैं {यूα : Xα → (यह उस टोपोलॉजी के समान नहीं है जो हमें मिलती यदि हम यादृच्छिक ढंग से X और X के साथ प्रारंभ करतेα और आवरणिंग श्रेणीों को फ्लैट आकारिकी के संयुक्त रूप से विशेषण वाले श्रेणी के रूप में लिया।) हम एफपीक्यूसी टोपोलॉजी के साथ योजनाओं की श्रेणी के लिए एफपीक्यूसी लिखते हैं।

'X' की 'छोटी एफपीक्यूसी साइट' श्रेणी ओ(X) हैfpqc) जिनकी वस्तुएं एक निश्चित आकारिता यू → X के साथ योजनाएं यू हैं जो कुछ आवरणिंग श्रेणी का हिस्सा हैं। आकारिकी X के लिए निश्चित मानचित्रों के साथ संगत योजनाओं के रूप हैं। 'X' की 'बड़ी एफपीक्यूसी साइट' श्रेणी एफपीक्यूसी/X है, अर्थात , X के लिए एक निश्चित मानचित्र वाली योजनाओं की श्रेणी, एफपीक्यूसी टोपोलॉजी के साथ मानी जाती है। .

एफपीक्यूसी फिडेलमेंट प्लेट क्वासी-सघन का संक्षिप्त रूप है, अर्थात  ईमानदारी से फ्लैट और क्वासी-सघन। फ्लैट और अर्ध-सघन आकारिकी का प्रत्येक विशेषण श्रेणी इस टोपोलॉजी के लिए एक आवरणिंग श्रेणी है, इसलिए नाम।

फ्लैट कोहोमोलॉजी

कोहोमोलॉजी समूहों को परिभाषित करने की प्रक्रिया मानक एक है: कोहोमोलॉजी को एबेलियन समूहों के एक शीफ के खंड (शीफ सिद्धांत) को लेने वाले फ़ैक्टर के व्युत्पन्न फ़ैक्टर के अनुक्रम के रूप में परिभाषित किया गया है।

हालांकि ऐसे समूहों में कई अनुप्रयोग होते हैं, सामान्य तौर पर उनकी गणना करना आसान नहीं होता है, सिवाय उन मामलों को छोड़कर जहां वे अन्य सिद्धांतों, जैसे कि ईटेल कोहोमोलॉजी, को कम कर देते हैं।

उदाहरण

निम्नलिखित उदाहरण से पता चलता है कि बिना किसी परिमितता की स्थिति के ईमानदारी से फ्लैट टोपोलॉजी अच्छा व्यवहार क्यों नहीं करती है। मान लीजिए कि X बीजगणितीय रूप से बंद फ़ील्ड k पर एफ़िन रेखा है। X के प्रत्येक बंद बिंदु x के लिए हम स्थानीय रिंग R पर विचार कर सकते हैंx इस बिंदु पर, जो एक अलग मूल्यांकन रिंग है जिसके स्पेक्ट्रम में एक बंद बिंदु और एक खुला (सामान्य) बिंदु है। हम एक योजना Y प्राप्त करने के लिए उनके खुले बिंदुओं की पहचान करके इन स्पेक्ट्रा को एक साथ चिपकाते हैं। Y से X तक एक प्राकृतिक मानचित्र है। एफ़िन लाइन X सेट Spec(R) द्वारा आवरण किया गया हैx) जो ईमानदारी से फ्लैट टोपोलॉजी में खुले हैं, और इनमें से प्रत्येक सेट में Y के लिए एक प्राकृतिक मानचित्र है, और ये मानचित्र चौराहों पर समान हैं। हालाँकि उन्हें X से Y तक का नक्शा देने के लिए संयोजित नहीं किया जा सकता है, क्योंकि X और Y के अंतर्निहित स्थानों में अलग-अलग टोपोलॉजी हैं।

यह भी देखें

टिप्पणियाँ

  1. "Form of an (algebraic) structure", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  2. SGA III1, IV 6.3.
  3. SGA III1, IV 6.3, Proposition 6.3.1(v).
  4. *Grothendieck, Alexander; Raynaud, Michèle (2003) [1971], Revêtements étales et groupe fondamental (SGA 1), Documents Mathématiques (Paris) [Mathematical Documents (Paris)], vol. 3, Paris: Société Mathématique de France, p. XI.4.8, arXiv:math/0206203, Bibcode:2002math......6203G, ISBN 978-2-85629-141-2, MR 2017446


संदर्भ


बाहरी संबंध