🔢 mathematics

Some computations in the heart of the homotopy t-structure on logarithmic motives

यह शोध पत्र प्रभावी लॉग मोटिव्स (effective log motives) के $\pi_0$ की गणना करने के लिए एक विधि प्रस्तुत करता है ताकि उनकी $\mathbf{A}^1$ -अपरिवर्तनीयता (invariance) को प्रदर्शित किया जा सके और इन परिणामों को लॉग मोटिविक शीव्स (log motivic sheaves) से निसनेविच शीव्स विद ट्रांसफर्स (Nisnevich sheaves with transfers) तक स्ट्रिपिंग फंकटर (stripping functor) की पूर्ण निष्ठा (full faithfulness) स्थापित करने के लिए लागू करता है।

मूल लेखक: Alberto Merici

प्रकाशित 2026-03-12

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

CC BY 4.0

मूल लेखक: Alberto Merici

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

यहाँ "Some Computations in the Heart of the Homotopy T-Structure on Logarithmic Motives" शोध पत्र का सरल भाषा और रचनात्मक उपमाओं के साथ विवरण दिया गया है।

बड़ी तस्वीर: एक अजीब नई दुनिया का मानचित्रण

कल्पना कीजिए कि गणितज्ञ एक नए, रहस्यमय महाद्वीप का मानचित्रण करने वाले मानचित्रकार (cartographers) हैं जिसे लॉगारिदमिक मोटिव्स (Logarithmic Motives) कहा जाता है। यह महाद्वीप थोड़ा अजीब है: यह "लॉगारिदमिक ज्यामिति" का उपयोग करके बनाया गया है, जो एक विशेष चश्मे से परिदृश्य को देखने जैसा है जो केवल खुले मैदानों के बजाय चीजों के किनारों, सीमाओं और "कोनों" (जैसे झील का तट या जंगल का किनारा) को उभारता है।

लंबे समय से, इन मानचित्रकारों को पता था कि यह नया महाद्वीप एक पुराने, सुप्रसिद्ध महाद्वीप जिसे क्लासिकल अल्जेब्रिक ज्योमेट्री (Classical Algebraic Geometry) (मानक आकृतियों और संख्याओं की दुनिया) कहा जाता है, से जुड़ा हुआ है। वे जानते थे कि उनके बीच एक पुल है, लेकिन वे सुनिश्चित नहीं थे कि वह पुल एक मजबूत, दो-तरफा राजमार्ग है या केवल एक कमजोर, एक-तरफा पैदल पथ।

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

उपकरण: "लॉग-चश्मा" और "स्मूथनेस" परीक्षण

इस शोध पत्र को समझने के लिए, हमें तीन मुख्य अवधारणाओं की आवश्यकता है:

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

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

संरचना का हृदय (The Core):
यह शोध पत्र होमोटॉपी टी-स्ट्रक्चर (Homotopy T-Structure) नामक एक जटिल गणितीय मशीन के "हृदय" पर केंद्रित है।

उपमा: एक विशाल, जटिल घड़ी जैसी मशीन की कल्पना करें। "हृदय" वह मुख्य गियर है जो वास्तव में समय चलाता है। लेखक इस मुख्य गियर को देखने के लिए ज़ूम इन कर रहे हैं ताकि यह देखा जा सके कि यह कैसे काम करता है। वह यह सिद्ध करना चाहते हैं कि यह मुख्य गियर पुराने, परिचित क्लॉक के मुख्य गियर की तरह ही व्यवहार करता है।

समस्या: पुल में "अंतराल" (The Gap)

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

इस अंतराल का अर्थ था: "हमें लगता है कि आप पुरानी दुनिया से नई दुनिया में किसी भी मानचित्र को अनुवादित कर सकते हैं, लेकिन हमने यह सिद्ध नहीं किया है कि यह हर एक मामले में काम करता है।"

समाधान: "गिसन" लिफ्ट और "रेसिड्यू" चेक

मेरिकी एक चतुर पद्धति का उपयोग करके इस अंतराल को भरते हैं। यहाँ चरण-दर-चरण प्रक्रिया दी गई है:

1. "गिसन" (Gysin) लिफ्ट

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

नई "लॉग" दुनिया में, यह लिफ्ट सीमाओं के कारण जटिल है। मेरिकी दिखाते हैं कि यदि आप मशीन के "हृदय" (मुख्य गियर) को देखते हैं, तो यह लिफ्ट पूरी तरह से और पूर्वानुमानित रूप से काम करती है।

2. "रेसिड्यू" चेक (फिंगरप्रिंट)

पुल को ठोस साबित करने के लिए, मेरिकी "रेसिड्यू" (residues) को देखते हैं।

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

3. "P1" टेस्ट केस

