🔢 mathematics

The formal spectrum of a tensor-triangulated category

यह शोध पत्र एक अनिवार्य रूप से लघु (essentially small) टेंसर-ट्राइएंगुलेटेड श्रेणी और एक थॉमसन उपसमुच्चय (Thomason subset) के युग्म के औपचारिक स्पेक्ट्रम को प्रस्तुत करता है, इसके मौलिक गुणों को स्थापित करता है और बीजगणितीय ज्यामिति, क्रोमैटिक होमोटोपी थ्योरी, इक्विवैरिएंट होमोटोपी थ्योरी और मॉड्यूलर रिप्रेजेंटेशन थ्योरी में गणनाओं के माध्यम से इसकी उपयोगिता को प्रदर्शित करता है।

मूल लेखक: Drew Heard, Marius Nielsen

प्रकाशित 2026-02-25

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

CC BY 4.0

मूल लेखक: Drew Heard, Marius Nielsen

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

कल्पना कीजिए कि आप एक मानचित्रकार (cartographer) हैं जो एक विशाल, रहस्यमय ब्रह्मांड का मानचित्र बनाने की कोशिश कर रहे हैं। गणित में, यह ब्रह्मांड अक्सर अमूर्त "आकृतियों" और "संरचनाओं" से बना होता है जिन्हें टेन्सर-ट्राइएंगुलेटेड कैटेगरीज़ (tensor-triangulated categories) कहा जाता है। ये भौतिक वस्तुएं नहीं हैं; ये गणितीय उपकरणों का संग्रह हैं जिन्हें बहुत विशिष्ट तरीकों से जोड़ा, घटाया और गुणा किया जा सकता है।

लंबे समय तक, गणितज्ञों के पास एक बहुत अच्छा उपकरण था जिसे बामर स्पेक्ट्रम (Balmer Spectrum) कहा जाता था। इसे एक मानक मानचित्र के रूप में सोचें। यदि आपके पास इन गणितीय उपकरणों का एक संग्रह है, तो बामर स्पेक्ट्रम उन्हें एक ज्यामितीय परिदृश्य (जैसे एक शहर या पर्वत श्रृंखला) के रूप में चित्रित करता है। आप इस मानचित्र पर घूम सकते हैं, इसके "पड़ोसों" को देख सकते हैं, और अपने उपकरणों की संरचना को समझ सकते हैं।

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

इस शोध पत्र के लेखकों ने पूछा: "क्या हम अपने अमूर्त गणितीय उपकरणों के लिए एक 'माइक्रोस्कोप' बना सकते हैं, ठीक वैसे ही जैसे शास्त्रीय ज्यामिति के लिए है?"

समाधान: फॉर्मल स्पेक्ट्रम (The Formal Spectrum)
उन्होंने एक नया उपकरण बनाया जिसे फॉर्मल स्पस्पेक्ट्रम कहा जाता है। यह इस प्रकार काम करता है (कुछ रचनात्मक उपमाओं का उपयोग करते हुए):

1. "ज़ूम लेंस" (पूर्णता - Completion)

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

आमतौर पर, जब आप एक गणितीय श्रेणी (category) पर ज़ूम करते हैं, तो नियम बदल जाते हैं। "कॉम्पैक्ट" वस्तुएं (छोटी, आसानी से संभालने योग्य निर्माण खंड) गायब हो सकती हैं या अपना आकार बदल सकती हैं। यह एक डिजिटल फोटो पर ज़ूम करने जैसा है जब तक कि पिक्सेल धुंधले न हो जाएं और छवि टूट न जाए।

लेखकों ने महसूस किया कि भले ही "छोटी" वस्तुएं बदल जाती हैं, फिर भी आप इस ज़ूम किए गए संसार का एक मानचित्र बना सकते हैं। वे इस मानचित्र को फॉर्मल स्पेक्ट्रम कहते हैं।

