🔢 mathematics

Chern-Simons factorization algebras and knot polynomials

यह शोधपत्र स्थापित करता है कि चेर्न-साइमन सिद्धांत (Chern-Simons theory) से उत्पन्न होने वाले रेशेतिखिन-तुराएव लिंक इनवेरियंट्स (Reshetikhin-Turaev link invariants) को BV क्वांटाइजेशन के माध्यम से निर्मित एक विशिष्ट फिल्टर्ड $\mathcal{E}_3$ -बीजगणित (filtered $\mathcal{E}_3$ -algebra) के फैक्टराइजेशन होमोलॉजी (factorization homology) पर ट्रेस मैप्स (trace maps) के रूप में पुनः प्राप्त किया जा सकता है।

मूल लेखक: Kevin Costello, John Francis, Owen Gwilliam

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

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

CC BY 4.0

मूल लेखक: Kevin Costello, John Francis, Owen Gwilliam

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

कल्पना कीजिए कि ब्रह्मांड एक विशाल, अदृश्य कपड़े (fabric) की तरह है। भौतिकी में, हम अक्सर इस कपड़े के आकार को यह देखकर समझने की कोशिश करते हैं कि इस पर चीजें कैसे चलती हैं। लेकिन कभी-कभी, सबसे दिलचस्प चीजें वह कपड़ा नहीं होतीं, बल्कि उसमें लगी गांठें (knots) होती हैं।

द दशकों से, गणितज्ञ और भौतिक विज्ञानी एक पहेली को सुलझाने की कोशिश कर रहे हैं: हम गणितीय रूप से एक गांठ का वर्णन कैसे करें?

लोगों ने इसे करने के दो मुख्य तरीके आजमाए हैं:

"जादुई मंत्र" का तरीका (क्वांटम ग्रुप्स): यह एक बहुत ही अमूर्त, बीजगणितीय (algebraic) विधि है जो एक संख्या (एक बहुपद/polynomial) उत्पन्न करने के लिए जटिल नियमों का उपयोग करती है जो एक गांठ की विशिष्ट पहचान करती है। यह एक गुप्त कोडबुक की तरह है जो कहती है, "यदि आप इस तरह की गांठ देखते हैं, तो उत्तर 5 है।"
"भौतिकी सिमुलेशन" का तरीका (चेर्न-साइमन सिद्धांत): यह विधि क्वांटम भौतिकी पर आधारित है। कल्पना कीजिए कि गांठ बिजली ले जाने वाला एक तार है। यदि आप इस तार के चारों ओर ब्रह्मांड का एक सिमुलेशन चलाते हैं, तो सिस्टम की "ऊर्जा" या "संभावना" आपको वही संख्या देती है। यह प्रसिद्ध भौतिक विज्ञानी एडवर्ड विटन द्वारा प्रस्तावित किया गया था।

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

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

यहाँ बताया गया है कि उन्होंने इसे कैसे किया, कुछ रोजमर्रा के उपमाओं का उपयोग करते हुए:

1. "लेगो" ब्रह्मांड (फैक्टराइजेशन होमोलॉजी)

कल्पना कीजिए कि आप लेगो से एक किला बना रहे हैं।

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

2. मशीन में "भूत" (The Ghost in the Machine)

भौतिकी सिमुलेशन में, "घोस्ट्स" (ghosts) नामक अदृश्य कण होते हैं। ये डरावने भूत नहीं हैं; वे केवल समीकरणों को संतुलित रखने के लिए उपयोग किए जाने वाले गणितीय उपकरण हैं।

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

3. "दोष" (The Defect - तार के रूप में गांठ)

अब, कल्पना कीजिए कि आप उस ब्रह्मांड की निर्देश पुस्तिका लेते हैं और उसमें एक तार (गांठ) पिरोते हैं।

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

बड़ा खुलासा

यह शोध पत्र सिद्ध करता है कि:

