बिल्डिंग (गणित): Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Mathematical structure}} गणित में, एक इमारत (टिट्स बिल्डिंग भी, जिसका नाम ज...")
 
No edit summary
Line 1: Line 1:
{{Short description|Mathematical structure}}
{{Short description|Mathematical structure}}
गणित में, एक इमारत (टिट्स बिल्डिंग भी, जिसका नाम [[जैक्स टिट्स]] के नाम पर रखा गया है) एक संयुक्त और ज्यामितीय संरचना है जो एक साथ ध्वज मैनिफोल्ड्स, परिमित प्रक्षेप्य विमानों और [[रीमैनियन सममित स्थान]]ों के कुछ पहलुओं को सामान्यीकृत करती है। इमारतों को शुरू में जैक्स टिट्स द्वारा लाई प्रकार के समूह की संरचना को समझने के साधन के रूप में पेश किया गया था। ब्रुहट-टिट्स इमारतों का अधिक विशिष्ट सिद्धांत (जिसका नाम फ्रांकोइस ब्रुहट के नाम पर भी रखा गया है) पी-एडिक लाई समूह के अध्ययन में एक भूमिका निभाता है|{{mvar|p}}-एडिक लाई समूह, लाई समूहों के सिद्धांत में [[सममित स्थान]]ों के सिद्धांत के अनुरूप है।
गणित में, इमारत (टिट्स बिल्डिंग भी, जिसका नाम [[जैक्स टिट्स]] के नाम पर रखा गया है) संयुक्त और ज्यामितीय संरचना है जो साथ ध्वज मैनिफोल्ड्स, परिमित प्रक्षेप्य विमानों और [[रीमैनियन सममित स्थान]]ों के कुछ पहलुओं को सामान्यीकृत करती है। इमारतों को शुरू में जैक्स टिट्स द्वारा लाई प्रकार के समूह की संरचना को समझने के साधन के रूप में पेश किया गया था। ब्रुहट-टिट्स इमारतों का अधिक विशिष्ट सिद्धांत (जिसका नाम फ्रांकोइस ब्रुहट के नाम पर भी रखा गया है) पी-एडिक लाई समूह के अध्ययन में भूमिका निभाता है|{{mvar|p}}-एडिक लाई समूह, लाई समूहों के सिद्धांत में [[सममित स्थान]]ों के सिद्धांत के अनुरूप है।


==अवलोकन==
==अवलोकन==


[[File:Bruhat-Tits-tree-for-Q-2.png|thumb|2-एडिक लाई समूह के लिए ब्रुहट-टिट्स पेड़ {{math|SL(2,''Q''<sub>2</sub>)}}.]]एक भवन की अवधारणा का आविष्कार जैक्स टिट्स द्वारा एक मनमाने क्षेत्र (गणित) पर लाई प्रकार के समूह का वर्णन करने के साधन के रूप में किया गया था। स्तन ने ऐसे प्रत्येक समूह को प्रदर्शित किया (गणित) {{mvar|G}} कोई एक सरल परिसर को जोड़ सकता है {{math|Δ {{=}} Δ(''G'')}} की एक [[समूह क्रिया (गणित)]] के साथ {{mvar|G}}, की गोलाकार इमारत कहलाती है {{mvar|G}}. समूह {{mvar|G}} कॉम्प्लेक्स पर बहुत मजबूत संयोजन नियमितता की स्थिति लागू करता है {{math|Δ}} जो इस प्रकार उत्पन्न हो सकता है। सरलीकृत परिसरों के एक वर्ग के लिए इन स्थितियों को स्वयंसिद्ध मानकर, टिट्स एक इमारत की अपनी पहली परिभाषा पर पहुंचे। किसी भवन को परिभाषित करने वाले डेटा का एक भाग {{math|Δ}} एक [[कॉक्सेटर समूह]] है {{mvar|W}}, जो एक अत्यधिक सममितीय सरलीकृत परिसर को निर्धारित करता है {{math|Σ {{=}} Σ(''W'',''S'')}}, कॉक्सेटर कॉम्प्लेक्स कहा जाता है। एक इमारत {{math|Δ}} की कई प्रतियों को एक साथ चिपका दिया गया है {{math|Σ}}, एक निश्चित नियमित फैशन में, इसके अपार्टमेंट कहलाते हैं। कब {{mvar|W}} एक परिमित कॉक्सेटर समूह है, कॉक्सेटर कॉम्प्लेक्स एक टोपोलॉजिकल क्षेत्र है, और संबंधित इमारतों को गोलाकार प्रकार का कहा जाता है। कब {{mvar|W}} एक [[एफ़िन वेइल समूह]] है, कॉक्सेटर कॉम्प्लेक्स एफ़िन विमान का एक उपखंड है और एक एफ़िन, या यूक्लिडियन, इमारतों की बात करता है। एक प्रकार की एफ़िन बिल्डिंग {{math|''Ã''<sub>1</sub>}} टर्मिनल शीर्षों के बिना एक अनंत वृक्ष (ग्राफ़ सिद्धांत) के समान है।
[[File:Bruhat-Tits-tree-for-Q-2.png|thumb|2-एडिक लाई समूह के लिए ब्रुहट-टिट्स पेड़ {{math|SL(2,''Q''<sub>2</sub>)}}.]]भवन की अवधारणा का आविष्कार जैक्स टिट्स द्वारा मनमाने क्षेत्र (गणित) पर लाई प्रकार के समूह का वर्णन करने के साधन के रूप में किया गया था। स्तन ने ऐसे प्रत्येक समूह को प्रदर्शित किया (गणित) {{mvar|G}} कोई सरल परिसर को जोड़ सकता है {{math|Δ {{=}} Δ(''G'')}} की [[समूह क्रिया (गणित)]] के साथ {{mvar|G}}, की गोलाकार इमारत कहलाती है {{mvar|G}}. समूह {{mvar|G}} कॉम्प्लेक्स पर बहुत मजबूत संयोजन नियमितता की स्थिति लागू करता है {{math|Δ}} जो इस प्रकार उत्पन्न हो सकता है। सरलीकृत परिसरों के वर्ग के लिए इन स्थितियों को स्वयंसिद्ध मानकर, टिट्स इमारत की अपनी पहली परिभाषा पर पहुंचे। किसी भवन को परिभाषित करने वाले डेटा का भाग {{math|Δ}} [[कॉक्सेटर समूह]] है {{mvar|W}}, जो अत्यधिक सममितीय सरलीकृत परिसर को निर्धारित करता है {{math|Σ {{=}} Σ(''W'',''S'')}}, कॉक्सेटर कॉम्प्लेक्स कहा जाता है। इमारत {{math|Δ}} की कई प्रतियों को साथ चिपका दिया गया है {{math|Σ}}, निश्चित नियमित फैशन में, इसके अपार्टमेंट कहलाते हैं। कब {{mvar|W}} परिमित कॉक्सेटर समूह है, कॉक्सेटर कॉम्प्लेक्स टोपोलॉजिकल क्षेत्र है, और संबंधित इमारतों को गोलाकार प्रकार का कहा जाता है। कब {{mvar|W}} [[एफ़िन वेइल समूह]] है, कॉक्सेटर कॉम्प्लेक्स एफ़िन विमान का उपखंड है और एफ़िन, या यूक्लिडियन, इमारतों की बात करता है। प्रकार की एफ़िन बिल्डिंग {{math|''Ã''<sub>1</sub>}} टर्मिनल शीर्षों के बिना अनंत वृक्ष (ग्राफ़ सिद्धांत) के समान है।


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


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


==परिभाषा==
==परिभाषा==
एक {{mvar|n}}-आयामी भवन {{mvar|X}} एक अमूर्त सरल संकुल है जो उप संकुलों का एक संघ है {{mvar|A}}अपार्टमेंट को ऐसे कहा जाता है
{{mvar|n}}-आयामी भवन {{mvar|X}} अमूर्त सरल संकुल है जो उप संकुलों का संघ है {{mvar|A}}अपार्टमेंट को ऐसे कहा जाता है


* प्रत्येक {{mvar|k}}-का सरलीकरण {{mvar|X}} कम से कम तीन के भीतर है {{mvar|n}}-सरल अगर {{math|''k'' < ''n''}};
* प्रत्येक {{mvar|k}}-का सरलीकरण {{mvar|X}} कम से कम तीन के भीतर है {{mvar|n}}-सरल अगर {{math|''k'' < ''n''}};
* कोई {{math|(''n'' – 1)}}-एक अपार्टमेंट में सिंप्लेक्स {{mvar|A}} बिल्कुल दो आसन्न में स्थित है {{mvar|n}}-का सरलीकरण {{mvar|A}} और आसन्न का [[ग्राफ सिद्धांत]] {{mvar|n}}-सरल जुड़ा हुआ है;
* कोई {{math|(''n'' – 1)}}- अपार्टमेंट में सिंप्लेक्स {{mvar|A}} बिल्कुल दो आसन्न में स्थित है {{mvar|n}}-का सरलीकरण {{mvar|A}} और आसन्न का [[ग्राफ सिद्धांत]] {{mvar|n}}-सरल जुड़ा हुआ है;
*कोई दो सरल में {{mvar|X}} किसी आम अपार्टमेंट में लेट जाओ {{mvar|A}};
*कोई दो सरल में {{mvar|X}} किसी आम अपार्टमेंट में लेट जाओ {{mvar|A}};
* यदि दो सिंपलिस दोनों अपार्टमेंट में झूठ बोलते हैं {{mvar|A}} और {{math|''A''′}}, तो एक सरल समरूपता है {{mvar|A}}पर {{math|''A''′}} दो सरलताओं के शीर्षों को ठीक करना।
* यदि दो सिंपलिस दोनों अपार्टमेंट में झूठ बोलते हैं {{mvar|A}} और {{math|''A''′}}, तो सरल समरूपता है {{mvar|A}}पर {{math|''A''′}} दो सरलताओं के शीर्षों को ठीक करना।


एक {{mvar|n}}-सिम्पलेक्स इन {{mvar|A}} को एक कक्ष कहा जाता है (मूल रूप से ''चैम्ब्रे'', यानी फ्रेंच भाषा में ''कमरा'')।
{{mvar|n}}-सिम्पलेक्स इन {{mvar|A}} को कक्ष कहा जाता है (मूल रूप से ''चैम्ब्रे'', यानी फ्रेंच भाषा में ''कमरा'')।


भवन की श्रेणी को परिभाषित किया गया है {{math|''n'' + 1}}.
भवन की श्रेणी को परिभाषित किया गया है {{math|''n'' + 1}}.


==प्राथमिक गुण==
==प्राथमिक गुण==
हर अपार्टमेंट {{mvar|A}} एक इमारत में [[कॉक्सेटर कॉम्प्लेक्स]] है। वास्तव में, प्रत्येक दो के लिए {{mvar|n}}-एक में सरल प्रतिच्छेद {{math|(''n'' – 1)}}-सिम्प्लेक्स या पैनल, दो सरल ऑटोमोर्फिज्म की एक अनूठी अवधि है {{mvar|A}}, एक प्रतिबिंब कहा जाता है, एक ले जाने वाला {{mvar|n}}-दूसरे पर सरलीकरण करना और उनके सामान्य बिंदुओं को ठीक करना। ये प्रतिबिंब एक कॉक्सेटर समूह उत्पन्न करते हैं {{mvar|W}}, का [[वेइल समूह]] कहा जाता है {{mvar|A}}, और सरल जटिल {{mvar|A}} के मानक ज्यामितीय बोध से मेल खाता है {{mvar|W}}. कॉक्सेटर समूह के मानक जनरेटर एक निश्चित कक्ष की दीवारों में प्रतिबिंब द्वारा दिए जाते हैं {{mvar|A}}. अपार्टमेंट के बाद से {{mvar|A}} इमारत द्वारा समरूपता तक निर्धारित किया जाता है, यही बात किन्हीं दो सरलताओं के लिए भी सच है {{mvar|X}} किसी सामान्य अपार्टमेंट में पड़ा हुआ {{mvar|A}}. कब {{mvar|W}}परिमित है, भवन गोलाकार कहा गया है। जब यह एक एफ़िन वेइल समूह होता है, तो इमारत को एफ़िन या यूक्लिडियन कहा जाता है।
हर अपार्टमेंट {{mvar|A}} इमारत में [[कॉक्सेटर कॉम्प्लेक्स]] है। वास्तव में, प्रत्येक दो के लिए {{mvar|n}}- में सरल प्रतिच्छेद {{math|(''n'' – 1)}}-सिम्प्लेक्स या पैनल, दो सरल ऑटोमोर्फिज्म की अनूठी अवधि है {{mvar|A}}, प्रतिबिंब कहा जाता है, ले जाने वाला {{mvar|n}}-दूसरे पर सरलीकरण करना और उनके सामान्य बिंदुओं को ठीक करना। ये प्रतिबिंब कॉक्सेटर समूह उत्पन्न करते हैं {{mvar|W}}, का [[वेइल समूह]] कहा जाता है {{mvar|A}}, और सरल जटिल {{mvar|A}} के मानक ज्यामितीय बोध से मेल खाता है {{mvar|W}}. कॉक्सेटर समूह के मानक जनरेटर निश्चित कक्ष की दीवारों में प्रतिबिंब द्वारा दिए जाते हैं {{mvar|A}}. अपार्टमेंट के बाद से {{mvar|A}} इमारत द्वारा समरूपता तक निर्धारित किया जाता है, यही बात किन्हीं दो सरलताओं के लिए भी सच है {{mvar|X}} किसी सामान्य अपार्टमेंट में पड़ा हुआ {{mvar|A}}. कब {{mvar|W}}परिमित है, भवन गोलाकार कहा गया है। जब यह एफ़िन वेइल समूह होता है, तो इमारत को एफ़िन या यूक्लिडियन कहा जाता है।


कक्ष प्रणाली कक्षों द्वारा गठित आसन्नता ग्राफ है; आसन्न कक्षों के प्रत्येक जोड़े को किसी एक मानक द्वारा लेबल किया जा सकता है
कक्ष प्रणाली कक्षों द्वारा गठित आसन्नता ग्राफ है; आसन्न कक्षों के प्रत्येक जोड़े को किसी मानक द्वारा लेबल किया जा सकता है
कॉक्सेटर समूह के जनरेटर (देखें {{harvnb|Tits|1981}}).
कॉक्सेटर समूह के जनरेटर (देखें {{harvnb|Tits|1981}}).


हर इमारत में एक विहित [[आंतरिक मीट्रिक]] होती है जो [[हिल्बर्ट स्थान]] के [[ऑर्थोनॉर्मल आधार]] के साथ शीर्षों की पहचान करके प्राप्त ज्यामितीय अहसास से विरासत में मिली है। संबद्ध भवनों के लिए, यह मीट्रिक CAT(k) स्थान को संतुष्ट करता है|{{math|CAT(0)}} [[अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव]] की तुलनात्मक असमानता, जिसे इस सेटिंग में जियोडेसिक त्रिकोण के लिए ब्रुहट-टिट्स गैर-सकारात्मक वक्रता स्थिति के रूप में जाना जाता है: एक शीर्ष से विपरीत दिशा के मध्य बिंदु तक की दूरी समान भुजाओं की लंबाई वाले संबंधित यूक्लिडियन त्रिकोण में दूरी से अधिक नहीं है (देखें) {{harvnb|Bruhat|Tits|1972}}).
हर इमारत में विहित [[आंतरिक मीट्रिक]] होती है जो [[हिल्बर्ट स्थान]] के [[ऑर्थोनॉर्मल आधार]] के साथ शीर्षों की पहचान करके प्राप्त ज्यामितीय अहसास से विरासत में मिली है। संबद्ध भवनों के लिए, यह मीट्रिक CAT(k) स्थान को संतुष्ट करता है|{{math|CAT(0)}} [[अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव]] की तुलनात्मक असमानता, जिसे इस सेटिंग में जियोडेसिक त्रिकोण के लिए ब्रुहट-टिट्स गैर-सकारात्मक वक्रता स्थिति के रूप में जाना जाता है: शीर्ष से विपरीत दिशा के मध्य बिंदु तक की दूरी समान भुजाओं की लंबाई वाले संबंधित यूक्लिडियन त्रिकोण में दूरी से अधिक नहीं है (देखें) {{harvnb|Bruhat|Tits|1972}}).