अपने सिद्धांत को सिद्ध करने के लिए, मेरिकी P1 (जो मूल रूप से एक वृत्त या गोला है) नामक एक आकृति पर एक विशिष्ट परीक्षण चलाते हैं।

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

निष्कर्ष: एक पूर्णतः जुड़ा हुआ राजमार्ग

शोध पत्र का मुख्य परिणाम (Theorem 1.1) एक बड़ा "हाँ" है इस प्रश्न के प्रति: क्या हम इन दो दुनियाओं के बीच मानचित्रों को पूरी तरह से अनुवादित कर सकते हैं?

पहले: "हमें ऐसा लगता है, लेकिन हमें कुछ जादुई धारणाओं की आवश्यकता है।"
अब (मेरिकी का प्रमाण): "हाँ, बिल्कुल। किसी जादुई धारणा की आवश्यकता नहीं है। अनुवाद अद्वितीय, पूर्ण है, और हर आकृति के लिए काम करता है।"

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

यह आपके कार के जीपीएस (पुरानी दुनिया) के आपकी नई, उच्च-तकनीकी सैटेलाइट प्रणाली (लॉग दुनिया) के साथ पूरी तरह से काम करने के समान है, जिसके लिए किसी अतिरिक्त सॉफ़्टवेयर अपडेट की आवश्यकता नहीं है।

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

संक्षेप में, मेरिकी ने दो गणितीय दुनियाओं के बीच एक अस्थिर, अप्रमाणित पुल लिया, उसे एक चतुर "फिंगरप्रिंट" परीक्षण के साथ सुदृढ़ किया, और उसे एक ठोस, दो-तरफा राजमार्ग घोषित किया।

यहाँ अल्बर्टो मेरिकी के शोध पत्र "Some Computations in the Heart of the Homotopy T-Structure on Logarithmic Motives" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और संदर्भ (Problem Statement and Context)

यह शोध पत्र लॉग मोटिव्स (log motives) के सिद्धांत, विशेष रूप से प्रभावी लॉगरिदमिक मोटिव्स की श्रेणी और शास्त्रीय निसनेविच शेव्स विद ट्रांसफर्स (Nisnevich sheaves with transfers) की श्रेणी के बीच संबंध के संबंध में एक मौलिक प्रश्न को संबोधित करता है।

पृष्ठभूमि: लॉग मोटिव्स, जिन्हें बिंडा, पार्क और ओस्टवेर ([BPØ22]) द्वारा पेश किया गया था, मोटिविक होमोटोपी थ्योरी का उपयोग करके गैर- $\mathbb{A}^1$ -इनवेरिएंट कोहोमोलॉजी (non- $\mathbb{A}^1$ -invariant cohomologies) की गणना करने की अनुमति देते हैं। प्रभावी लॉग मोटिव्स की श्रेणी, $\logDMeff(k, \mathbb{Z})$ , एक होमोटोपी t-स्ट्रक्चर (BM21 में स्थापित) को स्वीकार करती है। इस t-स्ट्रक्चर का 'हार्ट' (heart), जिसे $\logCIltr(k, \mathbb{Z})$ द्वारा दर्शाया गया है, स्ट्रिक्टली $\square$ -इनवेरिएंट निसनेविच शेव्स विद लॉग ट्रांसफर्स (जहाँ $\square = (\mathbb{P}^1, \infty)$ ) से बना है।
मुख्य प्रश्न: एक "स्ट्रिपिंग" फंकशन $\omega^\sharp$ मौजूद है जो एक लॉग शेफ $F$ को स्मूथ स्कीम्स पर एक शास्त्रीय शेफ पर मैप करता है (इसे $F(X, \text{triv})$ पर मूल्यांकन करके)। संरचना $\omega^\sharp \iota$ (जहाँ $\iota$ हार्ट का समावेशन है) $\logCIltr(k, \mathbb{Z})$ को शास्त्रीय निसनेविच शेव्स विद ट्रांसफर्स, $\Shvtr_{\text{Nis}}(k, \mathbb{Z})$ की श्रेणी में मैप करती है।
अंतराल (The Gap): यह पहले ज्ञात था (प्रमेय 2.3) कि यह फंकशन फेथफुल और एग्जैक्ट (faithful and exact) है। हालांकि, यह एक खुला अनुमान (विशेष रूप से [BM22, Conjecture 0.2]) था कि क्या यह फुली फेथफुल (fully faithful) है। पूर्णता (fullness) को सिद्ध करने के प्रयास पहले 'रेज़ोल्यूशन ऑफ सिंगुलैरिटीज' (resolutions of singularities) पर निर्भर थे, जिससे प्रमाण में एक अंतराल रह गया था।
बाधा (The Obstruction): पूर्णता के लिए बाधा "रेसिड्यू मैप्स" (residue maps) या गिसन मैप्स (Gysin maps) द्वारा एन्कोडेड है। विशेष रूप से, अंडरलाइंग शास्त्रीय शेव्स के बीच एक मैप लॉग शेव्स के मैप में तभी लिफ्ट होता है जब वह इन रेसिड्यू स्ट्रक्चर्स का सम्मान करता है। यह शोध पत्र यह दिखाने का लक्ष्य रखता है कि ट्रांसफर्स की उपस्थिति में, यह बाधा समाप्त हो जाती है।

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