जिस संख्या को आप एक गांठ के भौतिकी का अनुकरण करके प्राप्त करते हैं (विटन का तरीका), वह ठीक वही संख्या है जो आप अमूर्त बीजगणितीय कोड (रेशेटिकिन-तुराटेव का तरीका) का उपयोग करके प्राप्त करते हैं।

उन्होंने यह दिखाकर किया कि "भौतिकी सिमुलेशन" वास्तव में बीजगणित के स्थानीय टुकड़ों को जोड़ने का एक शानदार तरीका है।

यह क्यों मायने रखता है?

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

संक्षेप में:
कल्पना कीजिए कि आपके पास एक गांठ है। लोगों का एक समूह कहता है, "इस गांठ को समझने के लिए, आपको यह गिनने की आवश्यकता है कि एक भूत कण इसके चारों ओर कितनी बार हिलता-डुलता है।" दूसरा समूह कहता है, "नहीं, आपको इस जटिल बीजगणितीय रेसिपी का पालन करने की आवश्यकता है।"
यह शोध पत्र कहता है: "आप दोनों सही हैं। भूत कण की हलचल वास्तव में बीजगणितीय रेसिपी का ही एक रूप है।" उन्होंने दोनों के बीच अनुवाद करने के लिए एक शब्दकोश बनाया, यह सिद्ध करते हुए कि गांठों का ब्रह्मांड सुसंगत है, चाहे आप कौन सी भी भाषा बोलें।

यहाँ केविन कोस्टेलो, जॉन फ्रांसिस और ओवेन ग्विलियम के शोध पत्र "Chern–Simons Factorization Algebras and Knot Polynomials" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र उस दीर्घकालिक अनुमान (conjecture) को संबोधित करता है कि गांठों और लिंक्स (knots and links) के रेशेटिकिन–तुराएव (RT) इनवेरिएंट्स (जो क्वांटम समूहों के माध्यम से निर्मित होते हैं) विटन इनवेरिएंट्स (जो चेर्न–साइमनส์ टोपोलॉजिकल क्वांटम फील्ड थ्योरी के पाथ इंटीग्रल द्वारा निर्मित होते हैं) के समतुल्य हैं।

जबकि विटन का मूल व्युत्पन्न एक ह्यूरिस्टिक (heuristic) पद्धति थी और गैर-कठोर फलन इंटीग्रल्स (functional integrals) पर आधारित थी, और RT निर्माण कॉम्बिनेटोरियल/बीजीय (combinatorial/algebraic) है, इन दोनों के बीच एक कठोर गणितीय सेतु प्राप्त करना कठिन रहा है। विशेष रूप से, लेखक निम्नलिखित लक्ष्यों को प्राप्त करने का प्रयास करते हैं:

बेटालिन–विलिकोव (BV) फॉर्मलिज्म का उपयोग करके चेर्न–साइमनส์ सिद्धांत के परिवर्तक क्वांटाइजेशन (perturbative quantization) का कठोर निर्माण करना।
इस सिद्धांत के अवलोकनीय (observables) की बीजीय संरचना की पहचान करना।
यह दिखाना कि इस परिवर्तक ढांचे में विल्सन लूप ऑपरेटर का "ट्रेस" (trace), ड्रिंडफेल्ड–जिम्बो क्वांटम समूह से जुड़े RT लिंक इनवेरिएंट्स को सटीक रूप से प्रदान करता है।

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

लेखक हायर अल्जेब्रा (higher algebra), फैक्टरइजेशन होमोलॉजी (factorization homology), और परिवर्तक क्वांटम फील्ड थ्योरी (perturbative QFT) के संश्लेषण का उपयोग करते हैं।

A. फैक्टरइजेशन होमोलॉजी और हायर अल्जेब्रा

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