==के साथ संबंध {{math|(''B'', ''N'')}}जोड़े==
==के साथ संबंध {{math|(''B'', ''N'')}}जोड़े==
यदि कोई समूह {{mvar|G}} किसी इमारत पर सरलता से कार्य करता है {{mvar|X}}, जोड़ों पर सकर्मक रूप से {{math|(''C'',''A'')}} कक्षों का {{mvar|C}} और अपार्टमेंट {{mvar|A}}उनसे युक्त, तो ऐसी जोड़ी के स्टेबलाइजर्स एक बीएन जोड़ी को परिभाषित करते हैं|{{math|(''B'', ''N'')}} जोड़ी या [[स्तन प्रणाली]]. वास्तव में उपसमूहों की जोड़ी
यदि कोई समूह {{mvar|G}} किसी इमारत पर सरलता से कार्य करता है {{mvar|X}}, जोड़ों पर सकर्मक रूप से {{math|(''C'',''A'')}} कक्षों का {{mvar|C}} और अपार्टमेंट {{mvar|A}}उनसे युक्त, तो ऐसी जोड़ी के स्टेबलाइजर्स बीएन जोड़ी को परिभाषित करते हैं|{{math|(''B'', ''N'')}} जोड़ी या [[स्तन प्रणाली]]. वास्तव में उपसमूहों की जोड़ी


:{{math|''B'' {{=}} ''G''<sub>''C''</sub>}} और {{mvar|''N'' {{=}} ''G''<sub>''A''</sub>}}
:{{math|''B'' {{=}} ''G''<sub>''C''</sub>}} और {{mvar|''N'' {{=}} ''G''<sub>''A''</sub>}}
Line 37: Line 37:
ए के सिद्धांतों को संतुष्ट करता है {{math|(''B'', ''N'')}} जोड़ी और वेइल समूह की पहचान की जा सकती है {{math|''N'' / ''N'' ∩ ''B''}}.
ए के सिद्धांतों को संतुष्ट करता है {{math|(''B'', ''N'')}} जोड़ी और वेइल समूह की पहचान की जा सकती है {{math|''N'' / ''N'' ∩ ''B''}}.