2. "घोस्ट मैप" (रिंगड स्पेस - The Ringed Space)

एक सामान्य मानचित्र के दो भाग होते हैं: भूमि (बिंदु) और वहां रहने वाले नियम (इमारतें, कानून)। गणित में, इसे रिंगड स्पेस (Ringed Space) कहा जाता है।

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

3. "जादुई दर्पण" (मुख्य प्रमेय - The Main Theorem)

इस शोध पत्र का सबसे रोमांचक हिस्सा उनका "जादुई दर्पण" प्रमेय है।

कल्पना कीजिए कि आपके पास एक जटिल मशीन (बड़ी श्रेणी - Big Category) है। आप उसके एक विशिष्ट भाग का अध्ययन करना चाहते हैं।

विधि A: आप सीधे उस विशिष्ट भाग का मानचित्र बनाने की कोशिश करते हैं। यह कठिन है क्योंकि नियम अव्यवस्थित हैं।
विधि B: आप पूरी मशीन लेते हैं, उस भाग पर ज़ूम करते हैं, और उन "ड्यूएबल" (dualizable) वस्तुओं (मजबूत, सुव्यवस्थित भागों) को देखते हैं जो ज़ूम करने के बाद भी बच जाते हैं।

लेखकों ने सिद्ध किया कि विधि A और विधि B बिल्कुल एक ही मानचित्र देते हैं।
यह बहुत बड़ी बात है क्योंकि विधि B की गणना करना अक्सर बहुत आसान होता है। यह यह कहने जैसा है कि, "किसी महल के एक विशिष्ट कमरे के सूक्ष्म विवरणों को समझने के लिए, आपको कमरे को शून्य से फिर से बनाने की आवश्यकता नहीं है; आपको बस महल के ब्लूप्रिंट को देखना है और उस कमरे पर ज़ूम करना है।"

4. वास्तविक दुनिया के उदाहरण ("टेस्ट ड्राइव्स")

अपने नए उपकरण को सिद्ध करने के लिए, उन्होंने चार अलग-अलग "ब्रह्मांडों" पर इसका परीक्षण किया:

बीजगणितीय ज्यामिति (Algebraic Geometry - क्लासिक): उन्होंने दिखाया कि यदि आप एक मानक ज्यामितीय आकार (जैसे एक वक्र) पर ज़ूम करते हैं, तो उनका नया मानचित्र बिल्कुल उन पुराने, भरोसेमंद मानचित्रों जैसा दिखता है जिनका उपयोग गणितज्ञों ने दशकों से किया है। इसने सिद्ध किया कि उनका उपकरण इतिहास के साथ संगत है।
क्रोमैटिक होमोटॉपी थ्योरी (Chromatic Homotopy Theory - कॉस्मिक लैडर): यह विभिन्न ऊर्जा स्तरों पर ब्रह्मांड के "रंगों" का अध्ययन करने वाला क्षेत्र है। उन्होंने पाया कि उनका फॉर्मल स्पेक्ट्रम एक सीढ़ी की तरह कार्य करता है। यदि आप सीढ़ी के एक विशिष्ट "रंग" (rung) पर ज़ूम करते हैं, तो मानचित्र एक एकल बिंदु में सिमट जाता है। इसने इस लंबे समय से चली आ रही धारणा की पुष्टि की कि ये विशिष्ट गणितीय संसार वास्तव में अपने मूल में बहुत सरल हैं।
इक्विवेरिएंट होमोटॉपी (Equivariant Homotopy - सिमिट्री डांस): उन्होंने समरूपता वाले आकारों (जैसे एक स्नोफ्लेक) का अध्ययन किया। उन्होंने पाया कि जबकि मानचित्र का "आकार" सरल दिखता था, उनके "नियम" (इमारतें) आश्चर्यजनक रूप से जटिल और मूल से भिन्न थे। इससे पता चला कि उनका उपकरण उन सूक्ष्म अंतरों का पता लगा सकता है जिन्हें अन्य उपकरण छोड़ देते हैं।
मॉड्यूलर रिप्रेजेंटेशन थ्योरी (Modular Representation Theory - ग्रुप पार्टी): उन्होंने परिमित क्षेत्रों (finite fields) पर समूहों की समरूपता का अध्ययन किया। यहाँ, फॉर्मल स्पेक्ट्रम एक एकल बिंदु निकला जिसमें नियमों का एक बहुत ही विशिष्ट, "पूर्ण" (completed) सेट था।

