🔢 mathematics

Non-residually finite $\tilde{C}_2$ -lattices

यह शोध पत्र अपरिवर्तनीय (irreducible) बिल्डिंग्स पर गैर-अवशिष्ट रूप से परिमित (non-residually finite) लैटिस के पहले ज्ञात उदाहरण प्रस्तुत करता है, जिनमें प्रॉपर्टी (T) वाले पहले सरल CAT(0)-ग्रुप्स और प्रत्यक्ष उत्पाद (direct product) के साथ अर्ध-समरूप (quasi-isometric) न होने वाले पहले CAT(0)-ग्रूप्स शामिल हैं, साथ ही यह मोटाई तीन वाले $\tilde{A}_2$ बिल्डिंग्स पर प्रकार-संरक्षण करने वाले वर्टेक्स-रेगुलर लैटिस का वर्गीकरण करता है और एक नए अंकगणितीय उदाहरण की पहचान करता है।

मूल लेखक: Thomas Titz Mite, Stefan Witzel

प्रकाशित 2026-08-21

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Thomas Titz Mite, Stefan Witzel

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

आधुनिक गणित के विशाल परिदृश्य में, एक क्षेत्र समर्पित है जो समूहों (groups) के माध्यम से सममिति (symmetry) और आकार को समझने के लिए। इस संदर्भ में, एक समूह केवल सममितियों का एक संग्रह है जिन्हें जोड़ा और उलटा जा सकता है, ठीक वैसे ही जैसे किसी ज्यामितीय वस्तु को घुमाने या पलटने के तरीके होते हैं। एक शताब्दी से अधिक समय से, गणितज्ञ विशेष रूप से उन "लैटिसों" (lattices) में रुचि रखते रहे हैं, जो 'बिल्डिंग्स' (buildings) नामक जटिल ज्यामितिक संरचनाओं पर कार्य करने वाले विशिष्ट प्रकार के समूह हैं। ये बिल्डिंग्स ईंट और गारे से नहीं बनी हैं, बल्कि त्रिभुजों और वर्गों के जटिल, उच्च-आयामी नेटवर्क हैं जो हर दिशा में अनंत रूप से फैले हुए हैं। एक प्रमुख प्रश्न, जिसने शोधकर्ताओं को लंबे समय तक उलझाए रखा, यह है कि क्या ये लैटिस "अवशिष्ट रूप से परिमित" (residually finite) हैं। यह गुण अनिवार्य रूप से यह पूछता है कि क्या एक समूह पर्याप्त छोटे, परिमित टुकड़ों से बना है ताकि इसे उनके परिमित प्रतिबिंबों (finite shadows) को देखकर पूरी तरह से समझा जा सके। यदि कोई समूह अवशिष्ट रूप से परिमित है, तो इसका अर्थ है कि समूह के भीतर प्रत्येक अलग चाल (move) के लिए, एक ऐसा परिमित मानचित्र मौजूद है जहाँ वह चाल कुछ न करने जैसा नहीं दिखता। यदि यह नहीं है, तो इसमें छिपी हुई अनंत जटिलताएं हैं जिन्हें किसी भी परिमित परीक्षण द्वारा पता नहीं लगाया जा सकता। दशकों तक, इन विदेशी, गैर-मानक बिल्डिंग्स पर ज्ञात लैटिसों के बारे में संदेह था कि वे अवशिष्ट रूप से परिमित नहीं हैं, लेकिन कोई भी व्यक्ति एक भी मामले के लिए इसे सिद्ध नहीं कर सका।