इसके विपरीत भवन को पुनः प्राप्त किया जा सकता है {{math|(''B'', ''N'')}} जोड़ी, ताकि प्रत्येक {{math|(''B'', ''N'')}} जोड़ी प्रामाणिक रूप से एक इमारत को परिभाषित करती है। वास्तव में, की शब्दावली का उपयोग करना {{math|(''B'', ''N'')}} जोड़े और किसी भी संयुग्म को बुलाना {{mvar|B}} एक [[बोरेल उपसमूह]] और बोरेल उपसमूह वाला कोई भी समूह, एक [[परवलयिक उपसमूह]],
इसके विपरीत भवन को पुनः प्राप्त किया जा सकता है {{math|(''B'', ''N'')}} जोड़ी, ताकि प्रत्येक {{math|(''B'', ''N'')}} जोड़ी प्रामाणिक रूप से इमारत को परिभाषित करती है। वास्तव में, की शब्दावली का उपयोग करना {{math|(''B'', ''N'')}} जोड़े और किसी भी संयुग्म को बुलाना {{mvar|B}} [[बोरेल उपसमूह]] और बोरेल उपसमूह वाला कोई भी समूह, [[परवलयिक उपसमूह]],


*इमारत के शिखर {{mvar|X}}अधिकतम परवलयिक उपसमूहों के अनुरूप;
*इमारत के शिखर {{mvar|X}}अधिकतम परवलयिक उपसमूहों के अनुरूप;
* {{math|''k'' + 1}} शीर्ष एक रूप बनाते हैं {{mvar|k}}-सिंप्लेक्स जब भी संबंधित अधिकतम परवलयिक उपसमूहों का प्रतिच्छेदन भी परवलयिक होता है;
* {{math|''k'' + 1}} शीर्ष रूप बनाते हैं {{mvar|k}}-सिंप्लेक्स जब भी संबंधित अधिकतम परवलयिक उपसमूहों का प्रतिच्छेदन भी परवलयिक होता है;
*अपार्टमेंट नीचे संयुग्मित हैं {{mvar|G}} नीचे संयुग्मों द्वारा दिए गए शीर्षों के साथ सरल उपसंकुल का {{mvar|N}} अधिकतम परवलयिक युक्त {{mvar|B}}.
*अपार्टमेंट नीचे संयुग्मित हैं {{mvar|G}} नीचे संयुग्मों द्वारा दिए गए शीर्षों के साथ सरल उपसंकुल का {{mvar|N}} अधिकतम परवलयिक युक्त {{mvar|B}}.


एक ही इमारत का अक्सर अलग-अलग वर्णन किया जा सकता है {{math|(''B'', ''N'')}} जोड़े। इसके अलावा, हर इमारत एक से नहीं आती {{math|(''B'', ''N'')}} जोड़ी: यह निम्न रैंक और आयाम में वर्गीकरण परिणामों की विफलता से मेल खाती है (नीचे देखें)।
ही इमारत का अक्सर अलग-अलग वर्णन किया जा सकता है {{math|(''B'', ''N'')}} जोड़े। इसके अलावा, हर इमारत से नहीं आती {{math|(''B'', ''N'')}} जोड़ी: यह निम्न रैंक और आयाम में वर्गीकरण परिणामों की विफलता से मेल खाती है (नीचे देखें)।


==गोलाकार और गोलाकार इमारतों के लिए {{math|SL<sub>''n''</sub>}}==
==गोलाकार और गोलाकार इमारतों के लिए {{math|SL<sub>''n''</sub>}}==
संबद्ध और गोलाकार इमारतों की सरल संरचना {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}, साथ ही उनके अंतर्संबंधों को केवल प्राथमिक [[बीजगणित]] और [[ज्यामिति]] की अवधारणाओं का उपयोग करके सीधे समझाना आसान है (देखें) {{harvnb|Garrett|1997}}). इस मामले में तीन अलग-अलग इमारतें हैं, दो गोलाकार और एक गोलाकार। प्रत्येक अपार्टमेंट का एक संघ है, जो स्वयं सरल परिसर हैं। एफ़िन बिल्डिंग के लिए, एक अपार्टमेंट एक सरल जटिल [[ चौकोर ]] यूक्लिडियन स्थान है {{math|'''E'''<sup>''n''−1</sup>}} द्वारा {{math|(''n'' − 1)}}-आयामी सरलताएं; जबकि एक गोलाकार इमारत के लिए यह सभी द्वारा निर्मित एक सीमित सरल परिसर है {{math|(''n'' − 1)!}} अनुरूप टेस्सेलेशन में किसी दिए गए सामान्य शीर्ष के साथ सरलता {{math|'''E'''<sup>''n''−2</sup>}}.
संबद्ध और गोलाकार इमारतों की सरल संरचना {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}, साथ ही उनके अंतर्संबंधों को केवल प्राथमिक [[बीजगणित]] और [[ज्यामिति]] की अवधारणाओं का उपयोग करके सीधे समझाना आसान है (देखें) {{harvnb|Garrett|1997}}). इस मामले में तीन अलग-अलग इमारतें हैं, दो गोलाकार और गोलाकार। प्रत्येक अपार्टमेंट का संघ है, जो स्वयं सरल परिसर हैं। एफ़िन बिल्डिंग के लिए, अपार्टमेंट सरल जटिल [[ चौकोर ]] यूक्लिडियन स्थान है {{math|'''E'''<sup>''n''−1</sup>}} द्वारा {{math|(''n'' − 1)}}-आयामी सरलताएं; जबकि गोलाकार इमारत के लिए यह सभी द्वारा निर्मित सीमित सरल परिसर है {{math|(''n'' − 1)!}} अनुरूप टेस्सेलेशन में किसी दिए गए सामान्य शीर्ष के साथ सरलता {{math|'''E'''<sup>''n''−2</sup>}}.


प्रत्येक इमारत एक साधारण परिसर है {{mvar|X}} जिसे निम्नलिखित सिद्धांतों को संतुष्ट करना होगा:
प्रत्येक इमारत साधारण परिसर है {{mvar|X}} जिसे निम्नलिखित सिद्धांतों को संतुष्ट करना होगा:


* {{mvar|X}}अपार्टमेंट का एक संघ है.
* {{mvar|X}}अपार्टमेंट का संघ है.
* कोई भी दो सरलताएँ {{mvar|X}} एक सामान्य अपार्टमेंट में समाहित हैं।
* कोई भी दो सरलताएँ {{mvar|X}} सामान्य अपार्टमेंट में समाहित हैं।
* यदि एक सिम्प्लेक्स दो अपार्टमेंटों में समाहित है, तो सभी सामान्य बिंदुओं को ठीक करते हुए एक से दूसरे की सरल समरूपता होती है।
* यदि सिम्प्लेक्स दो अपार्टमेंटों में समाहित है, तो सभी सामान्य बिंदुओं को ठीक करते हुए से दूसरे की सरल समरूपता होती है।


===गोलाकार भवन===
===गोलाकार भवन===
होने देना {{mvar|F}} एक क्षेत्र (गणित) बनें और रहने दें {{mvar|X}} गैर-तुच्छ वेक्टर उप-स्थानों के शीर्षों के साथ सरल जटिल बनें {{math|''V'' {{=}} ''F''<sup>''n''</sup>}}. दो उपस्थान {{math|''U''<sub>1</sub>}} और {{math|''U''<sub>2</sub>}} जुड़े हुए हैं यदि उनमें से एक दूसरे का उपसमुच्चय है। वह {{mvar|k}}-का सरलीकरण {{mvar|X}} के सेट से बनते हैं {{math|''k'' + 1}} परस्पर जुड़े हुए उपस्थान। लेने से अधिकतम कनेक्टिविटी प्राप्त होती है {{math|''n'' − 1}} उचित गैर-तुच्छ उप-स्थान और संगत {{math|(''n'' − 1)}}-सिंप्लेक्स एक ध्वज से मेल खाता है (रैखिक बीजगणित)
होने देना {{mvar|F}} क्षेत्र (गणित) बनें और रहने दें {{mvar|X}} गैर-तुच्छ वेक्टर उप-स्थानों के शीर्षों के साथ सरल जटिल बनें {{math|''V'' {{=}} ''F''<sup>''n''</sup>}}. दो उपस्थान {{math|''U''<sub>1</sub>}} और {{math|''U''<sub>2</sub>}} जुड़े हुए हैं यदि उनमें से दूसरे का उपसमुच्चय है। वह {{mvar|k}}-का सरलीकरण {{mvar|X}} के सेट से बनते हैं {{math|''k'' + 1}} परस्पर जुड़े हुए उपस्थान। लेने से अधिकतम कनेक्टिविटी प्राप्त होती है {{math|''n'' − 1}} उचित गैर-तुच्छ उप-स्थान और संगत {{math|(''n'' − 1)}}-सिंप्लेक्स ध्वज से मेल खाता है (रैखिक बीजगणित)


: {{math|(0) ⊂ ''U''<sub>1</sub> ⊂ ··· ⊂ ''U''<sub>''n'' – 1 </sub> ⊂ ''V''}}
: {{math|(0) ⊂ ''U''<sub>1</sub> ⊂ ··· ⊂ ''U''<sub>''n'' – 1 </sub> ⊂ ''V''}}
Line 61: Line 61:
कम आयामी सरलताएं कम मध्यस्थ उपस्थानों वाले आंशिक झंडों के अनुरूप होती हैं {{math|''U''<sub>''i''</sub>}}.
कम आयामी सरलताएं कम मध्यस्थ उपस्थानों वाले आंशिक झंडों के अनुरूप होती हैं {{math|''U''<sub>''i''</sub>}}.