स्थानीय अवलोकनीय (Local Observables): $\mathbb{R}^3$ पर एक 3-आयामी टोपोलॉजिकल फील्ड थ्योरी (TFT) जैसे चेर्न–साइमनส์ के लिए, स्थानीय अवलोकनीय एक स्थिर (locally constant) फैक्टरइजेशन अल्जेब्रा बनाते हैं। लूरी (Lurie) के कार्य के अनुसार, यह एक $E_3$ -अल्जेब्रा (लिटिल 3-डिस्क ऑपेरड के ऊपर एक अल्जेब्रा) के समतुल्य है।
मॉड्यूल्स और डिफेक्ट्स (Modules and Defects): एक बल्क थ्योरी से जुड़ा हुआ विल्सन लूप (एक 1-आयामी डिफेक्ट) एक स्ट्रैटिफाइड मैनिफोल्ड $K \subset M$ पर एक कंस्ट्रक्टिबल (constructible) फैक्टरइजेशन अल्जेब्रा के अनुरूप होता है। यह संरचना एक $E_1 \subset E_3$ -अल्जेब्रा द्वारा एनकोड की जाती है, जहाँ $E_1$ भाग गांठ के अनुदिश अवलोकनीयों का वर्णन करता है और $E_3$ भाग बल्क का वर्णन करता है।
ट्रेस मैप (Trace Map): युग्मित प्रणाली (3-मैनिफोल्ड में गांठ) का पार्टिशन फंक्शन, $E_3$ -अल्जेब्रा के एक मॉड्यूल के फैक्टरइजेशन होमोलॉजी ट्रेस के रूप में पहचाना जाता है।

B. BV फॉर्मलिज्म के माध्यम से परिवर्तक क्वांटाइजेशन

लेखक क्वांटाइजेशन के अवरोध-सिद्धांत (obstruction-theoretic) दृष्टिकोण का उपयोग करते हैं (कोस्टेलो का ढांचा):

शास्त्रीय सिद्धांत (Classical Theory): एक बॉल पर चेर्न–साइमनส์ सिद्धांत के शास्त्रीय अवलोकनीयों को ली अल्जेब्रा $\mathfrak{g}$ के चेवले–सीलैंड-एलेनबर्ग को-चेन्स $C^*(\mathfrak{g})$ के रूप में पहचाना जाता है।
क्वांटाइजेशन: वे सिद्ध करते हैं कि BV क्वांटाइजेशन का स्थान $\hbar H^3(\mathfrak{g})[[\hbar]]$ पर एक टॉर्सर (torsor) है। यह चेर्न–साइमनส์ सिद्धांत के परिवर्तक क्वांटाइजेशन और $C^*(\mathfrak{g})$ के $E_3$ -अल्जेब्रा संरचना के विरूपण (deformations) के बीच एक एकैकी संबंध स्थापित करता है।
कोशुल द्वैतता (Koszul Duality): एक महत्वपूर्ण चरण में फिल्टर्ड कोशुल द्वैतता शामिल है। लेखक दिखाते हैं कि क्वांटाइज्ड $E_3$ -अल्जेब्रा $A_\lambda$ के परफेक्ट मॉड्यूल्स का वर्ग, ड्रिंडफेल्ड–जिम्बो क्वांटम समूह $U_\hbar \mathfrak{g}$ के परिमित-आयामी निरूपणों (representations) के वर्ग के समतुल्य है।

C. फर्मिओनिक डिफेक्ट्स (Fermionic Defects)

विल्सन लूप्स को साकार करने के लिए, लेखक एक विशिष्ट 1-आयामी फर्मिओनिक डिफेक्ट का निर्माण करते हैं:

