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

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


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


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


==परिभाषा==
==परिभाषा==
{{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''}};
Line 20: Line 20:
{{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}}अपार्टमेंट का  संघ है.
Line 54: Line 54:
* यदि  सिम्प्लेक्स दो अपार्टमेंटों में समाहित है, तो सभी सामान्य बिंदुओं को ठीक करते हुए  से दूसरे की सरल समरूपता होती है।
* यदि  सिम्प्लेक्स दो अपार्टमेंटों में समाहित है, तो सभी सामान्य बिंदुओं को ठीक करते हुए  से दूसरे की सरल समरूपता होती है।


===गोलाकार भवन===
===गोलाकार बिल्डिंग===
होने देना {{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)}}-सिंप्लेक्स  ध्वज से मेल खाता है (रैखिक बीजगणित)


Line 65: Line 65:
: {{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'''}} और इसका p-एडिक नंबर|{{mvar|p}}-अर्थात् पूर्णता {{math|'''Q'''<sub>''p''</sub>}} सामान्य आर्किमिडीयन संपत्ति के संबंध में|गैर-आर्किमिडीयन p-एडिक मानदंड|{{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>}}, p-एडिक पूर्णांक|{{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}}-फॉर्म के [[उपमॉड्यूल]]


:{{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>}}
Line 88: Line 88:
:{{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''}}
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|τ}} और [[डायहेड्रल समूह]] के लिए समरूp है {{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>)}} बिल्डिंगपर ऑटोमोर्फिज्म द्वारा भी कार्य करेगा।


===ज्यामितीय संबंध===
===ज्यामितीय संबंध===
एफ़िन बिल्डिंग के संबंध में गोलाकार इमारतें दो बिल्कुल अलग-अलग तरीकों से उत्पन्न होती हैं {{mvar|X}} के लिए {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}:
एफ़िन बिल्डिंग के संबंध में गोलाकार बिल्डिंग दो बिल्कुल अलग-अलग तरीकों से उत्पन्न होती हैं {{mvar|X}} के लिए {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}:


* प्रत्येक शीर्ष का [[लिंक (ज्यामिति)]]। {{mvar|L}} एफ़िन बिल्डिंग में सबमॉड्यूल से मेल खाता है {{math|''L'' / ''p''·''L''}} परिमित क्षेत्र के अंतर्गत {{math|''F'' {{=}} ''R'' / ''p''·''R'' {{=}} '''Z''' / (''p'')}}. यह सिर्फ गोलाकार इमारत के लिए है {{math|SL<sub>''n''</sub>(''F'')}}.
* प्रत्येक शीर्ष का [[लिंक (ज्यामिति)]]। {{mvar|L}} एफ़िन बिल्डिंग में सबमॉड्यूल से मेल खाता है {{math|''L'' / ''p''·''L''}} परिमित क्षेत्र के अंतर्गत {{math|''F'' {{=}} ''R'' / ''p''·''R'' {{=}} '''Z''' / (''p'')}}. यह सिर्फ गोलाकार बिल्डिंगके लिए है {{math|SL<sub>''n''</sub>(''F'')}}.
* इमारत {{mvar|X}} के लिए गोलाकार भवन को जोड़कर [[संघनन (गणित)]] किया जा सकता है {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} अनंत पर सीमा के रूप में (देखें {{harvnb|Garrett|1997}} या {{harvnb|Brown|1989}}).
* बिल्डिंग{{mvar|X}} के लिए गोलाकार बिल्डिंग को जोड़कर [[संघनन (गणित)]] किया जा सकता है {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} अनंत पर सीमा के रूप में (देखें {{harvnb|Garrett|1997}} या {{harvnb|Brown|1989}}).


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


कब {{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-आयामी सरल परिसर जिसमें शीर्षों के लिंक  परिमित प्रक्षेप्य विमान के [[ध्वज परिसर]] के समरूp होते हैं,  बिल्डिंगकी संरचना होती है, जरूरी नहीं कि शास्त्रीय हो। कई 2-आयामी एफ़िन बिल्डिंग का निर्माण हाइपरबोलिक [[प्रतिबिंब समूह]]ों या [[ कक्षीय ]]्स से जुड़े अन्य अधिक विदेशी निर्माणों का उपयोग करके किया गया है।


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


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


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


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


== यह भी देखें ==
== यह भी देखें ==

Revision as of 06:46, 26 July 2023

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

अवलोकन

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

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

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

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

परिभाषा

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 / NB.

इसके विपरीत बिल्डिंग को पुनः प्राप्त किया जा सकता है (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-एडिक नंबर|p-अर्थात् पूर्णता Qp सामान्य आर्किमिडीयन संपत्ति के संबंध में|गैर-आर्किमिडीयन p-एडिक मानदंड|p-अर्थात आदर्श ||x||p पर Q कुछ प्राइम के लिए p. होने देना R का उपरिंग हो K द्वारा परिभाषित

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

कब K = Q, R रिंग का स्थानीयकरण है Z पर p और जब K = Qp, R = Zp, p-एडिक पूर्णांक|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·LnL1L2 ⊂ ··· ⊂ 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 XSn.

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

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

अनुप्रयोग

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

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

यह भी देखें

संदर्भ


बाहरी संबंध