अपार्टमेंट को परिभाषित करने के लिए {{mvar|X}}, इसमें फ़्रेम को परिभाषित करना सुविधाजनक है {{mvar|V}} आधार रूप से ({{math|''v''<sub>''i''</sub>}}) इसके प्रत्येक सदिश के अदिश गुणन तक निर्धारित किया जाता है {{math|''v''<sub>''i''</sub>}}; दूसरे शब्दों में एक फ़्रेम एक-आयामी उप-स्थानों का एक सेट है {{math|''L''<sub>''i''</sub> {{=}} ''F''·''v''<sub>''i''</sub>}} ऐसा कि कोई भी {{mvar|k}} उनमें से एक उत्पन्न होता है {{mvar|k}}-आयामी उपस्थान. अब एक ऑर्डर किया गया फ्रेम {{math|''L''<sub>1</sub>, ..., ''L''<sub>''n''</sub>}} के माध्यम से एक पूर्ण ध्वज को परिभाषित करता है
अपार्टमेंट को परिभाषित करने के लिए {{mvar|X}}, इसमें फ़्रेम को परिभाषित करना सुविधाजनक है {{mvar|V}} आधार रूप से ({{math|''v''<sub>''i''</sub>}}) इसके प्रत्येक सदिश के अदिश गुणन तक निर्धारित किया जाता है {{math|''v''<sub>''i''</sub>}}; दूसरे शब्दों में फ़्रेम -आयामी उप-स्थानों का सेट है {{math|''L''<sub>''i''</sub> {{=}} ''F''·''v''<sub>''i''</sub>}} ऐसा कि कोई भी {{mvar|k}} उनमें से उत्पन्न होता है {{mvar|k}}-आयामी उपस्थान. अब ऑर्डर किया गया फ्रेम {{math|''L''<sub>1</sub>, ..., ''L''<sub>''n''</sub>}} के माध्यम से पूर्ण ध्वज को परिभाषित करता है


: {{math|''U''<sub>''i''</sub> {{=}} ''L''<sub>1</sub> ⊕ ··· ⊕ ''L''<sub>''i''</sub>}}
: {{math|''U''<sub>''i''</sub> {{=}} ''L''<sub>1</sub> ⊕ ··· ⊕ ''L''<sub>''i''</sub>}}


विभिन्न के पुनर्क्रमण के बाद से {{math|''L''<sub>''i''</sub>}} एक फ़्रेम भी दें, यह देखना सीधा है कि उप-स्थान, के योग के रूप में प्राप्त होते हैं {{math|''L''<sub>''i''</sub>}}, एक गोलाकार इमारत के अपार्टमेंट के लिए आवश्यक प्रकार का एक सरल परिसर बनाएं। जॉर्डन-होल्डर अपघटन की विशिष्टता को साबित करने के लिए उपयोग किए जाने वाले शास्त्रीय श्रेयर शोधन प्रमेय का उपयोग करके किसी इमारत के लिए सिद्धांतों को आसानी से सत्यापित किया जा सकता है।
विभिन्न के पुनर्क्रमण के बाद से {{math|''L''<sub>''i''</sub>}} फ़्रेम भी दें, यह देखना सीधा है कि उप-स्थान, के योग के रूप में प्राप्त होते हैं {{math|''L''<sub>''i''</sub>}}, गोलाकार इमारत के अपार्टमेंट के लिए आवश्यक प्रकार का सरल परिसर बनाएं। जॉर्डन-होल्डर अपघटन की विशिष्टता को साबित करने के लिए उपयोग किए जाने वाले शास्त्रीय श्रेयर शोधन प्रमेय का उपयोग करके किसी इमारत के लिए सिद्धांतों को आसानी से सत्यापित किया जा सकता है।


===एफ़िन बिल्डिंग===
===एफ़िन बिल्डिंग===
होने देना {{mvar|K}} के बीच में एक फ़ील्ड हो {{math|'''Q'''}} और इसका पी-एडिक नंबर|{{mvar|p}}-अर्थात् पूर्णता {{math|'''Q'''<sub>''p''</sub>}} सामान्य आर्किमिडीयन संपत्ति के संबंध में|गैर-आर्किमिडीयन पी-एडिक मानदंड|{{mvar|p}}-अर्थात आदर्श {{math|{{norm|''x''}}<sub>''p''</sub>}} पर {{math|'''Q'''}} कुछ प्राइम के लिए {{mvar|p}}. होने देना {{mvar|R}} का उपरिंग हो {{mvar|K}} द्वारा परिभाषित
होने देना {{mvar|K}} के बीच में फ़ील्ड हो {{math|'''Q'''}} और इसका पी-एडिक नंबर|{{mvar|p}}-अर्थात् पूर्णता {{math|'''Q'''<sub>''p''</sub>}} सामान्य आर्किमिडीयन संपत्ति के संबंध में|गैर-आर्किमिडीयन पी-एडिक मानदंड|{{mvar|p}}-अर्थात आदर्श {{math|{{norm|''x''}}<sub>''p''</sub>}} पर {{math|'''Q'''}} कुछ प्राइम के लिए {{mvar|p}}. होने देना {{mvar|R}} का उपरिंग हो {{mvar|K}} द्वारा परिभाषित


:{{math|''R'' {{=}} { ''x'' : {{norm|''x''}}<sub>''p''</sub> ≤ 1 } }}
:{{math|''R'' {{=}} { ''x'' : {{norm|''x''}}<sub>''p''</sub> ≤ 1 } }}


कब {{math|''K'' {{=}} '''Q'''}}, {{mvar|R}} एक रिंग का स्थानीयकरण है {{math|'''Z'''}} पर {{mvar|p}} और जब {{math|''K'' {{=}} '''Q'''<sub>''p''</sub>}}, {{math|''R'' {{=}} '''Z'''<sub>''p''</sub>}}, पी-एडिक पूर्णांक|{{mvar|p}}-एडीआईसी पूर्णांक, यानी बंद करना {{math|'''Z'''}} में {{math|'''Q'''<sub>''p''</sub>}}.
कब {{math|''K'' {{=}} '''Q'''}}, {{mvar|R}} रिंग का स्थानीयकरण है {{math|'''Z'''}} पर {{mvar|p}} और जब {{math|''K'' {{=}} '''Q'''<sub>''p''</sub>}}, {{math|''R'' {{=}} '''Z'''<sub>''p''</sub>}}, पी-एडिक पूर्णांक|{{mvar|p}}-एडीआईसी पूर्णांक, यानी बंद करना {{math|'''Z'''}} में {{math|'''Q'''<sub>''p''</sub>}}.


इमारत के शिखर {{mvar|X}} हैं {{mvar|R}}-में जाली {{math|''V'' {{=}} ''K''<sup>''n''</sup>}}, अर्थात। {{mvar|R}}-फॉर्म के [[उपमॉड्यूल]]
इमारत के शिखर {{mvar|X}} हैं {{mvar|R}}-में जाली {{math|''V'' {{=}} ''K''<sup>''n''</sup>}}, अर्थात। {{mvar|R}}-फॉर्म के [[उपमॉड्यूल]]
Line 78: Line 78:
:{{math|''L'' {{=}} ''R''·''v''<sub>1</sub> ⊕ ··· ⊕  ''R''·''v''<sub>''n''</sub>}}
:{{math|''L'' {{=}} ''R''·''v''<sub>1</sub> ⊕ ··· ⊕  ''R''·''v''<sub>''n''</sub>}}


कहाँ {{math|(''v''<sub>''i''</sub>)}} का आधार है {{mvar|V}} ऊपर {{mvar|K}}. गुणक समूह के एक तत्व द्वारा दो जालकों को समतुल्य कहा जाता है यदि एक दूसरे का अदिश गुणज है {{math|''K''*}} का {{mvar|K}} (वास्तव में केवल पूर्णांक घातें {{mvar|p}} उपयोग करने की आवश्यकता है)। दो जाली {{math|''L''<sub>1</sub>}} और {{math|''L''<sub>2</sub>}} को आसन्न कहा जाता है यदि कुछ जाली के बराबर हो {{math|''L''<sub>2</sub>}} बीच मे स्थित {{math|''L''<sub>1</sub>}} और इसकी उदात्तता {{math|''p''·''L''<sub>1</sub>}}: यह संबंध सममित है. वह {{mvar|k}}-का सरलीकरण {{mvar|X}} के समतुल्य वर्ग हैं {{math|''k'' + 1}} परस्पर आसन्न जाली, वह {{math|(''n'' − 1)}}-सरलताएं, पुनः लेबल करने के बाद, जंजीरों से मेल खाती हैं
कहाँ {{math|(''v''<sub>''i''</sub>)}} का आधार है {{mvar|V}} ऊपर {{mvar|K}}. गुणक समूह के तत्व द्वारा दो जालकों को समतुल्य कहा जाता है यदि दूसरे का अदिश गुणज है {{math|''K''*}} का {{mvar|K}} (वास्तव में केवल पूर्णांक घातें {{mvar|p}} उपयोग करने की आवश्यकता है)। दो जाली {{math|''L''<sub>1</sub>}} और {{math|''L''<sub>2</sub>}} को आसन्न कहा जाता है यदि कुछ जाली के बराबर हो {{math|''L''<sub>2</sub>}} बीच मे स्थित {{math|''L''<sub>1</sub>}} और इसकी उदात्तता {{math|''p''·''L''<sub>1</sub>}}: यह संबंध सममित है. वह {{mvar|k}}-का सरलीकरण {{mvar|X}} के समतुल्य वर्ग हैं {{math|''k'' + 1}} परस्पर आसन्न जाली, वह {{math|(''n'' − 1)}}-सरलताएं, पुनः लेबल करने के बाद, जंजीरों से मेल खाती हैं