यह क्यों महत्वपूर्ण है?

फॉर्मल स्पेक्ट्रम को एक सार्वभौमिक अनुवादक और एक उच्च-शक्ति वाले माइक्रोस्कोप के संयोजन के रूप में सोचें।

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

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

यहाँ ड्रेव हियर्ड और मारियस निल्सन के शोध पत्र "The Formal Spectrum of a Tensor-Triangulated Category" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण (Problem Statement)

यह शोध पत्र टेंसर-ट्राइएंगुलर (tt) ज्यामिति में एक मौलिक अंतराल को संबोधित करता है, जो वह क्षेत्र है जो टेंसर-ट्राइएंगुलर श्रेणियों (categories) को ज्यामितीय वस्तुओं (स्पेक्ट्रा) से जोड़ता है।

संदर्भ: एक अनिवार्य रूप से छोटी (essentially small) tt-श्रेणी $\mathcal{K}$ के लिए, बालमर का स्पेक्ट्रम $\text{Spc}(\mathcal{K})$ एक स्पेक्ट्रल स्पेस प्रदान करता है जो 'थिक टेंसर आइडियल्स' (thick tensor ideals) को वर्गीकृत करता है। जब $\mathcal{K} = D^{\text{perf}}(X)$ किसी स्कीम $X$ के लिए होता है, तो $\text{Spc}(\mathcal{K})$ , $X$ को पुनः प्राप्त करता है।
अंतराल (The Gap): शास्त्रीय बीजगणितीय ज्यामिति (classical algebraic geometry) में, हम अक्सर एक बंद उपसमुच्चय $Y$ के अनुदिश एक स्कीम $X$ के औपचारिक पूर्णता (formal completion) $\widehat{X}_Y$ का अध्ययन करते हैं। यह $Y$ के स्पर्शरेखीय पड़ोस (infinitesimal neighborhood) को अलग करता है। हालाँकि, tt-ज्यामिति में, मानक पूर्णता प्रक्रियाएँ (जैसे बाउस्फील्ड लोकलाइजेशन) ऐसी श्रेणियों की ओर ले जा सकती हैं जो अनिवार्य रूप से छोटी या रिजिडली-कॉम्पैक्टली जनरेटेड नहीं होती हैं। विशेष रूप से, एक पूर्ण श्रेणी (जैसे $K(n)$ -लोकल स्टेबल होमोटॉपी कैटेगरी) के कॉम्पैक्ट ऑब्जेक्ट्स अक्सर एक tt-श्रेणी बनाने में विफल रहते हैं क्योंकि उनमें यूनिट ऑब्जेक्ट (unit object) शामिल नहीं होता है।
प्रश्न: एक $(\mathcal{K}, Y)$ tt-श्रेणी के लिए "फॉर्मल स्पेक्ट्रम" को कैसे परिभाषित किया जाए जो एक थॉमसन उपसमुच्चय (Thomason subset) $Y \subseteq \text{Spc}(\mathcal{K})$ के अनुदिश पूर्णता की ज्यामिति को पकड़ सके, भले ही परिणामी श्रेणी मानक tt-अर्थ में सुव्यवस्थित न हो?

2. कार्यप्रणाली (Methodology)

