फ्लैट टोपोलॉजी

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

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

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

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

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

(φa : Xa → X)

प्रत्येक 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α एफ़िन और प्रत्येक uα फ्लैट के साथ आकारिकी {uα : 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 के अंतर्निहित स्थानों में अलग-अलग टोपोलॉजी हैं।

यह भी देखें

 * एफपीक्यूसी आकारिता

संदर्भ

 * Éléments de géométrie algébrique, Vol. IV. 2
 * Milne, James S. (1980), Étale Cohomology, Princeton University Press, ISBN 978-0-691-08238-7
 * Michael Artin and J. S. Milne, "Duality in the flat cohomology of curves", Inventiones Mathematicae, Volume 35, Number 1, December, 1976

बाहरी संबंध

 * 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