:{{math|''p''·''L''<sub>''n''</sub> ⊂ ''L''<sub>1</sub> ⊂ ''L''<sub>2</sub> ⊂ ··· ⊂ ''L''<sub>''n'' – 1 </sub> ⊂ ''L''<sub>''n''</sub>}}
:{{math|''p''·''L''<sub>''n''</sub> ⊂ ''L''<sub>1</sub> ⊂ ''L''<sub>2</sub> ⊂ ··· ⊂ ''L''<sub>''n'' – 1 </sub> ⊂ ''L''<sub>''n''</sub>}}


जहां प्रत्येक क्रमिक भागफल का क्रम होता है {{mvar|p}}. अपार्टमेंट को एक आधार तय करके परिभाषित किया जाता है {{math|(''v''<sub>''i''</sub>)}} का {{mvar|V}} और सभी जालकों को आधार के साथ लेना {{math|(''p''<sup>''a''<sub>''i''</sub></sup> ''v''<sub>''i''</sub>)}} कहाँ {{math|(''a''<sub>''i''</sub>)}} में निहित है {{math|'''Z'''<sup>''n''</sup>}} और प्रत्येक प्रविष्टि में समान पूर्णांक जोड़ने तक विशिष्ट रूप से निर्धारित किया जाता है।
जहां प्रत्येक क्रमिक भागफल का क्रम होता है {{mvar|p}}. अपार्टमेंट को आधार तय करके परिभाषित किया जाता है {{math|(''v''<sub>''i''</sub>)}} का {{mvar|V}} और सभी जालकों को आधार के साथ लेना {{math|(''p''<sup>''a''<sub>''i''</sub></sup> ''v''<sub>''i''</sub>)}} कहाँ {{math|(''a''<sub>''i''</sub>)}} में निहित है {{math|'''Z'''<sup>''n''</sup>}} और प्रत्येक प्रविष्टि में समान पूर्णांक जोड़ने तक विशिष्ट रूप से निर्धारित किया जाता है।


परिभाषा के अनुसार प्रत्येक अपार्टमेंट का आवश्यक रूप होता है और उनका संघ संपूर्ण होता है {{mvar|X}}. दूसरा स्वयंसिद्ध श्रेयर शोधन तर्क के एक प्रकार का अनुसरण करता है। अंतिम स्वयंसिद्ध रूप के परिमित एबेलियन समूहों के आदेशों के आधार पर एक सरल गिनती तर्क का पालन किया जाता है
परिभाषा के अनुसार प्रत्येक अपार्टमेंट का आवश्यक रूप होता है और उनका संघ संपूर्ण होता है {{mvar|X}}. दूसरा स्वयंसिद्ध श्रेयर शोधन तर्क के प्रकार का अनुसरण करता है। अंतिम स्वयंसिद्ध रूप के परिमित एबेलियन समूहों के आदेशों के आधार पर सरल गिनती तर्क का पालन किया जाता है


:{{math|''L'' + ''p''<sup>''k''</sup> ·''L''<sub>''i''</sub> / ''p''<sup>''k''</sup> ·''L''<sub>''i''</sub>}}
:{{math|''L'' + ''p''<sup>''k''</sup> ·''L''<sub>''i''</sub> / ''p''<sup>''k''</sup> ·''L''<sub>''i''</sub>}}


एक मानक कॉम्पैक्टनेस तर्क यह दर्शाता है {{mvar|X}} वास्तव में चयन से स्वतंत्र है {{mvar|K}}. विशेष रूप से लेना {{math|''K'' {{=}} '''Q'''}}, यह इस प्रकार है कि {{mvar|X}} गणनीय है. दूसरी ओर, ले रहा है {{math|''K'' {{=}} '''Q'''<sub>''p''</sub>}}, परिभाषा यह दर्शाती है {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} इमारत पर स्वाभाविक सरल कार्रवाई को स्वीकार करता है।
मानक कॉम्पैक्टनेस तर्क यह दर्शाता है {{mvar|X}} वास्तव में चयन से स्वतंत्र है {{mvar|K}}. विशेष रूप से लेना {{math|''K'' {{=}} '''Q'''}}, यह इस प्रकार है कि {{mvar|X}} गणनीय है. दूसरी ओर, ले रहा है {{math|''K'' {{=}} '''Q'''<sub>''p''</sub>}}, परिभाषा यह दर्शाती है {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} इमारत पर स्वाभाविक सरल कार्रवाई को स्वीकार करता है।


इमारत अपने शीर्षों पर मूल्यों के साथ लेबलिंग से सुसज्जित है {{math|'''Z''' / ''n'''''Z'''}}. दरअसल, एक संदर्भ जाली को ठीक करना {{mvar|L}}, का लेबल {{mvar|M}} द्वारा दिया गया है
इमारत अपने शीर्षों पर मूल्यों के साथ लेबलिंग से सुसज्जित है {{math|'''Z''' / ''n'''''Z'''}}. दरअसल, संदर्भ जाली को ठीक करना {{mvar|L}}, का लेबल {{mvar|M}} द्वारा दिया गया है


:{{math|label(''M'') {{=}} log<sub>''p''</sub> {{abs|''M'' / ''p''<sup>''k''</sup> ''L''}} modulo ''n''}}
:{{math|label(''M'') {{=}} log<sub>''p''</sub> {{abs|''M'' / ''p''<sup>''k''</sup> ''L''}} modulo ''n''}}


के लिए {{mvar|k}} पर्याप्त रूप से बड़ा. किसी का शीर्ष {{math|(''n'' – 1)}}-सिम्पलेक्स इन {{mvar|X}} के अलग-अलग लेबल हैं, जो संपूर्ण रूप से चल रहे हैं {{math|'''Z''' / ''n'''''Z'''}}. कोई भी सरल ऑटोमोर्फिज्म {{mvar|φ}} का {{mvar|X}} एक क्रमपरिवर्तन को परिभाषित करता है {{mvar|π}} का {{math|'''Z''' / ''n'''''Z'''}} ऐसा है कि {{math|label(''φ''(''M'')) {{=}} ''π''(label(''M''))}}. विशेष रूप से के लिए {{mvar|g}} में {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}},
के लिए {{mvar|k}} पर्याप्त रूप से बड़ा. किसी का शीर्ष {{math|(''n'' – 1)}}-सिम्पलेक्स इन {{mvar|X}} के अलग-अलग लेबल हैं, जो संपूर्ण रूप से चल रहे हैं {{math|'''Z''' / ''n'''''Z'''}}. कोई भी सरल ऑटोमोर्फिज्म {{mvar|φ}} का {{mvar|X}} क्रमपरिवर्तन को परिभाषित करता है {{mvar|π}} का {{math|'''Z''' / ''n'''''Z'''}} ऐसा है कि {{math|label(''φ''(''M'')) {{=}} ''π''(label(''M''))}}. विशेष रूप से के लिए {{mvar|g}} में {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}},


:{{math|label(''g''·''M'') {{=}} label(''M'') + log<sub>''p''</sub> {{norm|det ''g''}}<sub>''p''</sub> modulo ''n''}}.
:{{math|label(''g''·''M'') {{=}} label(''M'') + log<sub>''p''</sub> {{norm|det ''g''}}<sub>''p''</sub> modulo ''n''}}.
Line 101: Line 101:


===[[ स्वचालितता ]]===
===[[ स्वचालितता ]]===
टिट्स ने साबित कर दिया कि एफ़िन बिल्डिंग का कोई भी लेबल-संरक्षण ऑटोमोर्फिज्म एक तत्व से उत्पन्न होता है {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}. चूंकि इमारत की ऑटोमोर्फिज्म लेबल को क्रमबद्ध करती है, इसलिए एक प्राकृतिक होमोमोर्फिज्म होता है
टिट्स ने साबित कर दिया कि एफ़िन बिल्डिंग का कोई भी लेबल-संरक्षण ऑटोमोर्फिज्म तत्व से उत्पन्न होता है {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}. चूंकि इमारत की ऑटोमोर्फिज्म लेबल को क्रमबद्ध करती है, इसलिए प्राकृतिक होमोमोर्फिज्म होता है


:{{math|Aut ''X'' → ''S''<sub>''n''</sub>}}.
:{{math|Aut ''X'' → ''S''<sub>''n''</sub>}}.