लेखक एक ऐसा ढांचा विकसित करते हैं जो "छोटी" (essentially small tt-categories) और "बड़ी" (presentable stable $\infty$ -categories) सेटिंग्स के बीच सेतु का काम करता है।

Ind-Completion: वे स्टेबल $\infty$ -categories के परिवेश में कार्य करते हैं। एक छोटी tt-श्रेणी $\mathcal{K}$ के लिए, वे इसके Ind-completion $\mathcal{C} = \text{Ind}(\mathcal{K})$ पर विचार करते हैं, जो एक रिजिडली-कॉम्पैक्टली जनरेटेड स्टेबल होमोटॉपी थ्योरी है।
Orthogonals के माध्यम से पूर्णता: सीधे तौर पर संभावित रूप से खराब व्यवहार वाली पूर्ण श्रेणी के साथ काम करने के बजाय, वे डबल राइट ऑर्थोगोनल (double right orthogonal) निर्माण का उपयोग करते हैं। एक थॉमसन उपसमुच्चय $Y$ के लिए, वे $Y$ -पूर्ण वस्तुओं की श्रेणी $\widehat{\mathcal{C}}_Y = (\mathcal{C}_Y^\perp)^\perp$ को परिभाषित करते हैं, जहाँ $\mathcal{C}_Y$ , $Y$ पर समर्थित (supported) वस्तुओं द्वारा जनरेट की गई लोकलाइजिंग उपश्रेणी है।
संरचना शिफ (The Structure Sheaf): वे $\text{Spf}(\mathcal{K}, Y)$ $Spf (K, Y)$ को एक रिंग्ड स्पेस (ringed space) के रूप में परिभाषित करते हैं:
- टोपोलॉजिकल स्पेस: अंतर्निहित स्थान (underlying space) केवल $Y \subseteq \text{Spc}(\mathcal{K})$ है, जो सबस्पेस टोपोलॉजी के साथ है।
- संरचना शिफ: शिफ का निर्माण पूर्ण यूनिट ऑब्जेक्ट (completed unit object) का उपयोग करके किया जाता है। एक बेसिक ओपन सेट $U(c) \cap Y$ के लिए, सेक्शन $\pi_* \text{Hom}_{\mathcal{C}}(1, \widehat{(1[c^{-1}])}_Y)$ द्वारा परिभाषित होते हैं। यह प्रभावी रूप से शिफ को परिभाषित करने के लिए बड़ी श्रेणी $\mathcal{C}$ का उपयोग करता है, जिससे इस समस्या से बचा जा सकता है कि पूर्ण श्रेणी के कॉम्पैक्ट उपसमुच्चय में यूनिट नहीं होता है।
तुलना मानचित्र (Comparison Maps): वे बालमर के मानचित्र $\rho: \text{Spc}(\mathcal{K}) \to \text{Spec}^h(\pi_* \text{End}(1))$ के समान तुलना मानचित्रों का निर्माण करते हैं, जो औपचारिक सेटिंग में शास्त्रीय औपचारिक स्कीम्स से जुड़ने के लिए अनुकूलित हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. परिभाषा और मौलिक प्रमेय

परिभाषा 5.1: फॉर्मल स्पेक्ट्रम $\text{Spf}(\mathcal{K}, Y)$ को एक रिंग्ड स्पेस के रूप में कठोरता से परिभाषित किया गया है।
प्रमेय 5.14 (द कम्प्लीशन थ्योरम): यह केंद्रीय तकनीकी परिणाम है। यह एक रिंग्ड स्पेस के रूप में एक प्राकृतिक आइसोमोर्फिज्म स्थापित करता है:
$\text{Spf}(\widehat{\mathcal{C}}_Y^d, \phi^{-1}(Y)) \xrightarrow{\sim} \text{Spf}(\mathcal{K}, Y)$
जहाँ $\widehat{\mathcal{C}}_Y^d$ $C_{Y}^{d}$ , पूर्ण बड़ी श्रेणी के ड्यूटेबल (dualizable) ऑब्जेक्ट्स को दर्शाता है।
- महत्व: यह पूर्ण श्रेणी का उपयोग करके फॉर्मल स्पेक्ट्रम की गणना करने की अनुमति देता है (बायां पक्ष), जबकि मूल जोड़ी $(\mathcal{K}, Y)$ (दायां पक्ष) पर निर्भर रहता है। यह सिद्ध करता है कि फॉर्मल स्पेक्ट्रम पूर्णता प्रक्रिया के प्रति आंतरिक (intrinsic) है।

