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

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


कई अलग-अलग फ्लैट टोपोलॉजी हैं, जिनमें से सबसे आम 'एफपीपीएफ टोपोलॉजी' और 'एफपीक्यूसी टोपोलॉजी' हैं। एफपीपीएफ का मतलब है{{lang|fr|fidèlement plate de présentation finie}}, और इस टोपोलॉजी में, एफ़िन योजनाओं का एक रूपवाद एक कवरिंग रूपवाद है यदि यह ईमानदारी से सपाट और सीमित प्रस्तुति का है। एफपीक्यूसी का मतलब है{{lang|fr|fidèlement plate et quasi-compacte}}, और इस टोपोलॉजी में, एफ़िन योजनाओं का एक रूपवाद एक कवरिंग रूपवाद है यदि यह ईमानदारी से सपाट है। दोनों श्रेणियों में, एक कवरिंग परिवार को एक ऐसे परिवार के रूप में परिभाषित किया गया है जो ज़ारिस्की ओपन उपसमुच्चय पर एक कवर है।<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> ये टोपोलॉजी वंश (श्रेणी सिद्धांत) से निकटता से संबंधित हैं। अर्ध सघनता या परिमित प्रस्तुति जैसी किसी अतिरिक्त परिमितता की स्थिति के बिना शुद्ध ईमानदारी से सपाट टोपोलॉजी का अधिक उपयोग नहीं किया जाता है क्योंकि यह उपविहित नहीं है; दूसरे शब्दों में, प्रतिनिधित्व करने योग्य फ़ैक्टरों को ढेर होने की आवश्यकता नहीं है।
कई अलग-अलग फ्लैट टोपोलॉजी होती हैं, जिनमें से सबसे सामान्य एफपीपीएफ टोपोलॉजी और ''fpqc'' टोपोलॉजी होती हैं। ''fpqc'' का अर्थ है ''{{lang|fr|फिडेलमेंट प्लेट डी प्रेजेंटेशन फ़िनी,}}'' और इस टोपोलॉजी में, एफ़िन योजनाओं का एक आवरण आकारिता होता है यदि यह विश्वसनीयता से फ्लैट और परिमित प्रस्तुति का है। ''fpqc'' का अर्थ है {{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> ये टोपोलॉजी वंशानुक्रम (श्रेणी सिद्धांत) समीपता से संबंधित होती हैं। "शुद्ध" विश्वसनीयता से फ्लैट टोपोलॉजी बिना किसी अतिरिक्त परिमितता की स्थिति जैसे कि अर्ध सघनता या परिमित प्रस्तुति के रूप में अधिक उपयोग नहीं की जाती है क्योंकि यह उपविहित नहीं है; दूसरे शब्दों में, प्रतिनिधित्वयोग्य कारकों को बंडल करने की आवश्यकता नहीं होती है।


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


फ़्लैट कोहोमोलॉजी की शुरुआत ग्रोथेंडिक ने लगभग 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>
== बड़ी और छोटी fppf साइटें ==


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


== बड़ी और छोटी एफपीपीएफ साइटें ==
(''φ''<sub>a</sub> : ''X''<sub>a</sub> → ''X'')


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


:(φ<sub>a</sub> : एक्स<sub>a</sub> → एक्स)
:(φ<sub>a</sub> : X<sub>a</sub> → X)


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


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


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


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


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


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


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


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


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


==उदाहरण==
==उदाहरण==


निम्नलिखित उदाहरण से पता चलता है कि बिना किसी परिमितता की स्थिति के ईमानदारी से सपाट टोपोलॉजी अच्छा व्यवहार क्यों नहीं करती है। मान लीजिए कि 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 के अंतर्निहित स्थानों में अलग-अलग टोपोलॉजी होती हैं।


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


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 57: Line 54:
==बाहरी संबंध==
==बाहरी संबंध==
*[http://www.jmilne.org/math/Books/adt.html ''Arithmetic Duality Theorems'' (PDF)], online book by James Milne, explains at the level of flat cohomology duality theorems originating in the [[Tate–Poitou duality]] of [[Galois cohomology]]
*[http://www.jmilne.org/math/Books/adt.html ''Arithmetic Duality Theorems'' (PDF)], online book by James Milne, explains at the level of flat cohomology duality theorems originating in the [[Tate–Poitou duality]] of [[Galois cohomology]]
[[Category: बीजगणितीय ज्यामिति]] [[Category: शीफ सिद्धांत]]


[[Category: Machine Translated Page]]
[[Category:Articles containing French-language text]]
[[Category:Created On 08/07/2023]]
[[Category:Created On 08/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:बीजगणितीय ज्यामिति]]
[[Category:शीफ सिद्धांत]]

Latest revision as of 13:52, 28 July 2023

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

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

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

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

बड़ी और छोटी fppf साइटें

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

(φa : XaX)

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

a : Xa → X)

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

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

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

बड़ी और छोटी fpqc साइटें

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

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

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

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

कोहोमोलॉजी समूहों को परिभाषित करने की प्रक्रिया एक मानक होती है: कोहोमोलॉजी को एबेलियन समूहों के एक समूह के अनुभागों को लेते हुए प्रकार्यक के व्युत्पन्न अनुक्रम के रूप में परिभाषित किया गया है।

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

उदाहरण

निम्नलिखित उदाहरण से पता चलता है कि बिना किसी सीमितता की स्थिति के फ्लैट टोपोलॉजी अच्छा व्यवहार क्यों नहीं करती है। मान लीजिए कि X बीजगणितीय रूप से बंद क्षेत्र k पर एफ़िन लाइन होती है। X के प्रत्येक बंद बिंदु x के लिए हम स्थानीय रिंग R पर विचार कर सकते हैंx इस बिंदु पर, जो एक अलग मूल्यांकन रिंग है जिसके स्पेक्ट्रम में एक बंद बिंदु और एक खुला (सामान्य) बिंदु होती है। हम एक स्कीम Y प्राप्त करने के लिए उनके विवृत बिंदुओं की पहचान करके इन स्पेक्ट्रा को एक साथ चिपकाते हैं। Y से X तक एक प्राकृतिक मानचित्र है। एफ़िन लाइन X सेट Spec (Rx) द्वारा आवरण किया गया है) जो फ्लैट टोपोलॉजी में विवृत होता हैं, और इनमें से प्रत्येक समुच्चय में 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


संदर्भ


बाहरी संबंध