की कार्रवाई {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} चक्रीय क्रमपरिवर्तन को जन्म देता है|{{mvar|n}}-चक्र{{mvar|τ}}. इमारत की अन्य ऑटोमोर्फिज्म [[बाहरी स्वचालितता]] से उत्पन्न होती हैं {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}डाइनकिन आरेख के ऑटोमोर्फिज्म से जुड़ा हुआ है। ऑर्थोनॉर्मल आधार के साथ मानक सममित द्विरेखीय रूप लेना {{math|''v''<sub>''i''</sub>}}, एक जाली को उसकी दोहरी जाली में भेजने वाला नक्शा एक ऑटोमोर्फिज्म देता है जिसका वर्ग पहचान है, जो क्रमपरिवर्तन देता है {{mvar|σ}} जो प्रत्येक लेबल को उसके नकारात्मक मॉड्यूलो पर भेजता है {{mvar|n}}. उपरोक्त समरूपता की छवि किसके द्वारा उत्पन्न होती है {{mvar|σ}} और {{mvar|τ}} और [[डायहेड्रल समूह]] के लिए समरूपी है {{math|''D''<sub>''n''</sub>}} आदेश की {{math|2''n''}}; कब {{math|''n'' {{=}} 3}}, यह संपूर्ण देता है {{math|''S''<sub>3</sub>}}.
की कार्रवाई {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} चक्रीय क्रमपरिवर्तन को जन्म देता है|{{mvar|n}}-चक्र{{mvar|τ}}. इमारत की अन्य ऑटोमोर्फिज्म [[बाहरी स्वचालितता]] से उत्पन्न होती हैं {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}डाइनकिन आरेख के ऑटोमोर्फिज्म से जुड़ा हुआ है। ऑर्थोनॉर्मल आधार के साथ मानक सममित द्विरेखीय रूप लेना {{math|''v''<sub>''i''</sub>}}, जाली को उसकी दोहरी जाली में भेजने वाला नक्शा ऑटोमोर्फिज्म देता है जिसका वर्ग पहचान है, जो क्रमपरिवर्तन देता है {{mvar|σ}} जो प्रत्येक लेबल को उसके नकारात्मक मॉड्यूलो पर भेजता है {{mvar|n}}. उपरोक्त समरूपता की छवि किसके द्वारा उत्पन्न होती है {{mvar|σ}} और {{mvar|τ}} और [[डायहेड्रल समूह]] के लिए समरूपी है {{math|''D''<sub>''n''</sub>}} आदेश की {{math|2''n''}}; कब {{math|''n'' {{=}} 3}}, यह संपूर्ण देता है {{math|''S''<sub>3</sub>}}.


अगर {{mvar|E}} का एक सीमित गैलोज़ विस्तार है {{math|'''Q'''<sub>''p''</sub>}} एवं भवन का निर्माण किया गया है {{math|SL<sub>''n''</sub>(''E'')}} के बजाय {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}, गैलोज़ समूह {{math|Gal(''E'' / '''Q'''<sub>''p''</sub>)}} इमारत पर ऑटोमोर्फिज्म द्वारा भी कार्य करेगा।
अगर {{mvar|E}} का सीमित गैलोज़ विस्तार है {{math|'''Q'''<sub>''p''</sub>}} एवं भवन का निर्माण किया गया है {{math|SL<sub>''n''</sub>(''E'')}} के बजाय {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}, गैलोज़ समूह {{math|Gal(''E'' / '''Q'''<sub>''p''</sub>)}} इमारत पर ऑटोमोर्फिज्म द्वारा भी कार्य करेगा।


===ज्यामितीय संबंध===
===ज्यामितीय संबंध===
Line 117: Line 117:
===ब्रुहट-जटिल गुणन वाले स्तन वृक्ष===
===ब्रुहट-जटिल गुणन वाले स्तन वृक्ष===


कब {{mvar|L}} समूह के लिए भवन पर एक आर्किमिडीयन स्थानीय क्षेत्र है {{math|SL<sub>2</sub>(''L'')}} जटिल गुणन के साथ एक इमारत की अतिरिक्त संरचना लगाई जा सकती है। इन्हें सबसे पहले मार्टिन एल. ब्राउन द्वारा प्रस्तुत किया गया था ({{harvnb|Brown|2004}}). ये इमारतें द्विघात विस्तार से उत्पन्न होती हैं {{mvar|L}} सदिश समष्टि पर कार्य करता है {{math|''L''<sup>2</sup>}}. जटिल गुणन वाली इन इमारतों को किसी भी वैश्विक क्षेत्र तक बढ़ाया जा सकता है। वे शास्त्रीय मॉड्यूलर वक्र पर हेगनर बिंदुओं पर हेके ऑपरेटरों की कार्रवाई का वर्णन करते हैं {{math|''X''<sub>0</sub>(''N'')}} साथ ही ड्रिनफेल्ड मॉड्यूलर वक्र पर भी {{math|''X''{{su|b=0|p=Drin}}(''I'')}}. जटिल गुणन वाली ये इमारतें पूरी तरह से मामले के लिए वर्गीकृत हैं {{math|SL<sub>2</sub>(''L'')}} में {{harvnb|Brown|2004}}
कब {{mvar|L}} समूह के लिए भवन पर आर्किमिडीयन स्थानीय क्षेत्र है {{math|SL<sub>2</sub>(''L'')}} जटिल गुणन के साथ इमारत की अतिरिक्त संरचना लगाई जा सकती है। इन्हें सबसे पहले मार्टिन एल. ब्राउन द्वारा प्रस्तुत किया गया था ({{harvnb|Brown|2004}}). ये इमारतें द्विघात विस्तार से उत्पन्न होती हैं {{mvar|L}} सदिश समष्टि पर कार्य करता है {{math|''L''<sup>2</sup>}}. जटिल गुणन वाली इन इमारतों को किसी भी वैश्विक क्षेत्र तक बढ़ाया जा सकता है। वे शास्त्रीय मॉड्यूलर वक्र पर हेगनर बिंदुओं पर हेके ऑपरेटरों की कार्रवाई का वर्णन करते हैं {{math|''X''<sub>0</sub>(''N'')}} साथ ही ड्रिनफेल्ड मॉड्यूलर वक्र पर भी {{math|''X''{{su|b=0|p=Drin}}(''I'')}}. जटिल गुणन वाली ये इमारतें पूरी तरह से मामले के लिए वर्गीकृत हैं {{math|SL<sub>2</sub>(''L'')}} में {{harvnb|Brown|2004}}


==वर्गीकरण==
==वर्गीकरण==
टिट्स ने साबित किया कि 2 से अधिक रैंक की सभी अपरिवर्तनीय गोलाकार इमारतें (यानी परिमित वेइल समूह के साथ) सरल बीजगणितीय या शास्त्रीय समूहों से जुड़ी हैं।
टिट्स ने साबित किया कि 2 से अधिक रैंक की सभी अपरिवर्तनीय गोलाकार इमारतें (यानी परिमित वेइल समूह के साथ) सरल बीजगणितीय या शास्त्रीय समूहों से जुड़ी हैं।


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


टिट्स ने यह भी साबित किया कि हर बार किसी इमारत का वर्णन एक द्वारा किया जाता है {{math|(''B'', ''N'')}} एक समूह में जोड़ी, तो लगभग सभी मामलों में इमारत की ऑटोमोर्फिज्म समूह की ऑटोमोर्फिज्म के अनुरूप होती है (देखें) {{harvnb|Tits|1974}}).
टिट्स ने यह भी साबित किया कि हर बार किसी इमारत का वर्णन द्वारा किया जाता है {{math|(''B'', ''N'')}} समूह में जोड़ी, तो लगभग सभी मामलों में इमारत की ऑटोमोर्फिज्म समूह की ऑटोमोर्फिज्म के अनुरूप होती है (देखें) {{harvnb|Tits|1974}}).


==अनुप्रयोग==
==अनुप्रयोग==

Revision as of 18:43, 25 July 2023

गणित में, इमारत (टिट्स बिल्डिंग भी, जिसका नाम जैक्स टिट्स के नाम पर रखा गया है) संयुक्त और ज्यामितीय संरचना है जो साथ ध्वज मैनिफोल्ड्स, परिमित प्रक्षेप्य विमानों और रीमैनियन सममित स्थानों के कुछ पहलुओं को सामान्यीकृत करती है। इमारतों को शुरू में जैक्स टिट्स द्वारा लाई प्रकार के समूह की संरचना को समझने के साधन के रूप में पेश किया गया था। ब्रुहट-टिट्स इमारतों का अधिक विशिष्ट सिद्धांत (जिसका नाम फ्रांकोइस ब्रुहट के नाम पर भी रखा गया है) पी-एडिक लाई समूह के अध्ययन में भूमिका निभाता है|p-एडिक लाई समूह, लाई समूहों के सिद्धांत में सममित स्थानों के सिद्धांत के अनुरूप है।

अवलोकन

2-एडिक लाई समूह के लिए ब्रुहट-टिट्स पेड़ SL(2,Q2).