B. एफ़ाइन और ग्लोबल प्रमेय

प्रमेय 6.3 (फॉर्मल हॉप्किन्स-नीमैन): एक कम्यूटेटिव नोथेरियन रिंग $R$ और आइडियल $I$ के लिए, $D(R)^c$ का $V(I)$ के अनुदर्द फॉर्मल स्पेक्ट्रम शास्त्रीय औपचारिक स्कीम $\text{Spf}(R^\wedge_I)$ के आइसोमोर्फिक है।
$\text{Spf}(D(R)^c, V(I)) \cong \text{Spf}(R^\wedge_I)$
प्रमेय 7.7 (ग्लोबलाइजेशन): यह परिणाम एफ़ाइन मामले को मनमाने नोथेरियन स्कीम्स $X$ तक विस्तारित करता है। एक बंद उपसमुच्चय $Z \subseteq X$ के लिए:
$\text{Spf}(D^{\text{qc}}(X)^c, Z) \cong \widehat{X}_Z$
यह पुष्टि करता है कि नया निर्माण बीजगणितीय ज्यामिति में शास्त्रीय औपचारिक पूर्णता की अवधारणा को पूरी तरह से पुनः प्राप्त करता है।

C. क्रोमैटिक होमोटॉपी थ्योरी

प्रमेय 9.8: लेखक $E(n)$ $E (n)$ -लोकल स्टेबल होमोटॉपी कैटेगरी $\text{Sp}_n$ $Sp_{n}$ के लिए $Y_{h+1}$ $Y_{h + 1}$ (टाइप $\ge h+1$ $\geq h + 1$ के स्पेक्ट्रा) के अनुदर्द फॉर्मल स्पेक्ट्रम की गणना करते हैं।
- वे दिखाते हैं कि $K(h+1) \vee \dots \vee K(n)$ -लोकल श्रेणी का फॉर्मल स्पेक्ट्रम बिंदुओं की एक श्रृंखला $\{P_{h+1}, \dots, P_n\}$ से बना एक अंतर्निहित स्थान है।
- महत्वपूर्ण रूप से, जहाँ $h = n-1$ (शीर्ष ऊंचाई पर पूर्णता) है, वहाँ फॉर्मल स्पेक्ट्रम एक एकल बिंदु (single point) है। यह क्षेत्र में एक तनाव को हल करता है: जबकि $K(n)$ -लोकल श्रेणी के ड्यूटेबल ऑब्जेक्ट्स का स्पेक्ट्रम बड़ा दिखता है, फॉर्मल स्पेक्ट्रम इसे सही ढंग से एक "रेसिड्यू फील्ड" (एकल बिंदु) के रूप में पहचानता है, जो ज्यामितीय अंतर्ज्ञान से मेल खाता है।

D. इक्विवेरिएंट और मॉड्यूल उदाहरण