वे एक "चार्ज्ड फर्मियन" पेश करते हैं जो एक 1-मैनिफोल्ड $L$ पर रहता है और बल्क गेज फील्ड के साथ युग्मित होता है।
इस फर्मियन सिस्टम के अवलोकनीय एक क्लिफोर्ड अल्जेब्रा (Clifford algebra) बनाते हैं।
फर्मियन को क्वांटाइज करते हुए और बल्क को शास्त्रीय (आधा-क्वांटाइज्ड) रखते हुए, वे मॉड्यूल संरचना को पुनः प्राप्त करते हैं।
युग्मित प्रणाली को पूरी तरह से क्वांटाइज करके, वे प्रदर्शित करते हैं कि परिणामी कंस्ट्रक्टिबल फैक्टरइजेशन अल्जेब्रा, क्वांटम समूह के स्पिनर निरूपण (spinor representation) के अनुरूप है।

3. मुख्य योगदान (Key Contributions)

1. मुख्य पहचान (Theorem 1.1)

यह शोध पत्र सिद्ध करता है कि एक अर्ध-सरल (semisimple) ली अल्जेब्रा $\mathfrak{g}$ और एक इनवेरिएंट पेयरिंग $\lambda$ के लिए:

चेर्न–साइमनส์ सिद्धांत का BV क्वांटाइजेशन एक फिल्टर्ड $E_3$ -अल्जेब्रा $A_\lambda$ उत्पन्न करता है।
क्वांटम समूह $U_\hbar \mathfrak{g}$ का एक परिमित-आयामी निरूपण $V$ , एक परफेक्ट $A_\lambda$ -मॉड्यूल को परिभाषित करता है।
किसी भी फ्रेम्ड लिंक $K \subset \mathbb{R}^3$ के लिए, $V$ का फैक्टरइजेशन होमोलॉजी ट्रेस ही रेशेटिकिन–तुराएव इनवेरिएंट है:
$\int_{K \subset \mathbb{R}^3} \text{tr}(V) = Z_V(K \subset \mathbb{R}^3)$

2. विरूपणों की संरचनात्मक समानता (Theorem 1.4)

लेखक चार स्पष्ट रूप से भिन्न गणितीय स्थानों के बीच एक कैनोनिकल (canonical) एकैकी संबंध स्थापित करते हैं:

चेर्न–साइमनส์ सिद्धांत के परिवर्तक क्वांटाइजेशन।
$C^*(\mathfrak{g})$ के फिल्टर्ड $E_3$ -अल्जेब्रा विरूपण।
$\mathfrak{g}$ -मॉड्यूल्स के ब्रेडेड मोनोइडल विरूपण (रिबन कैटेगरी)।
$U(\mathfrak$ \mathfrak{g})$ के क्वासी-ट्राइएंगुलर क्वासी-हॉपफ अल्जेब्रा विरूपण (क्वांटम समूह)।
यह एक संरचनात्मक स्पष्टीकरण प्रदान करता है कि चेर्न–साइमनส์ सिद्धांत क्वांटम समूह क्यों उत्पन्न करता है।

3. डिफेक्ट्स के माध्यम से विल्सन लूप का समाधान

लेखक विल्सन लूप ऑपरेटरों को परिवर्तक सिद्धांत में परिभाषित करने की अस्पष्टता को हल करते हैं।

समस्या: होलोनोमी के शास्त्रीय ट्रेस को क्वांटम अवलोकनीय में उठाने (lift करने) का तरीका अद्वितीय नहीं है (एक $\hbar$ -सुधार स्वेच्छा से जोड़ा जा सकता है)।
समाधान: विल्सन लूप को एक डिफेक्ट थ्योरी (युग्मित फर्मियन सिस्टम) के रूप में निर्मित करके, यह दिखाया गया है कि क्वांटाइजेशन (अर्ध-सरल $\mathfrak{g}$ के लिए) अद्वितीय (एक संकुचित विकल्पों तक) है। यह विल्सन लूप ऑपरेटर के लिए एक कैनोनिकल लिफ्ट का चयन करता है।

4. कॉन्फ़िगरेशन स्पेस इंटीग्रल्स से संबंध

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

4. परिणाम (Results)