भवन की अवधारणा का आविष्कार जैक्स टिट्स द्वारा मनमाने क्षेत्र (गणित) पर लाई प्रकार के समूह का वर्णन करने के साधन के रूप में किया गया था। स्तन ने ऐसे प्रत्येक समूह को प्रदर्शित किया (गणित) G कोई सरल परिसर को जोड़ सकता है Δ = Δ(G) की समूह क्रिया (गणित) के साथ G, की गोलाकार इमारत कहलाती है G. समूह G कॉम्प्लेक्स पर बहुत मजबूत संयोजन नियमितता की स्थिति लागू करता है Δ जो इस प्रकार उत्पन्न हो सकता है। सरलीकृत परिसरों के वर्ग के लिए इन स्थितियों को स्वयंसिद्ध मानकर, टिट्स इमारत की अपनी पहली परिभाषा पर पहुंचे। किसी भवन को परिभाषित करने वाले डेटा का भाग Δ कॉक्सेटर समूह है W, जो अत्यधिक सममितीय सरलीकृत परिसर को निर्धारित करता है Σ = Σ(W,S), कॉक्सेटर कॉम्प्लेक्स कहा जाता है। इमारत Δ की कई प्रतियों को साथ चिपका दिया गया है Σ, निश्चित नियमित फैशन में, इसके अपार्टमेंट कहलाते हैं। कब W परिमित कॉक्सेटर समूह है, कॉक्सेटर कॉम्प्लेक्स टोपोलॉजिकल क्षेत्र है, और संबंधित इमारतों को गोलाकार प्रकार का कहा जाता है। कब W एफ़िन वेइल समूह है, कॉक्सेटर कॉम्प्लेक्स एफ़िन विमान का उपखंड है और एफ़िन, या यूक्लिडियन, इमारतों की बात करता है। प्रकार की एफ़िन बिल्डिंग Ã1 टर्मिनल शीर्षों के बिना अनंत वृक्ष (ग्राफ़ सिद्धांत) के समान है।

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

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

परिभाषा

n-आयामी भवन X अमूर्त सरल संकुल है जो उप संकुलों का संघ है Aअपार्टमेंट को ऐसे कहा जाता है

  • प्रत्येक k-का सरलीकरण X कम से कम तीन के भीतर है n-सरल अगर k < n;
  • कोई (n – 1)- अपार्टमेंट में सिंप्लेक्स A बिल्कुल दो आसन्न में स्थित है n-का सरलीकरण A और आसन्न का ग्राफ सिद्धांत n-सरल जुड़ा हुआ है;
  • कोई दो सरल में X किसी आम अपार्टमेंट में लेट जाओ A;
  • यदि दो सिंपलिस दोनों अपार्टमेंट में झूठ बोलते हैं A और A′, तो सरल समरूपता है Aपर A′ दो सरलताओं के शीर्षों को ठीक करना।

n-सिम्पलेक्स इन A को कक्ष कहा जाता है (मूल रूप से चैम्ब्रे, यानी फ्रेंच भाषा में कमरा)।

भवन की श्रेणी को परिभाषित किया गया है n + 1.

प्राथमिक गुण

हर अपार्टमेंट A इमारत में कॉक्सेटर कॉम्प्लेक्स है। वास्तव में, प्रत्येक दो के लिए n- में सरल प्रतिच्छेद (n – 1)-सिम्प्लेक्स या पैनल, दो सरल ऑटोमोर्फिज्म की अनूठी अवधि है A, प्रतिबिंब कहा जाता है, ले जाने वाला n-दूसरे पर सरलीकरण करना और उनके सामान्य बिंदुओं को ठीक करना। ये प्रतिबिंब कॉक्सेटर समूह उत्पन्न करते हैं W, का वेइल समूह कहा जाता है A, और सरल जटिल A के मानक ज्यामितीय बोध से मेल खाता है W. कॉक्सेटर समूह के मानक जनरेटर निश्चित कक्ष की दीवारों में प्रतिबिंब द्वारा दिए जाते हैं A. अपार्टमेंट के बाद से A इमारत द्वारा समरूपता तक निर्धारित किया जाता है, यही बात किन्हीं दो सरलताओं के लिए भी सच है X किसी सामान्य अपार्टमेंट में पड़ा हुआ A. कब Wपरिमित है, भवन गोलाकार कहा गया है। जब यह एफ़िन वेइल समूह होता है, तो इमारत को एफ़िन या यूक्लिडियन कहा जाता है।

कक्ष प्रणाली कक्षों द्वारा गठित आसन्नता ग्राफ है; आसन्न कक्षों के प्रत्येक जोड़े को किसी मानक द्वारा लेबल किया जा सकता है कॉक्सेटर समूह के जनरेटर (देखें Tits 1981).

हर इमारत में विहित आंतरिक मीट्रिक होती है जो हिल्बर्ट स्थान के ऑर्थोनॉर्मल आधार के साथ शीर्षों की पहचान करके प्राप्त ज्यामितीय अहसास से विरासत में मिली है। संबद्ध भवनों के लिए, यह मीट्रिक CAT(k) स्थान को संतुष्ट करता है|CAT(0) अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव की तुलनात्मक असमानता, जिसे इस सेटिंग में जियोडेसिक त्रिकोण के लिए ब्रुहट-टिट्स गैर-सकारात्मक वक्रता स्थिति के रूप में जाना जाता है: शीर्ष से विपरीत दिशा के मध्य बिंदु तक की दूरी समान भुजाओं की लंबाई वाले संबंधित यूक्लिडियन त्रिकोण में दूरी से अधिक नहीं है (देखें) Bruhat & Tits 1972).

के साथ संबंध (B, N)जोड़े

यदि कोई समूह G किसी इमारत पर सरलता से कार्य करता है X, जोड़ों पर सकर्मक रूप से (C,A) कक्षों का C और अपार्टमेंट Aउनसे युक्त, तो ऐसी जोड़ी के स्टेबलाइजर्स बीएन जोड़ी को परिभाषित करते हैं|(B, N) जोड़ी या स्तन प्रणाली. वास्तव में उपसमूहों की जोड़ी

B = GC और N = GA

ए के सिद्धांतों को संतुष्ट करता है (B, N) जोड़ी और वेइल समूह की पहचान की जा सकती है N / N ∩ B.

इसके विपरीत भवन को पुनः प्राप्त किया जा सकता है (B, N) जोड़ी, ताकि प्रत्येक (B, N) जोड़ी प्रामाणिक रूप से इमारत को परिभाषित करती है। वास्तव में, की शब्दावली का उपयोग करना (B, N) जोड़े और किसी भी संयुग्म को बुलाना B बोरेल उपसमूह और बोरेल उपसमूह वाला कोई भी समूह, परवलयिक उपसमूह,

  • इमारत के शिखर Xअधिकतम परवलयिक उपसमूहों के अनुरूप;
  • k + 1 शीर्ष रूप बनाते हैं k-सिंप्लेक्स जब भी संबंधित अधिकतम परवलयिक उपसमूहों का प्रतिच्छेदन भी परवलयिक होता है;
  • अपार्टमेंट नीचे संयुग्मित हैं G नीचे संयुग्मों द्वारा दिए गए शीर्षों के साथ सरल उपसंकुल का N अधिकतम परवलयिक युक्त B.

ही इमारत का अक्सर अलग-अलग वर्णन किया जा सकता है (B, N) जोड़े। इसके अलावा, हर इमारत से नहीं आती (B, N) जोड़ी: यह निम्न रैंक और आयाम में वर्गीकरण परिणामों की विफलता से मेल खाती है (नीचे देखें)।

गोलाकार और गोलाकार इमारतों के लिए SLn

संबद्ध और गोलाकार इमारतों की सरल संरचना SLn(Qp), साथ ही उनके अंतर्संबंधों को केवल प्राथमिक बीजगणित और ज्यामिति की अवधारणाओं का उपयोग करके सीधे समझाना आसान है (देखें) Garrett 1997). इस मामले में तीन अलग-अलग इमारतें हैं, दो गोलाकार और गोलाकार। प्रत्येक अपार्टमेंट का संघ है, जो स्वयं सरल परिसर हैं। एफ़िन बिल्डिंग के लिए, अपार्टमेंट सरल जटिल चौकोर यूक्लिडियन स्थान है En−1 द्वारा (n − 1)-आयामी सरलताएं; जबकि गोलाकार इमारत के लिए यह सभी द्वारा निर्मित सीमित सरल परिसर है (n − 1)! अनुरूप टेस्सेलेशन में किसी दिए गए सामान्य शीर्ष के साथ सरलता En−2.

प्रत्येक इमारत साधारण परिसर है X जिसे निम्नलिखित सिद्धांतों को संतुष्ट करना होगा:

  • Xअपार्टमेंट का संघ है.
  • कोई भी दो सरलताएँ X सामान्य अपार्टमेंट में समाहित हैं।
  • यदि सिम्प्लेक्स दो अपार्टमेंटों में समाहित है, तो सभी सामान्य बिंदुओं को ठीक करते हुए से दूसरे की सरल समरूपता होती है।

गोलाकार भवन

होने देना F क्षेत्र (गणित) बनें और रहने दें X गैर-तुच्छ वेक्टर उप-स्थानों के शीर्षों के साथ सरल जटिल बनें V = Fn. दो उपस्थान U1 और U2 जुड़े हुए हैं यदि उनमें से दूसरे का उपसमुच्चय है। वह k-का सरलीकरण X के सेट से बनते हैं k + 1 परस्पर जुड़े हुए उपस्थान। लेने से अधिकतम कनेक्टिविटी प्राप्त होती है n − 1 उचित गैर-तुच्छ उप-स्थान और संगत (n − 1)-सिंप्लेक्स ध्वज से मेल खाता है (रैखिक बीजगणित)