इक्विवेरिएंट होमोटॉपी (प्रपोजिशन 10.2): वे इक्विवेरिएंट स्फीयर से नॉन-इक्विवेरिएंट स्फीयर तक के रेस्ट्रिक्शन मैप का विश्लेषण करते हैं। वे दिखाते हैं कि हालांकि अंतर्निहित टोपोलॉजिकल स्पेस होमियोमॉर्फिक हैं, संरचना शिफ (structure sheaves) भिन्न हैं। विशेष रूप से, $G=C_2$ और $p=2$ के लिए, यह रिंग्ड स्पेस के आइसोमोर्फिज्म के रूप में नहीं है क्योंकि इक्विवेरिएंट पक्ष पर ग्लोबल सेक्शन में बर्नसाइड रिंग का $I$ -एडिक पूर्णता (अनगिनत) शामिल है, जबकि नॉन-इक्विवेरिएंट पक्ष 2-लोकल इंटीजर्स है।
मॉड्यूलर रिप्रेजेंटेशन थ्योरी (थ्योरम 10.4): $kG$-मॉड्यूल्स की व्युत्पन्न श्रेणी (derived category) के लिए, कोहोमोलॉजी रिंग के मैक्सिमल आइडियल के अनुदर्द फॉर्मल स्पेक्ट्रम एक एक-बिंदु रिंग्ड स्पेस (one-point ringed space) है जिसके ग्लोबल सेक्शन पूर्ण कोहोमोलॉजी रिंग $H^*(G, k)^\wedge_{\mathfrak{m}}$ के बराबर हैं।

4. महत्व

ज्यामिति और होमोटॉपी का एकीकरण: यह शोध पत्र सफलतापूर्वक बीजगणितीय ज्यामिति से औपचारिक पूर्णता की अवधारणा को अमूर्त टेंसर-ट्राइएंगुलर ज्यामिति के परिवेश में आयात करता है, जिससे एक कठोर परिभाषा मिलती है जो तब भी काम करती है जब मानक tt-ज्यामितीय धारणाएं (जैसे कॉम्पैक्ट उपश्रेणी में यूनिट का अस्तित्व) विफल हो जाती हैं।
"बड़े" स्पेक्ट्रा का समाधान: यह क्रोमैटिक होमोटॉपी थ्योरी में लोकल श्रेणियों की ज्यामिति को स्पष्ट करता है। यह समझाता है कि क्यों $K(n)$ -लोकल होमोटॉपी थ्योरी में ड्यूटेबल ऑब्जेक्ट्स का स्पेक्ट्रम बड़ा दिखाई देता है, जबकि "फॉर्मल" ज्यामिति (जो स्थानीय स्पर्शरेखीय संरचना को पकड़ती है) एक बिंदु (trivial) है।
गणना उपकरण (Computational Tool): यह निर्माण पूर्ण श्रेणियों के इनवेरियंट्स की गणना के लिए एक नया उपकरण प्रदान करता है। पूर्ण श्रेणी के फॉर्मल स्पेक्ट्रम को मूल श्रेणी के फॉर्मल स्पेक्ट्रम से जोड़कर, यह शोधकर्ताओं को पूर्ण श्रेणी का अध्ययन करने के लिए मूल श्रेणी के सुस्थापित गुणों का उपयोग करने की अनुमति देता है।
टोपोलॉजी और शिफ के बीच अंतर: इक्विवेरेंट उदाहरण यह उजागर करता है कि औपचारिक पूर्णता (formal completion) टोपोलॉजिकल स्पेस को समान रखते हुए भी बीजगणितीय संरचना (शिफ) को बदल सकती है, जो उन श्रेणियों के बीच अंतर करने के लिए एक सूक्ष्म इनवेरिएंट प्रदान करता है जो टोपोलॉजिकली समान हैं लेकिन बीजगणितीय रूप से भिन्न हैं।

संक्षेप में, हियर्ड और निल्सन आवश्यक मशीनरी प्रदान करते हैं ताकि टेंसर-ट्राइएंगुलर श्रेणियों को "फॉर्मल स्कीम्स" के रूप में माना जा सके, जिससे टीडी-ज्यामिति (tt-geometry) की पहुंच स्थानीय, पूर्ण (completed), और गैर-रिजिडली-कॉम्पैक्टली जनरेटेड सेटिंग्स तक विस्तृत होती है।