शोधकर्ताओं की एक टीम ने अब ठोस प्रमाण प्रदान किया है कि ऐसे समूह अस्तित्व में हैं। उन्होंने त्रिभुजों से बने पांच विशिष्ट, परिमित आकारों का निर्माण किया जो इन अनंत संरचनाओं के लिए ब्लूप्रिंट के रूप में कार्य करते हैं। जब इन आकारों को उनके अनंत संस्करणों में खोला जाता है, तो वे $\tilde{C}_2$ प्रकार के 'एक्सोटिक बिल्डिंग्स' बनाते हैं। इन आकारों से जुड़े मौलिक समूह (fundamental groups)—जो इस बात का गणितीय विवरण हैं कि कैसे एक इन संरचनाओं के भीतर लूपों के चारों ओर घूम सकता है—को गैर-अवशिष्ट रूप से परिमित दिखाया गया है। इसका अर्थ यह है कि इन समूहों के भीतर, कुछ विशिष्ट, गैर-तुच्छ चालें (non-trivial moves) मौजूद हैं जो समूह के प्रत्येक संभावित परिमित संस्करण में कुछ न करने जैसा प्रतीत होती हैं। शोधकर्ताओं ने केवल अनुमान नहीं लगाया; उन्होंने इन सही आकारों को खोजने के लिए कंप्यूटर-सहायता प्राप्त खोजों और यह पुष्टि करने के लिए कठोर गणितीय सत्यापन का उपयोग किया कि परिणामी समूहों में यह मायावी गुण मौजूद है।