(0) ⊂ U1 ⊂ ··· ⊂ Un – 1 ⊂ V

कम आयामी सरलताएं कम मध्यस्थ उपस्थानों वाले आंशिक झंडों के अनुरूप होती हैं Ui.

अपार्टमेंट को परिभाषित करने के लिए X, इसमें फ़्रेम को परिभाषित करना सुविधाजनक है V आधार रूप से (vi) इसके प्रत्येक सदिश के अदिश गुणन तक निर्धारित किया जाता है vi; दूसरे शब्दों में फ़्रेम -आयामी उप-स्थानों का सेट है Li = F·vi ऐसा कि कोई भी k उनमें से उत्पन्न होता है k-आयामी उपस्थान. अब ऑर्डर किया गया फ्रेम L1, ..., Ln के माध्यम से पूर्ण ध्वज को परिभाषित करता है

Ui = L1 ⊕ ··· ⊕ Li

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

एफ़िन बिल्डिंग

होने देना K के बीच में फ़ील्ड हो Q और इसका पी-एडिक नंबर|p-अर्थात् पूर्णता Qp सामान्य आर्किमिडीयन संपत्ति के संबंध में|गैर-आर्किमिडीयन पी-एडिक मानदंड|p-अर्थात आदर्श ||x||p पर Q कुछ प्राइम के लिए p. होने देना R का उपरिंग हो K द्वारा परिभाषित

R = { x : ||x||p ≤ 1 }

कब K = Q, R रिंग का स्थानीयकरण है Z पर p और जब K = Qp, R = Zp, पी-एडिक पूर्णांक|p-एडीआईसी पूर्णांक, यानी बंद करना Z में Qp.

इमारत के शिखर X हैं R-में जाली V = Kn, अर्थात। R-फॉर्म के उपमॉड्यूल

L = R·v1 ⊕ ··· ⊕ R·vn

कहाँ (vi) का आधार है V ऊपर K. गुणक समूह के तत्व द्वारा दो जालकों को समतुल्य कहा जाता है यदि दूसरे का अदिश गुणज है K* का K (वास्तव में केवल पूर्णांक घातें p उपयोग करने की आवश्यकता है)। दो जाली L1 और L2 को आसन्न कहा जाता है यदि कुछ जाली के बराबर हो L2 बीच मे स्थित L1 और इसकी उदात्तता p·L1: यह संबंध सममित है. वह k-का सरलीकरण X के समतुल्य वर्ग हैं k + 1 परस्पर आसन्न जाली, वह (n − 1)-सरलताएं, पुनः लेबल करने के बाद, जंजीरों से मेल खाती हैं

p·Ln ⊂ L1 ⊂ L2 ⊂ ··· ⊂ Ln – 1 ⊂ Ln

जहां प्रत्येक क्रमिक भागफल का क्रम होता है p. अपार्टमेंट को आधार तय करके परिभाषित किया जाता है (vi) का V और सभी जालकों को आधार के साथ लेना (pai vi) कहाँ (ai) में निहित है Zn और प्रत्येक प्रविष्टि में समान पूर्णांक जोड़ने तक विशिष्ट रूप से निर्धारित किया जाता है।

परिभाषा के अनुसार प्रत्येक अपार्टमेंट का आवश्यक रूप होता है और उनका संघ संपूर्ण होता है X. दूसरा स्वयंसिद्ध श्रेयर शोधन तर्क के प्रकार का अनुसरण करता है। अंतिम स्वयंसिद्ध रूप के परिमित एबेलियन समूहों के आदेशों के आधार पर सरल गिनती तर्क का पालन किया जाता है

L + pk ·Li / pk ·Li

मानक कॉम्पैक्टनेस तर्क यह दर्शाता है X वास्तव में चयन से स्वतंत्र है K. विशेष रूप से लेना K = Q, यह इस प्रकार है कि X गणनीय है. दूसरी ओर, ले रहा है K = Qp, परिभाषा यह दर्शाती है GLn(Qp) इमारत पर स्वाभाविक सरल कार्रवाई को स्वीकार करता है।

इमारत अपने शीर्षों पर मूल्यों के साथ लेबलिंग से सुसज्जित है Z / nZ. दरअसल, संदर्भ जाली को ठीक करना L, का लेबल M द्वारा दिया गया है

label(M) = logp |M / pk L| modulo n

के लिए k पर्याप्त रूप से बड़ा. किसी का शीर्ष (n – 1)-सिम्पलेक्स इन X के अलग-अलग लेबल हैं, जो संपूर्ण रूप से चल रहे हैं Z / nZ. कोई भी सरल ऑटोमोर्फिज्म φ का X क्रमपरिवर्तन को परिभाषित करता है π का Z / nZ ऐसा है कि label(φ(M)) = π(label(M)). विशेष रूप से के लिए g में GLn(Qp),

label(g·M) = label(M) + logp ||det g||p modulo n.

इस प्रकार g यदि लेबल सुरक्षित रखता है g में निहित है SLn(Qp).

स्वचालितता

टिट्स ने साबित कर दिया कि एफ़िन बिल्डिंग का कोई भी लेबल-संरक्षण ऑटोमोर्फिज्म तत्व से उत्पन्न होता है SLn(Qp). चूंकि इमारत की ऑटोमोर्फिज्म लेबल को क्रमबद्ध करती है, इसलिए प्राकृतिक होमोमोर्फिज्म होता है

Aut X → Sn.

की कार्रवाई GLn(Qp) चक्रीय क्रमपरिवर्तन को जन्म देता है|n-चक्रτ. इमारत की अन्य ऑटोमोर्फिज्म बाहरी स्वचालितता से उत्पन्न होती हैं SLn(Qp)डाइनकिन आरेख के ऑटोमोर्फिज्म से जुड़ा हुआ है। ऑर्थोनॉर्मल आधार के साथ मानक सममित द्विरेखीय रूप लेना vi, जाली को उसकी दोहरी जाली में भेजने वाला नक्शा ऑटोमोर्फिज्म देता है जिसका वर्ग पहचान है, जो क्रमपरिवर्तन देता है σ जो प्रत्येक लेबल को उसके नकारात्मक मॉड्यूलो पर भेजता है n. उपरोक्त समरूपता की छवि किसके द्वारा उत्पन्न होती है σ और τ और डायहेड्रल समूह के लिए समरूपी है Dn आदेश की 2n; कब n = 3, यह संपूर्ण देता है S3.

अगर E का सीमित गैलोज़ विस्तार है Qp एवं भवन का निर्माण किया गया है SLn(E) के बजाय SLn(Qp), गैलोज़ समूह Gal(E / Qp) इमारत पर ऑटोमोर्फिज्म द्वारा भी कार्य करेगा।

ज्यामितीय संबंध

एफ़िन बिल्डिंग के संबंध में गोलाकार इमारतें दो बिल्कुल अलग-अलग तरीकों से उत्पन्न होती हैं X के लिए SLn(Qp):

  • प्रत्येक शीर्ष का लिंक (ज्यामिति)। L एफ़िन बिल्डिंग में सबमॉड्यूल से मेल खाता है L / p·L परिमित क्षेत्र के अंतर्गत F = R / p·R = Z / (p). यह सिर्फ गोलाकार इमारत के लिए है SLn(F).
  • इमारत X के लिए गोलाकार भवन को जोड़कर संघनन (गणित) किया जा सकता है SLn(Qp) अनंत पर सीमा के रूप में (देखें Garrett 1997 या Brown 1989).

ब्रुहट-जटिल गुणन वाले स्तन वृक्ष

कब L समूह के लिए भवन पर आर्किमिडीयन स्थानीय क्षेत्र है SL2(L) जटिल गुणन के साथ इमारत की अतिरिक्त संरचना लगाई जा सकती है। इन्हें सबसे पहले मार्टिन एल. ब्राउन द्वारा प्रस्तुत किया गया था (Brown 2004). ये इमारतें द्विघात विस्तार से उत्पन्न होती हैं L सदिश समष्टि पर कार्य करता है L2. जटिल गुणन वाली इन इमारतों को किसी भी वैश्विक क्षेत्र तक बढ़ाया जा सकता है। वे शास्त्रीय मॉड्यूलर वक्र पर हेगनर बिंदुओं पर हेके ऑपरेटरों की कार्रवाई का वर्णन करते हैं X0(N) साथ ही ड्रिनफेल्ड मॉड्यूलर वक्र पर भी XDrin
0(I). जटिल गुणन वाली ये इमारतें पूरी तरह से मामले के लिए वर्गीकृत हैं SL2(L) में Brown 2004

वर्गीकरण

टिट्स ने साबित किया कि 2 से अधिक रैंक की सभी अपरिवर्तनीय गोलाकार इमारतें (यानी परिमित वेइल समूह के साथ) सरल बीजगणितीय या शास्त्रीय समूहों से जुड़ी हैं।

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

टिट्स ने यह भी साबित किया कि हर बार किसी इमारत का वर्णन द्वारा किया जाता है (B, N) समूह में जोड़ी, तो लगभग सभी मामलों में इमारत की ऑटोमोर्फिज्म समूह की ऑटोमोर्फिज्म के अनुरूप होती है (देखें) Tits 1974).

अनुप्रयोग

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

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

यह भी देखें

संदर्भ


बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=बिल्डिंग_(गणित)&oldid=232538’