कठोर व्युत्पत्ति: जोन्स पॉलीनोमियल (और सामान्य RT इनवेरिएंट्स) को एक कठोर रूप से परिभाषित परिवर्तक चेर्न–साइमनส์ सिद्धांत में विल्सन लूप के अपेक्षित मान के रूप में प्राप्त किया गया है।
मोरीटा इनवेरिएंस (Morita Invariance): शोध पत्र इस तथ्य का उपयोग करता है कि फैक्टरइजेशन होमोलॉजी मोरीटा-इनवेरिएंट है, यह दिखाने के लिए कि $E_3$ -अल्जेब्रा पर एक मॉड्यूल का ट्रेस (गांठ द्वारा संगणित) रेशेटिकिन–तुराएव फंक्टोरियल इनवेरिएंट के समतुल्य है।
क्वांटाइजेशन की विशिष्टता: अर्ध-सरल ली अल्जेब्रा के लिए, युग्मित बल्क-डिफेक्ट सिस्टम के क्वांटाइजेशन का स्थान संकुचित (contractible) है, जो यह सुनिश्चित करता है कि परिणामी गांठ इनवेरिएंट्स (knot invariants) मनमाने विकल्पों के स्वतंत्र और सुपरिभाषित हैं।

5. महत्व (Significance)

एकीकरण: यह कार्य पहला कठोर गणितीय प्रमाण प्रदान करता है कि चेर्न–साइमनส์ पाथ इंटीग्रल (विटन का दृष्टिकोण) का परिवर्तक विस्तार और क्वांटम समूहों का निरूपण सिद्धांत (रेशेटिकिन–तुराएव का दृष्टिकोण) समान गांठ इनवेरिएंट्स उत्पन्न करते हैं।
भौतिकी में हायर अल्जेब्रा: यह दर्शाता है कि $E_n$ -अल्जेब्रा और फैक्टरइजेशन होमोलॉजी, पारंपरिक पाथ इंटीग्रल ह्यूरिस्टिक्स से आगे बढ़कर, टोपोलॉजिकल डिफेक्ट्स और अवलोकनीयों का वर्णन करने के लिए प्राकृतिक भाषा के रूप में कितने शक्तिशाली हैं।
विल्सन लूप पर नया दृष्टिकोण: विल्सन लूप को बल्क के साथ युग्मित एक 1-आयामी डिफेक्ट के रूप में मॉडल करके, यह शोध पत्र क्वांटम फील्ड थ्योरी में लाइन ऑपरेटर्स का अध्ययन करने के लिए एक मजबूत ढांचा प्रदान करता है, जो चेर्न–साइमनส์ के अलावा अन्य टोपोलॉजिकल और नॉन-टोपोलॉजिकल सिद्धांतों पर भी लागू होता है।
परिवर्तक बनाम गैर-परिवर्तक: लेखक स्पष्ट करते हैं कि जबकि पूर्ण RT इनवेरिएंट (रूट्स ऑफ यूनिटी पर) के लिए गैर-परिवर्तक डेटा (मॉड्यूलर टेंसर कैटेगरी) की आवश्यकता होती है, परिवर्तक भाग (ट्रिवियल कनेक्शन के आसपास विस्तार) पूरी तरह से औपचारिक पैरामीटर $\hbar$ और ड्रिंडफेल्ड–जिम्बो क्वांटम समूह द्वारा कैप्चर किया जाता है, जो एनालिटिक कंटीन्यूएशन के माध्यम से पॉलीनोमियल इनवेरिएंट्स को पुनः प्राप्त करता है।

संक्षेप में, यह शोध पत्र सफलतापूर्वक चेर्न–साइमनส์ थ्योरी और विल्सन लूप की भौतिकी को हायर अल्जेब्रा की कठोर भाषा में अनुवादित करता है, और यह सिद्ध करता है कि थ्योरी के फैक्टरइजेशन होमोलॉजी में एक डिफेक्ट का "ट्रेस" प्रसिद्ध रेशेटिकिन–तुराएव नॉट इनवेरिएंट्स को पुनः प्राप्त करता है।