लेखक संकल्प (resolution) के बिना अनुमान को हल करने के लिए होमोटोपिकल अलजेब्रा, प्योरिटी थीरम्स और होमोटोपी समूहों के स्पष्ट गणनाओं के संयोजन का उपयोग करते हैं।

लॉग मोटिव्स के $\pi_0$ की गणना: केंद्रीय तकनीकी उपकरण $h^\square_0(X)$ की गणना करने की एक विधि है, जो एक स्मूथ और प्रोपर वैरायटी $X$ के लिए 0-वें होमोटोपी शेफ है।
- लेखक एक मानदंड (प्रपोजिशन 3.2) स्थापित करते हैं जिसमें फंक्शन फील्ड्स $K$ पर एक स्थिति $(\star)$ शामिल है। यदि एक मैप $f: S \to T$ अंडरलाइंग शेव्स पर एक सरजेशन (surjection) प्रेरित करता है और $\mathbb{A}^1$ में $0 $और$ 1 $के साथ पुलबैक के कर्नेल और अंतर के संबंध में एक विशिष्ट स्थिति को संतुष्ट करता है, तो$ h^\square_0(S) \cong T$ होता है।
- इसे प्रपोजिशन 3.4 को सिद्ध करने के लिए लागू किया जाता है: एक स्मूथ प्रोपर वैरायटी $X$ के लिए, $h^\square_0(X) \cong \omega^* h^{\mathbb{A}^1}_0(X^\circ)$ , जहाँ $X^\circ$ ट्रिवियल लॉग स्ट्रक्चर वाला ओपन भाग है और $h^{\mathbb{A}^1}_0$ शास्त्रीय सुस्लिन होमोलॉजी (Suslin homology) है। यह परिणाम महत्वपूर्ण है क्योंकि यह शास्त्रीय डेटा का उपयोग करके केवल लॉग होमोटोपी समूहों की गणना करता है, बिना रेज़ोल्यूशन ऑफ सिंगुलैरिटीज को माने।
$\mathbb{P}^1$ का विश्लेषण: लेखक प्रोजेक्टिव लाइन के लॉग मोटिव के प्रथम होमोटोपी समूह, $\pi_1 \Meff(\mathbb{P}^1)$ की स्पष्ट गणना करते हैं।
- $0 + \infty$ के लिए गिसन ट्राइएंगल से प्राप्त मेयर-वियेटरी (Mayer-Vietoris) सीक्वेंस का उपयोग करते हुए, लेखक दिखाते हैं कि $h^\square_1(\mathbb{P}^1, \text{triv}) \cong \omega^* \mathbb{G}_m$ है।
- यह गणना $\mathbb{A}^1 \setminus \{0\}$ के लिए ज्ञात शास्त्रीय सुस्लिन होमोलॉजी (जहाँ $h^{\mathbb{A}^1}_1 = 0$ ) की गणना पर आधारित है।
गिसन मैप्स और रेसिड्यूज़ (Gysin Maps and Residues): शोध पत्र $\mathbb{A}^1$ में ओरिजिन के समावेशन से जुड़े गिसन मैप $Gys_0^F$ का विश्लेषण करता है।
- लेखक प्रदर्शित करते हैं कि ट्रांसफर्स के साथ शेव्स के लिए, यह गिसन मैप $\text{Pic}(\mathbb{P}^1)$ में टॉटोलॉजिकल बंडल द्वारा प्रेरित होता है, जो $\tau: \mathbb{Z}_{tr}(\mathbb{P}^1)[-1] \to \mathbb{G}_m$ मैप के अनुरूप है।
- महत्वपूर्ण रूप से, यह मैप पूरी तरह से शास्त्रीय शेव्स विद ट्रांसफर्स ( $\Shvtr_{\text{Nis}}$ ) की श्रेणी के भीतर परिभाषित है, जिससे यह अंडरलाइंग शेव्स के बीच किसी भी मैप के लिए फंकटोरियल (functorial) बन जाता है।

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

प्रमेय 1.1 (मुख्य परिणाम)

मान लीजिए $F, G \in \logCIltr(k, \mathbb{Z})$ और $\phi: \omega^\sharp F \to \omega^\sharp G$ $\Shvtr_{\text{Nis}}(k, \mathbb{Z})$ में एक मैप है। तो $\phi$ $\logCIltr(k, \mathbb{Z})$ में एक मैप $F \to G$ में अद्वितीय रूप से लिफ्ट होता है।