यह खोज महत्वपूर्ण है क्योंकि यह क्षेत्र में एक लंबे समय से चले आ रहे अवरोध को तोड़ती है। इस कार्य से पहले, पेड़ों (trees) के उत्पादों पर आधारित संरचनाओं (जो सरल, एक-आयामी नेटवर्क हैं) पर ज्ञात गैर-अवशिष्ट रूप से परिमित लैटिसों के एकमात्र उदाहरण मौजूद थे। नए उदाहरण "अविभाज्य" (irreducible) हैं, जिसका अर्थ है कि उन्हें सरल उत्पादों में तोड़ा नहीं जा सकता; वे वास्तव में द्वि-आयामी और जटिल हैं। यह खोज यह भी प्रकट करती है कि इन समूहों के परिमित अवशेष (finite residuals) "सरल" (simple) हैं, जिसका अर्थ है कि उनके पास छिपने के लिए कोई गैर-तुच्छ सामान्य उपसमूह (normal subgroups) नहीं हैं, जो उन्हें संरचनात्मक रूप से बहुत कठोर बनाता है। इसके अलावा, इन समूहों में "काज़दान का गुण (T)" (Kazhdan's property (T)) है, जो एक प्रकार की कठोरता का संकेत देता है जहाँ समूह सरल संरचनाओं द्वारा विकृत या अनुमानित होने का विरोध करता है। सरल परिमित अवशेष होने, कठोर होने और गैर-अवशिष्ट रूप से परिमित होने का यह संयोजन अविभाज्य बिल्डिंग्स पर लैटिसों की दुनिया में पहले अज्ञात था।

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

मुख्य खोज के अलावा, शोध पत्र एक संबंधित लेकिन भिन्न प्रकार की बिल्डिंग पर एक अलग, सुव्यवस्थित प्रकार के लैटिस का पूर्ण वर्गीकरण भी प्रस्तुत करता है। शोधकर्ताओं ने $\tilde{A}_2$ प्रकार की बिल्डिंग के साथ, एक विशिष्ट मोटाई तीन के साथ, नियमित रूप से शीर्षों (vertices) पर कार्य करने वाले सभी संभावित लैटिसों को सूचीबद्ध किया। उन्होंने पाया कि इनमें से ठीक तेरह लैटिस थे। अधिकांश पहले से ही "अंकगणितीय" (arithmetic) ज्ञात थे, जिसका अर्थ है कि वे संख्या सिद्धांत और बीजगणितीय समीकरणों से उत्पन्न होते हैं। हालाँकि, तेरह में से एक नया, पहले से अज्ञात अंकगणितीय उदाहरण निकला। यह विशिष्ट लैटिस संख्याओं के एक क्षेत्र का उपयोग करके बनाया गया है जिसमें नकारात्मक तेईस का वर्गमूल शामिल है, जो इस विवरण के माध्यम से ज्यामितीय संरचना को संख्या सिद्धांत के गहरे गुणों से जोड़ता है। अन्य बारह लैटिस "एक्सोटिक" बिल्डिंग्स पर कार्य करते हैं, जो मानक संरचनाओं से भिन्न हैं, जो इन ज्यामितीय संरचनाओं की विविधता को और अधिक उजागर करते हैं।

इन निष्कर्षों के निहितार्थ इस बात पर भी विस्तृत हैं कि गणितज्ञ ज्यामिति और बीजगणित के बीच के संबंध को कैसे देखते हैं। शोध पत्र प्रदर्शित करता है कि ये नए लैटिस केवल पुराने वाले से अलग नहीं हैं; वे अपनी बड़े पैमाने की ज्यामिति में मौलिक रूप से भिन्न हैं। "क्वासी-आइसोमेट्री" (quasi-isometry) नामक एक अवधारणा का उपयोग करते हुए, जो यह मापता है कि दूर से देखने पर आकार कैसे दिखते हैं, लेखकों ने सिद्ध किया कि इनमें से कोई भी नया लैटिस उनकी आवश्यक संरचना को विकृत किए बिना एक-दूसरे में या किसी पूर्व ज्ञात लैटिस में परिवर्तित नहीं किया जा सकता है। इसका अर्थ है कि इन समूहों का गणितीय ब्रह्मांड पहले की तुलना में बहुत अधिक समृद्ध और विविध है। यह कार्य इन बिल्डिंग्स के पूर्ण सममिति समूह (symmetry group) को निर्धारित करने के लिए एक नई विधि भी प्रदान करता है, यह दिखाते हुए कि नए उदाहरणों के लिए, सममिति का समूह विविक्त (discrete) है और इसके विस्तार परिमित हैं, जो एक गुण है जो उन्हें अन्य ज्ञात संरचनाओं से अलग करने में मदद करता है।

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

तकनीकी सारांश: गैर-अवशिष्ट रूप से परिमित (Non-residually finite) $\tilde{C}_2$ -लैटिस

समस्या विवरण

यह शोध पत्र ज्यामितीय समूह सिद्धांत (geometric group theory) और बिल्डिंग्स के सिद्धांत में एक लंबे समय से चले आ रहे खुले प्रश्न को संबोधित करता है: अपरिमेय यूक्लिडियन बिल्डिंग्स (irreducible Euclidean buildings) पर गैर-अवशिष्ट रूप से परिमित लैटिस का अस्तित्व। जबकि पेड़ों के उत्पादों (reducible buildings) पर लैटिस गैर-अवशिष्ट रूप से परिमित हो सकते हैं (जैसे, बर्गर-मोजेस-वाइस समूह), और जबकि यह अनुमान लगाया गया है कि अपरिमेय "विदेशी" (exotic) बिल्डिंग्स (जो बीजगणितीय समूहों से उत्पन्न नहीं होते हैं) पर लैटिस आम तौर पर गैर-अवशिष्ट रूप से परिमित होते हैं, इस कार्य तक कोई स्पष्ट उदाहरण सत्यापित नहीं किया गया था। विशेष रूप से, लेखक अपरिमेय $\tilde{C}_2$ -बिल्डिंग्स पर गैर-अवशिष्ट रूप से परिमित लैटिस के पहले उदाहरणों का निर्माण करने और उन्हें सत्यापित करने का लक्ष्य रखते हैं।

कार्यप्रणाली

लेखक कम्प्यूटेशनल खोज, कॉम्बिनेटरियल ग्रुप थ्योरी और ज्यामितीय कठोरता (geometric rigidity) के तर्कों के संयोजन का उपयोग करते हैं।

राडू ग्राफ्स (Radu Graphs) के माध्यम से कम्प्यूटेशनल खोज:
निर्माण का मुख्य आधार परिमित गैर-धनात्मक वक्रता वाले कॉम्बिनेटरियल चैंबर कॉम्प्लेक्स (GABs) के लिए एक खोज एल्गोरिदम है। लेखक उन "राडू ग्राफ्स" की अवधारणा का उपयोग करते हैं जो कॉम्प्लेक्स की स्थानीय ज्यामिति को कूटबद्ध (encode) करते हैं। वे एक आंशिक त्रिकोण आवरण (partial triangle cover) के आकार पर आधारित एक "स्कोर" फंक्शन को परिभाषित करते हैं और प्रकार-संरक्षण क्रमपरिवर्तन (type-preserving permutations) के तहत राडू ग्राफ्स के ऑर्बिट के माध्यम से एक ग्रीडी सर्च (greedy search) करते हैं। इस खोज ने विशिष्ट कॉम्प्लेक्स $Y^q_i$ की पहचान की जो वांछित लैटिस के लिए मौलिक डोमेन (fundamental domains) के रूप में कार्य करते हैं।
गैर-अवशिष्ट रूप से परिमित उपसमूहों का एम्बेडिंग (Embedding):
गैर-अवशिष्ट परिमितता को सिद्ध करने के लिए, लेखक नए लैटिस $\Gamma^q_i$ का निर्माण इस प्रकार करते हैं कि उनमें ज्ञात गैर-अवशिष्ट रूप से परिमित उपसमूह (subcomplexes के रूप में) शामिल हों।

$q=2$ के मामले के लिए, कॉम्प्लेक्स $Y^2_1$ में राडू समूह $\Gamma_R$ (एक उत्पाद पेड़ों पर BMW-समूह) से जुड़ा वर्गाकार कॉम्प्लेक्स $S_R$ का एक उप-विभाजन (subdivision) शामिल है।
$q=3$ के मामले के लिए, कॉम्प्लेक्स $Y^3_k$ में जानसेन-वाइस समूह $\Gamma_{JW}$ से जुड़ा वर्गाकार कॉम्प्लेक्स $S_{JW}$ का एक उप-विभाजन शामिल है।
लेम्मा 2.2 (स्थानीय रूप से उत्तल उप-जटिलों के मौलिक समूहों की इंजेक्शन/injectivity) के अनुसार, इन उप-जटिलों के मौलिक समूह $\Gamma^q_i$ में एम्बेड होते हैं। चूंकि ये उपसमूह ज्ञात रूप से गैर-अवशिष्ट रूप से परिमित हैं, इसलिए बड़े समूह भी इस गुण को विरासत में प्राप्त करते हैं।

सामान्य रूप (Normal Forms) और कठोरता (Rigidity):
इन लैटिस का और अधिक विश्लेषण करने के लिए (विशेष रूप से ऑटोरिदम समूहों को निर्धारित करने और सरलता को सत्यापित करने के लिए), लेखक इन लैटिस में शब्दों (words) के लिए "सामान्य रूप" की गणना करने के लिए एक एल्गोरिदम विकसित करते हैं। इसमें यूनिवर्सल कवर (बिल्डिंग्स) में कैनोनिकल पथों को परिभाषित करना और रीराइटिंग नियम (rewriting rules) स्थापित करना शामिल है। यह एल्गोरिदम उनके केली ग्राफ्स (Cayley graphs) में परिमित बॉल्स (finite balls) की गणना करने की अनुमति देता है, जिनका उपयोग यह सिद्ध करने के लिए किया जाता है कि लैटिस संबंधित बिल्डिंग्स के पूर्ण ऑटोरिदम समूह हैं (या उनके विशिष्ट परिमित इंडेक्स एक्सटेंशन हैं)।
$\tilde{A}_2$ -लैटिस का वर्गीकरण:
एक माध्यमिक लेकिन स्वतंत्र परिणाम के रूप में, लेखक मोटाई (thickness) 3 वाले $\tilde{A}_2$ -बिल्डिंग्स पर सभी प्रकार-संरक्षण, शीर्ष-नियमित (vertex-regular) लैटिस का वर्गीकरण करने के लिए एक व्यापक खोज करते हैं। इसमें विशिष्ट कॉम्बिनेटरियल बाधाओं के साथ सभी संभावित GABs की गणना करना और उनके मौलिक समूहों का विश्लेषण करना शामिल है।

मुख्य योगदान और परिणाम

1. गैर-अवशिष्ट रूप से परिमित अपरिमेय लैटिस का अस्तित्व (प्रमेय A)

प्राथमिक योगदान पांच परिमित त्रिकोण कॉम्प्लेक्स $Y^2_1, Y^3_1, Y^3_2, Y^3_3, Y^3_4$ का निर्माण है।

उनके यूनिवर्सल कवर $X^q_i$ मोटाई $q+1$ वाले विदेशी $\tilde{C}_2$ -बिल्डिंग्स हैं ( $q=2$ के लिए मोटाई 3, $q=3$ के लिए मोटाई 4)।
उनके मौलिक समूह $\Gamma^q_i = \pi_1(Y^q_i)$ यूनिफॉर्म लैटिस हैं जो गैर-अवशिष्ट रूप से परिमित नहीं हैं।
विशेष रूप से, परिमित अवशेष (finite residual) $\check{\Gamma}^q_i = (\Gamma^q_i)^{(\infty)}$ $\overset{ˇ}{Γ}_{i}^{q} = (Γ_{i}^{q})^{(\infty)}$ का $\Gamma^q_i$ $Γ_{i}^{q}$ में परिमित इंडेक्स है।
- $q=2$ के लिए, $\Gamma^2_1$ स्वयं अपना परिमित अवशेष है (अर्थात इसका कोई उचित परिमित इंडेक्स उपसमूह नहीं है)।
- $q=3$ के लिए, इंडेक्स $[\Gamma^3_i : \check{\Gamma}^3_i]$ क्रमशः $i=1,2$ के लिए 4 और $i=3,4$ के लिए 8 है।

2. प्रॉपर्टी (T) वाले सरल CAT(0) समूह (उपप्रमेय B)

मुख्य प्रमेय के साथ पिछले परिणामों (विशेष रूप से [LW26]) को जोड़कर, लेखक यह निष्कर्ष निकालते हैं कि परिमित अवशेष $\check{\Gamma}^q_i$ सरल (simple) समूह हैं।

ये समूह CAT(0) समूह हैं (क्योंकि वे CAT(0) स्पेस पर उचित और को-कॉम्पैक्ट रूप से कार्य करते हैं)।
वे काज़दान की प्रॉपर्टी (T) रखते हैं। लेखक ओज़ावा (Ozawa) की विधि और सेमीडेफिनिट प्रोग्रामिंग का उपयोग करके $\bar{\Gamma}^2_1$ के लिए प्रॉपर्टी (T) को सत्यापित करते हैं, जिससे कम से कम $0.4147$ का काज़दान स्थिरांक (Kazhdan constant) स्थापित होता है।
महत्वपूर्ण रूप से, ये समूह एक उचित प्रत्यक्ष उत्पाद (proper direct product) के क्यूई-आइसोमेट्रिक (quasi-isometric) नहीं हैं। यह उन्हें पेड़ों के उत्पादों पर ज्ञात गैर-अवशिष्ट रूप से परिमित लैटिस से अलग करता है, जो पेड़ों के उत्पाद के क्यूई-आइसोमेट्रिक होते हैं।

3. कठोरता (Rigidity) और गैर-समरूपता (Non-Isomorphism)

लेखक सिद्ध करते हैं कि बिल्डिंग्स $X^q_i$ युग्मवार गैर-समरूप (non-isomorphic) हैं और लैटिस $\Gamma^q_i$ युग्मवार गैर-क्यूई-आइसोमेट्रिक (non-quasi-isometric) हैं।

यह केली ग्राफ्स में परिमित बॉल्स को पुनर्गठित करके और यह दिखाकर प्राप्त किया गया है कि परिणामी कोटिएंट $\check{\Gamma}^q_i \backslash X^q_i$ गैर-समरूप हैं।
इन बिल्डिंग्स के ऑटोरिदम समूह विविक्त (discrete) हैं, जो उनकी "विदेशी" प्रकृति की पुष्टि करते हैं।

4. $\tilde{A}_2$ -लैटिस का वर्गीकरण (प्रमेय C और प्रमेय 6.1)

यह शोध पत्र मोटाई 3 वाले $\tilde{A}_2$ -बिल्डिंग्स पर सभी प्रकार-संरक्षण, शीर्ष-नियमित लैटिस का पूर्ण वर्गीकरण प्रदान करता है।

साम्य (equivariance) तक, ऐसे ठीक 13 लैटिस हैं।
अंकगणितीय उदाहरण (Arithmetic Examples): इनमें से छह अंकगणितीय हैं। विशेष रूप से, एक अंकगणितीय उदाहरण (जो $\Gamma_6$ से जुड़ा है) क्षेत्र $K = \mathbb{Q}(\sqrt{-23})$ पर परिभाषित है और पहले अध्ययन किए गए लैटिस के तुल-समरूप (commensurable) नहीं है। लेखक इस लैटिस का एक सामान्य यूनिटरी समूह $GU(f)(\mathbb{Q}_2)$ में स्पष्ट एम्बेडिंग प्रदान करते हैं।
विदेशी उदाहरण (Exotic Examples): शेष सात लैटिस विदेशी बिल्डिंग्स पर कार्य करते हैं। लेखक उनके ऑटोरिदम समूहों और कोटिएंट्स का विश्लेषण करते हैं, जिनमें से कुछ को बिना किसी छोटे कोटिएंट वाले पूर्ण (perfect) समूहों के रूप में पहचाना गया है।

महत्व

यह शोध पत्र दावा करता है कि यह अपरिमेय बिल्डिंग्स पर ज्ञात पहले उदाहरणों में से एक है। यह एक ऐसे अनुमान को हल करता है कि ऐसे ऑब्जेक्ट्स मौजूद थे लेकिन अब तक सत्यापित नहीं हो सके थे।

महत्व कई क्षेत्रों में विस्तृत है:

समूह सिद्धांत (Group Theory): यह ज्ञात प्रथम सरल CAT(0) समूह प्रदान करता है जिनमें प्रॉपर्टी (T) है और जो प्रत्यक्ष उत्पाद के क्यूई-आइसोमेट्रिक नहीं हैं। यह इस अंतर्ज्ञान को चुनौती देता कि इस संदर्भ में प्रॉपर्टी (T) और सरलता रेड्यूसिबल संरचनाओं से जुड़े हो सकते हैं।
ज्यामितीय कठोरता (Geometric Rigidity): परिणाम प्रदर्शित करते हैं कि गैर-अवशिष्ट रूप से परिमित व्यवहार केवल रेड्यूसिबल बिल्डिंग्स (पेड़ों के उत्पाद) तक ही सीमित नहीं है, बल्कि यह अपरिमेय सेटिंग्स में भी होता है, जिससे ज्ञात लैटिस व्यवहारों का परिदृश्य विस्तृत होता है।
वर्गीकरण: मोटाई 3 वाले $\tilde{A}_2$ -लैटिस का व्यापक वर्गीकरण अंकगणितीय और विदेशी लैटिस के बीच संबंध को समझने के लिए एक ठोस डेटासेट प्रदान करता है, जो नए अंकगणितीय उदाहरणों और एक समृद्ध विविध विदेशी संरचनाओं को प्रकट करता है।

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

तकनीकी सारांश: गैर-अवशिष्ट रूप से परिमित (Non-residually finite) C~2\tilde{C}_2C~2​-लैटिस