परिणाम: फंकशन $\omega^\sharp \iota: \logCIltr(k, \mathbb{Z}) \to \Shvtr_{\text{Nis}}(k, \mathbb{Z})$ फुली फेथफुल और एग्जैक्ट है।
महत्व: यह [BM22, Conjecture 0.2] को बिना शर्त (बिना रेज़ोल्यूशन ऑफ सिंगुलैरिटीज के) पुष्ट करता है। यह स्थापित करता है कि स्ट्रिक्टली $\square$ -इनवेरिएंट लॉग शेव्स विद ट्रांसफर्स की श्रेणी, शास्त्रीय शेव्स विद ट्रांसफर्स की एक विशिष्ट उप-श्रेणी के समतुल्य है।

प्रपोजिशन 3.4 (गणना $h^\square_0$ की)

$X$ स्मूथ और प्रोपर $k$ पर होने के लिए, $h^\square_0(X) \cong \omega^* h^{\mathbb{A}^1}_0(X^\circ)$ ।

यह शास्त्रीय मोटिविक डेटा का उपयोग करके प्रोपर वैरायटीज़ के लॉग मोटिव्स की गणना करने के लिए एक रिकर्सिव (recursive) विधि प्रदान करता है।

प्रपोजिशन 3.6 (गणना $\pi_1$ की)

मैप $h^\square_1(\mathbb{P}^1, \text{triv}) \to \omega^* \mathbb{G}_m$ एक आइसोमॉर्फिज्म (isomorphism) है।

यह गणना इस बात की मुख्य कड़ी है कि ट्रांसफर्स के मामले में पूर्णता (fullness) के लिए बाधा समाप्त हो जाती है।

प्रमेय 4.4 (अनुमान का प्रमाण)

$\pi_1(\mathbb{P}^1)$ की गणना को गिसन मैप के लक्षण वर्णन (लेम्मा 4.2) के साथ जोड़कर, लेखक सिद्ध करते हैं कि ट्रांसफर्स वाले शेव्स के लिए आवश्यक रेसिड्यू कंडीशन स्वतः ही संतुष्ट हो जाती है।

4. महत्व और प्रभाव (Significance and Impact)

एक प्रमुख अंतराल का समाधान: यह शोध पत्र [BM21, Section 7] में स्ट्रिपिंग फंकशन की फुल फेथफुलनेस के संबंध में एक अंतराल को ठीक करता है। पिछले प्रमाण 'रेज़ोल्यूशन ऑफ सिंगुलैरिटीज' पर निर्भर थे, जो सभी विशेषताओं (characteristics) या सभी स्कीम्स के लिए उपलब्ध नहीं हैं। यह कार्य उस निर्भरता को हटा देता है।
लॉग और शास्त्रीय मोटिव्स के बीच सेतु: यह कठोरता से स्थापित करता है कि ट्रांसफर्स के साथ शेव्स के लिए, "लॉग" संरचना (विशेष रूप से $\square$ -इनवेरिएंस) कोई नया मॉर्फिज्म पेश नहीं करती है जो शास्त्रीय सिद्धांत से अदृश्य हो। लॉग श्रेणी अनिवार्य रूप से शास्त्रीय श्रेणी का एक "थिकनिंग" (thickening) है जहाँ ऑब्जेक्ट्स समान हैं, लेकिन स्ट्रक्चर शेव्स समृद्ध (enriched) हैं।
पद्धतिगत प्रगति: फंक्शन फील्ड्स पर स्थिति $(\star)$ के माध्यम से $h^\square_0$ की गणना करने की तकनीक रेज़ोल्यूशन ऑफ सिंगुलैरिटीज के बिना लॉग मोटिव्स के विश्लेषण के लिए एक नया उपकरण प्रदान करती है।
भावी अनुप्रयोग: लेखक नोट करते हैं कि ये परिणाम एनाला-होयोस-इवासा ([AHI25]) के $\mathbb{P}^1$ -स्पेक्ट्रा के साथ लॉग मोटिविक स्पेक्ट्रा की तुलना करने के लिए, विशेष रूप से गिसन मैप्स और प्योरिटी के संदर्भ में, अत्यंत महत्वपूर्ण होने की उम्मीद है।

संक्षेप में, मेरिकी का शोध पत्र यह सिद्ध करने के लिए आवश्यक तकनीकी कड़ी प्रदान करता है कि ट्रांसफर्स वाले लॉग मोटिव्स के होमोटोपी t-स्ट्रक्चर का हार्ट, शास्त्रीय दुनिया (शास्त्रीय निसनेविच शेव्स विद ट्रांसफर्स) में फुली फेथफुल रूप से एम्बेडेड है, जो लॉग और शास्त्रीय मोटिविक होमोटोपी थ्योरी के बीच के संबंध को मौलिक रूप से स्पष्ट करता है।